[PATCH] Added InstCombine transformation for combining two instructions icmp ult/ule/uge/ugt (ashr/lshr (Const2) %A), (Const1)
Sean Silva
chisophugis at gmail.com
Fri Nov 7 20:02:55 PST 2014
Could you verify this with a theorem prover?
http://reviews.llvm.org/D5518
More information about the llvm-commits
mailing list