summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/passes/bysyncify.txt138
-rw-r--r--test/passes/bysyncify_optimize-level=1.txt46
-rw-r--r--test/passes/bysyncify_pass-arg=bysyncify-ignore-imports.txt46
-rw-r--r--test/passes/bysyncify_pass-arg=bysyncify-ignore-indirect.txt46
-rw-r--r--test/passes/bysyncify_pass-arg=bysyncify-imports@env.import,env.import2.txt92
-rw-r--r--test/unit/input/bysyncify-stackOverflow.wast22
-rw-r--r--test/unit/input/bysyncify.js43
-rw-r--r--test/unit/test_bysyncify.py1
8 files changed, 338 insertions, 96 deletions
diff --git a/test/passes/bysyncify.txt b/test/passes/bysyncify.txt
index fbbc09d45..a9a780972 100644
--- a/test/passes/bysyncify.txt
+++ b/test/passes/bysyncify.txt
@@ -297,52 +297,74 @@
(nop)
)
(func $bysyncify_start_unwind (; 6 ;) (param $0 i32)
+ (global.set $__bysyncify_state
+ (i32.const 1)
+ )
+ (global.set $__bysyncify_data
+ (local.get $0)
+ )
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
- (global.set $__bysyncify_state
- (i32.const 1)
- )
- (global.set $__bysyncify_data
- (local.get $0)
- )
)
(func $bysyncify_stop_unwind (; 7 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
- )
- (func $bysyncify_start_rewind (; 8 ;) (param $0 i32)
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
+ )
+ (func $bysyncify_start_rewind (; 8 ;) (param $0 i32)
(global.set $__bysyncify_state
(i32.const 2)
)
(global.set $__bysyncify_data
(local.get $0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
(func $bysyncify_stop_rewind (; 9 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
)
(module
@@ -2808,52 +2830,74 @@
(nop)
)
(func $bysyncify_start_unwind (; 19 ;) (param $0 i32)
+ (global.set $__bysyncify_state
+ (i32.const 1)
+ )
+ (global.set $__bysyncify_data
+ (local.get $0)
+ )
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
- (global.set $__bysyncify_state
- (i32.const 1)
- )
- (global.set $__bysyncify_data
- (local.get $0)
- )
)
(func $bysyncify_stop_unwind (; 20 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
- )
- (func $bysyncify_start_rewind (; 21 ;) (param $0 i32)
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
+ )
+ (func $bysyncify_start_rewind (; 21 ;) (param $0 i32)
(global.set $__bysyncify_state
(i32.const 2)
)
(global.set $__bysyncify_data
(local.get $0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
(func $bysyncify_stop_rewind (; 22 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
)
(module
@@ -2865,51 +2909,73 @@
(export "bysyncify_start_rewind" (func $bysyncify_start_rewind))
(export "bysyncify_stop_rewind" (func $bysyncify_stop_rewind))
(func $bysyncify_start_unwind (; 0 ;) (param $0 i32)
+ (global.set $__bysyncify_state
+ (i32.const 1)
+ )
+ (global.set $__bysyncify_data
+ (local.get $0)
+ )
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
- (global.set $__bysyncify_state
- (i32.const 1)
- )
- (global.set $__bysyncify_data
- (local.get $0)
- )
)
(func $bysyncify_stop_unwind (; 1 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
- )
- (func $bysyncify_start_rewind (; 2 ;) (param $0 i32)
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
+ )
+ (func $bysyncify_start_rewind (; 2 ;) (param $0 i32)
(global.set $__bysyncify_state
(i32.const 2)
)
(global.set $__bysyncify_data
(local.get $0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
(func $bysyncify_stop_rewind (; 3 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
)
diff --git a/test/passes/bysyncify_optimize-level=1.txt b/test/passes/bysyncify_optimize-level=1.txt
index b09368ec4..7b1093964 100644
--- a/test/passes/bysyncify_optimize-level=1.txt
+++ b/test/passes/bysyncify_optimize-level=1.txt
@@ -1564,51 +1564,73 @@
)
)
(func $bysyncify_start_unwind (; 19 ;) (param $0 i32)
+ (global.set $__bysyncify_state
+ (i32.const 1)
+ )
+ (global.set $__bysyncify_data
+ (local.get $0)
+ )
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
- (global.set $__bysyncify_state
- (i32.const 1)
- )
- (global.set $__bysyncify_data
- (local.get $0)
- )
)
(func $bysyncify_stop_unwind (; 20 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
- )
- (func $bysyncify_start_rewind (; 21 ;) (param $0 i32)
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
+ )
+ (func $bysyncify_start_rewind (; 21 ;) (param $0 i32)
(global.set $__bysyncify_state
(i32.const 2)
)
(global.set $__bysyncify_data
(local.get $0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
(func $bysyncify_stop_rewind (; 22 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
)
diff --git a/test/passes/bysyncify_pass-arg=bysyncify-ignore-imports.txt b/test/passes/bysyncify_pass-arg=bysyncify-ignore-imports.txt
index 515fa365a..96133d648 100644
--- a/test/passes/bysyncify_pass-arg=bysyncify-ignore-imports.txt
+++ b/test/passes/bysyncify_pass-arg=bysyncify-ignore-imports.txt
@@ -211,51 +211,73 @@
)
)
(func $bysyncify_start_unwind (; 7 ;) (param $0 i32)
+ (global.set $__bysyncify_state
+ (i32.const 1)
+ )
+ (global.set $__bysyncify_data
+ (local.get $0)
+ )
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
- (global.set $__bysyncify_state
- (i32.const 1)
- )
- (global.set $__bysyncify_data
- (local.get $0)
- )
)
(func $bysyncify_stop_unwind (; 8 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
- )
- (func $bysyncify_start_rewind (; 9 ;) (param $0 i32)
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
+ )
+ (func $bysyncify_start_rewind (; 9 ;) (param $0 i32)
(global.set $__bysyncify_state
(i32.const 2)
)
(global.set $__bysyncify_data
(local.get $0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
(func $bysyncify_stop_rewind (; 10 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
)
diff --git a/test/passes/bysyncify_pass-arg=bysyncify-ignore-indirect.txt b/test/passes/bysyncify_pass-arg=bysyncify-ignore-indirect.txt
index 64e516cf8..846e05035 100644
--- a/test/passes/bysyncify_pass-arg=bysyncify-ignore-indirect.txt
+++ b/test/passes/bysyncify_pass-arg=bysyncify-ignore-indirect.txt
@@ -517,51 +517,73 @@
(nop)
)
(func $bysyncify_start_unwind (; 7 ;) (param $0 i32)
+ (global.set $__bysyncify_state
+ (i32.const 1)
+ )
+ (global.set $__bysyncify_data
+ (local.get $0)
+ )
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
- (global.set $__bysyncify_state
- (i32.const 1)
- )
- (global.set $__bysyncify_data
- (local.get $0)
- )
)
(func $bysyncify_stop_unwind (; 8 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
- )
- (func $bysyncify_start_rewind (; 9 ;) (param $0 i32)
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
+ )
+ (func $bysyncify_start_rewind (; 9 ;) (param $0 i32)
(global.set $__bysyncify_state
(i32.const 2)
)
(global.set $__bysyncify_data
(local.get $0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
(func $bysyncify_stop_rewind (; 10 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
)
diff --git a/test/passes/bysyncify_pass-arg=bysyncify-imports@env.import,env.import2.txt b/test/passes/bysyncify_pass-arg=bysyncify-imports@env.import,env.import2.txt
index b22e7d82a..02d353a7a 100644
--- a/test/passes/bysyncify_pass-arg=bysyncify-imports@env.import,env.import2.txt
+++ b/test/passes/bysyncify_pass-arg=bysyncify-imports@env.import,env.import2.txt
@@ -295,52 +295,74 @@
(nop)
)
(func $bysyncify_start_unwind (; 6 ;) (param $0 i32)
+ (global.set $__bysyncify_state
+ (i32.const 1)
+ )
+ (global.set $__bysyncify_data
+ (local.get $0)
+ )
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
- (global.set $__bysyncify_state
- (i32.const 1)
- )
- (global.set $__bysyncify_data
- (local.get $0)
- )
)
(func $bysyncify_stop_unwind (; 7 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
- )
- (func $bysyncify_start_rewind (; 8 ;) (param $0 i32)
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
+ )
+ (func $bysyncify_start_rewind (; 8 ;) (param $0 i32)
(global.set $__bysyncify_state
(i32.const 2)
)
(global.set $__bysyncify_data
(local.get $0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
(func $bysyncify_stop_rewind (; 9 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
)
(module
@@ -1961,51 +1983,73 @@
(nop)
)
(func $bysyncify_start_unwind (; 19 ;) (param $0 i32)
+ (global.set $__bysyncify_state
+ (i32.const 1)
+ )
+ (global.set $__bysyncify_data
+ (local.get $0)
+ )
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
- (global.set $__bysyncify_state
- (i32.const 1)
- )
- (global.set $__bysyncify_data
- (local.get $0)
- )
)
(func $bysyncify_stop_unwind (; 20 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
- )
- (func $bysyncify_start_rewind (; 21 ;) (param $0 i32)
(if
(i32.gt_u
(i32.load
- (local.get $0)
+ (global.get $__bysyncify_data)
)
(i32.load offset=4
- (local.get $0)
+ (global.get $__bysyncify_data)
)
)
(unreachable)
)
+ )
+ (func $bysyncify_start_rewind (; 21 ;) (param $0 i32)
(global.set $__bysyncify_state
(i32.const 2)
)
(global.set $__bysyncify_data
(local.get $0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
(func $bysyncify_stop_rewind (; 22 ;)
(global.set $__bysyncify_state
(i32.const 0)
)
+ (if
+ (i32.gt_u
+ (i32.load
+ (global.get $__bysyncify_data)
+ )
+ (i32.load offset=4
+ (global.get $__bysyncify_data)
+ )
+ )
+ (unreachable)
+ )
)
)
diff --git a/test/unit/input/bysyncify-stackOverflow.wast b/test/unit/input/bysyncify-stackOverflow.wast
new file mode 100644
index 000000000..a36a06b40
--- /dev/null
+++ b/test/unit/input/bysyncify-stackOverflow.wast
@@ -0,0 +1,22 @@
+(module
+ (memory 1 2)
+ (import "env" "sleep" (func $sleep))
+ (export "memory" (memory 0))
+ (func "many_locals" (param $x i32) (result i32)
+ (local $y i32)
+ (local $z i32)
+ (local.set $y
+ (i32.add (local.get $x) (i32.const 10))
+ )
+ (local.set $z
+ (i32.add (local.get $y) (i32.const 20))
+ )
+ (call $sleep)
+ (select
+ (local.get $y)
+ (local.get $z)
+ (local.get $x)
+ )
+ )
+)
+
diff --git a/test/unit/input/bysyncify.js b/test/unit/input/bysyncify.js
index 2e1bb4895..be6d32903 100644
--- a/test/unit/input/bysyncify.js
+++ b/test/unit/input/bysyncify.js
@@ -252,10 +252,53 @@ function coroutineTests() {
]), 'check yielded values')
}
+function stackOverflowAssertTests() {
+ console.log('\nstack overflow assertion tests\n\n');
+
+ // Get and compile the wasm.
+
+ var binary = fs.readFileSync('c.wasm');
+
+ var module = new WebAssembly.Module(binary);
+
+ var DATA_ADDR = 4;
+
+ var instance = new WebAssembly.Instance(module, {
+ env: {
+ sleep: function() {
+ console.log('sleep...');
+ exports.bysyncify_start_unwind(DATA_ADDR);
+ view[DATA_ADDR >> 2] = DATA_ADDR + 8;
+ // The end of the stack will be reached as the stack is tiny.
+ view[DATA_ADDR + 4 >> 2] = view[DATA_ADDR >> 2] + 1;
+ }
+ }
+ });
+
+ var exports = instance.exports;
+ var view = new Int32Array(exports.memory.buffer);
+ exports.many_locals();
+ assert(view[DATA_ADDR >> 2] > view[DATA_ADDR + 4 >> 2], 'should have wrote past the end of the stack');
+ // All API calls should now fail, since we wrote past the end of the
+ // stack
+ var fails = 0;
+ ['bysyncify_stop_unwind', 'bysyncify_start_rewind', 'bysyncify_stop_rewind', 'bysyncify_start_unwind'].forEach(function(name) {
+ try {
+ exports[name](DATA_ADDR);
+ console.log('no fail on', name);
+ } catch (e) {
+ console.log('expected fail on', name);
+ fails++;
+ }
+ });
+ assert(fails == 4, 'all 4 should have failed');
+}
+
// Main
sleepTests();
coroutineTests();
+stackOverflowAssertTests();
console.log('\ntests completed successfully');
diff --git a/test/unit/test_bysyncify.py b/test/unit/test_bysyncify.py
index 8d5a780e8..407f3f7f9 100644
--- a/test/unit/test_bysyncify.py
+++ b/test/unit/test_bysyncify.py
@@ -10,6 +10,7 @@ class BysyncifyTest(BinaryenTestCase):
print(args)
run_process(WASM_OPT + args + [self.input_path('bysyncify-sleep.wast'), '--bysyncify', '-o', 'a.wasm'])
run_process(WASM_OPT + args + [self.input_path('bysyncify-coroutine.wast'), '--bysyncify', '-o', 'b.wasm'])
+ run_process(WASM_OPT + args + [self.input_path('bysyncify-stackOverflow.wast'), '--bysyncify', '-o', 'c.wasm'])
print(' file size: %d' % os.path.getsize('a.wasm'))
run_process([NODEJS, self.input_path('bysyncify.js')])
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-07 01:57:05 +0000