Searched refs:C2_C1 (Results 1 – 1 of 1) sorted by relevance
1973 const SCEV *C2_C1 = SE->getMinusSCEV(C2, C1); in symbolicRDIVtest() local1975 DEBUG(dbgs() << "\t C2 - C1 = " << *C2_C1 << "\n"); in symbolicRDIVtest()1984 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) { in symbolicRDIVtest()2007 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) { in symbolicRDIVtest()2013 if (SE->isKnownNegative(C2_C1)) { in symbolicRDIVtest()2028 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) { in symbolicRDIVtest()2034 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()2045 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) { in symbolicRDIVtest()