[InstSimplify] add nuw %x, C2 must be at least C2