[wasm] Fixed FxxMin and FxxMax for cases where one operand is NaN.

test/cctest/wasm/test-run-wasm.cc

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include <stdlib.h>
 #include <string.h>
 
 #include "src/compiler/graph-visualizer.h"
 #include "src/compiler/js-graph.h"
 #include "src/compiler/wasm-compiler.h"
@@ skipping 3150 matching lines @@
   FOR_FLOAT64_INPUTS(i) { CheckDoubleEq(nearbyint(*i), r.Call(*i)); }
 }
 
 
 TEST(Run_Wasm_F32Min) {
   WasmRunner<float> r(MachineType::Float32(), MachineType::Float32());
   BUILD(r, WASM_F32_MIN(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
 
   FOR_FLOAT32_INPUTS(i) {
     FOR_FLOAT32_INPUTS(j) {
-      float expected = *i < *j ? *i : *j;
+      float expected;
+      if (*i < *j) {
+        expected = *i;
+      } else if (*j < *i) {
+        expected = *j;
+      } else if (*i != *i) {
+        // If *i or *j is NaN, then the result is NaN.
+        expected = *i;
+      } else {
+        expected = *j;
+      }
+
       CheckFloatEq(expected, r.Call(*i, *j));
     }
   }
 }
 
 
 TEST(Run_Wasm_F64Min) {
   WasmRunner<double> r(MachineType::Float64(), MachineType::Float64());
   BUILD(r, WASM_F64_MIN(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
 
   FOR_FLOAT64_INPUTS(i) {
     FOR_FLOAT64_INPUTS(j) {
-      double expected = *i < *j ? *i : *j;
+      double expected;
+      if (*i < *j) {
+        expected = *i;
+      } else if (*j < *i) {
+        expected = *j;
+      } else if (*i != *i) {
+        // If *i or *j is NaN, then the result is NaN.
+        expected = *i;
+      } else {
+        expected = *j;
+      }
+
       CheckDoubleEq(expected, r.Call(*i, *j));
     }
   }
 }
 
 
 TEST(Run_Wasm_F32Max) {
   WasmRunner<float> r(MachineType::Float32(), MachineType::Float32());
   BUILD(r, WASM_F32_MAX(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
 
   FOR_FLOAT32_INPUTS(i) {
     FOR_FLOAT32_INPUTS(j) {
-      float expected = *i > *j ? *i : *j;
+      float expected;
+      if (*i > *j) {
+        expected = *i;
+      } else if (*j > *i) {
+        expected = *j;
+      } else if (*i != *i) {
+        // If *i or *j is NaN, then the result is NaN.
+        expected = *i;
+      } else {
+        expected = *j;
+      }
+
       CheckFloatEq(expected, r.Call(*i, *j));
     }
   }
 }
 
 
 TEST(Run_Wasm_F64Max) {
   WasmRunner<double> r(MachineType::Float64(), MachineType::Float64());
   BUILD(r, WASM_F64_MAX(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
 
   FOR_FLOAT64_INPUTS(i) {
     FOR_FLOAT64_INPUTS(j) {
-      double expected = *i > *j ? *i : *j;
+      double expected;
+      if (*i > *j) {
+        expected = *i;
+      } else if (*j > *i) {
+        expected = *j;
+      } else if (*i != *i) {
+        // If *i or *j is NaN, then the result is NaN.
+        expected = *i;
+      } else {
+        expected = *j;
+      }
+
       CheckDoubleEq(expected, r.Call(*i, *j));
     }
   }
 }
 
 
 #if WASM_64
 TEST(Run_Wasm_F32SConvertI64) {
   WasmRunner<float> r(MachineType::Int64());
   BUILD(r, WASM_F32_SCONVERT_I64(WASM_GET_LOCAL(0)));
@@ skipping 36 matching lines @@
 
 
 TEST(Run_Wasm_F32CopySign) {
   WasmRunner<float> r(MachineType::Float32(), MachineType::Float32());
   BUILD(r, WASM_F32_COPYSIGN(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
 
   FOR_FLOAT32_INPUTS(i) {
     FOR_FLOAT32_INPUTS(j) { CheckFloatEq(copysign(*i, *j), r.Call(*i, *j)); }
   }
 }