From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14759 invoked by alias); 4 Dec 2013 12:02:21 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 14715 invoked by uid 48); 4 Dec 2013 12:02:14 -0000 From: "robert.suchanek at imgtec dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug rtl-optimization/59317] [4.9 Regression] [LRA,MIPS] ICE: in check_rtl, at lra.c (insn does not satisfy constraints) Date: Wed, 04 Dec 2013 12:02:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: rtl-optimization X-Bugzilla-Version: 4.9.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: robert.suchanek at imgtec dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 4.9.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2013-12/txt/msg00267.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59317 --- Comment #2 from Robert Suchanek --- The latest patches do not seem to resolve the issue. Although the newly generated pseudos get ALL_REGS class assigned, the class change does not happen later. As the class is not changed, hard regs are found basing on the class, and hence, wrong hard reg(s) are assigned and it is found by the coherency check. If I'm right, there are least two opportunities where the class can be changed in the constraint pass. One fails as the constraints cannot influence the classes of the new pseudos (for reload insns) and another one when it tries to narrow the class for input pseudos.