262   if (initial == nullptr || initial->induction_class != kInvariant) {  in ClassifyNonTrivial()
300     switch (induction->induction_class) {  in ClassifyNonTrivial()
333   if (induction->induction_class == kInvariant) {  in RotatePeriodicInduction()
363     if (a->induction_class == kInvariant && b->induction_class == kInvariant) {  in TransferAddSub()
365     } else if (a->induction_class == kLinear && b->induction_class == kLinear) {  in TransferAddSub()
370     } else if (a->induction_class == kInvariant) {  in TransferAddSub()
373       if (b->induction_class != kLinear) {  in TransferAddSub()
374         DCHECK(b->induction_class == kWrapAround || b->induction_class == kPeriodic);  in TransferAddSub()
379       return CreateInduction(b->induction_class, new_a, new_b, type_);  in TransferAddSub()
380     } else if (b->induction_class == kInvariant) {  in TransferAddSub()
383       if (a->induction_class != kLinear) {  in TransferAddSub()
384         DCHECK(a->induction_class == kWrapAround || a->induction_class == kPeriodic);  in TransferAddSub()
387       return CreateInduction(a->induction_class, new_a, new_b, type_);  in TransferAddSub()
399     if (a->induction_class == kInvariant && b->induction_class == kInvariant) {  in TransferMul()
401     } else if (a->induction_class == kInvariant) {  in TransferMul()
402       return CreateInduction(b->induction_class,  in TransferMul()
406     } else if (b->induction_class == kInvariant) {  in TransferMul()
407       return CreateInduction(a->induction_class,  in TransferMul()
439     if (a->induction_class == kInvariant) {  in TransferNeg()
442     return CreateInduction(a->induction_class, TransferNeg(a->op_a), TransferNeg(a->op_b), type_);  in TransferNeg()
453       if (a->induction_class == kLinear) {  in TransferCnv()
498     if (a != nullptr && a->induction_class == kInvariant) {  in SolvePhiAllInputs()
504       if (b != nullptr && b->induction_class == kPeriodic) {  in SolvePhiAllInputs()
522   if (b != nullptr && b->induction_class == kInvariant) {  in SolveAddSub()
529       if (a->induction_class == kInvariant) {  in SolveAddSub()
546       if (a != nullptr && a->induction_class == kInvariant) {  in SolveAddSub()
563     if (it != cycle_.end() && it->second->induction_class == kInvariant) {  in SolveCnv()
604   if (a->induction_class == kInvariant && b->induction_class == kLinear) {  in VisitCondition()
614   } else if (a->induction_class == kLinear && b->induction_class == kInvariant) {  in VisitCondition()
917         info1->induction_class == info2->induction_class &&  in InductionEqual()
930     if (info->induction_class == kInvariant) {  in InductionToString()
964       if (info->induction_class == kLinear) {  in InductionToString()
968       } else if (info->induction_class == kWrapAround) {  in InductionToString()
972       } else if (info->induction_class == kPeriodic) {  in InductionToString()