diff options
Diffstat (limited to 'test/dump')
| -rw-r--r-- | test/dump/typed_func_refs_params.txt | 165 | ||||
| -rw-r--r-- | test/dump/typed_func_refs_results.txt | 197 |
2 files changed, 362 insertions, 0 deletions
diff --git a/test/dump/typed_func_refs_params.txt b/test/dump/typed_func_refs_params.txt new file mode 100644 index 00000000..b0076e43 --- /dev/null +++ b/test/dump/typed_func_refs_params.txt @@ -0,0 +1,165 @@ +;;; TOOL: run-objdump +;;; ARGS0: -v --enable-function-references + +(module + (type $f32-f32 (func (param f32) (result f32))) + + (func $deriv (param $f (ref $f32-f32)) (param $x f32) (param $delta f32) (result f32) + (f32.div + (f32.sub (call_ref (f32.add (local.get $delta) (local.get $x)) (local.get $f)) + (call_ref (local.get $x) (local.get $f)) + ) + (local.get $delta) + ) + ) + + (func $square (param $x f32) (result f32) + (f32.mul (local.get $x) + (local.get $x)) + ) + + (func (export "main") (result f32) + (call $deriv (ref.func $square) + (f32.const 1.0) + (f32.const 0.01) + ) + ) + + (elem declare funcref (ref.func $square)) +) + +(;; STDERR ;;; +0000000: 0061 736d ; WASM_BINARY_MAGIC +0000004: 0100 0000 ; WASM_BINARY_VERSION +; section "Type" (1) +0000008: 01 ; section code +0000009: 00 ; section size (guess) +000000a: 03 ; num types +; func type 0 +000000b: 60 ; func +000000c: 01 ; num params +000000d: 7d ; f32 +000000e: 01 ; num results +000000f: 7d ; f32 +; func type 1 +0000010: 60 ; func +0000011: 03 ; num params +0000012: 6b ; reference +0000013: 00 ; reference +0000014: 7d ; f32 +0000015: 7d ; f32 +0000016: 01 ; num results +0000017: 7d ; f32 +; func type 2 +0000018: 60 ; func +0000019: 00 ; num params +000001a: 01 ; num results +000001b: 7d ; f32 +0000009: 12 ; FIXUP section size +; section "Function" (3) +000001c: 03 ; section code +000001d: 00 ; section size (guess) +000001e: 03 ; num functions +000001f: 01 ; function 0 signature index +0000020: 00 ; function 1 signature index +0000021: 02 ; function 2 signature index +000001d: 04 ; FIXUP section size +; section "Export" (7) +0000022: 07 ; section code +0000023: 00 ; section size (guess) +0000024: 01 ; num exports +0000025: 04 ; string length +0000026: 6d61 696e main ; export name +000002a: 00 ; export kind +000002b: 02 ; export func index +0000023: 08 ; FIXUP section size +; section "Elem" (9) +000002c: 09 ; section code +000002d: 00 ; section size (guess) +000002e: 01 ; num elem segments +; elem segment header 0 +000002f: 03 ; segment flags +0000030: 00 ; elem list type +0000031: 01 ; num elems +0000032: 01 ; elem function index +000002d: 05 ; FIXUP section size +; section "Code" (10) +0000033: 0a ; section code +0000034: 00 ; section size (guess) +0000035: 03 ; num functions +; function body 0 +0000036: 00 ; func body size (guess) +0000037: 00 ; local decl count +0000038: 20 ; local.get +0000039: 02 ; local index +000003a: 20 ; local.get +000003b: 01 ; local index +000003c: 92 ; f32.add +000003d: 20 ; local.get +000003e: 00 ; local index +000003f: 14 ; call_ref +0000040: 20 ; local.get +0000041: 01 ; local index +0000042: 20 ; local.get +0000043: 00 ; local index +0000044: 14 ; call_ref +0000045: 93 ; f32.sub +0000046: 20 ; local.get +0000047: 02 ; local index +0000048: 95 ; f32.div +0000049: 0b ; end +0000036: 13 ; FIXUP func body size +; function body 1 +000004a: 00 ; func body size (guess) +000004b: 00 ; local decl count +000004c: 20 ; local.get +000004d: 00 ; local index +000004e: 20 ; local.get +000004f: 00 ; local index +0000050: 94 ; f32.mul +0000051: 0b ; end +000004a: 07 ; FIXUP func body size +; function body 2 +0000052: 00 ; func body size (guess) +0000053: 00 ; local decl count +0000054: d2 ; ref.func +0000055: 01 ; function index +0000056: 43 ; f32.const +0000057: 0000 803f ; f32 literal +000005b: 43 ; f32.const +000005c: 0ad7 233c ; f32 literal +0000060: 10 ; call +0000061: 00 ; function index +0000062: 0b ; end +0000052: 10 ; FIXUP func body size +0000034: 2e ; FIXUP section size +;;; STDERR ;;) + +(;; STDOUT ;;; +typed_func_refs_params.wasm: file format wasm 0x1 +Code Disassembly: +000037 func[0]: + 000038: 20 02 | local.get 2 + 00003a: 20 01 | local.get 1 + 00003c: 92 | f32.add + 00003d: 20 00 | local.get 0 + 00003f: 14 | call_ref + 000040: 20 01 | local.get 1 + 000042: 20 00 | local.get 0 + 000044: 14 | call_ref + 000045: 93 | f32.sub + 000046: 20 02 | local.get 2 + 000048: 95 | f32.div + 000049: 0b | end +00004b func[1]: + 00004c: 20 00 | local.get 0 + 00004e: 20 00 | local.get 0 + 000050: 94 | f32.mul + 000051: 0b | end +000053 func[2] <main>: + 000054: d2 01 | ref.func 1 + 000056: 43 00 00 80 3f | f32.const 0x1p+0 + 00005b: 43 0a d7 23 3c | f32.const 0x1.47ae14p-7 + 000060: 10 00 | call 0 + 000062: 0b | end +;;; STDOUT ;;) diff --git a/test/dump/typed_func_refs_results.txt b/test/dump/typed_func_refs_results.txt new file mode 100644 index 00000000..d08ab839 --- /dev/null +++ b/test/dump/typed_func_refs_results.txt @@ -0,0 +1,197 @@ +;;; TOOL: run-objdump +;;; ARGS0: -v --enable-function-references + +(module + (type $f32-f32 (func (param f32) (result f32))) + + (func $choice (param $f (ref $f32-f32)) + (param $g (ref $f32-f32)) + (param $cond i32) + (result (ref $f32-f32)) + (if (result (ref $f32-f32)) + (i32.eq + (local.get $cond) + (i32.const 1) + ) + (then + (local.get $f) + ) + (else + (local.get $g) + ) + ) + ) + + (func $square (param $x f32) (result f32) + (f32.mul (local.get $x) + (local.get $x)) + ) + + (func $double (param $x f32) (result f32) + (f32.add (local.get $x) + (local.get $x)) + ) + + (func (export "main") (result f32) + (call_ref + (f32.const 2.0) + (call $choice (ref.func $square) (ref.func $double) (i32.const 1)) + ) + ) + + (elem declare funcref (ref.func $square) (ref.func $double)) +) + +(;; STDERR ;;; +0000000: 0061 736d ; WASM_BINARY_MAGIC +0000004: 0100 0000 ; WASM_BINARY_VERSION +; section "Type" (1) +0000008: 01 ; section code +0000009: 00 ; section size (guess) +000000a: 03 ; num types +; func type 0 +000000b: 60 ; func +000000c: 01 ; num params +000000d: 7d ; f32 +000000e: 01 ; num results +000000f: 7d ; f32 +; func type 1 +0000010: 60 ; func +0000011: 03 ; num params +0000012: 6b ; reference +0000013: 00 ; reference +0000014: 6b ; reference +0000015: 00 ; reference +0000016: 7f ; i32 +0000017: 01 ; num results +0000018: 6b ; reference +0000019: 00 ; reference +; func type 2 +000001a: 60 ; func +000001b: 00 ; num params +000001c: 01 ; num results +000001d: 7d ; f32 +0000009: 14 ; FIXUP section size +; section "Function" (3) +000001e: 03 ; section code +000001f: 00 ; section size (guess) +0000020: 04 ; num functions +0000021: 01 ; function 0 signature index +0000022: 00 ; function 1 signature index +0000023: 00 ; function 2 signature index +0000024: 02 ; function 3 signature index +000001f: 05 ; FIXUP section size +; section "Export" (7) +0000025: 07 ; section code +0000026: 00 ; section size (guess) +0000027: 01 ; num exports +0000028: 04 ; string length +0000029: 6d61 696e main ; export name +000002d: 00 ; export kind +000002e: 03 ; export func index +0000026: 08 ; FIXUP section size +; section "Elem" (9) +000002f: 09 ; section code +0000030: 00 ; section size (guess) +0000031: 01 ; num elem segments +; elem segment header 0 +0000032: 03 ; segment flags +0000033: 00 ; elem list type +0000034: 02 ; num elems +0000035: 01 ; elem function index +0000036: 02 ; elem function index +0000030: 06 ; FIXUP section size +; section "Code" (10) +0000037: 0a ; section code +0000038: 00 ; section size (guess) +0000039: 04 ; num functions +; function body 0 +000003a: 00 ; func body size (guess) +000003b: 00 ; local decl count +000003c: 20 ; local.get +000003d: 02 ; local index +000003e: 41 ; i32.const +000003f: 01 ; i32 literal +0000040: 46 ; i32.eq +0000041: 04 ; if +0000042: 6b ; reference +0000043: 00 ; reference +0000044: 20 ; local.get +0000045: 00 ; local index +0000046: 05 ; else +0000047: 20 ; local.get +0000048: 01 ; local index +0000049: 0b ; end +000004a: 0b ; end +000003a: 10 ; FIXUP func body size +; function body 1 +000004b: 00 ; func body size (guess) +000004c: 00 ; local decl count +000004d: 20 ; local.get +000004e: 00 ; local index +000004f: 20 ; local.get +0000050: 00 ; local index +0000051: 94 ; f32.mul +0000052: 0b ; end +000004b: 07 ; FIXUP func body size +; function body 2 +0000053: 00 ; func body size (guess) +0000054: 00 ; local decl count +0000055: 20 ; local.get +0000056: 00 ; local index +0000057: 20 ; local.get +0000058: 00 ; local index +0000059: 92 ; f32.add +000005a: 0b ; end +0000053: 07 ; FIXUP func body size +; function body 3 +000005b: 00 ; func body size (guess) +000005c: 00 ; local decl count +000005d: 43 ; f32.const +000005e: 0000 0040 ; f32 literal +0000062: d2 ; ref.func +0000063: 01 ; function index +0000064: d2 ; ref.func +0000065: 02 ; function index +0000066: 41 ; i32.const +0000067: 01 ; i32 literal +0000068: 10 ; call +0000069: 00 ; function index +000006a: 14 ; call_ref +000006b: 0b ; end +000005b: 10 ; FIXUP func body size +0000038: 33 ; FIXUP section size +;;; STDERR ;;) + +(;; STDOUT ;;; +typed_func_refs_results.wasm: file format wasm 0x1 +Code Disassembly: +00003b func[0]: + 00003c: 20 02 | local.get 2 + 00003e: 41 01 | i32.const 1 + 000040: 46 | i32.eq + 000041: 04 6b 00 | if reference + 000044: 20 00 | local.get 0 + 000046: 05 | else + 000047: 20 01 | local.get 1 + 000049: 0b | end + 00004a: 0b | end +00004c func[1]: + 00004d: 20 00 | local.get 0 + 00004f: 20 00 | local.get 0 + 000051: 94 | f32.mul + 000052: 0b | end +000054 func[2]: + 000055: 20 00 | local.get 0 + 000057: 20 00 | local.get 0 + 000059: 92 | f32.add + 00005a: 0b | end +00005c func[3] <main>: + 00005d: 43 00 00 00 40 | f32.const 0x1p+1 + 000062: d2 01 | ref.func 1 + 000064: d2 02 | ref.func 2 + 000066: 41 01 | i32.const 1 + 000068: 10 00 | call 0 + 00006a: 14 | call_ref + 00006b: 0b | end +;;; STDOUT ;;) |