[llvm-dev] Improving SCEV's behavior around IR level no-wrap flags

[Sebastian Pop via llvm-dev]

On Fri, Sep 23, 2016 at 6:08 AM, Andrew Trick <atrick at apple.com> wrote:
> The alternative is to represent proofs about IR values independent from SCEV.

I like this for two reasons:
- it simplifies the SCEV analysis and representation by moving other
analyses results on the side,
- and it will make the analyses more context sensitive: proofs
attached to an IR location, and not to the SCEV expressions.