[turbofan] Insert sigma nodes for loop variable backedge.

src/compiler/operation-typer.h

 // Copyright 2016 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.
 
 #ifndef V8_COMPILER_OPERATION_TYPER_H_
 #define V8_COMPILER_OPERATION_TYPER_H_
 
 #include "src/base/flags.h"
 #include "src/compiler/opcodes.h"
 
 namespace v8 {
 namespace internal {
 
 class Isolate;
 class RangeType;
 class Type;
 class TypeCache;
 class Zone;
 
 namespace compiler {
 
+class Operator;
+
 class OperationTyper {
  public:
   OperationTyper(Isolate* isolate, Zone* zone);
 
   // Typing Phi.
   Type* Merge(Type* left, Type* right);
 
   Type* ToPrimitive(Type* type);
 
   // Helpers for number operation typing.
   Type* ToNumber(Type* type);
   Type* WeakenRange(Type* current_range, Type* previous_range);
 
 // Number unary operators.
 #define DECLARE_METHOD(Name) Type* Name(Type* type);
   SIMPLIFIED_NUMBER_UNOP_LIST(DECLARE_METHOD)
 #undef DECLARE_METHOD
 
 // Number binary operators.
 #define DECLARE_METHOD(Name) Type* Name(Type* lhs, Type* rhs);
   SIMPLIFIED_NUMBER_BINOP_LIST(DECLARE_METHOD)
   SIMPLIFIED_SPECULATIVE_NUMBER_BINOP_LIST(DECLARE_METHOD)
 #undef DECLARE_METHOD
 
+  Type* TypeTypeGuard(const Operator* sigma_op, Type* input);
+
   enum ComparisonOutcomeFlags {
     kComparisonTrue = 1,
     kComparisonFalse = 2,
     kComparisonUndefined = 4
   };
 
   Type* singleton_false() const { return singleton_false_; }
   Type* singleton_true() const { return singleton_true_; }
   Type* singleton_the_hole() const { return singleton_the_hole_; }
 
@@ skipping 20 matching lines @@
   Type* singleton_the_hole_;
   Type* signed32ish_;
   Type* unsigned32ish_;
 };
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_COMPILER_OPERATION_TYPER_H_