[Bug target/58489] New: ICE: in reload_cse_simplify_operands, at postreload.c:411

[Bug target/58489] New: ICE: in reload_cse_simplify_operands, at postreload.c:411

[timo.teras at iki dot fi]

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

            Bug ID: 58489
           Summary: ICE: in reload_cse_simplify_operands, at
                    postreload.c:411
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: timo.teras at iki dot fi

Created attachment 30876
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30876&action=edit
preprocessed source triggering the issue

$ armv6-alpine-linux-muslgnueabihf-gcc -v
Using built-in specs.
COLLECT_GCC=armv6-alpine-linux-muslgnueabihf-gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/armv6-alpine-linux-muslgnueabihf/4.8.1/lto-wrapper
Target: armv6-alpine-linux-muslgnueabihf
Configured with: /home/tteras/aports/main/gcc/src/gcc-4.8.1/configure
--prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info
--build=i486-alpine-linux-uclibc --host=i486-alpine-linux-uclibc
--target=armv6-alpine-linux-muslgnueabihf --with-pkgversion='Alpine 4.8.1'
--enable-checking=release --disable-fixed-point --disable-libstdcxx-pch
--disable-multilib --disable-nls --disable-werror --disable-symvers
--enable-__cxa_atexit --enable-esp --enable-cloog-backend
--enable-languages=c,c++,ada --with-arch=armv6 --with-fpu=vfp --with-float=hard
--disable-libquadmath --disable-libssp --disable-libmudflap
--disable-libsanitizer --disable-bootstrap --enable-clocale=gnu
--with-sysroot=/home/tteras/alpine-sysroot/armv6-alpine-linux-muslgnueabihf/
--enable-shared --enable-threads --enable-tls --disable-libgomp
--disable-libatomic --disable-libitm --with-system-zlib
Thread model: posix
gcc version 4.8.1 (Alpine 4.8.1) 

armv6-alpine-linux-muslgnueabihf-gcc
-Wp,-MD,networking/libiproute/.ipaddress.o.d 
--sysroot=/home/tteras/alpine-sysroot/armv6-alpine-linux-muslgnueabihf/
-march=armv6 -mfpu=vfp -mhard-float -Os -fomit-frame-pointer -pipe -fPIC
-std=gnu99 -Iinclude -Ilibbb -Iinclude2
-I/home/tteras/aports/main/busybox/src/busybox-1.21.1/include
-I/home/tteras/aports/main/busybox/src/busybox-1.21.1/libbb -include
include/autoconf.h -D_GNU_SOURCE -DNDEBUG -D_LARGEFILE_SOURCE
-D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -D"BB_VER=KBUILD_STR(1.21.1)"
-DBB_BT=AUTOCONF_TIMESTAMP
-I/home/tteras/aports/main/busybox/src/busybox-1.21.1/networking/libiproute
-Inetworking/libiproute -Wall -Wshadow -Wwrite-strings -Wundef
-Wstrict-prototypes -Wunused -Wunused-parameter -Wunused-function
-Wunused-value -Wmissing-prototypes -Wmissing-declarations -Wno-format-security
-Wdeclaration-after-statement -Wold-style-definition -fno-builtin-strlen
-finline-limit=0 -fomit-frame-pointer -ffunction-sections -fdata-sections
-fno-guess-branch-probability -funsigned-char -static-libgcc
-falign-functions=1 -falign-jumps=1 -falign-labels=1 -falign-loops=1
-fno-unwind-tables -fno-asynchronous-unwind-tables -Os  -D"KBUILD_STR(s)=#s"
-D"KBUILD_BASENAME=KBUILD_STR(ipaddress)" 
-D"KBUILD_MODNAME=KBUILD_STR(ipaddress)" -c -o
networking/libiproute/ipaddress.o
/home/tteras/aports/main/busybox/src/busybox-1.21.1/
networking/libiproute/ipaddress.c
In file included from
/home/tteras/aports/main/busybox/src/busybox-1.21.1/include/libbb.h:40:0,
                 from
/home/tteras/aports/main/busybox/src/busybox-1.21.1/networking/libiproute/ip_common.h:5,
                 from
/home/tteras/aports/main/busybox/src/busybox-1.21.1/networking/libiproute/ipaddress.c:15:
/home/tteras/alpine-sysroot/armv6-alpine-linux-muslgnueabihf/usr/include/sys/poll.h:1:2:
warning: #warning redirect
ing incorrect #include <sys/poll.h> to <poll.h> [-Wcpp]
 #warning redirecting incorrect #include <sys/poll.h> to <poll.h>
  ^
