Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h100 struct RetainedKnowledge {
104 bool operator==(RetainedKnowledge Other) const {
108 bool operator!=(RetainedKnowledge Other) const { return !(*this == Other); }
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 *,
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp98 RetainedKnowledge
101 RetainedKnowledge Result; in getKnowledgeFromBundle()
119 RetainedKnowledge llvm::getKnowledgeFromOperandInAssume(AssumeInst &Assume, in getKnowledgeFromOperandInAssume()
140 RetainedKnowledge
145 return RetainedKnowledge::none(); in getKnowledgeFromUse()
146 RetainedKnowledge RK = in getKnowledgeFromUse()
150 return RetainedKnowledge::none(); in getKnowledgeFromUse()
153 RetainedKnowledge
157 function_ref<bool(RetainedKnowledge, Instruction *, in getKnowledgeForValue() argument
162 return RetainedKnowledge::none(); in getKnowledgeForValue()
[all …]
H A DLoads.cpp163 RetainedKnowledge AlignRK; in isDereferenceableAndAlignedPointer()
164 RetainedKnowledge DerefRK; in isDereferenceableAndAlignedPointer()
167 [&](RetainedKnowledge RK, Instruction *Assume, auto) { in isDereferenceableAndAlignedPointer()
H A DValueTracking.cpp651 if (RetainedKnowledge RK = getKnowledgeValidInContext( in computeKnownBitsFromAssume()
/openbsd-src/gnu/llvm/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()
316 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume, in simplifyRetainedKnowledge()
317 RetainedKnowledge RK, in simplifyRetainedKnowledge()
324 return RetainedKnowledge::none(); in simplifyRetainedKnowledge()
[all …]
/openbsd-src/gnu/llvm/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h48 AssumeInst *buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,
70 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
71 RetainedKnowledge RK,
/openbsd-src/gnu/llvm/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp2398 {RetainedKnowledge{Attribute::NonNull, 0, A}}, Next, &AC, &DT)) { in visitCallInst()
2427 RetainedKnowledge RK{Attribute::Alignment, in visitCallInst()
2444 RetainedKnowledge RK = in visitCallInst()
2450 RetainedKnowledge CanonRK = in visitCallInst()
/openbsd-src/gnu/llvm/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp2638 if (RetainedKnowledge RK = getKnowledgeFromUse( in getKnownNonNullAndDerefBytesForUse()