;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_fill.wast
;;; ARGS*: --enable-memory64
(;; STDOUT ;;;
out/test/spec/memory64/table_fill.wast:64: assert_trap passed: out of bounds table access: table.fill out of bounds
out/test/spec/memory64/table_fill.wast:72: assert_trap passed: out of bounds table access: table.fill out of bounds
out/test/spec/memory64/table_fill.wast:77: assert_trap passed: out of bounds table access: table.fill out of bounds
out/test/spec/memory64/table_fill.wast:120: assert_trap passed: out of bounds table access: table.fill out of bounds
out/test/spec/memory64/table_fill.wast:128: assert_trap passed: out of bounds table access: table.fill out of bounds
out/test/spec/memory64/table_fill.wast:133: assert_trap passed: out of bounds table access: table.fill out of bounds
out/test/spec/memory64/table_fill.wast:140: assert_invalid passed:
  out/test/spec/memory64/table_fill/table_fill.1.wasm:0000020: error: type mismatch in table.fill, expected [i32, externref, i32] but got []
  0000020: error: OnTableFillExpr callback failed
out/test/spec/memory64/table_fill.wast:149: assert_invalid passed:
  out/test/spec/memory64/table_fill/table_fill.2.wasm:0000024: error: type mismatch in table.fill, expected [i32, externref, i32] but got [externref, i32]
  0000024: error: OnTableFillExpr callback failed
out/test/spec/memory64/table_fill.wast:158: assert_invalid passed:
  out/test/spec/memory64/table_fill/table_fill.3.wasm:0000024: error: type mismatch in table.fill, expected [i32, externref, i32] but got [i32, i32]
  0000024: error: OnTableFillExpr callback failed
out/test/spec/memory64/table_fill.wast:167: assert_invalid passed:
  out/test/spec/memory64/table_fill/table_fill.4.wasm:0000024: error: type mismatch in table.fill, expected [i32, externref, i32] but got [i32, externref]
  0000024: error: OnTableFillExpr callback failed
out/test/spec/memory64/table_fill.wast:176: assert_invalid passed:
  out/test/spec/memory64/table_fill/table_fill.5.wasm:0000029: error: type mismatch in table.fill, expected [i32, externref, i32] but got [f32, externref, i32]
  0000029: error: OnTableFillExpr callback failed
out/test/spec/memory64/table_fill.wast:185: assert_invalid passed:
  out/test/spec/memory64/table_fill/table_fill.6.wasm:0000027: error: type mismatch in table.fill, expected [i32, funcref, i32] but got [i32, externref, i32]
  0000027: error: OnTableFillExpr callback failed
out/test/spec/memory64/table_fill.wast:194: assert_invalid passed:
  out/test/spec/memory64/table_fill/table_fill.7.wasm:0000029: error: type mismatch in table.fill, expected [i32, externref, i32] but got [i32, externref, f32]
  0000029: error: OnTableFillExpr callback failed
out/test/spec/memory64/table_fill.wast:204: assert_invalid passed:
  out/test/spec/memory64/table_fill/table_fill.8.wasm:000002a: error: type mismatch in table.fill, expected [i32, funcref, i32] but got [i32, externref, i32]
  000002a: error: OnTableFillExpr callback failed
out/test/spec/memory64/table_fill.wast:215: assert_invalid passed:
  out/test/spec/memory64/table_fill/table_fill.9.wasm:0000028: error: type mismatch in implicit return, expected [i32] but got []
  0000028: error: EndFunctionBody callback failed
80/80 tests passed.
;;; STDOUT ;;)
