[PATCH] D11212: [SCEV] Apply NSW and NUW flags via poison value analysis

[Andrew Trick]

atrick accepted this revision.
atrick added a comment.
This revision is now accepted and ready to land.

Looks good. Nice comments.

For the goal of reassociating array address computation, I would have tried a different approach, but I think this is still valid and generally adds more power to SCEV.

I trust that Sanjoy has tried to poke enough holes in the logic. Overall, it looks pretty solid to me. Thanks for the thorough review, Sanjoy.


http://reviews.llvm.org/D11212