[thirdparty/gcc.git] / gcc / cfg-flags.def

/* Flags on basic blocks and edges.
   Copyright (C) 2012  Free Software Foundation, Inc.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 3, or (at your option) any later
version.

GCC is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.  */

/* This file defines flags that may appear on basic blocks or on
   edges.  Source files define DEF_BASIC_BLOCK_FLAG or DEF_EDGE_FLAG
   appropriately before including this file.  */

#if !defined(DEF_BASIC_BLOCK_FLAG) && !defined(DEF_EDGE_FLAG)
#error "You must define DEF_BASIC_BLOCK_FLAG or DEF_EDGE_FLAG"
#endif

#ifdef DEF_BASIC_BLOCK_FLAG

/* Masks for basic_block.flags.

   The format of this file is: DEF_BASIC_BLOCK_FLAG(NAME, IDX).
   NAME is the name of the basic block flag.  A flag BB_#NAME will be
   created and the name is used in dump_edge_info.
   IDX is a sequence number that is used to determine the value
   of the flag, which is 1 << IDX).

   BB_HOT_PARTITION and BB_COLD_PARTITION should be preserved throughout
   the compilation, so they are never cleared.

   All other flags may be cleared by clear_bb_flags().  It is generally
   a bad idea to rely on any flags being up-to-date.  */

/* Only set on blocks that have just been created by create_bb.  */
DEF_BASIC_BLOCK_FLAG(NEW, 0)

/* Set by find_unreachable_blocks.  Do not rely on this being set in any
   pass.  */
DEF_BASIC_BLOCK_FLAG(REACHABLE, 1)

/* Set for blocks in an irreducible loop by loop analysis.  */
DEF_BASIC_BLOCK_FLAG(IRREDUCIBLE_LOOP, 2)

/* Set on blocks that may actually not be single-entry single-exit block.  */
DEF_BASIC_BLOCK_FLAG(SUPERBLOCK, 3)

/* Set on basic blocks that the scheduler should not touch.  This is used
   by SMS to prevent other schedulers from messing with the loop schedule.  */
DEF_BASIC_BLOCK_FLAG(DISABLE_SCHEDULE, 4)

/* Set on blocks that should be put in a hot section.  */
DEF_BASIC_BLOCK_FLAG(HOT_PARTITION, 5)

/* Set on blocks that should be put in a cold section.  */
DEF_BASIC_BLOCK_FLAG(COLD_PARTITION, 6)

/* Set on block that was duplicated.  */
DEF_BASIC_BLOCK_FLAG(DUPLICATED, 7)

/* Set if the label at the top of this block is the target of a non-local goto.  */
DEF_BASIC_BLOCK_FLAG(NON_LOCAL_GOTO_TARGET, 8)

/* Set on blocks that are in RTL format.  */
DEF_BASIC_BLOCK_FLAG(RTL, 9) 

/* Set on blocks that are forwarder blocks.
   Only used in cfgcleanup.c.  */
DEF_BASIC_BLOCK_FLAG(FORWARDER_BLOCK, 10)

/* Set on blocks that cannot be threaded through.
   Only used in cfgcleanup.c.  */
DEF_BASIC_BLOCK_FLAG(NONTHREADABLE_BLOCK, 11)

/* Set on blocks that were modified in some way.  This bit is set in
   df_set_bb_dirty, but not cleared by df_analyze, so it can be used
   to test whether a block has been modified prior to a df_analyze call.  */
DEF_BASIC_BLOCK_FLAG(MODIFIED, 12)

/* A general visited flag for passes to use.  */
DEF_BASIC_BLOCK_FLAG(VISITED, 13)

/* Set on blocks that are in a transaction.  This is calculated on
   demand, and is available after calling compute_transaction_bits().  */
DEF_BASIC_BLOCK_FLAG(IN_TRANSACTION, 14)

#endif

#ifdef DEF_EDGE_FLAG

