Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h102 struct RetainedKnowledge {
107 RetainedKnowledge(Attribute::AttrKind AttrKind = Attribute::None,
110 bool operator==(RetainedKnowledge Other) const {
114 bool operator!=(RetainedKnowledge Other) const { return !(*this == Other); }
117 bool operator<(RetainedKnowledge Other) const {
125 static RetainedKnowledge none() { return RetainedKnowledge{}; }
130 LLVM_ABI RetainedKnowledge getKnowledgeFromOperandInAssume(AssumeInst &Assume,
135 inline RetainedKnowledge getKnowledgeFromUseInAssume(const Use *U) {
155 LLVM_ABI RetainedKnowledge
160 LLVM_ABI RetainedKnowledge getKnowledgeForValue(
[all …]
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp99 RetainedKnowledge
102 RetainedKnowledge Result; in getKnowledgeFromBundle()
126 RetainedKnowledge llvm::getKnowledgeFromOperandInAssume(AssumeInst &Assume, in getKnowledgeFromOperandInAssume()
147 RetainedKnowledge
152 return RetainedKnowledge::none(); in getKnowledgeFromUse()
153 RetainedKnowledge RK = in getKnowledgeFromUse()
157 return RetainedKnowledge::none(); in getKnowledgeFromUse()
160 RetainedKnowledge
164 function_ref<bool(RetainedKnowledge, Instruction *, in getKnowledgeForValue() argument
172 if (RetainedKnowledge RK = getKnowledgeFromBundle( in getKnowledgeForValue()
[all …]
H A DLoads.cpp36 function_ref<bool(const RetainedKnowledge &RK)> CheckSize, in isDereferenceableAndAlignedPointerViaAssumption()
48 RetainedKnowledge AlignRK; in isDereferenceableAndAlignedPointerViaAssumption()
49 RetainedKnowledge DerefRK; in isDereferenceableAndAlignedPointerViaAssumption()
53 [&](RetainedKnowledge RK, Instruction *Assume, auto) { in isDereferenceableAndAlignedPointerViaAssumption()
208 [Size](const RetainedKnowledge &RK) { in isDereferenceableAndAlignedPointer()
397 [&SE, AccessSizeSCEV](const RetainedKnowledge &RK) { in isDereferenceableAndAlignedInLoop()
H A DValueTracking.cpp643 if (RetainedKnowledge RK = getKnowledgeFromBundle( in isKnownNonZeroFromAssume()
891 if (RetainedKnowledge RK = getKnowledgeFromBundle( in computeKnownBitsFromContext()
/freebsd/contrib/llvm-project/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()
309 llvm::buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge, in buildAssumeFromKnowledge()
313 for (const RetainedKnowledge &RK : Knowledge) in buildAssumeFromKnowledge()
318 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume, in simplifyRetainedKnowledge()
319 RetainedKnowledge RK, in simplifyRetainedKnowledge()
326 return RetainedKnowledge::none(); in simplifyRetainedKnowledge()
[all …]
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h53 buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,
72 LLVM_ABI RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
73 RetainedKnowledge RK,
/freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp3374 {RetainedKnowledge{Attribute::NonNull, 0, A}}, Next, &AC, &DT)) { in visitCallInst()
3404 RetainedKnowledge RK{Attribute::Alignment, in visitCallInst()
3421 RetainedKnowledge RK = in visitCallInst()
3427 RetainedKnowledge CanonRK = in visitCallInst()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp2540 if (RetainedKnowledge RK = getKnowledgeFromUse( in getKnownNonNullAndDerefBytesForUse()