InstCombine: fold (A >> C) == (B >> C) --> (A^B) < (1 << C) for constant Cs.

This is common in bitfield code.