[turbofan] Slightly improve truncations for CheckBounds.

src/compiler/types.h

 // 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.
 
 #ifndef V8_COMPILER_TYPES_H_
 #define V8_COMPILER_TYPES_H_
 
 #include "src/base/compiler-specific.h"
 #include "src/conversions.h"
 #include "src/globals.h"
@@ skipping 121 matching lines @@
                                   kOtherSigned32) \
   V(Signed32OrMinusZero,          kSigned32 | kMinusZero) \
   V(Signed32OrMinusZeroOrNaN,     kSigned32 | kMinusZero | kNaN) \
   V(Negative32,                   kNegative31 | kOtherSigned32) \
   V(Unsigned31,                   kUnsigned30 | kOtherUnsigned31) \
   V(Unsigned32,                   kUnsigned30 | kOtherUnsigned31 | \
                                   kOtherUnsigned32) \
   V(Unsigned32OrMinusZero,        kUnsigned32 | kMinusZero) \
   V(Unsigned32OrMinusZeroOrNaN,   kUnsigned32 | kMinusZero | kNaN) \
   V(Integral32,                   kSigned32 | kUnsigned32) \
-  V(Integral32OrMinusZeroOrNaN,   kIntegral32 | kMinusZero | kNaN) \
+  V(Integral32OrMinusZero,        kIntegral32 | kMinusZero) \
+  V(Integral32OrMinusZeroOrNaN,   kIntegral32OrMinusZero | kNaN) \
   V(PlainNumber,                  kIntegral32 | kOtherNumber) \
   V(OrderedNumber,                kPlainNumber | kMinusZero) \
   V(MinusZeroOrNaN,               kMinusZero | kNaN) \
   V(Number,                       kOrderedNumber | kNaN) \
   V(String,                       kInternalizedString | kOtherString) \
   V(UniqueName,                   kSymbol | kInternalizedString) \
   V(Name,                         kSymbol | kString) \
   V(InternalizedStringOrNull,     kInternalizedString | kNull) \
   V(BooleanOrNumber,              kBoolean | kNumber) \
   V(BooleanOrNullOrNumber,        kBooleanOrNumber | kNull) \
@@ skipping 509 matching lines @@
                           RangeType::Limits* limits, Zone* zone);
   static Type* NormalizeUnion(Type* unioned, int size, Zone* zone);
   static Type* NormalizeRangeAndBitset(Type* range, bitset* bits, Zone* zone);
 };
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_COMPILER_TYPES_H_