[Bug rtl-optimization/55204] New: [4.8 Regression] ICE: in extract_insn, at recog.c:2140 (unrecognizable insn) with -O --param loop-invariant-max-bbs-in-loop=0

[Bug rtl-optimization/55204] New: [4.8 Regression] ICE: in extract_insn, at recog.c:2140 (unrecognizable insn) with -O --param loop-invariant-max-bbs-in-loop=0

[zsojka at seznam dot cz]

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

             Bug #: 55204
           Summary: [4.8 Regression] ICE: in extract_insn, at recog.c:2140
                    (unrecognizable insn) with -O --param
                    loop-invariant-max-bbs-in-loop=0
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 28610
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28610
reduced testcase

Compiler output:
$ gcc -O --param loop-invariant-max-bbs-in-loop=0 testcase.ctestcase.c: In
function 'f1':
testcase.c:18:1: error: unrecognizable insn:
 }
 ^
(insn 53 50 24 5 (set (reg:SI 5 di [77])
        (plus:SI (subreg:SI (reg:HI 7 sp) 0)
            (const_int -248 [0xffffffffffffff08]))) testcase.c:13 -1
     (nil))
testcase.c:18:1: internal compiler error: in extract_insn, at recog.c:2140
0x9969ea _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /mnt/svn/gcc-trunk/gcc/rtl-error.c:110
0x996a7a _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /mnt/svn/gcc-trunk/gcc/rtl-error.c:118
0x9524d8 extract_insn(rtx_def*)
        /mnt/svn/gcc-trunk/gcc/recog.c:2140
0x9526eb extract_insn_cached(rtx_def*)
        /mnt/svn/gcc-trunk/gcc/recog.c:2043
0x79f91d cleanup_subreg_operands(rtx_def*)
        /mnt/svn/gcc-trunk/gcc/final.c:2968
0x94dc60 split_insn
        /mnt/svn/gcc-trunk/gcc/recog.c:2857
0x956401 split_all_insns()
        /mnt/svn/gcc-trunk/gcc/recog.c:2911
0x956558 rest_of_handle_split_after_reload
        /mnt/svn/gcc-trunk/gcc/recog.c:3795
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.

Tested revisions:
r193125 - crash
r192654 - OK
r191586 - OK
4.7 r191640 - OK

[Bug rtl-optimization/55204] [4.8 Regression] ICE: in extract_insn, at recog.c:2140 (unrecognizable insn) with -O --param loop-invariant-max-bbs-in-loop=0

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-11-04
                 CC|                            |mpolacek at gcc dot
                   |                            |gnu.org, rsandifo at gcc
                   |                            |dot gnu.org
   Target Milestone|---                         |4.8.0
     Ever Confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-11-04 13:18:17 UTC ---
Started with http://gcc.gnu.org/viewcvs?view=revision&revision=192988

[Bug rtl-optimization/55204] [4.8 Regression] ICE: in extract_insn, at recog.c:2140 (unrecognizable insn) with -O --param loop-invariant-max-bbs-in-loop=0

[rsandifo at gcc dot gnu.org]

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

rsandifo@gcc.gnu.org <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |rsandifo at gcc dot gnu.org
                   |gnu.org                     |

[Bug rtl-optimization/55204] [4.8 Regression] ICE: in extract_insn, at recog.c:2140 (unrecognizable insn) with -O --param loop-invariant-max-bbs-in-loop=0

[ubizjak at gmail dot com]

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

--- Comment #2 from Uros Bizjak <ubizjak at gmail dot com> 2012-11-05 09:21:57 UTC ---
Does the patch at [1] fix also this failure?

[1] http://gcc.gnu.org/ml/gcc-patches/2012-11/msg00353.html

[Bug rtl-optimization/55204] [4.8 Regression] ICE: in extract_insn, at recog.c:2140 (unrecognizable insn) with -O --param loop-invariant-max-bbs-in-loop=0

[rsandifo at gcc dot gnu.org]

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

--- Comment #3 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> 2012-11-05 18:51:40 UTC ---
Author: rsandifo
Date: Mon Nov  5 18:51:33 2012
New Revision: 193178

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193178
Log:
gcc/
    PR target/55204
    * config/i386/i386.c (ix86_address_subreg_operand): Remove stack
    pointer check.
    (print_reg): Use true_regnum rather than REGNO.
    (ix86_print_operand_address): Remove SUBREG handling.

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

[Bug rtl-optimization/55204] [4.8 Regression] ICE: in extract_insn, at recog.c:2140 (unrecognizable insn) with -O --param loop-invariant-max-bbs-in-loop=0

[rsandifo at gcc dot gnu.org]

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

--- Comment #4 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> 2012-11-05 18:55:38 UTC ---
Author: rsandifo
Date: Mon Nov  5 18:55:35 2012
New Revision: 193179

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193179
Log:
gcc/
    PR target/55204
    * config/i386/i386.c (ix86_address_subreg_operand): Remove stack
    pointer check.
    (print_reg): Use true_regnum rather than REGNO.
    (ix86_print_operand_address): Remove SUBREG handling.

Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/config/i386/i386.c

[Bug target/55204] [4.8 Regression] ICE: in extract_insn, at recog.c:2140 (unrecognizable insn) with -O --param loop-invariant-max-bbs-in-loop=0

[rsandifo at gcc dot gnu.org]

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

rsandifo@gcc.gnu.org <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
          Component|rtl-optimization            |target
         Resolution|                            |FIXED

--- Comment #5 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> 2012-11-05 18:59:12 UTC ---
Patch applied.