If we can tell that trunc only chops off sign bits, and not all of them, then we can simply sign-extend the trunc's source.
