On Tue, Jan 07, 2014 at 03:54:56PM +0100, Richard Biener wrote:
> 2014-01-07 Richard Biener
>
> PR middle-end/59471
> * gimplify.c (gimplify_expr): Gimplify register-register type
> VIEW_CONVERT_EXPRs to separate stmts.
>
> * gcc.dg/pr59471.c: New testcase.
The testcas
On Tue, 7 Jan 2014, Jakub Jelinek wrote:
> On Tue, Jan 07, 2014 at 04:12:57PM +0100, Richard Biener wrote:
> > > What about if something post gimplification creates VCE(BFR(VCE())) or
> > > similar and tries to force_gimple_operand_gsi or similar, then without
> > > making the above invalid in the
On Tue, 7 Jan 2014, Jakub Jelinek wrote:
> On Tue, Jan 07, 2014 at 03:54:56PM +0100, Richard Biener wrote:
> >
> > This fixes PR59471 by properly gimplifying
> >
> > VIEW_CONVERT_EXPR(BIT_FIELD_REF > long unsigned int>(x), 64, 0>)
> >
> > to use separate stmts for the VIEW_CONVERT_EXPRs.
> >
On Tue, Jan 07, 2014 at 04:12:57PM +0100, Richard Biener wrote:
> > What about if something post gimplification creates VCE(BFR(VCE())) or
> > similar and tries to force_gimple_operand_gsi or similar, then without
> > making the above invalid in the predicates we'd still not try to gimplify it
> >
On Tue, Jan 07, 2014 at 03:54:56PM +0100, Richard Biener wrote:
>
> This fixes PR59471 by properly gimplifying
>
> VIEW_CONVERT_EXPR(BIT_FIELD_REF long unsigned int>(x), 64, 0>)
>
> to use separate stmts for the VIEW_CONVERT_EXPRs.
>
> Bootstrap and regtest running on x86_64-unknown-linux-gn
