315           induction = RotatePeriodicInduction(induction->op_b, induction->op_a);  in ClassifyNonTrivial()
337       kPeriodic, induction->op_a, RotatePeriodicInduction(induction->op_b, last), type_);  in RotatePeriodicInduction()
368                              TransferAddSub(a->op_b, b->op_b, op),  in TransferAddSub()
372       InductionInfo* new_b = TransferAddSub(a, b->op_b, op);  in TransferAddSub()
382       InductionInfo* new_b = TransferAddSub(a->op_b, b, op);  in TransferAddSub()
404                              TransferMul(a, b->op_b),  in TransferMul()
409                              TransferMul(a->op_b, b),  in TransferMul()
442     return CreateInduction(a->induction_class, TransferNeg(a->op_a), TransferNeg(a->op_b), type_);  in TransferNeg()
455           return CreateInduction(kLinear, a->op_a, a->op_b, to);  in TransferCnv()
616     InductionInfo* lower_expr = a->op_b;  in VisitCondition()
885       return CreateSimplifiedInvariant(kSub, a, b->op_b);  in CreateSimplifiedInvariant()
887       return CreateSimplifiedInvariant(kAdd, a, b->op_b);  in CreateSimplifiedInvariant()
889       return b->op_b;  in CreateSimplifiedInvariant()
894       return CreateSimplifiedInvariant(kSub, b->op_b, b->op_a);  in CreateSimplifiedInvariant()
922         InductionEqual(info1->op_b, info2->op_b);  in InductionEqual()
959       inv += InductionToString(info->op_b);  in InductionToString()
966                      InductionToString(info->op_b) + "):" +  in InductionToString()
970                          InductionToString(info->op_b) + "):" +  in InductionToString()
974                              InductionToString(info->op_b) + "):" +  in InductionToString()