Lines Matching refs:BinOp
378 } else if (auto *BinOp = dyn_cast<BinaryOperator>(Cond)) {
380 assert(BinOp->getOpcode() == Instruction::And &&
382 auto *PA = new PredicateAssume(BinOp, II, BinOp);
383 addInfoFor(OpsToRename, BinOp, PA);
429 auto *BinOp = cast<BinaryOperator>(BI->getCondition());
430 if (BinOp->getOpcode() == Instruction::And)
432 else if (BinOp->getOpcode() == Instruction::Or)
434 ConditionsToProcess.push_back(BinOp->getOperand(0));
435 ConditionsToProcess.push_back(BinOp->getOperand(1));
446 } else if (auto *BinOp = dyn_cast<BinaryOperator>(Cond)) {
448 assert((BinOp->getOpcode() == Instruction::And ||
449 BinOp->getOpcode() == Instruction::Or) &&
453 InsertHelper(BinOp, false, false, BinOp);