/* Masks for edge.flags.

   The format of this file is: DEF_EDGE_FLAG(NAME, IDX, STRING).
   NAME is the name of the edge flag.  A flag EDGE_#NAME will be
   created and the name is used in dump_edge_info.
   IDX is a sequence number that is used to determine the value
   of the flag, which is 1 << IDX).  */

/* 'Straight line' flow.  In GIMPLE and in cfglayout mode, all normal
   edges are fallthru edges.  In cfgrtl mode, this flag really means
   that control flow falls through to the next basic block in the line.  */
DEF_EDGE_FLAG(FALLTHRU, 0)

/* Strange flow, like a computed jump or exception handling.  Usually
   this means that the edge cannot be split.  */
DEF_EDGE_FLAG(ABNORMAL, 1)

/* Edge out of a basic block that ends with a CALL_INSN with abnormal
   exit, like an exception, or a sibcall.
   This flag is only used for the RTL CFG.  */
DEF_EDGE_FLAG(ABNORMAL_CALL, 2)

/* Exception edge.  Exception handling edges represent possible control
   transfers from a trapping instruction to an exception handler.  EH
   edges also have EDGE_ABNORMAL set.  */
DEF_EDGE_FLAG(EH, 3)

/* Never merge blocks via this edge.  This is used for exception handling,
   to prevent merging away edges to the post-landing-pad basic block.
   This flag is only used for the RTL CFG.  */
DEF_EDGE_FLAG(PRESERVE, 4)

/* Not a real edge.  This is used to connect parts of the CFG that do
   not halt, such as infinite loops and noreturn functions, to the
   EXIT_BLOCK, so that traversing of the reverse CFG is possible.  */
DEF_EDGE_FLAG(FAKE, 5)

/* A back edge, marked in a depth-first search of the CFG.  Back edges
   are hints that this edge may be part of a loop in the CFG.  */
DEF_EDGE_FLAG(DFS_BACK, 6)

/* Edge in a part of the CFG that is an irreducible loop.  */
DEF_EDGE_FLAG(IRREDUCIBLE_LOOP, 7)

/* Edge taken when controlling predicate is nonzero.
   This is only used for the GIMPLE CFG.  */
DEF_EDGE_FLAG(TRUE_VALUE, 8)

/* Edge taken when controlling predicate is zero.
   This is only used for the GIMPLE CFG.  */
DEF_EDGE_FLAG(FALSE_VALUE, 9)

/* Edge is executable.  This is only used in GIMPLE SSA-CCP and VRP.
   This is only used for the GIMPLE CFG.  */
DEF_EDGE_FLAG(EXECUTABLE, 10)

/* Edge crosses between hot and cold sections, when we do partitioning.
   This flag is only used for the RTL CFG.  */
DEF_EDGE_FLAG(CROSSING, 11)

/* Edge from a sibcall CALL_INSN to exit.
   This flag is only used for the RTL CFG.  */
DEF_EDGE_FLAG(SIBCALL, 12)

/* Candidate for straight line flow.  Only used in bb-reorder.c.
   This flag is only used for the RTL CFG.  */
DEF_EDGE_FLAG(CAN_FALLTHRU, 13)

/* Exit of a loop.  This is only used in ifcvt.c.
   This flag is only used for the RTL CFG.  */
DEF_EDGE_FLAG(LOOP_EXIT, 14)

#endif

