Home
last modified time | relevance | path

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

/external/llvm-project/llvm/lib/Transforms/Utils/
DAssumeBundleBuilder.cpp73 RK.WasOn = getUnderlyingObject(RK.WasOn); in canonicalizedKnowledge()
76 Value *V = RK.WasOn->stripInBoundsOffsets([&](const Value *Strip) { in canonicalizedKnowledge()
82 RK.WasOn = V; in canonicalizedKnowledge()
89 RK.WasOn, Offset, M->getDataLayout(), /*AllowNonInBounds*/ false); in canonicalizedKnowledge()
93 RK.WasOn = V; in canonicalizedKnowledge()
115 if (!InstBeingRemoved || !RK.WasOn) in tryToPreserveWithoutAddingAssume()
120 RK.WasOn, {RK.AttrKind}, AC, in tryToPreserveWithoutAddingAssume()
146 if (!RK.WasOn) in isKnowledgeWorthPreserving()
148 if (RK.WasOn->getType()->isPointerTy()) { in isKnowledgeWorthPreserving()
149 Value *UnderlyingPtr = getUnderlyingObject(RK.WasOn); in isKnowledgeWorthPreserving()
[all …]
/external/llvm-project/llvm/include/llvm/Analysis/
DAssumeBundleQueries.h103 Value *WasOn = nullptr;
105 return AttrKind == Other.AttrKind && WasOn == Other.WasOn &&
/external/llvm-project/llvm/unittests/Analysis/
DAssumeBundleQueriesTest.cpp44 bool hasMatchesExactlyAttributes(IntrinsicInst *Assume, Value *WasOn, in hasMatchesExactlyAttributes() argument
54 if (ShouldHaveAttr != hasAttributeInAssume(*Assume, WasOn, Attr)) in hasMatchesExactlyAttributes()
60 bool hasTheRightValue(IntrinsicInst *Assume, Value *WasOn, in hasTheRightValue() argument
63 if (!hasAttributeInAssume(*Assume, WasOn, Kind, &ArgVal)) in hasTheRightValue()
219 static bool FindExactlyAttributes(RetainedKnowledgeMap &Map, Value *WasOn, in FindExactlyAttributes() argument
230 …if (ShouldHaveAttr != (Map.find(RetainedKnowledgeKey{WasOn, Attribute::getAttrKindFromName(Attr)})… in FindExactlyAttributes()
462 auto LookupIt = Map.find(RetainedKnowledgeKey{K.WasOn, K.AttrKind}); in RunRandTest()
572 ASSERT_EQ(RK.WasOn, F->getArg(0)); in TEST()
578 ASSERT_EQ(RK.WasOn, F->getArg(1)); in TEST()
584 ASSERT_EQ(RK.WasOn, F->getArg(2)); in TEST()
/external/llvm-project/llvm/lib/Analysis/
DAssumeBundleQueries.cpp110 Result.WasOn = getValueFromBundleOpInfo(Assume, BOI, ABA_WasOn); in getKnowledgeFromBundle()
183 if (V != RK.WasOn) in getKnowledgeForValue()