yangguo@chromium.org | 659ceec | 2012-01-26 07:37:54 +0000 | [diff] [blame] | 1 | // Copyright 2012 the V8 project authors. All rights reserved. |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 2 | // Redistribution and use in source and binary forms, with or without |
| 3 | // modification, are permitted provided that the following conditions are |
| 4 | // met: |
| 5 | // |
| 6 | // * Redistributions of source code must retain the above copyright |
| 7 | // notice, this list of conditions and the following disclaimer. |
| 8 | // * Redistributions in binary form must reproduce the above |
| 9 | // copyright notice, this list of conditions and the following |
| 10 | // disclaimer in the documentation and/or other materials provided |
| 11 | // with the distribution. |
| 12 | // * Neither the name of Google Inc. nor the names of its |
| 13 | // contributors may be used to endorse or promote products derived |
| 14 | // from this software without specific prior written permission. |
| 15 | // |
| 16 | // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| 17 | // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
| 18 | // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
| 19 | // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
| 20 | // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| 21 | // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| 22 | // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| 23 | // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| 24 | // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| 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. |
| 27 | |
| 28 | #ifndef V8_TYPE_INFO_H_ |
| 29 | #define V8_TYPE_INFO_H_ |
| 30 | |
lrn@chromium.org | 1c09276 | 2011-05-09 09:42:16 +0000 | [diff] [blame] | 31 | #include "allocation.h" |
mstarzinger@chromium.org | 3233d2f | 2012-03-14 11:16:03 +0000 | [diff] [blame] | 32 | #include "ast.h" |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 33 | #include "globals.h" |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 34 | #include "zone-inl.h" |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 35 | |
| 36 | namespace v8 { |
| 37 | namespace internal { |
| 38 | |
whesse@chromium.org | 7b26015 | 2011-06-20 15:33:18 +0000 | [diff] [blame] | 39 | const int kMaxKeyedPolymorphism = 4; |
| 40 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 41 | // Unknown |
sgjesse@chromium.org | 8e8294a | 2011-05-02 14:30:53 +0000 | [diff] [blame] | 42 | // | \____________ |
| 43 | // | | |
| 44 | // Primitive Non-primitive |
| 45 | // | \_______ | |
| 46 | // | | | |
| 47 | // Number String | |
| 48 | // / \ | | |
| 49 | // Double Integer32 | / |
| 50 | // | | / / |
| 51 | // | Smi / / |
| 52 | // | | / __/ |
| 53 | // Uninitialized. |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 54 | |
| 55 | class TypeInfo { |
| 56 | public: |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 57 | TypeInfo() : type_(kUninitialized) { } |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 58 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 59 | static TypeInfo Unknown() { return TypeInfo(kUnknown); } |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 60 | // We know it's a primitive type. |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 61 | static TypeInfo Primitive() { return TypeInfo(kPrimitive); } |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 62 | // We know it's a number of some sort. |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 63 | static TypeInfo Number() { return TypeInfo(kNumber); } |
| 64 | // We know it's a signed 32 bit integer. |
| 65 | static TypeInfo Integer32() { return TypeInfo(kInteger32); } |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 66 | // We know it's a Smi. |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 67 | static TypeInfo Smi() { return TypeInfo(kSmi); } |
erikcorry | 0ad885c | 2011-11-21 13:51:57 +0000 | [diff] [blame] | 68 | // We know it's a Symbol. |
| 69 | static TypeInfo Symbol() { return TypeInfo(kSymbol); } |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 70 | // We know it's a heap number. |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 71 | static TypeInfo Double() { return TypeInfo(kDouble); } |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 72 | // We know it's a string. |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 73 | static TypeInfo String() { return TypeInfo(kString); } |
| 74 | // We know it's a non-primitive (object) type. |
| 75 | static TypeInfo NonPrimitive() { return TypeInfo(kNonPrimitive); } |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 76 | // We haven't started collecting info yet. |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 77 | static TypeInfo Uninitialized() { return TypeInfo(kUninitialized); } |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 78 | |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 79 | int ToInt() { |
| 80 | return type_; |
| 81 | } |
| 82 | |
| 83 | static TypeInfo FromInt(int bit_representation) { |
| 84 | Type t = static_cast<Type>(bit_representation); |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 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); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 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 | |
ricow@chromium.org | 83aa549 | 2011-02-07 12:42:56 +0000 | [diff] [blame] | 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 |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 105 | // as it is not an Integer32. |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 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; |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 110 | if (value >= kMinInt && value <= kMaxInt && |
| 111 | value == static_cast<int32_t>(value)) { |
| 112 | return true; |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 113 | } |
| 114 | return false; |
| 115 | } |
| 116 | |
ricow@chromium.org | aa1b616 | 2010-03-29 07:44:58 +0000 | [diff] [blame] | 117 | static TypeInfo TypeFromValue(Handle<Object> value); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 118 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 119 | bool Equals(const TypeInfo& other) { |
| 120 | return type_ == other.type_; |
| 121 | } |
| 122 | |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 123 | inline bool IsUnknown() { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 124 | ASSERT(type_ != kUninitialized); |
| 125 | return type_ == kUnknown; |
| 126 | } |
| 127 | |
| 128 | inline bool IsPrimitive() { |
| 129 | ASSERT(type_ != kUninitialized); |
| 130 | return ((type_ & kPrimitive) == kPrimitive); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 131 | } |
| 132 | |
| 133 | inline bool IsNumber() { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 134 | ASSERT(type_ != kUninitialized); |
| 135 | return ((type_ & kNumber) == kNumber); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 136 | } |
| 137 | |
| 138 | inline bool IsSmi() { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 139 | ASSERT(type_ != kUninitialized); |
| 140 | return ((type_ & kSmi) == kSmi); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 141 | } |
| 142 | |
erikcorry | 0ad885c | 2011-11-21 13:51:57 +0000 | [diff] [blame] | 143 | inline bool IsSymbol() { |
| 144 | ASSERT(type_ != kUninitialized); |
| 145 | return ((type_ & kSymbol) == kSymbol); |
| 146 | } |
| 147 | |
| 148 | inline bool IsNonSymbol() { |
| 149 | ASSERT(type_ != kUninitialized); |
| 150 | return ((type_ & kSymbol) == kString); |
| 151 | } |
| 152 | |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 153 | inline bool IsInteger32() { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 154 | ASSERT(type_ != kUninitialized); |
| 155 | return ((type_ & kInteger32) == kInteger32); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 156 | } |
| 157 | |
| 158 | inline bool IsDouble() { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 159 | ASSERT(type_ != kUninitialized); |
| 160 | return ((type_ & kDouble) == kDouble); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 161 | } |
| 162 | |
lrn@chromium.org | 25156de | 2010-04-06 13:10:27 +0000 | [diff] [blame] | 163 | inline bool IsString() { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 164 | ASSERT(type_ != kUninitialized); |
| 165 | return ((type_ & kString) == kString); |
| 166 | } |
| 167 | |
| 168 | inline bool IsNonPrimitive() { |
| 169 | ASSERT(type_ != kUninitialized); |
| 170 | return ((type_ & kNonPrimitive) == kNonPrimitive); |
lrn@chromium.org | 25156de | 2010-04-06 13:10:27 +0000 | [diff] [blame] | 171 | } |
| 172 | |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 173 | inline bool IsUninitialized() { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 174 | return type_ == kUninitialized; |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 175 | } |
| 176 | |
| 177 | const char* ToString() { |
| 178 | switch (type_) { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 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"; |
erikcorry | 0ad885c | 2011-11-21 13:51:57 +0000 | [diff] [blame] | 184 | case kSymbol: return "Symbol"; |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 185 | case kDouble: return "Double"; |
| 186 | case kString: return "String"; |
| 187 | case kNonPrimitive: return "Object"; |
| 188 | case kUninitialized: return "Uninitialized"; |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 189 | } |
| 190 | UNREACHABLE(); |
| 191 | return "Unreachable code"; |
| 192 | } |
| 193 | |
| 194 | private: |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 195 | enum Type { |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 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 |
erikcorry | 0ad885c | 2011-11-21 13:51:57 +0000 | [diff] [blame] | 203 | kSymbol = 0x32, // 0110010 |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 204 | kNonPrimitive = 0x40, // 1000000 |
| 205 | kUninitialized = 0x7f // 1111111 |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 206 | }; |
| 207 | explicit inline TypeInfo(Type t) : type_(t) { } |
| 208 | |
| 209 | Type type_; |
| 210 | }; |
| 211 | |
| 212 | |
erik.corry@gmail.com | 0511e24 | 2011-01-19 11:11:08 +0000 | [diff] [blame] | 213 | enum StringStubFeedback { |
| 214 | DEFAULT_STRING_STUB = 0, |
| 215 | STRING_INDEX_OUT_OF_BOUNDS = 1 |
| 216 | }; |
| 217 | |
| 218 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 219 | // Forward declarations. |
| 220 | class Assignment; |
| 221 | class BinaryOperation; |
| 222 | class Call; |
danno@chromium.org | fa458e4 | 2012-02-01 10:48:36 +0000 | [diff] [blame] | 223 | class CallNew; |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 224 | class CaseClause; |
ricow@chromium.org | ddd545c | 2011-08-24 12:02:41 +0000 | [diff] [blame] | 225 | class CompareOperation; |
| 226 | class CompilationInfo; |
| 227 | class CountOperation; |
yangguo@chromium.org | 659ceec | 2012-01-26 07:37:54 +0000 | [diff] [blame] | 228 | class Expression; |
ricow@chromium.org | ddd545c | 2011-08-24 12:02:41 +0000 | [diff] [blame] | 229 | class Property; |
| 230 | class SmallMapList; |
| 231 | class UnaryOperation; |
ulan@chromium.org | 9a21ec4 | 2012-03-06 08:42:24 +0000 | [diff] [blame] | 232 | class ForInStatement; |
ricow@chromium.org | ddd545c | 2011-08-24 12:02:41 +0000 | [diff] [blame] | 233 | |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 234 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 235 | class TypeFeedbackOracle BASE_EMBEDDED { |
| 236 | public: |
svenpanne@chromium.org | a8bb4d9 | 2011-10-10 13:20:40 +0000 | [diff] [blame] | 237 | TypeFeedbackOracle(Handle<Code> code, |
| 238 | Handle<Context> global_context, |
mmassi@chromium.org | 7028c05 | 2012-06-13 11:51:58 +0000 | [diff] [blame] | 239 | Isolate* isolate, |
| 240 | Zone* zone); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 241 | |
svenpanne@chromium.org | 6d786c9 | 2011-06-15 10:58:27 +0000 | [diff] [blame] | 242 | bool LoadIsMonomorphicNormal(Property* expr); |
jkummerow@chromium.org | 531dfe8 | 2012-03-20 13:01:16 +0000 | [diff] [blame] | 243 | bool LoadIsUninitialized(Property* expr); |
whesse@chromium.org | 7b26015 | 2011-06-20 15:33:18 +0000 | [diff] [blame] | 244 | bool LoadIsMegamorphicWithTypeInfo(Property* expr); |
svenpanne@chromium.org | 6d786c9 | 2011-06-15 10:58:27 +0000 | [diff] [blame] | 245 | bool StoreIsMonomorphicNormal(Expression* expr); |
whesse@chromium.org | 7b26015 | 2011-06-20 15:33:18 +0000 | [diff] [blame] | 246 | bool StoreIsMegamorphicWithTypeInfo(Expression* expr); |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 247 | bool CallIsMonomorphic(Call* expr); |
danno@chromium.org | fa458e4 | 2012-02-01 10:48:36 +0000 | [diff] [blame] | 248 | bool CallNewIsMonomorphic(CallNew* expr); |
mstarzinger@chromium.org | 3233d2f | 2012-03-14 11:16:03 +0000 | [diff] [blame] | 249 | bool ObjectLiteralStoreIsMonomorphic(ObjectLiteral::Property* prop); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 250 | |
ulan@chromium.org | 9a21ec4 | 2012-03-06 08:42:24 +0000 | [diff] [blame] | 251 | bool IsForInFastCase(ForInStatement* expr); |
| 252 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 253 | Handle<Map> LoadMonomorphicReceiverType(Property* expr); |
karlklose@chromium.org | 44bc708 | 2011-04-11 12:33:05 +0000 | [diff] [blame] | 254 | Handle<Map> StoreMonomorphicReceiverType(Expression* expr); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 255 | |
ricow@chromium.org | ddd545c | 2011-08-24 12:02:41 +0000 | [diff] [blame] | 256 | void LoadReceiverTypes(Property* expr, |
| 257 | Handle<String> name, |
| 258 | SmallMapList* types); |
| 259 | void StoreReceiverTypes(Assignment* expr, |
| 260 | Handle<String> name, |
| 261 | SmallMapList* types); |
| 262 | void CallReceiverTypes(Call* expr, |
| 263 | Handle<String> name, |
| 264 | CallKind call_kind, |
| 265 | SmallMapList* types); |
whesse@chromium.org | 7b26015 | 2011-06-20 15:33:18 +0000 | [diff] [blame] | 266 | void CollectKeyedReceiverTypes(unsigned ast_id, |
ricow@chromium.org | ddd545c | 2011-08-24 12:02:41 +0000 | [diff] [blame] | 267 | SmallMapList* types); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 268 | |
ricow@chromium.org | 7ad6522 | 2011-12-19 12:13:11 +0000 | [diff] [blame] | 269 | static bool CanRetainOtherContext(Map* map, Context* global_context); |
| 270 | static bool CanRetainOtherContext(JSFunction* function, |
| 271 | Context* global_context); |
| 272 | |
sgjesse@chromium.org | c6c5718 | 2011-01-17 12:24:25 +0000 | [diff] [blame] | 273 | CheckType GetCallCheckType(Call* expr); |
| 274 | Handle<JSObject> GetPrototypeForPrimitiveCheck(CheckType check); |
| 275 | |
erik.corry@gmail.com | c3b670f | 2011-10-05 21:44:48 +0000 | [diff] [blame] | 276 | Handle<JSFunction> GetCallTarget(Call* expr); |
ulan@chromium.org | 967e270 | 2012-02-28 09:49:15 +0000 | [diff] [blame] | 277 | Handle<JSFunction> GetCallNewTarget(CallNew* expr); |
erik.corry@gmail.com | c3b670f | 2011-10-05 21:44:48 +0000 | [diff] [blame] | 278 | |
mstarzinger@chromium.org | 3233d2f | 2012-03-14 11:16:03 +0000 | [diff] [blame] | 279 | Handle<Map> GetObjectLiteralStoreMap(ObjectLiteral::Property* prop); |
| 280 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 281 | bool LoadIsBuiltin(Property* expr, Builtins::Name id); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 282 | |
ricow@chromium.org | 2c99e28 | 2011-07-28 09:15:17 +0000 | [diff] [blame] | 283 | // TODO(1571) We can't use ToBooleanStub::Types as the return value because |
| 284 | // of various cylces in our headers. Death to tons of implementations in |
| 285 | // headers!! :-P |
| 286 | byte ToBooleanTypes(unsigned ast_id); |
| 287 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 288 | // Get type information for arithmetic operations and compares. |
sgjesse@chromium.org | 8e8294a | 2011-05-02 14:30:53 +0000 | [diff] [blame] | 289 | TypeInfo UnaryType(UnaryOperation* expr); |
ager@chromium.org | 378b34e | 2011-01-28 08:04:38 +0000 | [diff] [blame] | 290 | TypeInfo BinaryType(BinaryOperation* expr); |
| 291 | TypeInfo CompareType(CompareOperation* expr); |
vegorov@chromium.org | 7304bca | 2011-05-16 12:14:13 +0000 | [diff] [blame] | 292 | bool IsSymbolCompare(CompareOperation* expr); |
ricow@chromium.org | 64e3a4b | 2011-12-13 08:07:27 +0000 | [diff] [blame] | 293 | Handle<Map> GetCompareMap(CompareOperation* expr); |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 294 | TypeInfo SwitchType(CaseClause* clause); |
sgjesse@chromium.org | 8e8294a | 2011-05-02 14:30:53 +0000 | [diff] [blame] | 295 | TypeInfo IncrementType(CountOperation* expr); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 296 | |
mmassi@chromium.org | 7028c05 | 2012-06-13 11:51:58 +0000 | [diff] [blame] | 297 | Zone* zone() const { return zone_; } |
| 298 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 299 | private: |
ricow@chromium.org | ddd545c | 2011-08-24 12:02:41 +0000 | [diff] [blame] | 300 | void CollectReceiverTypes(unsigned ast_id, |
| 301 | Handle<String> name, |
| 302 | Code::Flags flags, |
| 303 | SmallMapList* types); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 304 | |
sgjesse@chromium.org | 8e8294a | 2011-05-02 14:30:53 +0000 | [diff] [blame] | 305 | void SetInfo(unsigned ast_id, Object* target); |
kmillikin@chromium.org | c36ce6e | 2011-04-04 08:25:31 +0000 | [diff] [blame] | 306 | |
whesse@chromium.org | 7b26015 | 2011-06-20 15:33:18 +0000 | [diff] [blame] | 307 | void BuildDictionary(Handle<Code> code); |
| 308 | void GetRelocInfos(Handle<Code> code, ZoneList<RelocInfo>* infos); |
| 309 | void CreateDictionary(Handle<Code> code, ZoneList<RelocInfo>* infos); |
| 310 | void RelocateRelocInfos(ZoneList<RelocInfo>* infos, |
| 311 | byte* old_start, |
| 312 | byte* new_start); |
| 313 | void ProcessRelocInfos(ZoneList<RelocInfo>* infos); |
danno@chromium.org | fa458e4 | 2012-02-01 10:48:36 +0000 | [diff] [blame] | 314 | void ProcessTypeFeedbackCells(Handle<Code> code); |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 315 | |
danno@chromium.org | 4d3fe4e | 2011-03-10 10:14:28 +0000 | [diff] [blame] | 316 | // Returns an element from the backing store. Returns undefined if |
| 317 | // there is no information. |
sgjesse@chromium.org | 8e8294a | 2011-05-02 14:30:53 +0000 | [diff] [blame] | 318 | Handle<Object> GetInfo(unsigned ast_id); |
danno@chromium.org | 4d3fe4e | 2011-03-10 10:14:28 +0000 | [diff] [blame] | 319 | |
sgjesse@chromium.org | c6c5718 | 2011-01-17 12:24:25 +0000 | [diff] [blame] | 320 | Handle<Context> global_context_; |
svenpanne@chromium.org | a8bb4d9 | 2011-10-10 13:20:40 +0000 | [diff] [blame] | 321 | Isolate* isolate_; |
erik.corry@gmail.com | f2038fb | 2012-01-16 11:42:08 +0000 | [diff] [blame] | 322 | Handle<UnseededNumberDictionary> dictionary_; |
mmassi@chromium.org | 7028c05 | 2012-06-13 11:51:58 +0000 | [diff] [blame] | 323 | Zone* zone_; |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 324 | |
kasperl@chromium.org | a555126 | 2010-12-07 12:49:48 +0000 | [diff] [blame] | 325 | DISALLOW_COPY_AND_ASSIGN(TypeFeedbackOracle); |
| 326 | }; |
sgjesse@chromium.org | df7a284 | 2010-03-25 14:34:15 +0000 | [diff] [blame] | 327 | |
| 328 | } } // namespace v8::internal |
| 329 | |
| 330 | #endif // V8_TYPE_INFO_H_ |