Re: rtl_verify_flow_info fix

2011-09-06 Thread Jakub Jelinek
On Tue, Sep 06, 2011 at 11:05:16AM +0200, Tom de Vries wrote: > bootstrapped and regtested on x86_64, build and regtested on arm. > > OK for trunk? Yes. > 2011-09-06 Tom de Vries > > * recog.c (asm_labels_ok): New function. > (check_asm_operands): Use asm_labels_ok. Jaku

Re: rtl_verify_flow_info fix

2011-09-06 Thread Tom de Vries
On 09/05/2011 02:46 PM, Jakub Jelinek wrote: > On Mon, Sep 05, 2011 at 02:31:32PM +0200, Tom de Vries wrote: >> --- gcc/recog.c (revision 178145) >> +++ gcc/recog.c (working copy) >> @@ -118,6 +118,46 @@ init_recog (void) >> } >> >> >> +/* Return true if labels in asm operands BODY are LABEL_

Re: rtl_verify_flow_info fix

2011-09-05 Thread Jakub Jelinek
On Mon, Sep 05, 2011 at 02:31:32PM +0200, Tom de Vries wrote: > --- gcc/recog.c (revision 178145) > +++ gcc/recog.c (working copy) > @@ -118,6 +118,46 @@ init_recog (void) > } > > > +/* Return true if labels in asm operands BODY are LABEL_REFs. */ > + > +static bool > +asm_labels_ok (rtx bod

Re: rtl_verify_flow_info fix

2011-09-05 Thread Tom de Vries
On 09/05/2011 10:53 AM, Jakub Jelinek wrote: > On Mon, Sep 05, 2011 at 10:29:18AM +0200, Tom de Vries wrote: >> Hi Eric, >> >> During testing the approved-for-commit middle-end patch for bug 43864 on >> ARM, I >> ran into a gcc.dg/torture/pr46068.c ICE. >> >> An asm jump is not recognized as an un

Re: rtl_verify_flow_info fix

2011-09-05 Thread Jakub Jelinek
On Mon, Sep 05, 2011 at 10:29:18AM +0200, Tom de Vries wrote: > Hi Eric, > > During testing the approved-for-commit middle-end patch for bug 43864 on ARM, > I > ran into a gcc.dg/torture/pr46068.c ICE. > > An asm jump is not recognized as an unconditional jump, so its followed by a > fall-throug