| OLD | NEW |
| 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_X64 | 5 #if V8_TARGET_ARCH_X64 |
| 6 | 6 |
| 7 #include "src/code-factory.h" | 7 #include "src/code-factory.h" |
| 8 #include "src/code-stubs.h" | 8 #include "src/code-stubs.h" |
| 9 #include "src/codegen.h" | 9 #include "src/codegen.h" |
| 10 #include "src/compiler.h" | 10 #include "src/compiler.h" |
| (...skipping 3225 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3236 | 3236 |
| 3237 __ JumpIfSmi(rax, if_false); | 3237 __ JumpIfSmi(rax, if_false); |
| 3238 __ CmpObjectType(rax, SIMD128_VALUE_TYPE, rbx); | 3238 __ CmpObjectType(rax, SIMD128_VALUE_TYPE, rbx); |
| 3239 PrepareForBailoutBeforeSplit(expr, true, if_true, if_false); | 3239 PrepareForBailoutBeforeSplit(expr, true, if_true, if_false); |
| 3240 Split(equal, if_true, if_false, fall_through); | 3240 Split(equal, if_true, if_false, fall_through); |
| 3241 | 3241 |
| 3242 context()->Plug(if_true, if_false); | 3242 context()->Plug(if_true, if_false); |
| 3243 } | 3243 } |
| 3244 | 3244 |
| 3245 | 3245 |
| 3246 void FullCodeGenerator::EmitIsStringWrapperSafeForDefaultValueOf( | |
| 3247 CallRuntime* expr) { | |
| 3248 ZoneList<Expression*>* args = expr->arguments(); | |
| 3249 DCHECK(args->length() == 1); | |
| 3250 | |
| 3251 VisitForAccumulatorValue(args->at(0)); | |
| 3252 | |
| 3253 Label materialize_true, materialize_false, skip_lookup; | |
| 3254 Label* if_true = NULL; | |
| 3255 Label* if_false = NULL; | |
| 3256 Label* fall_through = NULL; | |
| 3257 context()->PrepareTest(&materialize_true, &materialize_false, | |
| 3258 &if_true, &if_false, &fall_through); | |
| 3259 | |
| 3260 __ AssertNotSmi(rax); | |
| 3261 | |
| 3262 // Check whether this map has already been checked to be safe for default | |
| 3263 // valueOf. | |
| 3264 __ movp(rbx, FieldOperand(rax, HeapObject::kMapOffset)); | |
| 3265 __ testb(FieldOperand(rbx, Map::kBitField2Offset), | |
| 3266 Immediate(1 << Map::kStringWrapperSafeForDefaultValueOf)); | |
| 3267 __ j(not_zero, &skip_lookup); | |
| 3268 | |
| 3269 // Check for fast case object. Generate false result for slow case object. | |
| 3270 __ movp(rcx, FieldOperand(rax, JSObject::kPropertiesOffset)); | |
| 3271 __ movp(rcx, FieldOperand(rcx, HeapObject::kMapOffset)); | |
| 3272 __ CompareRoot(rcx, Heap::kHashTableMapRootIndex); | |
| 3273 __ j(equal, if_false); | |
| 3274 | |
| 3275 // Look for valueOf string in the descriptor array, and indicate false if | |
| 3276 // found. Since we omit an enumeration index check, if it is added via a | |
| 3277 // transition that shares its descriptor array, this is a false positive. | |
| 3278 Label entry, loop, done; | |
| 3279 | |
| 3280 // Skip loop if no descriptors are valid. | |
| 3281 __ NumberOfOwnDescriptors(rcx, rbx); | |
| 3282 __ cmpp(rcx, Immediate(0)); | |
| 3283 __ j(equal, &done); | |
| 3284 | |
| 3285 __ LoadInstanceDescriptors(rbx, r8); | |
| 3286 // rbx: descriptor array. | |
| 3287 // rcx: valid entries in the descriptor array. | |
| 3288 // Calculate the end of the descriptor array. | |
| 3289 __ imulp(rcx, rcx, Immediate(DescriptorArray::kDescriptorSize)); | |
| 3290 __ leap(rcx, | |
| 3291 Operand(r8, rcx, times_pointer_size, DescriptorArray::kFirstOffset)); | |
| 3292 // Calculate location of the first key name. | |
| 3293 __ addp(r8, Immediate(DescriptorArray::kFirstOffset)); | |
| 3294 // Loop through all the keys in the descriptor array. If one of these is the | |
| 3295 // internalized string "valueOf" the result is false. | |
| 3296 __ jmp(&entry); | |
| 3297 __ bind(&loop); | |
| 3298 __ movp(rdx, FieldOperand(r8, 0)); | |
| 3299 __ CompareRoot(rdx, Heap::kvalueOf_stringRootIndex); | |
| 3300 __ j(equal, if_false); | |
| 3301 __ addp(r8, Immediate(DescriptorArray::kDescriptorSize * kPointerSize)); | |
| 3302 __ bind(&entry); | |
| 3303 __ cmpp(r8, rcx); | |
| 3304 __ j(not_equal, &loop); | |
| 3305 | |
| 3306 __ bind(&done); | |
| 3307 | |
| 3308 // Set the bit in the map to indicate that there is no local valueOf field. | |
| 3309 __ orp(FieldOperand(rbx, Map::kBitField2Offset), | |
| 3310 Immediate(1 << Map::kStringWrapperSafeForDefaultValueOf)); | |
| 3311 | |
| 3312 __ bind(&skip_lookup); | |
| 3313 | |
| 3314 // If a valueOf property is not found on the object check that its | |
| 3315 // prototype is the un-modified String prototype. If not result is false. | |
| 3316 __ movp(rcx, FieldOperand(rbx, Map::kPrototypeOffset)); | |
| 3317 __ testp(rcx, Immediate(kSmiTagMask)); | |
| 3318 __ j(zero, if_false); | |
| 3319 __ movp(rcx, FieldOperand(rcx, HeapObject::kMapOffset)); | |
| 3320 __ movp(rdx, Operand(rsi, Context::SlotOffset(Context::GLOBAL_OBJECT_INDEX))); | |
| 3321 __ movp(rdx, FieldOperand(rdx, GlobalObject::kNativeContextOffset)); | |
| 3322 __ cmpp(rcx, | |
| 3323 ContextOperand(rdx, Context::STRING_FUNCTION_PROTOTYPE_MAP_INDEX)); | |
| 3324 PrepareForBailoutBeforeSplit(expr, true, if_true, if_false); | |
| 3325 Split(equal, if_true, if_false, fall_through); | |
| 3326 | |
| 3327 context()->Plug(if_true, if_false); | |
| 3328 } | |
| 3329 | |
| 3330 | |
| 3331 void FullCodeGenerator::EmitIsFunction(CallRuntime* expr) { | 3246 void FullCodeGenerator::EmitIsFunction(CallRuntime* expr) { |
| 3332 ZoneList<Expression*>* args = expr->arguments(); | 3247 ZoneList<Expression*>* args = expr->arguments(); |
| 3333 DCHECK(args->length() == 1); | 3248 DCHECK(args->length() == 1); |
| 3334 | 3249 |
| 3335 VisitForAccumulatorValue(args->at(0)); | 3250 VisitForAccumulatorValue(args->at(0)); |
| 3336 | 3251 |
| 3337 Label materialize_true, materialize_false; | 3252 Label materialize_true, materialize_false; |
| 3338 Label* if_true = NULL; | 3253 Label* if_true = NULL; |
| 3339 Label* if_false = NULL; | 3254 Label* if_false = NULL; |
| 3340 Label* fall_through = NULL; | 3255 Label* fall_through = NULL; |
| (...skipping 1948 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 5289 Assembler::target_address_at(call_target_address, | 5204 Assembler::target_address_at(call_target_address, |
| 5290 unoptimized_code)); | 5205 unoptimized_code)); |
| 5291 return OSR_AFTER_STACK_CHECK; | 5206 return OSR_AFTER_STACK_CHECK; |
| 5292 } | 5207 } |
| 5293 | 5208 |
| 5294 | 5209 |
| 5295 } // namespace internal | 5210 } // namespace internal |
| 5296 } // namespace v8 | 5211 } // namespace v8 |
| 5297 | 5212 |
| 5298 #endif // V8_TARGET_ARCH_X64 | 5213 #endif // V8_TARGET_ARCH_X64 |
| OLD | NEW |