[PATCH] D29774: [InstCombine] fold icmp sgt/slt (add nsw X, C2), C --> icmp sgt/slt X, (C - C2)

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

In https://reviews.llvm.org/D29774#674564, @spatel wrote:

> In https://reviews.llvm.org/D29774#674493, @nlopes wrote:
>
> > LGTM.
> >  The easy way to check for overflow in Alive: http://rise4fun.com/Alive/MH
>
>
> Thanks! I should read some docs now. :)
>  It looks like I should start with the papers and presentations from previous LLVM dev confs...is there also a reference doc for the online tool?


There isn't much available, sorry.  I need to write down some documentation.
You can see the list of predicates/functions here (the syntax highlighting code): https://github.com/nunoplopes/alive/blob/newsema/rise4fun/language

Anyway, if there's some feature you are missing let me know ;)


Repository:
  rL LLVM

https://reviews.llvm.org/D29774