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

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

Issue 105313008: Delete unused TypeInfo class (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: xmas present for Sven Created 7 years 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/stub-cache.cc ('k') | src/type-info.cc » ('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 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 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
(...skipping 18 matching lines...) Expand all
29 #define V8_TYPE_INFO_H_ 29 #define V8_TYPE_INFO_H_
30 30
31 #include "allocation.h" 31 #include "allocation.h"
32 #include "globals.h" 32 #include "globals.h"
33 #include "types.h" 33 #include "types.h"
34 #include "zone-inl.h" 34 #include "zone-inl.h"
35 35
36 namespace v8 { 36 namespace v8 {
37 namespace internal { 37 namespace internal {
38 38
39 const int kMaxKeyedPolymorphism = 4;
40
41 // Unknown
42 // | \____________
43 // | |
44 // Primitive Non-primitive
45 // | \_______ |
46 // | | |
47 // Number String |
48 // / \ | |
49 // Double Integer32 | /
50 // | | / /
51 // | Smi / /
52 // | | / __/
53 // Uninitialized.
54
55 class TypeInfo {
56 public:
57 TypeInfo() : type_(kUninitialized) { }
58
59 static TypeInfo Unknown() { return TypeInfo(kUnknown); }
60 // We know it's a primitive type.
61 static TypeInfo Primitive() { return TypeInfo(kPrimitive); }
62 // We know it's a number of some sort.
63 static TypeInfo Number() { return TypeInfo(kNumber); }
64 // We know it's a signed 32 bit integer.
65 static TypeInfo Integer32() { return TypeInfo(kInteger32); }
66 // We know it's a Smi.
67 static TypeInfo Smi() { return TypeInfo(kSmi); }
68 // We know it's a heap number.
69 static TypeInfo Double() { return TypeInfo(kDouble); }
70 // We know it's a string.
71 static TypeInfo String() { return TypeInfo(kString); }
72 // We know it's an internalized string.
73 static TypeInfo InternalizedString() { return TypeInfo(kInternalizedString); }
74 // We know it's a non-primitive (object) type.
75 static TypeInfo NonPrimitive() { return TypeInfo(kNonPrimitive); }
76 // We haven't started collecting info yet.
77 static TypeInfo Uninitialized() { return TypeInfo(kUninitialized); }
78
79 int ToInt() {
80 return type_;
81 }
82
83 static TypeInfo FromInt(int bit_representation) {
84 Type t = static_cast<Type>(bit_representation);
85 ASSERT(t == kUnknown ||
86 t == kPrimitive ||
87 t == kNumber ||
88 t == kInteger32 ||
89 t == kSmi ||
90 t == kDouble ||
91 t == kString ||
92 t == kNonPrimitive);
93 return TypeInfo(t);
94 }
95
96 // Return the weakest (least precise) common type.
97 static TypeInfo Combine(TypeInfo a, TypeInfo b) {
98 return TypeInfo(static_cast<Type>(a.type_ & b.type_));
99 }
100
101
102 // Integer32 is an integer that can be represented as a signed
103 // 32-bit integer. It has to be
104 // in the range [-2^31, 2^31 - 1]. We also have to check for negative 0
105 // as it is not an Integer32.
106 static inline bool IsInt32Double(double value) {
107 const DoubleRepresentation minus_zero(-0.0);
108 DoubleRepresentation rep(value);
109 if (rep.bits == minus_zero.bits) return false;
110 if (value >= kMinInt && value <= kMaxInt &&
111 value == static_cast<int32_t>(value)) {
112 return true;
113 }
114 return false;
115 }
116
117 static TypeInfo FromValue(Handle<Object> value);
118
119 bool Equals(const TypeInfo& other) {
120 return type_ == other.type_;
121 }
122
123 inline bool IsUnknown() {
124 ASSERT(type_ != kUninitialized);
125 return type_ == kUnknown;
126 }
127
128 inline bool IsPrimitive() {
129 ASSERT(type_ != kUninitialized);
130 return ((type_ & kPrimitive) == kPrimitive);
131 }
132
133 inline bool IsNumber() {
134 ASSERT(type_ != kUninitialized);
135 return ((type_ & kNumber) == kNumber);
136 }
137
138 inline bool IsSmi() {
139 ASSERT(type_ != kUninitialized);
140 return ((type_ & kSmi) == kSmi);
141 }
142
143 inline bool IsInternalizedString() {
144 ASSERT(type_ != kUninitialized);
145 return ((type_ & kInternalizedString) == kInternalizedString);
146 }
147
148 inline bool IsNonInternalizedString() {
149 ASSERT(type_ != kUninitialized);
150 return ((type_ & kInternalizedString) == kString);
151 }
152
153 inline bool IsInteger32() {
154 ASSERT(type_ != kUninitialized);
155 return ((type_ & kInteger32) == kInteger32);
156 }
157
158 inline bool IsDouble() {
159 ASSERT(type_ != kUninitialized);
160 return ((type_ & kDouble) == kDouble);
161 }
162
163 inline bool IsString() {
164 ASSERT(type_ != kUninitialized);
165 return ((type_ & kString) == kString);
166 }
167
168 inline bool IsNonPrimitive() {
169 ASSERT(type_ != kUninitialized);
170 return ((type_ & kNonPrimitive) == kNonPrimitive);
171 }
172
173 inline bool IsUninitialized() {
174 return type_ == kUninitialized;
175 }
176
177 const char* ToString() {
178 switch (type_) {
179 case kUnknown: return "Unknown";
180 case kPrimitive: return "Primitive";
181 case kNumber: return "Number";
182 case kInteger32: return "Integer32";
183 case kSmi: return "Smi";
184 case kInternalizedString: return "InternalizedString";
185 case kDouble: return "Double";
186 case kString: return "String";
187 case kNonPrimitive: return "Object";
188 case kUninitialized: return "Uninitialized";
189 }
190 UNREACHABLE();
191 return "Unreachable code";
192 }
193
194 private:
195 enum Type {
196 kUnknown = 0, // 0000000
197 kPrimitive = 0x10, // 0010000
198 kNumber = 0x11, // 0010001
199 kInteger32 = 0x13, // 0010011
200 kSmi = 0x17, // 0010111
201 kDouble = 0x19, // 0011001
202 kString = 0x30, // 0110000
203 kInternalizedString = 0x32, // 0110010
204 kNonPrimitive = 0x40, // 1000000
205 kUninitialized = 0x7f // 1111111
206 };
207
208 explicit inline TypeInfo(Type t) : type_(t) { }
209
210 Type type_;
211 };
212
213
214 enum StringStubFeedback {
215 DEFAULT_STRING_STUB = 0,
216 STRING_INDEX_OUT_OF_BOUNDS = 1
217 };
218
219
220 // Forward declarations. 39 // Forward declarations.
221 class CompilationInfo;
222 class ICStub; 40 class ICStub;
223 class SmallMapList; 41 class SmallMapList;
224 42
225 43
226 class TypeFeedbackOracle: public ZoneObject { 44 class TypeFeedbackOracle: public ZoneObject {
227 public: 45 public:
228 TypeFeedbackOracle(Handle<Code> code, 46 TypeFeedbackOracle(Handle<Code> code,
229 Handle<Context> native_context, 47 Handle<Context> native_context,
230 Isolate* isolate, 48 Isolate* isolate,
231 Zone* zone); 49 Zone* zone);
(...skipping 105 matching lines...) Expand 10 before | Expand all | Expand 10 after
337 Isolate* isolate_; 155 Isolate* isolate_;
338 Zone* zone_; 156 Zone* zone_;
339 Handle<UnseededNumberDictionary> dictionary_; 157 Handle<UnseededNumberDictionary> dictionary_;
340 158
341 DISALLOW_COPY_AND_ASSIGN(TypeFeedbackOracle); 159 DISALLOW_COPY_AND_ASSIGN(TypeFeedbackOracle);
342 }; 160 };
343 161
344 } } // namespace v8::internal 162 } } // namespace v8::internal
345 163
346 #endif // V8_TYPE_INFO_H_ 164 #endif // V8_TYPE_INFO_H_
OLDNEW
« no previous file with comments | « src/stub-cache.cc ('k') | src/type-info.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698