Files: 3a404bebd50b72c99fee87e44047a1129695ff64 / 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