;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/simd_i32x4_trunc_sat_f32x4.wast
(;; STDOUT ;;;
out/test/spec/simd_i32x4_trunc_sat_f32x4.wast:218: assert_invalid passed:
  out/test/spec/simd_i32x4_trunc_sat_f32x4/simd_i32x4_trunc_sat_f32x4.1.wasm:000001d: error: type mismatch in i32x4.trunc_sat_f32x4_s, expected [v128] but got [i32]
  000001d: error: OnConvertExpr callback failed
out/test/spec/simd_i32x4_trunc_sat_f32x4.wast:219: assert_invalid passed:
  out/test/spec/simd_i32x4_trunc_sat_f32x4/simd_i32x4_trunc_sat_f32x4.2.wasm:000001d: error: type mismatch in i32x4.trunc_sat_f32x4_u, expected [v128] but got [i32]
  000001d: error: OnConvertExpr callback failed
out/test/spec/simd_i32x4_trunc_sat_f32x4.wast:224: assert_invalid passed:
  out/test/spec/simd_i32x4_trunc_sat_f32x4/simd_i32x4_trunc_sat_f32x4.3.wasm:000001b: error: type mismatch in i32x4.trunc_sat_f32x4_s, expected [v128] but got []
  000001b: error: OnConvertExpr callback failed
out/test/spec/simd_i32x4_trunc_sat_f32x4.wast:232: assert_invalid passed:
  out/test/spec/simd_i32x4_trunc_sat_f32x4/simd_i32x4_trunc_sat_f32x4.4.wasm:000001b: error: type mismatch in i32x4.trunc_sat_f32x4_u, expected [v128] but got []
  000001b: error: OnConvertExpr callback failed
107/107 tests passed.
;;; STDOUT ;;)