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

Sebastian Pop via llvm-dev llvm-dev at lists.llvm.org
Fri Sep 23 07:28:03 PDT 2016

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.

More information about the llvm-dev mailing list