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

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

Issue 2586001: Add test_b(Operand, immediate) to ia32 assembler, and use it where possible. ... (Closed) Base URL: http://v8.googlecode.com/svn/branches/bleeding_edge/
Patch Set: '' Created 10 years, 6 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/ia32/codegen-ia32.cc ('k') | src/ia32/macro-assembler-ia32.h » ('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 297 matching lines...) Expand 10 before | Expand all | Expand 10 after
308 Label check_pixel_array, probe_dictionary, check_number_dictionary; 308 Label check_pixel_array, probe_dictionary, check_number_dictionary;
309 309
310 // Check that the object isn't a smi. 310 // Check that the object isn't a smi.
311 __ test(edx, Immediate(kSmiTagMask)); 311 __ test(edx, Immediate(kSmiTagMask));
312 __ j(zero, &slow, not_taken); 312 __ j(zero, &slow, not_taken);
313 313
314 // Get the map of the receiver. 314 // Get the map of the receiver.
315 __ mov(ecx, FieldOperand(edx, HeapObject::kMapOffset)); 315 __ mov(ecx, FieldOperand(edx, HeapObject::kMapOffset));
316 316
317 // Check bit field. 317 // Check bit field.
318 __ movzx_b(ebx, FieldOperand(ecx, Map::kBitFieldOffset)); 318 __ test_b(FieldOperand(ecx, Map::kBitFieldOffset), kSlowCaseBitFieldMask);
319 __ test(ebx, Immediate(kSlowCaseBitFieldMask));
320 __ j(not_zero, &slow, not_taken); 319 __ j(not_zero, &slow, not_taken);
321 // Check that the object is some kind of JS object EXCEPT JS Value type. 320 // Check that the object is some kind of JS object EXCEPT JS Value type.
322 // In the case that the object is a value-wrapper object, 321 // In the case that the object is a value-wrapper object,
323 // we enter the runtime system to make sure that indexing 322 // we enter the runtime system to make sure that indexing
324 // into string objects work as intended. 323 // into string objects work as intended.
325 ASSERT(JS_OBJECT_TYPE > JS_VALUE_TYPE); 324 ASSERT(JS_OBJECT_TYPE > JS_VALUE_TYPE);
326 __ CmpInstanceType(ecx, JS_OBJECT_TYPE); 325 __ CmpInstanceType(ecx, JS_OBJECT_TYPE);
327 __ j(below, &slow, not_taken); 326 __ j(below, &slow, not_taken);
328 // Check that the key is a smi. 327 // Check that the key is a smi.
329 __ test(eax, Immediate(kSmiTagMask)); 328 __ test(eax, Immediate(kSmiTagMask));
(...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after
403 // eax: key 402 // eax: key
404 __ CmpObjectType(eax, FIRST_NONSTRING_TYPE, ecx); 403 __ CmpObjectType(eax, FIRST_NONSTRING_TYPE, ecx);
405 __ j(above_equal, &slow); 404 __ j(above_equal, &slow);
406 // Is the string an array index, with cached numeric value? 405 // Is the string an array index, with cached numeric value?
407 __ mov(ebx, FieldOperand(eax, String::kHashFieldOffset)); 406 __ mov(ebx, FieldOperand(eax, String::kHashFieldOffset));
408 __ test(ebx, Immediate(String::kIsArrayIndexMask)); 407 __ test(ebx, Immediate(String::kIsArrayIndexMask));
409 __ j(not_zero, &index_string, not_taken); 408 __ j(not_zero, &index_string, not_taken);
410 409
411 // Is the string a symbol? 410 // Is the string a symbol?
412 // ecx: key map. 411 // ecx: key map.
413 __ movzx_b(ebx, FieldOperand(ecx, Map::kInstanceTypeOffset));
414 ASSERT(kSymbolTag != 0); 412 ASSERT(kSymbolTag != 0);
415 __ test(ebx, Immediate(kIsSymbolMask)); 413 __ test_b(FieldOperand(ecx, Map::kInstanceTypeOffset), kIsSymbolMask);
416 __ j(zero, &slow, not_taken); 414 __ j(zero, &slow, not_taken);
417 415
418 // If the receiver is a fast-case object, check the keyed lookup 416 // If the receiver is a fast-case object, check the keyed lookup
419 // cache. Otherwise probe the dictionary. 417 // cache. Otherwise probe the dictionary.
420 __ mov(ebx, FieldOperand(edx, JSObject::kPropertiesOffset)); 418 __ mov(ebx, FieldOperand(edx, JSObject::kPropertiesOffset));
421 __ cmp(FieldOperand(ebx, HeapObject::kMapOffset), 419 __ cmp(FieldOperand(ebx, HeapObject::kMapOffset),
422 Immediate(Factory::hash_table_map())); 420 Immediate(Factory::hash_table_map()));
423 __ j(equal, &probe_dictionary); 421 __ j(equal, &probe_dictionary);
424 422
425 // Load the map of the receiver, compute the keyed lookup cache hash 423 // Load the map of the receiver, compute the keyed lookup cache hash
(...skipping 131 matching lines...) Expand 10 before | Expand all | Expand 10 after
557 555
558 // Check that the key is a smi. 556 // Check that the key is a smi.
559 __ test(eax, Immediate(kSmiTagMask)); 557 __ test(eax, Immediate(kSmiTagMask));
560 __ j(not_zero, &slow, not_taken); 558 __ j(not_zero, &slow, not_taken);
561 559
562 // Get the map of the receiver. 560 // Get the map of the receiver.
563 __ mov(ecx, FieldOperand(edx, HeapObject::kMapOffset)); 561 __ mov(ecx, FieldOperand(edx, HeapObject::kMapOffset));
564 // Check that the receiver does not require access checks. We need 562 // Check that the receiver does not require access checks. We need
565 // to check this explicitly since this generic stub does not perform 563 // to check this explicitly since this generic stub does not perform
566 // map checks. 564 // map checks.
567 __ movzx_b(ebx, FieldOperand(ecx, Map::kBitFieldOffset)); 565 __ test_b(FieldOperand(ecx, Map::kBitFieldOffset),
568 __ test(ebx, Immediate(1 << Map::kIsAccessCheckNeeded)); 566 1 << Map::kIsAccessCheckNeeded);
569 __ j(not_zero, &slow, not_taken); 567 __ j(not_zero, &slow, not_taken);
570 568
571 __ CmpInstanceType(ecx, JS_OBJECT_TYPE); 569 __ CmpInstanceType(ecx, JS_OBJECT_TYPE);
572 __ j(not_equal, &slow, not_taken); 570 __ j(not_equal, &slow, not_taken);
573 571
574 // Check that the elements array is the appropriate type of 572 // Check that the elements array is the appropriate type of
575 // ExternalArray. 573 // ExternalArray.
576 __ mov(ebx, FieldOperand(edx, JSObject::kElementsOffset)); 574 __ mov(ebx, FieldOperand(edx, JSObject::kElementsOffset));
577 Handle<Map> map(Heap::MapForExternalArrayType(array_type)); 575 Handle<Map> map(Heap::MapForExternalArrayType(array_type));
578 __ cmp(FieldOperand(ebx, HeapObject::kMapOffset), 576 __ cmp(FieldOperand(ebx, HeapObject::kMapOffset),
(...skipping 168 matching lines...) Expand 10 before | Expand all | Expand 10 after
747 // ----------------------------------- 745 // -----------------------------------
748 Label slow, fast, array, extra, check_pixel_array; 746 Label slow, fast, array, extra, check_pixel_array;
749 747
750 // Check that the object isn't a smi. 748 // Check that the object isn't a smi.
751 __ test(edx, Immediate(kSmiTagMask)); 749 __ test(edx, Immediate(kSmiTagMask));
752 __ j(zero, &slow, not_taken); 750 __ j(zero, &slow, not_taken);
753 // Get the map from the receiver. 751 // Get the map from the receiver.
754 __ mov(edi, FieldOperand(edx, HeapObject::kMapOffset)); 752 __ mov(edi, FieldOperand(edx, HeapObject::kMapOffset));
755 // Check that the receiver does not require access checks. We need 753 // Check that the receiver does not require access checks. We need
756 // to do this because this generic stub does not perform map checks. 754 // to do this because this generic stub does not perform map checks.
757 __ movzx_b(ebx, FieldOperand(edi, Map::kBitFieldOffset)); 755 __ test_b(FieldOperand(edi, Map::kBitFieldOffset),
758 __ test(ebx, Immediate(1 << Map::kIsAccessCheckNeeded)); 756 1 << Map::kIsAccessCheckNeeded);
759 __ j(not_zero, &slow, not_taken); 757 __ j(not_zero, &slow, not_taken);
760 // Check that the key is a smi. 758 // Check that the key is a smi.
761 __ test(ecx, Immediate(kSmiTagMask)); 759 __ test(ecx, Immediate(kSmiTagMask));
762 __ j(not_zero, &slow, not_taken); 760 __ j(not_zero, &slow, not_taken);
763 __ CmpInstanceType(edi, JS_ARRAY_TYPE); 761 __ CmpInstanceType(edi, JS_ARRAY_TYPE);
764 __ j(equal, &array); 762 __ j(equal, &array);
765 // Check that the object is some kind of JS object. 763 // Check that the object is some kind of JS object.
766 __ CmpInstanceType(edi, FIRST_JS_OBJECT_TYPE); 764 __ CmpInstanceType(edi, FIRST_JS_OBJECT_TYPE);
767 __ j(below, &slow, not_taken); 765 __ j(below, &slow, not_taken);
768 766
(...skipping 96 matching lines...) Expand 10 before | Expand all | Expand 10 after
865 // ----------------------------------- 863 // -----------------------------------
866 Label slow, check_heap_number; 864 Label slow, check_heap_number;
867 865
868 // Check that the object isn't a smi. 866 // Check that the object isn't a smi.
869 __ test(edx, Immediate(kSmiTagMask)); 867 __ test(edx, Immediate(kSmiTagMask));
870 __ j(zero, &slow); 868 __ j(zero, &slow);
871 // Get the map from the receiver. 869 // Get the map from the receiver.
872 __ mov(edi, FieldOperand(edx, HeapObject::kMapOffset)); 870 __ mov(edi, FieldOperand(edx, HeapObject::kMapOffset));
873 // Check that the receiver does not require access checks. We need 871 // Check that the receiver does not require access checks. We need
874 // to do this because this generic stub does not perform map checks. 872 // to do this because this generic stub does not perform map checks.
875 __ movzx_b(ebx, FieldOperand(edi, Map::kBitFieldOffset)); 873 __ test_b(FieldOperand(edi, Map::kBitFieldOffset),
876 __ test(ebx, Immediate(1 << Map::kIsAccessCheckNeeded)); 874 1 << Map::kIsAccessCheckNeeded);
877 __ j(not_zero, &slow); 875 __ j(not_zero, &slow);
878 // Check that the key is a smi. 876 // Check that the key is a smi.
879 __ test(ecx, Immediate(kSmiTagMask)); 877 __ test(ecx, Immediate(kSmiTagMask));
880 __ j(not_zero, &slow); 878 __ j(not_zero, &slow);
881 // Get the instance type from the map of the receiver. 879 // Get the instance type from the map of the receiver.
882 __ CmpInstanceType(edi, JS_OBJECT_TYPE); 880 __ CmpInstanceType(edi, JS_OBJECT_TYPE);
883 __ j(not_equal, &slow); 881 __ j(not_equal, &slow);
884 882
885 // Check that the elements array is the appropriate type of 883 // Check that the elements array is the appropriate type of
886 // ExternalArray. 884 // ExternalArray.
(...skipping 285 matching lines...) Expand 10 before | Expand all | Expand 10 after
1172 1170
1173 // Check for access to global object. 1171 // Check for access to global object.
1174 __ cmp(eax, JS_GLOBAL_OBJECT_TYPE); 1172 __ cmp(eax, JS_GLOBAL_OBJECT_TYPE);
1175 __ j(equal, &global_object); 1173 __ j(equal, &global_object);
1176 __ cmp(eax, JS_BUILTINS_OBJECT_TYPE); 1174 __ cmp(eax, JS_BUILTINS_OBJECT_TYPE);
1177 __ j(not_equal, &non_global_object); 1175 __ j(not_equal, &non_global_object);
1178 1176
1179 // Accessing global object: Load and invoke. 1177 // Accessing global object: Load and invoke.
1180 __ bind(&global_object); 1178 __ bind(&global_object);
1181 // Check that the global object does not require access checks. 1179 // Check that the global object does not require access checks.
1182 __ movzx_b(ebx, FieldOperand(ebx, Map::kBitFieldOffset)); 1180 __ test_b(FieldOperand(ebx, Map::kBitFieldOffset),
1183 __ test(ebx, Immediate(1 << Map::kIsAccessCheckNeeded)); 1181 1 << Map::kIsAccessCheckNeeded);
1184 __ j(not_equal, &miss, not_taken); 1182 __ j(not_equal, &miss, not_taken);
1185 GenerateNormalHelper(masm, argc, true, &miss); 1183 GenerateNormalHelper(masm, argc, true, &miss);
1186 1184
1187 // Accessing non-global object: Check for access to global proxy. 1185 // Accessing non-global object: Check for access to global proxy.
1188 Label global_proxy, invoke; 1186 Label global_proxy, invoke;
1189 __ bind(&non_global_object); 1187 __ bind(&non_global_object);
1190 __ cmp(eax, JS_GLOBAL_PROXY_TYPE); 1188 __ cmp(eax, JS_GLOBAL_PROXY_TYPE);
1191 __ j(equal, &global_proxy, not_taken); 1189 __ j(equal, &global_proxy, not_taken);
1192 // Check that the non-global, non-global-proxy object does not 1190 // Check that the non-global, non-global-proxy object does not
1193 // require access checks. 1191 // require access checks.
1194 __ movzx_b(ebx, FieldOperand(ebx, Map::kBitFieldOffset)); 1192 __ test_b(FieldOperand(ebx, Map::kBitFieldOffset),
1195 __ test(ebx, Immediate(1 << Map::kIsAccessCheckNeeded)); 1193 1 << Map::kIsAccessCheckNeeded);
1196 __ j(not_equal, &miss, not_taken); 1194 __ j(not_equal, &miss, not_taken);
1197 __ bind(&invoke); 1195 __ bind(&invoke);
1198 GenerateNormalHelper(masm, argc, false, &miss); 1196 GenerateNormalHelper(masm, argc, false, &miss);
1199 1197
1200 // Global object proxy access: Check access rights. 1198 // Global object proxy access: Check access rights.
1201 __ bind(&global_proxy); 1199 __ bind(&global_proxy);
1202 __ CheckAccessGlobalProxy(edx, eax, &miss); 1200 __ CheckAccessGlobalProxy(edx, eax, &miss);
1203 __ jmp(&invoke); 1201 __ jmp(&invoke);
1204 1202
1205 // Cache miss: Jump to runtime. 1203 // Cache miss: Jump to runtime.
(...skipping 95 matching lines...) Expand 10 before | Expand all | Expand 10 after
1301 __ j(less, &miss, not_taken); 1299 __ j(less, &miss, not_taken);
1302 1300
1303 // If this assert fails, we have to check upper bound too. 1301 // If this assert fails, we have to check upper bound too.
1304 ASSERT(LAST_TYPE == JS_FUNCTION_TYPE); 1302 ASSERT(LAST_TYPE == JS_FUNCTION_TYPE);
1305 1303
1306 // Check for access to global object (unlikely). 1304 // Check for access to global object (unlikely).
1307 __ cmp(edx, JS_GLOBAL_PROXY_TYPE); 1305 __ cmp(edx, JS_GLOBAL_PROXY_TYPE);
1308 __ j(equal, &global, not_taken); 1306 __ j(equal, &global, not_taken);
1309 1307
1310 // Check for non-global object that requires access check. 1308 // Check for non-global object that requires access check.
1311 __ movzx_b(ebx, FieldOperand(ebx, Map::kBitFieldOffset)); 1309 __ test_b(FieldOperand(ebx, Map::kBitFieldOffset),
1312 __ test(ebx, Immediate(1 << Map::kIsAccessCheckNeeded)); 1310 1 << Map::kIsAccessCheckNeeded);
1313 __ j(not_zero, &miss, not_taken); 1311 __ j(not_zero, &miss, not_taken);
1314 1312
1315 // Search the dictionary placing the result in eax. 1313 // Search the dictionary placing the result in eax.
1316 __ bind(&probe); 1314 __ bind(&probe);
1317 GenerateDictionaryLoad(masm, 1315 GenerateDictionaryLoad(masm,
1318 &miss, 1316 &miss,
1319 eax, 1317 eax,
1320 ecx, 1318 ecx,
1321 edx, 1319 edx,
1322 edi, 1320 edi,
(...skipping 294 matching lines...) Expand 10 before | Expand all | Expand 10 after
1617 ExternalReference ref = ExternalReference(IC_Utility(kKeyedStoreIC_Miss)); 1615 ExternalReference ref = ExternalReference(IC_Utility(kKeyedStoreIC_Miss));
1618 __ TailCallExternalReference(ref, 3, 1); 1616 __ TailCallExternalReference(ref, 3, 1);
1619 } 1617 }
1620 1618
1621 #undef __ 1619 #undef __
1622 1620
1623 1621
1624 } } // namespace v8::internal 1622 } } // namespace v8::internal
1625 1623
1626 #endif // V8_TARGET_ARCH_IA32 1624 #endif // V8_TARGET_ARCH_IA32
OLDNEW
« no previous file with comments | « src/ia32/codegen-ia32.cc ('k') | src/ia32/macro-assembler-ia32.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698