Home
last modified time | relevance | path

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

/llvm-project/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h99 struct RetainedKnowledge {
103 bool operator==(RetainedKnowledge Other) const {
107 bool operator!=(RetainedKnowledge Other) const { return !(*this == Other); }
110 bool operator<(RetainedKnowledge Other) const {
114 "RetainedKnowledge that is otherwise equal");
118 static RetainedKnowledge none() { return RetainedKnowledge{}; }
123 RetainedKnowledge getKnowledgeFromOperandInAssume(AssumeInst &Assume,
128 inline RetainedKnowledge getKnowledgeFromUseInAssume(const Use *U) {
148 RetainedKnowledge getKnowledgeFromUs
[all...]
/llvm-project/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp98 RetainedKnowledge
101 RetainedKnowledge Result; in getKnowledgeFromBundle()
122 RetainedKnowledge llvm::getKnowledgeFromOperandInAssume(AssumeInst &Assume, in getKnowledgeFromOperandInAssume()
143 RetainedKnowledge
148 return RetainedKnowledge::none(); in getKnowledgeFromUse()
149 RetainedKnowledge RK = in getKnowledgeFromUse()
153 return RetainedKnowledge::none(); in getKnowledgeFromUse()
156 RetainedKnowledge
160 function_ref<bool(RetainedKnowledge, Instruction *, in getKnowledgeForValue() argument
169 if (RetainedKnowledge RK = getKnowledgeFromBundle( in getKnowledgeForValue()
[all …]
H A DLoads.cpp177 RetainedKnowledge AlignRK; in isDereferenceableAndAlignedPointer()
178 RetainedKnowledge DerefRK; in isDereferenceableAndAlignedPointer()
182 [&](RetainedKnowledge RK, Instruction *Assume, auto) { in isDereferenceableAndAlignedPointer()
H A DValueTracking.cpp647 if (RetainedKnowledge RK = getKnowledgeFromBundle( in computeKnownBitsFromCmp()
876 if (RetainedKnowledge RK = getKnowledgeFromBundle( in computeKnownBitsFromShiftOperator()
/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()
310 llvm::buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge, in buildAssumeFromKnowledge()
314 for (const RetainedKnowledge &RK : Knowledge) in buildAssumeFromKnowledge()
319 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume, in simplifyRetainedKnowledge()
320 RetainedKnowledge R in simplifyRetainedKnowledge()
[all...]
/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h51 AssumeInst *buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,
71 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
72 RetainedKnowledge RK,
/llvm-project/llvm/unittests/Analysis/
H A DAssumeBundleQueriesTest.cpp477 RetainedKnowledge K = in RunRandTest()
584 RetainedKnowledge RK; in TEST()
/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp3261 {RetainedKnowledge{Attribute::NonNull, 0, A}}, Next, &AC, &DT)) { in visitCallInst()
3291 RetainedKnowledge RK{Attribute::Alignment, in visitCallInst()
3308 RetainedKnowledge RK = in visitCallInst()
3312 // extracting a RetainedKnowledge from them looses offset in visitCallInst()
3314 RetainedKnowledge CanonRK = in visitCallInst()
/llvm-project/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp2540 if (RetainedKnowledge RK = getKnowledgeFromUse( in getKnownNonNullAndDerefBytesForUse()