| 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 1039 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1050 // Record the address of the first unknown OSR value as the place to enter. | 1050 // Record the address of the first unknown OSR value as the place to enter. |
| 1051 if (osr_pc_offset_ == -1) osr_pc_offset_ = masm()->pc_offset(); | 1051 if (osr_pc_offset_ == -1) osr_pc_offset_ = masm()->pc_offset(); |
| 1052 } | 1052 } |
| 1053 | 1053 |
| 1054 | 1054 |
| 1055 void LCodeGen::DoModI(LModI* instr) { | 1055 void LCodeGen::DoModI(LModI* instr) { |
| 1056 HMod* hmod = instr->hydrogen(); | 1056 HMod* hmod = instr->hydrogen(); |
| 1057 HValue* left = hmod->left(); | 1057 HValue* left = hmod->left(); |
| 1058 HValue* right = hmod->right(); | 1058 HValue* right = hmod->right(); |
| 1059 if (hmod->HasPowerOf2Divisor()) { | 1059 if (hmod->HasPowerOf2Divisor()) { |
| 1060 const Register scratch = scratch0(); | |
| 1061 const Register left_reg = ToRegister(instr->left()); | 1060 const Register left_reg = ToRegister(instr->left()); |
| 1062 ASSERT(!left_reg.is(scratch)); | |
| 1063 const Register result_reg = ToRegister(instr->result()); | 1061 const Register result_reg = ToRegister(instr->result()); |
| 1064 | 1062 |
| 1065 // Note: The code below even works when right contains kMinInt. | 1063 // Note: The code below even works when right contains kMinInt. |
| 1066 int32_t divisor = Abs(right->GetInteger32Constant()); | 1064 int32_t divisor = Abs(right->GetInteger32Constant()); |
| 1067 | 1065 |
| 1068 __ mov(scratch, left_reg); | |
| 1069 | |
| 1070 Label left_is_not_negative, done; | 1066 Label left_is_not_negative, done; |
| 1071 if (left->CanBeNegative()) { | 1067 if (left->CanBeNegative()) { |
| 1072 __ Branch(USE_DELAY_SLOT, &left_is_not_negative, | 1068 __ Branch(left_reg.is(result_reg) ? PROTECT : USE_DELAY_SLOT, |
| 1073 ge, left_reg, Operand(zero_reg)); | 1069 &left_is_not_negative, ge, left_reg, Operand(zero_reg)); |
| 1074 __ subu(result_reg, zero_reg, left_reg); | 1070 __ subu(result_reg, zero_reg, left_reg); |
| 1075 __ And(result_reg, result_reg, divisor - 1); | 1071 __ And(result_reg, result_reg, divisor - 1); |
| 1076 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1072 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { |
| 1077 DeoptimizeIf(eq, instr->environment(), result_reg, Operand(zero_reg)); | 1073 DeoptimizeIf(eq, instr->environment(), result_reg, Operand(zero_reg)); |
| 1078 } | 1074 } |
| 1079 __ Branch(USE_DELAY_SLOT, &done); | 1075 __ Branch(USE_DELAY_SLOT, &done); |
| 1080 __ subu(result_reg, zero_reg, result_reg); | 1076 __ subu(result_reg, zero_reg, result_reg); |
| 1081 } | 1077 } |
| 1082 | 1078 |
| 1083 __ bind(&left_is_not_negative); | 1079 __ bind(&left_is_not_negative); |
| 1084 __ And(result_reg, scratch, divisor - 1); | 1080 __ And(result_reg, left_reg, divisor - 1); |
| 1085 __ bind(&done); | 1081 __ bind(&done); |
| 1086 | 1082 |
| 1087 } else if (hmod->fixed_right_arg().has_value) { | 1083 } else if (hmod->fixed_right_arg().has_value) { |
| 1088 const Register scratch = scratch0(); | |
| 1089 const Register left_reg = ToRegister(instr->left()); | 1084 const Register left_reg = ToRegister(instr->left()); |
| 1090 const Register result_reg = ToRegister(instr->result()); | 1085 const Register result_reg = ToRegister(instr->result()); |
| 1091 | 1086 const Register right_reg = ToRegister(instr->right()); |
| 1092 Register right_reg = EmitLoadRegister(instr->right(), scratch); | |
| 1093 | 1087 |
| 1094 int32_t divisor = hmod->fixed_right_arg().value; | 1088 int32_t divisor = hmod->fixed_right_arg().value; |
| 1095 ASSERT(IsPowerOf2(divisor)); | 1089 ASSERT(IsPowerOf2(divisor)); |
| 1096 | 1090 |
| 1097 // Check if our assumption of a fixed right operand still holds. | 1091 // Check if our assumption of a fixed right operand still holds. |
| 1098 DeoptimizeIf(ne, instr->environment(), right_reg, Operand(divisor)); | 1092 DeoptimizeIf(ne, instr->environment(), right_reg, Operand(divisor)); |
| 1099 | 1093 |
| 1100 Label left_is_not_negative, done; | 1094 Label left_is_not_negative, done; |
| 1101 if (left->CanBeNegative()) { | 1095 if (left->CanBeNegative()) { |
| 1102 __ Branch(USE_DELAY_SLOT, &left_is_not_negative, | 1096 __ Branch(left_reg.is(result_reg) ? PROTECT : USE_DELAY_SLOT, |
| 1103 ge, left_reg, Operand(zero_reg)); | 1097 &left_is_not_negative, ge, left_reg, Operand(zero_reg)); |
| 1104 __ subu(result_reg, zero_reg, left_reg); | 1098 __ subu(result_reg, zero_reg, left_reg); |
| 1105 __ And(result_reg, result_reg, divisor - 1); | 1099 __ And(result_reg, result_reg, divisor - 1); |
| 1106 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1100 if (hmod->CheckFlag(HValue::kBailoutOnMinusZero)) { |
| 1107 DeoptimizeIf(eq, instr->environment(), result_reg, Operand(zero_reg)); | 1101 DeoptimizeIf(eq, instr->environment(), result_reg, Operand(zero_reg)); |
| 1108 } | 1102 } |
| 1109 __ Branch(USE_DELAY_SLOT, &done); | 1103 __ Branch(USE_DELAY_SLOT, &done); |
| 1110 __ subu(result_reg, zero_reg, result_reg); | 1104 __ subu(result_reg, zero_reg, result_reg); |
| 1111 } | 1105 } |
| 1112 | 1106 |
| 1113 __ bind(&left_is_not_negative); | 1107 __ bind(&left_is_not_negative); |
| (...skipping 4738 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 5852 __ Subu(scratch, result, scratch); | 5846 __ Subu(scratch, result, scratch); |
| 5853 __ lw(result, FieldMemOperand(scratch, | 5847 __ lw(result, FieldMemOperand(scratch, |
| 5854 FixedArray::kHeaderSize - kPointerSize)); | 5848 FixedArray::kHeaderSize - kPointerSize)); |
| 5855 __ bind(&done); | 5849 __ bind(&done); |
| 5856 } | 5850 } |
| 5857 | 5851 |
| 5858 | 5852 |
| 5859 #undef __ | 5853 #undef __ |
| 5860 | 5854 |
| 5861 } } // namespace v8::internal | 5855 } } // namespace v8::internal |
| OLD | NEW |