511           induction = RotatePeriodicInduction(induction->op_b, induction->op_a);  in ClassifyNonTrivial()
539                          induction->op_a,  in RotatePeriodicInduction()
576       InductionInfo* new_a = TransferAddSub(a->op_a, b->op_a, op);  in TransferAddSub()
583       InductionInfo* new_a = b->op_a;  in TransferAddSub()
595       InductionInfo* new_a = a->op_a;  in TransferAddSub()
618       InductionInfo* new_a = TransferNeg(a->op_a);  in TransferNeg()
641       InductionInfo* new_a = TransferMul(a, b->op_a);  in TransferMul()
649       InductionInfo* new_a = TransferMul(a->op_a, b);  in TransferMul()
669       return CreateInduction(kLinear, kNop, a->op_a, a->op_b, a->fetch, to);  in TransferConversion()
940     InductionInfo* stride_expr = a->op_a;  in VisitCondition()
1288       return CreateSimplifiedInvariant(kSub, b->op_b, b->op_a);  in CreateSimplifiedInvariant()
1361        (info->type == DataType::Type::kInt32 && (info->op_a->type == DataType::Type::kInt64 ||  in IsNarrowingLinear()
1374         InductionEqual(info1->op_a, info2->op_a)         &&  in InductionEqual()
1395       inv += InductionToString(info->op_a);  in InductionToString()
1421         return "(" + InductionToString(info->op_a) + " * i + " +  in InductionToString()
1426         return "poly(sum_lt(" + InductionToString(info->op_a) + ") + " +  in InductionToString()
1432         return "geo(" + InductionToString(info->op_a) + " * " +  in InductionToString()
1439         return "wrap(" + InductionToString(info->op_a) + ", " +  in InductionToString()
1444         return "periodic(" + InductionToString(info->op_a) + ", " +  in InductionToString()