579         return CreateInduction(a->induction_class, a->operation, new_a, new_b, a->fetch, type_);  in TransferAddSub()
591         return CreateInduction(b->induction_class, b->operation, new_a, new_b, b->fetch, type_);  in TransferAddSub()
601         return CreateInduction(a->induction_class, a->operation, new_a, new_b, a->fetch, type_);  in TransferAddSub()
616     } else if (a->induction_class != kGeometric || a->operation == kMul) {  in TransferNeg()
621         return CreateInduction(a->induction_class, a->operation, new_a, new_b, a->fetch, type_);  in TransferNeg()
639                                                     b->operation == kMul)) {  in TransferMul()
644         return CreateInduction(b->induction_class, b->operation, new_a, new_b, b->fetch, type_);  in TransferMul()
647                                                     a->operation == kMul)) {  in TransferMul()
652         return CreateInduction(a->induction_class, a->operation, new_a, new_b, a->fetch, type_);  in TransferMul()
810           if (c->operation == kFetch) {  in SolveOp()
1276   } else if (b->operation == kNeg) {  in CreateSimplifiedInvariant()
1285   } else if (b->operation == kSub) {  in CreateSimplifiedInvariant()
1371         info1->operation       == info2->operation       &&  in InductionEqual()
1396       switch (info->operation) {  in InductionToString()
1420         DCHECK(info->operation == kNop);  in InductionToString()
1425         DCHECK(info->operation == kNop);  in InductionToString()
1430         DCHECK(info->operation == kMul || info->operation == kDiv);  in InductionToString()
1434                         (info->operation == kMul ? " ^ i + " : " ^ -i + ") +  in InductionToString()
1438         DCHECK(info->operation == kNop);  in InductionToString()
1443         DCHECK(info->operation == kNop);  in InductionToString()