/*
Local variables:
mode:c
End:
*/
Commit	Line	Data
a315c44c SB	1	/* Flags on basic blocks and edges.
	2	Copyright (C) 2012 Free Software Foundation, Inc.
	3
	4	This file is part of GCC.
	5
	6	GCC is free software; you can redistribute it and/or modify it under
	7	the terms of the GNU General Public License as published by the Free
	8	Software Foundation; either version 3, or (at your option) any later
	9	version.
	10
	11	GCC is distributed in the hope that it will be useful, but WITHOUT ANY
	12	WARRANTY; without even the implied warranty of MERCHANTABILITY or
	13	FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
	14	for more details.
	15
	16	You should have received a copy of the GNU General Public License
	17	along with GCC; see the file COPYING3. If not see
	18	<http://www.gnu.org/licenses/>. */
	19
	20	/* This file defines flags that may appear on basic blocks or on
	21	edges. Source files define DEF_BASIC_BLOCK_FLAG or DEF_EDGE_FLAG
	22	appropriately before including this file. */
	23
	24	#if !defined(DEF_BASIC_BLOCK_FLAG) && !defined(DEF_EDGE_FLAG)
	25	#error "You must define DEF_BASIC_BLOCK_FLAG or DEF_EDGE_FLAG"
	26	#endif
	27
	28	#ifdef DEF_BASIC_BLOCK_FLAG
	29
	30	/* Masks for basic_block.flags.
	31
	32	The format of this file is: DEF_BASIC_BLOCK_FLAG(NAME, IDX).
	33	NAME is the name of the basic block flag. A flag BB_#NAME will be
	34	created and the name is used in dump_edge_info.
	35	IDX is a sequence number that is used to determine the value
	36	of the flag, which is 1 << IDX).
	37
	38	BB_HOT_PARTITION and BB_COLD_PARTITION should be preserved throughout
	39	the compilation, so they are never cleared.
	40
	41	All other flags may be cleared by clear_bb_flags(). It is generally
	42	a bad idea to rely on any flags being up-to-date. */
	43
	44	/* Only set on blocks that have just been created by create_bb. */
	45	DEF_BASIC_BLOCK_FLAG(NEW, 0)
	46
	47	/* Set by find_unreachable_blocks. Do not rely on this being set in any
	48	pass. */
	49	DEF_BASIC_BLOCK_FLAG(REACHABLE, 1)
	50
	51	/* Set for blocks in an irreducible loop by loop analysis. */
	52	DEF_BASIC_BLOCK_FLAG(IRREDUCIBLE_LOOP, 2)
	53
	54	/* Set on blocks that may actually not be single-entry single-exit block. */
	55	DEF_BASIC_BLOCK_FLAG(SUPERBLOCK, 3)
	56
	57	/* Set on basic blocks that the scheduler should not touch. This is used
	58	by SMS to prevent other schedulers from messing with the loop schedule. */
	59	DEF_BASIC_BLOCK_FLAG(DISABLE_SCHEDULE, 4)
	60
	61	/* Set on blocks that should be put in a hot section. */
	62	DEF_BASIC_BLOCK_FLAG(HOT_PARTITION, 5)
	63
	64	/* Set on blocks that should be put in a cold section. */
