This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[patch] cfgrtl.c: Speed up rtl_verify_flow_info.
- From: Kazu Hirata <kazu at cs dot umass dot edu>
- To: gcc-patches at gcc dot gnu dot org
- Date: Wed, 17 Nov 2004 16:56:58 -0500 (EST)
- Subject: [patch] cfgrtl.c: Speed up rtl_verify_flow_info.
Hi,
Attached is a patch to speed up rtl_verify_flow_info.
JUMP_P implies INSN_P. In fact, INSN_P is defined as
#define INSN_P(X) \
(NONJUMP_INSN_P (X) || JUMP_P (X) || CALL_P (X))
The patch removes INSN_P from one of the "if"s in
rtl_verify_flow_info.
Tested on i686-pc-linux-gnu. Committed as obvious.
Kazu Hirata
2004-11-17 Kazu Hirata <kazu@cs.umass.edu>
* cfgrtl.c (rtl_verify_flow_info): Don't use INSN_P when
checking if an unconditional return is followed by a barrier.
Index: cfgrtl.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/cfgrtl.c,v
retrieving revision 1.145
diff -u -d -p -r1.145 cfgrtl.c
--- cfgrtl.c 14 Nov 2004 21:25:37 -0000 1.145
+++ cfgrtl.c 16 Nov 2004 00:56:05 -0000
@@ -2256,8 +2256,7 @@ rtl_verify_flow_info (void)
}
}
- if (INSN_P (x)
- && JUMP_P (x)
+ if (JUMP_P (x)
&& returnjump_p (x) && ! condjump_p (x)
&& ! (NEXT_INSN (x) && BARRIER_P (NEXT_INSN (x))))
fatal_insn ("return not followed by barrier", x);