Lines Matching refs:Assume
46 bool hasMatchesExactlyAttributes(AssumeInst *Assume, Value *WasOn, in hasMatchesExactlyAttributes() argument
56 if (ShouldHaveAttr != hasAttributeInAssume(*Assume, WasOn, Attr)) in hasMatchesExactlyAttributes()
62 bool hasTheRightValue(AssumeInst *Assume, Value *WasOn, in hasTheRightValue() argument
65 if (!hasAttributeInAssume(*Assume, WasOn, Kind, &ArgVal)) in hasTheRightValue()
89 auto *Assume = buildAssumeFromInst(I); in TEST() local
90 Assume->insertBefore(I); in TEST()
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()
111 auto *Assume = buildAssumeFromInst(I); in TEST() local
112 Assume->insertBefore(I); 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()
131 auto *Assume = buildAssumeFromInst(I); in TEST() local
132 Assume->insertBefore(I); in TEST()
134 Assume, nullptr, in TEST()
140 auto *Assume = cast<AssumeInst>(I); in TEST() local
141 ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, nullptr, "")); in TEST()
150 auto *Assume = buildAssumeFromInst(I); in TEST() local
151 Assume->insertBefore(I); 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()
186 auto *Assume = buildAssumeFromInst(I); in TEST() local
187 Assume->insertBefore(I); 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()
209 auto *Assume = buildAssumeFromInst(I); in TEST() local
210 Assume->insertBefore(I); in TEST()
213 ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, New, "")); in TEST()
214 ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, Old, in TEST()
217 ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, New, in TEST()
219 ASSERT_TRUE(hasMatchesExactlyAttributes(Assume, Old, "")); in TEST()
265 auto *Assume = buildAssumeFromInst(I); in TEST() local
266 Assume->insertBefore(I); in TEST()
269 fillMapFromAssume(*Assume, Map); 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()
290 auto *Assume = buildAssumeFromInst(I); in TEST() local
291 Assume->insertBefore(I); in TEST()
294 fillMapFromAssume(*Assume, Map); in TEST()
305 Map, Assume, {I->getOperand(0), Attribute::Dereferenceable}, in TEST()
308 Map, Assume, {I->getOperand(0), Attribute::Alignment}, {64, 64})); in TEST()
313 auto *Assume = buildAssumeFromInst(I); in TEST() local
314 Assume->insertBefore(I); in TEST()
317 fillMapFromAssume(*Assume, Map); in TEST()
338 auto *Assume = buildAssumeFromInst(I); in TEST() local
339 Assume->insertBefore(I); in TEST()
342 fillMapFromAssume(*Assume, Map); 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()
375 auto *Assume = buildAssumeFromInst(I); in TEST() local
376 Assume->insertBefore(I); in TEST()
379 fillMapFromAssume(*Assume, Map); in TEST()
388 fillMapFromAssume(*Assume, Map); in TEST()
468 auto *Assume = cast<AssumeInst>(CallInst::Create( in RunRandTest() local
470 Assume->insertBefore(&F->begin()->front()); in RunRandTest()
472 fillMapFromAssume(*Assume, Map); in RunRandTest()
480 MinMax MM = LookupIt->second[Assume]; in RunRandTest()
527 ASSERT_EQ(AR[0].Assume, &*Second); in TEST()
531 ASSERT_EQ(AR[0].Assume, &*First); in TEST()
536 ASSERT_EQ(AR[0].Assume, &*First); in TEST()
538 ASSERT_EQ(AR[1].Assume, &*Second); in TEST()
540 ASSERT_EQ(AR[2].Assume, &*First); in TEST()
544 ASSERT_EQ(AR[0].Assume, &*Second); in TEST()
553 ASSERT_EQ(AR[0].Assume, &*First); in TEST()
555 ASSERT_EQ(AR[1].Assume, nullptr); in TEST()
557 ASSERT_EQ(AR[2].Assume, &*First); in TEST()
562 ASSERT_EQ(AR[0].Assume, &*First); in TEST()