Searched refs:ConditionsToProcess (Results 1 – 1 of 1) sorted by relevance
324 SmallVector<Value *, 2> ConditionsToProcess; in processAssume() local330 ConditionsToProcess.push_back(cast<BinaryOperator>(Operand)->getOperand(0)); in processAssume()332 ConditionsToProcess.push_back(Operand); in processAssume()335 ConditionsToProcess.push_back(Operand); in processAssume()337 for (auto Cond : ConditionsToProcess) { in processAssume()367 SmallVector<Value *, 2> ConditionsToProcess; in processBranch() local402 ConditionsToProcess.push_back(BinOp->getOperand(0)); in processBranch()403 ConditionsToProcess.push_back(BinOp->getOperand(1)); in processBranch()404 ConditionsToProcess.push_back(BI->getCondition()); in processBranch()406 ConditionsToProcess.push_back(BI->getCondition()); in processBranch()[all …]