;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i64x2_extmul_i32x4.wast
;;; ARGS*: --enable-simd
(;; STDOUT ;;;
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:333: assert_invalid passed:
  error: type mismatch in i64x2.extmul_low_i32x4_s, expected [v128, v128] but got [i32, f32]
  0000022: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:334: assert_invalid passed:
  error: type mismatch in i64x2.extmul_high_i32x4_s, expected [v128, v128] but got [i32, f32]
  0000022: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:335: assert_invalid passed:
  error: type mismatch in i64x2.extmul_low_i32x4_u, expected [v128, v128] but got [i32, f32]
  0000022: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:336: assert_invalid passed:
  error: type mismatch in i64x2.extmul_high_i32x4_u, expected [v128, v128] but got [i32, f32]
  0000022: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:341: assert_invalid passed:
  error: type mismatch in i64x2.extmul_low_i32x4_s, expected [v128, v128] but got [v128]
  000002d: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:349: assert_invalid passed:
  error: type mismatch in i64x2.extmul_low_i32x4_s, expected [v128, v128] but got []
  000001b: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:357: assert_invalid passed:
  error: type mismatch in i64x2.extmul_high_i32x4_s, expected [v128, v128] but got [v128]
  000002d: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:365: assert_invalid passed:
  error: type mismatch in i64x2.extmul_high_i32x4_s, expected [v128, v128] but got []
  000001b: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:373: assert_invalid passed:
  error: type mismatch in i64x2.extmul_low_i32x4_u, expected [v128, v128] but got [v128]
  000002d: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:381: assert_invalid passed:
  error: type mismatch in i64x2.extmul_low_i32x4_u, expected [v128, v128] but got []
  000001b: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:389: assert_invalid passed:
  error: type mismatch in i64x2.extmul_high_i32x4_u, expected [v128, v128] but got [v128]
  000002d: error: OnBinaryExpr callback failed
out/test/spec/simd/simd_i64x2_extmul_i32x4.wast:397: assert_invalid passed:
  error: type mismatch in i64x2.extmul_high_i32x4_u, expected [v128, v128] but got []
  000001b: error: OnBinaryExpr callback failed
116/116 tests passed.
;;; STDOUT ;;)
