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

[Ankur Garg]

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