mirror of
https://github.com/fluencelabs/wasmer
synced 2024-12-05 02:20:19 +00:00
58 lines
2.4 KiB
Plaintext
58 lines
2.4 KiB
Plaintext
;; Test case for correctness of reading state with the presence of parameters passed on (machine) stack.
|
|
;; Usage: Run with a backend with support for OSR. Interrupt execution randomly.
|
|
;; Should see the stack frame for `$foo` to have locals `[0] = 1, [1] = 2, [2] = 3, [3] = 4, [4] = 5, [5] = 6, [6] = 7, [7] = 8` with high probability.
|
|
;; If the logic for reading stack parameters is broken, it's likely to see `[0] = 1, [1] = 2, [2] = 3, [3] = 4, [4] = 5, [5] = ?, [6] = ?, [7] = ?`.
|
|
|
|
(module
|
|
(import "wasi_unstable" "proc_exit" (func $__wasi_proc_exit (param i32)))
|
|
(func $long_running
|
|
(local $count i32)
|
|
(loop
|
|
(if (i32.eq (get_local $count) (i32.const 1000000)) (then (return)))
|
|
(set_local $count (i32.add (i32.const 1) (get_local $count)))
|
|
(br 0)
|
|
)
|
|
(unreachable)
|
|
)
|
|
|
|
(func $foo (param i32) (param i64) (param i32) (param i32) (param i32) (param i64) (param i64) (param i64) (result i32)
|
|
(set_local 2 (i32.const 3))
|
|
(call $long_running)
|
|
(i32.add
|
|
(i32.mul (i32.const 2) (get_local 0))
|
|
(i32.add
|
|
(i32.mul (i32.const 3) (i32.wrap/i64 (get_local 1)))
|
|
(i32.add
|
|
(i32.mul (i32.const 5) (get_local 2))
|
|
(i32.add
|
|
(i32.mul (i32.const 7) (get_local 3))
|
|
(i32.add
|
|
(i32.mul (i32.const 11) (get_local 4))
|
|
(i32.add
|
|
(i32.mul (i32.const 13) (i32.wrap/i64 (get_local 5)))
|
|
(i32.add
|
|
(i32.mul (i32.const 17) (i32.wrap/i64 (get_local 6)))
|
|
(i32.mul (i32.const 19) (i32.wrap/i64 (get_local 7)))
|
|
)
|
|
)
|
|
)
|
|
)
|
|
)
|
|
)
|
|
)
|
|
)
|
|
(func $_start (export "_start")
|
|
(local $count i32)
|
|
(loop
|
|
(if (i32.eq (get_local $count) (i32.const 10000)) (then (return)))
|
|
(set_local $count (i32.add (i32.const 1) (get_local $count)))
|
|
(call $foo (i32.const 1) (i64.const 2) (i32.const 30) (i32.const 4) (i32.const 5) (i64.const 6) (i64.const 7) (i64.const 8))
|
|
(if (i32.ne (i32.const 455))
|
|
(then unreachable)
|
|
)
|
|
(br 0)
|
|
)
|
|
(unreachable)
|
|
)
|
|
)
|