Searched refs:C1_C2 (Results 1 – 1 of 1) sorted by relevance
2127 const SCEV *C1_C2 = SE->getMinusSCEV(C1, C2); in symbolicRDIVtest() local2129 LLVM_DEBUG(dbgs() << "\t C1 - C2 = " << *C1_C2 << "\n"); in symbolicRDIVtest()2146 if (isKnownPredicate(CmpInst::ICMP_SLT, A2N2, C1_C2)) { in symbolicRDIVtest()2207 if (isKnownPredicate(CmpInst::ICMP_SLT, C1_C2, A2N2)) { in symbolicRDIVtest()