Home
last modified time | relevance | path

Searched refs:WasOn (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp77 RK.WasOn = getUnderlyingObject(RK.WasOn); in canonicalizedKnowledge()
85 RK.WasOn = V; in canonicalizedKnowledge()
96 RK.WasOn = V; in canonicalizedKnowledge()
118 if (!InstBeingModified || !RK.WasOn) in tryToPreserveWithoutAddingAssume()
123 RK.WasOn, {RK.AttrKind}, AC, in tryToPreserveWithoutAddingAssume()
148 if (!RK.WasOn) in isKnowledgeWorthPreserving()
150 if (RK.WasOn->getType()->isPointerTy()) { in isKnowledgeWorthPreserving()
155 if (auto *Arg = dyn_cast<Argument>(RK.WasOn)) { in isKnowledgeWorthPreserving()
164 if (RK.WasOn->use_empty()) in isKnowledgeWorthPreserving()
181 MapKey Key{RK.WasOn, RK.AttrKind}; in addKnowledge()
[all …]
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h103 Value *WasOn = nullptr;
105 return AttrKind == Other.AttrKind && WasOn == Other.WasOn &&
112 assert(((AttrKind == Other.AttrKind && WasOn == Other.WasOn) ||
/llvm-project-15.0.7/llvm/unittests/Analysis/
H A DAssumeBundleQueriesTest.cpp46 bool hasMatchesExactlyAttributes(AssumeInst *Assume, Value *WasOn, in hasMatchesExactlyAttributes() argument
56 if (ShouldHaveAttr != hasAttributeInAssume(*Assume, WasOn, Attr)) in hasMatchesExactlyAttributes()
62 bool hasTheRightValue(AssumeInst *Assume, Value *WasOn, in hasTheRightValue() argument
65 if (!hasAttributeInAssume(*Assume, WasOn, Kind, &ArgVal)) in hasTheRightValue()
224 static bool FindExactlyAttributes(RetainedKnowledgeMap &Map, Value *WasOn, in FindExactlyAttributes() argument
235 …if (ShouldHaveAttr != (Map.find(RetainedKnowledgeKey{WasOn, Attribute::getAttrKindFromName(Attr)})… in FindExactlyAttributes()
478 auto LookupIt = Map.find(RetainedKnowledgeKey{K.WasOn, K.AttrKind}); in RunRandTest()
587 ASSERT_EQ(RK.WasOn, F->getArg(0)); in TEST()
593 ASSERT_EQ(RK.WasOn, F->getArg(1)); in TEST()
599 ASSERT_EQ(RK.WasOn, F->getArg(2)); in TEST()
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp104 Result.WasOn = getValueFromBundleOpInfo(Assume, BOI, ABA_WasOn); in getKnowledgeFromBundle()
170 if (V != RK.WasOn) in getKnowledgeForValue()
/llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp2308 II->op_begin()[BOI.Begin].set(CanonRK.WasOn); in visitCallInst()
2312 if (RK.WasOn) in visitCallInst()
2313 Worklist.pushValue(RK.WasOn); in visitCallInst()