;;; TOOL: run-spec-wasm2c ;;; STDIN_FILE: third_party/testsuite/simd_f32x4.wast (;; STDOUT ;;; 772/772 tests passed. ;;; STDOUT ;;)