[Bug java/34150] New: ICE: output_operand: invalid expression as operand on hppa

[Bug java/34150] New: ICE: output_operand: invalid expression as operand on hppa

[tbm at cyrius dot com]

[ Forwarded from http://bugs.debian.org/451757 ]

gcj 4.2 fails to compile the attached jar file on hppa.

paer% /usr/bin/gcj-4.2 -c -O2 -fPIC -findirect-dispatch
hsqldb-1.8.0.9.jar.4.jar -o hsqldb-1.8.0.9.jar.4.o
hsqldb-1.8.0.9.jar.4.jar: In class 'org.hsqldb.util.DatabaseManagerSwing':
hsqldb-1.8.0.9.jar.4.jar: In method
'org.hsqldb.util.DatabaseManagerSwing.directRefreshTree()':
hsqldb-1.8.0.9.jar.4.jar:0: internal compiler error: output_operand: invalid
expression as operand
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE: output_operand: invalid expression as operand on
                    hppa
           Product: gcc
           Version: 4.2.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: java
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com
GCC target triplet: hppa-linux-gnu


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

[Bug java/34150] ICE: output_operand: invalid expression as operand on hppa

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2007-11-19 11:29 -------
Created an attachment (id=14579)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14579&action=view)
jar file


-- 


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

[Bug target/34150] ICE: output_operand: invalid expression as operand on hppa

[danglin at gcc dot gnu dot org]

------- Comment #3 from danglin at gcc dot gnu dot org  2008-01-06 21:35 -------
This bug is present on 4.2 branch but head doesn't fail for me.  The problem
is a deleted label.

Breakpoint 1, output_operand (x=0x4be5a208, code=0)
    at ../../gcc/gcc/final.c:3171
3171      gcc_assert (!x || !REG_P (x) || REGNO (x) < FIRST_PSEUDO_REGISTER);
(gdb) p debug_rtx (x)
(note/s 1897 4221 1898 ("*.LJpc=819954") NOTE_INSN_DELETED_LABEL 13722)
$1 = void
(gdb) bt
#0  output_operand (x=0x4be5a208, code=0) at ../../gcc/gcc/final.c:3171
#1  0x0013dc10 in output_asm_insn (template=<value optimized out>,
    operands=0x460ba0) at ../../gcc/gcc/final.c:3102
#2  0x0013e914 in final_scan_insn (insn=0x4bd755a0,
    file=<value optimized out>, optimize=<value optimized out>,
    nopeepholes=<value optimized out>, seen=0xfafc2d48)
    at ../../gcc/gcc/final.c:2468
#3  0x0013eab4 in final_scan_insn (insn=0x4bf32cd0, file=0x48c670,
    optimize=<value optimized out>, nopeepholes=<value optimized out>,
    seen=0xfafc2d48) at ../../gcc/gcc/final.c:2143
#4  0x0013ed48 in final (first=<value optimized out>, file=0x48c670,
    optimize=2) at ../../gcc/gcc/final.c:1610
#5  0x0013ee48 in rest_of_handle_final () at ../../gcc/gcc/final.c:3916
#6  0x002404b0 in execute_one_pass (pass=0x43924c)
    at ../../gcc/gcc/passes.c:881
#7  0x00240630 in execute_pass_list (pass=0x43924c)
    at ../../gcc/gcc/passes.c:932
#8  0x00240644 in execute_pass_list (pass=0x439e58)
    at ../../gcc/gcc/passes.c:933
#9  0x00240644 in execute_pass_list (pass=0x439e24)
    at ../../gcc/gcc/passes.c:933
#10 0x00077834 in tree_rest_of_compilation (fndecl=0x49d9de00)
    at ../../gcc/gcc/tree-optimize.c:462
---Type <return> to continue, or q <return> to quit---q
Quit
(gdb) frame 2
#2  0x0013e914 in final_scan_insn (insn=0x4bd755a0,
    file=<value optimized out>, optimize=<value optimized out>,
    nopeepholes=<value optimized out>, seen=0xfafc2d48)
    at ../../gcc/gcc/final.c:2468
