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
92
93
94
|
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/br_if.wast
(;; STDOUT ;;;
out/test/spec/br_if.wast:481: assert_invalid passed:
out/test/spec/br_if/br_if.1.wasm:000001e: error: type mismatch in i32.ctz, expected [i32] but got []
000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:485: assert_invalid passed:
out/test/spec/br_if/br_if.2.wasm:000001e: error: type mismatch in i64.ctz, expected [i64] but got []
000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:489: assert_invalid passed:
out/test/spec/br_if/br_if.3.wasm:000001e: error: type mismatch in f32.neg, expected [f32] but got []
000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:493: assert_invalid passed:
out/test/spec/br_if/br_if.4.wasm:000001e: error: type mismatch in f64.neg, expected [f64] but got []
000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:498: assert_invalid passed:
out/test/spec/br_if/br_if.5.wasm:000001e: error: type mismatch in i32.ctz, expected [i32] but got []
000001e: error: OnUnaryExpr callback failed
out/test/spec/br_if.wast:502: assert_invalid passed:
out/test/spec/br_if/br_if.6.wasm:000001d: error: type mismatch in br_if, expected [i32] but got [i64]
000001d: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:506: assert_invalid passed:
out/test/spec/br_if/br_if.7.wasm:0000020: error: type mismatch in br_if, expected [i32] but got [f32]
0000020: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:510: assert_invalid passed:
out/test/spec/br_if/br_if.8.wasm:000001d: error: type mismatch in br_if, expected [i32] but got [i64]
000001d: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:515: assert_invalid passed:
out/test/spec/br_if/br_if.9.wasm:000001e: error: type mismatch in br_if, expected [i32] but got []
000001e: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:521: assert_invalid passed:
out/test/spec/br_if/br_if.10.wasm:000001e: error: type mismatch in br_if, expected [i32] but got []
000001e: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:527: assert_invalid passed:
out/test/spec/br_if/br_if.11.wasm:0000020: error: type mismatch at end of block, expected [] but got [i32]
0000020: error: OnEndExpr callback failed
out/test/spec/br_if.wast:533: assert_invalid passed:
out/test/spec/br_if/br_if.12.wasm:0000020: error: type mismatch at end of block, expected [] but got [i32]
0000020: error: OnEndExpr callback failed
out/test/spec/br_if.wast:540: assert_invalid passed:
out/test/spec/br_if/br_if.13.wasm:000001f: error: type mismatch in br_if, expected [i32] but got []
000001f: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:546: assert_invalid passed:
out/test/spec/br_if/br_if.14.wasm:000001f: error: type mismatch in br_if, expected [i32] but got []
000001f: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:552: assert_invalid passed:
out/test/spec/br_if/br_if.15.wasm:0000020: error: type mismatch in br_if, expected [i32] but got [i64]
0000020: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:560: assert_invalid passed:
out/test/spec/br_if/br_if.16.wasm:0000020: error: type mismatch in br_if, expected [i32] but got [i64]
0000020: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:569: assert_invalid passed:
out/test/spec/br_if/br_if.17.wasm:000001b: error: type mismatch in br_if, expected [i32] but got []
000001b: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:575: assert_invalid passed:
out/test/spec/br_if/br_if.18.wasm:000001c: error: type mismatch in br_if, expected [i32] but got []
000001c: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:581: assert_invalid passed:
out/test/spec/br_if/br_if.19.wasm:000001d: error: type mismatch in br_if, expected [i32] but got [i64]
000001d: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:587: assert_invalid passed:
out/test/spec/br_if/br_if.20.wasm:000001f: error: type mismatch in br_if, expected [i32] but got []
000001f: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:593: assert_invalid passed:
out/test/spec/br_if/br_if.21.wasm:0000022: error: type mismatch in br_if, expected [i32] but got []
0000022: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:599: assert_invalid passed:
out/test/spec/br_if/br_if.22.wasm:0000020: error: type mismatch in br_if, expected [i32] but got [... i64]
0000020: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:606: assert_invalid passed:
out/test/spec/br_if/br_if.23.wasm:0000021: error: type mismatch in br_if, expected [i32] but got []
out/test/spec/br_if/br_if.23.wasm:0000021: error: type mismatch in br_if, expected [i32] but got []
0000021: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:618: assert_invalid passed:
out/test/spec/br_if/br_if.24.wasm:0000023: error: type mismatch in br_if, expected [i32] but got []
0000023: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:630: assert_invalid passed:
out/test/spec/br_if/br_if.25.wasm:000001b: error: type mismatch in br_if, expected [i32] but got []
out/test/spec/br_if/br_if.25.wasm:000001b: error: type mismatch in br_if, expected [i32] but got []
000001b: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:641: assert_invalid passed:
out/test/spec/br_if/br_if.26.wasm:000001d: error: type mismatch in br_if, expected [i32] but got []
000001d: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:654: assert_invalid passed:
out/test/spec/br_if/br_if.27.wasm:000001b: error: invalid depth: 1 (max 0)
000001b: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:658: assert_invalid passed:
out/test/spec/br_if/br_if.28.wasm:000001f: error: invalid depth: 5 (max 2)
000001f: error: OnBrIfExpr callback failed
out/test/spec/br_if.wast:662: assert_invalid passed:
out/test/spec/br_if/br_if.29.wasm:000001f: error: invalid depth: 268435457 (max 0)
000001f: error: OnBrIfExpr callback failed
118/118 tests passed.
;;; STDOUT ;;)
|
