;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/load.wast
(;; STDOUT ;;;
out/test/spec/load.wast:214: assert_malformed passed:
  out/test/spec/load/load.1.wat:1:43: error: unexpected token "i32.load32", expected an instr.
  (memory 1)(func (param i32) (result i32) (i32.load32 (local.get 0)))
                                            ^^^^^^^^^^
out/test/spec/load.wast:221: assert_malformed passed:
  out/test/spec/load/load.2.wat:1:43: error: unexpected token "i32.load32_u", expected an instr.
  (memory 1)(func (param i32) (result i32) (i32.load32_u (local.get 0)))
                                            ^^^^^^^^^^^^
out/test/spec/load.wast:228: assert_malformed passed:
  out/test/spec/load/load.3.wat:1:43: error: unexpected token "i32.load32_s", expected an instr.
  (memory 1)(func (param i32) (result i32) (i32.load32_s (local.get 0)))
                                            ^^^^^^^^^^^^
out/test/spec/load.wast:235: assert_malformed passed:
  out/test/spec/load/load.4.wat:1:43: error: unexpected token "i32.load64", expected an instr.
  (memory 1)(func (param i32) (result i32) (i32.load64 (local.get 0)))
                                            ^^^^^^^^^^
out/test/spec/load.wast:242: assert_malformed passed:
  out/test/spec/load/load.5.wat:1:43: error: unexpected token "i32.load64_u", expected an instr.
  (memory 1)(func (param i32) (result i32) (i32.load64_u (local.get 0)))
                                            ^^^^^^^^^^^^
out/test/spec/load.wast:249: assert_malformed passed:
  out/test/spec/load/load.6.wat:1:43: error: unexpected token "i32.load64_s", expected an instr.
  (memory 1)(func (param i32) (result i32) (i32.load64_s (local.get 0)))
                                            ^^^^^^^^^^^^
out/test/spec/load.wast:257: assert_malformed passed:
  out/test/spec/load/load.7.wat:1:43: error: unexpected token "i64.load64", expected an instr.
  (memory 1)(func (param i32) (result i64) (i64.load64 (local.get 0)))
                                            ^^^^^^^^^^
out/test/spec/load.wast:264: assert_malformed passed:
  out/test/spec/load/load.8.wat:1:43: error: unexpected token "i64.load64_u", expected an instr.
  (memory 1)(func (param i32) (result i64) (i64.load64_u (local.get 0)))
                                            ^^^^^^^^^^^^
out/test/spec/load.wast:271: assert_malformed passed:
  out/test/spec/load/load.9.wat:1:43: error: unexpected token "i64.load64_s", expected an instr.
  (memory 1)(func (param i32) (result i64) (i64.load64_s (local.get 0)))
                                            ^^^^^^^^^^^^
out/test/spec/load.wast:279: assert_malformed passed:
  out/test/spec/load/load.10.wat:1:43: error: unexpected token "f32.load32", expected an instr.
  (memory 1)(func (param i32) (result f32) (f32.load32 (local.get 0)))
                                            ^^^^^^^^^^
out/test/spec/load.wast:286: assert_malformed passed:
  out/test/spec/load/load.11.wat:1:43: error: unexpected token "f32.load64", expected an instr.
  (memory 1)(func (param i32) (result f32) (f32.load64 (local.get 0)))
                                            ^^^^^^^^^^
out/test/spec/load.wast:294: assert_malformed passed:
  out/test/spec/load/load.12.wat:1:43: error: unexpected token "f64.load32", expected an instr.
  (memory 1)(func (param i32) (result f64) (f64.load32 (local.get 0)))
                                            ^^^^^^^^^^
out/test/spec/load.wast:301: assert_malformed passed:
  out/test/spec/load/load.13.wat:1:43: error: unexpected token "f64.load64", expected an instr.
  (memory 1)(func (param i32) (result f64) (f64.load64 (local.get 0)))
                                            ^^^^^^^^^^
out/test/spec/load.wast:312: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i32]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:316: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i32]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:320: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i32]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:324: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i32]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:328: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i32]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:332: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i64]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:336: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i64]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:340: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i64]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:344: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i64]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:348: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i64]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:352: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i64]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:356: assert_invalid passed:
  error: type mismatch in function, expected [] but got [i64]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:360: assert_invalid passed:
  error: type mismatch in function, expected [] but got [f32]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:364: assert_invalid passed:
  error: type mismatch in function, expected [] but got [f64]
  0000022: error: EndFunctionBody callback failed
out/test/spec/load.wast:371: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:372: assert_invalid passed:
  error: type mismatch in i32.load8_s, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:373: assert_invalid passed:
  error: type mismatch in i32.load8_u, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:374: assert_invalid passed:
  error: type mismatch in i32.load16_s, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:375: assert_invalid passed:
  error: type mismatch in i32.load16_u, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:376: assert_invalid passed:
  error: type mismatch in i64.load, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:377: assert_invalid passed:
  error: type mismatch in i64.load8_s, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:378: assert_invalid passed:
  error: type mismatch in i64.load8_u, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:379: assert_invalid passed:
  error: type mismatch in i64.load16_s, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:380: assert_invalid passed:
  error: type mismatch in i64.load16_u, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:381: assert_invalid passed:
  error: type mismatch in i64.load32_s, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:382: assert_invalid passed:
  error: type mismatch in i64.load32_u, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:383: assert_invalid passed:
  error: type mismatch in f32.load, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:384: assert_invalid passed:
  error: type mismatch in f64.load, expected [i32] but got [f32]
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:388: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  000001f: error: OnLoadExpr callback failed
out/test/spec/load.wast:397: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000023: error: OnLoadExpr callback failed
out/test/spec/load.wast:407: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000023: error: OnLoadExpr callback failed
out/test/spec/load.wast:417: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:427: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000028: error: OnLoadExpr callback failed
out/test/spec/load.wast:437: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000023: error: OnLoadExpr callback failed
out/test/spec/load.wast:447: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000023: error: OnLoadExpr callback failed
out/test/spec/load.wast:457: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000023: error: OnLoadExpr callback failed
out/test/spec/load.wast:467: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  000001f: error: OnLoadExpr callback failed
out/test/spec/load.wast:476: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  000001f: error: OnLoadExpr callback failed
out/test/spec/load.wast:485: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000025: error: OnLoadExpr callback failed
out/test/spec/load.wast:495: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  000003c: error: OnLoadExpr callback failed
out/test/spec/load.wast:512: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000021: error: OnLoadExpr callback failed
out/test/spec/load.wast:522: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000021: error: OnLoadExpr callback failed
out/test/spec/load.wast:532: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  0000027: error: OnLoadExpr callback failed
out/test/spec/load.wast:542: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  000001f: error: OnLoadExpr callback failed
out/test/spec/load.wast:551: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  000001f: error: OnLoadExpr callback failed
out/test/spec/load.wast:560: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got []
  000001f: error: OnLoadExpr callback failed
96/96 tests passed.
;;; STDOUT ;;)