Home
last modified time | relevance | path

Searched refs:RetainedKnowledge (Results 1 – 8 of 8) sorted by relevance

/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h101 struct RetainedKnowledge {
105 bool operator==(RetainedKnowledge Other) const {
112 bool operator<(RetainedKnowledge Other) const {
120 static RetainedKnowledge none() { return RetainedKnowledge{}; }
125 RetainedKnowledge getKnowledgeFromOperandInAssume(AssumeInst &Assume,
130 inline RetainedKnowledge getKnowledgeFromUseInAssume(const Use *U) {
150 RetainedKnowledge getKnowledgeFromUse(const Use *U,
155 RetainedKnowledge getKnowledgeForValue(
158 function_ref<bool(RetainedKnowledge, Instruction *,
165 RetainedKnowledge getKnowledgeValidInContext(
[all …]
/freebsd-13.1/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp98 RetainedKnowledge
101 RetainedKnowledge Result; in getKnowledgeFromBundle()
140 RetainedKnowledge
145 return RetainedKnowledge::none(); in getKnowledgeFromUse()
146 RetainedKnowledge RK = in getKnowledgeFromUse()
150 return RetainedKnowledge::none(); in getKnowledgeFromUse()
153 RetainedKnowledge
162 return RetainedKnowledge::none(); in getKnowledgeForValue()
179 return RetainedKnowledge::none(); in getKnowledgeForValue()
185 if (RetainedKnowledge RK = in getKnowledgeForValue()
[all …]
H A DLoads.cpp99 RetainedKnowledge AlignRK; in isDereferenceableAndAlignedPointer()
100 RetainedKnowledge DerefRK; in isDereferenceableAndAlignedPointer()
103 [&](RetainedKnowledge RK, Instruction *Assume, auto) { in isDereferenceableAndAlignedPointer()
H A DValueTracking.cpp642 if (RetainedKnowledge RK = getKnowledgeValidInContext( in computeKnownBitsFromAssume()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp70 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK, DataLayout DL) { in canonicalizedKnowledge()
115 bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) { in tryToPreserveWithoutAddingAssume()
122 [&](RetainedKnowledge RKOther, Instruction *Assume, in tryToPreserveWithoutAddingAssume()
143 bool isKnowledgeWorthPreserving(RetainedKnowledge RK) { in isKnowledgeWorthPreserving()
171 void addKnowledge(RetainedKnowledge RK) { in addKnowledge()
307 llvm::buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge, in buildAssumeFromKnowledge()
311 for (const RetainedKnowledge &RK : Knowledge) in buildAssumeFromKnowledge()
324 return RetainedKnowledge::none(); in simplifyRetainedKnowledge()
327 return RetainedKnowledge::none(); in simplifyRetainedKnowledge()
420 RetainedKnowledge RK = in dropRedundantKnowledge()
[all …]
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h47 AssumeInst *buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,
69 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
70 RetainedKnowledge RK,
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp1770 {RetainedKnowledge{Attribute::NonNull, 0, A}}, Next, &AC, &DT)) { in visitCallInst()
1799 RetainedKnowledge RK{Attribute::Alignment, in visitCallInst()
1816 RetainedKnowledge RK = in visitCallInst()
1822 RetainedKnowledge CanonRK = in visitCallInst()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp2116 if (RetainedKnowledge RK = getKnowledgeFromUse( in getKnownNonNullAndDerefBytesForUse()