[Bug middle-end/53334] New: ICE in extract_insn, at recog.c:2131

[Bug middle-end/53334] New: ICE in extract_insn, at recog.c:2131

[Bernhard.Rosenkranzer at linaro dot org]

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

             Bug #: 53334
           Summary: ICE in extract_insn, at recog.c:2131
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: Bernhard.Rosenkranzer@linaro.org


arm-linux-androideabi-gcc -Wp,-MD,archival/.gzip.o.d   -std=gnu99 -Iinclude
-Ilibbb  -include include/autoconf.h -D_GNU_SOURCE -DNDEBUG 
-D"BB_VER=KBUILD_STR(1.19.4)" -DBB_BT=AUTOCONF_TIMESTAMP  -Wall -Wshadow
-Wwrite-strings -Wundef -Wstrict-prototypes -Wunused -Wunused-parameter
-Wunused-function -Wunused-value -Wmissing-prototypes -Wmissing-declarations
-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 -Os
-fno-exceptions -Wno-multichar -msoft-float -fpic -ffunction-sections
-fdata-sections -funwind-tables -fstack-protector -Wa,--noexecstack
-Werror=format-security -fno-short-enums -march=armv7-a -mfloat-abi=softfp
-mfpu=neon -include ../../system/core/include/arch/linux-arm/AndroidConfig.h
-I../../system/core/include/arch/linux-arm/ -Wno-psabi -mthumb-interwork
-DANDROID -fmessage-length=0 -W -Wall -Wno-unused -Winit-self -Wpointer-arith
-Werror=return-type -Werror=non-virtual-dtor -Werror=address
-Werror=sequence-point -mtune=cortex-a9 -mcpu=cortex-a9 -O3 -g
-fno-strict-aliasing -DNDEBUG -g -Wstrict-aliasing=2 -fgcse-after-reload
-frerun-cse-after-loop -frename-registers -DNDEBUG -UDEBUG
-I../../bionic/libc/include -I../../bionic/libc/kernel/common
-I../../bionic/libc/arch-arm/include -I../../bionic/libc/kernel/arch-arm
-I../../bionic/libm/include -fno-stack-protector -Wno-error=format-security
-fno-strict-aliasing    -D"KBUILD_STR(s)=#s"
-D"KBUILD_BASENAME=KBUILD_STR(gzip)"  -D"KBUILD_MODNAME=KBUILD_STR(gzip)" -c -o
archival/gzip.o archival/gzip.c
In file included from include/libbb.h:31:0,
                 from archival/gzip.c:57:
../../bionic/libc/include/stdlib.h:84:23: warning: declaration of 'abs' shadows
a built-in function [-Wshadow]
 static __inline__ int abs(int __n) {
                       ^
../../bionic/libc/include/stdlib.h:88:24: warning: declaration of 'labs'
shadows a built-in function [-Wshadow]
 static __inline__ long labs(long __n) {
                        ^
../../bionic/libc/include/stdlib.h:92:29: warning: declaration of 'llabs'
shadows a built-in function [-Wshadow]
 static __inline__ long long llabs(long long __n) {
                             ^
archival/gzip.c: In function 'fill_window':
archival/gzip.c:581:1: error: unrecognizable insn:
 }
 ^
(insn 56 55 57 7 (set (reg:CC 24 cc)
        (compare:CC (reg/v:SI 155 [ m ])
            (const_int 32767 [0x7fff]))) archival/gzip.c:561 -1
     (nil))
archival/gzip.c:581:1: internal compiler error: in extract_insn, at
recog.c:2131
Please submit a full bug report,
with preprocessed source if appropriate.

[Bug middle-end/53334] ICE in extract_insn, at recog.c:2131

[Bernhard.Rosenkranzer at linaro dot org]

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

--- Comment #1 from Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> 2012-05-12 18:06:12 UTC ---
Created attachment 27388
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27388
Preprocessed source (not yet reduced)

$ /opt/android-toolchain-trunk/bin/arm-linux-androideabi-gcc -o test.o -c
gzip.i -O3 -march=armv7-a
archival/gzip.c: In function 'fill_window':
archival/gzip.c:581:1: error: unrecognizable insn:
 }
 ^
(insn 52 51 53 7 (set (reg:CC 24 cc)
        (compare:CC (reg/v:SI 154 [ m ])
            (const_int 32767 [0x7fff]))) archival/gzip.c:561 -1
     (nil))
archival/gzip.c:581:1: internal compiler error: in extract_insn, at
recog.c:2131
Please submit a full bug report,

[Bug middle-end/53334] ICE in extract_insn, at recog.c:2131

[Bernhard.Rosenkranzer at linaro dot org]

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

Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #27388|0                           |1
        is obsolete|                            |

--- Comment #2 from Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> 2012-05-12 18:21:06 UTC ---
Created attachment 27389
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27389
Reduced test case

$ /opt/android-toolchain-trunk/bin/arm-linux-androideabi-gcc -o test.o -c
bug53334.c -O3 -march=armv7-a
bug53334.c: In function 'bug53334':
bug53334.c:16:1: error: unrecognizable insn:
 }
 ^
