Lines Matching refs:ConditionsToProcess
324 SmallVector<Value *, 2> ConditionsToProcess; in processAssume() local
330 ConditionsToProcess.push_back(cast<BinaryOperator>(Operand)->getOperand(0)); in processAssume()
331 ConditionsToProcess.push_back(cast<BinaryOperator>(Operand)->getOperand(1)); 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() local
402 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()
408 for (auto Cond : ConditionsToProcess) { in processBranch()