65	DEF_BASIC_BLOCK_FLAG(COLD_PARTITION, 6)
66
67	/* Set on block that was duplicated. */
68	DEF_BASIC_BLOCK_FLAG(DUPLICATED, 7)
69
70	/* Set if the label at the top of this block is the target of a non-local goto. */
71	DEF_BASIC_BLOCK_FLAG(NON_LOCAL_GOTO_TARGET, 8)
72
73	/* Set on blocks that are in RTL format. */
74	DEF_BASIC_BLOCK_FLAG(RTL, 9)
75
76	/* Set on blocks that are forwarder blocks.
77	Only used in cfgcleanup.c. */
78	DEF_BASIC_BLOCK_FLAG(FORWARDER_BLOCK, 10)
79
80	/* Set on blocks that cannot be threaded through.
81	Only used in cfgcleanup.c. */
82	DEF_BASIC_BLOCK_FLAG(NONTHREADABLE_BLOCK, 11)
83
84	/* Set on blocks that were modified in some way. This bit is set in
85	df_set_bb_dirty, but not cleared by df_analyze, so it can be used
86	to test whether a block has been modified prior to a df_analyze call. */
87	DEF_BASIC_BLOCK_FLAG(MODIFIED, 12)
88
89	/* A general visited flag for passes to use. */
90	DEF_BASIC_BLOCK_FLAG(VISITED, 13)
91
92	/* Set on blocks that are in a transaction. This is calculated on
c4669594	93	demand, and is available after calling compute_transaction_bits(). */
a315c44c SB	94	DEF_BASIC_BLOCK_FLAG(IN_TRANSACTION, 14)
	95
	96	#endif
	97
	98	#ifdef DEF_EDGE_FLAG
	99
	100	/* Masks for edge.flags.
	101
	102	The format of this file is: DEF_EDGE_FLAG(NAME, IDX, STRING).
	103	NAME is the name of the edge flag. A flag EDGE_#NAME will be
	104	created and the name is used in dump_edge_info.
	105	IDX is a sequence number that is used to determine the value
	106	of the flag, which is 1 << IDX). */
	107
	108	/* 'Straight line' flow. In GIMPLE and in cfglayout mode, all normal
	109	edges are fallthru edges. In cfgrtl mode, this flag really means
	110	that control flow falls through to the next basic block in the line. */
	111	DEF_EDGE_FLAG(FALLTHRU, 0)
	112
	113	/* Strange flow, like a computed jump or exception handling. Usually
	114	this means that the edge cannot be split. */
	115	DEF_EDGE_FLAG(ABNORMAL, 1)
	116
	117	/* Edge out of a basic block that ends with a CALL_INSN with abnormal
	118	exit, like an exception, or a sibcall.
	119	This flag is only used for the RTL CFG. */
	120	DEF_EDGE_FLAG(ABNORMAL_CALL, 2)
	121
	122	/* Exception edge. Exception handling edges represent possible control
	123	transfers from a trapping instruction to an exception handler. EH
	124	edges also have EDGE_ABNORMAL set. */
	125	DEF_EDGE_FLAG(EH, 3)
	126
	127	/* Never merge blocks via this edge. This is used for exception handling,
	128	to prevent merging away edges to the post-landing-pad basic block.
	129	This flag is only used for the RTL CFG. */
	130	DEF_EDGE_FLAG(PRESERVE, 4)
	131
	132	/* Not a real edge. This is used to connect parts of the CFG that do
	133	not halt, such as infinite loops and noreturn functions, to the
	134	EXIT_BLOCK, so that traversing of the reverse CFG is possible. */
	135	DEF_EDGE_FLAG(FAKE, 5)
	136
	137	/* A back edge, marked in a depth-first search of the CFG. Back edges
	138	are hints that this edge may be part of a loop in the CFG. */
	139	DEF_EDGE_FLAG(DFS_BACK, 6)
	140
	141	/* Edge in a part of the CFG that is an irreducible loop. */
	142	DEF_EDGE_FLAG(IRREDUCIBLE_LOOP, 7)
	143
	144	/* Edge taken when controlling predicate is nonzero.
	145	This is only used for the GIMPLE CFG. */
	146	DEF_EDGE_FLAG(TRUE_VALUE, 8)
	147
	148	/* Edge taken when controlling predicate is zero.
	149	This is only used for the GIMPLE CFG. */
	150	DEF_EDGE_FLAG(FALSE_VALUE, 9)
	151
	152	/* Edge is executable. This is only used in GIMPLE SSA-CCP and VRP.
	153	This is only used for the GIMPLE CFG. */
	154	DEF_EDGE_FLAG(EXECUTABLE, 10)
	155
	156	/* Edge crosses between hot and cold sections, when we do partitioning.
	157	This flag is only used for the RTL CFG. */
158	DEF_EDGE_FLAG(CROSSING, 11)
159
160	/* Edge from a sibcall CALL_INSN to exit.
161	This flag is only used for the RTL CFG. */
162	DEF_EDGE_FLAG(SIBCALL, 12)
163
164	/* Candidate for straight line flow. Only used in bb-reorder.c.
165	This flag is only used for the RTL CFG. */
166	DEF_EDGE_FLAG(CAN_FALLTHRU, 13)
167
168	/* Exit of a loop. This is only used in ifcvt.c.
169	This flag is only used for the RTL CFG. */
170	DEF_EDGE_FLAG(LOOP_EXIT, 14)
171
172	#endif
173
174	/*
175	Local variables:
176	mode:c
177	End:
178	*/