Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(759)

Side by Side Diff: src/type-info.h

Issue 1207006: Rename NumberInfo to TypeInfo.... (Closed) Base URL: http://v8.googlecode.com/svn/branches/bleeding_edge/
Patch Set: changed project files Created 10 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « src/register-allocator-inl.h ('k') | src/type-info-inl.h » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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
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_
OLDNEW
« no previous file with comments | « src/register-allocator-inl.h ('k') | src/type-info-inl.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698