OLD | NEW |
1 // Copyright 2010 the V8 project authors. All rights reserved. | 1 // Copyright 2010 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
11 // with the distribution. | 11 // with the distribution. |
12 // * Neither the name of Google Inc. nor the names of its | 12 // * Neither the name of Google Inc. nor the names of its |
13 // contributors may be used to endorse or promote products derived | 13 // contributors may be used to endorse or promote products derived |
14 // from this software without specific prior written permission. | 14 // from this software without specific prior written permission. |
15 // | 15 // |
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
27 | 27 |
28 #ifndef V8_NUMBER_INFO_H_ | 28 #ifndef V8_TYPE_INFO_H_ |
29 #define V8_NUMBER_INFO_H_ | 29 #define V8_TYPE_INFO_H_ |
30 | 30 |
31 #include "globals.h" | 31 #include "globals.h" |
32 | 32 |
33 namespace v8 { | 33 namespace v8 { |
34 namespace internal { | 34 namespace internal { |
35 | 35 |
36 // Unknown | 36 // Unknown |
37 // | | 37 // | |
38 // PrimitiveType | 38 // PrimitiveType |
39 // | \--------| | 39 // | \--------| |
40 // Number String | 40 // Number String |
41 // / | | | 41 // / | | |
42 // Double Integer32 | | 42 // Double Integer32 | |
43 // | | / | 43 // | | / |
44 // | Smi / | 44 // | Smi / |
45 // | / / | 45 // | / / |
46 // Uninitialized. | 46 // Uninitialized. |
47 | 47 |
48 class NumberInfo { | 48 class TypeInfo { |
49 public: | 49 public: |
50 NumberInfo() { } | 50 TypeInfo() { } |
51 | 51 |
52 static inline NumberInfo Unknown(); | 52 static inline TypeInfo Unknown(); |
53 // We know it's a primitive type. | 53 // We know it's a primitive type. |
54 static inline NumberInfo Primitive(); | 54 static inline TypeInfo Primitive(); |
55 // We know it's a number of some sort. | 55 // We know it's a number of some sort. |
56 static inline NumberInfo Number(); | 56 static inline TypeInfo Number(); |
57 // We know it's signed or unsigned 32 bit integer. | 57 // We know it's signed or unsigned 32 bit integer. |
58 static inline NumberInfo Integer32(); | 58 static inline TypeInfo Integer32(); |
59 // We know it's a Smi. | 59 // We know it's a Smi. |
60 static inline NumberInfo Smi(); | 60 static inline TypeInfo Smi(); |
61 // We know it's a heap number. | 61 // We know it's a heap number. |
62 static inline NumberInfo Double(); | 62 static inline TypeInfo Double(); |
63 // We know it's a string. | 63 // We know it's a string. |
64 static inline NumberInfo String(); | 64 static inline TypeInfo String(); |
65 // We haven't started collecting info yet. | 65 // We haven't started collecting info yet. |
66 static inline NumberInfo Uninitialized(); | 66 static inline TypeInfo Uninitialized(); |
67 | 67 |
68 // Return compact representation. Very sensitive to enum values below! | 68 // Return compact representation. Very sensitive to enum values below! |
69 // Compacting drops information about primtive types and strings types. | 69 // Compacting drops information about primtive types and strings types. |
70 // We use the compact representation when we only care about number types. | 70 // We use the compact representation when we only care about number types. |
71 int ThreeBitRepresentation() { | 71 int ThreeBitRepresentation() { |
72 ASSERT(type_ != kUninitializedType); | 72 ASSERT(type_ != kUninitializedType); |
73 int answer = type_ & 0xf; | 73 int answer = type_ & 0xf; |
74 answer = answer > 6 ? answer - 2 : answer; | 74 answer = answer > 6 ? answer - 2 : answer; |
75 ASSERT(answer >= 0); | 75 ASSERT(answer >= 0); |
76 ASSERT(answer <= 7); | 76 ASSERT(answer <= 7); |
77 return answer; | 77 return answer; |
78 } | 78 } |
79 | 79 |
80 // Decode compact representation. Very sensitive to enum values below! | 80 // Decode compact representation. Very sensitive to enum values below! |
81 static NumberInfo ExpandedRepresentation(int three_bit_representation) { | 81 static TypeInfo ExpandedRepresentation(int three_bit_representation) { |
82 Type t = static_cast<Type>(three_bit_representation >= 6 ? | 82 Type t = static_cast<Type>(three_bit_representation >= 6 ? |
83 three_bit_representation + 2 : | 83 three_bit_representation + 2 : |
84 three_bit_representation); | 84 three_bit_representation); |
85 t = (t == kUnknownType) ? t : static_cast<Type>(t | kPrimitiveType); | 85 t = (t == kUnknownType) ? t : static_cast<Type>(t | kPrimitiveType); |
86 ASSERT(t == kUnknownType || | 86 ASSERT(t == kUnknownType || |
87 t == kNumberType || | 87 t == kNumberType || |
88 t == kInteger32Type || | 88 t == kInteger32Type || |
89 t == kSmiType || | 89 t == kSmiType || |
90 t == kDoubleType); | 90 t == kDoubleType); |
91 return NumberInfo(t); | 91 return TypeInfo(t); |
92 } | 92 } |
93 | 93 |
94 int ToInt() { | 94 int ToInt() { |
95 return type_; | 95 return type_; |
96 } | 96 } |
97 | 97 |
98 static NumberInfo FromInt(int bit_representation) { | 98 static TypeInfo FromInt(int bit_representation) { |
99 Type t = static_cast<Type>(bit_representation); | 99 Type t = static_cast<Type>(bit_representation); |
100 ASSERT(t == kUnknownType || | 100 ASSERT(t == kUnknownType || |
101 t == kPrimitiveType || | 101 t == kPrimitiveType || |
102 t == kNumberType || | 102 t == kNumberType || |
103 t == kInteger32Type || | 103 t == kInteger32Type || |
104 t == kSmiType || | 104 t == kSmiType || |
105 t == kDoubleType || | 105 t == kDoubleType || |
106 t == kStringType); | 106 t == kStringType); |
107 return NumberInfo(t); | 107 return TypeInfo(t); |
108 } | 108 } |
109 | 109 |
110 // Return the weakest (least precise) common type. | 110 // Return the weakest (least precise) common type. |
111 static NumberInfo Combine(NumberInfo a, NumberInfo b) { | 111 static TypeInfo Combine(TypeInfo a, TypeInfo b) { |
112 return NumberInfo(static_cast<Type>(a.type_ & b.type_)); | 112 return TypeInfo(static_cast<Type>(a.type_ & b.type_)); |
113 } | 113 } |
114 | 114 |
115 | 115 |
116 // Integer32 is an integer that can be represented as either a signed | 116 // Integer32 is an integer that can be represented as either a signed |
117 // 32-bit integer or as an unsigned 32-bit integer. It has to be | 117 // 32-bit integer or as an unsigned 32-bit integer. It has to be |
118 // in the range [-2^31, 2^32 - 1]. We also have to check for negative 0 | 118 // in the range [-2^31, 2^32 - 1]. We also have to check for negative 0 |
119 // as it is not an Integer32. | 119 // as it is not an Integer32. |
120 static inline bool IsInt32Double(double value) { | 120 static inline bool IsInt32Double(double value) { |
121 const DoubleRepresentation minus_zero(-0.0); | 121 const DoubleRepresentation minus_zero(-0.0); |
122 DoubleRepresentation rep(value); | 122 DoubleRepresentation rep(value); |
123 if (rep.bits == minus_zero.bits) return false; | 123 if (rep.bits == minus_zero.bits) return false; |
124 if (value >= kMinInt && value <= kMaxUInt32) { | 124 if (value >= kMinInt && value <= kMaxUInt32) { |
125 if (value <= kMaxInt && value == static_cast<int32_t>(value)) { | 125 if (value <= kMaxInt && value == static_cast<int32_t>(value)) { |
126 return true; | 126 return true; |
127 } | 127 } |
128 if (value == static_cast<uint32_t>(value)) return true; | 128 if (value == static_cast<uint32_t>(value)) return true; |
129 } | 129 } |
130 return false; | 130 return false; |
131 } | 131 } |
132 | 132 |
133 static inline NumberInfo TypeFromValue(Handle<Object> value); | 133 static inline TypeInfo TypeFromValue(Handle<Object> value); |
134 | 134 |
135 inline bool IsUnknown() { | 135 inline bool IsUnknown() { |
136 return type_ == kUnknownType; | 136 return type_ == kUnknownType; |
137 } | 137 } |
138 | 138 |
139 inline bool IsNumber() { | 139 inline bool IsNumber() { |
140 ASSERT(type_ != kUninitializedType); | 140 ASSERT(type_ != kUninitializedType); |
141 return ((type_ & kNumberType) == kNumberType); | 141 return ((type_ & kNumberType) == kNumberType); |
142 } | 142 } |
143 | 143 |
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
182 enum Type { | 182 enum Type { |
183 kUnknownType = 0, // 000000 | 183 kUnknownType = 0, // 000000 |
184 kPrimitiveType = 0x10, // 010000 | 184 kPrimitiveType = 0x10, // 010000 |
185 kNumberType = 0x11, // 010001 | 185 kNumberType = 0x11, // 010001 |
186 kInteger32Type = 0x13, // 010011 | 186 kInteger32Type = 0x13, // 010011 |
187 kSmiType = 0x17, // 010111 | 187 kSmiType = 0x17, // 010111 |
188 kDoubleType = 0x19, // 011001 | 188 kDoubleType = 0x19, // 011001 |
189 kStringType = 0x30, // 110000 | 189 kStringType = 0x30, // 110000 |
190 kUninitializedType = 0x3f // 111111 | 190 kUninitializedType = 0x3f // 111111 |
191 }; | 191 }; |
192 explicit inline NumberInfo(Type t) : type_(t) { } | 192 explicit inline TypeInfo(Type t) : type_(t) { } |
193 | 193 |
194 Type type_; | 194 Type type_; |
195 }; | 195 }; |
196 | 196 |
197 | 197 |
198 NumberInfo NumberInfo::Unknown() { | 198 TypeInfo TypeInfo::Unknown() { |
199 return NumberInfo(kUnknownType); | 199 return TypeInfo(kUnknownType); |
200 } | 200 } |
201 | 201 |
202 | 202 |
203 NumberInfo NumberInfo::Primitive() { | 203 TypeInfo TypeInfo::Primitive() { |
204 return NumberInfo(kPrimitiveType); | 204 return TypeInfo(kPrimitiveType); |
205 } | 205 } |
206 | 206 |
207 | 207 |
208 NumberInfo NumberInfo::Number() { | 208 TypeInfo TypeInfo::Number() { |
209 return NumberInfo(kNumberType); | 209 return TypeInfo(kNumberType); |
210 } | 210 } |
211 | 211 |
212 | 212 |
213 NumberInfo NumberInfo::Integer32() { | 213 TypeInfo TypeInfo::Integer32() { |
214 return NumberInfo(kInteger32Type); | 214 return TypeInfo(kInteger32Type); |
215 } | 215 } |
216 | 216 |
217 | 217 |
218 NumberInfo NumberInfo::Smi() { | 218 TypeInfo TypeInfo::Smi() { |
219 return NumberInfo(kSmiType); | 219 return TypeInfo(kSmiType); |
220 } | 220 } |
221 | 221 |
222 | 222 |
223 NumberInfo NumberInfo::Double() { | 223 TypeInfo TypeInfo::Double() { |
224 return NumberInfo(kDoubleType); | 224 return TypeInfo(kDoubleType); |
225 } | 225 } |
226 | 226 |
227 | 227 |
228 NumberInfo NumberInfo::String() { | 228 TypeInfo TypeInfo::String() { |
229 return NumberInfo(kStringType); | 229 return TypeInfo(kStringType); |
230 } | 230 } |
231 | 231 |
232 | 232 |
233 NumberInfo NumberInfo::Uninitialized() { | 233 TypeInfo TypeInfo::Uninitialized() { |
234 return NumberInfo(kUninitializedType); | 234 return TypeInfo(kUninitializedType); |
235 } | 235 } |
236 | 236 |
237 } } // namespace v8::internal | 237 } } // namespace v8::internal |
238 | 238 |
239 #endif // V8_NUMBER_INFO_H_ | 239 #endif // V8_TYPE_INFO_H_ |
OLD | NEW |