2468            output_asm_insn (template, recog_data.operand);
(gdb) p debug_rtx (insn)
(jump_insn:TI 1452 1450 1455 (set (pc)
        (if_then_else (eq (reg:SI 28 %r28 [orig:1024+-3 ] [1024])
                (const_int 0 [0x0]))
            (label_ref [1897 deleted])
            (pc))) 25 {*pa.md:1712} (nil)
    (expr_list:REG_BR_PRED (const_int 50 [0x32])
        (expr_list:REG_DEAD (reg:SI 28 %r28 [orig:1024+-3 ] [1024])
            (expr_list:REG_BR_PROB (const_int 200 [0xc8])
                (nil)))))


-- 

danglin at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-06 21:35:49
               date|                            |


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

[Bug target/34150] ICE: output_operand: invalid expression as operand on hppa

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #4 from dave at hiauly1 dot hia dot nrc dot ca  2008-01-06 21:59 -------
Subject: Re:  ICE: output_operand: invalid expression as
        operand on hppa

> This bug is present on 4.2 branch but head doesn't fail for me.  The problem
> is a deleted label.

The label is deleted in the dbr pass.  The uses count seems wrong, but
still the in_struct flag is set and the label should not have been deleted.

Dave


------- Comment #5 from dave at hiauly1 dot hia dot nrc dot ca  2008-01-06 21:59 -------
Created an attachment (id=14890)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14890&action=view)


------- Comment #6 from dave at hiauly1 dot hia dot nrc dot ca  2008-01-06 21:59 -------
Created an attachment (id=14891)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14891&action=view)


-- 


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

[Bug middle-end/34150] ICE: output_operand: invalid expression as operand on hppa

[danglin at gcc dot gnu dot org]

------- Comment #7 from danglin at gcc dot gnu dot org  2008-01-06 23:27 -------
Breakpoint 1, delete_insn (insn=0x4be5a208) at ../../gcc/gcc/cfgrtl.c:111
111       if (LABEL_P (insn))
(gdb) bt
#0  delete_insn (insn=0x4be5a208) at ../../gcc/gcc/cfgrtl.c:111
#1  0x001a8f30 in delete_related_insns (insn=0x4be5a208)
    at ../../gcc/gcc/jump.c:1411
#2  0x001a9ed8 in redirect_jump_2 (jump=0x4bd7aae0, olabel=0x4be5a208,
    nlabel=0x4bf325c8, delete_unused=1, invert=0) at ../../gcc/gcc/jump.c:1702
#3  0x001aa03c in redirect_jump (jump=0x4bd7aae0, nlabel=0x4bf325c8,
    delete_unused=1) at ../../gcc/gcc/jump.c:1659
#4  0x0035b40c in fill_slots_from_thread (insn=0x4bd7aae0,
    condition=0x4000d218, thread=0x4bef85f0,
    opposite_thread=<value optimized out>, likely=1, thread_if_true=1,
    own_thread=0, slots_to_fill=1, pslots_filled=0xfb5e0e08,
    delay_list=0x4bf33180) at ../../gcc/gcc/reorg.c:2900
#5  0x0035c8c0 in fill_simple_delay_slots (non_jumps_p=0)
    at ../../gcc/gcc/reorg.c:2363
#6  0x0035d548 in dbr_schedule (first=0x4bd17840) at ../../gcc/gcc/reorg.c:3611
#7  0x0035e5a0 in rest_of_handle_delay_slots () at ../../gcc/gcc/reorg.c:3784
#8  0x002404b0 in execute_one_pass (pass=0x43b828)
    at ../../gcc/gcc/passes.c:881
#9  0x00240630 in execute_pass_list (pass=0x43b828)
    at ../../gcc/gcc/passes.c:932
#10 0x00240644 in execute_pass_list (pass=0x439e58)
    at ../../gcc/gcc/passes.c:933
#11 0x00240644 in execute_pass_list (pass=0x439e24)
---Type <return> to continue, or q <return> to quit---
    at ../../gcc/gcc/passes.c:933
