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

Side by Side Diff: src/ia32/codegen-ia32.cc

Issue 2137008: Reapply r4686: Complete version of full codegen for x64.... (Closed) Base URL: http://v8.googlecode.com/svn/branches/bleeding_edge/
Patch Set: Created 10 years, 7 months 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/flag-definitions.h ('k') | src/ia32/full-codegen-ia32.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 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 6147 matching lines...) Expand 10 before | Expand all | Expand 10 after
6158 Result map = allocator()->Allocate(); 6158 Result map = allocator()->Allocate();
6159 ASSERT(map.is_valid()); 6159 ASSERT(map.is_valid());
6160 __ mov(map.reg(), FieldOperand(obj.reg(), HeapObject::kMapOffset)); 6160 __ mov(map.reg(), FieldOperand(obj.reg(), HeapObject::kMapOffset));
6161 // Undetectable objects behave like undefined when tested with typeof. 6161 // Undetectable objects behave like undefined when tested with typeof.
6162 __ movzx_b(map.reg(), FieldOperand(map.reg(), Map::kBitFieldOffset)); 6162 __ movzx_b(map.reg(), FieldOperand(map.reg(), Map::kBitFieldOffset));
6163 __ test(map.reg(), Immediate(1 << Map::kIsUndetectable)); 6163 __ test(map.reg(), Immediate(1 << Map::kIsUndetectable));
6164 destination()->false_target()->Branch(not_zero); 6164 destination()->false_target()->Branch(not_zero);
6165 __ mov(map.reg(), FieldOperand(obj.reg(), HeapObject::kMapOffset)); 6165 __ mov(map.reg(), FieldOperand(obj.reg(), HeapObject::kMapOffset));
6166 __ movzx_b(map.reg(), FieldOperand(map.reg(), Map::kInstanceTypeOffset)); 6166 __ movzx_b(map.reg(), FieldOperand(map.reg(), Map::kInstanceTypeOffset));
6167 __ cmp(map.reg(), FIRST_JS_OBJECT_TYPE); 6167 __ cmp(map.reg(), FIRST_JS_OBJECT_TYPE);
6168 destination()->false_target()->Branch(less); 6168 destination()->false_target()->Branch(below);
6169 __ cmp(map.reg(), LAST_JS_OBJECT_TYPE); 6169 __ cmp(map.reg(), LAST_JS_OBJECT_TYPE);
6170 obj.Unuse(); 6170 obj.Unuse();
6171 map.Unuse(); 6171 map.Unuse();
6172 destination()->Split(less_equal); 6172 destination()->Split(below_equal);
6173 } 6173 }
6174 6174
6175 6175
6176 void CodeGenerator::GenerateIsFunction(ZoneList<Expression*>* args) { 6176 void CodeGenerator::GenerateIsFunction(ZoneList<Expression*>* args) {
6177 // This generates a fast version of: 6177 // This generates a fast version of:
6178 // (%_ClassOf(arg) === 'Function') 6178 // (%_ClassOf(arg) === 'Function')
6179 ASSERT(args->length() == 1); 6179 ASSERT(args->length() == 1);
6180 Load(args->at(0)); 6180 Load(args->at(0));
6181 Result obj = frame_->Pop(); 6181 Result obj = frame_->Pop();
6182 obj.ToRegister(); 6182 obj.ToRegister();
(...skipping 92 matching lines...) Expand 10 before | Expand all | Expand 10 after
6275 // If the object is a smi, we return null. 6275 // If the object is a smi, we return null.
6276 __ test(obj.reg(), Immediate(kSmiTagMask)); 6276 __ test(obj.reg(), Immediate(kSmiTagMask));
6277 null.Branch(zero); 6277 null.Branch(zero);
6278 6278
6279 // Check that the object is a JS object but take special care of JS 6279 // Check that the object is a JS object but take special care of JS
6280 // functions to make sure they have 'Function' as their class. 6280 // functions to make sure they have 'Function' as their class.
6281 { Result tmp = allocator()->Allocate(); 6281 { Result tmp = allocator()->Allocate();
6282 __ mov(obj.reg(), FieldOperand(obj.reg(), HeapObject::kMapOffset)); 6282 __ mov(obj.reg(), FieldOperand(obj.reg(), HeapObject::kMapOffset));
6283 __ movzx_b(tmp.reg(), FieldOperand(obj.reg(), Map::kInstanceTypeOffset)); 6283 __ movzx_b(tmp.reg(), FieldOperand(obj.reg(), Map::kInstanceTypeOffset));
6284 __ cmp(tmp.reg(), FIRST_JS_OBJECT_TYPE); 6284 __ cmp(tmp.reg(), FIRST_JS_OBJECT_TYPE);
6285 null.Branch(less); 6285 null.Branch(below);
6286 6286
6287 // As long as JS_FUNCTION_TYPE is the last instance type and it is 6287 // As long as JS_FUNCTION_TYPE is the last instance type and it is
6288 // right after LAST_JS_OBJECT_TYPE, we can avoid checking for 6288 // right after LAST_JS_OBJECT_TYPE, we can avoid checking for
6289 // LAST_JS_OBJECT_TYPE. 6289 // LAST_JS_OBJECT_TYPE.
6290 ASSERT(LAST_TYPE == JS_FUNCTION_TYPE); 6290 ASSERT(LAST_TYPE == JS_FUNCTION_TYPE);
6291 ASSERT(JS_FUNCTION_TYPE == LAST_JS_OBJECT_TYPE + 1); 6291 ASSERT(JS_FUNCTION_TYPE == LAST_JS_OBJECT_TYPE + 1);
6292 __ cmp(tmp.reg(), JS_FUNCTION_TYPE); 6292 __ cmp(tmp.reg(), JS_FUNCTION_TYPE);
6293 function.Branch(equal); 6293 function.Branch(equal);
6294 } 6294 }
6295 6295
(...skipping 569 matching lines...) Expand 10 before | Expand all | Expand 10 after
6865 frame_->Spill(index2.reg()); 6865 frame_->Spill(index2.reg());
6866 6866
6867 DeferredSwapElements* deferred = new DeferredSwapElements(object.reg(), 6867 DeferredSwapElements* deferred = new DeferredSwapElements(object.reg(),
6868 index1.reg(), 6868 index1.reg(),
6869 index2.reg()); 6869 index2.reg());
6870 6870
6871 // Fetch the map and check if array is in fast case. 6871 // Fetch the map and check if array is in fast case.
6872 // Check that object doesn't require security checks and 6872 // Check that object doesn't require security checks and
6873 // has no indexed interceptor. 6873 // has no indexed interceptor.
6874 __ CmpObjectType(object.reg(), FIRST_JS_OBJECT_TYPE, tmp1.reg()); 6874 __ CmpObjectType(object.reg(), FIRST_JS_OBJECT_TYPE, tmp1.reg());
6875 deferred->Branch(less); 6875 deferred->Branch(below);
6876 __ movzx_b(tmp1.reg(), FieldOperand(tmp1.reg(), Map::kBitFieldOffset)); 6876 __ movzx_b(tmp1.reg(), FieldOperand(tmp1.reg(), Map::kBitFieldOffset));
6877 __ test(tmp1.reg(), Immediate(KeyedLoadIC::kSlowCaseBitFieldMask)); 6877 __ test(tmp1.reg(), Immediate(KeyedLoadIC::kSlowCaseBitFieldMask));
6878 deferred->Branch(not_zero); 6878 deferred->Branch(not_zero);
6879 6879
6880 // Check the object's elements are in fast case. 6880 // Check the object's elements are in fast case.
6881 __ mov(tmp1.reg(), FieldOperand(object.reg(), JSObject::kElementsOffset)); 6881 __ mov(tmp1.reg(), FieldOperand(object.reg(), JSObject::kElementsOffset));
6882 __ cmp(FieldOperand(tmp1.reg(), HeapObject::kMapOffset), 6882 __ cmp(FieldOperand(tmp1.reg(), HeapObject::kMapOffset),
6883 Immediate(Factory::fixed_array_map())); 6883 Immediate(Factory::fixed_array_map()));
6884 deferred->Branch(not_equal); 6884 deferred->Branch(not_equal);
6885 6885
(...skipping 1299 matching lines...) Expand 10 before | Expand all | Expand 10 after
8185 __ CmpObjectType(answer.reg(), JS_REGEXP_TYPE, map.reg()); 8185 __ CmpObjectType(answer.reg(), JS_REGEXP_TYPE, map.reg());
8186 destination()->false_target()->Branch(equal); 8186 destination()->false_target()->Branch(equal);
8187 8187
8188 // It can be an undetectable object. 8188 // It can be an undetectable object.
8189 __ movzx_b(map.reg(), FieldOperand(map.reg(), Map::kBitFieldOffset)); 8189 __ movzx_b(map.reg(), FieldOperand(map.reg(), Map::kBitFieldOffset));
8190 __ test(map.reg(), Immediate(1 << Map::kIsUndetectable)); 8190 __ test(map.reg(), Immediate(1 << Map::kIsUndetectable));
8191 destination()->false_target()->Branch(not_zero); 8191 destination()->false_target()->Branch(not_zero);
8192 __ mov(map.reg(), FieldOperand(answer.reg(), HeapObject::kMapOffset)); 8192 __ mov(map.reg(), FieldOperand(answer.reg(), HeapObject::kMapOffset));
8193 __ movzx_b(map.reg(), FieldOperand(map.reg(), Map::kInstanceTypeOffset)); 8193 __ movzx_b(map.reg(), FieldOperand(map.reg(), Map::kInstanceTypeOffset));
8194 __ cmp(map.reg(), FIRST_JS_OBJECT_TYPE); 8194 __ cmp(map.reg(), FIRST_JS_OBJECT_TYPE);
8195 destination()->false_target()->Branch(less); 8195 destination()->false_target()->Branch(below);
8196 __ cmp(map.reg(), LAST_JS_OBJECT_TYPE); 8196 __ cmp(map.reg(), LAST_JS_OBJECT_TYPE);
8197 answer.Unuse(); 8197 answer.Unuse();
8198 map.Unuse(); 8198 map.Unuse();
8199 destination()->Split(less_equal); 8199 destination()->Split(below_equal);
8200 } else { 8200 } else {
8201 // Uncommon case: typeof testing against a string literal that is 8201 // Uncommon case: typeof testing against a string literal that is
8202 // never returned from the typeof operator. 8202 // never returned from the typeof operator.
8203 answer.Unuse(); 8203 answer.Unuse();
8204 destination()->Goto(false); 8204 destination()->Goto(false);
8205 } 8205 }
8206 return; 8206 return;
8207 } else if (op == Token::LT && 8207 } else if (op == Token::LT &&
8208 right->AsLiteral() != NULL && 8208 right->AsLiteral() != NULL &&
8209 right->AsLiteral()->handle()->IsHeapNumber()) { 8209 right->AsLiteral()->handle()->IsHeapNumber()) {
(...skipping 3385 matching lines...) Expand 10 before | Expand all | Expand 10 after
11595 // There is no test for undetectability in strict equality. 11595 // There is no test for undetectability in strict equality.
11596 11596
11597 // Get the type of the first operand. 11597 // Get the type of the first operand.
11598 __ mov(ecx, FieldOperand(eax, HeapObject::kMapOffset)); 11598 __ mov(ecx, FieldOperand(eax, HeapObject::kMapOffset));
11599 __ movzx_b(ecx, FieldOperand(ecx, Map::kInstanceTypeOffset)); 11599 __ movzx_b(ecx, FieldOperand(ecx, Map::kInstanceTypeOffset));
11600 11600
11601 // If the first object is a JS object, we have done pointer comparison. 11601 // If the first object is a JS object, we have done pointer comparison.
11602 ASSERT(LAST_TYPE == JS_FUNCTION_TYPE); 11602 ASSERT(LAST_TYPE == JS_FUNCTION_TYPE);
11603 Label first_non_object; 11603 Label first_non_object;
11604 __ cmp(ecx, FIRST_JS_OBJECT_TYPE); 11604 __ cmp(ecx, FIRST_JS_OBJECT_TYPE);
11605 __ j(less, &first_non_object); 11605 __ j(below, &first_non_object);
11606 11606
11607 // Return non-zero (eax is not zero) 11607 // Return non-zero (eax is not zero)
11608 Label return_not_equal; 11608 Label return_not_equal;
11609 ASSERT(kHeapObjectTag != 0); 11609 ASSERT(kHeapObjectTag != 0);
11610 __ bind(&return_not_equal); 11610 __ bind(&return_not_equal);
11611 __ ret(0); 11611 __ ret(0);
11612 11612
11613 __ bind(&first_non_object); 11613 __ bind(&first_non_object);
11614 // Check for oddballs: true, false, null, undefined. 11614 // Check for oddballs: true, false, null, undefined.
11615 __ cmp(ecx, ODDBALL_TYPE); 11615 __ cmp(ecx, ODDBALL_TYPE);
11616 __ j(equal, &return_not_equal); 11616 __ j(equal, &return_not_equal);
11617 11617
11618 __ mov(ecx, FieldOperand(edx, HeapObject::kMapOffset)); 11618 __ mov(ecx, FieldOperand(edx, HeapObject::kMapOffset));
11619 __ movzx_b(ecx, FieldOperand(ecx, Map::kInstanceTypeOffset)); 11619 __ movzx_b(ecx, FieldOperand(ecx, Map::kInstanceTypeOffset));
11620 11620
11621 __ cmp(ecx, FIRST_JS_OBJECT_TYPE); 11621 __ cmp(ecx, FIRST_JS_OBJECT_TYPE);
11622 __ j(greater_equal, &return_not_equal); 11622 __ j(above_equal, &return_not_equal);
11623 11623
11624 // Check for oddballs: true, false, null, undefined. 11624 // Check for oddballs: true, false, null, undefined.
11625 __ cmp(ecx, ODDBALL_TYPE); 11625 __ cmp(ecx, ODDBALL_TYPE);
11626 __ j(equal, &return_not_equal); 11626 __ j(equal, &return_not_equal);
11627 11627
11628 // Fall through to the general case. 11628 // Fall through to the general case.
11629 } 11629 }
11630 __ bind(&slow); 11630 __ bind(&slow);
11631 } 11631 }
11632 11632
(...skipping 627 matching lines...) Expand 10 before | Expand all | Expand 10 after
12260 // Get the object - go slow case if it's a smi. 12260 // Get the object - go slow case if it's a smi.
12261 Label slow; 12261 Label slow;
12262 __ mov(eax, Operand(esp, 2 * kPointerSize)); // 2 ~ return address, function 12262 __ mov(eax, Operand(esp, 2 * kPointerSize)); // 2 ~ return address, function
12263 __ test(eax, Immediate(kSmiTagMask)); 12263 __ test(eax, Immediate(kSmiTagMask));
12264 __ j(zero, &slow, not_taken); 12264 __ j(zero, &slow, not_taken);
12265 12265
12266 // Check that the left hand is a JS object. 12266 // Check that the left hand is a JS object.
12267 __ mov(eax, FieldOperand(eax, HeapObject::kMapOffset)); // eax - object map 12267 __ mov(eax, FieldOperand(eax, HeapObject::kMapOffset)); // eax - object map
12268 __ movzx_b(ecx, FieldOperand(eax, Map::kInstanceTypeOffset)); // ecx - type 12268 __ movzx_b(ecx, FieldOperand(eax, Map::kInstanceTypeOffset)); // ecx - type
12269 __ cmp(ecx, FIRST_JS_OBJECT_TYPE); 12269 __ cmp(ecx, FIRST_JS_OBJECT_TYPE);
12270 __ j(less, &slow, not_taken); 12270 __ j(below, &slow, not_taken);
12271 __ cmp(ecx, LAST_JS_OBJECT_TYPE); 12271 __ cmp(ecx, LAST_JS_OBJECT_TYPE);
12272 __ j(greater, &slow, not_taken); 12272 __ j(above, &slow, not_taken);
12273 12273
12274 // Get the prototype of the function. 12274 // Get the prototype of the function.
12275 __ mov(edx, Operand(esp, 1 * kPointerSize)); // 1 ~ return address 12275 __ mov(edx, Operand(esp, 1 * kPointerSize)); // 1 ~ return address
12276 // edx is function, eax is map. 12276 // edx is function, eax is map.
12277 12277
12278 // Look up the function and the map in the instanceof cache. 12278 // Look up the function and the map in the instanceof cache.
12279 Label miss; 12279 Label miss;
12280 ExternalReference roots_address = ExternalReference::roots_address(); 12280 ExternalReference roots_address = ExternalReference::roots_address();
12281 __ mov(ecx, Immediate(Heap::kInstanceofCacheFunctionRootIndex)); 12281 __ mov(ecx, Immediate(Heap::kInstanceofCacheFunctionRootIndex));
12282 __ cmp(edx, Operand::StaticArray(ecx, times_pointer_size, roots_address)); 12282 __ cmp(edx, Operand::StaticArray(ecx, times_pointer_size, roots_address));
12283 __ j(not_equal, &miss); 12283 __ j(not_equal, &miss);
12284 __ mov(ecx, Immediate(Heap::kInstanceofCacheMapRootIndex)); 12284 __ mov(ecx, Immediate(Heap::kInstanceofCacheMapRootIndex));
12285 __ cmp(eax, Operand::StaticArray(ecx, times_pointer_size, roots_address)); 12285 __ cmp(eax, Operand::StaticArray(ecx, times_pointer_size, roots_address));
12286 __ j(not_equal, &miss); 12286 __ j(not_equal, &miss);
12287 __ mov(ecx, Immediate(Heap::kInstanceofCacheAnswerRootIndex)); 12287 __ mov(ecx, Immediate(Heap::kInstanceofCacheAnswerRootIndex));
12288 __ mov(eax, Operand::StaticArray(ecx, times_pointer_size, roots_address)); 12288 __ mov(eax, Operand::StaticArray(ecx, times_pointer_size, roots_address));
12289 __ ret(2 * kPointerSize); 12289 __ ret(2 * kPointerSize);
12290 12290
12291 __ bind(&miss); 12291 __ bind(&miss);
12292 __ TryGetFunctionPrototype(edx, ebx, ecx, &slow); 12292 __ TryGetFunctionPrototype(edx, ebx, ecx, &slow);
12293 12293
12294 // Check that the function prototype is a JS object. 12294 // Check that the function prototype is a JS object.
12295 __ test(ebx, Immediate(kSmiTagMask)); 12295 __ test(ebx, Immediate(kSmiTagMask));
12296 __ j(zero, &slow, not_taken); 12296 __ j(zero, &slow, not_taken);
12297 __ mov(ecx, FieldOperand(ebx, HeapObject::kMapOffset)); 12297 __ mov(ecx, FieldOperand(ebx, HeapObject::kMapOffset));
12298 __ movzx_b(ecx, FieldOperand(ecx, Map::kInstanceTypeOffset)); 12298 __ movzx_b(ecx, FieldOperand(ecx, Map::kInstanceTypeOffset));
12299 __ cmp(ecx, FIRST_JS_OBJECT_TYPE); 12299 __ cmp(ecx, FIRST_JS_OBJECT_TYPE);
12300 __ j(less, &slow, not_taken); 12300 __ j(below, &slow, not_taken);
12301 __ cmp(ecx, LAST_JS_OBJECT_TYPE); 12301 __ cmp(ecx, LAST_JS_OBJECT_TYPE);
12302 __ j(greater, &slow, not_taken); 12302 __ j(above, &slow, not_taken);
12303 12303
12304 // Register mapping: 12304 // Register mapping:
12305 // eax is object map. 12305 // eax is object map.
12306 // edx is function. 12306 // edx is function.
12307 // ebx is function prototype. 12307 // ebx is function prototype.
12308 __ mov(ecx, Immediate(Heap::kInstanceofCacheMapRootIndex)); 12308 __ mov(ecx, Immediate(Heap::kInstanceofCacheMapRootIndex));
12309 __ mov(Operand::StaticArray(ecx, times_pointer_size, roots_address), eax); 12309 __ mov(Operand::StaticArray(ecx, times_pointer_size, roots_address), eax);
12310 __ mov(ecx, Immediate(Heap::kInstanceofCacheFunctionRootIndex)); 12310 __ mov(ecx, Immediate(Heap::kInstanceofCacheFunctionRootIndex));
12311 __ mov(Operand::StaticArray(ecx, times_pointer_size, roots_address), edx); 12311 __ mov(Operand::StaticArray(ecx, times_pointer_size, roots_address), edx);
12312 12312
(...skipping 979 matching lines...) Expand 10 before | Expand all | Expand 10 after
13292 // tagged as a small integer. 13292 // tagged as a small integer.
13293 __ bind(&runtime); 13293 __ bind(&runtime);
13294 __ TailCallRuntime(Runtime::kStringCompare, 2, 1); 13294 __ TailCallRuntime(Runtime::kStringCompare, 2, 1);
13295 } 13295 }
13296 13296
13297 #undef __ 13297 #undef __
13298 13298
13299 } } // namespace v8::internal 13299 } } // namespace v8::internal
13300 13300
13301 #endif // V8_TARGET_ARCH_IA32 13301 #endif // V8_TARGET_ARCH_IA32
OLDNEW
« no previous file with comments | « src/flag-definitions.h ('k') | src/ia32/full-codegen-ia32.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698