This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

[patch] fix verify_rtl_sharing handling of SEQUENCEs

From: Steven Bosscher <stevenb dot gcc at gmail dot com>
To: GCC Patches <gcc-patches at gcc dot gnu dot org>
Cc: Eric Botcazou <ebotcazou at adacore dot com>
Date: Sun, 14 Apr 2013 15:34:13 +0200
Subject: [patch] fix verify_rtl_sharing handling of SEQUENCEs

Hello,

My new delay branch scheduler uses TODO_verify_rtl_sharing but it
turns out that verify_rtl_sharing doesn't handle SEQUENCEs correctly:
Clearing the used-flags is done correctly, but verifying insns in the
SEQUENCE fails. The problem is that every insn in the SEQUENCE is
marked used via PATTERN(SEQUENCE) and also via PREV_INSN/NEXT_INSN of
the insns in the SEQUENCE.

Fixed with the attached patch. Bootstrapepd&tested on
sparc64-unknown-linux-gnu, and cross-built&tested on mips-elf, both
with TODO_verify_rtl_sharing added to the passes in reorg.c.
Will commit as obvious.

Ciao!
Steven

Attachment: fix_verify_rtl_sharing.diff.txt
Description: Text document

Follow-Ups:
- Re: [patch] fix verify_rtl_sharing handling of SEQUENCEs
  - From: Steven Bosscher

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]