1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/select.wast
(;; STDOUT ;;;
out/test/spec/select.wast:278: assert_trap passed: undefined table index
out/test/spec/select.wast:279: assert_trap passed: undefined table index
out/test/spec/select.wast:320: assert_invalid passed:
out/test/spec/select/select.1.wasm:000001c: error: type mismatch in select, expected [any, any, i32] but got [i32]
000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:324: assert_invalid passed:
out/test/spec/select/select.2.wasm:000001c: error: type mismatch in select, expected [any, any, i32] but got [i32]
000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:328: assert_invalid passed:
out/test/spec/select/select.3.wasm:0000027: error: invalid arity in select instruction: 2.
0000027: error: OnSelectExpr callback failed
out/test/spec/select.wast:340: assert_invalid passed:
out/test/spec/select/select.4.wasm:000001f: error: type mismatch in select, expected [any, any, i32] but got [externref, externref, i32]
000001f: error: OnSelectExpr callback failed
out/test/spec/select.wast:347: assert_invalid passed:
out/test/spec/select/select.5.wasm:000001e: error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32]
000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:353: assert_invalid passed:
out/test/spec/select/select.6.wasm:0000021: error: type mismatch in select, expected [f32, f32, i32] but got [i32, f32, i32]
0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:359: assert_invalid passed:
out/test/spec/select/select.7.wasm:0000025: error: type mismatch in select, expected [f64, f64, i32] but got [i32, f64, i32]
0000025: error: OnSelectExpr callback failed
out/test/spec/select.wast:366: assert_invalid passed:
out/test/spec/select/select.8.wasm:000001e: error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32]
000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:370: assert_invalid passed:
out/test/spec/select/select.9.wasm:0000021: error: type mismatch in select, expected [f32, f32, i32] but got [i32, f32, i32]
0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:374: assert_invalid passed:
out/test/spec/select/select.10.wasm:000001e: error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32]
000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:378: assert_invalid passed:
out/test/spec/select/select.11.wasm:0000021: error: type mismatch in select, expected [f32, f32, i32] but got [i32, f32, i32]
0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:382: assert_invalid passed:
out/test/spec/select/select.12.wasm:0000025: error: type mismatch in select, expected [f64, f64, i32] but got [i32, f64, i32]
0000025: error: OnSelectExpr callback failed
out/test/spec/select.wast:388: assert_invalid passed:
out/test/spec/select/select.13.wasm:0000018: error: type mismatch in select, expected [any, any, i32] but got []
0000018: error: OnSelectExpr callback failed
out/test/spec/select.wast:396: assert_invalid passed:
out/test/spec/select/select.14.wasm:000001a: error: type mismatch in select, expected [any, any, i32] but got [i32]
000001a: error: OnSelectExpr callback failed
out/test/spec/select.wast:404: assert_invalid passed:
out/test/spec/select/select.15.wasm:000001c: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
000001c: error: OnSelectExpr callback failed
out/test/spec/select.wast:412: assert_invalid passed:
out/test/spec/select/select.16.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got []
0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:421: assert_invalid passed:
out/test/spec/select/select.17.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got [i32]
0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:430: assert_invalid passed:
out/test/spec/select/select.18.wasm:0000020: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:439: assert_invalid passed:
out/test/spec/select/select.19.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got []
0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:448: assert_invalid passed:
out/test/spec/select/select.20.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got [i32]
0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:457: assert_invalid passed:
out/test/spec/select/select.21.wasm:0000020: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:466: assert_invalid passed:
out/test/spec/select/select.22.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got []
0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:475: assert_invalid passed:
out/test/spec/select/select.23.wasm:0000020: error: type mismatch in select, expected [any, any, i32] but got [i32]
0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:484: assert_invalid passed:
out/test/spec/select/select.24.wasm:0000020: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32]
0000020: error: OnSelectExpr callback failed
out/test/spec/select.wast:496: assert_invalid passed:
out/test/spec/select/select.25.wasm:000001e: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, i64]
000001e: error: OnSelectExpr callback failed
out/test/spec/select.wast:500: assert_invalid passed:
out/test/spec/select/select.26.wasm:0000021: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, f32]
0000021: error: OnSelectExpr callback failed
out/test/spec/select.wast:504: assert_invalid passed:
out/test/spec/select/select.27.wasm:0000025: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, f64]
0000025: error: OnSelectExpr callback failed
out/test/spec/select.wast:511: assert_invalid passed:
out/test/spec/select/select.28.wasm:0000020: error: type mismatch in implicit return, expected [i32] but got [i64]
0000020: error: EndFunctionBody callback failed
148/148 tests passed.
;;; STDOUT ;;)
|