From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 115509 invoked by alias); 23 Mar 2015 15:37:07 -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 115327 invoked by uid 48); 23 Mar 2015 15:37:03 -0000 From: "rth at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug target/65496] ICE: in maybe_record_trace_start, at dwarf2cfi.c:2318 with -O3 -fsched2-use-superblocks -mavx512dq --param=max-pending-list-length=0 Date: Mon, 23 Mar 2015 15:57:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: target X-Bugzilla-Version: 5.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: rth at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- 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: 2015-03/txt/msg02415.txt.bz2 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65496 --- Comment #3 from Richard Henderson --- (In reply to Jakub Jelinek from comment #2) > Richard, any thoughts what to do about this? Avoid scheduling frame related > instructions across conditional jumps? Something else? Yes, for the short term that will have to be a requirement in order to keep the unwind info happy. Something for the next stage1 is (1) Avoiding the use of bare /f, and thus also REG_FRAME_RELATED_EXPR, using instead always REG_CFA_*. I suspect that this insn 620 shouldn't actually be frame related at all, but is a part of a larger dwarf expression we're intending to construct. (2) Once we have an unambiguous note for everything, we can allow these insns to be scheduled across a conditional jump if we strip and collect those notes and place them after the conditional jump, probably on a fake insn like (insn/f (use (const_int 0)) (expr-list:REG_CFA_... (expr-list:REG_CFA_... (expr-list:REG_CFA_...))))