#12 0x00077834 in tree_rest_of_compilation (fndecl=0x49d9de00)
    at ../../gcc/gcc/tree-optimize.c:462
#13 0x0027abe8 in cgraph_expand_function (node=0x4bc944d0)
    at ../../gcc/gcc/cgraphunit.c:1243
#14 0x0027c5c8 in cgraph_assemble_pending_functions ()
    at ../../gcc/gcc/cgraphunit.c:373
#15 0x0027c0e8 in cgraph_finalize_function (decl=0x49d9de00, nested=0 '\0')
    at ../../gcc/gcc/cgraphunit.c:502
#16 0x0004ad94 in end_java_method () at ../../gcc/gcc/java/decl.c:2002
#17 0x00063af8 in parse_class_file () at ../../gcc/gcc/java/jcf-parse.c:956
#18 0x000663ac in java_parse_file (set_yydebug=<value optimized out>)
    at ../../gcc/gcc/java/jcf-parse.c:1450
#19 0x0021cec8 in toplev_main (argc=<value optimized out>,
    argv=<value optimized out>) at ../../gcc/gcc/toplev.c:1032
#20 0x403b6234 in __libc_start_main () from /lib/libc.so.6
#21 0x0001bfb0 in _start ()
(gdb) p debug_rtx (insn)
(code_label/s 1897 4221 1898 13722 ("*.LJpc=819954") [0 uses])
$4 = void


-- 


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

[Bug middle-end/34150] ICE: output_operand: invalid expression as operand on hppa

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #8 from dave at hiauly1 dot hia dot nrc dot ca  2008-01-21 00:27 -------
Subject: Re:  ICE: output_operand: invalid expression
        as operand on hppa

> (gdb) p debug_rtx (insn)
> (code_label/s 1897 4221 1898 13722 ("*.LJpc=819954") [0 uses])

We are losing usage counts in reload.  I'm testing the attached
fix.

Dave


------- Comment #9 from dave at hiauly1 dot hia dot nrc dot ca  2008-01-21 00:27 -------
Created an attachment (id=14982)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14982&action=view)


-- 


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

[Bug middle-end/34150] ICE: output_operand: invalid expression as operand on hppa

[danglin at gcc dot gnu dot org]

------- Comment #10 from danglin at gcc dot gnu dot org  2008-01-21 17:47 -------
The patch appears to fix the problem, but I think it isn't a good fix.
The problem is the backend doesn't know when the LABEL_NUSES counter
needs to be incorrected and when it doesn't.

I think this is reload bug.  We are losing LABEL_NUSES counts when a
reload occurs for insns like the following:

(insn 1838 1854 1615 282 (set (reg/f:SI 1154)
        (label_ref:SI 1897)) 46 {*pa.md:2898} (nil)
    (expr_list:REG_EQUIV (label_ref:SI 1897)
        (insn_list:REG_LABEL 1897 (nil))))

Reloads for insn # 2938
Reload 0: R1_REGS, RELOAD_FOR_INPUT_ADDRESS (opnum = 1), can't combine,
secondary_reload_p
        reload_reg_rtx: (reg/f:SI 1 %r1)
Reload 1: reload_in (SI) = (label_ref:SI 1897)
        GENERAL_REGS, RELOAD_FOR_INPUT (opnum = 1), can't combine
        reload_in_reg: (reg/f:SI 1154)
        reload_reg_rtx: (reg/f:SI 3 %r3 [orig:313 #ref#21#111 ] [313])
        secondary_in_reload = 0
        secondary_in_icode = reload_insi_r

Shouldn't reload update the label uses count when it completes a reload
sequence?


-- 


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

[Bug middle-end/34150] ICE: output_operand: invalid expression as operand on hppa

[danglin at gcc dot gnu dot org]

------- Comment #11 from danglin at gcc dot gnu dot org  2008-02-09 21:01 -------
Fixed by change:
http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00290.html


-- 

danglin at gcc dot gnu dot org changed:

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


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