InstSimplify: X >> X -> 0