OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 3350 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3361 case FAST_DOUBLE_ELEMENTS: | 3361 case FAST_DOUBLE_ELEMENTS: |
3362 case DICTIONARY_ELEMENTS: | 3362 case DICTIONARY_ELEMENTS: |
3363 case NON_STRICT_ARGUMENTS_ELEMENTS: | 3363 case NON_STRICT_ARGUMENTS_ELEMENTS: |
3364 UNREACHABLE(); | 3364 UNREACHABLE(); |
3365 return false; | 3365 return false; |
3366 } | 3366 } |
3367 return false; | 3367 return false; |
3368 } | 3368 } |
3369 | 3369 |
3370 | 3370 |
| 3371 static void GenerateSmiKeyCheck(MacroAssembler* masm, |
| 3372 Register key, |
| 3373 Register scratch0, |
| 3374 Register scratch1, |
| 3375 DwVfpRegister double_scratch0, |
| 3376 Label* fail) { |
| 3377 if (CpuFeatures::IsSupported(VFP3)) { |
| 3378 CpuFeatures::Scope scope(VFP3); |
| 3379 Label key_ok; |
| 3380 // Check for smi or a smi inside a heap number. We convert the heap |
| 3381 // number and check if the conversion is exact and fits into the smi |
| 3382 // range. |
| 3383 __ JumpIfSmi(key, &key_ok); |
| 3384 __ CheckMap(key, |
| 3385 scratch0, |
| 3386 Heap::kHeapNumberMapRootIndex, |
| 3387 fail, |
| 3388 DONT_DO_SMI_CHECK); |
| 3389 __ sub(ip, key, Operand(kHeapObjectTag)); |
| 3390 __ vldr(double_scratch0, ip, HeapNumber::kValueOffset); |
| 3391 __ EmitVFPTruncate(kRoundToZero, |
| 3392 double_scratch0.low(), |
| 3393 double_scratch0, |
| 3394 scratch0, |
| 3395 scratch1, |
| 3396 kCheckForInexactConversion); |
| 3397 __ b(ne, fail); |
| 3398 __ vmov(scratch0, double_scratch0.low()); |
| 3399 __ TrySmiTag(scratch0, fail, scratch1); |
| 3400 __ mov(key, scratch0); |
| 3401 __ bind(&key_ok); |
| 3402 } else { |
| 3403 // Check that the key is a smi. |
| 3404 __ JumpIfNotSmi(key, fail); |
| 3405 } |
| 3406 } |
| 3407 |
| 3408 |
3371 void KeyedLoadStubCompiler::GenerateLoadExternalArray( | 3409 void KeyedLoadStubCompiler::GenerateLoadExternalArray( |
3372 MacroAssembler* masm, | 3410 MacroAssembler* masm, |
3373 ElementsKind elements_kind) { | 3411 ElementsKind elements_kind) { |
3374 // ---------- S t a t e -------------- | 3412 // ---------- S t a t e -------------- |
3375 // -- lr : return address | 3413 // -- lr : return address |
3376 // -- r0 : key | 3414 // -- r0 : key |
3377 // -- r1 : receiver | 3415 // -- r1 : receiver |
3378 // ----------------------------------- | 3416 // ----------------------------------- |
3379 Label miss_force_generic, slow, failed_allocation; | 3417 Label miss_force_generic, slow, failed_allocation; |
3380 | 3418 |
3381 Register key = r0; | 3419 Register key = r0; |
3382 Register receiver = r1; | 3420 Register receiver = r1; |
3383 | 3421 |
3384 // This stub is meant to be tail-jumped to, the receiver must already | 3422 // This stub is meant to be tail-jumped to, the receiver must already |
3385 // have been verified by the caller to not be a smi. | 3423 // have been verified by the caller to not be a smi. |
3386 | 3424 |
3387 // Check that the key is a smi. | 3425 // Check that the key is a smi or a heap number convertible to a smi. |
3388 __ JumpIfNotSmi(key, &miss_force_generic); | 3426 GenerateSmiKeyCheck(masm, key, r4, r5, d1, &miss_force_generic); |
3389 | 3427 |
3390 __ ldr(r3, FieldMemOperand(receiver, JSObject::kElementsOffset)); | 3428 __ ldr(r3, FieldMemOperand(receiver, JSObject::kElementsOffset)); |
3391 // r3: elements array | 3429 // r3: elements array |
3392 | 3430 |
3393 // Check that the index is in range. | 3431 // Check that the index is in range. |
3394 __ ldr(ip, FieldMemOperand(r3, ExternalArray::kLengthOffset)); | 3432 __ ldr(ip, FieldMemOperand(r3, ExternalArray::kLengthOffset)); |
3395 __ cmp(key, ip); | 3433 __ cmp(key, ip); |
3396 // Unsigned comparison catches both negative and too-large values. | 3434 // Unsigned comparison catches both negative and too-large values. |
3397 __ b(hs, &miss_force_generic); | 3435 __ b(hs, &miss_force_generic); |
3398 | 3436 |
(...skipping 309 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3708 | 3746 |
3709 // Register usage. | 3747 // Register usage. |
3710 Register value = r0; | 3748 Register value = r0; |
3711 Register key = r1; | 3749 Register key = r1; |
3712 Register receiver = r2; | 3750 Register receiver = r2; |
3713 // r3 mostly holds the elements array or the destination external array. | 3751 // r3 mostly holds the elements array or the destination external array. |
3714 | 3752 |
3715 // This stub is meant to be tail-jumped to, the receiver must already | 3753 // This stub is meant to be tail-jumped to, the receiver must already |
3716 // have been verified by the caller to not be a smi. | 3754 // have been verified by the caller to not be a smi. |
3717 | 3755 |
3718 // Check that the key is a smi. | 3756 // Check that the key is a smi or a heap number convertible to a smi. |
3719 __ JumpIfNotSmi(key, &miss_force_generic); | 3757 GenerateSmiKeyCheck(masm, key, r4, r5, d1, &miss_force_generic); |
3720 | 3758 |
3721 __ ldr(r3, FieldMemOperand(receiver, JSObject::kElementsOffset)); | 3759 __ ldr(r3, FieldMemOperand(receiver, JSObject::kElementsOffset)); |
3722 | 3760 |
3723 // Check that the index is in range | 3761 // Check that the index is in range |
3724 __ ldr(ip, FieldMemOperand(r3, ExternalArray::kLengthOffset)); | 3762 __ ldr(ip, FieldMemOperand(r3, ExternalArray::kLengthOffset)); |
3725 __ cmp(key, ip); | 3763 __ cmp(key, ip); |
3726 // Unsigned comparison catches both negative and too-large values. | 3764 // Unsigned comparison catches both negative and too-large values. |
3727 __ b(hs, &miss_force_generic); | 3765 __ b(hs, &miss_force_generic); |
3728 | 3766 |
3729 // Handle both smis and HeapNumbers in the fast path. Go to the | 3767 // Handle both smis and HeapNumbers in the fast path. Go to the |
(...skipping 304 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4034 // ----------- S t a t e ------------- | 4072 // ----------- S t a t e ------------- |
4035 // -- lr : return address | 4073 // -- lr : return address |
4036 // -- r0 : key | 4074 // -- r0 : key |
4037 // -- r1 : receiver | 4075 // -- r1 : receiver |
4038 // ----------------------------------- | 4076 // ----------------------------------- |
4039 Label miss_force_generic; | 4077 Label miss_force_generic; |
4040 | 4078 |
4041 // This stub is meant to be tail-jumped to, the receiver must already | 4079 // This stub is meant to be tail-jumped to, the receiver must already |
4042 // have been verified by the caller to not be a smi. | 4080 // have been verified by the caller to not be a smi. |
4043 | 4081 |
4044 // Check that the key is a smi. | 4082 // Check that the key is a smi or a heap number convertible to a smi. |
4045 __ JumpIfNotSmi(r0, &miss_force_generic); | 4083 GenerateSmiKeyCheck(masm, r0, r4, r5, d1, &miss_force_generic); |
4046 | 4084 |
4047 // Get the elements array. | 4085 // Get the elements array. |
4048 __ ldr(r2, FieldMemOperand(r1, JSObject::kElementsOffset)); | 4086 __ ldr(r2, FieldMemOperand(r1, JSObject::kElementsOffset)); |
4049 __ AssertFastElements(r2); | 4087 __ AssertFastElements(r2); |
4050 | 4088 |
4051 // Check that the key is within bounds. | 4089 // Check that the key is within bounds. |
4052 __ ldr(r3, FieldMemOperand(r2, FixedArray::kLengthOffset)); | 4090 __ ldr(r3, FieldMemOperand(r2, FixedArray::kLengthOffset)); |
4053 __ cmp(r0, Operand(r3)); | 4091 __ cmp(r0, Operand(r3)); |
4054 __ b(hs, &miss_force_generic); | 4092 __ b(hs, &miss_force_generic); |
4055 | 4093 |
(...skipping 30 matching lines...) Expand all Loading... |
4086 Register heap_number_reg = r2; | 4124 Register heap_number_reg = r2; |
4087 Register indexed_double_offset = r3; | 4125 Register indexed_double_offset = r3; |
4088 Register scratch = r4; | 4126 Register scratch = r4; |
4089 Register scratch2 = r5; | 4127 Register scratch2 = r5; |
4090 Register scratch3 = r6; | 4128 Register scratch3 = r6; |
4091 Register heap_number_map = r7; | 4129 Register heap_number_map = r7; |
4092 | 4130 |
4093 // This stub is meant to be tail-jumped to, the receiver must already | 4131 // This stub is meant to be tail-jumped to, the receiver must already |
4094 // have been verified by the caller to not be a smi. | 4132 // have been verified by the caller to not be a smi. |
4095 | 4133 |
4096 // Check that the key is a smi. | 4134 // Check that the key is a smi or a heap number convertible to a smi. |
4097 __ JumpIfNotSmi(key_reg, &miss_force_generic); | 4135 GenerateSmiKeyCheck(masm, key_reg, r4, r5, d1, &miss_force_generic); |
4098 | 4136 |
4099 // Get the elements array. | 4137 // Get the elements array. |
4100 __ ldr(elements_reg, | 4138 __ ldr(elements_reg, |
4101 FieldMemOperand(receiver_reg, JSObject::kElementsOffset)); | 4139 FieldMemOperand(receiver_reg, JSObject::kElementsOffset)); |
4102 | 4140 |
4103 // Check that the key is within bounds. | 4141 // Check that the key is within bounds. |
4104 __ ldr(scratch, FieldMemOperand(elements_reg, FixedArray::kLengthOffset)); | 4142 __ ldr(scratch, FieldMemOperand(elements_reg, FixedArray::kLengthOffset)); |
4105 __ cmp(key_reg, Operand(scratch)); | 4143 __ cmp(key_reg, Operand(scratch)); |
4106 __ b(hs, &miss_force_generic); | 4144 __ b(hs, &miss_force_generic); |
4107 | 4145 |
(...skipping 54 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4162 Register key_reg = r1; | 4200 Register key_reg = r1; |
4163 Register receiver_reg = r2; | 4201 Register receiver_reg = r2; |
4164 Register scratch = r4; | 4202 Register scratch = r4; |
4165 Register elements_reg = r3; | 4203 Register elements_reg = r3; |
4166 Register length_reg = r5; | 4204 Register length_reg = r5; |
4167 Register scratch2 = r6; | 4205 Register scratch2 = r6; |
4168 | 4206 |
4169 // This stub is meant to be tail-jumped to, the receiver must already | 4207 // This stub is meant to be tail-jumped to, the receiver must already |
4170 // have been verified by the caller to not be a smi. | 4208 // have been verified by the caller to not be a smi. |
4171 | 4209 |
4172 // Check that the key is a smi. | 4210 // Check that the key is a smi or a heap number convertible to a smi. |
4173 __ JumpIfNotSmi(key_reg, &miss_force_generic); | 4211 GenerateSmiKeyCheck(masm, key_reg, r4, r5, d1, &miss_force_generic); |
4174 | 4212 |
4175 if (elements_kind == FAST_SMI_ONLY_ELEMENTS) { | 4213 if (elements_kind == FAST_SMI_ONLY_ELEMENTS) { |
4176 __ JumpIfNotSmi(value_reg, &transition_elements_kind); | 4214 __ JumpIfNotSmi(value_reg, &transition_elements_kind); |
4177 } | 4215 } |
4178 | 4216 |
4179 // Check that the key is within bounds. | 4217 // Check that the key is within bounds. |
4180 __ ldr(elements_reg, | 4218 __ ldr(elements_reg, |
4181 FieldMemOperand(receiver_reg, JSObject::kElementsOffset)); | 4219 FieldMemOperand(receiver_reg, JSObject::kElementsOffset)); |
4182 if (is_js_array) { | 4220 if (is_js_array) { |
4183 __ ldr(scratch, FieldMemOperand(receiver_reg, JSArray::kLengthOffset)); | 4221 __ ldr(scratch, FieldMemOperand(receiver_reg, JSArray::kLengthOffset)); |
(...skipping 145 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4329 Register receiver_reg = r2; | 4367 Register receiver_reg = r2; |
4330 Register elements_reg = r3; | 4368 Register elements_reg = r3; |
4331 Register scratch1 = r4; | 4369 Register scratch1 = r4; |
4332 Register scratch2 = r5; | 4370 Register scratch2 = r5; |
4333 Register scratch3 = r6; | 4371 Register scratch3 = r6; |
4334 Register scratch4 = r7; | 4372 Register scratch4 = r7; |
4335 Register length_reg = r7; | 4373 Register length_reg = r7; |
4336 | 4374 |
4337 // This stub is meant to be tail-jumped to, the receiver must already | 4375 // This stub is meant to be tail-jumped to, the receiver must already |
4338 // have been verified by the caller to not be a smi. | 4376 // have been verified by the caller to not be a smi. |
4339 __ JumpIfNotSmi(key_reg, &miss_force_generic); | 4377 |
| 4378 // Check that the key is a smi or a heap number convertible to a smi. |
| 4379 GenerateSmiKeyCheck(masm, key_reg, r4, r5, d1, &miss_force_generic); |
4340 | 4380 |
4341 __ ldr(elements_reg, | 4381 __ ldr(elements_reg, |
4342 FieldMemOperand(receiver_reg, JSObject::kElementsOffset)); | 4382 FieldMemOperand(receiver_reg, JSObject::kElementsOffset)); |
4343 | 4383 |
4344 // Check that the key is within bounds. | 4384 // Check that the key is within bounds. |
4345 if (is_js_array) { | 4385 if (is_js_array) { |
4346 __ ldr(scratch1, FieldMemOperand(receiver_reg, JSArray::kLengthOffset)); | 4386 __ ldr(scratch1, FieldMemOperand(receiver_reg, JSArray::kLengthOffset)); |
4347 } else { | 4387 } else { |
4348 __ ldr(scratch1, | 4388 __ ldr(scratch1, |
4349 FieldMemOperand(elements_reg, FixedArray::kLengthOffset)); | 4389 FieldMemOperand(elements_reg, FixedArray::kLengthOffset)); |
(...skipping 96 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4446 __ Jump(ic_slow, RelocInfo::CODE_TARGET); | 4486 __ Jump(ic_slow, RelocInfo::CODE_TARGET); |
4447 } | 4487 } |
4448 } | 4488 } |
4449 | 4489 |
4450 | 4490 |
4451 #undef __ | 4491 #undef __ |
4452 | 4492 |
4453 } } // namespace v8::internal | 4493 } } // namespace v8::internal |
4454 | 4494 |
4455 #endif // V8_TARGET_ARCH_ARM | 4495 #endif // V8_TARGET_ARCH_ARM |
OLD | NEW |