Home
last modified time | relevance | path

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

/external/llvm-project/llvm/include/llvm/Analysis/
DAssumeBundleQueries.h100 struct RetainedKnowledge {
104 bool operator==(RetainedKnowledge Other) const {
108 bool operator!=(RetainedKnowledge Other) const { return !(*this == Other); }
110 static RetainedKnowledge none() { return RetainedKnowledge{}; }
115 RetainedKnowledge getKnowledgeFromOperandInAssume(CallInst &Assume,
120 inline RetainedKnowledge getKnowledgeFromUseInAssume(const Use *U) {
140 RetainedKnowledge getKnowledgeFromUse(const Use *U,
145 RetainedKnowledge getKnowledgeForValue(
148 function_ref<bool(RetainedKnowledge, Instruction *,
155 RetainedKnowledge getKnowledgeValidInContext(
[all …]
/external/llvm-project/llvm/lib/Analysis/
DAssumeBundleQueries.cpp104 RetainedKnowledge
107 RetainedKnowledge Result; in getKnowledgeFromBundle()
125 RetainedKnowledge llvm::getKnowledgeFromOperandInAssume(CallInst &AssumeCI, in getKnowledgeFromOperandInAssume()
152 RetainedKnowledge
157 return RetainedKnowledge::none(); in getKnowledgeFromUse()
158 RetainedKnowledge RK = in getKnowledgeFromUse()
163 return RetainedKnowledge::none(); in getKnowledgeFromUse()
166 RetainedKnowledge
170 function_ref<bool(RetainedKnowledge, Instruction *, in getKnowledgeForValue() argument
175 return RetainedKnowledge::none(); in getKnowledgeForValue()
[all …]
DValueTracking.cpp677 if (RetainedKnowledge RK = getKnowledgeValidInContext( in computeKnownBitsFromAssume()
/external/llvm-project/llvm/lib/Transforms/Utils/
DAssumeBundleBuilder.cpp68 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK, Module *M) { in canonicalizedKnowledge()
114 bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) { in tryToPreserveWithoutAddingAssume()
121 [&](RetainedKnowledge RKOther, Instruction *Assume, in tryToPreserveWithoutAddingAssume()
143 bool isKnowledgeWorthPreserving(RetainedKnowledge RK) { in isKnowledgeWorthPreserving()
171 void addKnowledge(RetainedKnowledge RK) { in addKnowledge()
390 RetainedKnowledge RK = getKnowledgeFromBundle(*Assume, BOI); in dropRedundantKnowledge()
449 RetainedKnowledge RK = getKnowledgeFromBundle(*I, BOI); in mergeRange()
/external/llvm-project/llvm/unittests/Analysis/
DAssumeBundleQueriesTest.cpp460 RetainedKnowledge K = in RunRandTest()
568 RetainedKnowledge RK; in TEST()
/external/llvm-project/llvm/lib/Transforms/IPO/
DAttributorAttributes.cpp1610 if (RetainedKnowledge RK = getKnowledgeFromUse( in getKnownNonNullAndDerefBytesForUse()