This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[vta] reject auto-inc-dec in debug insns
- From: Alexandre Oliva <aoliva at redhat dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Thu, 03 Jan 2008 05:14:46 -0200
- Subject: [vta] reject auto-inc-dec in debug insns
Having fixed the problem in combine, asserting that debug insns never
contain auto-modify addressing modes is now possible. Installing in
the vta branch.
for gcc/ChangeLog.vta
from Alexandre Oliva <aoliva@redhat.com>
* df-scan.c (df_uses_record): Reject auto-inc-dec in debug insns.
Index: gcc/df-scan.c
===================================================================
--- gcc/df-scan.c.orig 2007-11-23 18:05:53.000000000 -0200
+++ gcc/df-scan.c 2007-12-23 06:08:26.000000000 -0200
@@ -3017,6 +3017,7 @@ df_uses_record (struct df_collection_rec
case POST_INC:
case PRE_MODIFY:
case POST_MODIFY:
+ gcc_assert (!DEBUG_INSN_P (insn));
/* Catch the def of the register being modified. */
df_ref_record (collection_rec, XEXP (x, 0), &XEXP (x, 0), bb, insn,
DF_REF_REG_DEF,
--
Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/
FSF Latin America Board Member http://www.fsfla.org/
Red Hat Compiler Engineer aoliva@{redhat.com, gcc.gnu.org}
Free Software Evangelist oliva@{lsd.ic.unicamp.br, gnu.org}