Lines Matching defs:Map

224 static bool FindExactlyAttributes(RetainedKnowledgeMap &Map, Value *WasOn,
235     if (ShouldHaveAttr != (Map.contains(RetainedKnowledgeKey{
242 static bool MapHasRightValue(RetainedKnowledgeMap &Map, AssumeInst *II,
244   auto LookupIt = Map.find(Key);
245   return (LookupIt != Map.end()) && (LookupIt->second[II].Min == MM.Min) &&
269         RetainedKnowledgeMap Map;
270         fillMapFromAssume(*Assume, Map);
271         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(0),
273         ASSERT_FALSE(FindExactlyAttributes(Map, I->getOperand(1),
275         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(2),
278             Map, Assume, {I->getOperand(0), Attribute::Dereferenceable}, {16, 16}));
279         ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(0), Attribute::Alignment},
281         ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(0), Attribute::Alignment},
294         RetainedKnowledgeMap Map;
295         fillMapFromAssume(*Assume, Map);
297         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(0),
299         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(1),
301         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(2),
303         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(3),
306             Map, Assume, {I->getOperand(0), Attribute::Dereferenceable},
309             Map, Assume, {I->getOperand(0), Attribute::Alignment}, {64, 64}));
317         RetainedKnowledgeMap Map;
318         fillMapFromAssume(*Assume, Map);
321             Map, nullptr, "(nounwind|norecurse|willreturn|cold)"));
326         RetainedKnowledgeMap Map;
327         fillMapFromAssume(*cast<AssumeInst>(I), Map);
329         ASSERT_TRUE(FindExactlyAttributes(Map, nullptr, ""));
330         ASSERT_TRUE(Map.empty());
342         RetainedKnowledgeMap Map;
343         fillMapFromAssume(*Assume, Map);
345         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(0),
347         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(1),
349         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(2),
351         ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(3),
353         ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(0), Attribute::Alignment},
356             Map, Assume, {I->getOperand(0), Attribute::Dereferenceable}, {48, 48}));
358             Map, Assume, {I->getOperand(1), Attribute::Dereferenceable}, {28, 28}));
359         ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(1), Attribute::Alignment},
361         ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(2), Attribute::Alignment},
364             Map, Assume, {I->getOperand(2), Attribute::Dereferenceable}, {4, 4}));
365         ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(3), Attribute::Alignment},
368             Map, Assume, {I->getOperand(3), Attribute::Dereferenceable}, {12, 12}));
379         RetainedKnowledgeMap Map;
380         fillMapFromAssume(*Assume, Map);
384         ASSERT_TRUE(FindExactlyAttributes(Map, New, ""));
385         ASSERT_TRUE(FindExactlyAttributes(Map, Old,
388         Map.clear();
389         fillMapFromAssume(*Assume, Map);
390         ASSERT_TRUE(FindExactlyAttributes(Map, New,
392         ASSERT_TRUE(FindExactlyAttributes(Map, Old, ""));
398         RetainedKnowledgeMap Map;
399         fillMapFromAssume(*cast<AssumeInst>(I), Map);
401         ASSERT_TRUE(Map.empty());
472   RetainedKnowledgeMap Map;
473   fillMapFromAssume(*Assume, Map);
479     auto LookupIt = Map.find(RetainedKnowledgeKey{K.WasOn, K.AttrKind});
480     ASSERT_TRUE(LookupIt != Map.end());