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

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

Issue 1815213002: Extends testb and cmpb/cmpw instruction support in the ia32 assembler. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Fix a copy/pasted erroneous DCHECK. Created 4 years, 9 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
« no previous file with comments | « src/ic/ia32/handler-compiler-ia32.cc ('k') | src/regexp/ia32/regexp-macro-assembler-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 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #if V8_TARGET_ARCH_IA32 5 #if V8_TARGET_ARCH_IA32
6 6
7 #include "src/codegen.h" 7 #include "src/codegen.h"
8 #include "src/ic/ic.h" 8 #include "src/ic/ic.h"
9 #include "src/ic/ic-compiler.h" 9 #include "src/ic/ic-compiler.h"
10 #include "src/ic/stub-cache.h" 10 #include "src/ic/stub-cache.h"
(...skipping 132 matching lines...) Expand 10 before | Expand all | Expand 10 after
143 // Scratch registers: 143 // Scratch registers:
144 // map - used to hold the map of the receiver. 144 // map - used to hold the map of the receiver.
145 145
146 // Check that the object isn't a smi. 146 // Check that the object isn't a smi.
147 __ JumpIfSmi(receiver, slow); 147 __ JumpIfSmi(receiver, slow);
148 148
149 // Get the map of the receiver. 149 // Get the map of the receiver.
150 __ mov(map, FieldOperand(receiver, HeapObject::kMapOffset)); 150 __ mov(map, FieldOperand(receiver, HeapObject::kMapOffset));
151 151
152 // Check bit field. 152 // Check bit field.
153 __ test_b(FieldOperand(map, Map::kBitFieldOffset), 153 __ test_b(
154 (1 << Map::kIsAccessCheckNeeded) | (1 << interceptor_bit)); 154 FieldOperand(map, Map::kBitFieldOffset),
155 Immediate((1 << Map::kIsAccessCheckNeeded) | (1 << interceptor_bit)));
155 __ j(not_zero, slow); 156 __ j(not_zero, slow);
156 // Check that the object is some kind of JS object EXCEPT JS Value type. In 157 // Check that the object is some kind of JS object EXCEPT JS Value type. In
157 // the case that the object is a value-wrapper object, we enter the runtime 158 // the case that the object is a value-wrapper object, we enter the runtime
158 // system to make sure that indexing into string objects works as intended. 159 // system to make sure that indexing into string objects works as intended.
159 DCHECK(JS_OBJECT_TYPE > JS_VALUE_TYPE); 160 DCHECK(JS_OBJECT_TYPE > JS_VALUE_TYPE);
160 161
161 __ CmpInstanceType(map, JS_OBJECT_TYPE); 162 __ CmpInstanceType(map, JS_OBJECT_TYPE);
162 __ j(below, slow); 163 __ j(below, slow);
163 } 164 }
164 165
(...skipping 30 matching lines...) Expand all
195 __ mov(scratch2, FieldOperand(scratch2, Map::kPrototypeOffset)); 196 __ mov(scratch2, FieldOperand(scratch2, Map::kPrototypeOffset));
196 // scratch2: current prototype 197 // scratch2: current prototype
197 __ cmp(scratch2, masm->isolate()->factory()->null_value()); 198 __ cmp(scratch2, masm->isolate()->factory()->null_value());
198 __ j(equal, &absent); 199 __ j(equal, &absent);
199 __ mov(scratch, FieldOperand(scratch2, JSObject::kElementsOffset)); 200 __ mov(scratch, FieldOperand(scratch2, JSObject::kElementsOffset));
200 __ mov(scratch2, FieldOperand(scratch2, HeapObject::kMapOffset)); 201 __ mov(scratch2, FieldOperand(scratch2, HeapObject::kMapOffset));
201 // scratch: elements of current prototype 202 // scratch: elements of current prototype
202 // scratch2: map of current prototype 203 // scratch2: map of current prototype
203 __ CmpInstanceType(scratch2, JS_OBJECT_TYPE); 204 __ CmpInstanceType(scratch2, JS_OBJECT_TYPE);
204 __ j(below, slow); 205 __ j(below, slow);
205 __ test_b( 206 __ test_b(FieldOperand(scratch2, Map::kBitFieldOffset),
206 FieldOperand(scratch2, Map::kBitFieldOffset), 207 Immediate((1 << Map::kIsAccessCheckNeeded) |
207 (1 << Map::kIsAccessCheckNeeded) | (1 << Map::kHasIndexedInterceptor)); 208 (1 << Map::kHasIndexedInterceptor)));
208 __ j(not_zero, slow); 209 __ j(not_zero, slow);
209 __ cmp(scratch, masm->isolate()->factory()->empty_fixed_array()); 210 __ cmp(scratch, masm->isolate()->factory()->empty_fixed_array());
210 __ j(not_equal, slow); 211 __ j(not_equal, slow);
211 __ jmp(&check_next_prototype); 212 __ jmp(&check_next_prototype);
212 213
213 __ bind(&absent); 214 __ bind(&absent);
214 __ mov(result, masm->isolate()->factory()->undefined_value()); 215 __ mov(result, masm->isolate()->factory()->undefined_value());
215 __ jmp(&done); 216 __ jmp(&done);
216 217
217 __ bind(&in_bounds); 218 __ bind(&in_bounds);
(...skipping 26 matching lines...) Expand all
244 245
245 // Is the string an array index, with cached numeric value? 246 // Is the string an array index, with cached numeric value?
246 __ mov(hash, FieldOperand(key, Name::kHashFieldOffset)); 247 __ mov(hash, FieldOperand(key, Name::kHashFieldOffset));
247 __ test(hash, Immediate(Name::kContainsCachedArrayIndexMask)); 248 __ test(hash, Immediate(Name::kContainsCachedArrayIndexMask));
248 __ j(zero, index_string); 249 __ j(zero, index_string);
249 250
250 // Is the string internalized? We already know it's a string so a single 251 // Is the string internalized? We already know it's a string so a single
251 // bit test is enough. 252 // bit test is enough.
252 STATIC_ASSERT(kNotInternalizedTag != 0); 253 STATIC_ASSERT(kNotInternalizedTag != 0);
253 __ test_b(FieldOperand(map, Map::kInstanceTypeOffset), 254 __ test_b(FieldOperand(map, Map::kInstanceTypeOffset),
254 kIsNotInternalizedMask); 255 Immediate(kIsNotInternalizedMask));
255 __ j(not_zero, not_unique); 256 __ j(not_zero, not_unique);
256 257
257 __ bind(&unique); 258 __ bind(&unique);
258 } 259 }
259 260
260 void KeyedLoadIC::GenerateMegamorphic(MacroAssembler* masm) { 261 void KeyedLoadIC::GenerateMegamorphic(MacroAssembler* masm) {
261 // The return address is on the stack. 262 // The return address is on the stack.
262 Label slow, check_name, index_smi, index_name, property_array_property; 263 Label slow, check_name, index_smi, index_name, property_array_property;
263 Label probe_dictionary, check_number_dictionary; 264 Label probe_dictionary, check_number_dictionary;
264 265
(...skipping 249 matching lines...) Expand 10 before | Expand all | Expand 10 after
514 DCHECK(receiver.is(edx)); 515 DCHECK(receiver.is(edx));
515 DCHECK(key.is(ecx)); 516 DCHECK(key.is(ecx));
516 517
517 // Check that the object isn't a smi. 518 // Check that the object isn't a smi.
518 __ JumpIfSmi(receiver, &slow); 519 __ JumpIfSmi(receiver, &slow);
519 // Get the map from the receiver. 520 // Get the map from the receiver.
520 __ mov(edi, FieldOperand(receiver, HeapObject::kMapOffset)); 521 __ mov(edi, FieldOperand(receiver, HeapObject::kMapOffset));
521 // Check that the receiver does not require access checks and is not observed. 522 // Check that the receiver does not require access checks and is not observed.
522 // The generic stub does not perform map checks or handle observed objects. 523 // The generic stub does not perform map checks or handle observed objects.
523 __ test_b(FieldOperand(edi, Map::kBitFieldOffset), 524 __ test_b(FieldOperand(edi, Map::kBitFieldOffset),
524 1 << Map::kIsAccessCheckNeeded | 1 << Map::kIsObserved); 525 Immediate(1 << Map::kIsAccessCheckNeeded | 1 << Map::kIsObserved));
525 __ j(not_zero, &slow); 526 __ j(not_zero, &slow);
526 // Check that the key is a smi. 527 // Check that the key is a smi.
527 __ JumpIfNotSmi(key, &maybe_name_key); 528 __ JumpIfNotSmi(key, &maybe_name_key);
528 __ CmpInstanceType(edi, JS_ARRAY_TYPE); 529 __ CmpInstanceType(edi, JS_ARRAY_TYPE);
529 __ j(equal, &array); 530 __ j(equal, &array);
530 // Check that the object is some kind of JS object EXCEPT JS Value type. In 531 // Check that the object is some kind of JS object EXCEPT JS Value type. In
531 // the case that the object is a value-wrapper object, we enter the runtime 532 // the case that the object is a value-wrapper object, we enter the runtime
532 // system to make sure that indexing into string objects works as intended. 533 // system to make sure that indexing into string objects works as intended.
533 STATIC_ASSERT(JS_VALUE_TYPE < JS_OBJECT_TYPE); 534 STATIC_ASSERT(JS_VALUE_TYPE < JS_OBJECT_TYPE);
534 __ CmpInstanceType(edi, JS_OBJECT_TYPE); 535 __ CmpInstanceType(edi, JS_OBJECT_TYPE);
(...skipping 316 matching lines...) Expand 10 before | Expand all | Expand 10 after
851 Condition cc = 852 Condition cc =
852 (check == ENABLE_INLINED_SMI_CHECK) 853 (check == ENABLE_INLINED_SMI_CHECK)
853 ? (*jmp_address == Assembler::kJncShortOpcode ? not_zero : zero) 854 ? (*jmp_address == Assembler::kJncShortOpcode ? not_zero : zero)
854 : (*jmp_address == Assembler::kJnzShortOpcode ? not_carry : carry); 855 : (*jmp_address == Assembler::kJnzShortOpcode ? not_carry : carry);
855 *jmp_address = static_cast<byte>(Assembler::kJccShortPrefix | cc); 856 *jmp_address = static_cast<byte>(Assembler::kJccShortPrefix | cc);
856 } 857 }
857 } // namespace internal 858 } // namespace internal
858 } // namespace v8 859 } // namespace v8
859 860
860 #endif // V8_TARGET_ARCH_IA32 861 #endif // V8_TARGET_ARCH_IA32
OLDNEW
« no previous file with comments | « src/ic/ia32/handler-compiler-ia32.cc ('k') | src/regexp/ia32/regexp-macro-assembler-ia32.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698