On Wed, Oct 12, 2016 at 05:02:46PM +0100, Andre Vieira (lists) wrote:
> Say you are running it on a 64-bit host:
> #define HOST_BITS_PER_WIDE_INT 64
> and you call 'result.set_len (1, false);'
> Then this will sign extend the first element of val, to
> 0xFFFFFFFFFFFFFFFF, and I don't think this is what you want.
> Due to this, 'expand_expr' will expand a constant tree with unsigned
> integer type and value MAX_UINT to a rtx node (const_int -1).
That is correct. In RTL constants are always sign-extended from their
precision to HOST_BITS_PER_WIDE_INT, regardless if it is "signed" or
"unsigned" constant. Whether you treat the low precision bits of the
constant as signed or unsigned is something encoded in the operation on it.