Files: 8cd3e3af7c391f083f5f83593a260f831c7083af / tests / wast / funcRef_reciever.wast
439 bytesRaw
1 | (module |
2 | (import "func" "internalize" (func $internalize (param i32 i32))) |
3 | (import "func" "set_gas_budget" (func $set_gas_budget (param i32 i32))) |
4 | (table (export "table") 1 1 anyfunc) |
5 | (func $receive (param i32) |
6 | get_local 0 |
7 | i32.const 10500 |
8 | call $set_gas_budget |
9 | |
10 | get_local 0 |
11 | i32.const 0 |
12 | call $internalize |
13 | i32.const 5 |
14 | i32.const 0 |
15 | call_indirect (param i32) |
16 | ) |
17 | (export "receive" (func $receive))) |
18 |
Built with git-ssb-web