Lines Matching refs:hasTheRightValue
62 bool hasTheRightValue(AssumeInst *Assume, Value *WasOn, in hasTheRightValue() function
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()
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()
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()
200 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()
202 ASSERT_TRUE(hasTheRightValue(Assume, I->getOperand(0), in TEST()