Skip to content

Update spec tests #2003

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
sbc100 merged 1 commit into from
Sep 22, 2022
Merged

Update spec tests #2003

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
216 changes: 108 additions & 108 deletions test/spec/binary.txt
View file
Open in desktop

Large diffs are not rendered by default.

85 changes: 47 additions & 38 deletions test/spec/data.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,62 +1,71 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/data.wast
(;; STDOUT ;;;
out/test/spec/data.wast:293: assert_invalid passed:
out/test/spec/data/data.39.wasm:000000c: error: memory variable out of range: 0 (max 0)
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:301: assert_invalid passed:
out/test/spec/data/data.40.wasm:0000012: error: memory variable out of range: 1 (max 1)
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:314: assert_invalid passed:
out/test/spec/data/data.41.wasm:000000c: error: memory variable out of range: 0 (max 0)
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:325: assert_invalid passed:
out/test/spec/data/data.42.wasm:000000d: error: memory variable out of range: 1 (max 0)
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:337: assert_invalid passed:
out/test/spec/data/data.43.wasm:0000012: error: memory variable out of range: 1 (max 1)
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:359: assert_invalid passed:
out/test/spec/data/data.44.wasm:000000d: error: memory variable out of range: 1 (max 0)
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:378: assert_invalid passed:
out/test/spec/data/data.45.wasm:0000013: error: type mismatch in initializer expression, expected [i32] but got [i64]
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:386: assert_invalid passed:
out/test/spec/data/data.46.wasm:0000013: error: type mismatch in initializer expression, expected [i32] but got [funcref]
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:394: assert_invalid passed:
out/test/spec/data/data.47.wasm:0000011: error: type mismatch in initializer expression, expected [i32] but got []
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:402: assert_invalid passed:
out/test/spec/data/data.48.wasm:0000015: error: type mismatch at end of initializer expression, expected [] but got [i32]
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:410: assert_invalid passed:
out/test/spec/data/data.49.wasm:000002b: error: type mismatch at end of initializer expression, expected [] but got [i32]
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:419: assert_invalid passed:
out/test/spec/data/data.50.wasm:000002b: error: type mismatch at end of initializer expression, expected [] but got [i32]
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:428: assert_invalid passed:
out/test/spec/data/data.51.wasm:0000014: error: invalid initializer: instruction not valid in initializer expression: i32.ctz
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:436: assert_invalid passed:
out/test/spec/data/data.52.wasm:0000012: error: invalid initializer: instruction not valid in initializer expression: nop
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:444: assert_invalid passed:
out/test/spec/data/data.53.wasm:0000012: error: invalid initializer: instruction not valid in initializer expression: nop
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:452: assert_invalid passed:
out/test/spec/data/data.54.wasm:0000014: error: invalid initializer: instruction not valid in initializer expression: nop
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.55.wasm:0000013: error: global variable out of range: 0 (max 0)
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:474: assert_invalid passed:
out/test/spec/data/data.56.wasm:0000029: error: global variable out of range: 1 (max 1)
0000029: error: OnGlobalGetExpr callback failed
out/test/spec/data.wast:483: assert_invalid passed:
out/test/spec/data/data.57.wasm:000002d: error: initializer expression cannot reference a mutable global
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
58/58 tests passed.
61/61 tests passed.
;;; STDOUT ;;)
85 changes: 47 additions & 38 deletions test/spec/elem.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,67 +1,76 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/elem.wast
(;; STDOUT ;;;
out/test/spec/elem.wast:321: assert_trap passed: out of bounds table access: table.init out of bounds
out/test/spec/elem.wast:152: assert_invalid passed:
out/test/spec/elem/elem.9.wasm:0000026: error: initializer expression can only reference an imported global
0000026: error: OnGlobalGetExpr callback failed
out/test/spec/elem.wast:156: assert_invalid passed:
out/test/spec/elem/elem.10.wasm:0000026: error: initializer expression can only reference an imported global
0000026: error: OnGlobalGetExpr callback failed
out/test/spec/elem.wast:331: assert_trap passed: out of bounds table access: table.init out of bounds
out/test/spec/elem.wast:336: assert_invalid passed:
out/test/spec/elem/elem.33.wasm:0000016: error: table variable out of range: 0 (max 0)
0000016: error: BeginElemSegment callback failed
out/test/spec/elem.wast:341: assert_trap passed: out of bounds table access: table.init out of bounds
out/test/spec/elem.wast:346: assert_invalid passed:
out/test/spec/elem/elem.34.wasm:0000014: error: type mismatch in initializer expression, expected [i32] but got [i64]
out/test/spec/elem/elem.35.wasm:0000016: error: table variable out of range: 0 (max 0)
0000016: error: BeginElemSegment callback failed
out/test/spec/elem.wast:356: assert_invalid passed:
out/test/spec/elem/elem.36.wasm:0000014: error: type mismatch in initializer expression, expected [i32] but got [i64]
0000015: error: EndElemSegmentInitExpr callback failed
out/test/spec/elem.wast:354: assert_invalid passed:
out/test/spec/elem/elem.35.wasm:0000014: error: type mismatch in initializer expression, expected [i32] but got [funcref]
out/test/spec/elem.wast:364: assert_invalid passed:
out/test/spec/elem/elem.37.wasm:0000014: error: type mismatch in initializer expression, expected [i32] but got [funcref]
0000015: error: EndElemSegmentInitExpr callback failed
out/test/spec/elem.wast:362: assert_invalid passed:
out/test/spec/elem/elem.36.wasm:0000012: error: type mismatch in initializer expression, expected [i32] but got []
out/test/spec/elem.wast:372: assert_invalid passed:
out/test/spec/elem/elem.38.wasm:0000012: error: type mismatch in initializer expression, expected [i32] but got []
0000013: error: EndElemSegmentInitExpr callback failed
out/test/spec/elem.wast:370: assert_invalid passed:
out/test/spec/elem/elem.37.wasm:0000016: error: type mismatch at end of initializer expression, expected [] but got [i32]
out/test/spec/elem.wast:380: assert_invalid passed:
out/test/spec/elem/elem.39.wasm:0000016: error: type mismatch at end of initializer expression, expected [] but got [i32]
0000017: error: EndElemSegmentInitExpr callback failed
out/test/spec/elem.wast:378: assert_invalid passed:
out/test/spec/elem/elem.38.wasm:000002c: error: type mismatch at end of initializer expression, expected [] but got [i32]
000002d: error: EndElemSegmentInitExpr callback failed
out/test/spec/elem.wast:387: assert_invalid passed:
out/test/spec/elem/elem.39.wasm:000002c: error: type mismatch at end of initializer expression, expected [] but got [i32]
out/test/spec/elem.wast:388: assert_invalid passed:
out/test/spec/elem/elem.40.wasm:000002c: error: type mismatch at end of initializer expression, expected [] but got [i32]
000002d: error: EndElemSegmentInitExpr callback failed
out/test/spec/elem.wast:397: assert_invalid passed:
out/test/spec/elem/elem.40.wasm:0000015: error: invalid initializer: instruction not valid in initializer expression: i32.ctz
out/test/spec/elem/elem.41.wasm:000002c: error: type mismatch at end of initializer expression, expected [] but got [i32]
000002d: error: EndElemSegmentInitExpr callback failed
out/test/spec/elem.wast:407: assert_invalid passed:
out/test/spec/elem/elem.42.wasm:0000015: error: invalid initializer: instruction not valid in initializer expression: i32.ctz
0000015: error: OnUnaryExpr callback failed
out/test/spec/elem.wast:405: assert_invalid passed:
out/test/spec/elem/elem.41.wasm:0000013: error: invalid initializer: instruction not valid in initializer expression: nop
out/test/spec/elem.wast:415: assert_invalid passed:
out/test/spec/elem/elem.43.wasm:0000013: error: invalid initializer: instruction not valid in initializer expression: nop
0000013: error: OnNopExpr callback failed
out/test/spec/elem.wast:413: assert_invalid passed:
out/test/spec/elem/elem.42.wasm:0000013: error: invalid initializer: instruction not valid in initializer expression: nop
out/test/spec/elem.wast:423: assert_invalid passed:
out/test/spec/elem/elem.44.wasm:0000013: error: invalid initializer: instruction not valid in initializer expression: nop
0000013: error: OnNopExpr callback failed
out/test/spec/elem.wast:421: assert_invalid passed:
out/test/spec/elem/elem.43.wasm:0000015: error: invalid initializer: instruction not valid in initializer expression: nop
out/test/spec/elem.wast:431: assert_invalid passed:
out/test/spec/elem/elem.45.wasm:0000015: error: invalid initializer: instruction not valid in initializer expression: nop
0000015: error: OnNopExpr callback failed
out/test/spec/elem.wast:435: assert_invalid passed:
out/test/spec/elem/elem.44.wasm:0000014: error: global variable out of range: 0 (max 0)
out/test/spec/elem.wast:439: assert_invalid passed:
out/test/spec/elem/elem.46.wasm:0000021: error: initializer expression cannot reference a mutable global
0000021: error: OnGlobalGetExpr callback failed
out/test/spec/elem.wast:448: assert_invalid passed:
out/test/spec/elem/elem.47.wasm:0000014: error: global variable out of range: 0 (max 0)
0000014: error: OnGlobalGetExpr callback failed
out/test/spec/elem.wast:443: assert_invalid passed:
out/test/spec/elem/elem.45.wasm:000002a: error: global variable out of range: 1 (max 1)
out/test/spec/elem.wast:456: assert_invalid passed:
out/test/spec/elem/elem.48.wasm:000002a: error: global variable out of range: 1 (max 1)
000002a: error: OnGlobalGetExpr callback failed
out/test/spec/elem.wast:452: assert_invalid passed:
out/test/spec/elem/elem.46.wasm:000002e: error: initializer expression cannot reference a mutable global
out/test/spec/elem.wast:465: assert_invalid passed:
out/test/spec/elem/elem.49.wasm:000002e: error: initializer expression cannot reference a mutable global
000002e: error: OnGlobalGetExpr callback failed
out/test/spec/elem.wast:463: assert_invalid passed:
out/test/spec/elem/elem.47.wasm:0000018: error: type mismatch at elem expression. got externref, expected funcref
out/test/spec/elem.wast:476: assert_invalid passed:
out/test/spec/elem/elem.50.wasm:0000018: error: type mismatch at elem expression. got externref, expected funcref
0000018: error: OnElemSegmentElemExpr_RefNull callback failed
out/test/spec/elem.wast:471: assert_invalid passed:
out/test/spec/elem.wast:484: assert_invalid passed:
0000019: error: expected END opcode after element expression
out/test/spec/elem.wast:479: assert_invalid passed:
out/test/spec/elem.wast:492: assert_invalid passed:
0000017: error: expected ref.null or ref.func in passive element segment
0000018: error: expected END opcode after element expression
out/test/spec/elem.wast:487: assert_invalid passed:
out/test/spec/elem.wast:500: assert_invalid passed:
0000017: error: expected ref.null or ref.func in passive element segment
0000018: error: expected END opcode after element expression
out/test/spec/elem.wast:495: assert_invalid passed:
out/test/spec/elem.wast:508: assert_invalid passed:
0000022: error: expected ref.null or ref.func in passive element segment
0000023: error: expected END opcode after element expression
out/test/spec/elem.wast:504: assert_invalid passed:
out/test/spec/elem.wast:517: assert_invalid passed:
0000017: error: expected ref.null or ref.func in passive element segment
0000018: error: expected END opcode after element expression
out/test/spec/elem.wast:561: assert_trap passed: uninitialized table element
73/73 tests passed.
out/test/spec/elem.wast:574: assert_trap passed: uninitialized table element
76/76 tests passed.
;;; STDOUT ;;)
Loading