Lines Matching refs:hasTheRightValue
60 bool hasTheRightValue(IntrinsicInst *Assume, Value *WasOn, in hasTheRightValue() function
93 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()
95 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()
97 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()
117 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()
119 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()
121 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(1), in TEST()
156 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()
158 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()
160 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(1), in TEST()
162 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(1), in TEST()
164 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(2), in TEST()
166 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(2), in TEST()
168 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(3), in TEST()
170 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(3), in TEST()
195 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()
197 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()