Refine expression typing, esp. by propagating range information.

test/cctest/compiler/test-js-constant-cache.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 "src/v8.h"
 
 #include "src/compiler/js-graph.h"
 #include "src/compiler/node-properties-inl.h"
 #include "src/compiler/typer.h"
 #include "src/types.h"
@@ skipping 209 matching lines @@
   }
 }
 
 
 TEST(NumberTypes) {
   JSConstantCacheTester T;
 
   FOR_FLOAT64_INPUTS(i) {
     double value = *i;
     Node* node = T.Constant(value);
-    CHECK(T.upper(node)->Equals(Type::Of(value, T.main_zone())));
+    CHECK(T.upper(node)->Is(Type::Of(value, T.main_zone())));
   }
 }
 
 
 TEST(HeapNumbers) {
   JSConstantCacheTester T;
 
   FOR_FLOAT64_INPUTS(i) {
     double value = *i;
     Handle<Object> num = T.factory()->NewNumber(value);
@@ skipping 41 matching lines @@
   CHECK(T.upper(T.NullConstant())->Is(Type::Null()));
   CHECK(T.upper(T.ZeroConstant())->Is(Type::Number()));
   CHECK(T.upper(T.OneConstant())->Is(Type::Number()));
   CHECK(T.upper(T.NaNConstant())->Is(Type::NaN()));
 }
 
 
 TEST(ExternalReferences) {
   // TODO(titzer): test canonicalization of external references.
 }