Home
last modified time | relevance | path

Searched refs:AssumeInst (Results 1 – 25 of 37) sorted by relevance

12

/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h42 bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, StringRef AttrName,
44 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
80 using Assume2KnowledgeMap = DenseMap<AssumeInst *, MinMax>;
90 void fillMapFromAssume(AssumeInst &Assume, RetainedKnowledgeMap &Result);
124 RetainedKnowledge getKnowledgeFromOperandInAssume(AssumeInst &Assume,
130 return getKnowledgeFromOperandInAssume(*cast<AssumeInst>(U->getUser()),
145 bool isAssumeWithEmptyBundle(const AssumeInst &Assume);
171 RetainedKnowledge getKnowledgeFromBundle(AssumeInst &Assume,
H A DAssumptionCache.h29 class AssumeInst; variable
123 void registerAssumption(AssumeInst *CI);
127 void unregisterAssumption(AssumeInst *CI);
131 void updateAffectedValues(AssumeInst *CI);
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp36 static Value *getValueFromBundleOpInfo(AssumeInst &Assume, in getValueFromBundleOpInfo()
43 bool llvm::hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, in hasAttributeInAssume()
70 void llvm::fillMapFromAssume(AssumeInst &Assume, RetainedKnowledgeMap &Result) { in fillMapFromAssume()
99 llvm::getKnowledgeFromBundle(AssumeInst &Assume, in getKnowledgeFromBundle()
122 RetainedKnowledge llvm::getKnowledgeFromOperandInAssume(AssumeInst &Assume, in getKnowledgeFromOperandInAssume()
128 bool llvm::isAssumeWithEmptyBundle(const AssumeInst &Assume) { in isAssumeWithEmptyBundle()
150 getKnowledgeFromBundle(*cast<AssumeInst>(U->getUser()), *Bundle); in getKnowledgeFromUse()
166 auto *II = cast_or_null<AssumeInst>(Elem.Assume); in getKnowledgeForValue()
187 getKnowledgeFromBundle(*cast<AssumeInst>(U.getUser()), *Bundle)) in getKnowledgeForValue()
H A DAssumptionCache.cpp146 void AssumptionCache::updateAffectedValues(AssumeInst *CI) { in updateAffectedValues()
159 void AssumptionCache::unregisterAssumption(AssumeInst *CI) { in unregisterAssumption()
223 if (isa<AssumeInst>(&I)) in scanFunction()
231 updateAffectedValues(cast<AssumeInst>(A)); in scanFunction()
234 void AssumptionCache::registerAssumption(AssumeInst *CI) { in registerAssumption()
H A DTypeMetadataUtils.cpp86 if (auto *Assume = dyn_cast<AssumeInst>(CIU.getUser())) in findDevirtualizableCallsForTypeTest()
H A DBasicAliasAnalysis.cpp1549 AssumeInst *Assume = cast<AssumeInst>(Elem); in aliasCheck()
H A DModuleSummaryAnalysis.cpp196 return !isa<AssumeInst>(CIU.getUser()); in addIntrinsicToSummary()
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h24 class AssumeInst; variable
36 AssumeInst *buildAssumeFromInst(Instruction *I);
51 AssumeInst *buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,
71 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
H A DPredicateInfo.h117 IntrinsicInst *AssumeInst;
118 PredicateAssume(Value *Op, IntrinsicInst *AssumeInst, Value *Condition) in PredicateAssume() argument
119 : PredicateBase(PT_Assume, Op, Condition), AssumeInst(AssumeInst) {} in PredicateAssume()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp223 AssumeInst *build() { in build()
247 return cast<AssumeInst>(CallInst::Create( in build()
284 AssumeInst *llvm::buildAssumeFromInst(Instruction *I) { in buildAssumeFromInst()
308 AssumeInst *
318 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume, in simplifyRetainedKnowledge()
379 !isAssumeWithEmptyBundle(cast<AssumeInst>(*Assume)))) in RunCleanup()
423 getKnowledgeFromBundle(cast<AssumeInst>(*Assume), BOI); in dropRedundantKnowledge()
483 getKnowledgeFromBundle(cast<AssumeInst>(*I), BOI); in mergeRange()
H A DPredicateInfo.cpp202 return cast<PredicateAssume>(VD.PInfo)->AssumeInst->getNextNode(); in getMiddleDef()
578 IRBuilder<> B(PAssume->AssumeInst->getNextNode()); in materializeStack()
631 DomTreeNode *DomNode = DT.getNode(PAssume->AssumeInst->getParent()); in renameUses()
H A DLoopRotationUtils.cpp679 if (auto *II = dyn_cast<AssumeInst>(C)) in rotateLoop()
H A DLoopUnroll.cpp649 if (auto *II = dyn_cast<AssumeInst>(&I)) in UnrollLoop()
H A DLoopUnrollAndJam.cpp432 if (auto *II = dyn_cast<AssumeInst>(&I)) in UnrollAndJamLoop()
H A DPromoteMemoryToRegister.cpp449 AC->registerAssumption(cast<AssumeInst>(CI)); in addAssumeNonNull()
H A DInlineFunction.cpp1519 AC->registerAssumption(cast<AssumeInst>(NewAsmp)); in AddAlignmentAssumptions()
2384 if (auto *II = dyn_cast<AssumeInst>(&I)) in InlineFunction()
H A DSimplifyCFG.cpp2744 if (isa<AssumeInst>(I)) in isEphemeral()
3365 if (auto *Assume = dyn_cast<AssumeInst>(N)) in FoldCondBranchOnValueKnownInPredecessorImpl()
5305 Options.AC->registerAssumption(cast<AssumeInst>(Assumption)); in simplifyUnreachable()
7482 AC->registerAssumption(cast<AssumeInst>(Assumption)); in removeUndefIntroducingPredecessor()
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/Scalar/
H A DGVN.h36 class AssumeInst; variable
318 bool processAssumeIntrinsic(AssumeInst *II);
/freebsd/contrib/llvm-project/llvm/lib/IR/
H A DUser.cpp116 return isa<AssumeInst>(this) || isa<PseudoProbeInst>(this); in isDroppable()
H A DValue.cpp219 if (auto *Assume = dyn_cast<AssumeInst>(U.getUser())) { in dropDroppableUse()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DDFAJumpThreading.cpp1016 if (AssumeInst *II = dyn_cast<AssumeInst>(&I)) in cloneBlockAndUpdatePredecessor()
H A DGVN.cpp1987 bool GVNPass::processAssumeIntrinsic(AssumeInst *IntrinsicI) { in processAssumeIntrinsic()
2575 if (auto *Assume = dyn_cast<AssumeInst>(I)) in processInstruction()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp2806 assert(isa<AssumeInst>(Assume)); in visitCallInst()
2807 if (isAssumeWithEmptyBundle(*cast<AssumeInst>(II))) in visitCallInst()
2934 llvm::getKnowledgeFromBundle(cast<AssumeInst>(*II), BOI); in visitCallInst()
2940 llvm::simplifyRetainedKnowledge(cast<AssumeInst>(II), RK, in visitCallInst()
2968 if (Known.isAllOnes() && isAssumeWithEmptyBundle(cast<AssumeInst>(*II))) in visitCallInst()
2979 AC.updateAffectedValues(cast<AssumeInst>(II)); in visitCallInst()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DLowerTypeTests.cpp1955 if (auto *Assume = dyn_cast<AssumeInst>(CIU.getUser())) in dropTypeTests()
2246 if (isa<AssumeInst>(CIU.getUser())) in lower()
/freebsd/contrib/llvm-project/llvm/include/llvm/IR/
H A DIntrinsicInst.h1717 class AssumeInst : public IntrinsicInst {

12