[llvm-dev] Normalize a SCEV Expression

[Florian Hahn via llvm-dev]

> On Jul 31, 2020, at 12:34, Stefanos Baziotis <stefanos.baziotis at gmail.com> wrote:
> 
> Indeed you're right, thanks! I need a nuw (which I have to invent, with a run-time check, since it doesn't exist in the original but anyway).
> 

Right, I guess in your example, the flags on the add depend on the exact bound of the loop, which is omitted.