[turbofan] Improve typing rule for modulus.

src/type-cache.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_TYPE_CACHE_H_
 #define V8_TYPE_CACHE_H_
 
 #include "src/types.h"
 
 namespace v8 {
@@ skipping 60 matching lines @@
   Type* const kAdditiveSafeIntegerOrMinusZero =
       Type::Union(kAdditiveSafeInteger, Type::MinusZero(), zone());
   Type* const kSafeIntegerOrMinusZero =
       Type::Union(kSafeInteger, Type::MinusZero(), zone());
   Type* const kPositiveSafeInteger = CreateRange(0.0, kMaxSafeInteger);
 
   Type* const kUntaggedUndefined =
       Type::Intersect(Type::Undefined(), Type::Untagged(), zone());
   Type* const kSigned32OrMinusZero =
       Type::Union(Type::Signed32(), Type::MinusZero(), zone());
+  Type* const kSigned32OrMinusZeroOrNaN =
+      Type::Union(Type::Signed32(), Type::MinusZeroOrNaN(), zone());
+  Type* const kUnsigned32OrMinusZeroOrNaN =
+      Type::Union(Type::Unsigned32(), Type::MinusZeroOrNaN(), zone());
 
   // Asm.js related types.
   Type* const kAsmSigned = kInt32;
   Type* const kAsmUnsigned = kUint32;
   Type* const kAsmInt = Type::Union(kAsmSigned, kAsmUnsigned, zone());
   Type* const kAsmFixnum = Type::Intersect(kAsmSigned, kAsmUnsigned, zone());
   Type* const kAsmFloat = kFloat32;
   Type* const kAsmDouble = kFloat64;
   Type* const kAsmFloatQ = Type::Union(kAsmFloat, kUntaggedUndefined, zone());
   Type* const kAsmDoubleQ = Type::Union(kAsmDouble, kUntaggedUndefined, zone());
@@ skipping 73 matching lines @@
     return Type::Range(min, max, zone());
   }
 
   Zone* zone() { return &zone_; }
 };
 
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_TYPE_CACHE_H_