[Bug c/57295] New: target c6x-elf // internal compiler error: in extract_insn, at recog.c:2150

[Bug c/57295] New: target c6x-elf // internal compiler error: in extract_insn, at recog.c:2150

[daniel.calcoen at cern dot ch]

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

            Bug ID: 57295
           Summary: target c6x-elf // internal compiler error: in
                    extract_insn, at recog.c:2150
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: daniel.calcoen at cern dot ch

Created attachment 30124
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30124&action=edit
ssp.i

try to build my gcc cross compiler (linux - c6x-elf)
at the 2nd phase of gcc build (after build newlib)

libtool: compile:  /home/dcalcoen/ti/bld/linux/gcc/./gcc/xgcc
-B/home/dcalcoen/ti/bld/linux/gcc/./gcc/
-B/home/dcalcoen/ti/pre/linux/c6x-elf/bin/
-B/home/dcalcoen/ti/pre/linux/c6x-elf/lib/ -isystem
/home/dcalcoen/ti/pre/linux/c6x-elf/include -isystem
/home/dcalcoen/ti/pre/linux/c6x-elf/sys-include -DHAVE_CONFIG_H -I.
-I/home/dcalcoen/gitMirror/gcc/libssp -Wall -g -O2 -save-temps -MT ssp.lo -MD
-MP -MF .deps/ssp.Tpo -c /home/dcalcoen/gitMirror/gcc/libssp/ssp.c -o ssp.o
/home/dcalcoen/gitMirror/gcc/libssp/ssp.c: In function ‘fail.isra.0’:
/home/dcalcoen/gitMirror/gcc/libssp/ssp.c:163:1: error: unrecognizable insn:
 }
 ^
(insn 111 110 112 16 (set (mem/v:SI (reg/f:SI 111) [3 MEM[(volatile int
*)-1B]+0 S4 A32])
        (unspec:SI [
                (reg:SI 112)
            ] UNSPEC_MISALIGNED_ACCESS))
/home/dcalcoen/gitMirror/gcc/libssp/ssp.c:156 -1
     (nil))
/home/dcalcoen/gitMirror/gcc/libssp/ssp.c:163:1: internal compiler error: in
extract_insn, at recog.c:2150
0x838c23d _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
    /home/dcalcoen/gitMirror/gcc/gcc/rtl-error.c:109
0x838c293 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
    /home/dcalcoen/gitMirror/gcc/gcc/rtl-error.c:117
0x8364239 extract_insn(rtx_def*)
    /home/dcalcoen/gitMirror/gcc/gcc/recog.c:2150
0x826b344 instantiate_virtual_regs_in_insn
    /home/dcalcoen/gitMirror/gcc/gcc/function.c:1561
