| OLD | NEW |
| 1 // Copyright 2010 the V8 project authors. All rights reserved. | 1 // Copyright 2010 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 1332 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1343 // Check that both operands are smis using the answer register as a | 1343 // Check that both operands are smis using the answer register as a |
| 1344 // temporary. | 1344 // temporary. |
| 1345 DeferredInlineBinaryOperation* deferred = | 1345 DeferredInlineBinaryOperation* deferred = |
| 1346 new DeferredInlineBinaryOperation(op, | 1346 new DeferredInlineBinaryOperation(op, |
| 1347 answer.reg(), | 1347 answer.reg(), |
| 1348 left->reg(), | 1348 left->reg(), |
| 1349 rcx, | 1349 rcx, |
| 1350 overwrite_mode); | 1350 overwrite_mode); |
| 1351 | 1351 |
| 1352 Label do_op; | 1352 Label do_op; |
| 1353 // Left operand must be unchanged in left->reg() for deferred code. |
| 1354 // Left operand is in answer.reg(), possibly converted to int32, for |
| 1355 // inline code. |
| 1356 __ movq(answer.reg(), left->reg()); |
| 1353 if (right_type_info.IsSmi()) { | 1357 if (right_type_info.IsSmi()) { |
| 1354 if (FLAG_debug_code) { | 1358 if (FLAG_debug_code) { |
| 1355 __ AbortIfNotSmi(right->reg()); | 1359 __ AbortIfNotSmi(right->reg()); |
| 1356 } | 1360 } |
| 1357 __ movq(answer.reg(), left->reg()); | |
| 1358 // If left is not known to be a smi, check if it is. | 1361 // If left is not known to be a smi, check if it is. |
| 1359 // If left is not known to be a number, and it isn't a smi, check if | 1362 // If left is not known to be a number, and it isn't a smi, check if |
| 1360 // it is a HeapNumber. | 1363 // it is a HeapNumber. |
| 1361 if (!left_type_info.IsSmi()) { | 1364 if (!left_type_info.IsSmi()) { |
| 1362 __ JumpIfSmi(answer.reg(), &do_op); | 1365 __ JumpIfSmi(answer.reg(), &do_op); |
| 1363 if (!left_type_info.IsNumber()) { | 1366 if (!left_type_info.IsNumber()) { |
| 1364 // Branch if not a heapnumber. | 1367 // Branch if not a heapnumber. |
| 1365 __ Cmp(FieldOperand(answer.reg(), HeapObject::kMapOffset), | 1368 __ Cmp(FieldOperand(answer.reg(), HeapObject::kMapOffset), |
| 1366 Factory::heap_number_map()); | 1369 Factory::heap_number_map()); |
| 1367 deferred->Branch(not_equal); | 1370 deferred->Branch(not_equal); |
| 1368 } | 1371 } |
| 1369 // Load integer value into answer register using truncation. | 1372 // Load integer value into answer register using truncation. |
| 1370 __ cvttsd2si(answer.reg(), | 1373 __ cvttsd2si(answer.reg(), |
| 1371 FieldOperand(answer.reg(), HeapNumber::kValueOffset)); | 1374 FieldOperand(answer.reg(), HeapNumber::kValueOffset)); |
| 1372 // Branch if we might have overflowed. | 1375 // Branch if we might have overflowed. |
| 1373 // (False negative for Smi::kMinValue) | 1376 // (False negative for Smi::kMinValue) |
| 1374 __ cmpq(answer.reg(), Immediate(0x80000000)); | 1377 __ cmpl(answer.reg(), Immediate(0x80000000)); |
| 1375 deferred->Branch(equal); | 1378 deferred->Branch(equal); |
| 1376 // TODO(lrn): Inline shifts on int32 here instead of first smi-tagging. | 1379 // TODO(lrn): Inline shifts on int32 here instead of first smi-tagging. |
| 1377 __ Integer32ToSmi(answer.reg(), answer.reg()); | 1380 __ Integer32ToSmi(answer.reg(), answer.reg()); |
| 1378 } else { | 1381 } else { |
| 1379 // Fast case - both are actually smis. | 1382 // Fast case - both are actually smis. |
| 1380 if (FLAG_debug_code) { | 1383 if (FLAG_debug_code) { |
| 1381 __ AbortIfNotSmi(left->reg()); | 1384 __ AbortIfNotSmi(left->reg()); |
| 1382 } | 1385 } |
| 1383 } | 1386 } |
| 1384 } else { | 1387 } else { |
| 1385 JumpIfNotBothSmiUsingTypeInfo(left->reg(), rcx, | 1388 JumpIfNotBothSmiUsingTypeInfo(left->reg(), rcx, |
| 1386 left_type_info, right_type_info, deferred); | 1389 left_type_info, right_type_info, deferred); |
| 1387 } | 1390 } |
| 1388 __ bind(&do_op); | 1391 __ bind(&do_op); |
| 1389 | 1392 |
| 1390 // Perform the operation. | 1393 // Perform the operation. |
| 1391 switch (op) { | 1394 switch (op) { |
| 1392 case Token::SAR: | 1395 case Token::SAR: |
| 1393 __ SmiShiftArithmeticRight(answer.reg(), left->reg(), rcx); | 1396 __ SmiShiftArithmeticRight(answer.reg(), answer.reg(), rcx); |
| 1394 break; | 1397 break; |
| 1395 case Token::SHR: { | 1398 case Token::SHR: { |
| 1396 __ SmiShiftLogicalRight(answer.reg(), | 1399 __ SmiShiftLogicalRight(answer.reg(), |
| 1397 left->reg(), | 1400 answer.reg(), |
| 1398 rcx, | 1401 rcx, |
| 1399 deferred->entry_label()); | 1402 deferred->entry_label()); |
| 1400 break; | 1403 break; |
| 1401 } | 1404 } |
| 1402 case Token::SHL: { | 1405 case Token::SHL: { |
| 1403 __ SmiShiftLeft(answer.reg(), | 1406 __ SmiShiftLeft(answer.reg(), |
| 1404 left->reg(), | 1407 answer.reg(), |
| 1405 rcx); | 1408 rcx); |
| 1406 break; | 1409 break; |
| 1407 } | 1410 } |
| 1408 default: | 1411 default: |
| 1409 UNREACHABLE(); | 1412 UNREACHABLE(); |
| 1410 } | 1413 } |
| 1411 deferred->BindExit(); | 1414 deferred->BindExit(); |
| 1412 left->Unuse(); | 1415 left->Unuse(); |
| 1413 right->Unuse(); | 1416 right->Unuse(); |
| 1414 ASSERT(answer.is_valid()); | 1417 ASSERT(answer.is_valid()); |
| (...skipping 7507 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 8922 #undef __ | 8925 #undef __ |
| 8923 | 8926 |
| 8924 void RecordWriteStub::Generate(MacroAssembler* masm) { | 8927 void RecordWriteStub::Generate(MacroAssembler* masm) { |
| 8925 masm->RecordWriteHelper(object_, addr_, scratch_); | 8928 masm->RecordWriteHelper(object_, addr_, scratch_); |
| 8926 masm->ret(0); | 8929 masm->ret(0); |
| 8927 } | 8930 } |
| 8928 | 8931 |
| 8929 } } // namespace v8::internal | 8932 } } // namespace v8::internal |
| 8930 | 8933 |
| 8931 #endif // V8_TARGET_ARCH_X64 | 8934 #endif // V8_TARGET_ARCH_X64 |
| OLD | NEW |