452                                Instruction::BinaryOps InnerOpcode, Value *A,  in tryFactorization()  argument
466   bool InnerCommutative = Instruction::isCommutative(InnerOpcode);  in tryFactorization()
469   if (LeftDistributesOverRight(InnerOpcode, TopLevelOpcode))  in tryFactorization()
483         SimplifiedInst = Builder->CreateBinOp(InnerOpcode, A, V);  in tryFactorization()
488   if (!SimplifiedInst && RightDistributesOverLeft(TopLevelOpcode, InnerOpcode))  in tryFactorization()
503         SimplifiedInst = Builder->CreateBinOp(InnerOpcode, V, B);  in tryFactorization()
536             InnerOpcode == Instruction::Mul)  in tryFactorization()
585     Instruction::BinaryOps InnerOpcode = Op0->getOpcode(); // op'  in SimplifyUsingDistributiveLaws()  local
594             (Instruction::isCommutative(InnerOpcode) && L == B && R == A))  in SimplifyUsingDistributiveLaws()
597         if (Value *V = SimplifyBinOp(InnerOpcode, L, R, DL))  in SimplifyUsingDistributiveLaws()
600         C = Builder->CreateBinOp(InnerOpcode, L, R);  in SimplifyUsingDistributiveLaws()
610     Instruction::BinaryOps InnerOpcode = Op1->getOpcode(); // op'  in SimplifyUsingDistributiveLaws()  local
619             (Instruction::isCommutative(InnerOpcode) && L == C && R == B))  in SimplifyUsingDistributiveLaws()
622         if (Value *V = SimplifyBinOp(InnerOpcode, L, R, DL))  in SimplifyUsingDistributiveLaws()
625         A = Builder->CreateBinOp(InnerOpcode, L, R);  in SimplifyUsingDistributiveLaws()