Added support to optimize comparisons with "lshr exact" of a constant.

Patch by Rahul Jain.