(insn 60 59 61 4 (set (reg:CC 24 cc)
        (compare:CC (reg:SI 179 [ D.4130 ])
            (const_int 32767 [0x7fff]))) bug53334.c:14 -1
     (nil))
bug53334.c:16:1: internal compiler error: in extract_insn, at recog.c:2131

[Bug target/53334] ICE in extract_insn, at recog.c:2131

[rearnsha at gcc dot gnu.org]

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

Richard Earnshaw <rearnsha at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-05-14
                 CC|                            |rearnsha at gcc dot gnu.org
          Component|middle-end                  |target
     Ever Confirmed|0                           |1

--- Comment #3 from Richard Earnshaw <rearnsha at gcc dot gnu.org> 2012-05-14 09:33:46 UTC ---
The movsicc (and related) patterns are not validating the arguments to the
comparison properly.

[Bug target/53334] [4.8 Regression] ICE in extract_insn, at recog.c:2131

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu.org
   Target Milestone|---                         |4.8.0
            Summary|ICE in extract_insn, at     |[4.8 Regression] ICE in
                   |recog.c:2131                |extract_insn, at
                   |                            |recog.c:2131

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-05-14 16:55:55 UTC ---
(In reply to comment #3)
> The movsicc (and related) patterns are not validating the arguments to the
> comparison properly.

This latent bug was exposed by my patch which uses the mov*cc patterns during
expanding rather than just during ifcvt (where the arguments are most likely
already validated).

[Bug target/53334] [4.8 Regression] ICE in extract_insn, at recog.c:2131

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ramana at gcc dot gnu.org

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-05-16 16:15:21 UTC ---
*** Bug 53376 has been marked as a duplicate of this bug. ***

[Bug target/53334] [4.8 Regression] ICE in extract_insn, at recog.c:2131

[ramana at gcc dot gnu.org]

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

--- Comment #6 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> 2012-05-22 09:07:03 UTC ---
Author: ramana
Date: Tue May 22 09:06:55 2012
New Revision: 187761

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187761
Log:
Fix PR target/53334


2012-05-22  Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>

    PR target/53334
    * config/arm/arm-protos.h (arm_validize_comparison): Declare.
    * config/arm/arm.c (arm_validize_comparison): Define.
    * config/arm/arm.md ("cbranchsi4"): Cleanup expansion and use
    arm_validize_comparison.
    ("cbranchdi4"): Likewise.
    ("cstoredi4"): Likewise.
    ("movsicc"): Likewise.
    ("movsfcc"): Likewise.
    ("movdfcc"): Likewise.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/arm/arm-protos.h
    trunk/gcc/config/arm/arm.c
    trunk/gcc/config/arm/arm.md

[Bug target/53334] [4.8 Regression] ICE in extract_insn, at recog.c:2131

[pinskia at gcc dot gnu.org]

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

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

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

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-05-26 18:14:25 UTC ---
Fixed.