public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug rtl-optimization/55154] New: [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags
@ 2012-10-31 20:47 zsojka at seznam dot cz
  2012-10-31 22:06 ` [Bug rtl-optimization/55154] " mpolacek at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: zsojka at seznam dot cz @ 2012-10-31 20:47 UTC (permalink / raw)
  To: gcc-bugs


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

             Bug #: 55154
           Summary: [4.8 Regression] ICE: in curr_insn_transform, at
                    lra-constraints.c:2702 with custom flags
    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 28584
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28584
preprocessed source

Compiler output:
$ gcc -O2 -mcx16 -fpic -mcmodel=large -fno-split-wide-types pr46254.i 
/mnt/svn/gcc-trunk/gcc/testsuite/gcc.target/i386/pr46254.c: In function 'test':
/mnt/svn/gcc-trunk/gcc/testsuite/gcc.target/i386/pr46254.c:11:1: error: unable
to generate reloads for:
 }
 ^
(insn 10 14 0 2 (parallel [
            (set (subreg:DI (reg:TI 65) 0)
                (unspec_volatile:DI [
                        (mem/v:TI (reg/f:DI 62) [-1 S16 A128])
                        (mem/c:DI (reg/f:DI 62) [2 i+0 S8 A128])
                        (mem/c:DI (plus:DI (reg/f:DI 62)
                                (const_int 8 [0x8])) [2 i+8 S8 A64])
                        (mem/c:DI (reg/f:DI 62) [2 i+0 S8 A128])
                        (mem/c:DI (plus:DI (reg/f:DI 62)
                                (const_int 8 [0x8])) [2 i+8 S8 A64])
                        (const_int 5 [0x5])
                    ] UNSPECV_CMPXCHG))
            (set (subreg:DI (reg:TI 65) 8)
                (unspec_volatile:DI [
                        (const_int 0 [0])
                    ] UNSPECV_CMPXCHG))
            (set (mem/v:TI (reg/f:DI 62) [-1 S16 A128])
                (unspec_volatile:TI [
                        (const_int 0 [0])
                    ] UNSPECV_CMPXCHG))
            (set (reg:CCZ 17 flags)
                (unspec_volatile:CCZ [
                        (const_int 0 [0])
                    ] UNSPECV_CMPXCHG))
            (clobber (reg:DI 67))
        ]) /mnt/svn/gcc-trunk/gcc/testsuite/gcc.target/i386/pr46254.c:10 2063
{atomic_compare_and_swapti_doubleword}
     (expr_list:REG_UNUSED (reg:DI 67)
        (expr_list:REG_DEAD (reg/f:DI 62)
            (expr_list:REG_DEAD (reg:TI 60 [ i.1 ])
                (expr_list:REG_UNUSED (reg:TI 65)
                    (expr_list:REG_UNUSED (reg:TI 65)
                        (expr_list:REG_UNUSED (reg:CCZ 17 flags)
                            (nil))))))))
/mnt/svn/gcc-trunk/gcc/testsuite/gcc.target/i386/pr46254.c:11:1: internal
compiler error: in curr_insn_transform, at lra-constraints.c:2702
0x997d2a _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /mnt/svn/gcc-trunk/gcc/rtl-error.c:110
0x8dd7b9 curr_insn_transform
        /mnt/svn/gcc-trunk/gcc/lra-constraints.c:2702
0x8ddf34 lra_constraints(bool)
        /mnt/svn/gcc-trunk/gcc/lra-constraints.c:3404
0x8cdd1c lra(_IO_FILE*)
        /mnt/svn/gcc-trunk/gcc/lra.c:2281
0x883d66 do_reload
        /mnt/svn/gcc-trunk/gcc/ira.c:4624
0x883d66 rest_of_handle_reload
        /mnt/svn/gcc-trunk/gcc/ira.c:4736
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.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug rtl-optimization/55154] [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags
  2012-10-31 20:47 [Bug rtl-optimization/55154] New: [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags zsojka at seznam dot cz
@ 2012-10-31 22:06 ` mpolacek at gcc dot gnu.org
  2012-11-01 10:41 ` ubizjak at gmail dot com
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2012-10-31 22:06 UTC (permalink / raw)
  To: gcc-bugs


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-10-31
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-10-31 22:06:12 UTC ---
Started with http://gcc.gnu.org/viewcvs?view=revision&revision=192719
The interesting thing is that this happened before, definitely in r190614,
afterwards was fixed in some commit, and 190777 was fine.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug rtl-optimization/55154] [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags
  2012-10-31 20:47 [Bug rtl-optimization/55154] New: [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags zsojka at seznam dot cz
  2012-10-31 22:06 ` [Bug rtl-optimization/55154] " mpolacek at gcc dot gnu.org
@ 2012-11-01 10:41 ` ubizjak at gmail dot com
  2012-11-01 10:42 ` ubizjak at gmail dot com
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: ubizjak at gmail dot com @ 2012-11-01 10:41 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #2 from Uros Bizjak <ubizjak at gmail dot com> 2012-11-01 10:40:37 UTC ---
(In reply to comment #1)
> Started with http://gcc.gnu.org/viewcvs?view=revision&revision=192719
> The interesting thing is that this happened before, definitely in r190614,
> afterwards was fixed in some commit, and 190777 was fine.

As the test name implies, it was PR46254. The problem there was that %rbx is
declared as fixed reg for "-fpic -mcmodel=large" case. Fixed regs are
unavailable to RA, so we have to handle it in a special way.

This PR shows a deficiency in how subregs are handled in LRA. The test lives
and dies by correct subreg handling in the RA.

For reference, pre-LRA allocator resolved allocation for problematic insn with:

Reloads for insn # 10
Reload 0: reload_in (DI) = (subreg:DI (reg:TI 60 [ i.1 ]) 0)
        reload_out (DI) = (reg:DI 4 si)
        AREG, RELOAD_OTHER (opnum = 0)
        reload_in_reg: (subreg:DI (reg:TI 60 [ i.1 ]) 0)
        reload_out_reg: (subreg:DI (reg:TI 4 si [65]) 0)
        reload_reg_rtx: (reg:DI 0 ax)
Reload 1: reload_in (DI) = (subreg:DI (reg:TI 60 [ i.1 ]) 8)
        reload_out (DI) = (reg:DI 5 di)
        DREG, RELOAD_OTHER (opnum = 1)
        reload_in_reg: (subreg:DI (reg:TI 60 [ i.1 ]) 8)
        reload_out_reg: (subreg:DI (reg:TI 4 si [65]) 8)
        reload_reg_rtx: (reg:DI 1 dx)
Reload 2: reload_in (DI) = (subreg:DI (reg:TI 60 [ i.1 ]) 0)
        reload_out (DI) = (scratch:DI)
        GENERAL_REGS, RELOAD_OTHER (opnum = 5)
        reload_in_reg: (subreg:DI (reg:TI 60 [ i.1 ]) 0)
        reload_out_reg: (scratch:DI)
        reload_reg_rtx: (reg:DI 38 r9)
Reload 3: reload_in (DI) = (subreg:DI (reg:TI 60 [ i.1 ]) 8)
        CREG, RELOAD_FOR_INPUT (opnum = 6)
        reload_in_reg: (subreg:DI (reg:TI 60 [ i.1 ]) 8)
        reload_reg_rtx: (reg:DI 2 cx)


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug rtl-optimization/55154] [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags
  2012-10-31 20:47 [Bug rtl-optimization/55154] New: [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags zsojka at seznam dot cz
  2012-10-31 22:06 ` [Bug rtl-optimization/55154] " mpolacek at gcc dot gnu.org
  2012-11-01 10:41 ` ubizjak at gmail dot com
@ 2012-11-01 10:42 ` ubizjak at gmail dot com
  2012-11-09 15:33 ` vmakarov at gcc dot gnu.org
  2012-12-07 13:48 ` rguenth at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: ubizjak at gmail dot com @ 2012-11-01 10:42 UTC (permalink / raw)
  To: gcc-bugs


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

Uros Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0

--- Comment #3 from Uros Bizjak <ubizjak at gmail dot com> 2012-11-01 10:42:33 UTC ---
Confirmed, a regression from 4.7.


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug rtl-optimization/55154] [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags
  2012-10-31 20:47 [Bug rtl-optimization/55154] New: [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags zsojka at seznam dot cz
                   ` (2 preceding siblings ...)
  2012-11-01 10:42 ` ubizjak at gmail dot com
@ 2012-11-09 15:33 ` vmakarov at gcc dot gnu.org
  2012-12-07 13:48 ` rguenth at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: vmakarov at gcc dot gnu.org @ 2012-11-09 15:33 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #4 from Vladimir Makarov <vmakarov at gcc dot gnu.org> 2012-11-09 15:33:27 UTC ---
Author: vmakarov
Date: Fri Nov  9 15:33:19 2012
New Revision: 193364

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193364
Log:
2012-11-09  Vladimir Makarov  <vmakarov@redhat.com>

    PR tree-optimization/55154
    * lra-int.h (LRA_LOSER_COST_FACTOR, LRA_MAX_REJECT): New macros.
    * lra.c (setup_operand_alternative): Use them.
    * lra-constraints.c (LOSER_COST_FACTOR, MAX_OVERALL_COST_BOUND):
    Remove.
    (process_alt_operands): Use LRA_LOSER_COST_FACTOR and
    LRA_MAX_REJECT.  Accumulate reject instead of setting for
    non-const.
    (curr_insn_transform): Initialize best_losers and best_overall by
    INT_MAX.

2012-11-09  Vladimir Makarov  <vmakarov@redhat.com>

    PR rtl-optimization/55154
    * gcc.target/i386/pr55154.c: New test.


Added:
    trunk/gcc/testsuite/gcc.target/i386/pr55154.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lra-constraints.c
    trunk/gcc/lra-int.h
    trunk/gcc/lra.c
    trunk/gcc/testsuite/ChangeLog


^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug rtl-optimization/55154] [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags
  2012-10-31 20:47 [Bug rtl-optimization/55154] New: [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags zsojka at seznam dot cz
                   ` (3 preceding siblings ...)
  2012-11-09 15:33 ` vmakarov at gcc dot gnu.org
@ 2012-12-07 13:48 ` rguenth at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2012-12-07 13:48 UTC (permalink / raw)
  To: gcc-bugs


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

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

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-07 13:48:28 UTC ---
Fixed.


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2012-12-07 13:48 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-10-31 20:47 [Bug rtl-optimization/55154] New: [4.8 Regression] ICE: in curr_insn_transform, at lra-constraints.c:2702 with custom flags zsojka at seznam dot cz
2012-10-31 22:06 ` [Bug rtl-optimization/55154] " mpolacek at gcc dot gnu.org
2012-11-01 10:41 ` ubizjak at gmail dot com
2012-11-01 10:42 ` ubizjak at gmail dot com
2012-11-09 15:33 ` vmakarov at gcc dot gnu.org
2012-12-07 13:48 ` rguenth at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).