;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/simd_load8_lane.wast
(;; STDOUT ;;;
out/test/spec/simd_load8_lane.wast:283: assert_invalid passed:
  out/test/spec/simd_load8_lane/simd_load8_lane.1.wasm:0000027: error: type mismatch in v128.load8_lane, expected [i32, v128] but got [v128, i32]
  0000027: error: OnSimdLoadLaneExpr callback failed
out/test/spec/simd_load8_lane.wast:289: assert_invalid passed:
  out/test/spec/simd_load8_lane/simd_load8_lane.2.wasm:0000027: error: lane index must be less than 16 (got 16)
  0000027: error: OnSimdLoadLaneExpr callback failed
out/test/spec/simd_load8_lane.wast:296: assert_invalid passed:
  out/test/spec/simd_load8_lane/simd_load8_lane.3.wasm:0000027: error: alignment must not be larger than natural alignment (1)
  0000027: error: OnSimdLoadLaneExpr callback failed
51/51 tests passed.
;;; STDOUT ;;)
