Lines Matching refs:R3
162 // R3 <- (r_m2 - r_1) / 3
163 RWDigits R3 = r_m2;
164 bool R3_sign = SubtractSigned(R3, r_m2, r_m2_sign, r_1, false);
165 DivideByThree(R3);
173 // R3 <- (R2 - R3) / 2 + 2 * r_inf
174 R3_sign = SubtractSigned(R3, R2, R2_sign, R3, R3_sign);
175 DivideByTwo(R3);
178 R3_sign = AddSigned(R3, R3, R3_sign, r_inf, false);
179 R3_sign = AddSigned(R3, R3, R3_sign, r_inf, false);
183 // R1 <- R1 - R3
184 R1_sign = SubtractSigned(R1, R1, R1_sign, R3, R3_sign);
189 R3.Normalize();
192 DCHECK(R3_sign == false || R3.len() == 0);
199 AddAndReturnOverflow(Z + 3 * i, R3);