Home
last modified time | relevance | path

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

/llvm-project-15.0.7/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 …]
/llvm-project-15.0.7/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.cpp94 RetainedKnowledge AlignRK; in isDereferenceableAndAlignedPointer()
95 RetainedKnowledge DerefRK; in isDereferenceableAndAlignedPointer()
98 [&](RetainedKnowledge RK, Instruction *Assume, auto) { in isDereferenceableAndAlignedPointer()
H A DValueTracking.cpp686 if (RetainedKnowledge RK = getKnowledgeValidInContext( in computeKnownBitsFromAssume()
/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp71 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK, in canonicalizedKnowledge()
117 bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) { in tryToPreserveWithoutAddingAssume()
124 [&](RetainedKnowledge RKOther, Instruction *Assume, in tryToPreserveWithoutAddingAssume()
145 bool isKnowledgeWorthPreserving(RetainedKnowledge RK) { in isKnowledgeWorthPreserving()
173 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 …]
/llvm-project-15.0.7/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h48 AssumeInst *buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,
70 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
71 RetainedKnowledge RK,
/llvm-project-15.0.7/llvm/unittests/Analysis/
H A DAssumeBundleQueriesTest.cpp476 RetainedKnowledge K = in RunRandTest()
583 RetainedKnowledge RK; in TEST()
/llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp2241 {RetainedKnowledge{Attribute::NonNull, 0, A}}, Next, &AC, &DT)) { in visitCallInst()
2270 RetainedKnowledge RK{Attribute::Alignment, in visitCallInst()
2287 RetainedKnowledge RK = in visitCallInst()
2293 RetainedKnowledge CanonRK = in visitCallInst()
/llvm-project-15.0.7/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp2214 if (RetainedKnowledge RK = getKnowledgeFromUse( in getKnownNonNullAndDerefBytesForUse()