blob: c59116876cb96295689a0e6f775b4802f68a1cfa (
plain)
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
|
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/data.wast
(;; STDOUT ;;;
out/test/spec/data.wast:85: assert_invalid passed:
out/test/spec/data/data.9.wasm:000001b: error: initializer expression can only reference an imported global
000001b: error: OnGlobalGetExpr callback failed
out/test/spec/data.wast:89: assert_invalid passed:
out/test/spec/data/data.10.wasm:000001b: error: initializer expression can only reference an imported global
000001b: error: OnGlobalGetExpr callback failed
out/test/spec/data.wast:299: assert_invalid passed:
out/test/spec/data/data.41.wasm:000000c: error: memory variable out of range: 0 (max 0)
000000c: error: BeginDataSegment callback failed
out/test/spec/data.wast:307: assert_invalid passed:
out/test/spec/data/data.42.wasm:0000012: error: memory variable out of range: 1 (max 1)
0000012: error: BeginDataSegment callback failed
out/test/spec/data.wast:320: assert_invalid passed:
out/test/spec/data/data.43.wasm:000000c: error: memory variable out of range: 0 (max 0)
000000c: error: BeginDataSegment callback failed
out/test/spec/data.wast:331: assert_invalid passed:
out/test/spec/data/data.44.wasm:000000d: error: memory variable out of range: 1 (max 0)
000000d: error: BeginDataSegment callback failed
out/test/spec/data.wast:343: assert_invalid passed:
out/test/spec/data/data.45.wasm:0000012: error: memory variable out of range: 1 (max 1)
0000012: error: BeginDataSegment callback failed
out/test/spec/data.wast:365: assert_invalid passed:
out/test/spec/data/data.46.wasm:000000d: error: memory variable out of range: 1 (max 0)
000000d: error: BeginDataSegment callback failed
out/test/spec/data.wast:384: assert_invalid passed:
out/test/spec/data/data.47.wasm:0000013: error: type mismatch in initializer expression, expected [i32] but got [i64]
0000014: error: EndDataSegmentInitExpr callback failed
out/test/spec/data.wast:392: assert_invalid passed:
out/test/spec/data/data.48.wasm:0000013: error: type mismatch in initializer expression, expected [i32] but got [funcref]
0000014: error: EndDataSegmentInitExpr callback failed
out/test/spec/data.wast:400: assert_invalid passed:
out/test/spec/data/data.49.wasm:0000011: error: type mismatch in initializer expression, expected [i32] but got []
0000012: error: EndDataSegmentInitExpr callback failed
out/test/spec/data.wast:408: assert_invalid passed:
out/test/spec/data/data.50.wasm:0000015: error: type mismatch at end of initializer expression, expected [] but got [i32]
0000016: error: EndDataSegmentInitExpr callback failed
out/test/spec/data.wast:416: assert_invalid passed:
out/test/spec/data/data.51.wasm:000002b: error: type mismatch at end of initializer expression, expected [] but got [i32]
000002c: error: EndDataSegmentInitExpr callback failed
out/test/spec/data.wast:425: assert_invalid passed:
out/test/spec/data/data.52.wasm:000002b: error: type mismatch at end of initializer expression, expected [] but got [i32]
000002c: error: EndDataSegmentInitExpr callback failed
out/test/spec/data.wast:434: assert_invalid passed:
out/test/spec/data/data.53.wasm:0000014: error: invalid initializer: instruction not valid in initializer expression: i32.ctz
0000014: error: OnUnaryExpr callback failed
out/test/spec/data.wast:442: assert_invalid passed:
out/test/spec/data/data.54.wasm:0000012: error: invalid initializer: instruction not valid in initializer expression: nop
0000012: error: OnNopExpr callback failed
out/test/spec/data.wast:450: assert_invalid passed:
out/test/spec/data/data.55.wasm:0000012: error: invalid initializer: instruction not valid in initializer expression: nop
0000012: error: OnNopExpr callback failed
out/test/spec/data.wast:458: assert_invalid passed:
out/test/spec/data/data.56.wasm:0000014: error: invalid initializer: instruction not valid in initializer expression: nop
0000014: error: OnNopExpr callback failed
out/test/spec/data.wast:466: assert_invalid passed:
out/test/spec/data/data.57.wasm:0000020: error: initializer expression cannot reference a mutable global
0000020: error: OnGlobalGetExpr callback failed
out/test/spec/data.wast:475: assert_invalid passed:
out/test/spec/data/data.58.wasm:0000013: error: global variable out of range: 0 (max 0)
0000013: error: OnGlobalGetExpr callback failed
out/test/spec/data.wast:483: assert_invalid passed:
out/test/spec/data/data.59.wasm:0000029: error: global variable out of range: 1 (max 1)
0000029: error: OnGlobalGetExpr callback failed
out/test/spec/data.wast:492: assert_invalid passed:
out/test/spec/data/data.60.wasm:000002d: error: initializer expression cannot reference a mutable global
000002d: error: OnGlobalGetExpr callback failed
61/61 tests passed.
;;; STDOUT ;;)
|
