LGTM. Out of curiosity, why isn't this implemented like the code here: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/IndVarSimplify.cpp?revision=222213&view=markup#l1733 http://reviews.llvm.org/D6979 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/