Lines Matching refs:Map
224 static bool FindExactlyAttributes(RetainedKnowledgeMap &Map, Value *WasOn, in FindExactlyAttributes() argument
235 …if (ShouldHaveAttr != (Map.find(RetainedKnowledgeKey{WasOn, Attribute::getAttrKindFromName(Attr)})… in FindExactlyAttributes()
241 static bool MapHasRightValue(RetainedKnowledgeMap &Map, AssumeInst *II, in MapHasRightValue() argument
243 auto LookupIt = Map.find(Key); in MapHasRightValue()
244 return (LookupIt != Map.end()) && (LookupIt->second[II].Min == MM.Min) && in MapHasRightValue()
268 RetainedKnowledgeMap Map; in TEST() local
269 fillMapFromAssume(*Assume, Map); in TEST()
270 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(0), in TEST()
272 ASSERT_FALSE(FindExactlyAttributes(Map, I->getOperand(1), in TEST()
274 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(2), in TEST()
277 Map, Assume, {I->getOperand(0), Attribute::Dereferenceable}, {16, 16})); in TEST()
278 ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(0), Attribute::Alignment}, in TEST()
280 ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(0), Attribute::Alignment}, in TEST()
293 RetainedKnowledgeMap Map; in TEST() local
294 fillMapFromAssume(*Assume, Map); in TEST()
296 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(0), in TEST()
298 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(1), in TEST()
300 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(2), in TEST()
302 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(3), in TEST()
305 Map, Assume, {I->getOperand(0), Attribute::Dereferenceable}, in TEST()
308 Map, Assume, {I->getOperand(0), Attribute::Alignment}, {64, 64})); in TEST()
316 RetainedKnowledgeMap Map; in TEST() local
317 fillMapFromAssume(*Assume, Map); in TEST()
320 Map, nullptr, "(nounwind|norecurse|willreturn|cold)")); in TEST()
325 RetainedKnowledgeMap Map; in TEST() local
326 fillMapFromAssume(*cast<AssumeInst>(I), Map); in TEST()
328 ASSERT_TRUE(FindExactlyAttributes(Map, nullptr, "")); in TEST()
329 ASSERT_TRUE(Map.empty()); in TEST()
341 RetainedKnowledgeMap Map; in TEST() local
342 fillMapFromAssume(*Assume, Map); in TEST()
344 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(0), in TEST()
346 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(1), in TEST()
348 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(2), in TEST()
350 ASSERT_TRUE(FindExactlyAttributes(Map, I->getOperand(3), in TEST()
352 ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(0), Attribute::Alignment}, in TEST()
355 Map, Assume, {I->getOperand(0), Attribute::Dereferenceable}, {48, 48})); in TEST()
357 Map, Assume, {I->getOperand(1), Attribute::Dereferenceable}, {28, 28})); in TEST()
358 ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(1), Attribute::Alignment}, in TEST()
360 ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(2), Attribute::Alignment}, in TEST()
363 Map, Assume, {I->getOperand(2), Attribute::Dereferenceable}, {4, 4})); in TEST()
364 ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(3), Attribute::Alignment}, in TEST()
367 Map, Assume, {I->getOperand(3), Attribute::Dereferenceable}, {12, 12})); in TEST()
378 RetainedKnowledgeMap Map; in TEST() local
379 fillMapFromAssume(*Assume, Map); in TEST()
383 ASSERT_TRUE(FindExactlyAttributes(Map, New, "")); in TEST()
384 ASSERT_TRUE(FindExactlyAttributes(Map, Old, in TEST()
387 Map.clear(); in TEST()
388 fillMapFromAssume(*Assume, Map); in TEST()
389 ASSERT_TRUE(FindExactlyAttributes(Map, New, in TEST()
391 ASSERT_TRUE(FindExactlyAttributes(Map, Old, "")); in TEST()
397 RetainedKnowledgeMap Map; in TEST() local
398 fillMapFromAssume(*cast<AssumeInst>(I), Map); in TEST()
400 ASSERT_TRUE(Map.empty()); in TEST()
471 RetainedKnowledgeMap Map; in RunRandTest() local
472 fillMapFromAssume(*Assume, Map); in RunRandTest()
478 auto LookupIt = Map.find(RetainedKnowledgeKey{K.WasOn, K.AttrKind}); in RunRandTest()
479 ASSERT_TRUE(LookupIt != Map.end()); in RunRandTest()