| 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 202 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 213 | 213 |
| 214 void FastCodeGenSyntaxChecker::VisitVariableProxy(VariableProxy* expr) { | 214 void FastCodeGenSyntaxChecker::VisitVariableProxy(VariableProxy* expr) { |
| 215 // Only global variable references are supported. | 215 // Only global variable references are supported. |
| 216 Variable* var = expr->var(); | 216 Variable* var = expr->var(); |
| 217 if (!var->is_global() || var->is_this()) BAILOUT("Non-global variable"); | 217 if (!var->is_global() || var->is_this()) BAILOUT("Non-global variable"); |
| 218 | 218 |
| 219 // Check if the global variable is existing and non-deletable. | 219 // Check if the global variable is existing and non-deletable. |
| 220 if (info()->has_global_object()) { | 220 if (info()->has_global_object()) { |
| 221 LookupResult lookup; | 221 LookupResult lookup; |
| 222 info()->global_object()->Lookup(*expr->name(), &lookup); | 222 info()->global_object()->Lookup(*expr->name(), &lookup); |
| 223 if (!lookup.IsValid()) { | 223 if (!lookup.IsProperty()) { |
| 224 BAILOUT("Non-existing global variable"); | 224 BAILOUT("Non-existing global variable"); |
| 225 } | 225 } |
| 226 // We do not handle global variables with accessors or interceptors. | 226 // We do not handle global variables with accessors or interceptors. |
| 227 if (lookup.type() != NORMAL) { | 227 if (lookup.type() != NORMAL) { |
| 228 BAILOUT("Global variable with accessors or interceptors."); | 228 BAILOUT("Global variable with accessors or interceptors."); |
| 229 } | 229 } |
| 230 // We do not handle deletable global variables. | 230 // We do not handle deletable global variables. |
| 231 if (!lookup.IsDontDelete()) { | 231 if (!lookup.IsDontDelete()) { |
| 232 BAILOUT("Deletable global variable"); | 232 BAILOUT("Deletable global variable"); |
| 233 } | 233 } |
| (...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 277 | 277 |
| 278 // We will only specialize for fields on the object itself. | 278 // We will only specialize for fields on the object itself. |
| 279 // Expression::IsPropertyName implies that the name is a literal | 279 // Expression::IsPropertyName implies that the name is a literal |
| 280 // symbol but we do not assume that. | 280 // symbol but we do not assume that. |
| 281 Literal* key = prop->key()->AsLiteral(); | 281 Literal* key = prop->key()->AsLiteral(); |
| 282 if (key != NULL && key->handle()->IsString()) { | 282 if (key != NULL && key->handle()->IsString()) { |
| 283 Handle<Object> receiver = info()->receiver(); | 283 Handle<Object> receiver = info()->receiver(); |
| 284 Handle<String> name = Handle<String>::cast(key->handle()); | 284 Handle<String> name = Handle<String>::cast(key->handle()); |
| 285 LookupResult lookup; | 285 LookupResult lookup; |
| 286 receiver->Lookup(*name, &lookup); | 286 receiver->Lookup(*name, &lookup); |
| 287 if (!lookup.IsValid()) { | 287 if (!lookup.IsProperty()) { |
| 288 BAILOUT("Assigned property not found at compile time"); | 288 BAILOUT("Assigned property not found at compile time"); |
| 289 } | 289 } |
| 290 if (lookup.holder() != *receiver) BAILOUT("Non-own property assignment"); | 290 if (lookup.holder() != *receiver) BAILOUT("Non-own property assignment"); |
| 291 if (!lookup.type() == FIELD) BAILOUT("Non-field property assignment"); | 291 if (!lookup.type() == FIELD) BAILOUT("Non-field property assignment"); |
| 292 } else { | 292 } else { |
| 293 UNREACHABLE(); | 293 UNREACHABLE(); |
| 294 BAILOUT("Unexpected non-string-literal property key"); | 294 BAILOUT("Unexpected non-string-literal property key"); |
| 295 } | 295 } |
| 296 | 296 |
| 297 Visit(expr->value()); | 297 Visit(expr->value()); |
| (...skipping 17 matching lines...) Expand all Loading... |
| 315 | 315 |
| 316 // We will only specialize for fields on the object itself. | 316 // We will only specialize for fields on the object itself. |
| 317 // Expression::IsPropertyName implies that the name is a literal | 317 // Expression::IsPropertyName implies that the name is a literal |
| 318 // symbol but we do not assume that. | 318 // symbol but we do not assume that. |
| 319 Literal* key = expr->key()->AsLiteral(); | 319 Literal* key = expr->key()->AsLiteral(); |
| 320 if (key != NULL && key->handle()->IsString()) { | 320 if (key != NULL && key->handle()->IsString()) { |
| 321 Handle<Object> receiver = info()->receiver(); | 321 Handle<Object> receiver = info()->receiver(); |
| 322 Handle<String> name = Handle<String>::cast(key->handle()); | 322 Handle<String> name = Handle<String>::cast(key->handle()); |
| 323 LookupResult lookup; | 323 LookupResult lookup; |
| 324 receiver->Lookup(*name, &lookup); | 324 receiver->Lookup(*name, &lookup); |
| 325 if (!lookup.IsValid()) { | 325 if (!lookup.IsProperty()) { |
| 326 BAILOUT("Referenced property not found at compile time"); | 326 BAILOUT("Referenced property not found at compile time"); |
| 327 } | 327 } |
| 328 if (lookup.holder() != *receiver) BAILOUT("Non-own property reference"); | 328 if (lookup.holder() != *receiver) BAILOUT("Non-own property reference"); |
| 329 if (!lookup.type() == FIELD) BAILOUT("Non-field property reference"); | 329 if (!lookup.type() == FIELD) BAILOUT("Non-field property reference"); |
| 330 } else { | 330 } else { |
| 331 UNREACHABLE(); | 331 UNREACHABLE(); |
| 332 BAILOUT("Unexpected non-string-literal property key"); | 332 BAILOUT("Unexpected non-string-literal property key"); |
| 333 } | 333 } |
| 334 } | 334 } |
| 335 | 335 |
| (...skipping 243 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 579 | 579 |
| 580 | 580 |
| 581 void FastCodeGenerator::VisitVariableProxy(VariableProxy* expr) { | 581 void FastCodeGenerator::VisitVariableProxy(VariableProxy* expr) { |
| 582 ASSERT(expr->var()->is_global() && !expr->var()->is_this()); | 582 ASSERT(expr->var()->is_global() && !expr->var()->is_this()); |
| 583 // Check if we can compile a global variable load directly from the cell. | 583 // Check if we can compile a global variable load directly from the cell. |
| 584 ASSERT(info()->has_global_object()); | 584 ASSERT(info()->has_global_object()); |
| 585 LookupResult lookup; | 585 LookupResult lookup; |
| 586 info()->global_object()->Lookup(*expr->name(), &lookup); | 586 info()->global_object()->Lookup(*expr->name(), &lookup); |
| 587 // We only support normal (non-accessor/interceptor) DontDelete properties | 587 // We only support normal (non-accessor/interceptor) DontDelete properties |
| 588 // for now. | 588 // for now. |
| 589 ASSERT(lookup.IsValid()); | 589 ASSERT(lookup.IsProperty()); |
| 590 ASSERT_EQ(NORMAL, lookup.type()); | 590 ASSERT_EQ(NORMAL, lookup.type()); |
| 591 ASSERT(lookup.IsDontDelete()); | 591 ASSERT(lookup.IsDontDelete()); |
| 592 Handle<Object> cell(info()->global_object()->GetPropertyCell(&lookup)); | 592 Handle<Object> cell(info()->global_object()->GetPropertyCell(&lookup)); |
| 593 | 593 |
| 594 // Global variable lookups do not have side effects, so we do not need to | 594 // Global variable lookups do not have side effects, so we do not need to |
| 595 // emit code if we are in an effect context. | 595 // emit code if we are in an effect context. |
| 596 if (!destination().is(no_reg)) { | 596 if (!destination().is(no_reg)) { |
| 597 Comment cmnt(masm(), ";; Global"); | 597 Comment cmnt(masm(), ";; Global"); |
| 598 if (FLAG_print_ir) { | 598 if (FLAG_print_ir) { |
| 599 SmartPointer<char> name = expr->name()->ToCString(); | 599 SmartPointer<char> name = expr->name()->ToCString(); |
| (...skipping 141 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 741 | 741 |
| 742 | 742 |
| 743 void FastCodeGenerator::VisitThisFunction(ThisFunction* expr) { | 743 void FastCodeGenerator::VisitThisFunction(ThisFunction* expr) { |
| 744 UNREACHABLE(); | 744 UNREACHABLE(); |
| 745 } | 745 } |
| 746 | 746 |
| 747 #undef __ | 747 #undef __ |
| 748 | 748 |
| 749 | 749 |
| 750 } } // namespace v8::internal | 750 } } // namespace v8::internal |
| OLD | NEW |