241 static bool MapHasRightValue(RetainedKnowledgeMap &Map, AssumeInst *II,  in MapHasRightValue()  function
276         ASSERT_TRUE(MapHasRightValue(  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()
304         ASSERT_TRUE(MapHasRightValue(  in TEST()
307         ASSERT_TRUE(MapHasRightValue(  in TEST()
352         ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(0), Attribute::Alignment},  in TEST()
354         ASSERT_TRUE(MapHasRightValue(  in TEST()
356         ASSERT_TRUE(MapHasRightValue(  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()
362         ASSERT_TRUE(MapHasRightValue(  in TEST()
364         ASSERT_TRUE(MapHasRightValue(Map, Assume, {I->getOperand(3), Attribute::Alignment},  in TEST()
366         ASSERT_TRUE(MapHasRightValue(  in TEST()