Eli Friedman via Phabricatorunread,
May 21, 2021, 8:12:54 PMMay 21
to efri...@quicinc.com, ll...@meinersbur.de, siddu...@gmail.com, llvm-c...@lists.llvm.org, poll...@googlegroups.com, bhuvanend...@amd.com, 888...@gmail.com, doug...@gmail.com, w...@google.com, czhe...@cn.ibm.com, ruilin...@amd.com, kuh...@google.com
efriedma created this revision.
efriedma added a reviewer: Meinersbur.
Herald added a reviewer: bollu.
Herald added a subscriber: hiraditya.
efriedma requested review of this revision.
Herald added a project: LLVM.
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.
rG LLVM Github Monorepo