From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-409161-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 28896 invoked by alias); 7 Dec 2012 22:41:35 -0000
Received: (qmail 27025 invoked by uid 48); 7 Dec 2012 22:41:04 -0000
From: "steven at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug other/54814] [4.8 Regression] ICE: unable to find a register to spill in class 'R0_REG'
Date: Fri, 07 Dec 2012 22:41:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: other
X-Bugzilla-Keywords: ice-on-valid-code, ra
X-Bugzilla-Severity: normal
X-Bugzilla-Who: steven at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P4
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.0
X-Bugzilla-Changed-Fields: CC
Message-ID: <bug-54814-4-fkoONPOSQD@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-54814-4@http.gcc.gnu.org/bugzilla/>
References: <bug-54814-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
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
X-SW-Source: 2012-12/txt/msg00769.txt.bz2


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

Steven Bosscher <steven at gcc dot gnu.org> changed:

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

--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> 2012-12-07 22:41:02 UTC ---
For 20010426-1.c at -O1:
(gdb) p debug_rtx(insn)
(insn 168 167 169 10 (set (reg:QI 3 r3 [orig:118 a_I_m_lsm.5+1 ] [118])
        (subreg:QI (reg/f:HI 105 [ a_I_m_lsm.5 ]) 1)) 20010426-1.c:12 70
{movqi_insn}
     (nil))
$1 = void
(gdb) p debug_reload_to_stream(stderr)
Reload 0: reload_in (HI) = (symbol_ref/f:HI ("*.LC0") [flags 0x2] <var_decl
0x7ffff63f0720 *.LC0>)
        R0_REG, RELOAD_FOR_INPUT (opnum = 1)
        reload_in_reg: (symbol_ref/f:HI ("*.LC0") [flags 0x2] <var_decl
0x7ffff63f0720 *.LC0>)
Reload 1: reload_in (QI) = (subreg:QI (symbol_ref/f:HI ("*.LC0") [flags 0x2]
<var_decl 0x7ffff63f0720 *.LC0>) 1)
        GENERAL_REGS, RELOAD_FOR_INPUT (opnum = 1), can't combine
        reload_in_reg: (subreg:QI (reg/f:HI 105 [ a_I_m_lsm.5 ]) 1)
        reload_reg_rtx: (reg:QI 3 r3 [orig:118 a_I_m_lsm.5+1 ] [118])
$2 = void


For 930120-1.c at -O2:
Breakpoint 1, spill_failure (insn=0x7ffff6444990, rclass=R0_REG) at
../../trunk/gcc/reload1.c:2108
2108      if (asm_noperands (PATTERN (insn)) >= 0)
(gdb) p debug_rtx(insn)
(insn 173 170 176 28 (set (mem:QI (post_dec:HI (reg/f:HI 32 __SP_L__)) [0 S1
A8])
        (subreg:QI (reg/f:HI 487) 1)) 930120-1.c:67 1 {pushqi1}
     (expr_list:REG_ARGS_SIZE (const_int 3 [0x3])
        (nil)))
$1 = void
(gdb) p debug_reload_to_stream(stderr)
Reload 0: reload_in (HI) = (symbol_ref/f:HI ("*.LC2") [flags 0x2] <var_decl
0x7ffff6420850 *.LC2>)
        R0_REG, RELOAD_FOR_INPUT (opnum = 0)
        reload_in_reg: (symbol_ref/f:HI ("*.LC2") [flags 0x2] <var_decl
0x7ffff6420850 *.LC2>)
Reload 1: reload_in (QI) = (subreg:QI (symbol_ref/f:HI ("*.LC2") [flags 0x2]
<var_decl 0x7ffff6420850 *.LC2>) 1)
        GENERAL_REGS, RELOAD_FOR_INPUT (opnum = 0), can't combine
        reload_in_reg: (subreg:QI (reg/f:HI 487) 1)
$2 = void
(gdb) 

In both cases reload is trying to reload a symbol_ref to an R0_REG class.