[PATCH] D29585: [SCEV] Fix for PR31847: Assertion failed: (isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant!")

[Alexey Bataev via Phabricator via llvm-commits]

ABataev abandoned this revision.
ABataev added a comment.

In https://reviews.llvm.org/D29585#668537, @sanjoy wrote:

> Hi Alexey,
>
> I did not understand the premise of this change -- how can the sum of two loop invariant values be a loop varying value?  Can you give a specific isolated example?  Or did I not misunderstand?


Hi Sanjoy, there is something has changed in LLVM and I can't reproduce the bug anymore. So I'm abandoning it


https://reviews.llvm.org/D29585