641     InductionOp op,  in TransferAddSub()  argument
650       return CreateInvariantOp(context, loop, op, a, b);  // direct invariant  in TransferAddSub()
654       InductionInfo* new_a = TransferAddSub(context, loop, a->op_a, b->op_a, op, type);  in TransferAddSub()
655       InductionInfo* new_b = TransferAddSub(context, loop, a->op_b, b->op_b, op, type);  in TransferAddSub()
662       InductionInfo* new_b = TransferAddSub(context, loop, a, b->op_b, op, type);  in TransferAddSub()
664         new_a = TransferAddSub(context, loop, a, new_a, op, type);  in TransferAddSub()
665       } else if (op == kSub) {  // Negation required.  in TransferAddSub()
674       InductionInfo* new_b = TransferAddSub(context, loop, a->op_b, b, op, type);  in TransferAddSub()
676         new_a = TransferAddSub(context, loop, new_a, b, op, type);  in TransferAddSub()
820     InductionOp op,  in SolveAddSub()  argument
832           return (op == kAdd) ? b : CreateInvariantOp(context, loop, kNeg, nullptr, b);  in SolveAddSub()
838             return CreateInvariantOp(context, loop, op, a, b);  in SolveAddSub()
848           InductionInfo* new_a = op == kAdd ? b : TransferNeg(context, loop, b, type);  in SolveAddSub()
860     if (op == kAdd) {  in SolveAddSub()
864     } else if (op == kSub) {  in SolveAddSub()
889                                                                      InductionOp op,  in SolveOp()  argument
897     } else if (op != kDiv && op != kRem) {  in SolveOp()
907       switch (op) {  in SolveOp()
913                                    op,  in SolveOp()
937           LOG(FATAL) << op;  in SolveOp()
1147   InductionOp op = kNop;  in VisitTripCount()  local
1149     case kCondLT: op = kLT; break;  in VisitTripCount()
1150     case kCondLE: op = kLE; break;  in VisitTripCount()
1151     case kCondGT: op = kGT; break;  in VisitTripCount()
1152     case kCondGE: op = kGE; break;  in VisitTripCount()
1158   InductionInfo* taken_test = CreateInvariantOp(context, loop, op, lower_expr, upper_expr);  in VisitTripCount()
1356     InductionOp op,  in CreateSimplifiedInvariant()  argument
1367       if (op == kAdd || op == kXor) {  in CreateSimplifiedInvariant()
1369       } else if (op == kMul) {  in CreateSimplifiedInvariant()
1372     } else if (op == kMul) {  in CreateSimplifiedInvariant()
1384       if (op == kAdd || op == kSub || op == kXor) {  in CreateSimplifiedInvariant()
1386       } else if (op == kMul || op == kNeg) {  in CreateSimplifiedInvariant()
1389     } else if (op == kMul || op == kDiv) {  in CreateSimplifiedInvariant()
1399     if (op == kAdd) {  in CreateSimplifiedInvariant()
1401     } else if (op == kSub) {  in CreateSimplifiedInvariant()
1403     } else if (op == kNeg) {  in CreateSimplifiedInvariant()
1408     if (op == kNeg) {  in CreateSimplifiedInvariant()
1413       kInvariant, op, a, b, nullptr, ImplicitConversion(b->type));  in CreateSimplifiedInvariant()