;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/memory64/bulk64.wast
;;; ARGS*: --enable-memory64 --enable-bulk-memory
(;; STDOUT ;;;
fill(i64:1, i32:255, i64:3) =>
fill(i64:0, i32:48042, i64:2) =>
fill(i64:0, i32:0, i64:65536) =>
fill(i64:65536, i32:0, i64:0) =>
out/test/spec/memory64/bulk64.wast:41: assert_trap passed: out of bounds memory access: memory.fill out of bounds
copy(i64:10, i64:0, i64:4) =>
copy(i64:8, i64:10, i64:4) =>
copy(i64:10, i64:7, i64:6) =>
out/test/spec/memory64/bulk64.wast:90: assert_trap passed: out of bounds memory access: memory.copy out of bound
copy(i64:65280, i64:0, i64:256) =>
copy(i64:65024, i64:65280, i64:256) =>
copy(i64:65536, i64:0, i64:0) =>
copy(i64:0, i64:65536, i64:0) =>
out/test/spec/memory64/bulk64.wast:110: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/bulk64.wast:113: assert_trap passed: out of bounds memory access: memory.copy out of bound
init(i64:0, i32:1, i32:2) =>
init(i64:65532, i32:0, i32:4) =>
out/test/spec/memory64/bulk64.wast:140: assert_trap passed: out of bounds memory access: memory.init out of bounds
init(i64:65536, i32:0, i32:0) =>
init(i64:0, i32:4, i32:0) =>
out/test/spec/memory64/bulk64.wast:151: assert_trap passed: out of bounds memory access: memory.init out of bounds
out/test/spec/memory64/bulk64.wast:154: assert_trap passed: out of bounds memory access: memory.init out of bounds
init(i64:0, i32:0, i32:0) =>
init_passive() =>
drop_passive() =>
drop_passive() =>
drop_active() =>
65/65 tests passed.
;;; STDOUT ;;)
