[turbofan] Generalize constant propagation.

test/unittests/compiler/js-typed-lowering-unittest.cc

 // Copyright 2014 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 <climits>
+
 #include "src/compiler/access-builder.h"
 #include "src/compiler/js-graph.h"
 #include "src/compiler/js-operator.h"
 #include "src/compiler/js-typed-lowering.h"
 #include "src/compiler/machine-operator.h"
 #include "src/compiler/node-properties-inl.h"
 #include "src/compiler/typer.h"
 #include "test/unittests/compiler/compiler-test-utils.h"
 #include "test/unittests/compiler/graph-unittest.h"
 #include "test/unittests/compiler/node-test-utils.h"
+#include "testing/gmock-support.h"
+
+using testing::IsNaN;
+
 
 namespace v8 {
 namespace internal {
 namespace compiler {
 
 namespace {
 
 const ExternalArrayType kExternalArrayTypes[] = {
     kExternalUint8Array,   kExternalInt8Array,   kExternalUint16Array,
     kExternalInt16Array,   kExternalUint32Array, kExternalInt32Array,
@@ skipping 37 matching lines @@
   }
 
   JSOperatorBuilder* javascript() { return &javascript_; }
 
  private:
   JSOperatorBuilder javascript_;
 };
 
 
 // -----------------------------------------------------------------------------
+// Constant propagation
+
+
+TEST_F(JSTypedLoweringTest, ParameterWithMinusZero) {
+  Reduction r = Reduce(Parameter(Type::MinusZero()));
+  ASSERT_TRUE(r.Changed());
+  EXPECT_THAT(r.replacement(), IsNumberConstant(-0.0));
+}

[Jarin, 2015/01/05 09:41:21]

Could we have test checking that type 0 <union> -0 is not reduced?

[Benedikt Meurer, 2015/01/05 12:37:12]

Done.

+
+
+TEST_F(JSTypedLoweringTest, ParameterWithNaN) {
+  Reduction r = Reduce(Parameter(Type::NaN()));
+  ASSERT_TRUE(r.Changed());
+  EXPECT_THAT(r.replacement(), IsNumberConstant(IsNaN()));
+}
+
+
+TEST_F(JSTypedLoweringTest, ParameterWithSingletonRange) {
+  static const double kValues[] = {
+      -V8_INFINITY, INT_MIN, -1000.0, -42.0,   -1.0,     0.0,
+      1.0,          42.0,    1000.0,  INT_MAX, UINT_MAX, +V8_INFINITY};
+  TRACED_FOREACH(double, value, kValues) {
+    Handle<Object> constant = factory()->NewNumber(value);
+    Reduction r = Reduce(Parameter(Type::Range(constant, constant, zone())));
+    ASSERT_TRUE(r.Changed());
+    EXPECT_THAT(r.replacement(), IsNumberConstant(value));
+  }
+}
+
+
+// -----------------------------------------------------------------------------
 // JSToBoolean
 
 
 TEST_F(JSTypedLoweringTest, JSToBooleanWithBoolean) {
   Node* input = Parameter(Type::Boolean());
   Node* context = UndefinedConstant();
 
   Reduction r =
       Reduce(graph()->NewNode(javascript()->ToBoolean(), input, context));
   ASSERT_TRUE(r.Changed());
@@ skipping 544 matching lines @@
           IsStoreElement(
               access, IsIntPtrConstant(bit_cast<intptr_t>(&backing_store[0])),
               key, value, effect, control));
     }
   }
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8