| 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 1097 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1108 | 1108 |
| 1109 void LCodeGen::DoUnknownOSRValue(LUnknownOSRValue* instr) { | 1109 void LCodeGen::DoUnknownOSRValue(LUnknownOSRValue* instr) { |
| 1110 GenerateOsrPrologue(); | 1110 GenerateOsrPrologue(); |
| 1111 } | 1111 } |
| 1112 | 1112 |
| 1113 | 1113 |
| 1114 void LCodeGen::DoModI(LModI* instr) { | 1114 void LCodeGen::DoModI(LModI* instr) { |
| 1115 HMod* hmod = instr->hydrogen(); | 1115 HMod* hmod = instr->hydrogen(); |
| 1116 HValue* left = hmod->left(); | 1116 HValue* left = hmod->left(); |
| 1117 HValue* right = hmod->right(); | 1117 HValue* right = hmod->right(); |
| 1118 if (hmod->HasPowerOf2Divisor()) { | 1118 if (hmod->RightIsPowerOf2()) { |
| 1119 // TODO(svenpanne) We should really do the strength reduction on the | 1119 // TODO(svenpanne) We should really do the strength reduction on the |
| 1120 // Hydrogen level. | 1120 // Hydrogen level. |
| 1121 Register left_reg = ToRegister(instr->left()); | 1121 Register left_reg = ToRegister(instr->left()); |
| 1122 Register result_reg = ToRegister(instr->result()); | 1122 Register result_reg = ToRegister(instr->result()); |
| 1123 | 1123 |
| 1124 // Note: The code below even works when right contains kMinInt. | 1124 // Note: The code below even works when right contains kMinInt. |
| 1125 int32_t divisor = Abs(right->GetInteger32Constant()); | 1125 int32_t divisor = Abs(right->GetInteger32Constant()); |
| 1126 | 1126 |
| 1127 Label left_is_not_negative, done; | 1127 Label left_is_not_negative, done; |
| 1128 if (left->CanBeNegative()) { | 1128 if (left->CanBeNegative()) { |
| (...skipping 209 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1338 // This sequence could be replaced with 'mls' when | 1338 // This sequence could be replaced with 'mls' when |
| 1339 // it gets implemented. | 1339 // it gets implemented. |
| 1340 __ mul(scratch, result, ip); | 1340 __ mul(scratch, result, ip); |
| 1341 __ sub(remainder, dividend, scratch); | 1341 __ sub(remainder, dividend, scratch); |
| 1342 } | 1342 } |
| 1343 } | 1343 } |
| 1344 } | 1344 } |
| 1345 | 1345 |
| 1346 | 1346 |
| 1347 void LCodeGen::DoDivI(LDivI* instr) { | 1347 void LCodeGen::DoDivI(LDivI* instr) { |
| 1348 if (instr->hydrogen()->HasPowerOf2Divisor()) { | 1348 if (!instr->is_flooring() && instr->hydrogen()->RightIsPowerOf2()) { |
| 1349 const Register dividend = ToRegister(instr->left()); | 1349 const Register dividend = ToRegister(instr->left()); |
| 1350 const Register result = ToRegister(instr->result()); | 1350 const Register result = ToRegister(instr->result()); |
| 1351 int32_t divisor = instr->hydrogen()->right()->GetInteger32Constant(); | 1351 int32_t divisor = instr->hydrogen()->right()->GetInteger32Constant(); |
| 1352 int32_t test_value = 0; | 1352 int32_t test_value = 0; |
| 1353 int32_t power = 0; | 1353 int32_t power = 0; |
| 1354 | 1354 |
| 1355 if (divisor > 0) { | 1355 if (divisor > 0) { |
| 1356 test_value = divisor - 1; | 1356 test_value = divisor - 1; |
| 1357 power = WhichPowerOf2(divisor); | 1357 power = WhichPowerOf2(divisor); |
| 1358 } else { | 1358 } else { |
| (...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1395 } | 1395 } |
| 1396 | 1396 |
| 1397 return; | 1397 return; |
| 1398 } | 1398 } |
| 1399 | 1399 |
| 1400 const Register left = ToRegister(instr->left()); | 1400 const Register left = ToRegister(instr->left()); |
| 1401 const Register right = ToRegister(instr->right()); | 1401 const Register right = ToRegister(instr->right()); |
| 1402 const Register result = ToRegister(instr->result()); | 1402 const Register result = ToRegister(instr->result()); |
| 1403 | 1403 |
| 1404 // Check for x / 0. | 1404 // Check for x / 0. |
| 1405 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) { | 1405 if (instr->hydrogen_value()->CheckFlag(HValue::kCanBeDivByZero)) { |
| 1406 __ cmp(right, Operand::Zero()); | 1406 __ cmp(right, Operand::Zero()); |
| 1407 DeoptimizeIf(eq, instr->environment()); | 1407 DeoptimizeIf(eq, instr->environment()); |
| 1408 } | 1408 } |
| 1409 | 1409 |
| 1410 // Check for (0 / -x) that will produce negative zero. | 1410 // Check for (0 / -x) that will produce negative zero. |
| 1411 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1411 if (instr->hydrogen_value()->CheckFlag(HValue::kBailoutOnMinusZero)) { |
| 1412 Label positive; | 1412 Label positive; |
| 1413 if (!instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) { | 1413 if (!instr->hydrogen_value()->CheckFlag(HValue::kCanBeDivByZero)) { |
| 1414 // Do the test only if it hadn't be done above. | 1414 // Do the test only if it hadn't be done above. |
| 1415 __ cmp(right, Operand::Zero()); | 1415 __ cmp(right, Operand::Zero()); |
| 1416 } | 1416 } |
| 1417 __ b(pl, &positive); | 1417 __ b(pl, &positive); |
| 1418 __ cmp(left, Operand::Zero()); | 1418 __ cmp(left, Operand::Zero()); |
| 1419 DeoptimizeIf(eq, instr->environment()); | 1419 DeoptimizeIf(eq, instr->environment()); |
| 1420 __ bind(&positive); | 1420 __ bind(&positive); |
| 1421 } | 1421 } |
| 1422 | 1422 |
| 1423 // Check for (kMinInt / -1). | 1423 // Check for (kMinInt / -1). |
| 1424 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow) && | 1424 if (instr->hydrogen_value()->CheckFlag(HValue::kCanOverflow) && |
| 1425 (!CpuFeatures::IsSupported(SUDIV) || | 1425 (!CpuFeatures::IsSupported(SUDIV) || |
| 1426 !instr->hydrogen()->CheckFlag(HValue::kAllUsesTruncatingToInt32))) { | 1426 !instr->hydrogen_value()->CheckFlag( |
| 1427 HValue::kAllUsesTruncatingToInt32))) { |
| 1427 // We don't need to check for overflow when truncating with sdiv | 1428 // We don't need to check for overflow when truncating with sdiv |
| 1428 // support because, on ARM, sdiv kMinInt, -1 -> kMinInt. | 1429 // support because, on ARM, sdiv kMinInt, -1 -> kMinInt. |
| 1429 __ cmp(left, Operand(kMinInt)); | 1430 __ cmp(left, Operand(kMinInt)); |
| 1430 __ cmp(right, Operand(-1), eq); | 1431 __ cmp(right, Operand(-1), eq); |
| 1431 DeoptimizeIf(eq, instr->environment()); | 1432 DeoptimizeIf(eq, instr->environment()); |
| 1432 } | 1433 } |
| 1433 | 1434 |
| 1434 if (CpuFeatures::IsSupported(SUDIV)) { | 1435 if (CpuFeatures::IsSupported(SUDIV)) { |
| 1435 CpuFeatureScope scope(masm(), SUDIV); | 1436 CpuFeatureScope scope(masm(), SUDIV); |
| 1436 __ sdiv(result, left, right); | 1437 __ sdiv(result, left, right); |
| 1437 | 1438 |
| 1438 if (!instr->hydrogen()->CheckFlag( | 1439 if (!instr->hydrogen_value()->CheckFlag( |
| 1439 HInstruction::kAllUsesTruncatingToInt32)) { | 1440 HInstruction::kAllUsesTruncatingToInt32)) { |
| 1440 // Compute remainder and deopt if it's not zero. | 1441 // Compute remainder and deopt if it's not zero. |
| 1441 const Register remainder = scratch0(); | 1442 const Register remainder = scratch0(); |
| 1442 __ mls(remainder, result, right, left); | 1443 __ mls(remainder, result, right, left); |
| 1443 __ cmp(remainder, Operand::Zero()); | 1444 __ cmp(remainder, Operand::Zero()); |
| 1444 DeoptimizeIf(ne, instr->environment()); | 1445 DeoptimizeIf(ne, instr->environment()); |
| 1445 } | 1446 } |
| 1446 } else { | 1447 } else { |
| 1447 const DoubleRegister vleft = ToDoubleRegister(instr->temp()); | 1448 const DoubleRegister vleft = ToDoubleRegister(instr->temp()); |
| 1448 const DoubleRegister vright = double_scratch0(); | 1449 const DoubleRegister vright = double_scratch0(); |
| 1449 __ vmov(double_scratch0().low(), left); | 1450 __ vmov(double_scratch0().low(), left); |
| 1450 __ vcvt_f64_s32(vleft, double_scratch0().low()); | 1451 __ vcvt_f64_s32(vleft, double_scratch0().low()); |
| 1451 __ vmov(double_scratch0().low(), right); | 1452 __ vmov(double_scratch0().low(), right); |
| 1452 __ vcvt_f64_s32(vright, double_scratch0().low()); | 1453 __ vcvt_f64_s32(vright, double_scratch0().low()); |
| 1453 __ vdiv(vleft, vleft, vright); // vleft now contains the result. | 1454 __ vdiv(vleft, vleft, vright); // vleft now contains the result. |
| 1454 __ vcvt_s32_f64(double_scratch0().low(), vleft); | 1455 __ vcvt_s32_f64(double_scratch0().low(), vleft); |
| 1455 __ vmov(result, double_scratch0().low()); | 1456 __ vmov(result, double_scratch0().low()); |
| 1456 | 1457 |
| 1457 if (!instr->hydrogen()->CheckFlag( | 1458 if (!instr->hydrogen_value()->CheckFlag( |
| 1458 HInstruction::kAllUsesTruncatingToInt32)) { | 1459 HInstruction::kAllUsesTruncatingToInt32)) { |
| 1459 // Deopt if exact conversion to integer was not possible. | 1460 // Deopt if exact conversion to integer was not possible. |
| 1460 // Use vright as scratch register. | 1461 // Use vright as scratch register. |
| 1461 __ vcvt_f64_s32(double_scratch0(), double_scratch0().low()); | 1462 __ vcvt_f64_s32(double_scratch0(), double_scratch0().low()); |
| 1462 __ VFPCompareAndSetFlags(vleft, double_scratch0()); | 1463 __ VFPCompareAndSetFlags(vleft, double_scratch0()); |
| 1463 DeoptimizeIf(ne, instr->environment()); | 1464 DeoptimizeIf(ne, instr->environment()); |
| 1464 } | 1465 } |
| 1465 } | 1466 } |
| 1466 } | 1467 } |
| 1467 | 1468 |
| (...skipping 4357 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 5825 __ sub(scratch, result, Operand::PointerOffsetFromSmiKey(index)); | 5826 __ sub(scratch, result, Operand::PointerOffsetFromSmiKey(index)); |
| 5826 __ ldr(result, FieldMemOperand(scratch, | 5827 __ ldr(result, FieldMemOperand(scratch, |
| 5827 FixedArray::kHeaderSize - kPointerSize)); | 5828 FixedArray::kHeaderSize - kPointerSize)); |
| 5828 __ bind(&done); | 5829 __ bind(&done); |
| 5829 } | 5830 } |
| 5830 | 5831 |
| 5831 | 5832 |
| 5832 #undef __ | 5833 #undef __ |
| 5833 | 5834 |
| 5834 } } // namespace v8::internal | 5835 } } // namespace v8::internal |
| OLD | NEW |