Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h100 struct RetainedKnowledge {
104 bool operator==(RetainedKnowledge Other) const {
111 bool operator<(RetainedKnowledge Other) const {
119 static RetainedKnowledge none() { return RetainedKnowledge{}; }
124 RetainedKnowledge getKnowledgeFromOperandInAssume(AssumeInst &Assume,
129 inline RetainedKnowledge getKnowledgeFromUseInAssume(const Use *U) {
149 RetainedKnowledge getKnowledgeFromUse(const Use *U,
154 RetainedKnowledge getKnowledgeForValue(
157 function_ref<bool(RetainedKnowledge, Instruction *,
164 RetainedKnowledge getKnowledgeValidInContext(
[all …]
/freebsd-14.2/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp98 RetainedKnowledge
101 RetainedKnowledge Result; in getKnowledgeFromBundle()
143 RetainedKnowledge
148 return RetainedKnowledge::none(); in getKnowledgeFromUse()
149 RetainedKnowledge RK = in getKnowledgeFromUse()
153 return RetainedKnowledge::none(); in getKnowledgeFromUse()
156 RetainedKnowledge
180 return RetainedKnowledge::none(); in getKnowledgeForValue()
186 if (RetainedKnowledge RK = in getKnowledgeForValue()
194 return RetainedKnowledge::none(); in getKnowledgeForValue()
[all …]
H A DLoads.cpp161 RetainedKnowledge AlignRK; in isDereferenceableAndAlignedPointer()
162 RetainedKnowledge DerefRK; in isDereferenceableAndAlignedPointer()
165 [&](RetainedKnowledge RK, Instruction *Assume, auto) { in isDereferenceableAndAlignedPointer()
H A DValueTracking.cpp588 if (RetainedKnowledge RK = getKnowledgeFromBundle( in isKnownNonZeroFromAssume()
756 if (RetainedKnowledge RK = getKnowledgeFromBundle( in computeKnownBitsFromContext()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp70 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK, in canonicalizedKnowledge()
116 bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) { in tryToPreserveWithoutAddingAssume()
123 [&](RetainedKnowledge RKOther, Instruction *Assume, in tryToPreserveWithoutAddingAssume()
144 bool isKnowledgeWorthPreserving(RetainedKnowledge RK) { in isKnowledgeWorthPreserving()
172 void addKnowledge(RetainedKnowledge RK) { in addKnowledge()
309 llvm::buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge, in buildAssumeFromKnowledge()
313 for (const RetainedKnowledge &RK : Knowledge) in buildAssumeFromKnowledge()
326 return RetainedKnowledge::none(); in simplifyRetainedKnowledge()
329 return RetainedKnowledge::none(); in simplifyRetainedKnowledge()
422 RetainedKnowledge RK = in dropRedundantKnowledge()
[all …]
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h51 AssumeInst *buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,
71 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
72 RetainedKnowledge RK,
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp2887 {RetainedKnowledge{Attribute::NonNull, 0, A}}, Next, &AC, &DT)) { in visitCallInst()
2916 RetainedKnowledge RK{Attribute::Alignment, in visitCallInst()
2933 RetainedKnowledge RK = in visitCallInst()
2939 RetainedKnowledge CanonRK = in visitCallInst()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp2495 if (RetainedKnowledge RK = getKnowledgeFromUse( in getKnownNonNullAndDerefBytesForUse()