| OLD | NEW |
| 1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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 213 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 224 } | 224 } |
| 225 | 225 |
| 226 // Return and remove the on-stack parameters. | 226 // Return and remove the on-stack parameters. |
| 227 __ ret(3 * kPointerSize); | 227 __ ret(3 * kPointerSize); |
| 228 | 228 |
| 229 __ bind(&slow_case); | 229 __ bind(&slow_case); |
| 230 __ TailCallRuntime(Runtime::kCreateArrayLiteralShallow, 3, 1); | 230 __ TailCallRuntime(Runtime::kCreateArrayLiteralShallow, 3, 1); |
| 231 } | 231 } |
| 232 | 232 |
| 233 | 233 |
| 234 // The stub returns zero for false, and a non-zero value for true. |
| 234 void ToBooleanStub::Generate(MacroAssembler* masm) { | 235 void ToBooleanStub::Generate(MacroAssembler* masm) { |
| 235 Label false_result, true_result, not_string; | 236 Label false_result, true_result, not_string; |
| 237 const Register map = rdx; |
| 238 |
| 236 __ movq(rax, Operand(rsp, 1 * kPointerSize)); | 239 __ movq(rax, Operand(rsp, 1 * kPointerSize)); |
| 237 | 240 |
| 238 // undefined -> false | 241 // undefined -> false |
| 239 __ CompareRoot(rax, Heap::kUndefinedValueRootIndex); | 242 __ CompareRoot(rax, Heap::kUndefinedValueRootIndex); |
| 240 __ j(equal, &false_result); | 243 __ j(equal, &false_result); |
| 241 | 244 |
| 242 // Boolean -> its value | 245 // Boolean -> its value |
| 243 __ CompareRoot(rax, Heap::kFalseValueRootIndex); | 246 __ CompareRoot(rax, Heap::kFalseValueRootIndex); |
| 244 __ j(equal, &false_result); | 247 __ j(equal, &false_result); |
| 245 __ CompareRoot(rax, Heap::kTrueValueRootIndex); | 248 __ CompareRoot(rax, Heap::kTrueValueRootIndex); |
| 246 __ j(equal, &true_result); | 249 __ j(equal, &true_result); |
| 247 | 250 |
| 248 // Smis: 0 -> false, all other -> true | 251 // Smis: 0 -> false, all other -> true |
| 249 __ Cmp(rax, Smi::FromInt(0)); | 252 __ Cmp(rax, Smi::FromInt(0)); |
| 250 __ j(equal, &false_result); | 253 __ j(equal, &false_result); |
| 251 __ JumpIfSmi(rax, &true_result); | 254 __ JumpIfSmi(rax, &true_result); |
| 252 | 255 |
| 253 // 'null' => false. | 256 // 'null' -> false. |
| 254 __ CompareRoot(rax, Heap::kNullValueRootIndex); | 257 __ CompareRoot(rax, Heap::kNullValueRootIndex); |
| 255 __ j(equal, &false_result, Label::kNear); | 258 __ j(equal, &false_result, Label::kNear); |
| 256 | 259 |
| 257 // Get the map and type of the heap object. | 260 // Get the map of the heap object. |
| 258 // We don't use CmpObjectType because we manipulate the type field. | 261 __ movq(map, FieldOperand(rax, HeapObject::kMapOffset)); |
| 259 __ movq(rdx, FieldOperand(rax, HeapObject::kMapOffset)); | |
| 260 __ movzxbq(rcx, FieldOperand(rdx, Map::kInstanceTypeOffset)); | |
| 261 | 262 |
| 262 // Undetectable => false. | 263 // Undetectable -> false. |
| 263 __ movzxbq(rbx, FieldOperand(rdx, Map::kBitFieldOffset)); | 264 __ testb(FieldOperand(map, Map::kBitFieldOffset), |
| 264 __ and_(rbx, Immediate(1 << Map::kIsUndetectable)); | 265 Immediate(1 << Map::kIsUndetectable)); |
| 265 __ j(not_zero, &false_result, Label::kNear); | 266 __ j(not_zero, &false_result, Label::kNear); |
| 266 | 267 |
| 267 // JavaScript object => true. | 268 // JavaScript object -> true. |
| 268 __ cmpq(rcx, Immediate(FIRST_SPEC_OBJECT_TYPE)); | 269 __ CmpInstanceType(map, FIRST_SPEC_OBJECT_TYPE); |
| 269 __ j(above_equal, &true_result, Label::kNear); | 270 __ j(above_equal, &true_result, Label::kNear); |
| 270 | 271 |
| 271 // String value => false iff empty. | 272 // String value -> false iff empty. |
| 272 __ cmpq(rcx, Immediate(FIRST_NONSTRING_TYPE)); | 273 __ CmpInstanceType(map, FIRST_NONSTRING_TYPE); |
| 273 __ j(above_equal, ¬_string, Label::kNear); | 274 __ j(above_equal, ¬_string, Label::kNear); |
| 274 __ movq(rdx, FieldOperand(rax, String::kLengthOffset)); | 275 __ cmpq(FieldOperand(rax, String::kLengthOffset), Immediate(0)); |
| 275 __ SmiTest(rdx); | |
| 276 __ j(zero, &false_result, Label::kNear); | 276 __ j(zero, &false_result, Label::kNear); |
| 277 __ jmp(&true_result, Label::kNear); | 277 __ jmp(&true_result, Label::kNear); |
| 278 | 278 |
| 279 __ bind(¬_string); | 279 __ bind(¬_string); |
| 280 __ CompareRoot(rdx, Heap::kHeapNumberMapRootIndex); | 280 // HeapNumber -> false iff +0, -0, or NaN. |
| 281 // These three cases set the zero flag when compared to zero using ucomisd. |
| 282 __ CompareRoot(map, Heap::kHeapNumberMapRootIndex); |
| 281 __ j(not_equal, &true_result, Label::kNear); | 283 __ j(not_equal, &true_result, Label::kNear); |
| 282 // HeapNumber => false iff +0, -0, or NaN. | |
| 283 // These three cases set the zero flag when compared to zero using ucomisd. | |
| 284 __ xorps(xmm0, xmm0); | 284 __ xorps(xmm0, xmm0); |
| 285 __ ucomisd(xmm0, FieldOperand(rax, HeapNumber::kValueOffset)); | 285 __ ucomisd(xmm0, FieldOperand(rax, HeapNumber::kValueOffset)); |
| 286 __ j(zero, &false_result, Label::kNear); | 286 __ j(zero, &false_result, Label::kNear); |
| 287 // Fall through to |true_result|. | 287 // Fall through to |true_result|. |
| 288 | 288 |
| 289 // Return 1/0 for true/false in rax. | 289 // Return 1/0 for true/false in tos_. |
| 290 __ bind(&true_result); | 290 __ bind(&true_result); |
| 291 __ Set(rax, 1); | 291 __ Set(tos_, 1); |
| 292 __ ret(1 * kPointerSize); | 292 __ ret(1 * kPointerSize); |
| 293 __ bind(&false_result); | 293 __ bind(&false_result); |
| 294 __ Set(rax, 0); | 294 __ Set(tos_, 0); |
| 295 __ ret(1 * kPointerSize); | 295 __ ret(1 * kPointerSize); |
| 296 } | 296 } |
| 297 | 297 |
| 298 | 298 |
| 299 class FloatingPointHelper : public AllStatic { | 299 class FloatingPointHelper : public AllStatic { |
| 300 public: | 300 public: |
| 301 // Load the operands from rdx and rax into xmm0 and xmm1, as doubles. | 301 // Load the operands from rdx and rax into xmm0 and xmm1, as doubles. |
| 302 // If the operands are not both numbers, jump to not_numbers. | 302 // If the operands are not both numbers, jump to not_numbers. |
| 303 // Leaves rdx and rax unchanged. SmiOperands assumes both are smis. | 303 // Leaves rdx and rax unchanged. SmiOperands assumes both are smis. |
| 304 // NumberOperands assumes both are smis or heap numbers. | 304 // NumberOperands assumes both are smis or heap numbers. |
| (...skipping 5035 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 5340 __ Drop(1); | 5340 __ Drop(1); |
| 5341 __ ret(2 * kPointerSize); | 5341 __ ret(2 * kPointerSize); |
| 5342 } | 5342 } |
| 5343 | 5343 |
| 5344 | 5344 |
| 5345 #undef __ | 5345 #undef __ |
| 5346 | 5346 |
| 5347 } } // namespace v8::internal | 5347 } } // namespace v8::internal |
| 5348 | 5348 |
| 5349 #endif // V8_TARGET_ARCH_X64 | 5349 #endif // V8_TARGET_ARCH_X64 |
| OLD | NEW |