447                                Instruction::BinaryOps InnerOpcode, Value *A,  in tryFactorization()  argument
460   bool InnerCommutative = Instruction::isCommutative(InnerOpcode);  in tryFactorization()
463   if (LeftDistributesOverRight(InnerOpcode, TopLevelOpcode))  in tryFactorization()
477         SimplifiedInst = Builder->CreateBinOp(InnerOpcode, A, V);  in tryFactorization()
482   if (!SimplifiedInst && RightDistributesOverLeft(TopLevelOpcode, InnerOpcode))  in tryFactorization()
497         SimplifiedInst = Builder->CreateBinOp(InnerOpcode, V, B);  in tryFactorization()
567     Instruction::BinaryOps InnerOpcode = Op0->getOpcode(); // op'  in SimplifyUsingDistributiveLaws()  local
576             (Instruction::isCommutative(InnerOpcode) && L == B && R == A))  in SimplifyUsingDistributiveLaws()
579         if (Value *V = SimplifyBinOp(InnerOpcode, L, R, DL))  in SimplifyUsingDistributiveLaws()
582         C = Builder->CreateBinOp(InnerOpcode, L, R);  in SimplifyUsingDistributiveLaws()
592     Instruction::BinaryOps InnerOpcode = Op1->getOpcode(); // op'  in SimplifyUsingDistributiveLaws()  local
601             (Instruction::isCommutative(InnerOpcode) && L == C && R == B))  in SimplifyUsingDistributiveLaws()
604         if (Value *V = SimplifyBinOp(InnerOpcode, L, R, DL))  in SimplifyUsingDistributiveLaws()
607         A = Builder->CreateBinOp(InnerOpcode, L, R);  in SimplifyUsingDistributiveLaws()