[Bug target/40468] New: [4.5 Regression] FAIL: gcc.c-torture/execute/20061031-1.c execution, -Os

[Bug target/40468] New: [4.5 Regression] FAIL: gcc.c-torture/execute/20061031-1.c execution, -Os

[danglin at gcc dot gnu dot org]

Executing on host: /home/dave/gnu/gcc-4.5/objdir/gcc/xgcc
-B/home/dave/gnu/gcc-4.5/objdir/gcc/
/home/dave/gnu/gcc-4.5/gcc/gcc/testsuite/gcc.c-torture/execute/20061031-1.c  -w
 -Os   -lm   -o /home/dave/gnu/gcc-4.5/objdir/gcc/testsuite/gcc/2
0061031-1.x7    (timeout = 300)
PASS: gcc.c-torture/execute/20061031-1.c compilation,  -Os Setting
LD_LIBRARY_PATH to
:/home/dave/gnu/gcc-4.5/objdir/gcc::/home/dave/gnu/gcc-4.5/objdir/gcc:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libstdc++-v3/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libmudflap/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libssp/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libgomp/.l
ibs:/home/dave/gnu/gcc-4.5/objdir/./gcc:/home/dave/gnu/gcc-4.5/objdir/./prev-gcc
FAIL: gcc.c-torture/execute/20061031-1.c execution,  -Os 

dave@hiauly6:~/gnu/gcc-4.5/objdir/gcc$ ./xgcc -B./ -v
Reading specs from ./specs
Target: hppa-linux
Configured with: ../gcc/configure --with-gnu-as --with-gnu-ld --enable-shared
--prefix=/home/dave/opt/gnu/gcc/gcc-4.4.0
--with-local-prefix=/home/dave/opt/gnu --enable-threads=posix
--enable-__cxa_atexit --build=hppa-linux --enable-clocale=gnu
--enable-java-gc=boehm --enable-java-awt=xlib
--enable-languages=c,c++,objc,fortran,obj-c++,java,ada
Thread model: posix
gcc version 4.5.0 20090616 (experimental) [trunk revision 148510] (GCC) 

The problem is the following assembly code:

0x000104e4 <f+56>:      cmpb,<>,n ret0,r19,0x104e8 <f+60>
0x000104e8 <f+60>:      b,l 0x104a8 <ff>,rp
0x000104ec <f+64>:      ldi 1,r26

This is not supposed to happen:

  /* A conditional branch to the following instruction (e.g. the delay slot)
     is asking for a disaster.  This can happen when not optimizing and
     when jump optimization fails.

     While it is usually safe to emit nothing, this can fail if the
     preceding instruction is a nullified branch with an empty delay
     slot and the same branch target as this branch.  We could check
     for this but jump optimization should eliminate nop jumps.  It
     is always safe to emit a nop.  */
  if (next_real_insn (JUMP_LABEL (insn)) == next_real_insn (insn))
    return "nop";


-- 
           Summary: [4.5 Regression] FAIL: gcc.c-torture/execute/20061031-
                    1.c execution,  -Os
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
 GCC build triplet: hppa-unknown-linux-gnu
  GCC host triplet: hppa-unknown-linux-gnu
GCC target triplet: hppa-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40468

[Bug target/40468] [4.5 Regression] FAIL: gcc.c-torture/execute/20061031-1.c execution, -Os

[danglin at gcc dot gnu dot org]

------- Comment #1 from danglin at gcc dot gnu dot org  2009-06-17 01:15 -------
The rtl looks like this:

(gdb) p debug_rtx_list (insn, 10)
(jump_insn:TI 18 16 19
/home/dave/gnu/gcc-4.5/gcc/gcc/testsuite/gcc.c-torture/execute/20061031-1.c:19
(set (pc)
        (if_then_else (ne (reg:SI 19 %r19 [109])
                (reg:SI 28 %r28 [111]))
            (label_ref 21)
            (pc))) 25 {*pa.md:1329} (expr_list:REG_BR_PRED (const_int 5 [0x5])
        (expr_list:REG_DEAD (reg:SI 28 %r28 [111])
            (expr_list:REG_DEAD (reg:SI 19 %r19 [109])
                (expr_list:REG_EQUAL (if_then_else (ne (reg:SI 19 %r19 [109])
                            (const_int 17 [0x11]))
                        (label_ref 21)
                        (pc))
                    (expr_list:REG_BR_PROB (const_int 7200 [0x1c20])
                        (nil)))))))

(note 19 18 20 [bb 3] NOTE_INSN_BASIC_BLOCK)

(insn:TI 20 19 21
/home/dave/gnu/gcc-4.5/gcc/gcc/testsuite/gcc.c-torture/execute/20061031-1.c:20
(asm_input/v ("") 2518) -1 (nil))

(code_label 21 20 22 3 "" [1 uses])

