91         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(0),  in TEST()
93         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(1),  in TEST()
95         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(2),  in TEST()
97         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0),  in TEST()
99         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0),  in TEST()
101         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0),  in TEST()
113         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(0),  in TEST()
115         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(1),  in TEST()
117         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(2),  in TEST()
119         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(3),  in TEST()
121         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0),  in TEST()
123         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0),  in TEST()
125         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(1),  in TEST()
153             Assume, I->getOperand(0),  in TEST()
155         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(1),  in TEST()
157         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(2),  in TEST()
159         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(3),  in TEST()
161         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0),  in TEST()
163         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0),  in TEST()
165         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(1),  in TEST()
167         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(1),  in TEST()
169         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(2),  in TEST()
171         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(2),  in TEST()
173         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(3),  in TEST()
175         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(3),  in TEST()
188         I->getOperand(1)->dropDroppableUses();  in TEST()
189         I->getOperand(2)->dropDroppableUses();  in TEST()
190         I->getOperand(3)->dropDroppableUses();  in TEST()
192             Assume, I->getOperand(0),  in TEST()
194         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(1),  in TEST()
196         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(2),  in TEST()
198         ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, I->getOperand(3),  in TEST()
200         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0),  in TEST()
202         ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0),  in TEST()
212         Value *Old = I->getOperand(0);  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()
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()
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()
382         Value *Old = I->getOperand(0);  in TEST()