Searched refs:C1_C2 (Results 1 – 1 of 1) sorted by relevance
1974 const SCEV *C1_C2 = SE->getMinusSCEV(C1, C2); in symbolicRDIVtest() local1976 DEBUG(dbgs() << "\t C1 - C2 = " << *C1_C2 << "\n"); in symbolicRDIVtest()1993 if (isKnownPredicate(CmpInst::ICMP_SLT, A2N2, C1_C2)) { in symbolicRDIVtest()2054 if (isKnownPredicate(CmpInst::ICMP_SLT, C1_C2, A2N2)) { in symbolicRDIVtest()