[Bug rtl-optimization/59652] New: [4.8 Regression] ICE: in reload_cse_simpli fy_operands, at postreload.c:411

[Bug rtl-optimization/59652] New: [4.8 Regression] ICE: in reload_cse_simpli fy_operands, at postreload.c:411

[danglin at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 4831 bytes --]

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

            Bug ID: 59652
           Summary: [4.8 Regression] ICE: in reload_cse_simpli
                    fy_operands, at postreload.c:411
           Product: gcc
           Version: 4.8.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: danglin at gcc dot gnu.org
              Host: hppa-unknown-linux-gnu
            Target: hppa-unknown-linux-gnu
             Build: hppa-unknown-linux-gnu

Created attachment 31551
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31551&action=edit
Preprocessed source

/usr/lib/gcc/hppa-linux-gnu/4.8/cc1 -fpreprocessed xdvi.i -quiet -dumpbase xdvi
.c -auxbase-strip xdvi.o -g -O2 -Wimplicit -Wreturn-type
-Wdeclaration-after-sta
tement -Wno-unknown-pragmas -version -o xdvi.s
GNU C (Debian 4.8.2-10) version 4.8.2 (hppa-linux-gnu)
        compiled by GNU C version 4.8.2, GMP version 5.1.2, MPFR version
3.1.2-p
3, MPC version 1.0.1
warning: GMP header version 5.1.2 differs from library version 5.1.3.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU C (Debian 4.8.2-10) version 4.8.2 (hppa-linux-gnu)
        compiled by GNU C version 4.8.2, GMP version 5.1.2, MPFR version
3.1.2-p
3, MPC version 1.0.1
warning: GMP header version 5.1.2 differs from library version 5.1.3.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: fb24f240bb689ce9d1ca4b08c9c74b8f
../../../texk/xdvik/xdvi.c: In function ‘run_dvi_file’:
../../../texk/xdvik/xdvi.c:3398:1: error: insn does not satisfy its
constraints:
 }
 ^
(insn 5859 3068 5860 249 (set (reg:SI 28 %r28)
        (reg/f:SI 2442)) ../../../texk/xdvik/xdvi.c:2722 40 {*pa.md:2211}
     (nil))
../../../texk/xdvik/xdvi.c:3398:1: internal compiler error: in
reload_cse_simpli
fy_operands, at postreload.c:411

Problem occurs in handling reloads for following insn:

(insn 3071 3068 3072 249 (set (reg:SF 1959 [ resource.gamma ])
        (mem/c:SF (plus:SI (reg/f:SI 2442)
                (const_int 88 [0x58])) [9 resource.gamma+0 S4 A32]))
../../../te
xk/xdvik/xdvi.c:2722 79 {*pa.md:4386}
     (expr_list:REG_EQUIV (mem/c:SF (plus:SI (reg/f:SI 2442)
                (const_int 88 [0x58])) [9 resource.gamma+0 S4 A32])
        (expr_list:REG_EQUAL (mem/c:SF (const:SI (plus:SI (symbol_ref:SI
("resou
rce") [flags 0x200]  <var_decl 0x4050c660 resource>)                       
(const_int 88 [0x58]))) [9 resource.gamma+0 S4 A32])
            (nil))))

Might be target issue but seems more likely to be a reload issue.
>From gcc-bugs-return-438847-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 31 16:41:43 2013
Return-Path: <gcc-bugs-return-438847-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 15009 invoked by alias); 31 Dec 2013 16:41:43 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 14976 invoked by uid 48); 31 Dec 2013 16:41:39 -0000
From: "danglin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/59652] [4.8 Regression] ICE: in reload_cse_simpli fy_operands, at postreload.c:411
Date: Tue, 31 Dec 2013 16:41:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 4.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: danglin at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-59652-4-ArHZjR07Ua@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59652-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59652-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-12/txt/msg02502.txt.bz2
Content-length: 244

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY652

--- Comment #1 from John David Anglin <danglin at gcc dot gnu.org> ---
Created attachment 31552
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id1552&actioníit
rtl dump from reload pass

[Bug rtl-optimization/59652] [4.8 Regression] ICE: in reload_cse_simpli fy_operands, at postreload.c:411

[danglin at gcc dot gnu.org]

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

--- Comment #2 from John David Anglin <danglin at gcc dot gnu.org> ---
It looks to me like the problem arises because reload selected a
call clobbered register, %r1, for reg/f:SI 2442 and there is no way to
reconstitute reg/f:SI 2442 following a call:

(code_label 311 310 312 20 233 "" [3 uses])
(note 312 311 5353 20 [bb 20] NOTE_INSN_BASIC_BLOCK)
(insn 5353 312 5354 20 (set (reg:SI 1 %r1)
        (high:SI (symbol_ref:SI ("resource") [flags 0x200]  <var_decl
0x4050c660
 resource>))) ../../../texk/xdvik/xdvi.c:3003 52 {*pa.md:2686}
     (nil))
(insn 5354 5353 315 20 (set (reg:SI 1 %r1)
        (lo_sum:SI (reg:SI 1 %r1)
            (symbol_ref:SI ("resource") [flags 0x200]  <var_decl 0x4050c660
reso
urce>))) ../../../texk/xdvik/xdvi.c:3003 55 {*pa.md:2766}
     (nil))
