Lines Matching refs:C1
1204 // sext(C1 + (C2 * x)) --> C1 + sext(C2 * x) if C1 < C2
1211 const APInt &C1 = SC1->getValue()->getValue();
1213 if (C1.isStrictlyPositive() && C2.isStrictlyPositive() &&
1214 C2.ugt(C1) && C2.isPowerOf2())
1314 // sext{C1,+,C2} --> C1 + sext{0,+,C2} if C1 < C2
1318 const APInt &C1 = SC1->getValue()->getValue();
1320 if (C1.isStrictlyPositive() && C2.isStrictlyPositive() && C2.ugt(C1) &&
1929 // C1*(C2+V) -> C1*C2 + C1*V
2273 static const APInt gcd(const SCEVConstant *C1, const SCEVConstant *C2) {
2274 APInt A = C1->getValue()->getValue().abs();
4130 // FIXME: SCEV distributes multiplication as V1*C1 + V2*C1. We could attempt
4883 // particular, only affine AddRec's like {C1,+,C2}.
6987 static const APInt srem(const SCEVConstant *C1, const SCEVConstant *C2) {
6988 APInt A = C1->getValue()->getValue();
7001 static const APInt sdiv(const SCEVConstant *C1, const SCEVConstant *C2) {
7002 APInt A = C1->getValue()->getValue();
