github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v1/testdata/select.json (about) 1 {"source_filename": "./select.wast", 2 "commands": [ 3 {"type": "module", "line": 1, "filename": "select.0.wasm"}, 4 {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "select_i32", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 5 {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "select_i64", "args": [{"type": "i64", "value": "2"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i64", "value": "2"}]}, 6 {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "select_f32", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1073741824"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 7 {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "select_f64", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4611686018427387904"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 8 {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "select_i32", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 9 {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "select_i32", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 10 {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "select_i64", "args": [{"type": "i64", "value": "2"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i64", "value": "2"}]}, 11 {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "select_i64", "args": [{"type": "i64", "value": "2"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "4042322160"}]}, "expected": [{"type": "i64", "value": "2"}]}, 12 {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "select_f32", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "1065353216"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f32", "value": "2143289344"}]}, 13 {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "select_f32", "args": [{"type": "f32", "value": "2139226884"}, {"type": "f32", "value": "1065353216"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f32", "value": "2139226884"}]}, 14 {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "select_f32", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "1065353216"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 15 {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "select_f32", "args": [{"type": "f32", "value": "2139226884"}, {"type": "f32", "value": "1065353216"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "f32", "value": "1065353216"}]}, 16 {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "select_f32", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "2143289344"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f32", "value": "1073741824"}]}, 17 {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "select_f32", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "2139226884"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f32", "value": "1073741824"}]}, 18 {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "select_f32", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "2143289344"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2143289344"}]}, 19 {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "select_f32", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "2139226884"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2139226884"}]}, 20 {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "select_f64", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]}, 21 {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "select_f64", "args": [{"type": "f64", "value": "9218868437227537156"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f64", "value": "9218868437227537156"}]}, 22 {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "select_f64", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 23 {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "select_f64", "args": [{"type": "f64", "value": "9218868437227537156"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]}, 24 {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "select_f64", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "9221120237041090560"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f64", "value": "4611686018427387904"}]}, 25 {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "select_f64", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "9218868437227537156"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "f64", "value": "4611686018427387904"}]}, 26 {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "select_f64", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "9221120237041090560"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]}, 27 {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "select_f64", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "9218868437227537156"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "f64", "value": "9218868437227537156"}]}, 28 {"type": "assert_trap", "line": 208, "action": {"type": "invoke", "field": "select_trap_l", "args": [{"type": "i32", "value": "1"}]}, "text": "unreachable", "expected": [{"type": "i32"}]}, 29 {"type": "assert_trap", "line": 209, "action": {"type": "invoke", "field": "select_trap_l", "args": [{"type": "i32", "value": "0"}]}, "text": "unreachable", "expected": [{"type": "i32"}]}, 30 {"type": "assert_trap", "line": 210, "action": {"type": "invoke", "field": "select_trap_r", "args": [{"type": "i32", "value": "1"}]}, "text": "unreachable", "expected": [{"type": "i32"}]}, 31 {"type": "assert_trap", "line": 211, "action": {"type": "invoke", "field": "select_trap_r", "args": [{"type": "i32", "value": "0"}]}, "text": "unreachable", "expected": [{"type": "i32"}]}, 32 {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 33 {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 34 {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 35 {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 36 {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 37 {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 38 {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 39 {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 40 {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 41 {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 42 {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 43 {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 44 {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 45 {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 46 {"type": "assert_return", "line": 229, "action": {"type": "invoke", "field": "as-if-then", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 47 {"type": "assert_return", "line": 230, "action": {"type": "invoke", "field": "as-if-then", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 48 {"type": "assert_return", "line": 231, "action": {"type": "invoke", "field": "as-if-else", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 49 {"type": "assert_return", "line": 232, "action": {"type": "invoke", "field": "as-if-else", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 50 {"type": "assert_return", "line": 234, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 51 {"type": "assert_return", "line": 235, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 52 {"type": "assert_return", "line": 236, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 53 {"type": "assert_return", "line": 237, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 54 {"type": "assert_return", "line": 239, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 55 {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 56 {"type": "assert_return", "line": 241, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 57 {"type": "assert_return", "line": 242, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 58 {"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 59 {"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 60 {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 61 {"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 62 {"type": "assert_trap", "line": 248, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "0"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, 63 {"type": "assert_trap", "line": 249, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "1"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, 64 {"type": "assert_return", "line": 251, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 65 {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 66 {"type": "assert_return", "line": 253, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 67 {"type": "assert_return", "line": 254, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 68 {"type": "assert_return", "line": 256, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 69 {"type": "assert_return", "line": 257, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 70 {"type": "assert_return", "line": 259, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 71 {"type": "assert_return", "line": 260, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 72 {"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 73 {"type": "assert_return", "line": 262, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 74 {"type": "assert_return", "line": 263, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 75 {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 76 {"type": "assert_return", "line": 265, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 77 {"type": "assert_return", "line": 266, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 78 {"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 79 {"type": "assert_return", "line": 268, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 80 {"type": "assert_return", "line": 269, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 81 {"type": "assert_return", "line": 270, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 82 {"type": "assert_return", "line": 271, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 83 {"type": "assert_return", "line": 272, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 84 {"type": "assert_return", "line": 273, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 85 {"type": "assert_return", "line": 274, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 86 {"type": "assert_return", "line": 276, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 87 {"type": "assert_return", "line": 277, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 88 {"type": "assert_return", "line": 278, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4"}]}, 89 {"type": "assert_return", "line": 279, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 90 {"type": "assert_return", "line": 280, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 91 {"type": "assert_return", "line": 281, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 92 {"type": "assert_return", "line": 282, "action": {"type": "invoke", "field": "as-compare-left", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 93 {"type": "assert_return", "line": 283, "action": {"type": "invoke", "field": "as-compare-left", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 94 {"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "as-compare-right", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 95 {"type": "assert_return", "line": 285, "action": {"type": "invoke", "field": "as-compare-right", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 96 {"type": "assert_return", "line": 286, "action": {"type": "invoke", "field": "as-convert-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 97 {"type": "assert_return", "line": 287, "action": {"type": "invoke", "field": "as-convert-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 98 {"type": "assert_invalid", "line": 290, "filename": "select.1.wasm", "text": "type mismatch", "module_type": "binary"}, 99 {"type": "assert_invalid", "line": 297, "filename": "select.2.wasm", "text": "type mismatch", "module_type": "binary"}, 100 {"type": "assert_invalid", "line": 301, "filename": "select.3.wasm", "text": "type mismatch", "module_type": "binary"}, 101 {"type": "assert_invalid", "line": 305, "filename": "select.4.wasm", "text": "type mismatch", "module_type": "binary"}, 102 {"type": "assert_invalid", "line": 311, "filename": "select.5.wasm", "text": "type mismatch", "module_type": "binary"}, 103 {"type": "assert_invalid", "line": 319, "filename": "select.6.wasm", "text": "type mismatch", "module_type": "binary"}, 104 {"type": "assert_invalid", "line": 327, "filename": "select.7.wasm", "text": "type mismatch", "module_type": "binary"}, 105 {"type": "assert_invalid", "line": 335, "filename": "select.8.wasm", "text": "type mismatch", "module_type": "binary"}, 106 {"type": "assert_invalid", "line": 344, "filename": "select.9.wasm", "text": "type mismatch", "module_type": "binary"}, 107 {"type": "assert_invalid", "line": 353, "filename": "select.10.wasm", "text": "type mismatch", "module_type": "binary"}, 108 {"type": "assert_invalid", "line": 362, "filename": "select.11.wasm", "text": "type mismatch", "module_type": "binary"}, 109 {"type": "assert_invalid", "line": 371, "filename": "select.12.wasm", "text": "type mismatch", "module_type": "binary"}, 110 {"type": "assert_invalid", "line": 380, "filename": "select.13.wasm", "text": "type mismatch", "module_type": "binary"}, 111 {"type": "assert_invalid", "line": 389, "filename": "select.14.wasm", "text": "type mismatch", "module_type": "binary"}, 112 {"type": "assert_invalid", "line": 398, "filename": "select.15.wasm", "text": "type mismatch", "module_type": "binary"}, 113 {"type": "assert_invalid", "line": 407, "filename": "select.16.wasm", "text": "type mismatch", "module_type": "binary"}]}