OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved.7 | 1 // Copyright 2012 the V8 project authors. All rights reserved.7 |
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 1309 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1320 | 1320 |
1321 // If the divisor is positive, things are easy: There can be no deopts and we | 1321 // If the divisor is positive, things are easy: There can be no deopts and we |
1322 // can simply do an arithmetic right shift. | 1322 // can simply do an arithmetic right shift. |
1323 uint16_t shift = WhichPowerOf2Abs(divisor); | 1323 uint16_t shift = WhichPowerOf2Abs(divisor); |
1324 if (divisor > 1) { | 1324 if (divisor > 1) { |
1325 __ sra(result, dividend, shift); | 1325 __ sra(result, dividend, shift); |
1326 return; | 1326 return; |
1327 } | 1327 } |
1328 | 1328 |
1329 // If the divisor is negative, we have to negate and handle edge cases. | 1329 // If the divisor is negative, we have to negate and handle edge cases. |
1330 if (instr->hydrogen()->CheckFlag(HValue::kLeftCanBeMinInt)) { | 1330 |
1331 // divident can be the same register as result so save the value of it | 1331 // divident can be the same register as result so save the value of it |
1332 // for checking overflow. | 1332 // for checking overflow. |
1333 __ Move(scratch, dividend); | 1333 __ Move(scratch, dividend); |
1334 } | 1334 |
1335 __ Subu(result, zero_reg, dividend); | 1335 __ Subu(result, zero_reg, dividend); |
1336 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1336 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1337 DeoptimizeIf(eq, instr->environment(), result, Operand(zero_reg)); | 1337 DeoptimizeIf(eq, instr->environment(), result, Operand(zero_reg)); |
1338 } | 1338 } |
1339 | 1339 |
1340 // Dividing by -1 is basically negation, unless we overflow. | 1340 // Dividing by -1 is basically negation, unless we overflow. |
1341 __ Xor(at, scratch, result); | 1341 __ Xor(scratch, scratch, result); |
1342 if (divisor == -1) { | 1342 if (divisor == -1) { |
1343 if (instr->hydrogen()->CheckFlag(HValue::kLeftCanBeMinInt)) { | 1343 if (instr->hydrogen()->CheckFlag(HValue::kLeftCanBeMinInt)) { |
1344 DeoptimizeIf(ge, instr->environment(), at, Operand(zero_reg)); | 1344 DeoptimizeIf(ge, instr->environment(), at, Operand(zero_reg)); |
1345 } | 1345 } |
1346 return; | 1346 return; |
1347 } | 1347 } |
1348 | 1348 |
1349 // If the negation could not overflow, simply shifting is OK. | 1349 // If the negation could not overflow, simply shifting is OK. |
1350 if (!instr->hydrogen()->CheckFlag(HValue::kLeftCanBeMinInt)) { | 1350 if (!instr->hydrogen()->CheckFlag(HValue::kLeftCanBeMinInt)) { |
1351 __ sra(result, result, shift); | 1351 __ sra(result, result, shift); |
1352 return; | 1352 return; |
1353 } | 1353 } |
1354 | 1354 |
1355 Label no_overflow, done; | 1355 Label no_overflow, done; |
1356 __ Branch(&no_overflow, lt, at, Operand(zero_reg)); | 1356 __ Branch(&no_overflow, lt, scratch, Operand(zero_reg)); |
1357 __ li(result, Operand(kMinInt / divisor)); | 1357 __ li(result, Operand(kMinInt / divisor)); |
1358 __ Branch(&done); | 1358 __ Branch(&done); |
1359 __ bind(&no_overflow); | 1359 __ bind(&no_overflow); |
1360 __ sra(result, result, shift); | 1360 __ sra(result, result, shift); |
1361 __ bind(&done); | 1361 __ bind(&done); |
1362 } | 1362 } |
1363 | 1363 |
1364 | 1364 |
1365 void LCodeGen::DoFlooringDivByConstI(LFlooringDivByConstI* instr) { | 1365 void LCodeGen::DoFlooringDivByConstI(LFlooringDivByConstI* instr) { |
1366 Register dividend = ToRegister(instr->dividend()); | 1366 Register dividend = ToRegister(instr->dividend()); |
(...skipping 4524 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5891 __ li(at, scope_info); | 5891 __ li(at, scope_info); |
5892 __ Push(at, ToRegister(instr->function())); | 5892 __ Push(at, ToRegister(instr->function())); |
5893 CallRuntime(Runtime::kHiddenPushBlockContext, 2, instr); | 5893 CallRuntime(Runtime::kHiddenPushBlockContext, 2, instr); |
5894 RecordSafepoint(Safepoint::kNoLazyDeopt); | 5894 RecordSafepoint(Safepoint::kNoLazyDeopt); |
5895 } | 5895 } |
5896 | 5896 |
5897 | 5897 |
5898 #undef __ | 5898 #undef __ |
5899 | 5899 |
5900 } } // namespace v8::internal | 5900 } } // namespace v8::internal |
OLD | NEW |