Lines Matching defs:WasOn

46 bool hasMatchesExactlyAttributes(AssumeInst *Assume, Value *WasOn,
56     if (ShouldHaveAttr != hasAttributeInAssume(*Assume, WasOn, Attr))
62 bool hasTheRightValue(AssumeInst *Assume, Value *WasOn,
65   if (!hasAttributeInAssume(*Assume, WasOn, Kind, &ArgVal))
224 static bool FindExactlyAttributes(RetainedKnowledgeMap &Map, Value *WasOn,
236                               WasOn, Attribute::getAttrKindFromName(Attr)})))
479     auto LookupIt = Map.find(RetainedKnowledgeKey{K.WasOn, K.AttrKind});
588   ASSERT_EQ(RK.WasOn, F->getArg(0));
594   ASSERT_EQ(RK.WasOn, F->getArg(1));
600   ASSERT_EQ(RK.WasOn, F->getArg(2));