(insn 315 5354 316 20 (set (reg/f:SI 28 %r28 [orig:949 resource.src_pos ]
[949])
        (mem/f/c:SI (plus:SI (reg:SI 1 %r1)
                (const_int 172 [0xac])) [5 resource.src_pos+0 S4 A32]))
../../..
/texk/xdvik/xdvi.c:3003 40 {*pa.md:2211}
     (expr_list:REG_EQUIV (mem/f/c:SI (plus:SI (reg/f:SI 2442)
                (const_int 172 [0xac])) [5 resource.src_pos+0 S4 A32])
        (expr_list:REG_EQUAL (mem/f/c:SI (const:SI (plus:SI (symbol_ref:SI
("resource") [flags 0x200]  <var_decl 0x4050c660 resource>)
                        (const_int 172 [0xac]))) [5 resource.src_pos+0 S4 A32])
            (nil))))

[Bug rtl-optimization/59652] [4.8 Regression] ICE: in reload_cse_simplify_operands, at postreload.c:411

[danglin at gcc dot gnu.org]

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

--- Comment #4 from John David Anglin <danglin at gcc dot gnu.org> ---
*** Bug 59517 has been marked as a duplicate of this bug. ***

[Bug target/59652] [4.8 Regression] ICE: in reload_cse_simplify_operands, at postreload.c:411

[danglin at gcc dot gnu.org]

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

John David Anglin <danglin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-01-04
     Ever confirmed|0                           |1

--- Comment #5 from John David Anglin <danglin at gcc dot gnu.org> ---
Testing fix.

[Bug target/59652] [4.8 Regression] ICE: in reload_cse_simplify_operands, at postreload.c:411

[danglin at gcc dot gnu.org]

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

--- Comment #6 from John David Anglin <danglin at gcc dot gnu.org> ---
The fundamental issue is how these insns are reloaded:

(insn 223 222 224 7 (set (reg/f:SI 2448)        (high:SI (symbol_ref:SI
("resource") [flags 0x200]  <var_decl 0x40579660
 resource>))) ../../../texk/xdvik/xdvi.c:2968 52 {*pa.md:2686}
     (expr_list:REG_EQUIV (high:SI (symbol_ref:SI ("resource") [flags 0x200] 
<v
ar_decl 0x40579660 resource>))
        (nil)))
(insn 224 223 226 7 (set (reg/f:SI 2442)
        (lo_sum:SI (reg/f:SI 2448)
            (symbol_ref:SI ("resource") [flags 0x200]  <var_decl 0x40579660
resource>))) ../../../texk/xdvik/xdvi.c:2968 55 {*pa.md:2766}
     (expr_list:REG_EQUIV (symbol_ref:SI ("resource") [flags 0x200]  <var_decl
0x40579660 resource>)
        (nil)))
(insn 226 224 227 7 (set (reg:SI 936 [ resource.unique+-3 ])
        (zero_extend:SI (mem/c:QI (plus:SI (reg/f:SI 2442)
                    (const_int 201 [0xc9])) [0 resource.unique+0 S1 A8])))
../../../texk/xdvik/xdvi.c:2968 84 {*pa.md:4628}
     (nil))

Insn 224 ends up being deleted.  I'm not sure why because reg/f:SI 2442
appears to be needed in insn 226 and later insns.  What happens is reload
does an input reload for insn 226, but gets in trouble later.

The best fix that I have at the moment is to inhibit generation of REG+D
instructions prior to reload.

[Bug target/59652] [4.8 Regression] ICE: in reload_cse_simplify_operands, at postreload.c:411

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.3

[Bug target/59652] [4.8 Regression] ICE: in reload_cse_simplify_operands, at postreload.c:411

[danglin at gcc dot gnu.org]

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

--- Comment #7 from John David Anglin <danglin at gcc dot gnu.org> ---
Author: danglin
Date: Wed Jan  8 01:58:35 2014
New Revision: 206413

URL: http://gcc.gnu.org/viewcvs?rev=206413&root=gcc&view=rev
Log:
    PR target/59652
    * config/pa/pa.c (pa_legitimate_address_p): Return false before reload
    for 14-bit register offsets when INT14_OK_STRICT is false.


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

[Bug target/59652] [4.8 Regression] ICE: in reload_cse_simplify_operands, at postreload.c:411

[danglin at gcc dot gnu.org]

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

--- Comment #8 from John David Anglin <danglin at gcc dot gnu.org> ---
Author: danglin
Date: Wed Jan  8 02:01:50 2014
New Revision: 206414

URL: http://gcc.gnu.org/viewcvs?rev=206414&root=gcc&view=rev
Log:
    PR target/59652
    * config/pa/pa.c (pa_legitimate_address_p): Return false before reload
    for 14-bit register offsets when INT14_OK_STRICT is false.


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

[Bug target/59652] [4.8 Regression] ICE: in reload_cse_simplify_operands, at postreload.c:411

[danglin at gcc dot gnu.org]

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

John David Anglin <danglin at gcc dot gnu.org> changed:

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

--- Comment #9 from John David Anglin <danglin at gcc dot gnu.org> ---
More or less fixed...