0x826b344 instantiate_virtual_regs
    /home/dcalcoen/gitMirror/gcc/gcc/function.c:1928
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[2]: *** [ssp.lo] Error 1
make[2]: Leaving directory `/home/dcalcoen/ti/bld/linux/gcc/c6x-elf/libssp'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/home/dcalcoen/ti/bld/linux/gcc/c6x-elf/libssp'
make: *** [all-target-libssp] Error 2
>From gcc-bugs-return-422375-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed May 15 16:22:00 2013
Return-Path: <gcc-bugs-return-422375-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 25537 invoked by alias); 15 May 2013 16:22:00 -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 25515 invoked by uid 48); 15 May 2013 16:21:58 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/57294] [4.9 Regression] ice in remove_described_reference
Date: Wed, 15 May 2013 16:22:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: NEW
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: bug_status cf_known_to_work cf_reconfirmed_on component cc everconfirmed short_desc target_milestone cf_known_to_fail
Message-ID: <bug-57294-4-KOvvuWcxBZ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57294-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57294-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-05/txt/msg01048.txt.bz2
Content-length: 1003

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.8.1
   Last reconfirmed|                            |2013-05-15
          Component|c                           |tree-optimization
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1
            Summary|ice in                      |[4.9 Regression] ice in
                   |remove_described_reference  |remove_described_reference
   Target Milestone|---                         |4.9.0
      Known to fail|                            |4.9.0

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.  Will reduce/bisect today/tomorrow unless some beats me to it.

[Bug target/57295] target c6x-elf // internal compiler error: in extract_insn, at recog.c:2150

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |target
           Severity|blocker                     |normal

[Bug target/57295] target c6x-elf // internal compiler error: in extract_insn, at recog.c:2150

[wojtek.golf at interia dot pl]

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

Wojciech Migda <wojtek.golf at interia dot pl> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |wojtek.golf at interia dot pl

--- Comment #1 from Wojciech Migda <wojtek.golf at interia dot pl> ---
This is the smallest source code to reproduce this problem:

void foo(foid)
{
  *(volatile int *)-1L = 0;
}

[Bug target/57295] target c6x-elf // internal compiler error: in extract_insn, at recog.c:2150

[wojtek.golf at interia dot pl]

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

--- Comment #2 from Wojciech Migda <wojtek.golf at interia dot pl> ---
Created attachment 32261
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32261&action=edit
Proposed patch

Analysis of the reported problem has shown that expanding movmisalign
instruction did not take into account volatile memory access.
I cloned the volatile_mem_operand predicate from RS6000 and applied it in
c6x.md.
To verify that it works I've created six testcases. Four of the should
generate misaligned store insn, two should generate regular store.
Due to another bug in some other part of gcc rtl generated for one of the
testcases is wrong - it assumes aligned access instead of a misaligned one,
hence I commented it out so for now there will be five testcases in
operation.

Host: Linux wmigda-desktop 3.11.0-13-generic #20-Ubuntu SMP Wed Oct 23
17:26:33 UTC 2013 i686 i686 i686 GNU/Linux
Target: tic6x-none-elf
Results for the new testcases (run with make check-gcc
RUNTESTFLAGS="CFLAGS_FOR_TARGET='$CFLAGS_FOR_TARGET
--sysroot=${CXTOOLS}${TRIPLET}/sysroot' -v -v tic6x.exp")

PASS: gcc.target/tic6x/misaligned-store.c (test for excess errors)
PASS: gcc.target/tic6x/misaligned-store.c scan-assembler-times stnw 3
PASS: gcc.target/tic6x/misaligned-store.c scan-assembler-times stw 2

[Bug target/57295] target c6x-elf // internal compiler error: in extract_insn, at recog.c:2150

[yselkowi at redhat dot com]

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

Yaakov Selkowitz <yselkowi at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |yselkowi at redhat dot com

--- Comment #3 from Yaakov Selkowitz <yselkowi at redhat dot com> ---
*** Bug 64451 has been marked as a duplicate of this bug. ***

[Bug target/57295] target c6x-elf // internal compiler error: in extract_insn, at recog.c:2150

[yselkowi at redhat dot com]

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

--- Comment #4 from Yaakov Selkowitz <yselkowi at redhat dot com> ---
This still occurs with 4.9.2, and the patch in comment 2 fixes it.

[Bug target/57295] target c6x-elf // internal compiler error: in extract_insn, at recog.c:2150

[wojtek.golf at interia dot pl]

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

--- Comment #5 from Wojciech Migda <wojtek.golf at interia dot pl> ---
(In reply to Yaakov Selkowitz from comment #4)
> This still occurs with 4.9.2, and the patch in comment 2 fixes it.

I contacted Bernd Schmidt few minutes ago about the patch and he wrote that:

> I think I've seen that problem before. The current code in trunk just
> uses MEM_P instead of memory_operand. Does that fix your issue?

But this kind of contradicts Mikael's statement here
(https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64451#c1), unless there was a
change in the trunk after Mikael's check.
Can someone verify that? I'll be leaving work for the weekend so I won't be
able to do that myself now.

[Bug target/57295] target c6x-elf // internal compiler error: in extract_insn, at recog.c:2150

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed in GCC 5 by r5-7952 which was done March 27, 2015 after comment #5. I
think Bernd had looked at his local tree which had the fix and mistaken it for
the sources upstream and then finally got around to committing the changes in
March.

Anyways all fixed.