;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/simd_f64x2.wast
(;; STDOUT ;;;
out/test/spec/simd_f64x2.wast:2387: assert_invalid passed:
  out/test/spec/simd_f64x2/simd_f64x2.1.wasm:000001d: error: type mismatch in f64x2.abs, expected [v128] but got [i32]
  000001d: error: OnUnaryExpr callback failed
out/test/spec/simd_f64x2.wast:2388: assert_invalid passed:
  out/test/spec/simd_f64x2/simd_f64x2.2.wasm:0000022: error: type mismatch in f64x2.min, expected [v128, v128] but got [i32, f32]
  0000022: error: OnBinaryExpr callback failed
out/test/spec/simd_f64x2.wast:2389: assert_invalid passed:
  out/test/spec/simd_f64x2/simd_f64x2.3.wasm:0000022: error: type mismatch in f64x2.max, expected [v128, v128] but got [i32, f32]
  0000022: error: OnBinaryExpr callback failed
out/test/spec/simd_f64x2.wast:2394: assert_invalid passed:
  out/test/spec/simd_f64x2/simd_f64x2.4.wasm:000001b: error: type mismatch in f64x2.abs, expected [v128] but got []
  000001b: error: OnUnaryExpr callback failed
out/test/spec/simd_f64x2.wast:2402: assert_invalid passed:
  out/test/spec/simd_f64x2/simd_f64x2.5.wasm:000002d: error: type mismatch in f64x2.min, expected [v128, v128] but got [v128]
  000002d: error: OnBinaryExpr callback failed
out/test/spec/simd_f64x2.wast:2410: assert_invalid passed:
  out/test/spec/simd_f64x2/simd_f64x2.6.wasm:000001b: error: type mismatch in f64x2.min, expected [v128, v128] but got []
  000001b: error: OnBinaryExpr callback failed
out/test/spec/simd_f64x2.wast:2418: assert_invalid passed:
  out/test/spec/simd_f64x2/simd_f64x2.7.wasm:000002d: error: type mismatch in f64x2.max, expected [v128, v128] but got [v128]
  000002d: error: OnBinaryExpr callback failed
out/test/spec/simd_f64x2.wast:2426: assert_invalid passed:
  out/test/spec/simd_f64x2/simd_f64x2.8.wasm:000001b: error: type mismatch in f64x2.max, expected [v128, v128] but got []
  000001b: error: OnBinaryExpr callback failed
803/803 tests passed.
;;; STDOUT ;;)