[Bug rtl-optimization/60508] New: internal compiler error: in lra_set_insn_recog_data, at lra.c:1082

[Bug rtl-optimization/60508] New: internal compiler error: in lra_set_insn_recog_data, at lra.c:1082

[eugeni.stepanov at gmail dot com]

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

            Bug ID: 60508
           Summary: internal compiler error: in lra_set_insn_recog_data,
                    at lra.c:1082
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: eugeni.stepanov at gmail dot com

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

At r208400, GCC is failing with internal compiler error on the attached source
generated with csmith.

$ gcc -O -S z.c -w
z.c: In function ‘fn1’:
z.c:33:1: internal compiler error: in lra_set_insn_recog_data, at lra.c:1082
 }
 ^
0x8aa962 lra_set_insn_recog_data(rtx_def*)
        ../../gcc/lra.c:1080
0x8ab4cf lra_get_insn_recog_data
        ../../gcc/lra-int.h:464
0x8ab4cf lra_update_insn_regno_info
        ../../gcc/lra.c:1749
0x8ab4cf lra_update_insn_regno_info
        ../../gcc/lra.c:1740
0x8ab6b1 lra_push_insn_1
        ../../gcc/lra.c:1802
0x8ab6b1 lra_push_insn(rtx_def*)
        ../../gcc/lra.c:1810
0x8ab89c push_insns
        ../../gcc/lra.c:1853
0x8abc65 lra_process_new_insns(rtx_def*, rtx_def*, rtx_def*, char const*)
        ../../gcc/lra.c:1898
0x8b9df6 curr_insn_transform
        ../../gcc/lra-constraints.c:3689
0x8bbb84 lra_constraints(bool)
        ../../gcc/lra-constraints.c:4157
0x8ac4d3 lra(_IO_FILE*)
        ../../gcc/lra.c:2340
0x86af0e do_reload
        ../../gcc/ira.c:5457
0x86af0e rest_of_handle_reload
        ../../gcc/ira.c:5598
0x86af0e execute
        ../../gcc/ira.c:5627
