Lines Matching refs:cache_
20 : zone_(zone), cache_(TypeCache::Get()) {
116 if (!type->Is(cache_.kInteger)) {
231 bool maybe_nan = (lhs->Maybe(cache_.kSingletonZero) &&
233 (rhs->Maybe(cache_.kSingletonZero) &&
235 if (maybe_nan) return cache_.kIntegerOrMinusZeroOrNaN; // Giving up.
236 bool maybe_minuszero = (lhs->Maybe(cache_.kSingletonZero) && rmin < 0) ||
237 (rhs->Maybe(cache_.kSingletonZero) && lmin < 0);
247 if (type->Is(Type::Null())) return cache_.kSingletonZero;
249 return Type::Union(Type::NaN(), cache_.kSingletonZero, zone());
252 if (type->Is(singleton_false_)) return cache_.kSingletonZero;
253 if (type->Is(singleton_true_)) return cache_.kSingletonOne;
254 return cache_.kZeroOrOne;
260 type = Type::Union(type, cache_.kSingletonZero, zone());
262 type = Type::Union(type, cache_.kZeroOrOne, zone());
264 type = Type::Union(type, cache_.kZeroOrOneOrNaN, zone());
284 if (type->Is(cache_.kInteger)) {
291 type = Type::Union(type, cache_.kSingletonZero, zone());
336 if (type->Is(cache_.kIntegerOrMinusZeroOrNaN)) return type;
338 return cache_.kIntegerOrMinusZeroOrNaN;
343 return cache_.kZeroToThirtyTwo;
368 if (type->Is(cache_.kIntegerOrMinusZeroOrNaN)) return type;
370 type = Type::Union(type, cache_.kInteger, zone());
401 if (type->Is(cache_.kIntegerOrMinusZeroOrNaN)) return type;
403 return cache_.kIntegerOrMinusZeroOrNaN;
408 if (type->Is(cache_.kZeroish)) return type;
413 type = cache_.kSingletonMinusOne;
415 type = cache_.kMinusOneOrZero;
417 type = cache_.kSingletonOne;
419 type = cache_.kZeroOrOne;
455 if (type->Is(cache_.kIntegerOrMinusZeroOrNaN)) return type;
457 return cache_.kIntegerOrMinusZeroOrNaN;
463 if (type->Is(cache_.kZeroish)) return singleton_false_;
474 if (type->Is(cache_.kZeroish)) return cache_.kSingletonZero;
476 return Type::Intersect(Type::Union(type, cache_.kSingletonZero, zone()),
486 if (type->Is(cache_.kZeroish)) return cache_.kSingletonZero;
488 return Type::Intersect(Type::Union(type, cache_.kSingletonZero, zone()),
497 if (type->Is(cache_.kUint8)) return type;
498 return cache_.kUint8;
525 lhs = Type::Union(lhs, cache_.kSingletonZero, zone());
530 rhs = Type::Union(rhs, cache_.kSingletonZero, zone());
540 if (lhs->Is(cache_.kInteger) && rhs->Is(cache_.kInteger)) {
573 lhs = Type::Union(lhs, cache_.kSingletonZero, zone());
574 maybe_minuszero = rhs->Maybe(cache_.kSingletonZero);
577 rhs = Type::Union(rhs, cache_.kSingletonZero, zone());
585 if (lhs->Is(cache_.kInteger) && rhs->Is(cache_.kInteger)) {
629 bool maybe_minuszero = !lhs->Is(cache_.kPositiveIntegerOrNaN) ||
630 !rhs->Is(cache_.kPositiveIntegerOrNaN);
632 lhs->Maybe(Type::NaN()) || rhs->Maybe(cache_.kZeroish) ||
649 bool maybe_nan = lhs->Maybe(Type::NaN()) || rhs->Maybe(cache_.kZeroish) ||
656 lhs = Type::Union(lhs, cache_.kSingletonZero, zone());
659 rhs = Type::Union(rhs, cache_.kSingletonZero, zone());
669 if (lhs->IsInhabited() && !rhs->Is(cache_.kSingletonZero)) {
680 if (lhs->Is(cache_.kInteger) && rhs->Is(cache_.kInteger)) {
918 if (lhs->Is(cache_.kInteger) && rhs->Is(cache_.kInteger)) {
941 if (lhs->Is(cache_.kInteger) && rhs->Is(cache_.kInteger)) {