Searched refs:takeNonNegativeAssumption (Results 1 – 3 of 3) sorted by relevance
98 void SCEVAffinator::takeNonNegativeAssumption( in takeNonNegativeAssumption() function in SCEVAffinator357 takeNonNegativeAssumption(OpPWAC, RecordedAssumptions); in visitZeroExtendExpr()498 takeNonNegativeAssumption(DividendPWAC, RecordedAssumptions); in visitUDivExpr()
44 void takeNonNegativeAssumption(
2267 Affinator.takeNonNegativeAssumption(PWAC, RecordedAssumptions); in getPwAff()