Re: BIT_FIELD_REF on the LHS

[Steven Bosscher]

On 7/13/06, Richard Guenther <[EMAIL PROTECTED]> wrote:

On 7/13/06, Andrew Pinski <[EMAIL PROTECTED]> wrote:
> So I started to try to fold *(type*)(&vector_type_var) into
> BIT_FIELD_REF <t, 32, 0> but I ran into a bug where the SSA messes
> itself up.
> This works for the right hand side just fine as
> BIT_FIELD_REF<SSA_NAME, x, y > is easyly valid gimple.  When the
> BIT_FIELD_REF is on the left hand side, it turns out that we produce:
> BIT_FIELD_REF<t1_2, x, y > = t_1 still even though t1_2 is killed
> during the BIT_FIELD_REF.

it's only a partial kill, which you cannot do to ssa names.  So you'd need to
go the

t1_2 = { t[0], other, t[1], t[2] }

route to fix this.

This looks _so_ much like the SUBREG issues with RTL SSA :-)

Gr.
Steven