[wasm] Add tests that pass float/double parameters directly for binops and unops.

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 <stdint.h>
 #include <stdlib.h>
 #include <string.h>
 
 #include "src/base/utils/random-number-generator.h"
 
@@ skipping 1042 matching lines @@
       } else {
         CHECK_EQ(val / denom, r.Call(val));
       }
     }
   }
 }
 #endif
 
 
 void TestFloat32Binop(WasmOpcode opcode, int32_t expected, float a, float b) {
-  WasmRunner<int32_t> r;
-  // return K op K
-  BUILD(r, WASM_BINOP(opcode, WASM_F32(a), WASM_F32(b)));
-  CHECK_EQ(expected, r.Call());
-  // TODO(titzer): test float parameters
+  {
+    WasmRunner<int32_t> r;
+    // return K op K
+    BUILD(r, WASM_BINOP(opcode, WASM_F32(a), WASM_F32(b)));
+    CHECK_EQ(expected, r.Call());
+  }
+  {
+    WasmRunner<int32_t> r(MachineType::Float32(), MachineType::Float32());
+    // return a op b
+    BUILD(r, WASM_BINOP(opcode, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
+    CHECK_EQ(expected, r.Call(a, b));
+  }
 }
 
 
 void TestFloat32BinopWithConvert(WasmOpcode opcode, int32_t expected, float a,
                                  float b) {
-  WasmRunner<int32_t> r;
-  // return int(K op K)
-  BUILD(r, WASM_I32_SCONVERT_F32(WASM_BINOP(opcode, WASM_F32(a), WASM_F32(b))));
-  CHECK_EQ(expected, r.Call());
-  // TODO(titzer): test float parameters
+  {
+    WasmRunner<int32_t> r;
+    // return int(K op K)
+    BUILD(r,
+          WASM_I32_SCONVERT_F32(WASM_BINOP(opcode, WASM_F32(a), WASM_F32(b))));
+    CHECK_EQ(expected, r.Call());
+  }
+  {
+    WasmRunner<int32_t> r(MachineType::Float32(), MachineType::Float32());
+    // return int(a op b)
+    BUILD(r, WASM_I32_SCONVERT_F32(
+                 WASM_BINOP(opcode, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))));
+    CHECK_EQ(expected, r.Call(a, b));
+  }
 }
 
 
 void TestFloat32UnopWithConvert(WasmOpcode opcode, int32_t expected, float a) {
-  WasmRunner<int32_t> r;
-  // return int(K op K)
-  BUILD(r, WASM_I32_SCONVERT_F32(WASM_UNOP(opcode, WASM_F32(a))));
-  CHECK_EQ(expected, r.Call());
-  // TODO(titzer): test float parameters
+  {
+    WasmRunner<int32_t> r;
+    // return int(op(K))
+    BUILD(r, WASM_I32_SCONVERT_F32(WASM_UNOP(opcode, WASM_F32(a))));
+    CHECK_EQ(expected, r.Call());
+  }
+  {
+    WasmRunner<int32_t> r(MachineType::Float32());
+    // return int(op(a))
+    BUILD(r, WASM_I32_SCONVERT_F32(WASM_UNOP(opcode, WASM_GET_LOCAL(0))));
+    CHECK_EQ(expected, r.Call(a));
+  }
 }
 
 
 void TestFloat64Binop(WasmOpcode opcode, int32_t expected, double a, double b) {
-  WasmRunner<int32_t> r;
-  // return K op K
-  BUILD(r, WASM_BINOP(opcode, WASM_F64(a), WASM_F64(b)));
-  CHECK_EQ(expected, r.Call());
-  // TODO(titzer): test double parameters
+  {
+    WasmRunner<int32_t> r;
+    // return K op K
+    BUILD(r, WASM_BINOP(opcode, WASM_F64(a), WASM_F64(b)));
+    CHECK_EQ(expected, r.Call());
+  }
+  {
+    WasmRunner<int32_t> r(MachineType::Float64(), MachineType::Float64());
+    // return a op b
+    BUILD(r, WASM_BINOP(opcode, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
+    CHECK_EQ(expected, r.Call(a, b));
+  }
 }
 
 
 void TestFloat64BinopWithConvert(WasmOpcode opcode, int32_t expected, double a,
                                  double b) {
-  WasmRunner<int32_t> r;
-  // return int(K op K)
-  BUILD(r, WASM_I32_SCONVERT_F64(WASM_BINOP(opcode, WASM_F64(a), WASM_F64(b))));
-  CHECK_EQ(expected, r.Call());
-  // TODO(titzer): test double parameters
+  {
+    WasmRunner<int32_t> r;
+    // return int(K op K)
+    BUILD(r,
+          WASM_I32_SCONVERT_F64(WASM_BINOP(opcode, WASM_F64(a), WASM_F64(b))));
+    CHECK_EQ(expected, r.Call());
+  }
+  {
+    WasmRunner<int32_t> r(MachineType::Float64(), MachineType::Float64());
+    BUILD(r, WASM_I32_SCONVERT_F64(
+                 WASM_BINOP(opcode, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))));
+    CHECK_EQ(expected, r.Call(a, b));
+  }
 }
 
 
 void TestFloat64UnopWithConvert(WasmOpcode opcode, int32_t expected, double a) {
-  WasmRunner<int32_t> r;
-  // return int(K op K)
-  BUILD(r, WASM_I32_SCONVERT_F64(WASM_UNOP(opcode, WASM_F64(a))));
-  CHECK_EQ(expected, r.Call());
-  // TODO(titzer): test float parameters
+  {
+    WasmRunner<int32_t> r;
+    // return int(op(K))
+    BUILD(r, WASM_I32_SCONVERT_F64(WASM_UNOP(opcode, WASM_F64(a))));
+    CHECK_EQ(expected, r.Call());
+  }
+  {
+    WasmRunner<int32_t> r(MachineType::Float64());
+    // return int(op(a))
+    BUILD(r, WASM_I32_SCONVERT_F64(WASM_UNOP(opcode, WASM_GET_LOCAL(0))));
+    CHECK_EQ(expected, r.Call(a));
+  }
 }
 
 
 // TODO(titzer): Fix for nosee4 and re-enable.
 #if 0
 
 TEST(Run_WasmFloat32Binops) {
   TestFloat32Binop(kExprF32Eq, 1, 8.125f, 8.125f);
   TestFloat32Binop(kExprF32Ne, 1, 8.125f, 8.127f);
   TestFloat32Binop(kExprF32Lt, 1, -9.5f, -9.0f);
@@ skipping 2442 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)); }
   }
 }
 
 #endif