;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i32x4_trunc_sat_f32x4.wast
;;; ARGS*: --enable-simd
(;; STDOUT ;;;
out/test/spec/simd/simd_i32x4_trunc_sat_f32x4.wast:218: assert_invalid passed:
  error: type mismatch in i32x4.trunc_sat_f32x4_s, expected [v128] but got [i32]
  000001d: error: OnConvertExpr callback failed
out/test/spec/simd/simd_i32x4_trunc_sat_f32x4.wast:219: assert_invalid passed:
  error: type mismatch in i32x4.trunc_sat_f32x4_u, expected [v128] but got [i32]
  000001d: error: OnConvertExpr callback failed
out/test/spec/simd/simd_i32x4_trunc_sat_f32x4.wast:224: assert_invalid passed:
  error: type mismatch in i32x4.trunc_sat_f32x4_s, expected [v128] but got []
  000001b: error: OnConvertExpr callback failed
out/test/spec/simd/simd_i32x4_trunc_sat_f32x4.wast:232: assert_invalid passed:
  error: type mismatch in i32x4.trunc_sat_f32x4_u, expected [v128] but got []
  000001b: error: OnConvertExpr callback failed
106/106 tests passed.
;;; STDOUT ;;)
