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());