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