Home
last modified time | relevance | path

Searched refs:proveNoSignedWrapViaInduction (Results 1 – 2 of 2) sorted by relevance

/openbsd/gnu/llvm/llvm/include/llvm/Analysis/
H A DScalarEvolution.h2069 SCEV::NoWrapFlags proveNoSignedWrapViaInduction(const SCEVAddRecExpr *AR);
/openbsd/gnu/llvm/llvm/lib/Analysis/
H A DScalarEvolution.cpp2136 auto NewFlags = proveNoSignedWrapViaInduction(AR); in getSignExtendExprImpl()
5081 ScalarEvolution::proveNoSignedWrapViaInduction(const SCEVAddRecExpr *AR) { in proveNoSignedWrapViaInduction() function in ScalarEvolution