;;; TOOL: run-spec-wasm2c
;;; STDIN_FILE: third_party/testsuite/simd_f64x2_pmin_pmax.wast
;;; SLOW:
(;; STDOUT ;;;
3872/3872 tests passed.
;;; STDOUT ;;)