If x's number of sign bits is greater than the number of sign bits
introduced by the sext_inreg, then we can skip the sign extension.
I can't think of any way to test this. I tried to using csmith without any
luck. This patch is intended for D16220.