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 |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
42 return; \ | 42 return; \ |
43 } while (false) | 43 } while (false) |
44 | 44 |
45 | 45 |
46 #define CHECK_BAILOUT \ | 46 #define CHECK_BAILOUT \ |
47 do { \ | 47 do { \ |
48 if (!has_supported_syntax_) return; \ | 48 if (!has_supported_syntax_) return; \ |
49 } while (false) | 49 } while (false) |
50 | 50 |
51 | 51 |
52 void FastCodeGenSyntaxChecker::Check(FunctionLiteral* fun) { | 52 void FastCodeGenSyntaxChecker::Check(FunctionLiteral* fun, |
| 53 CompilationInfo* info) { |
53 // We do not specialize if we do not have a receiver. | 54 // We do not specialize if we do not have a receiver. |
54 if (receiver().is_null()) BAILOUT("No receiver"); | 55 if (!info->has_receiver()) BAILOUT("No receiver"); |
55 | 56 |
56 // We do not support stack or heap slots (both of which require | 57 // We do not support stack or heap slots (both of which require |
57 // allocation). | 58 // allocation). |
58 Scope* scope = fun->scope(); | 59 Scope* scope = fun->scope(); |
59 if (scope->num_stack_slots() > 0) { | 60 if (scope->num_stack_slots() > 0) { |
60 BAILOUT("Function has stack-allocated locals"); | 61 BAILOUT("Function has stack-allocated locals"); |
61 } | 62 } |
62 if (scope->num_heap_slots() > 0) { | 63 if (scope->num_heap_slots() > 0) { |
63 BAILOUT("Function has context-allocated locals"); | 64 BAILOUT("Function has context-allocated locals"); |
64 } | 65 } |
(...skipping 181 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
246 } | 247 } |
247 if (!prop->key()->IsPropertyName()) { | 248 if (!prop->key()->IsPropertyName()) { |
248 BAILOUT("Non-named-property assignment"); | 249 BAILOUT("Non-named-property assignment"); |
249 } | 250 } |
250 | 251 |
251 // We will only specialize for fields on the object itself. | 252 // We will only specialize for fields on the object itself. |
252 // Expression::IsPropertyName implies that the name is a literal | 253 // Expression::IsPropertyName implies that the name is a literal |
253 // symbol but we do not assume that. | 254 // symbol but we do not assume that. |
254 Literal* key = prop->key()->AsLiteral(); | 255 Literal* key = prop->key()->AsLiteral(); |
255 if (key != NULL && key->handle()->IsString()) { | 256 if (key != NULL && key->handle()->IsString()) { |
| 257 Handle<Object> receiver = info()->receiver(); |
256 Handle<String> name = Handle<String>::cast(key->handle()); | 258 Handle<String> name = Handle<String>::cast(key->handle()); |
257 LookupResult lookup; | 259 LookupResult lookup; |
258 receiver()->Lookup(*name, &lookup); | 260 receiver->Lookup(*name, &lookup); |
259 if (lookup.holder() != *receiver()) BAILOUT("Non-own property assignment"); | 261 if (lookup.holder() != *receiver) BAILOUT("Non-own property assignment"); |
260 if (!lookup.type() == FIELD) BAILOUT("Non-field property assignment"); | 262 if (!lookup.type() == FIELD) BAILOUT("Non-field property assignment"); |
261 } else { | 263 } else { |
262 UNREACHABLE(); | 264 UNREACHABLE(); |
263 BAILOUT("Unexpected non-string-literal property key"); | 265 BAILOUT("Unexpected non-string-literal property key"); |
264 } | 266 } |
265 | 267 |
266 Visit(expr->value()); | 268 Visit(expr->value()); |
267 } | 269 } |
268 | 270 |
269 | 271 |
(...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
314 | 316 |
315 void FastCodeGenSyntaxChecker::VisitThisFunction(ThisFunction* expr) { | 317 void FastCodeGenSyntaxChecker::VisitThisFunction(ThisFunction* expr) { |
316 BAILOUT("ThisFunction"); | 318 BAILOUT("ThisFunction"); |
317 } | 319 } |
318 | 320 |
319 #undef BAILOUT | 321 #undef BAILOUT |
320 #undef CHECK_BAILOUT | 322 #undef CHECK_BAILOUT |
321 | 323 |
322 | 324 |
323 } } // namespace v8::internal | 325 } } // namespace v8::internal |
OLD | NEW |