>From gcc-bugs-return-446092-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Mar 12 11:32:03 2014
Return-Path: <gcc-bugs-return-446092-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 13190 invoked by alias); 12 Mar 2014 11:32:03 -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 13162 invoked by uid 55); 12 Mar 2014 11:31:58 -0000
From: "chrbr at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/60264] ARM ICE in dwarf2out_frame_debug_adjust_cfa, at dwarf2cfi.c:1090
Date: Wed, 12 Mar 2014 11:32:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: chrbr at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: chrbr at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-60264-4-BHP2sM6eHG@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60264-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60264-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: 2014-03/txt/msg00961.txt.bz2
Content-length: 690

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`264

--- Comment #1 from chrbr at gcc dot gnu.org ---
Author: chrbr
Date: Wed Mar 12 11:31:19 2014
New Revision: 208511

URL: http://gcc.gnu.org/viewcvs?rev 8511&root=gcc&view=rev
Log:
2014-03-12  Christian Bruel  <christian.bruel@st.com>

        PR target/60264
        * config/arm/arm.c (arm_emit_vfp_multi_reg_pop): Emit a REG_CFA_DEF_CFA
        note.
        (arm_expand_epilogue_apcs_frame): call arm_add_cfa_adjust_cfa_note.
        (arm_unwind_emit): Allow REG_CFA_DEF_CFA.


Added:
    trunk/gcc/testsuite/gcc.target/arm/pr60264.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/arm/arm.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/60508] internal compiler error: in lra_set_insn_recog_data, at lra.c:1082

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-03-12
                 CC|                            |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Cleaned up testcase:
int a = 1, g, h = 1, d, e, *f;
char b;
static int c[] = { 0, 0 };
void fn2 (void);

void
fn1 (short x, int l)
{
lab:
  {
    int k, m[0];
    long j = h ? 0 : 0 / 0;
    unsigned char n = j;
    unsigned char i = x >= 0 ? n : n >> x;
    g = i;
    for (;;)
      {
        if (a)
          goto lab;
        while (d)
          {
            e = b = c[l];
            fn2 ();
          }
        int o = m[0];
        f = &k;
      }
  }
}

m[0] is undefined behavior of course, but with the above global variables
unchanged and x >= 0 argument the function should be just endless loop without
triggering undefined behavior.

[Bug rtl-optimization/60508] [4.8/4.9 Regression] internal compiler error: in lra_set_insn_recog_data, at lra.c:1082

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vmakarov at gcc dot gnu.org
   Target Milestone|---                         |4.8.3
            Summary|internal compiler error: in |[4.8/4.9 Regression]
                   |lra_set_insn_recog_data, at |internal compiler error: in
                   |lra.c:1082                  |lra_set_insn_recog_data, at
                   |                            |lra.c:1082

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started to ICE with r195902:
pr60508.c: In function ‘fn1’:
pr60508.c:29:1: error: unrecognizable insn:
(insn 95 94 88 3 (set (reg/v:QI 4 si [orig:84 i ] [84])
        (subreg:QI (subreg:SI (reg:DI 2 cx [126]) 0) 0)) pr60508.c:14 -1
     (nil))
pr60508.c:29:1: internal compiler error: in extract_insn, at recog.c:2164

On 4.8 branch with release checking the ICE is:
pr60508.c:29:1: internal compiler error: in subreg_get_info, at rtlanal.c:3278

Starting with r206023 it is:
pr60508.c:29:1: internal compiler error: in lra_set_insn_recog_data, at
lra.c:1081
rather than ICE about unrecognizable insn.
>From gcc-bugs-return-446100-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Mar 12 13:01:17 2014
Return-Path: <gcc-bugs-return-446100-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 1179 invoked by alias); 12 Mar 2014 13:01:16 -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 1128 invoked by uid 48); 12 Mar 2014 13:01:13 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/60418] [4.9 Regression] 435.gromacs in SPEC CPU 2006 is miscompiled
Date: Wed, 12 Mar 2014 13:01:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub 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: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-60418-4-lA22GxX5Lw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60418-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60418-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: 2014-03/txt/msg00969.txt.bz2
Content-length: 268

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`418

--- Comment #30 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The #c29 patch now passed bootstrap/regtest on x86_64-linux and i686-linux.
So, if it also fixes 435.gromacs on -mx32, I'll submit it to gcc-patches.

[Bug rtl-optimization/60508] [4.8/4.9 Regression] internal compiler error: in lra_set_insn_recog_data, at lra.c:1082

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug rtl-optimization/60508] [4.8/4.9 Regression] internal compiler error: in lra_set_insn_recog_data, at lra.c:1082

[vmakarov at gcc dot gnu.org]

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

--- Comment #3 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
Author: vmakarov
Date: Fri Mar 14 16:34:57 2014
New Revision: 208570

URL: http://gcc.gnu.org/viewcvs?rev=208570&root=gcc&view=rev
Log:
2014-03-14  Vladimir Makarov  <vmakarov@redhat.com>

    PR rtl-optimization/60508
    * lra-constraints.c (get_reload_reg): Add new parameter
    in_subreg_p.
    (process_addr_reg, simplify_operand_subreg, curr_insn_transform):
    Pass the new parameter values.

2014-03-14  Vladimir Makarov  <vmakarov@redhat.com>

    PR rtl-optimization/60508
    * gcc.target/i386/pr60508.c: New.

Added:
    trunk/gcc/testsuite/gcc.target/i386/pr60508.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lra-constraints.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/60508] [4.8 Regression] internal compiler error: in lra_set_insn_recog_data, at lra.c:1082

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60508

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

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 4.8.3 is being released, adjusting target milestone.

[Bug rtl-optimization/60508] [4.8 Regression] internal compiler error: in lra_set_insn_recog_data, at lra.c:1082

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60508

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.4                       |4.8.5

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.8.4 has been released.

[Bug rtl-optimization/60508] [4.8 Regression] internal compiler error: in lra_set_insn_recog_data, at lra.c:1082

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60508

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|4.8.5                       |4.9.0
      Known to fail|                            |4.8.5

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed for 4.9.0.