Home
last modified time | relevance | path

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

/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h164 RetainedKnowledge getKnowledgeValidInContext(
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp196 RetainedKnowledge llvm::getKnowledgeValidInContext( in getKnowledgeValidInContext() function in llvm
H A DValueTracking.cpp644 if (getKnowledgeValidInContext(V, AttrKinds, Q.CxtI, Q.DT, Q.AC)) in isKnownNonZeroFromAssume()
686 if (RetainedKnowledge RK = getKnowledgeValidInContext( in computeKnownBitsFromAssume()
5393 if (getKnowledgeValidInContext(V, {Attribute::NoUndef}, CtxI, DT, AC)) in isGuaranteedNotToBeUndefOrPoison()
/llvm-project-15.0.7/llvm/test/Transforms/InstCombine/
H A Dassume-align.ll49 … away the branch "br i1 %3, ..." by either using a GEP or make getKnowledgeValidInContext aware th…