;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_load32_lane.wast
;;; ARGS*: --enable-simd
(;; STDOUT ;;;
out/test/spec/simd/simd_load32_lane.wast:127: assert_invalid passed:
  error: type mismatch in v128.load32_lane, expected [i32, v128] but got [v128, i32]
  0000027: error: OnSimdLoadLaneExpr callback failed
out/test/spec/simd/simd_load32_lane.wast:133: assert_invalid passed:
  error: lane index must be less than 4 (got 4)
  0000027: error: OnSimdLoadLaneExpr callback failed
out/test/spec/simd/simd_load32_lane.wast:140: assert_invalid passed:
  error: alignment must not be larger than natural alignment (4)
  0000027: error: OnSimdLoadLaneExpr callback failed
23/23 tests passed.
;;; STDOUT ;;)
