summaryrefslogtreecommitdiff
path: root/test/spec/memory64/memory64.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/spec/memory64/memory64.txt')
-rw-r--r--test/spec/memory64/memory64.txt58
1 files changed, 26 insertions, 32 deletions
diff --git a/test/spec/memory64/memory64.txt b/test/spec/memory64/memory64.txt
index a79ac162..f83ca265 100644
--- a/test/spec/memory64/memory64.txt
+++ b/test/spec/memory64/memory64.txt
@@ -2,46 +2,40 @@
;;; STDIN_FILE: third_party/testsuite/proposals/memory64/memory64.wast
;;; ARGS*: --enable-memory64
(;; STDOUT ;;;
-out/test/spec/memory64/memory64.wast:9: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.4.wasm:000000f: error: only one memory block allowed
- 000000f: error: OnMemory callback failed
-out/test/spec/memory64/memory64.wast:10: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.5.wasm:0000023: error: only one memory block allowed
- 0000023: error: OnMemory callback failed
-out/test/spec/memory64/memory64.wast:19: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.9.wasm:000000c: error: memory variable out of range: 0 (max 0)
+out/test/spec/memory64/memory64.wast:16: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.7.wasm:000000c: error: memory variable out of range: 0 (max 0)
000000c: error: BeginDataSegment callback failed
-out/test/spec/memory64/memory64.wast:20: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.10.wasm:000000c: error: memory variable out of range: 0 (max 0)
+out/test/spec/memory64/memory64.wast:17: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.8.wasm:000000c: error: memory variable out of range: 0 (max 0)
000000c: error: BeginDataSegment callback failed
-out/test/spec/memory64/memory64.wast:21: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.11.wasm:000000c: error: memory variable out of range: 0 (max 0)
+out/test/spec/memory64/memory64.wast:18: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.9.wasm:000000c: error: memory variable out of range: 0 (max 0)
000000c: error: BeginDataSegment callback failed
-out/test/spec/memory64/memory64.wast:24: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.12.wasm:000001c: error: memory variable out of range: 0 (max 0)
- out/test/spec/memory64/memory64/memory64.12.wasm:000001c: error: type mismatch in f32.load, expected [i32] but got [i64]
+out/test/spec/memory64/memory64.wast:21: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.10.wasm:000001c: error: memory variable out of range: 0 (max 0)
+ out/test/spec/memory64/memory64/memory64.10.wasm:000001c: error: type mismatch in f32.load, expected [i32] but got [i64]
000001c: error: OnLoadExpr callback failed
-out/test/spec/memory64/memory64.wast:28: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.13.wasm:0000021: error: memory variable out of range: 0 (max 0)
- out/test/spec/memory64/memory64/memory64.13.wasm:0000021: error: type mismatch in f32.store, expected [i32, f32] but got [i64, f32]
+out/test/spec/memory64/memory64.wast:25: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.11.wasm:0000021: error: memory variable out of range: 0 (max 0)
+ out/test/spec/memory64/memory64/memory64.11.wasm:0000021: error: type mismatch in f32.store, expected [i32, f32] but got [i64, f32]
0000021: error: OnStoreExpr callback failed
-out/test/spec/memory64/memory64.wast:32: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.14.wasm:000001c: error: memory variable out of range: 0 (max 0)
- out/test/spec/memory64/memory64/memory64.14.wasm:000001c: error: type mismatch in i32.load8_s, expected [i32] but got [i64]
+out/test/spec/memory64/memory64.wast:29: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.12.wasm:000001c: error: memory variable out of range: 0 (max 0)
+ out/test/spec/memory64/memory64/memory64.12.wasm:000001c: error: type mismatch in i32.load8_s, expected [i32] but got [i64]
000001c: error: OnLoadExpr callback failed
-out/test/spec/memory64/memory64.wast:36: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.15.wasm:000001e: error: memory variable out of range: 0 (max 0)
- out/test/spec/memory64/memory64/memory64.15.wasm:000001e: error: type mismatch in i32.store8, expected [i32, i32] but got [i64, i32]
+out/test/spec/memory64/memory64.wast:33: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.13.wasm:000001e: error: memory variable out of range: 0 (max 0)
+ out/test/spec/memory64/memory64/memory64.13.wasm:000001e: error: type mismatch in i32.store8, expected [i32, i32] but got [i64, i32]
000001e: error: OnStoreExpr callback failed
-out/test/spec/memory64/memory64.wast:40: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.16.wasm:0000019: error: memory variable out of range: 0 (max 0)
+out/test/spec/memory64/memory64.wast:37: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.14.wasm:0000019: error: memory variable out of range: 0 (max 0)
0000019: error: OnMemorySizeExpr callback failed
-out/test/spec/memory64/memory64.wast:44: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.17.wasm:000001b: error: memory variable out of range: 0 (max 0)
- out/test/spec/memory64/memory64/memory64.17.wasm:000001b: error: type mismatch in memory.grow, expected [i32] but got [i64]
+out/test/spec/memory64/memory64.wast:41: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.15.wasm:000001b: error: memory variable out of range: 0 (max 0)
+ out/test/spec/memory64/memory64/memory64.15.wasm:000001b: error: type mismatch in memory.grow, expected [i32] but got [i64]
000001b: error: OnMemoryGrowExpr callback failed
-out/test/spec/memory64/memory64.wast:50: assert_invalid passed:
- out/test/spec/memory64/memory64/memory64.18.wasm:000000e: error: max pages (0) must be >= initial pages (1)
+out/test/spec/memory64/memory64.wast:47: assert_invalid passed:
+ out/test/spec/memory64/memory64/memory64.16.wasm:000000e: error: max pages (0) must be >= initial pages (1)
000000e: error: OnMemory callback failed
-65/65 tests passed.
+63/63 tests passed.
;;; STDOUT ;;)