From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-312013-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 4440 invoked by alias); 19 Mar 2010 17:35:19 -0000
Received: (qmail 3967 invoked by uid 48); 19 Mar 2010 17:35:02 -0000
Date: Fri, 19 Mar 2010 17:35:00 -0000
Message-ID: <20100319173502.3966.qmail@sourceware.org>
X-Bugzilla-Reason: CC
References: <bug-43437-18911@http.gcc.gnu.org/bugzilla/>
Subject: [Bug target/43437] ICE in CSE, during libgcc build
In-Reply-To: <bug-43437-18911@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "jakub at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
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: 2010-03/txt/msg01879.txt.bz2



------- Comment #4 from jakub at gcc dot gnu dot org  2010-03-19 17:35 -------
Ah, I see.  We have
(insn/f 93 8 94 2 pr43437.c:4 (parallel [
            (set/f (mem:SI (pre_dec:SI (reg/f:SI 0 r0)) [0 S4 A32])
                (reg:SI 12 r12))
            (set/f (mem:SI (pre_dec:SI (reg/f:SI 0 r0)) [0 S4 A32])
                (reg:SI 13 r13))
            (set/f (mem:SI (pre_dec:SI (reg/f:SI 0 r0)) [0 S4 A32])
                (reg:SI 14 r14))
            (set/f (mem:SI (pre_dec:SI (reg/f:SI 0 r0)) [0 S4 A32])
                (reg:SI 15 r15))
        ]) 159 {*score.md:3032} (expr_list:REG_DEAD (reg:SI 15 r15)
        (expr_list:REG_DEAD (reg:SI 14 r14)
            (expr_list:REG_DEAD (reg:SI 13 r13)
                (expr_list:REG_DEAD (reg:SI 12 r12)
                    (nil))))))
and adjust_insn turns that into:
(insn/f 93 8 94 2 pr43437.c:4 (parallel [
            (set/f (mem:SI (plus:SI (reg/f:SI 54 _frame)
                        (const_int -20 [0xffffffffffffffec])) [0 S4 A32])
                (reg:SI 12 r12))
            (set/f (mem:SI (plus:SI (reg/f:SI 54 _frame)
                        (const_int -20 [0xffffffffffffffec])) [0 S4 A32])
                (reg:SI 13 r13))
            (set/f (mem:SI (plus:SI (reg/f:SI 54 _frame)
                        (const_int -20 [0xffffffffffffffec])) [0 S4 A32])
                (reg:SI 14 r14))
            (set/f (mem:SI (plus:SI (reg/f:SI 54 _frame)
                        (const_int -20 [0xffffffffffffffec])) [0 S4 A32])
                (reg:SI 15 r15))
            (set (reg/f:SI 0 r0)
                (plus:SI (reg/f:SI 0 r0)
                    (const_int -4 [0xfffffffffffffffc])))
            (set (reg/f:SI 0 r0)
                (plus:SI (reg/f:SI 0 r0)
                    (const_int -4 [0xfffffffffffffffc])))
            (set (reg/f:SI 0 r0)
                (plus:SI (reg/f:SI 0 r0)
                    (const_int -4 [0xfffffffffffffffc])))
            (set (reg/f:SI 0 r0)
                (plus:SI (reg/f:SI 0 r0)
                    (const_int -4 [0xfffffffffffffffc])))
        ]) 159 {*score.md:3032} (expr_list:REG_DEAD (reg:SI 15 r15)
        (expr_list:REG_DEAD (reg:SI 14 r14)
            (expr_list:REG_DEAD (reg:SI 13 r13)
                (expr_list:REG_DEAD (reg:SI 12 r12)
                    (nil))))))
I was assuming more than one autoinc with the same reg doesn't appear in any
port, apparently it does.  Guess adjust_insn could detect this and merge all
the adjustments against the same reg into one.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-03-19 15:58:32         |2010-03-19 17:35:01
               date|                            |


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