Searched refs:ConditionsToProcess (Results 1 – 1 of 1) sorted by relevance
325 SmallVector<Value *, 2> ConditionsToProcess; in processAssume() local331 ConditionsToProcess.push_back(cast<BinaryOperator>(Operand)->getOperand(0)); in processAssume()332 ConditionsToProcess.push_back(cast<BinaryOperator>(Operand)->getOperand(1)); in processAssume()333 ConditionsToProcess.push_back(Operand); in processAssume()336 ConditionsToProcess.push_back(Operand); in processAssume()338 for (auto Cond : ConditionsToProcess) { in processAssume()368 SmallVector<Value *, 2> ConditionsToProcess; in processBranch() local403 ConditionsToProcess.push_back(BinOp->getOperand(0)); in processBranch()404 ConditionsToProcess.push_back(BinOp->getOperand(1)); in processBranch()405 ConditionsToProcess.push_back(BI->getCondition()); in processBranch()[all …]