New test, TRAP ifcvt failure

[Franz Sirl]

On Thursday 18 April 2002 22:11, Richard Henderson wrote:
> On Thu, Apr 18, 2002 at 12:59:22AM -0700, David S. Miller wrote:
> > Richard Henderson has a fix pending for this bug.
>
> Here it is.  Tested by Dave on Sparc64, and by me on ia64.
>
>
> r~
>
>
>         * ifcvt.c: Include except.h.
>         (block_has_only_trap): Break out from find_cond_trap.
>         (find_cond_trap): Use it.  Always delete the trap block.
>         (merge_if_block): Allow then block null.  Be less simplistic about
>         what insns can end a block.
>         * Makefile.in (ifcvt.o): Depend on except.h.

Richard,
this patch changes the failure mode of the regression PR optimization/6093 on 
powerpc-linux-gnu to:

[fsirl@entropy:~/TC/gcc/BUILD/obj-gcc31-ppc/gcc]$ gcc -B./ -O1 -c 
~/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c: In function `foo':
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 24
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 23
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 22
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 21
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 19
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 17
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 15
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 14
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 13
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 12
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 8
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 7
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 6
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 5
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: missing barrier 
after block 3
/home/fsirl/cvsx/gcc-3.1/gcc/testsuite/gcc.dg/20000906-1.c:60: 
verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.

This may be visible on x86-linux-gnu too, the testcase failed there too.

Franz.