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

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added a comment.

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?


https://reviews.llvm.org/D29585