This is the mail archive of the 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] cfgrtl.c: Speed up rtl_verify_flow_info.


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

Tested on i686-pc-linux-gnu.  Committed as obvious.

Kazu Hirata

2004-11-17  Kazu Hirata  <>

	* 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);

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