commit 398c3477a3d26b92dc7cbdb9bd35eec827a85833
author Eli Friedman <efriedma@quicinc.com> Fri May 21 16:58:36 2021 -0700
committer Copybara-Service <copybara-worker@google.com> Wed Jun 16 18:22:16 2021 -0700
tree f359af2a56816daf723ebd8ee1693943704a51d2
parent 3d040f11c18d4bbfa4c0588ecc58a000ee03a683

[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