1231     if (BinaryOperator *Op0I = dyn_cast<BinaryOperator>(Op0)) {  in visitAnd()  local
1232       Value *Op0LHS = Op0I->getOperand(0);  in visitAnd()
1233       Value *Op0RHS = Op0I->getOperand(1);  in visitAnd()
1234       switch (Op0I->getOpcode()) {  in visitAnd()
1239         if (!Op0I->hasOneUse()) break;  in visitAnd()
1246           return BinaryOperator::Create(Op0I->getOpcode(), Op0LHS, NewRHS);  in visitAnd()
1253           return BinaryOperator::Create(Op0I->getOpcode(), NewLHS, Op0RHS);  in visitAnd()
1277         if (Op0I->hasOneUse() && !match(Op0LHS, m_Zero())) {  in visitAnd()
1301       if (ConstantInt *Op0CI = dyn_cast<ConstantInt>(Op0I->getOperand(1)))  in visitAnd()
1302         if (Instruction *Res = OptAndOp(Op0I, Op0CI, AndRHS, I))  in visitAnd()
2554     if (BinaryOperator *Op0I = dyn_cast<BinaryOperator>(NotOp)) {  in visitXor()  local
2555       if (Op0I->getOpcode() == Instruction::And ||  in visitXor()
2556           Op0I->getOpcode() == Instruction::Or) {  in visitXor()
2559         if (dyn_castNotVal(Op0I->getOperand(1)))  in visitXor()
2560           Op0I->swapOperands();  in visitXor()
2561         if (Value *Op0NotVal = dyn_castNotVal(Op0I->getOperand(0))) {  in visitXor()
2563             Builder->CreateNot(Op0I->getOperand(1),  in visitXor()
2564                                Op0I->getOperand(1)->getName()+".not");  in visitXor()
2565           if (Op0I->getOpcode() == Instruction::And)  in visitXor()
2572         if (IsFreeToInvert(Op0I->getOperand(0),  in visitXor()
2573                            Op0I->getOperand(0)->hasOneUse()) &&  in visitXor()
2574             IsFreeToInvert(Op0I->getOperand(1),  in visitXor()
2575                            Op0I->getOperand(1)->hasOneUse())) {  in visitXor()
2577             Builder->CreateNot(Op0I->getOperand(0), "notlhs");  in visitXor()
2579             Builder->CreateNot(Op0I->getOperand(1), "notrhs");  in visitXor()
2580           if (Op0I->getOpcode() == Instruction::And)  in visitXor()
2585       } else if (Op0I->getOpcode() == Instruction::AShr) {  in visitXor()
2587         if (Value *Op0NotVal = dyn_castNotVal(Op0I->getOperand(0)))  in visitXor()
2588           return BinaryOperator::CreateAShr(Op0NotVal, Op0I->getOperand(1));  in visitXor()
2618     if (BinaryOperator *Op0I = dyn_cast<BinaryOperator>(Op0)) {  in visitXor()  local
2620       if (Op0I->getOpcode() == Instruction::Sub && RHS->isAllOnesValue())  in visitXor()
2621         if (Constant *Op0I0C = dyn_cast<Constant>(Op0I->getOperand(0))) {  in visitXor()
2625           return BinaryOperator::CreateAdd(Op0I->getOperand(1), ConstantRHS);  in visitXor()
2628       if (ConstantInt *Op0CI = dyn_cast<ConstantInt>(Op0I->getOperand(1))) {  in visitXor()
2629         if (Op0I->getOpcode() == Instruction::Add) {  in visitXor()
2636                                       Op0I->getOperand(0));  in visitXor()
2640             return BinaryOperator::CreateAdd(Op0I->getOperand(0), C);  in visitXor()
2643         } else if (Op0I->getOpcode() == Instruction::Or) {  in visitXor()
2645           if (MaskedValueIsZero(Op0I->getOperand(0), Op0CI->getValue(),  in visitXor()
2653             Worklist.Add(Op0I);  in visitXor()
2654             I.setOperand(0, Op0I->getOperand(0));  in visitXor()
2658         } else if (Op0I->getOpcode() == Instruction::LShr) {  in visitXor()
2663           if (Op0I->hasOneUse() &&  in visitXor()
2664               (E1 = dyn_cast<BinaryOperator>(Op0I->getOperand(0))) &&  in visitXor()
2673             Opnd0->takeName(Op0I);  in visitXor()
2717   BinaryOperator *Op0I = dyn_cast<BinaryOperator>(Op0);  in visitXor()  local
2718   if (Op0I) {  in visitXor()
2720     if (match(Op0I, m_Or(m_Value(A), m_Value(B))) &&  in visitXor()
2721         Op0I->hasOneUse()) {  in visitXor()
2726     } else if (match(Op0I, m_And(m_Value(A), m_Value(B))) &&  in visitXor()
2727                Op0I->hasOneUse()){  in visitXor()
2737   if (Op0I && Op1I) {  in visitXor()
2740     if (match(Op0I, m_And(m_Value(A), m_Value(B))) &&  in visitXor()
2746     if (match(Op0I, m_Or(m_Value(A), m_Value(B))) &&  in visitXor()
2752     if (match(Op0I, m_Or(m_Value(A), m_Not(m_Value(B)))) &&  in visitXor()
2757     if (match(Op0I, m_Or(m_Not(m_Value(A)), m_Value(B))) &&  in visitXor()
2762     if (match(Op0I, m_And(m_Value(A), m_Not(m_Value(B)))) &&  in visitXor()
2767     if (match(Op0I, m_And(m_Not(m_Value(A)), m_Value(B))) &&  in visitXor()
2772     if (match(Op0I, m_Xor(m_Value(D), m_Value(C))) &&  in visitXor()
2782     if (match(Op0I, m_Or(m_Value(A), m_Value(B))) &&  in visitXor()
2792     if (match(Op0I, m_And(m_Value(A), m_Value(B))) &&  in visitXor()
2796     if (match(Op0I, m_Xor(m_Value(A), m_Value(B))) &&  in visitXor()