Files: f019f1d8c91c4a7427df520e819cf78f0fdd7a77 / tests / wast / i64.wast
1023 bytesRaw
1 | (module |
2 | (import "func" "internalize" (func $func.internalize (param i32 i32))) |
3 | (import "test" "check" (func $check (param i32 i32))) |
4 | (import "test" "print" (func $print (param i32))) |
5 | (import "module" "self" (func $self (result i32))) |
6 | (import "module" "export" (func $exports (param i32 i32) (result i32))) |
7 | (import "memory" "externalize" (func $mem.externalize (param i32 i32) (result i32))) |
8 | (memory (export "memory") 1) |
9 | (data (i32.const 0) "callback") |
10 | (table (export "table") 1 1 anyfunc) |
11 | (func $main |
12 | (local i32) |
13 | (call $func.internalize |
14 | (i32.const 0) |
15 | (call $exports |
16 | (call $self) |
17 | (tee_local 0 |
18 | (call $mem.externalize (i32.const 0) (i32.const 8))))) |
19 | (call_indirect (param i64 i32) |
20 | (i64.const 8) |
21 | (get_local 0) |
22 | (i32.const 0))) |
23 | |
24 | (func $callback (param i64) (param i32) |
25 | (call $check |
26 | (i32.const 8) |
27 | (i32.wrap/i64 (get_local 0))) |
28 | (call $print (get_local 1))) |
29 | (export "main" (func $main)) |
30 | (export "callback" (func $callback))) |
31 |
Built with git-ssb-web