Home
last modified time | relevance | path

Searched refs:takeNonNegativeAssumption (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/polly/lib/Support/
H A DSCEVAffinator.cpp98 void SCEVAffinator::takeNonNegativeAssumption( in takeNonNegativeAssumption() function in SCEVAffinator
357 takeNonNegativeAssumption(OpPWAC, RecordedAssumptions); in visitZeroExtendExpr()
503 takeNonNegativeAssumption(DividendPWAC, RecordedAssumptions); in visitUDivExpr()
/llvm-project-15.0.7/polly/include/polly/Support/
H A DSCEVAffinator.h44 void takeNonNegativeAssumption(
/llvm-project-15.0.7/polly/lib/Analysis/
H A DScopInfo.cpp2182 Affinator.takeNonNegativeAssumption(PWAC, RecordedAssumptions); in getPwAff()