This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix PR59471
- From: Richard Biener <rguenther at suse dot de>
- To: Jakub Jelinek <jakub at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Tue, 7 Jan 2014 16:12:57 +0100 (CET)
- Subject: Re: [PATCH] Fix PR59471
- Authentication-results: sourceware.org; auth=none
- References: <alpine dot LSU dot 2 dot 11 dot 1401071552130 dot 4623 at zhemvz dot fhfr dot qr> <20140107151028 dot GT892 at tucnak dot redhat dot com>
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<uint8x8_t>(BIT_FIELD_REF <VIEW_CONVERT_EXPR<vector(2)
> > long unsigned int>(x), 64, 0>)
> >
> > to use separate stmts for the VIEW_CONVERT_EXPRs.
> >
> > Bootstrap and regtest running on x86_64-unknown-linux-gnu.
>
> 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
> at all (because it would pass the predicate), and then hit the verification
> ICE.
I don't think it passes any predicate, certainly not is_gimple_val,
so we enter gimplification anyway. Or am I missing something?
Thanks,
Richard.