[turbofan] Add more sanity checks to representation inference.

test/unittests/compiler/js-intrinsic-lowering-unittest.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 "src/compiler/access-builder.h"
 #include "src/compiler/diamond.h"
 #include "src/compiler/js-graph.h"
 #include "src/compiler/js-intrinsic-lowering.h"
 #include "src/compiler/js-operator.h"
 #include "test/unittests/compiler/graph-unittest.h"
@@ skipping 73 matching lines @@
 
 TEST_F(JSIntrinsicLoweringTest, InlineOptimizedDoubleLo) {
   Node* const input = Parameter(0);
   Node* const context = Parameter(1);
   Node* const effect = graph()->start();
   Node* const control = graph()->start();
   Reduction const r = Reduce(
       graph()->NewNode(javascript()->CallRuntime(Runtime::kInlineDoubleLo, 1),
                        input, context, effect, control));
   ASSERT_TRUE(r.Changed());
-  EXPECT_THAT(r.replacement(), IsFloat64ExtractLowWord32(input));
+  EXPECT_THAT(r.replacement(),
+              IsFloat64ExtractLowWord32(IsGuard(Type::Number(), input, _)));
 }
 
 
 // -----------------------------------------------------------------------------
 // %_DoubleHi
 
 
 TEST_F(JSIntrinsicLoweringTest, InlineOptimizedDoubleHi) {
   Node* const input = Parameter(0);
   Node* const context = Parameter(1);
   Node* const effect = graph()->start();
   Node* const control = graph()->start();
   Reduction const r = Reduce(
       graph()->NewNode(javascript()->CallRuntime(Runtime::kInlineDoubleHi, 1),
                        input, context, effect, control));
   ASSERT_TRUE(r.Changed());
-  EXPECT_THAT(r.replacement(), IsFloat64ExtractHighWord32(input));
+  EXPECT_THAT(r.replacement(),
+              IsFloat64ExtractHighWord32(IsGuard(Type::Number(), input, _)));
 }
 
 
 // -----------------------------------------------------------------------------
 // %_IsSmi
 
 
 TEST_F(JSIntrinsicLoweringTest, InlineIsSmi) {
   Node* const input = Parameter(0);
   Node* const context = Parameter(1);
@@ skipping 141 matching lines @@
 
 TEST_F(JSIntrinsicLoweringTest, InlineMathSqrt) {
   Node* const input = Parameter(0);
   Node* const context = Parameter(1);
   Node* const effect = graph()->start();
   Node* const control = graph()->start();
   Reduction const r = Reduce(
       graph()->NewNode(javascript()->CallRuntime(Runtime::kInlineMathSqrt, 1),
                        input, context, effect, control));
   ASSERT_TRUE(r.Changed());
-  EXPECT_THAT(r.replacement(), IsFloat64Sqrt(input));
+  EXPECT_THAT(r.replacement(),
+              IsFloat64Sqrt(IsGuard(Type::Number(), input, _)));
 }
 
 
 // -----------------------------------------------------------------------------
 // %_MathClz32
 
 TEST_F(JSIntrinsicLoweringTest, InlineMathClz32) {
   Node* const input = Parameter(0);
   Node* const context = Parameter(1);
   Node* const effect = graph()->start();
@@ skipping 62 matching lines @@
   ASSERT_TRUE(r.Changed());
   EXPECT_THAT(
       r.replacement(),
       IsLoadContext(
           ContextAccess(0, Context::ORDINARY_HAS_INSTANCE_INDEX, true), _));
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8