Lines Matching defs:R0
9062 /// Return true if LHS implies RHS (expanded to its components as "R0 RPred R1")
9067 const Value *R0, const Value *R1,
9079 // to L0/R0.
9081 std::swap(R0, R1);
9084 if (R0 == L1) {
9089 // If we have L0 == R0 and L1 == R1, then make L1/R1 the constants.
9090 if (L0 != R0 || match(L0, m_ImmConstant())) {
9093 std::swap(R0, R1);
9101 if (L0 == R0 && (match(L1, m_APInt(Unused)) || match(R1, m_APInt(Unused)))) {
9102 // Potential TODO: We could also further use the constant range of L0/R0 to
9123 if (L0 == R0 && L1 == R1)
9126 // L0 = R0 = L1 + R1, L0 >=u L1 implies R0 >=u R1, L0 <u L1 implies R0 <u R1
9127 if (L0 == R0 &&
9134 return isImpliedCondOperands(LPred, L0, L1, R0, R1);