262   if (initial == nullptr || initial->induction_class != kInvariant) {  in ClassifyNonTrivial()
301       case kInvariant:  in ClassifyNonTrivial()
333   if (induction->induction_class == kInvariant) {  in RotatePeriodicInduction()
363     if (a->induction_class == kInvariant && b->induction_class == kInvariant) {  in TransferAddSub()
370     } else if (a->induction_class == kInvariant) {  in TransferAddSub()
380     } else if (b->induction_class == kInvariant) {  in TransferAddSub()
399     if (a->induction_class == kInvariant && b->induction_class == kInvariant) {  in TransferMul()
401     } else if (a->induction_class == kInvariant) {  in TransferMul()
406     } else if (b->induction_class == kInvariant) {  in TransferMul()
439     if (a->induction_class == kInvariant) {  in TransferNeg()
498     if (a != nullptr && a->induction_class == kInvariant) {  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()
897   return new (graph_->GetArena()) InductionInfo(kInvariant, op, a, b, nullptr, b->type);  in CreateSimplifiedInvariant()
930     if (info->induction_class == kInvariant) {  in InductionToString()