[PATCH] Added InstCombine transformation for combining two instructions icmp ult/ule/uge/ugt (ashr/lshr (Const2) %A), (Const1)

[Duncan P. N. Exon Smith]

> On 2014 Nov 7, at 21:56, Ankur Garg <ankur29.garg at samsung.com> wrote:
> 
> Hi Silvas,
> Can you please suggest some theorem prover which would be useful for llvm optimizations ?
> The only theorem prover that I've used is http://rise4fun.com/Z3/. But, in this, we'll have to declare all the functions being used inside the logic for example, getBitWidth(), countLeadingZeros(), etc. Also, I am not sure if I can return instructions using this.
> 
> Thanks.
> 
> http://reviews.llvm.org/D5518

Alive [1] might help.

[1]: https://github.com/nunoplopes/alive