github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v1/testdata/func.json (about) 1 {"source_filename": "./func.wast", 2 "commands": [ 3 {"type": "module", "line": 3, "filename": "func.0.wasm"}, 4 {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "type-use-1", "args": []}, "expected": []}, 5 {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "type-use-2", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 6 {"type": "assert_return", "line": 173, "action": {"type": "invoke", "field": "type-use-3", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 7 {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "type-use-4", "args": [{"type": "i32", "value": "1"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 8 {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "type-use-5", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 9 {"type": "assert_return", "line": 179, "action": {"type": "invoke", "field": "type-use-6", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 10 {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "type-use-7", "args": [{"type": "i32", "value": "1"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 11 {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "local-first-i32", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 12 {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "local-first-i64", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 13 {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "local-first-f32", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 14 {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "local-first-f64", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 15 {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "local-second-i32", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 16 {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "local-second-i64", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 17 {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "local-second-f32", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 18 {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "local-second-f64", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 19 {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "local-mixed", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 20 {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "param-first-i32", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "2"}]}, 21 {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "param-first-i64", "args": [{"type": "i64", "value": "2"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "2"}]}, 22 {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "param-first-f32", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1073741824"}]}, 23 {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "param-first-f64", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4611686018427387904"}]}, 24 {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "param-second-i32", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "3"}]}, 25 {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "param-second-i64", "args": [{"type": "i64", "value": "2"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "3"}]}, 26 {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "param-second-f32", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1077936128"}]}, 27 {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "param-second-f64", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4613937818241073152"}]}, 28 {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "param-mixed", "args": [{"type": "f32", "value": "1065353216"}, {"type": "i32", "value": "2"}, {"type": "i64", "value": "3"}, {"type": "i32", "value": "4"}, {"type": "f64", "value": "4617878467915022336"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "f64", "value": "4617878467915022336"}]}, 29 {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "empty", "args": []}, "expected": []}, 30 {"type": "assert_return", "line": 229, "action": {"type": "invoke", "field": "value-void", "args": []}, "expected": []}, 31 {"type": "assert_return", "line": 230, "action": {"type": "invoke", "field": "value-i32", "args": []}, "expected": [{"type": "i32", "value": "77"}]}, 32 {"type": "assert_return", "line": 231, "action": {"type": "invoke", "field": "value-i64", "args": []}, "expected": [{"type": "i64", "value": "7777"}]}, 33 {"type": "assert_return", "line": 232, "action": {"type": "invoke", "field": "value-f32", "args": []}, "expected": [{"type": "f32", "value": "1117480550"}]}, 34 {"type": "assert_return", "line": 233, "action": {"type": "invoke", "field": "value-f64", "args": []}, "expected": [{"type": "f64", "value": "4635172994171566817"}]}, 35 {"type": "assert_return", "line": 234, "action": {"type": "invoke", "field": "value-block-void", "args": []}, "expected": []}, 36 {"type": "assert_return", "line": 235, "action": {"type": "invoke", "field": "value-block-i32", "args": []}, "expected": [{"type": "i32", "value": "77"}]}, 37 {"type": "assert_return", "line": 237, "action": {"type": "invoke", "field": "return-empty", "args": []}, "expected": []}, 38 {"type": "assert_return", "line": 238, "action": {"type": "invoke", "field": "return-i32", "args": []}, "expected": [{"type": "i32", "value": "78"}]}, 39 {"type": "assert_return", "line": 239, "action": {"type": "invoke", "field": "return-i64", "args": []}, "expected": [{"type": "i64", "value": "7878"}]}, 40 {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "return-f32", "args": []}, "expected": [{"type": "f32", "value": "1117611622"}]}, 41 {"type": "assert_return", "line": 241, "action": {"type": "invoke", "field": "return-f64", "args": []}, "expected": [{"type": "f64", "value": "4635244066603186258"}]}, 42 {"type": "assert_return", "line": 242, "action": {"type": "invoke", "field": "return-block-i32", "args": []}, "expected": [{"type": "i32", "value": "77"}]}, 43 {"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "break-empty", "args": []}, "expected": []}, 44 {"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "break-i32", "args": []}, "expected": [{"type": "i32", "value": "79"}]}, 45 {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "break-i64", "args": []}, "expected": [{"type": "i64", "value": "7979"}]}, 46 {"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "break-f32", "args": []}, "expected": [{"type": "f32", "value": "1117768909"}]}, 47 {"type": "assert_return", "line": 248, "action": {"type": "invoke", "field": "break-f64", "args": []}, "expected": [{"type": "f64", "value": "4635315139034805699"}]}, 48 {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "break-block-i32", "args": []}, "expected": [{"type": "i32", "value": "77"}]}, 49 {"type": "assert_return", "line": 251, "action": {"type": "invoke", "field": "break-br_if-empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 50 {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "break-br_if-empty", "args": [{"type": "i32", "value": "2"}]}, "expected": []}, 51 {"type": "assert_return", "line": 253, "action": {"type": "invoke", "field": "break-br_if-num", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "51"}]}, 52 {"type": "assert_return", "line": 254, "action": {"type": "invoke", "field": "break-br_if-num", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "50"}]}, 53 {"type": "assert_return", "line": 256, "action": {"type": "invoke", "field": "break-br_table-empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 54 {"type": "assert_return", "line": 257, "action": {"type": "invoke", "field": "break-br_table-empty", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 55 {"type": "assert_return", "line": 258, "action": {"type": "invoke", "field": "break-br_table-empty", "args": [{"type": "i32", "value": "5"}]}, "expected": []}, 56 {"type": "assert_return", "line": 259, "action": {"type": "invoke", "field": "break-br_table-empty", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": []}, 57 {"type": "assert_return", "line": 260, "action": {"type": "invoke", "field": "break-br_table-num", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "50"}]}, 58 {"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "break-br_table-num", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "50"}]}, 59 {"type": "assert_return", "line": 262, "action": {"type": "invoke", "field": "break-br_table-num", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "50"}]}, 60 {"type": "assert_return", "line": 263, "action": {"type": "invoke", "field": "break-br_table-num", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "50"}]}, 61 {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "break-br_table-nested-empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 62 {"type": "assert_return", "line": 265, "action": {"type": "invoke", "field": "break-br_table-nested-empty", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 63 {"type": "assert_return", "line": 266, "action": {"type": "invoke", "field": "break-br_table-nested-empty", "args": [{"type": "i32", "value": "3"}]}, "expected": []}, 64 {"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "break-br_table-nested-empty", "args": [{"type": "i32", "value": "4294967294"}]}, "expected": []}, 65 {"type": "assert_return", "line": 269, "action": {"type": "invoke", "field": "break-br_table-nested-num", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "52"}]}, 66 {"type": "assert_return", "line": 272, "action": {"type": "invoke", "field": "break-br_table-nested-num", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "50"}]}, 67 {"type": "assert_return", "line": 275, "action": {"type": "invoke", "field": "break-br_table-nested-num", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "52"}]}, 68 {"type": "assert_return", "line": 278, "action": {"type": "invoke", "field": "break-br_table-nested-num", "args": [{"type": "i32", "value": "4294967293"}]}, "expected": [{"type": "i32", "value": "52"}]}, 69 {"type": "assert_return", "line": 281, "action": {"type": "invoke", "field": "init-local-i32", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 70 {"type": "assert_return", "line": 282, "action": {"type": "invoke", "field": "init-local-i64", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 71 {"type": "assert_return", "line": 283, "action": {"type": "invoke", "field": "init-local-f32", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 72 {"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "init-local-f64", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 73 {"type": "module", "line": 289, "filename": "func.1.wasm"}, 74 {"type": "assert_invalid", "line": 303, "filename": "func.2.wasm", "text": "unknown type", "module_type": "binary"}, 75 {"type": "module", "line": 315, "filename": "func.3.wasm"}, 76 {"type": "assert_return", "line": 378, "action": {"type": "invoke", "field": "signature-explicit-reused", "args": []}, "expected": []}, 77 {"type": "assert_return", "line": 379, "action": {"type": "invoke", "field": "signature-implicit-reused", "args": []}, "expected": []}, 78 {"type": "assert_return", "line": 380, "action": {"type": "invoke", "field": "signature-explicit-duplicate", "args": []}, "expected": []}, 79 {"type": "assert_return", "line": 381, "action": {"type": "invoke", "field": "signature-implicit-duplicate", "args": []}, "expected": []}, 80 {"type": "assert_malformed", "line": 387, "filename": "func.4.wat", "text": "unexpected token", "module_type": "text"}, 81 {"type": "assert_malformed", "line": 394, "filename": "func.5.wat", "text": "unexpected token", "module_type": "text"}, 82 {"type": "assert_malformed", "line": 401, "filename": "func.6.wat", "text": "unexpected token", "module_type": "text"}, 83 {"type": "assert_malformed", "line": 408, "filename": "func.7.wat", "text": "unexpected token", "module_type": "text"}, 84 {"type": "assert_malformed", "line": 415, "filename": "func.8.wat", "text": "unexpected token", "module_type": "text"}, 85 {"type": "assert_malformed", "line": 422, "filename": "func.9.wat", "text": "unexpected token", "module_type": "text"}, 86 {"type": "assert_malformed", "line": 429, "filename": "func.10.wat", "text": "inline function type", "module_type": "text"}, 87 {"type": "assert_malformed", "line": 436, "filename": "func.11.wat", "text": "inline function type", "module_type": "text"}, 88 {"type": "assert_malformed", "line": 443, "filename": "func.12.wat", "text": "inline function type", "module_type": "text"}, 89 {"type": "assert_malformed", "line": 450, "filename": "func.13.wat", "text": "inline function type", "module_type": "text"}, 90 {"type": "assert_invalid", "line": 461, "filename": "func.14.wasm", "text": "type mismatch", "module_type": "binary"}, 91 {"type": "assert_invalid", "line": 465, "filename": "func.15.wasm", "text": "type mismatch", "module_type": "binary"}, 92 {"type": "assert_invalid", "line": 469, "filename": "func.16.wasm", "text": "type mismatch", "module_type": "binary"}, 93 {"type": "assert_invalid", "line": 477, "filename": "func.17.wasm", "text": "type mismatch", "module_type": "binary"}, 94 {"type": "assert_invalid", "line": 481, "filename": "func.18.wasm", "text": "type mismatch", "module_type": "binary"}, 95 {"type": "assert_invalid", "line": 485, "filename": "func.19.wasm", "text": "type mismatch", "module_type": "binary"}, 96 {"type": "assert_invalid", "line": 493, "filename": "func.20.wasm", "text": "invalid result arity", "module_type": "binary"}, 97 {"type": "assert_invalid", "line": 497, "filename": "func.21.wasm", "text": "invalid result arity", "module_type": "binary"}, 98 {"type": "assert_invalid", "line": 506, "filename": "func.22.wasm", "text": "type mismatch", "module_type": "binary"}, 99 {"type": "assert_invalid", "line": 510, "filename": "func.23.wasm", "text": "type mismatch", "module_type": "binary"}, 100 {"type": "assert_invalid", "line": 514, "filename": "func.24.wasm", "text": "type mismatch", "module_type": "binary"}, 101 {"type": "assert_invalid", "line": 518, "filename": "func.25.wasm", "text": "type mismatch", "module_type": "binary"}, 102 {"type": "assert_invalid", "line": 523, "filename": "func.26.wasm", "text": "type mismatch", "module_type": "binary"}, 103 {"type": "assert_invalid", "line": 529, "filename": "func.27.wasm", "text": "type mismatch", "module_type": "binary"}, 104 {"type": "assert_invalid", "line": 535, "filename": "func.28.wasm", "text": "type mismatch", "module_type": "binary"}, 105 {"type": "assert_invalid", "line": 542, "filename": "func.29.wasm", "text": "type mismatch", "module_type": "binary"}, 106 {"type": "assert_invalid", "line": 548, "filename": "func.30.wasm", "text": "type mismatch", "module_type": "binary"}, 107 {"type": "assert_invalid", "line": 554, "filename": "func.31.wasm", "text": "type mismatch", "module_type": "binary"}, 108 {"type": "assert_invalid", "line": 561, "filename": "func.32.wasm", "text": "type mismatch", "module_type": "binary"}, 109 {"type": "assert_invalid", "line": 567, "filename": "func.33.wasm", "text": "type mismatch", "module_type": "binary"}, 110 {"type": "assert_invalid", "line": 573, "filename": "func.34.wasm", "text": "type mismatch", "module_type": "binary"}, 111 {"type": "assert_invalid", "line": 579, "filename": "func.35.wasm", "text": "type mismatch", "module_type": "binary"}, 112 {"type": "assert_invalid", "line": 586, "filename": "func.36.wasm", "text": "type mismatch", "module_type": "binary"}, 113 {"type": "assert_invalid", "line": 592, "filename": "func.37.wasm", "text": "type mismatch", "module_type": "binary"}, 114 {"type": "assert_invalid", "line": 598, "filename": "func.38.wasm", "text": "type mismatch", "module_type": "binary"}, 115 {"type": "assert_invalid", "line": 604, "filename": "func.39.wasm", "text": "type mismatch", "module_type": "binary"}, 116 {"type": "assert_invalid", "line": 610, "filename": "func.40.wasm", "text": "type mismatch", "module_type": "binary"}, 117 {"type": "assert_invalid", "line": 617, "filename": "func.41.wasm", "text": "type mismatch", "module_type": "binary"}, 118 {"type": "assert_invalid", "line": 623, "filename": "func.42.wasm", "text": "type mismatch", "module_type": "binary"}, 119 {"type": "assert_invalid", "line": 629, "filename": "func.43.wasm", "text": "type mismatch", "module_type": "binary"}, 120 {"type": "assert_malformed", "line": 639, "filename": "func.44.wat", "text": "unexpected token", "module_type": "text"}, 121 {"type": "assert_malformed", "line": 643, "filename": "func.45.wat", "text": "unexpected token", "module_type": "text"}, 122 {"type": "assert_malformed", "line": 647, "filename": "func.46.wat", "text": "unexpected token", "module_type": "text"}, 123 {"type": "assert_malformed", "line": 651, "filename": "func.47.wat", "text": "unexpected token", "module_type": "text"}, 124 {"type": "assert_malformed", "line": 655, "filename": "func.48.wat", "text": "unexpected token", "module_type": "text"}, 125 {"type": "assert_malformed", "line": 659, "filename": "func.49.wat", "text": "unexpected token", "module_type": "text"}]}