tree f359af2a56816daf723ebd8ee1693943704a51d2
parent 3d040f11c18d4bbfa4c0588ecc58a000ee03a683
author Eli Friedman <efriedma@quicinc.com> 1621641516 -0700
committer Copybara-Service <copybara-worker@google.com> 1623892936 -0700

[polly] Fix SCEVLoopAddRecRewriter to avoid invalid AddRecs.

When we're remapping an AddRec, the AddRec constructed by a partial
rewrite might not make sense.  This triggers an assertion complaining
it's not loop-invariant.

Instead of constructing the partially rewritten AddRec, just skip
straight to calling evaluateAtIteration.

Testcase was automatically reduced using llvm-reduce, so it's a little
messy, but hopefully makes sense.

Differential Revision: https://reviews.llvm.org/D102959

GitOrigin-RevId: fd229caa0138d296090c101655c82ca7da58ddd6