| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef V8_COMPILER_TYPE_CACHE_H_ | 5 #ifndef V8_COMPILER_TYPE_CACHE_H_ |
| 6 #define V8_COMPILER_TYPE_CACHE_H_ | 6 #define V8_COMPILER_TYPE_CACHE_H_ |
| 7 | 7 |
| 8 #include "src/compiler/types.h" | 8 #include "src/compiler/types.h" |
| 9 #include "src/date.h" | 9 #include "src/date.h" |
| 10 | 10 |
| (...skipping 79 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 90 Type* const kJSArrayLengthType = Type::Unsigned32(); | 90 Type* const kJSArrayLengthType = Type::Unsigned32(); |
| 91 | 91 |
| 92 // The JSTyped::length property always contains a tagged number in the range | 92 // The JSTyped::length property always contains a tagged number in the range |
| 93 // [0, kMaxSmiValue]. | 93 // [0, kMaxSmiValue]. |
| 94 Type* const kJSTypedArrayLengthType = Type::UnsignedSmall(); | 94 Type* const kJSTypedArrayLengthType = Type::UnsignedSmall(); |
| 95 | 95 |
| 96 // The String::length property always contains a smi in the range | 96 // The String::length property always contains a smi in the range |
| 97 // [0, String::kMaxLength]. | 97 // [0, String::kMaxLength]. |
| 98 Type* const kStringLengthType = CreateRange(0.0, String::kMaxLength); | 98 Type* const kStringLengthType = CreateRange(0.0, String::kMaxLength); |
| 99 | 99 |
| 100 // A time value always contains a tagged number in the range |
| 101 // [-kMaxTimeInMs, kMaxTimeInMs]. |
| 102 Type* const kTimeValueType = |
| 103 CreateRange(-DateCache::kMaxTimeInMs, DateCache::kMaxTimeInMs); |
| 104 |
| 100 // The JSDate::day property always contains a tagged number in the range | 105 // The JSDate::day property always contains a tagged number in the range |
| 101 // [1, 31] or NaN. | 106 // [1, 31] or NaN. |
| 102 Type* const kJSDateDayType = | 107 Type* const kJSDateDayType = |
| 103 Type::Union(CreateRange(1, 31.0), Type::NaN(), zone()); | 108 Type::Union(CreateRange(1, 31.0), Type::NaN(), zone()); |
| 104 | 109 |
| 105 // The JSDate::hour property always contains a tagged number in the range | 110 // The JSDate::hour property always contains a tagged number in the range |
| 106 // [0, 23] or NaN. | 111 // [0, 23] or NaN. |
| 107 Type* const kJSDateHourType = | 112 Type* const kJSDateHourType = |
| 108 Type::Union(CreateRange(0, 23.0), Type::NaN(), zone()); | 113 Type::Union(CreateRange(0, 23.0), Type::NaN(), zone()); |
| 109 | 114 |
| 110 // The JSDate::minute property always contains a tagged number in the range | 115 // The JSDate::minute property always contains a tagged number in the range |
| 111 // [0, 59] or NaN. | 116 // [0, 59] or NaN. |
| 112 Type* const kJSDateMinuteType = | 117 Type* const kJSDateMinuteType = |
| 113 Type::Union(CreateRange(0, 59.0), Type::NaN(), zone()); | 118 Type::Union(CreateRange(0, 59.0), Type::NaN(), zone()); |
| 114 | 119 |
| 115 // The JSDate::month property always contains a tagged number in the range | 120 // The JSDate::month property always contains a tagged number in the range |
| 116 // [0, 11] or NaN. | 121 // [0, 11] or NaN. |
| 117 Type* const kJSDateMonthType = | 122 Type* const kJSDateMonthType = |
| 118 Type::Union(CreateRange(0, 11.0), Type::NaN(), zone()); | 123 Type::Union(CreateRange(0, 11.0), Type::NaN(), zone()); |
| 119 | 124 |
| 120 // The JSDate::second property always contains a tagged number in the range | 125 // The JSDate::second property always contains a tagged number in the range |
| 121 // [0, 59] or NaN. | 126 // [0, 59] or NaN. |
| 122 Type* const kJSDateSecondType = kJSDateMinuteType; | 127 Type* const kJSDateSecondType = kJSDateMinuteType; |
| 123 | 128 |
| 124 // The JSDate::value property always contains a tagged number in the range | 129 // The JSDate::value property always contains a tagged number in the range |
| 125 // [-kMaxTimeInMs, kMaxTimeInMs] or NaN. | 130 // [-kMaxTimeInMs, kMaxTimeInMs] or NaN. |
| 126 Type* const kJSDateValueType = Type::Union( | 131 Type* const kJSDateValueType = |
| 127 CreateRange(-DateCache::kMaxTimeInMs, DateCache::kMaxTimeInMs), | 132 Type::Union(kTimeValueType, Type::NaN(), zone()); |
| 128 Type::NaN(), zone()); | |
| 129 | 133 |
| 130 // The JSDate::weekday property always contains a tagged number in the range | 134 // The JSDate::weekday property always contains a tagged number in the range |
| 131 // [0, 6] or NaN. | 135 // [0, 6] or NaN. |
| 132 Type* const kJSDateWeekdayType = | 136 Type* const kJSDateWeekdayType = |
| 133 Type::Union(CreateRange(0, 6.0), Type::NaN(), zone()); | 137 Type::Union(CreateRange(0, 6.0), Type::NaN(), zone()); |
| 134 | 138 |
| 135 // The JSDate::year property always contains a tagged number in the signed | 139 // The JSDate::year property always contains a tagged number in the signed |
| 136 // small range or NaN. | 140 // small range or NaN. |
| 137 Type* const kJSDateYearType = | 141 Type* const kJSDateYearType = |
| 138 Type::Union(Type::SignedSmall(), Type::NaN(), zone()); | 142 Type::Union(Type::SignedSmall(), Type::NaN(), zone()); |
| (...skipping 10 matching lines...) Expand all Loading... |
| 149 } | 153 } |
| 150 | 154 |
| 151 Zone* zone() { return &zone_; } | 155 Zone* zone() { return &zone_; } |
| 152 }; | 156 }; |
| 153 | 157 |
| 154 } // namespace compiler | 158 } // namespace compiler |
| 155 } // namespace internal | 159 } // namespace internal |
| 156 } // namespace v8 | 160 } // namespace v8 |
| 157 | 161 |
| 158 #endif // V8_COMPILER_TYPE_CACHE_H_ | 162 #endif // V8_COMPILER_TYPE_CACHE_H_ |
| OLD | NEW |