| OLD | NEW |
| 1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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 219 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 230 // For named function expressions, declare the function name as a | 230 // For named function expressions, declare the function name as a |
| 231 // constant. | 231 // constant. |
| 232 if (scope()->is_function_scope() && scope()->function() != NULL) { | 232 if (scope()->is_function_scope() && scope()->function() != NULL) { |
| 233 EmitDeclaration(scope()->function(), Variable::CONST, NULL); | 233 EmitDeclaration(scope()->function(), Variable::CONST, NULL); |
| 234 } | 234 } |
| 235 VisitDeclarations(scope()->declarations()); | 235 VisitDeclarations(scope()->declarations()); |
| 236 } | 236 } |
| 237 | 237 |
| 238 { Comment cmnt(masm_, "[ Stack check"); | 238 { Comment cmnt(masm_, "[ Stack check"); |
| 239 PrepareForBailoutForId(AstNode::kFunctionEntryId, NO_REGISTERS); | 239 PrepareForBailoutForId(AstNode::kFunctionEntryId, NO_REGISTERS); |
| 240 NearLabel ok; | 240 Label ok; |
| 241 ExternalReference stack_limit = | 241 ExternalReference stack_limit = |
| 242 ExternalReference::address_of_stack_limit(isolate()); | 242 ExternalReference::address_of_stack_limit(isolate()); |
| 243 __ cmp(esp, Operand::StaticVariable(stack_limit)); | 243 __ cmp(esp, Operand::StaticVariable(stack_limit)); |
| 244 __ j(above_equal, &ok, taken); | 244 __ j(above_equal, &ok, taken, Label::kNear); |
| 245 StackCheckStub stub; | 245 StackCheckStub stub; |
| 246 __ CallStub(&stub); | 246 __ CallStub(&stub); |
| 247 __ bind(&ok); | 247 __ bind(&ok); |
| 248 } | 248 } |
| 249 | 249 |
| 250 { Comment cmnt(masm_, "[ Body"); | 250 { Comment cmnt(masm_, "[ Body"); |
| 251 ASSERT(loop_depth() == 0); | 251 ASSERT(loop_depth() == 0); |
| 252 VisitStatements(function()->body()); | 252 VisitStatements(function()->body()); |
| 253 ASSERT(loop_depth() == 0); | 253 ASSERT(loop_depth() == 0); |
| 254 } | 254 } |
| 255 } | 255 } |
| 256 | 256 |
| 257 // Always emit a 'return undefined' in case control fell off the end of | 257 // Always emit a 'return undefined' in case control fell off the end of |
| 258 // the body. | 258 // the body. |
| 259 { Comment cmnt(masm_, "[ return <undefined>;"); | 259 { Comment cmnt(masm_, "[ return <undefined>;"); |
| 260 __ mov(eax, isolate()->factory()->undefined_value()); | 260 __ mov(eax, isolate()->factory()->undefined_value()); |
| 261 EmitReturnSequence(); | 261 EmitReturnSequence(); |
| 262 } | 262 } |
| 263 } | 263 } |
| 264 | 264 |
| 265 | 265 |
| 266 void FullCodeGenerator::ClearAccumulator() { | 266 void FullCodeGenerator::ClearAccumulator() { |
| 267 __ Set(eax, Immediate(Smi::FromInt(0))); | 267 __ Set(eax, Immediate(Smi::FromInt(0))); |
| 268 } | 268 } |
| 269 | 269 |
| 270 | 270 |
| 271 void FullCodeGenerator::EmitStackCheck(IterationStatement* stmt) { | 271 void FullCodeGenerator::EmitStackCheck(IterationStatement* stmt) { |
| 272 Comment cmnt(masm_, "[ Stack check"); | 272 Comment cmnt(masm_, "[ Stack check"); |
| 273 NearLabel ok; | 273 Label ok; |
| 274 ExternalReference stack_limit = | 274 ExternalReference stack_limit = |
| 275 ExternalReference::address_of_stack_limit(isolate()); | 275 ExternalReference::address_of_stack_limit(isolate()); |
| 276 __ cmp(esp, Operand::StaticVariable(stack_limit)); | 276 __ cmp(esp, Operand::StaticVariable(stack_limit)); |
| 277 __ j(above_equal, &ok, taken); | 277 __ j(above_equal, &ok, taken, Label::kNear); |
| 278 StackCheckStub stub; | 278 StackCheckStub stub; |
| 279 __ CallStub(&stub); | 279 __ CallStub(&stub); |
| 280 // Record a mapping of this PC offset to the OSR id. This is used to find | 280 // Record a mapping of this PC offset to the OSR id. This is used to find |
| 281 // the AST id from the unoptimized code in order to use it as a key into | 281 // the AST id from the unoptimized code in order to use it as a key into |
| 282 // the deoptimization input data found in the optimized code. | 282 // the deoptimization input data found in the optimized code. |
| 283 RecordStackCheck(stmt->OsrEntryId()); | 283 RecordStackCheck(stmt->OsrEntryId()); |
| 284 | 284 |
| 285 // Loop stack checks can be patched to perform on-stack replacement. In | 285 // Loop stack checks can be patched to perform on-stack replacement. In |
| 286 // order to decide whether or not to perform OSR we embed the loop depth | 286 // order to decide whether or not to perform OSR we embed the loop depth |
| 287 // in a test instruction after the call so we can extract it from the OSR | 287 // in a test instruction after the call so we can extract it from the OSR |
| (...skipping 176 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 464 void FullCodeGenerator::EffectContext::Plug(Label* materialize_true, | 464 void FullCodeGenerator::EffectContext::Plug(Label* materialize_true, |
| 465 Label* materialize_false) const { | 465 Label* materialize_false) const { |
| 466 ASSERT(materialize_true == materialize_false); | 466 ASSERT(materialize_true == materialize_false); |
| 467 __ bind(materialize_true); | 467 __ bind(materialize_true); |
| 468 } | 468 } |
| 469 | 469 |
| 470 | 470 |
| 471 void FullCodeGenerator::AccumulatorValueContext::Plug( | 471 void FullCodeGenerator::AccumulatorValueContext::Plug( |
| 472 Label* materialize_true, | 472 Label* materialize_true, |
| 473 Label* materialize_false) const { | 473 Label* materialize_false) const { |
| 474 NearLabel done; | 474 Label done; |
| 475 __ bind(materialize_true); | 475 __ bind(materialize_true); |
| 476 __ mov(result_register(), isolate()->factory()->true_value()); | 476 __ mov(result_register(), isolate()->factory()->true_value()); |
| 477 __ jmp(&done); | 477 __ jmp(&done, Label::kNear); |
| 478 __ bind(materialize_false); | 478 __ bind(materialize_false); |
| 479 __ mov(result_register(), isolate()->factory()->false_value()); | 479 __ mov(result_register(), isolate()->factory()->false_value()); |
| 480 __ bind(&done); | 480 __ bind(&done); |
| 481 } | 481 } |
| 482 | 482 |
| 483 | 483 |
| 484 void FullCodeGenerator::StackValueContext::Plug( | 484 void FullCodeGenerator::StackValueContext::Plug( |
| 485 Label* materialize_true, | 485 Label* materialize_true, |
| 486 Label* materialize_false) const { | 486 Label* materialize_false) const { |
| 487 NearLabel done; | 487 Label done; |
| 488 __ bind(materialize_true); | 488 __ bind(materialize_true); |
| 489 __ push(Immediate(isolate()->factory()->true_value())); | 489 __ push(Immediate(isolate()->factory()->true_value())); |
| 490 __ jmp(&done); | 490 __ jmp(&done, Label::kNear); |
| 491 __ bind(materialize_false); | 491 __ bind(materialize_false); |
| 492 __ push(Immediate(isolate()->factory()->false_value())); | 492 __ push(Immediate(isolate()->factory()->false_value())); |
| 493 __ bind(&done); | 493 __ bind(&done); |
| 494 } | 494 } |
| 495 | 495 |
| 496 | 496 |
| 497 void FullCodeGenerator::TestContext::Plug(Label* materialize_true, | 497 void FullCodeGenerator::TestContext::Plug(Label* materialize_true, |
| 498 Label* materialize_false) const { | 498 Label* materialize_false) const { |
| 499 ASSERT(materialize_true == true_label_); | 499 ASSERT(materialize_true == true_label_); |
| 500 ASSERT(materialize_false == false_label_); | 500 ASSERT(materialize_false == false_label_); |
| (...skipping 119 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 620 | 620 |
| 621 void FullCodeGenerator::PrepareForBailoutBeforeSplit(State state, | 621 void FullCodeGenerator::PrepareForBailoutBeforeSplit(State state, |
| 622 bool should_normalize, | 622 bool should_normalize, |
| 623 Label* if_true, | 623 Label* if_true, |
| 624 Label* if_false) { | 624 Label* if_false) { |
| 625 // Only prepare for bailouts before splits if we're in a test | 625 // Only prepare for bailouts before splits if we're in a test |
| 626 // context. Otherwise, we let the Visit function deal with the | 626 // context. Otherwise, we let the Visit function deal with the |
| 627 // preparation to avoid preparing with the same AST id twice. | 627 // preparation to avoid preparing with the same AST id twice. |
| 628 if (!context()->IsTest() || !info_->IsOptimizable()) return; | 628 if (!context()->IsTest() || !info_->IsOptimizable()) return; |
| 629 | 629 |
| 630 NearLabel skip; | 630 Label skip; |
| 631 if (should_normalize) __ jmp(&skip); | 631 if (should_normalize) __ jmp(&skip, Label::kNear); |
| 632 | 632 |
| 633 ForwardBailoutStack* current = forward_bailout_stack_; | 633 ForwardBailoutStack* current = forward_bailout_stack_; |
| 634 while (current != NULL) { | 634 while (current != NULL) { |
| 635 PrepareForBailout(current->expr(), state); | 635 PrepareForBailout(current->expr(), state); |
| 636 current = current->parent(); | 636 current = current->parent(); |
| 637 } | 637 } |
| 638 | 638 |
| 639 if (should_normalize) { | 639 if (should_normalize) { |
| 640 __ cmp(eax, isolate()->factory()->true_value()); | 640 __ cmp(eax, isolate()->factory()->true_value()); |
| 641 Split(equal, if_true, if_false, NULL); | 641 Split(equal, if_true, if_false, NULL); |
| (...skipping 213 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 855 // Get the object to enumerate over. Both SpiderMonkey and JSC | 855 // Get the object to enumerate over. Both SpiderMonkey and JSC |
| 856 // ignore null and undefined in contrast to the specification; see | 856 // ignore null and undefined in contrast to the specification; see |
| 857 // ECMA-262 section 12.6.4. | 857 // ECMA-262 section 12.6.4. |
| 858 VisitForAccumulatorValue(stmt->enumerable()); | 858 VisitForAccumulatorValue(stmt->enumerable()); |
| 859 __ cmp(eax, isolate()->factory()->undefined_value()); | 859 __ cmp(eax, isolate()->factory()->undefined_value()); |
| 860 __ j(equal, &exit); | 860 __ j(equal, &exit); |
| 861 __ cmp(eax, isolate()->factory()->null_value()); | 861 __ cmp(eax, isolate()->factory()->null_value()); |
| 862 __ j(equal, &exit); | 862 __ j(equal, &exit); |
| 863 | 863 |
| 864 // Convert the object to a JS object. | 864 // Convert the object to a JS object. |
| 865 NearLabel convert, done_convert; | 865 Label convert, done_convert; |
| 866 __ test(eax, Immediate(kSmiTagMask)); | 866 __ test(eax, Immediate(kSmiTagMask)); |
| 867 __ j(zero, &convert); | 867 __ j(zero, &convert, Label::kNear); |
| 868 __ CmpObjectType(eax, FIRST_JS_OBJECT_TYPE, ecx); | 868 __ CmpObjectType(eax, FIRST_JS_OBJECT_TYPE, ecx); |
| 869 __ j(above_equal, &done_convert); | 869 __ j(above_equal, &done_convert, Label::kNear); |
| 870 __ bind(&convert); | 870 __ bind(&convert); |
| 871 __ push(eax); | 871 __ push(eax); |
| 872 __ InvokeBuiltin(Builtins::TO_OBJECT, CALL_FUNCTION); | 872 __ InvokeBuiltin(Builtins::TO_OBJECT, CALL_FUNCTION); |
| 873 __ bind(&done_convert); | 873 __ bind(&done_convert); |
| 874 __ push(eax); | 874 __ push(eax); |
| 875 | 875 |
| 876 // Check cache validity in generated code. This is a fast case for | 876 // Check cache validity in generated code. This is a fast case for |
| 877 // the JSObject::IsSimpleEnum cache validity checks. If we cannot | 877 // the JSObject::IsSimpleEnum cache validity checks. If we cannot |
| 878 // guarantee cache validity, call the runtime system to check cache | 878 // guarantee cache validity, call the runtime system to check cache |
| 879 // validity or get the property names in a fixed array. | 879 // validity or get the property names in a fixed array. |
| (...skipping 16 matching lines...) Expand all Loading... |
| 896 __ j(equal, &call_runtime); | 896 __ j(equal, &call_runtime); |
| 897 | 897 |
| 898 // Check that there is an enum cache in the non-empty instance | 898 // Check that there is an enum cache in the non-empty instance |
| 899 // descriptors (edx). This is the case if the next enumeration | 899 // descriptors (edx). This is the case if the next enumeration |
| 900 // index field does not contain a smi. | 900 // index field does not contain a smi. |
| 901 __ mov(edx, FieldOperand(edx, DescriptorArray::kEnumerationIndexOffset)); | 901 __ mov(edx, FieldOperand(edx, DescriptorArray::kEnumerationIndexOffset)); |
| 902 __ test(edx, Immediate(kSmiTagMask)); | 902 __ test(edx, Immediate(kSmiTagMask)); |
| 903 __ j(zero, &call_runtime); | 903 __ j(zero, &call_runtime); |
| 904 | 904 |
| 905 // For all objects but the receiver, check that the cache is empty. | 905 // For all objects but the receiver, check that the cache is empty. |
| 906 NearLabel check_prototype; | 906 Label check_prototype; |
| 907 __ cmp(ecx, Operand(eax)); | 907 __ cmp(ecx, Operand(eax)); |
| 908 __ j(equal, &check_prototype); | 908 __ j(equal, &check_prototype, Label::kNear); |
| 909 __ mov(edx, FieldOperand(edx, DescriptorArray::kEnumCacheBridgeCacheOffset)); | 909 __ mov(edx, FieldOperand(edx, DescriptorArray::kEnumCacheBridgeCacheOffset)); |
| 910 __ cmp(edx, isolate()->factory()->empty_fixed_array()); | 910 __ cmp(edx, isolate()->factory()->empty_fixed_array()); |
| 911 __ j(not_equal, &call_runtime); | 911 __ j(not_equal, &call_runtime); |
| 912 | 912 |
| 913 // Load the prototype from the map and loop if non-null. | 913 // Load the prototype from the map and loop if non-null. |
| 914 __ bind(&check_prototype); | 914 __ bind(&check_prototype); |
| 915 __ mov(ecx, FieldOperand(ebx, Map::kPrototypeOffset)); | 915 __ mov(ecx, FieldOperand(ebx, Map::kPrototypeOffset)); |
| 916 __ cmp(ecx, isolate()->factory()->null_value()); | 916 __ cmp(ecx, isolate()->factory()->null_value()); |
| 917 __ j(not_equal, &next); | 917 __ j(not_equal, &next); |
| 918 | 918 |
| 919 // The enum cache is valid. Load the map of the object being | 919 // The enum cache is valid. Load the map of the object being |
| 920 // iterated over and use the cache for the iteration. | 920 // iterated over and use the cache for the iteration. |
| 921 NearLabel use_cache; | 921 Label use_cache; |
| 922 __ mov(eax, FieldOperand(eax, HeapObject::kMapOffset)); | 922 __ mov(eax, FieldOperand(eax, HeapObject::kMapOffset)); |
| 923 __ jmp(&use_cache); | 923 __ jmp(&use_cache, Label::kNear); |
| 924 | 924 |
| 925 // Get the set of properties to enumerate. | 925 // Get the set of properties to enumerate. |
| 926 __ bind(&call_runtime); | 926 __ bind(&call_runtime); |
| 927 __ push(eax); // Duplicate the enumerable object on the stack. | 927 __ push(eax); // Duplicate the enumerable object on the stack. |
| 928 __ CallRuntime(Runtime::kGetPropertyNamesFast, 1); | 928 __ CallRuntime(Runtime::kGetPropertyNamesFast, 1); |
| 929 | 929 |
| 930 // If we got a map from the runtime call, we can do a fast | 930 // If we got a map from the runtime call, we can do a fast |
| 931 // modification check. Otherwise, we got a fixed array, and we have | 931 // modification check. Otherwise, we got a fixed array, and we have |
| 932 // to do a slow check. | 932 // to do a slow check. |
| 933 NearLabel fixed_array; | 933 Label fixed_array; |
| 934 __ cmp(FieldOperand(eax, HeapObject::kMapOffset), | 934 __ cmp(FieldOperand(eax, HeapObject::kMapOffset), |
| 935 isolate()->factory()->meta_map()); | 935 isolate()->factory()->meta_map()); |
| 936 __ j(not_equal, &fixed_array); | 936 __ j(not_equal, &fixed_array, Label::kNear); |
| 937 | 937 |
| 938 // We got a map in register eax. Get the enumeration cache from it. | 938 // We got a map in register eax. Get the enumeration cache from it. |
| 939 __ bind(&use_cache); | 939 __ bind(&use_cache); |
| 940 __ mov(ecx, FieldOperand(eax, Map::kInstanceDescriptorsOffset)); | 940 __ mov(ecx, FieldOperand(eax, Map::kInstanceDescriptorsOffset)); |
| 941 __ mov(ecx, FieldOperand(ecx, DescriptorArray::kEnumerationIndexOffset)); | 941 __ mov(ecx, FieldOperand(ecx, DescriptorArray::kEnumerationIndexOffset)); |
| 942 __ mov(edx, FieldOperand(ecx, DescriptorArray::kEnumCacheBridgeCacheOffset)); | 942 __ mov(edx, FieldOperand(ecx, DescriptorArray::kEnumCacheBridgeCacheOffset)); |
| 943 | 943 |
| 944 // Setup the four remaining stack slots. | 944 // Setup the four remaining stack slots. |
| 945 __ push(eax); // Map. | 945 __ push(eax); // Map. |
| 946 __ push(edx); // Enumeration cache. | 946 __ push(edx); // Enumeration cache. |
| (...skipping 19 matching lines...) Expand all Loading... |
| 966 // Get the current entry of the array into register ebx. | 966 // Get the current entry of the array into register ebx. |
| 967 __ mov(ebx, Operand(esp, 2 * kPointerSize)); | 967 __ mov(ebx, Operand(esp, 2 * kPointerSize)); |
| 968 __ mov(ebx, FieldOperand(ebx, eax, times_2, FixedArray::kHeaderSize)); | 968 __ mov(ebx, FieldOperand(ebx, eax, times_2, FixedArray::kHeaderSize)); |
| 969 | 969 |
| 970 // Get the expected map from the stack or a zero map in the | 970 // Get the expected map from the stack or a zero map in the |
| 971 // permanent slow case into register edx. | 971 // permanent slow case into register edx. |
| 972 __ mov(edx, Operand(esp, 3 * kPointerSize)); | 972 __ mov(edx, Operand(esp, 3 * kPointerSize)); |
| 973 | 973 |
| 974 // Check if the expected map still matches that of the enumerable. | 974 // Check if the expected map still matches that of the enumerable. |
| 975 // If not, we have to filter the key. | 975 // If not, we have to filter the key. |
| 976 NearLabel update_each; | 976 Label update_each; |
| 977 __ mov(ecx, Operand(esp, 4 * kPointerSize)); | 977 __ mov(ecx, Operand(esp, 4 * kPointerSize)); |
| 978 __ cmp(edx, FieldOperand(ecx, HeapObject::kMapOffset)); | 978 __ cmp(edx, FieldOperand(ecx, HeapObject::kMapOffset)); |
| 979 __ j(equal, &update_each); | 979 __ j(equal, &update_each, Label::kNear); |
| 980 | 980 |
| 981 // Convert the entry to a string or null if it isn't a property | 981 // Convert the entry to a string or null if it isn't a property |
| 982 // anymore. If the property has been removed while iterating, we | 982 // anymore. If the property has been removed while iterating, we |
| 983 // just skip it. | 983 // just skip it. |
| 984 __ push(ecx); // Enumerable. | 984 __ push(ecx); // Enumerable. |
| 985 __ push(ebx); // Current entry. | 985 __ push(ebx); // Current entry. |
| 986 __ InvokeBuiltin(Builtins::FILTER_KEY, CALL_FUNCTION); | 986 __ InvokeBuiltin(Builtins::FILTER_KEY, CALL_FUNCTION); |
| 987 __ test(eax, Operand(eax)); | 987 __ test(eax, Operand(eax)); |
| 988 __ j(equal, loop_statement.continue_target()); | 988 __ j(equal, loop_statement.continue_target()); |
| 989 __ mov(ebx, Operand(eax)); | 989 __ mov(ebx, Operand(eax)); |
| (...skipping 87 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1077 // If no outer scope calls eval, we do not need to check more | 1077 // If no outer scope calls eval, we do not need to check more |
| 1078 // context extensions. If we have reached an eval scope, we check | 1078 // context extensions. If we have reached an eval scope, we check |
| 1079 // all extensions from this point. | 1079 // all extensions from this point. |
| 1080 if (!s->outer_scope_calls_eval() || s->is_eval_scope()) break; | 1080 if (!s->outer_scope_calls_eval() || s->is_eval_scope()) break; |
| 1081 s = s->outer_scope(); | 1081 s = s->outer_scope(); |
| 1082 } | 1082 } |
| 1083 | 1083 |
| 1084 if (s != NULL && s->is_eval_scope()) { | 1084 if (s != NULL && s->is_eval_scope()) { |
| 1085 // Loop up the context chain. There is no frame effect so it is | 1085 // Loop up the context chain. There is no frame effect so it is |
| 1086 // safe to use raw labels here. | 1086 // safe to use raw labels here. |
| 1087 NearLabel next, fast; | 1087 Label next, fast; |
| 1088 if (!context.is(temp)) { | 1088 if (!context.is(temp)) { |
| 1089 __ mov(temp, context); | 1089 __ mov(temp, context); |
| 1090 } | 1090 } |
| 1091 __ bind(&next); | 1091 __ bind(&next); |
| 1092 // Terminate at global context. | 1092 // Terminate at global context. |
| 1093 __ cmp(FieldOperand(temp, HeapObject::kMapOffset), | 1093 __ cmp(FieldOperand(temp, HeapObject::kMapOffset), |
| 1094 Immediate(isolate()->factory()->global_context_map())); | 1094 Immediate(isolate()->factory()->global_context_map())); |
| 1095 __ j(equal, &fast); | 1095 __ j(equal, &fast, Label::kNear); |
| 1096 // Check that extension is NULL. | 1096 // Check that extension is NULL. |
| 1097 __ cmp(ContextOperand(temp, Context::EXTENSION_INDEX), Immediate(0)); | 1097 __ cmp(ContextOperand(temp, Context::EXTENSION_INDEX), Immediate(0)); |
| 1098 __ j(not_equal, slow); | 1098 __ j(not_equal, slow); |
| 1099 // Load next context in chain. | 1099 // Load next context in chain. |
| 1100 __ mov(temp, ContextOperand(temp, Context::CLOSURE_INDEX)); | 1100 __ mov(temp, ContextOperand(temp, Context::CLOSURE_INDEX)); |
| 1101 __ mov(temp, FieldOperand(temp, JSFunction::kContextOffset)); | 1101 __ mov(temp, FieldOperand(temp, JSFunction::kContextOffset)); |
| 1102 __ jmp(&next); | 1102 __ jmp(&next); |
| 1103 __ bind(&fast); | 1103 __ bind(&fast); |
| 1104 } | 1104 } |
| 1105 | 1105 |
| (...skipping 128 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1234 | 1234 |
| 1235 context()->Plug(eax); | 1235 context()->Plug(eax); |
| 1236 | 1236 |
| 1237 } else if (slot != NULL) { | 1237 } else if (slot != NULL) { |
| 1238 Comment cmnt(masm_, (slot->type() == Slot::CONTEXT) | 1238 Comment cmnt(masm_, (slot->type() == Slot::CONTEXT) |
| 1239 ? "Context slot" | 1239 ? "Context slot" |
| 1240 : "Stack slot"); | 1240 : "Stack slot"); |
| 1241 if (var->mode() == Variable::CONST) { | 1241 if (var->mode() == Variable::CONST) { |
| 1242 // Constants may be the hole value if they have not been initialized. | 1242 // Constants may be the hole value if they have not been initialized. |
| 1243 // Unhole them. | 1243 // Unhole them. |
| 1244 NearLabel done; | 1244 Label done; |
| 1245 MemOperand slot_operand = EmitSlotSearch(slot, eax); | 1245 MemOperand slot_operand = EmitSlotSearch(slot, eax); |
| 1246 __ mov(eax, slot_operand); | 1246 __ mov(eax, slot_operand); |
| 1247 __ cmp(eax, isolate()->factory()->the_hole_value()); | 1247 __ cmp(eax, isolate()->factory()->the_hole_value()); |
| 1248 __ j(not_equal, &done); | 1248 __ j(not_equal, &done, Label::kNear); |
| 1249 __ mov(eax, isolate()->factory()->undefined_value()); | 1249 __ mov(eax, isolate()->factory()->undefined_value()); |
| 1250 __ bind(&done); | 1250 __ bind(&done); |
| 1251 context()->Plug(eax); | 1251 context()->Plug(eax); |
| 1252 } else { | 1252 } else { |
| 1253 context()->Plug(slot); | 1253 context()->Plug(slot); |
| 1254 } | 1254 } |
| 1255 | 1255 |
| 1256 } else { | 1256 } else { |
| 1257 Comment cmnt(masm_, "Rewritten parameter"); | 1257 Comment cmnt(masm_, "Rewritten parameter"); |
| 1258 ASSERT_NOT_NULL(property); | 1258 ASSERT_NOT_NULL(property); |
| (...skipping 22 matching lines...) Expand all Loading... |
| 1281 EmitCallIC(ic, RelocInfo::CODE_TARGET, GetPropertyId(property)); | 1281 EmitCallIC(ic, RelocInfo::CODE_TARGET, GetPropertyId(property)); |
| 1282 | 1282 |
| 1283 // Drop key and object left on the stack by IC. | 1283 // Drop key and object left on the stack by IC. |
| 1284 context()->Plug(eax); | 1284 context()->Plug(eax); |
| 1285 } | 1285 } |
| 1286 } | 1286 } |
| 1287 | 1287 |
| 1288 | 1288 |
| 1289 void FullCodeGenerator::VisitRegExpLiteral(RegExpLiteral* expr) { | 1289 void FullCodeGenerator::VisitRegExpLiteral(RegExpLiteral* expr) { |
| 1290 Comment cmnt(masm_, "[ RegExpLiteral"); | 1290 Comment cmnt(masm_, "[ RegExpLiteral"); |
| 1291 NearLabel materialized; | 1291 Label materialized; |
| 1292 // Registers will be used as follows: | 1292 // Registers will be used as follows: |
| 1293 // edi = JS function. | 1293 // edi = JS function. |
| 1294 // ecx = literals array. | 1294 // ecx = literals array. |
| 1295 // ebx = regexp literal. | 1295 // ebx = regexp literal. |
| 1296 // eax = regexp literal clone. | 1296 // eax = regexp literal clone. |
| 1297 __ mov(edi, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset)); | 1297 __ mov(edi, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset)); |
| 1298 __ mov(ecx, FieldOperand(edi, JSFunction::kLiteralsOffset)); | 1298 __ mov(ecx, FieldOperand(edi, JSFunction::kLiteralsOffset)); |
| 1299 int literal_offset = | 1299 int literal_offset = |
| 1300 FixedArray::kHeaderSize + expr->literal_index() * kPointerSize; | 1300 FixedArray::kHeaderSize + expr->literal_index() * kPointerSize; |
| 1301 __ mov(ebx, FieldOperand(ecx, literal_offset)); | 1301 __ mov(ebx, FieldOperand(ecx, literal_offset)); |
| 1302 __ cmp(ebx, isolate()->factory()->undefined_value()); | 1302 __ cmp(ebx, isolate()->factory()->undefined_value()); |
| 1303 __ j(not_equal, &materialized); | 1303 __ j(not_equal, &materialized, Label::kNear); |
| 1304 | 1304 |
| 1305 // Create regexp literal using runtime function | 1305 // Create regexp literal using runtime function |
| 1306 // Result will be in eax. | 1306 // Result will be in eax. |
| 1307 __ push(ecx); | 1307 __ push(ecx); |
| 1308 __ push(Immediate(Smi::FromInt(expr->literal_index()))); | 1308 __ push(Immediate(Smi::FromInt(expr->literal_index()))); |
| 1309 __ push(Immediate(expr->pattern())); | 1309 __ push(Immediate(expr->pattern())); |
| 1310 __ push(Immediate(expr->flags())); | 1310 __ push(Immediate(expr->flags())); |
| 1311 __ CallRuntime(Runtime::kMaterializeRegExpLiteral, 4); | 1311 __ CallRuntime(Runtime::kMaterializeRegExpLiteral, 4); |
| 1312 __ mov(ebx, eax); | 1312 __ mov(ebx, eax); |
| 1313 | 1313 |
| (...skipping 336 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1650 } | 1650 } |
| 1651 | 1651 |
| 1652 | 1652 |
| 1653 void FullCodeGenerator::EmitInlineSmiBinaryOp(BinaryOperation* expr, | 1653 void FullCodeGenerator::EmitInlineSmiBinaryOp(BinaryOperation* expr, |
| 1654 Token::Value op, | 1654 Token::Value op, |
| 1655 OverwriteMode mode, | 1655 OverwriteMode mode, |
| 1656 Expression* left, | 1656 Expression* left, |
| 1657 Expression* right) { | 1657 Expression* right) { |
| 1658 // Do combined smi check of the operands. Left operand is on the | 1658 // Do combined smi check of the operands. Left operand is on the |
| 1659 // stack. Right operand is in eax. | 1659 // stack. Right operand is in eax. |
| 1660 NearLabel done, smi_case, stub_call; | 1660 NearLabel smi_case; |
| 1661 Label done, stub_call; |
| 1661 __ pop(edx); | 1662 __ pop(edx); |
| 1662 __ mov(ecx, eax); | 1663 __ mov(ecx, eax); |
| 1663 __ or_(eax, Operand(edx)); | 1664 __ or_(eax, Operand(edx)); |
| 1664 JumpPatchSite patch_site(masm_); | 1665 JumpPatchSite patch_site(masm_); |
| 1665 patch_site.EmitJumpIfSmi(eax, &smi_case); | 1666 patch_site.EmitJumpIfSmi(eax, &smi_case); |
| 1666 | 1667 |
| 1667 __ bind(&stub_call); | 1668 __ bind(&stub_call); |
| 1668 __ mov(eax, ecx); | 1669 __ mov(eax, ecx); |
| 1669 TypeRecordingBinaryOpStub stub(op, mode); | 1670 TypeRecordingBinaryOpStub stub(op, mode); |
| 1670 EmitCallIC(stub.GetCode(), &patch_site, expr->id()); | 1671 EmitCallIC(stub.GetCode(), &patch_site, expr->id()); |
| 1671 __ jmp(&done); | 1672 __ jmp(&done, Label::kNear); |
| 1672 | 1673 |
| 1673 // Smi case. | 1674 // Smi case. |
| 1674 __ bind(&smi_case); | 1675 __ bind(&smi_case); |
| 1675 __ mov(eax, edx); // Copy left operand in case of a stub call. | 1676 __ mov(eax, edx); // Copy left operand in case of a stub call. |
| 1676 | 1677 |
| 1677 switch (op) { | 1678 switch (op) { |
| 1678 case Token::SAR: | 1679 case Token::SAR: |
| 1679 __ SmiUntag(eax); | 1680 __ SmiUntag(eax); |
| 1680 __ SmiUntag(ecx); | 1681 __ SmiUntag(ecx); |
| 1681 __ sar_cl(eax); // No checks of result necessary | 1682 __ sar_cl(eax); // No checks of result necessary |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1714 break; | 1715 break; |
| 1715 case Token::SUB: | 1716 case Token::SUB: |
| 1716 __ sub(eax, Operand(ecx)); | 1717 __ sub(eax, Operand(ecx)); |
| 1717 __ j(overflow, &stub_call); | 1718 __ j(overflow, &stub_call); |
| 1718 break; | 1719 break; |
| 1719 case Token::MUL: { | 1720 case Token::MUL: { |
| 1720 __ SmiUntag(eax); | 1721 __ SmiUntag(eax); |
| 1721 __ imul(eax, Operand(ecx)); | 1722 __ imul(eax, Operand(ecx)); |
| 1722 __ j(overflow, &stub_call); | 1723 __ j(overflow, &stub_call); |
| 1723 __ test(eax, Operand(eax)); | 1724 __ test(eax, Operand(eax)); |
| 1724 __ j(not_zero, &done, taken); | 1725 __ j(not_zero, &done, taken, Label::kNear); |
| 1725 __ mov(ebx, edx); | 1726 __ mov(ebx, edx); |
| 1726 __ or_(ebx, Operand(ecx)); | 1727 __ or_(ebx, Operand(ecx)); |
| 1727 __ j(negative, &stub_call); | 1728 __ j(negative, &stub_call); |
| 1728 break; | 1729 break; |
| 1729 } | 1730 } |
| 1730 case Token::BIT_OR: | 1731 case Token::BIT_OR: |
| 1731 __ or_(eax, Operand(ecx)); | 1732 __ or_(eax, Operand(ecx)); |
| 1732 break; | 1733 break; |
| 1733 case Token::BIT_AND: | 1734 case Token::BIT_AND: |
| 1734 __ and_(eax, Operand(ecx)); | 1735 __ and_(eax, Operand(ecx)); |
| (...skipping 1101 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2836 __ CallStub(&stub); | 2837 __ CallStub(&stub); |
| 2837 context()->Plug(eax); | 2838 context()->Plug(eax); |
| 2838 } | 2839 } |
| 2839 | 2840 |
| 2840 | 2841 |
| 2841 void FullCodeGenerator::EmitValueOf(ZoneList<Expression*>* args) { | 2842 void FullCodeGenerator::EmitValueOf(ZoneList<Expression*>* args) { |
| 2842 ASSERT(args->length() == 1); | 2843 ASSERT(args->length() == 1); |
| 2843 | 2844 |
| 2844 VisitForAccumulatorValue(args->at(0)); // Load the object. | 2845 VisitForAccumulatorValue(args->at(0)); // Load the object. |
| 2845 | 2846 |
| 2846 NearLabel done; | 2847 Label done; |
| 2847 // If the object is a smi return the object. | 2848 // If the object is a smi return the object. |
| 2848 __ test(eax, Immediate(kSmiTagMask)); | 2849 __ test(eax, Immediate(kSmiTagMask)); |
| 2849 __ j(zero, &done); | 2850 __ j(zero, &done, Label::kNear); |
| 2850 // If the object is not a value type, return the object. | 2851 // If the object is not a value type, return the object. |
| 2851 __ CmpObjectType(eax, JS_VALUE_TYPE, ebx); | 2852 __ CmpObjectType(eax, JS_VALUE_TYPE, ebx); |
| 2852 __ j(not_equal, &done); | 2853 __ j(not_equal, &done, Label::kNear); |
| 2853 __ mov(eax, FieldOperand(eax, JSValue::kValueOffset)); | 2854 __ mov(eax, FieldOperand(eax, JSValue::kValueOffset)); |
| 2854 | 2855 |
| 2855 __ bind(&done); | 2856 __ bind(&done); |
| 2856 context()->Plug(eax); | 2857 context()->Plug(eax); |
| 2857 } | 2858 } |
| 2858 | 2859 |
| 2859 | 2860 |
| 2860 void FullCodeGenerator::EmitMathPow(ZoneList<Expression*>* args) { | 2861 void FullCodeGenerator::EmitMathPow(ZoneList<Expression*>* args) { |
| 2861 // Load the arguments on the stack and call the runtime function. | 2862 // Load the arguments on the stack and call the runtime function. |
| 2862 ASSERT(args->length() == 2); | 2863 ASSERT(args->length() == 2); |
| (...skipping 10 matching lines...) Expand all Loading... |
| 2873 } | 2874 } |
| 2874 | 2875 |
| 2875 | 2876 |
| 2876 void FullCodeGenerator::EmitSetValueOf(ZoneList<Expression*>* args) { | 2877 void FullCodeGenerator::EmitSetValueOf(ZoneList<Expression*>* args) { |
| 2877 ASSERT(args->length() == 2); | 2878 ASSERT(args->length() == 2); |
| 2878 | 2879 |
| 2879 VisitForStackValue(args->at(0)); // Load the object. | 2880 VisitForStackValue(args->at(0)); // Load the object. |
| 2880 VisitForAccumulatorValue(args->at(1)); // Load the value. | 2881 VisitForAccumulatorValue(args->at(1)); // Load the value. |
| 2881 __ pop(ebx); // eax = value. ebx = object. | 2882 __ pop(ebx); // eax = value. ebx = object. |
| 2882 | 2883 |
| 2883 NearLabel done; | 2884 Label done; |
| 2884 // If the object is a smi, return the value. | 2885 // If the object is a smi, return the value. |
| 2885 __ test(ebx, Immediate(kSmiTagMask)); | 2886 __ test(ebx, Immediate(kSmiTagMask)); |
| 2886 __ j(zero, &done); | 2887 __ j(zero, &done, Label::kNear); |
| 2887 | 2888 |
| 2888 // If the object is not a value type, return the value. | 2889 // If the object is not a value type, return the value. |
| 2889 __ CmpObjectType(ebx, JS_VALUE_TYPE, ecx); | 2890 __ CmpObjectType(ebx, JS_VALUE_TYPE, ecx); |
| 2890 __ j(not_equal, &done); | 2891 __ j(not_equal, &done, Label::kNear); |
| 2891 | 2892 |
| 2892 // Store the value. | 2893 // Store the value. |
| 2893 __ mov(FieldOperand(ebx, JSValue::kValueOffset), eax); | 2894 __ mov(FieldOperand(ebx, JSValue::kValueOffset), eax); |
| 2894 // Update the write barrier. Save the value as it will be | 2895 // Update the write barrier. Save the value as it will be |
| 2895 // overwritten by the write barrier code and is needed afterward. | 2896 // overwritten by the write barrier code and is needed afterward. |
| 2896 __ mov(edx, eax); | 2897 __ mov(edx, eax); |
| 2897 __ RecordWrite(ebx, JSValue::kValueOffset, edx, ecx); | 2898 __ RecordWrite(ebx, JSValue::kValueOffset, edx, ecx); |
| 2898 | 2899 |
| 2899 __ bind(&done); | 2900 __ bind(&done); |
| 2900 context()->Plug(eax); | 2901 context()->Plug(eax); |
| (...skipping 921 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3822 | 3823 |
| 3823 // We need a second deoptimization point after loading the value | 3824 // We need a second deoptimization point after loading the value |
| 3824 // in case evaluating the property load my have a side effect. | 3825 // in case evaluating the property load my have a side effect. |
| 3825 if (assign_type == VARIABLE) { | 3826 if (assign_type == VARIABLE) { |
| 3826 PrepareForBailout(expr->expression(), TOS_REG); | 3827 PrepareForBailout(expr->expression(), TOS_REG); |
| 3827 } else { | 3828 } else { |
| 3828 PrepareForBailoutForId(expr->CountId(), TOS_REG); | 3829 PrepareForBailoutForId(expr->CountId(), TOS_REG); |
| 3829 } | 3830 } |
| 3830 | 3831 |
| 3831 // Call ToNumber only if operand is not a smi. | 3832 // Call ToNumber only if operand is not a smi. |
| 3832 NearLabel no_conversion; | 3833 Label no_conversion; |
| 3833 if (ShouldInlineSmiCase(expr->op())) { | 3834 if (ShouldInlineSmiCase(expr->op())) { |
| 3834 __ test(eax, Immediate(kSmiTagMask)); | 3835 __ test(eax, Immediate(kSmiTagMask)); |
| 3835 __ j(zero, &no_conversion); | 3836 __ j(zero, &no_conversion, Label::kNear); |
| 3836 } | 3837 } |
| 3837 ToNumberStub convert_stub; | 3838 ToNumberStub convert_stub; |
| 3838 __ CallStub(&convert_stub); | 3839 __ CallStub(&convert_stub); |
| 3839 __ bind(&no_conversion); | 3840 __ bind(&no_conversion); |
| 3840 | 3841 |
| 3841 // Save result for postfix expressions. | 3842 // Save result for postfix expressions. |
| 3842 if (expr->is_postfix()) { | 3843 if (expr->is_postfix()) { |
| 3843 if (!context()->IsEffect()) { | 3844 if (!context()->IsEffect()) { |
| 3844 // Save the result on the stack. If we have a named or keyed property | 3845 // Save the result on the stack. If we have a named or keyed property |
| 3845 // we store the result under the receiver that is currently on top | 3846 // we store the result under the receiver that is currently on top |
| 3846 // of the stack. | 3847 // of the stack. |
| 3847 switch (assign_type) { | 3848 switch (assign_type) { |
| 3848 case VARIABLE: | 3849 case VARIABLE: |
| 3849 __ push(eax); | 3850 __ push(eax); |
| 3850 break; | 3851 break; |
| 3851 case NAMED_PROPERTY: | 3852 case NAMED_PROPERTY: |
| 3852 __ mov(Operand(esp, kPointerSize), eax); | 3853 __ mov(Operand(esp, kPointerSize), eax); |
| 3853 break; | 3854 break; |
| 3854 case KEYED_PROPERTY: | 3855 case KEYED_PROPERTY: |
| 3855 __ mov(Operand(esp, 2 * kPointerSize), eax); | 3856 __ mov(Operand(esp, 2 * kPointerSize), eax); |
| 3856 break; | 3857 break; |
| 3857 } | 3858 } |
| 3858 } | 3859 } |
| 3859 } | 3860 } |
| 3860 | 3861 |
| 3861 // Inline smi case if we are in a loop. | 3862 // Inline smi case if we are in a loop. |
| 3862 NearLabel stub_call, done; | 3863 NearLabel done; |
| 3864 Label stub_call; |
| 3863 JumpPatchSite patch_site(masm_); | 3865 JumpPatchSite patch_site(masm_); |
| 3864 | 3866 |
| 3865 if (ShouldInlineSmiCase(expr->op())) { | 3867 if (ShouldInlineSmiCase(expr->op())) { |
| 3866 if (expr->op() == Token::INC) { | 3868 if (expr->op() == Token::INC) { |
| 3867 __ add(Operand(eax), Immediate(Smi::FromInt(1))); | 3869 __ add(Operand(eax), Immediate(Smi::FromInt(1))); |
| 3868 } else { | 3870 } else { |
| 3869 __ sub(Operand(eax), Immediate(Smi::FromInt(1))); | 3871 __ sub(Operand(eax), Immediate(Smi::FromInt(1))); |
| 3870 } | 3872 } |
| 3871 __ j(overflow, &stub_call); | 3873 __ j(overflow, &stub_call, Label::kNear); |
| 3872 // We could eliminate this smi check if we split the code at | 3874 // We could eliminate this smi check if we split the code at |
| 3873 // the first smi check before calling ToNumber. | 3875 // the first smi check before calling ToNumber. |
| 3874 patch_site.EmitJumpIfSmi(eax, &done); | 3876 patch_site.EmitJumpIfSmi(eax, &done); |
| 3875 | 3877 |
| 3876 __ bind(&stub_call); | 3878 __ bind(&stub_call); |
| 3877 // Call stub. Undo operation first. | 3879 // Call stub. Undo operation first. |
| 3878 if (expr->op() == Token::INC) { | 3880 if (expr->op() == Token::INC) { |
| 3879 __ sub(Operand(eax), Immediate(Smi::FromInt(1))); | 3881 __ sub(Operand(eax), Immediate(Smi::FromInt(1))); |
| 3880 } else { | 3882 } else { |
| 3881 __ add(Operand(eax), Immediate(Smi::FromInt(1))); | 3883 __ add(Operand(eax), Immediate(Smi::FromInt(1))); |
| (...skipping 436 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4318 // And return. | 4320 // And return. |
| 4319 __ ret(0); | 4321 __ ret(0); |
| 4320 } | 4322 } |
| 4321 | 4323 |
| 4322 | 4324 |
| 4323 #undef __ | 4325 #undef __ |
| 4324 | 4326 |
| 4325 } } // namespace v8::internal | 4327 } } // namespace v8::internal |
| 4326 | 4328 |
| 4327 #endif // V8_TARGET_ARCH_IA32 | 4329 #endif // V8_TARGET_ARCH_IA32 |
| OLD | NEW |