Re: Question on fixup_abnormal_edges

[Jan Hubicka <jh at suse dot cz>]

> 
> Hello Michael,
> 
> Michael Matz wrote:
> > > It can happen.  The relevant sequence in 3.2 and HEAD branch reads as
> > 
> > Doh, in my local copy of 3.2 ;-)  But it's definitely in HEAD.
> 
>  Indeed. Thanks for your input.
> 
>  I had checked HEAD, but was mistakenly looking for an explicit test against
>  "e" and missed the change you mentioned.
> 
>  It did not help much, unfortunately, as we are getting there with the insn
>  below, which is not a USE :/
> 
>  (insn 2134 444 445 (set (reg:DI 22 $22)
>         (mem:DI (plus:DI (reg/f:DI 29 $29)
>                 (const_int 640 [0x280])) [48 S8 A64])) 244 {*movdi_nofix} (nil)
>     (nil))
> 
>  Humm...

I think we should make reload to recognize that given insn never
fallsthru and avoid it from generating such dead code.  Even in case of
USE it is wrong and here as well.  What is the last insn in the basic
block?

Honza
> 
> 
> 
>