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

Side by Side Diff: src/arm/code-stubs-arm.cc

Issue 1144183004: [strong] Refactor ObjectStrength into a replacement for strong boolean args (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: cl feedback and rebase Created 5 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
« no previous file with comments | « no previous file | src/arm/full-codegen-arm.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 #include "src/v8.h" 5 #include "src/v8.h"
6 6
7 #if V8_TARGET_ARCH_ARM 7 #if V8_TARGET_ARCH_ARM
8 8
9 #include "src/base/bits.h" 9 #include "src/base/bits.h"
10 #include "src/bootstrapper.h" 10 #include "src/bootstrapper.h"
(...skipping 76 matching lines...) Expand 10 before | Expand all | Expand 10 after
87 void InternalArrayNArgumentsConstructorStub::InitializeDescriptor( 87 void InternalArrayNArgumentsConstructorStub::InitializeDescriptor(
88 CodeStubDescriptor* descriptor) { 88 CodeStubDescriptor* descriptor) {
89 InitializeInternalArrayConstructorDescriptor(isolate(), descriptor, -1); 89 InitializeInternalArrayConstructorDescriptor(isolate(), descriptor, -1);
90 } 90 }
91 91
92 92
93 #define __ ACCESS_MASM(masm) 93 #define __ ACCESS_MASM(masm)
94 94
95 95
96 static void EmitIdenticalObjectComparison(MacroAssembler* masm, Label* slow, 96 static void EmitIdenticalObjectComparison(MacroAssembler* masm, Label* slow,
97 Condition cond, bool strong); 97 Condition cond, Strength strength);
98 static void EmitSmiNonsmiComparison(MacroAssembler* masm, 98 static void EmitSmiNonsmiComparison(MacroAssembler* masm,
99 Register lhs, 99 Register lhs,
100 Register rhs, 100 Register rhs,
101 Label* lhs_not_nan, 101 Label* lhs_not_nan,
102 Label* slow, 102 Label* slow,
103 bool strict); 103 bool strict);
104 static void EmitStrictTwoHeapObjectCompare(MacroAssembler* masm, 104 static void EmitStrictTwoHeapObjectCompare(MacroAssembler* masm,
105 Register lhs, 105 Register lhs,
106 Register rhs); 106 Register rhs);
107 107
(...skipping 123 matching lines...) Expand 10 before | Expand all | Expand 10 after
231 231
232 __ Pop(scratch_high, scratch_low, scratch); 232 __ Pop(scratch_high, scratch_low, scratch);
233 __ Ret(); 233 __ Ret();
234 } 234 }
235 235
236 236
237 // Handle the case where the lhs and rhs are the same object. 237 // Handle the case where the lhs and rhs are the same object.
238 // Equality is almost reflexive (everything but NaN), so this is a test 238 // Equality is almost reflexive (everything but NaN), so this is a test
239 // for "identity and not NaN". 239 // for "identity and not NaN".
240 static void EmitIdenticalObjectComparison(MacroAssembler* masm, Label* slow, 240 static void EmitIdenticalObjectComparison(MacroAssembler* masm, Label* slow,
241 Condition cond, bool strong) { 241 Condition cond, Strength strength) {
242 Label not_identical; 242 Label not_identical;
243 Label heap_number, return_equal; 243 Label heap_number, return_equal;
244 __ cmp(r0, r1); 244 __ cmp(r0, r1);
245 __ b(ne, &not_identical); 245 __ b(ne, &not_identical);
246 246
247 // Test for NaN. Sadly, we can't just compare to Factory::nan_value(), 247 // Test for NaN. Sadly, we can't just compare to Factory::nan_value(),
248 // so we do the second best thing - test it ourselves. 248 // so we do the second best thing - test it ourselves.
249 // They are both equal and they are not both Smis so both of them are not 249 // They are both equal and they are not both Smis so both of them are not
250 // Smis. If it's not a heap number, then return equal. 250 // Smis. If it's not a heap number, then return equal.
251 if (cond == lt || cond == gt) { 251 if (cond == lt || cond == gt) {
252 // Call runtime on identical JSObjects. 252 // Call runtime on identical JSObjects.
253 __ CompareObjectType(r0, r4, r4, FIRST_SPEC_OBJECT_TYPE); 253 __ CompareObjectType(r0, r4, r4, FIRST_SPEC_OBJECT_TYPE);
254 __ b(ge, slow); 254 __ b(ge, slow);
255 // Call runtime on identical symbols since we need to throw a TypeError. 255 // Call runtime on identical symbols since we need to throw a TypeError.
256 __ cmp(r4, Operand(SYMBOL_TYPE)); 256 __ cmp(r4, Operand(SYMBOL_TYPE));
257 __ b(eq, slow); 257 __ b(eq, slow);
258 if (strong) { 258 if (is_strong(strength)) {
259 // Call the runtime on anything that is converted in the semantics, since 259 // Call the runtime on anything that is converted in the semantics, since
260 // we need to throw a TypeError. Smis have already been ruled out. 260 // we need to throw a TypeError. Smis have already been ruled out.
261 __ cmp(r4, Operand(HEAP_NUMBER_TYPE)); 261 __ cmp(r4, Operand(HEAP_NUMBER_TYPE));
262 __ b(eq, &return_equal); 262 __ b(eq, &return_equal);
263 __ tst(r4, Operand(kIsNotStringMask)); 263 __ tst(r4, Operand(kIsNotStringMask));
264 __ b(ne, slow); 264 __ b(ne, slow);
265 } 265 }
266 } else { 266 } else {
267 __ CompareObjectType(r0, r4, r4, HEAP_NUMBER_TYPE); 267 __ CompareObjectType(r0, r4, r4, HEAP_NUMBER_TYPE);
268 __ b(eq, &heap_number); 268 __ b(eq, &heap_number);
269 // Comparing JS objects with <=, >= is complicated. 269 // Comparing JS objects with <=, >= is complicated.
270 if (cond != eq) { 270 if (cond != eq) {
271 __ cmp(r4, Operand(FIRST_SPEC_OBJECT_TYPE)); 271 __ cmp(r4, Operand(FIRST_SPEC_OBJECT_TYPE));
272 __ b(ge, slow); 272 __ b(ge, slow);
273 // Call runtime on identical symbols since we need to throw a TypeError. 273 // Call runtime on identical symbols since we need to throw a TypeError.
274 __ cmp(r4, Operand(SYMBOL_TYPE)); 274 __ cmp(r4, Operand(SYMBOL_TYPE));
275 __ b(eq, slow); 275 __ b(eq, slow);
276 if (strong) { 276 if (is_strong(strength)) {
277 // Call the runtime on anything that is converted in the semantics, 277 // Call the runtime on anything that is converted in the semantics,
278 // since we need to throw a TypeError. Smis and heap numbers have 278 // since we need to throw a TypeError. Smis and heap numbers have
279 // already been ruled out. 279 // already been ruled out.
280 __ tst(r4, Operand(kIsNotStringMask)); 280 __ tst(r4, Operand(kIsNotStringMask));
281 __ b(ne, slow); 281 __ b(ne, slow);
282 } 282 }
283 // Normally here we fall through to return_equal, but undefined is 283 // Normally here we fall through to return_equal, but undefined is
284 // special: (undefined == undefined) == true, but 284 // special: (undefined == undefined) == true, but
285 // (undefined <= undefined) == false! See ECMAScript 11.8.5. 285 // (undefined <= undefined) == false! See ECMAScript 11.8.5.
286 if (cond == le || cond == ge) { 286 if (cond == le || cond == ge) {
(...skipping 283 matching lines...) Expand 10 before | Expand all | Expand 10 after
570 __ mov(r1, Operand(r1, ASR, 1)); 570 __ mov(r1, Operand(r1, ASR, 1));
571 __ sub(r0, r1, Operand(r0, ASR, 1)); 571 __ sub(r0, r1, Operand(r0, ASR, 1));
572 __ Ret(); 572 __ Ret();
573 __ bind(&not_two_smis); 573 __ bind(&not_two_smis);
574 574
575 // NOTICE! This code is only reached after a smi-fast-case check, so 575 // NOTICE! This code is only reached after a smi-fast-case check, so
576 // it is certain that at least one operand isn't a smi. 576 // it is certain that at least one operand isn't a smi.
577 577
578 // Handle the case where the objects are identical. Either returns the answer 578 // Handle the case where the objects are identical. Either returns the answer
579 // or goes to slow. Only falls through if the objects were not identical. 579 // or goes to slow. Only falls through if the objects were not identical.
580 EmitIdenticalObjectComparison(masm, &slow, cc, strong()); 580 EmitIdenticalObjectComparison(masm, &slow, cc, strength());
581 581
582 // If either is a Smi (we know that not both are), then they can only 582 // If either is a Smi (we know that not both are), then they can only
583 // be strictly equal if the other is a HeapNumber. 583 // be strictly equal if the other is a HeapNumber.
584 STATIC_ASSERT(kSmiTag == 0); 584 STATIC_ASSERT(kSmiTag == 0);
585 DCHECK_EQ(static_cast<Smi*>(0), Smi::FromInt(0)); 585 DCHECK_EQ(static_cast<Smi*>(0), Smi::FromInt(0));
586 __ and_(r2, lhs, Operand(rhs)); 586 __ and_(r2, lhs, Operand(rhs));
587 __ JumpIfNotSmi(r2, &not_smis); 587 __ JumpIfNotSmi(r2, &not_smis);
588 // One operand is a smi. EmitSmiNonsmiComparison generates code that can: 588 // One operand is a smi. EmitSmiNonsmiComparison generates code that can:
589 // 1) Return the answer. 589 // 1) Return the answer.
590 // 2) Go to slow. 590 // 2) Go to slow.
(...skipping 81 matching lines...) Expand 10 before | Expand all | Expand 10 after
672 // Never falls through to here. 672 // Never falls through to here.
673 673
674 __ bind(&slow); 674 __ bind(&slow);
675 675
676 __ Push(lhs, rhs); 676 __ Push(lhs, rhs);
677 // Figure out which native to call and setup the arguments. 677 // Figure out which native to call and setup the arguments.
678 Builtins::JavaScript native; 678 Builtins::JavaScript native;
679 if (cc == eq) { 679 if (cc == eq) {
680 native = strict() ? Builtins::STRICT_EQUALS : Builtins::EQUALS; 680 native = strict() ? Builtins::STRICT_EQUALS : Builtins::EQUALS;
681 } else { 681 } else {
682 native = strong() ? Builtins::COMPARE_STRONG : Builtins::COMPARE; 682 native =
683 is_strong(strength()) ? Builtins::COMPARE_STRONG : Builtins::COMPARE;
683 int ncr; // NaN compare result 684 int ncr; // NaN compare result
684 if (cc == lt || cc == le) { 685 if (cc == lt || cc == le) {
685 ncr = GREATER; 686 ncr = GREATER;
686 } else { 687 } else {
687 DCHECK(cc == gt || cc == ge); // remaining cases 688 DCHECK(cc == gt || cc == ge); // remaining cases
688 ncr = LESS; 689 ncr = LESS;
689 } 690 }
690 __ mov(r0, Operand(Smi::FromInt(ncr))); 691 __ mov(r0, Operand(Smi::FromInt(ncr)));
691 __ push(r0); 692 __ push(r0);
692 } 693 }
(...skipping 2882 matching lines...) Expand 10 before | Expand all | Expand 10 after
3575 __ b(vs, &unordered); 3576 __ b(vs, &unordered);
3576 3577
3577 // Return a result of -1, 0, or 1, based on status bits. 3578 // Return a result of -1, 0, or 1, based on status bits.
3578 __ mov(r0, Operand(EQUAL), LeaveCC, eq); 3579 __ mov(r0, Operand(EQUAL), LeaveCC, eq);
3579 __ mov(r0, Operand(LESS), LeaveCC, lt); 3580 __ mov(r0, Operand(LESS), LeaveCC, lt);
3580 __ mov(r0, Operand(GREATER), LeaveCC, gt); 3581 __ mov(r0, Operand(GREATER), LeaveCC, gt);
3581 __ Ret(); 3582 __ Ret();
3582 3583
3583 __ bind(&unordered); 3584 __ bind(&unordered);
3584 __ bind(&generic_stub); 3585 __ bind(&generic_stub);
3585 CompareICStub stub(isolate(), op(), strong(), CompareICState::GENERIC, 3586 CompareICStub stub(isolate(), op(), strength(), CompareICState::GENERIC,
3586 CompareICState::GENERIC, CompareICState::GENERIC); 3587 CompareICState::GENERIC, CompareICState::GENERIC);
3587 __ Jump(stub.GetCode(), RelocInfo::CODE_TARGET); 3588 __ Jump(stub.GetCode(), RelocInfo::CODE_TARGET);
3588 3589
3589 __ bind(&maybe_undefined1); 3590 __ bind(&maybe_undefined1);
3590 if (Token::IsOrderedRelationalCompareOp(op())) { 3591 if (Token::IsOrderedRelationalCompareOp(op())) {
3591 __ CompareRoot(r0, Heap::kUndefinedValueRootIndex); 3592 __ CompareRoot(r0, Heap::kUndefinedValueRootIndex);
3592 __ b(ne, &miss); 3593 __ b(ne, &miss);
3593 __ JumpIfSmi(r1, &unordered); 3594 __ JumpIfSmi(r1, &unordered);
3594 __ CompareObjectType(r1, r2, r2, HEAP_NUMBER_TYPE); 3595 __ CompareObjectType(r1, r2, r2, HEAP_NUMBER_TYPE);
3595 __ b(ne, &maybe_undefined2); 3596 __ b(ne, &maybe_undefined2);
(...skipping 1763 matching lines...) Expand 10 before | Expand all | Expand 10 after
5359 MemOperand(fp, 6 * kPointerSize), NULL); 5360 MemOperand(fp, 6 * kPointerSize), NULL);
5360 } 5361 }
5361 5362
5362 5363
5363 #undef __ 5364 #undef __
5364 5365
5365 } // namespace internal 5366 } // namespace internal
5366 } // namespace v8 5367 } // namespace v8
5367 5368
5368 #endif // V8_TARGET_ARCH_ARM 5369 #endif // V8_TARGET_ARCH_ARM
OLDNEW
« no previous file with comments | « no previous file | src/arm/full-codegen-arm.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698