/home/tteras/aports/main/busybox/src/busybox-1.21.1/networking/libiproute/ipaddress.c:
In function 'ipaddr_list_or_flush':
/home/tteras/aports/main/busybox/src/busybox-1.21.1/networking/libiproute/ipaddress.c:589:1:
error: insn does not satisfy its constraints:
 }
 ^
(insn 1333 491 499 36 (set (reg:QI 0 r0)
        (reg:QI 13 sp))
/home/tteras/aports/main/busybox/src/busybox-1.21.1/networking/libiproute/ipaddress.c:494
198 {*arm_movqi_insn}
     (nil))
/home/tteras/aports/main/busybox/src/busybox-1.21.1/networking/libiproute/ipaddress.c:589:1:
internal compiler error: in reload_cse_simplify_operands, at postreload.c:411
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

The same code compiles with same gcc if targetting -march=armv7-a -mfpu=vfpv3.

Bug is reproduced with gcc-4.8.1 and gcc-linaro-4.8-2013.09.

[Bug target/58489] ICE: in reload_cse_simplify_operands, at postreload.c:411

[timo.teras at iki dot fi]

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

--- Comment #1 from Timo Teräs <timo.teras at iki dot fi> ---
Simplifed commandline to:
armv6-alpine-linux-muslgnueabihf-gcc -Os -c -std=gnu99 aa.c -o aa.o

No ICE with:
armv6-alpine-linux-muslgnueabihf-gcc -c -std=gnu99 aa.c -o aa.o
armv6-alpine-linux-muslgnueabihf-gcc -march=armv7-a -Os -c -std=gnu99 aa.c -o
aa.o

So "-march=armv6 -Os" triggers the issue.
>From gcc-bugs-return-430412-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Sep 23 12:37:25 2013
Return-Path: <gcc-bugs-return-430412-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 31114 invoked by alias); 23 Sep 2013 12:37:24 -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 31073 invoked by uid 55); 23 Sep 2013 12:37:20 -0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/58464] [4.9 Regression] Crashes with SIGSEGV (infinite recursion in phi_translate)
Date: Mon, 23 Sep 2013 12:37: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: rguenth at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-58464-4-DKKL8x251O@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58464-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58464-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-09/txt/msg01652.txt.bz2
Content-length: 998

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

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Mon Sep 23 12:37:17 2013
New Revision: 202826

URL: http://gcc.gnu.org/viewcvs?rev 2826&root=gcc&view=rev
Log:
2013-09-23  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/58464
    * tree-ssa-pre.c (phi_trans_lookup): Remove.
    (phi_trans_add): Change to add conditionally on being not
    present.
    (phi_translate_1): Remove recursion detection here.
    (phi_translate): Pre-seed the cache with NULL to catch
    recursion here in a more generic way.
    (bitmap_find_leader): Adjust comment.
    (get_representative_for): Dump value-numbers.
    (create_expression_by_pieces): Likewise.
    (insert_into_preds_of_block): Likewise.

    * g++.dg/torture/pr58464.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr58464.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-pre.c

[Bug target/58489] ICE: in reload_cse_simplify_operands, at postreload.c:411

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2015-01-23
                 CC|                            |ramana at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #3 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> ---
(In reply to Timo Teräs from comment #2)
> I got this fixed. It seems genautomata does not work properly if it is built
> with -fPIC. Since PIE/PIC get added automatically in alpine toolchain it
> caused this.
> 
> For now I'm adding explicitly -fno-PIC to genautomata compilation. However,
> it would be better if genautomata could be fixed to:
>  - abort compilation if genautomata failed to do it's job properly
>  - fix genautomata to work even if compiled with -fPIC

Interesting observation and interesting that the "broken automaton" managed to
build the whole of gcc and the run time support libraries in gcc and presumably
glibc. 

If it was genautomata that doesn't work properly when built with PIC can you
reduce the failure point in genautomata. Without more details or better input
testcases it's very hard to reduce this in any other way or form especially as
I cannot reproduce the issue with a new top of tree 4.8 toolchain.
>From gcc-bugs-return-474516-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jan 23 10:15:34 2015
Return-Path: <gcc-bugs-return-474516-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11550 invoked by alias); 23 Jan 2015 10:15:29 -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 11411 invoked by uid 48); 23 Jan 2015 10:15:20 -0000
From: "ramana at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/58486] insufficient CFI generated for call-saved VFP registers
Date: Fri, 23 Jan 2015 10:15: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.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ramana 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: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc everconfirmed
Message-ID: <bug-58486-4-enIkVw8oQC@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58486-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58486-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: 2015-01/txt/msg02510.txt.bz2
Content-length: 483

https://gcc.gnu.org/bugzilla/show_bug.cgi?idX486

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-01-23
                 CC|                            |ramana at gcc dot gnu.org
     Ever confirmed|0                           |1