(note 22 21 63 [bb 4] NOTE_INSN_BASIC_BLOCK)

(insn 63 22 25
/home/dave/gnu/gcc-4.5/gcc/gcc/testsuite/gcc.c-torture/execute/20061031-1.c:18
(sequence [
            (call_insn:TI 24 22 23
/home/dave/gnu/gcc-4.5/gcc/gcc/testsuite/gcc.c-torture/execute/20061031-1.c:18
(parallel [
                        (call (mem:SI (symbol_ref/v:SI ("@ff") [flags 0x203]
<function_decl 0x40185400 ff>) [0 S4 A32])
                            (const_int 16 [0x10]))
                        (clobber (reg:SI 1 %r1))
                        (clobber (reg:SI 2 %r2))
                        (use (const_int 0 [0x0]))
                    ]) 206 {call_symref} (expr_list:REG_DEAD (reg:SI 26 %r26)
                    (expr_list:REG_EH_REGION (const_int 0 [0x0])
                        (nil)))
                (expr_list:REG_DEP_TRUE (use (reg:SI 26 %r26))
                    (nil)))
            (insn:TI 23 24 25 (set (reg:SI 26 %r26)
                    (const_int 1 [0x1])) 37 {*pa.md:2101} (nil))
        ]) -1 (nil))


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40468

[Bug target/40468] [4.5 Regression] FAIL: gcc.c-torture/execute/20061031-1.c execution, -Os

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.5.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40468

[Bug target/40468] [4.5 Regression] FAIL: gcc.c-torture/execute/20061031-1.c execution, -Os

[danglin at gcc dot gnu dot org]

------- Comment #2 from danglin at gcc dot gnu dot org  2009-06-26 00:41 -------
Subject: Bug 40468

Author: danglin
Date: Fri Jun 26 00:40:55 2009
New Revision: 148959

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=148959
Log:
        PR target/40468
        * pa.c (branch_to_delay_slot_p, branch_needs_nop_p): New functions.
        (output_cbranch): Use new functions.
        (output_lbranch, output_bb, output_bvb, output_dbra, output_movb):
        Likewise.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/pa/pa.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40468

[Bug target/40468] [4.5 Regression] FAIL: gcc.c-torture/execute/20061031-1.c execution, -Os

[danglin at gcc dot gnu dot org]

------- Comment #3 from danglin at gcc dot gnu dot org  2009-06-26 01:01 -------
Fixed.


-- 

danglin at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40468

[Bug target/40468] [4.5 Regression] FAIL: gcc.c-torture/execute/20061031-1.c execution, -Os

[danglin at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40468

--- Comment #4 from John David Anglin <danglin at gcc dot gnu.org> 2010-12-22 18:47:05 UTC ---
Author: danglin
Date: Wed Dec 22 18:46:57 2010
New Revision: 168177

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168177
Log:
    Backport from mainline:
    2010-12-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

    PR target/46915
    * config/pa/pa.c (branch_to_delay_slot_p): Use next_active_insn instead
    of next_real_insn.  Search forward checking for both ASM_INPUT and
    ASM_OPERANDS asms until exit condition is found.
    (branch_needs_nop_p): Likewise.
    (use_skip_p): New function.
    (output_cbranch): Use use_skip_p.
    (output_bb, output_bvb): Likewise.

    2009-06-25  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

    PR target/40468
    * pa.c (branch_to_delay_slot_p, branch_needs_nop_p): New functions.
    (output_cbranch): Use new functions.
    (output_bb, output_bvb, output_dbra, output_movb): Likewise.


Modified:
    branches/gcc-4_4-branch/gcc/ChangeLog
    branches/gcc-4_4-branch/gcc/config/pa/pa.c

[Bug target/40468] [4.5 Regression] FAIL: gcc.c-torture/execute/20061031-1.c execution, -Os

[danglin at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40468

--- Comment #5 from John David Anglin <danglin at gcc dot gnu.org> 2010-12-22 18:49:31 UTC ---
Author: danglin
Date: Wed Dec 22 18:49:24 2010
New Revision: 168178

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168178
Log:
    Backport from mainline:
    2010-12-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

    PR target/46915
    * config/pa/pa.c (branch_to_delay_slot_p): Use next_active_insn instead
    of next_real_insn.  Search forward checking for both ASM_INPUT and
    ASM_OPERANDS asms until exit condition is found.
    (branch_needs_nop_p): Likewise.
    (use_skip_p): New function.
    (output_cbranch): Use use_skip_p.
    (output_bb, output_bvb): Likewise.

    2009-06-25  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>

    PR target/40468
    * pa.c (branch_to_delay_slot_p, branch_needs_nop_p): New functions.
    (output_cbranch): Use new functions.
    (output_bb, output_bvb, output_dbra, output_movb): Likewise.


Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/config/pa/pa.c