fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2025-04-25 18:32:15 +00:00
Code Issues Projects Releases Wiki Activity

Validate return values in indirect call test.

Browse Source
This commit is contained in:
losfair 2019-03-12 11:34:45 +08:00
parent 683cb2090c
commit c3b0bd76a1
1 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
examples/single_pass_tests/call_indirect.wat
View File

@ -1,12 +1,25 @@
(module (module
(type $binop (func (param i32 i32) (result i32))) (type $binop (func (param i32 i32) (result i32)))
(table 1 100 anyfunc) (table 1 100 anyfunc)
(elem (i32.const 5) $sub)
(elem (i32.const 10) $add) (elem (i32.const 10) $add)
(func $main (export "main") (result i32) (func $main (export "main")
(call_indirect (type $binop) (i32.const 42) (i32.const 1) (i32.const 10)) (if (i32.eq (call_indirect (type $binop) (i32.const 42) (i32.const 1) (i32.const 10)) (i32.const 43))
(then)
(else unreachable)
)
(if (i32.eq (call_indirect (type $binop) (i32.const 42) (i32.const 1) (i32.const 5)) (i32.const 41))
(then)
(else unreachable)
)
) )
(func $add (param i32) (param i32) (result i32) (func $add (param i32) (param i32) (result i32)
(i32.add (get_local 0) (get_local 1)) (i32.add (get_local 0) (get_local 1))
) )
(func $sub (param i32) (param i32) (result i32)
(i32.sub (get_local 0) (get_local 1))
)
) )