Hi Sanjoy, This looks ok, but is there any way to canonicalize (add-by-constant <pred> constant) before checking isImpliedCond? That way it would be symmetric and you wouldn't need separate logic to handle it. http://reviews.llvm.org/D8346 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/