Home
last modified time | relevance | path

Searched refs:getKnowledgeValidInContext (Results 1 – 4 of 4) sorted by relevance

/external/llvm-project/llvm/include/llvm/Analysis/
DAssumeBundleQueries.h155 RetainedKnowledge getKnowledgeValidInContext(
/external/llvm-project/llvm/test/Transforms/InstCombine/
Dassume-align.ll48 … away the branch "br i1 %3, ..." by either using a GEP or make getKnowledgeValidInContext aware th…
/external/llvm-project/llvm/lib/Analysis/
DAssumeBundleQueries.cpp209 RetainedKnowledge llvm::getKnowledgeValidInContext( in getKnowledgeValidInContext() function in llvm
DValueTracking.cpp634 if (getKnowledgeValidInContext(V, AttrKinds, Q.CxtI, Q.DT, Q.AC)) in isKnownNonZeroFromAssume()
677 if (RetainedKnowledge RK = getKnowledgeValidInContext( in computeKnownBitsFromAssume()
4941 if (getKnowledgeValidInContext(V, AttrKinds, CtxI, DT, AC)) in isGuaranteedNotToBeUndefOrPoison()