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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/i64.wast
(;; STDOUT ;;;
out/test/spec/i64.wast:65: assert_trap passed: integer divide by zero
out/test/spec/i64.wast:66: assert_trap passed: integer divide by zero
out/test/spec/i64.wast:67: assert_trap passed: integer overflow
out/test/spec/i64.wast:68: assert_trap passed: integer divide by zero
out/test/spec/i64.wast:86: assert_trap passed: integer divide by zero
out/test/spec/i64.wast:87: assert_trap passed: integer divide by zero
out/test/spec/i64.wast:103: assert_trap passed: integer divide by zero
out/test/spec/i64.wast:104: assert_trap passed: integer divide by zero
out/test/spec/i64.wast:124: assert_trap passed: integer divide by zero
out/test/spec/i64.wast:125: assert_trap passed: integer divide by zero
out/test/spec/i64.wast:457: assert_invalid passed:
out/test/spec/i64/i64.1.wasm:0000020: error: type mismatch in i64.add, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:458: assert_invalid passed:
out/test/spec/i64/i64.2.wasm:0000020: error: type mismatch in i64.and, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:459: assert_invalid passed:
out/test/spec/i64/i64.3.wasm:0000020: error: type mismatch in i64.div_s, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:460: assert_invalid passed:
out/test/spec/i64/i64.4.wasm:0000020: error: type mismatch in i64.div_u, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:461: assert_invalid passed:
out/test/spec/i64/i64.5.wasm:0000020: error: type mismatch in i64.mul, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:462: assert_invalid passed:
out/test/spec/i64/i64.6.wasm:0000020: error: type mismatch in i64.or, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:463: assert_invalid passed:
out/test/spec/i64/i64.7.wasm:0000020: error: type mismatch in i64.rem_s, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:464: assert_invalid passed:
out/test/spec/i64/i64.8.wasm:0000020: error: type mismatch in i64.rem_u, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:465: assert_invalid passed:
out/test/spec/i64/i64.9.wasm:0000020: error: type mismatch in i64.rotl, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:466: assert_invalid passed:
out/test/spec/i64/i64.10.wasm:0000020: error: type mismatch in i64.rotr, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:467: assert_invalid passed:
out/test/spec/i64/i64.11.wasm:0000020: error: type mismatch in i64.shl, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:468: assert_invalid passed:
out/test/spec/i64/i64.12.wasm:0000020: error: type mismatch in i64.shr_s, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:469: assert_invalid passed:
out/test/spec/i64/i64.13.wasm:0000020: error: type mismatch in i64.shr_u, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:470: assert_invalid passed:
out/test/spec/i64/i64.14.wasm:0000020: error: type mismatch in i64.sub, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:471: assert_invalid passed:
out/test/spec/i64/i64.15.wasm:0000020: error: type mismatch in i64.xor, expected [i64, i64] but got [i32, f32]
0000020: error: OnBinaryExpr callback failed
out/test/spec/i64.wast:472: assert_invalid passed:
out/test/spec/i64/i64.16.wasm:000001b: error: type mismatch in i64.eqz, expected [i64] but got [i32]
000001b: error: OnConvertExpr callback failed
out/test/spec/i64.wast:473: assert_invalid passed:
out/test/spec/i64/i64.17.wasm:000001b: error: type mismatch in i64.clz, expected [i64] but got [i32]
000001b: error: OnUnaryExpr callback failed
out/test/spec/i64.wast:474: assert_invalid passed:
out/test/spec/i64/i64.18.wasm:000001b: error: type mismatch in i64.ctz, expected [i64] but got [i32]
000001b: error: OnUnaryExpr callback failed
out/test/spec/i64.wast:475: assert_invalid passed:
out/test/spec/i64/i64.19.wasm:000001b: error: type mismatch in i64.popcnt, expected [i64] but got [i32]
000001b: error: OnUnaryExpr callback failed
out/test/spec/i64.wast:476: assert_invalid passed:
out/test/spec/i64/i64.20.wasm:0000020: error: type mismatch in i64.eq, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:477: assert_invalid passed:
out/test/spec/i64/i64.21.wasm:0000020: error: type mismatch in i64.ge_s, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:478: assert_invalid passed:
out/test/spec/i64/i64.22.wasm:0000020: error: type mismatch in i64.ge_u, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:479: assert_invalid passed:
out/test/spec/i64/i64.23.wasm:0000020: error: type mismatch in i64.gt_s, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:480: assert_invalid passed:
out/test/spec/i64/i64.24.wasm:0000020: error: type mismatch in i64.gt_u, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:481: assert_invalid passed:
out/test/spec/i64/i64.25.wasm:0000020: error: type mismatch in i64.le_s, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:482: assert_invalid passed:
out/test/spec/i64/i64.26.wasm:0000020: error: type mismatch in i64.le_u, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:483: assert_invalid passed:
out/test/spec/i64/i64.27.wasm:0000020: error: type mismatch in i64.lt_s, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:484: assert_invalid passed:
out/test/spec/i64/i64.28.wasm:0000020: error: type mismatch in i64.lt_u, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:485: assert_invalid passed:
out/test/spec/i64/i64.29.wasm:0000020: error: type mismatch in i64.ne, expected [i64, i64] but got [i32, f32]
0000020: error: OnCompareExpr callback failed
out/test/spec/i64.wast:488: assert_malformed passed:
out/test/spec/i64/i64.30.wat:1:31: error: invalid literal "nan:arithmetic"
(func (result i64) (i64.const nan:arithmetic))
^^^^^^^^^^^^^^
out/test/spec/i64.wast:492: assert_malformed passed:
out/test/spec/i64/i64.31.wat:1:31: error: invalid literal "nan:canonical"
(func (result i64) (i64.const nan:canonical))
^^^^^^^^^^^^^
416/416 tests passed.
;;; STDOUT ;;)
|
