]> gcc.gnu.org Git - gcc.git/blame - gcc/basic-block.h
Daily bump.
[gcc.git] / gcc / basic-block.h
CommitLineData
7a8cba34 1/* Define control flow data structures for the CFG.
7adcbafe 2 Copyright (C) 1987-2022 Free Software Foundation, Inc.
3245eea0 3
1322177d 4This file is part of GCC.
3245eea0 5
1322177d
LB
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
9dcd6f09 8Software Foundation; either version 3, or (at your option) any later
1322177d 9version.
3245eea0 10
1322177d
LB
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
3245eea0
CH
15
16You should have received a copy of the GNU General Public License
9dcd6f09
NC
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
3245eea0 19
88657302 20#ifndef GCC_BASIC_BLOCK_H
7f8a2125 21#define GCC_BASIC_BLOCK_H
3245eea0 22
3995f3a2 23#include <profile-count.h>
b2aec5c0 24
e881bb1b 25/* Control flow edge information. */
6c1dae73
MS
26class GTY((user)) edge_def {
27public:
e881bb1b 28 /* The two blocks at the ends of the edge. */
b8244d74
SB
29 basic_block src;
30 basic_block dest;
e881bb1b
RH
31
32 /* Instructions queued on the edge. */
6de9cd9a 33 union edge_def_insns {
0823efed 34 gimple_seq g;
3ffa95c2 35 rtx_insn *r;
0823efed 36 } insns;
e881bb1b
RH
37
38 /* Auxiliary info specific to a pass. */
0823efed 39 PTR aux;
3245eea0 40
5368224f 41 /* Location of any goto implicit in the edge. */
2d593c86 42 location_t goto_locus;
62b857ea 43
2eac9a76
RG
44 /* The index number corresponding to this edge in the edge vector
45 dest->preds. */
46 unsigned int dest_idx;
47
a315c44c 48 int flags; /* see cfg-flags.def */
357067f2 49 profile_probability probability;
ef30ab83
JH
50
51 /* Return count of edge E. */
52 inline profile_count count () const;
6de9cd9a
DN
53};
54
a315c44c
SB
55/* Masks for edge.flags. */
56#define DEF_EDGE_FLAG(NAME,IDX) EDGE_##NAME = 1 << IDX ,
57enum cfg_edge_flags {
58#include "cfg-flags.def"
59 LAST_CFG_EDGE_FLAG /* this is only used for EDGE_ALL_FLAGS */
60};
61#undef DEF_EDGE_FLAG
62
63/* Bit mask for all edge flags. */
64#define EDGE_ALL_FLAGS ((LAST_CFG_EDGE_FLAG - 1) * 2 - 1)
3245eea0 65
a315c44c
SB
66/* The following four flags all indicate something special about an edge.
67 Test the edge flags on EDGE_COMPLEX to detect all forms of "strange"
68 control flow transfers. */
0be7e7a6
RH
69#define EDGE_COMPLEX \
70 (EDGE_ABNORMAL | EDGE_ABNORMAL_CALL | EDGE_EH | EDGE_PRESERVE)
65b98a02 71
3e8b732e 72struct GTY(()) rtl_bb_info {
bcc708fc
MM
73 /* The first insn of the block is embedded into bb->il.x. */
74 /* The last insn of the block. */
1130d5e3 75 rtx_insn *end_;
3e8b732e
MM
76
77 /* In CFGlayout mode points to insn notes/jumptables to be placed just before
78 and after the block. */
1130d5e3 79 rtx_insn *header_;
d8ce2eae 80 rtx_insn *footer_;
3e8b732e
MM
81};
82
83struct GTY(()) gimple_bb_info {
84 /* Sequence of statements in this block. */
85 gimple_seq seq;
86
87 /* PHI nodes for this block. */
88 gimple_seq phi_nodes;
89};
4aab792d 90
229ecb89 91/* A basic block is a sequence of instructions with only one entry and
e68e3108
MM
92 only one exit. If any one of the instructions are executed, they
93 will all be executed, and in sequence from first to last.
94
95 There may be COND_EXEC instructions in the basic block. The
96 COND_EXEC *instructions* will be executed -- but if the condition
97 is false the conditionally executed *expressions* will of course
98 not be executed. We don't consider the conditionally executed
99 expression (which might have side-effects) to be in a separate
100 basic block because the program counter will always be at the same
101 location after the COND_EXEC instruction, regardless of whether the
102 condition is true or not.
103
104 Basic blocks need not start with a label nor end with a jump insn.
b53978a3
JO
105 For example, a previous basic block may just "conditionally fall"
106 into the succeeding basic block, and the last basic block need not
107 end with a jump insn. Block 0 is a descendant of the entry block.
108
109 A basic block beginning with two labels cannot have notes between
110 the labels.
111
112 Data for jump tables are stored in jump_insns that occur in no
113 basic block even though these insns can follow or precede insns in
114 basic blocks. */
115
e881bb1b 116/* Basic block information indexed by block number. */
d1b38208 117struct GTY((chain_next ("%h.next_bb"), chain_prev ("%h.prev_bb"))) basic_block_def {
e881bb1b 118 /* The edges into and out of the block. */
9771b263
DN
119 vec<edge, va_gc> *preds;
120 vec<edge, va_gc> *succs;
4d1d8045 121
e881bb1b 122 /* Auxiliary info specific to a pass. */
6de9cd9a 123 PTR GTY ((skip (""))) aux;
3245eea0 124
076c7ab8 125 /* Innermost loop containing the block. */
99b1c316 126 class loop *loop_father;
076c7ab8
ZW
127
128 /* The dominance and postdominance information node. */
129 struct et_node * GTY ((skip (""))) dom[2];
336a6399 130
918ed612 131 /* Previous and next blocks in the chain. */
b8244d74
SB
132 basic_block prev_bb;
133 basic_block next_bb;
918ed612 134
5e2d947c 135 union basic_block_il_dependent {
3e8b732e 136 struct gimple_bb_info GTY ((tag ("0"))) gimple;
bcc708fc 137 struct {
1130d5e3 138 rtx_insn *head_;
bcc708fc
MM
139 struct rtl_bb_info * rtl;
140 } GTY ((tag ("1"))) x;
5e2d947c
JH
141 } GTY ((desc ("((%1.flags & BB_RTL) != 0)"))) il;
142
391886c8
RG
143 /* Various flags. See cfg-flags.def. */
144 int flags;
7f8a2125 145
076c7ab8
ZW
146 /* The index of this block. */
147 int index;
148
e53b6e56 149 /* Expected number of executions: calculated in profile.cc. */
3995f3a2 150 profile_count count;
076c7ab8 151
a315c44c
SB
152 /* The discriminator for this block. The discriminator distinguishes
153 among several basic blocks that share a common locus, allowing for
154 more accurate sample-based profiling. */
6c52e687 155 int discriminator;
6de9cd9a
DN
156};
157
3e8b732e
MM
158/* This ensures that struct gimple_bb_info is smaller than
159 struct rtl_bb_info, so that inlining the former into basic_block_def
160 is the better choice. */
161typedef int __assert_gimple_bb_smaller_rtl_bb
c3284718
RS
162 [(int) sizeof (struct rtl_bb_info)
163 - (int) sizeof (struct gimple_bb_info)];
7506e1cb 164
c71070ab 165
861f9cd0 166#define BB_FREQ_MAX 10000
e881bb1b 167
a315c44c
SB
168/* Masks for basic_block.flags. */
169#define DEF_BASIC_BLOCK_FLAG(NAME,IDX) BB_##NAME = 1 << IDX ,
170enum cfg_bb_flags
9e32d2be 171{
a315c44c
SB
172#include "cfg-flags.def"
173 LAST_CFG_BB_FLAG /* this is only used for BB_ALL_FLAGS */
9e32d2be 174};
a315c44c
SB
175#undef DEF_BASIC_BLOCK_FLAG
176
c4669594 177/* Bit mask for all basic block flags. */
a315c44c 178#define BB_ALL_FLAGS ((LAST_CFG_BB_FLAG - 1) * 2 - 1)
740ce53d 179
c4669594
SB
180/* Bit mask for all basic block flags that must be preserved. These are
181 the bit masks that are *not* cleared by clear_bb_flags. */
182#define BB_FLAGS_TO_PRESERVE \
183 (BB_DISABLE_SCHEDULE | BB_RTL | BB_NON_LOCAL_GOTO_TARGET \
184 | BB_HOT_PARTITION | BB_COLD_PARTITION)
185
a315c44c 186/* Dummy bitmask for convenience in the hot/cold partitioning code. */
076c7ab8 187#define BB_UNPARTITIONED 0
006844a3 188
750054a2
CT
189/* Partitions, to be used when partitioning hot and cold basic blocks into
190 separate sections. */
076c7ab8 191#define BB_PARTITION(bb) ((bb)->flags & (BB_HOT_PARTITION|BB_COLD_PARTITION))
51a904c9
ZW
192#define BB_SET_PARTITION(bb, part) do { \
193 basic_block bb_ = (bb); \
194 bb_->flags = ((bb_->flags & ~(BB_HOT_PARTITION|BB_COLD_PARTITION)) \
195 | (part)); \
196} while (0)
197
076c7ab8
ZW
198#define BB_COPY_PARTITION(dstbb, srcbb) \
199 BB_SET_PARTITION (dstbb, BB_PARTITION (srcbb))
750054a2 200
997de8ed 201/* Defines for accessing the fields of the CFG structure for function FN. */
fefa31b5
DM
202#define ENTRY_BLOCK_PTR_FOR_FN(FN) ((FN)->cfg->x_entry_block_ptr)
203#define EXIT_BLOCK_PTR_FOR_FN(FN) ((FN)->cfg->x_exit_block_ptr)
bbd79259 204#define basic_block_info_for_fn(FN) ((FN)->cfg->x_basic_block_info)
0cae8d31 205#define n_basic_blocks_for_fn(FN) ((FN)->cfg->x_n_basic_blocks)
dc936fb2 206#define n_edges_for_fn(FN) ((FN)->cfg->x_n_edges)
3986e690 207#define last_basic_block_for_fn(FN) ((FN)->cfg->x_last_basic_block)
3e248e06 208#define label_to_block_map_for_fn(FN) ((FN)->cfg->x_label_to_block_map)
ea19eb9f 209#define profile_status_for_fn(FN) ((FN)->cfg->x_profile_status)
997de8ed 210
bbd79259
DM
211#define BASIC_BLOCK_FOR_FN(FN,N) \
212 ((*basic_block_info_for_fn (FN))[(N)])
213#define SET_BASIC_BLOCK_FOR_FN(FN,N,BB) \
214 ((*basic_block_info_for_fn (FN))[(N)] = (BB))
997de8ed 215
918ed612
ZD
216/* For iterating over basic blocks. */
217#define FOR_BB_BETWEEN(BB, FROM, TO, DIR) \
218 for (BB = FROM; BB != TO; BB = BB->DIR)
219
997de8ed
SB
220#define FOR_EACH_BB_FN(BB, FN) \
221 FOR_BB_BETWEEN (BB, (FN)->cfg->x_entry_block_ptr->next_bb, (FN)->cfg->x_exit_block_ptr, next_bb)
222
997de8ed
SB
223#define FOR_EACH_BB_REVERSE_FN(BB, FN) \
224 FOR_BB_BETWEEN (BB, (FN)->cfg->x_exit_block_ptr->prev_bb, (FN)->cfg->x_entry_block_ptr, prev_bb)
225
50654f6c
ZD
226/* For iterating over insns in basic block. */
227#define FOR_BB_INSNS(BB, INSN) \
228 for ((INSN) = BB_HEAD (BB); \
24bd1a0b 229 (INSN) && (INSN) != NEXT_INSN (BB_END (BB)); \
50654f6c
ZD
230 (INSN) = NEXT_INSN (INSN))
231
6fb5fa3c
DB
232/* For iterating over insns in basic block when we might remove the
233 current insn. */
234#define FOR_BB_INSNS_SAFE(BB, INSN, CURR) \
235 for ((INSN) = BB_HEAD (BB), (CURR) = (INSN) ? NEXT_INSN ((INSN)): NULL; \
236 (INSN) && (INSN) != NEXT_INSN (BB_END (BB)); \
237 (INSN) = (CURR), (CURR) = (INSN) ? NEXT_INSN ((INSN)) : NULL)
b8698a0f 238
50654f6c
ZD
239#define FOR_BB_INSNS_REVERSE(BB, INSN) \
240 for ((INSN) = BB_END (BB); \
24bd1a0b 241 (INSN) && (INSN) != PREV_INSN (BB_HEAD (BB)); \
50654f6c
ZD
242 (INSN) = PREV_INSN (INSN))
243
6fb5fa3c
DB
244#define FOR_BB_INSNS_REVERSE_SAFE(BB, INSN, CURR) \
245 for ((INSN) = BB_END (BB),(CURR) = (INSN) ? PREV_INSN ((INSN)) : NULL; \
246 (INSN) && (INSN) != PREV_INSN (BB_HEAD (BB)); \
247 (INSN) = (CURR), (CURR) = (INSN) ? PREV_INSN ((INSN)) : NULL)
248
ed8d2920
MM
249/* Cycles through _all_ basic blocks, even the fake ones (entry and
250 exit block). */
251
a930a4ef 252#define FOR_ALL_BB_FN(BB, FN) \
fefa31b5 253 for (BB = ENTRY_BLOCK_PTR_FOR_FN (FN); BB; BB = BB->next_bb)
a930a4ef 254
5ece9746
JL
255\f
256/* Stuff for recording basic block info. */
257
ef0fe503
DM
258/* For now, these will be functions (so that they can include checked casts
259 to rtx_insn. Once the underlying fields are converted from rtx
260 to rtx_insn, these can be converted back to macros. */
261
1130d5e3
DM
262#define BB_HEAD(B) (B)->il.x.head_
263#define BB_END(B) (B)->il.x.rtl->end_
264#define BB_HEADER(B) (B)->il.x.rtl->header_
d8ce2eae 265#define BB_FOOTER(B) (B)->il.x.rtl->footer_
2b1d9dc0 266
95bca6b0
BRF
267/* Special block numbers [markers] for entry and exit.
268 Neither of them is supposed to hold actual statements. */
24bd1a0b
DB
269#define ENTRY_BLOCK (0)
270#define EXIT_BLOCK (1)
271
272/* The two blocks that are always in the cfg. */
273#define NUM_FIXED_BLOCKS (2)
5ece9746 274
410538ea
AM
275/* This is the value which indicates no edge is present. */
276#define EDGE_INDEX_NO_EDGE -1
277
278/* EDGE_INDEX returns an integer index for an edge, or EDGE_INDEX_NO_EDGE
279 if there is no edge between the 2 basic blocks. */
280#define EDGE_INDEX(el, pred, succ) (find_edge_index ((el), (pred), (succ)))
281
282/* INDEX_EDGE_PRED_BB and INDEX_EDGE_SUCC_BB return a pointer to the basic
283 block which is either the pred or succ end of the indexed edge. */
284#define INDEX_EDGE_PRED_BB(el, index) ((el)->index_to_edge[(index)]->src)
285#define INDEX_EDGE_SUCC_BB(el, index) ((el)->index_to_edge[(index)]->dest)
286
287/* INDEX_EDGE returns a pointer to the edge. */
288#define INDEX_EDGE(el, index) ((el)->index_to_edge[(index)])
289
290/* Number of edges in the compressed edge list. */
291#define NUM_EDGES(el) ((el)->num_edges)
292
7a442791 293/* BB is assumed to contain conditional jump. Return the fallthru edge. */
628f6a4e
BE
294#define FALLTHRU_EDGE(bb) (EDGE_SUCC ((bb), 0)->flags & EDGE_FALLTHRU \
295 ? EDGE_SUCC ((bb), 0) : EDGE_SUCC ((bb), 1))
7a442791
JH
296
297/* BB is assumed to contain conditional jump. Return the branch edge. */
628f6a4e
BE
298#define BRANCH_EDGE(bb) (EDGE_SUCC ((bb), 0)->flags & EDGE_FALLTHRU \
299 ? EDGE_SUCC ((bb), 1) : EDGE_SUCC ((bb), 0))
7a442791 300
134d3a2e 301/* Return expected execution frequency of the edge E. */
e7a74006 302#define EDGE_FREQUENCY(e) e->count ().to_frequency (cfun)
134d3a2e 303
8ddb5a29 304/* Compute a scale factor (or probability) suitable for scaling of
f41f80f9 305 gcov_type values via apply_probability() and apply_scale(). */
8ddb5a29
TJ
306#define GCOV_COMPUTE_SCALE(num,den) \
307 ((den) ? RDIV ((num) * REG_BR_PROB_BASE, (den)) : REG_BR_PROB_BASE)
308
4262e623 309/* Return nonzero if edge is critical. */
628f6a4e
BE
310#define EDGE_CRITICAL_P(e) (EDGE_COUNT ((e)->src->succs) >= 2 \
311 && EDGE_COUNT ((e)->dest->preds) >= 2)
312
9771b263
DN
313#define EDGE_COUNT(ev) vec_safe_length (ev)
314#define EDGE_I(ev,i) (*ev)[(i)]
315#define EDGE_PRED(bb,i) (*(bb)->preds)[(i)]
316#define EDGE_SUCC(bb,i) (*(bb)->succs)[(i)]
628f6a4e 317
c5cbcccf
ZD
318/* Returns true if BB has precisely one successor. */
319
320static inline bool
ed7a4b4b 321single_succ_p (const_basic_block bb)
c5cbcccf
ZD
322{
323 return EDGE_COUNT (bb->succs) == 1;
324}
325
326/* Returns true if BB has precisely one predecessor. */
327
328static inline bool
ed7a4b4b 329single_pred_p (const_basic_block bb)
c5cbcccf
ZD
330{
331 return EDGE_COUNT (bb->preds) == 1;
332}
333
81b29e2f
ZD
334/* Returns the single successor edge of basic block BB. Aborts if
335 BB does not have exactly one successor. */
c5cbcccf
ZD
336
337static inline edge
ed7a4b4b 338single_succ_edge (const_basic_block bb)
c5cbcccf 339{
77a74ed7 340 gcc_checking_assert (single_succ_p (bb));
c5cbcccf
ZD
341 return EDGE_SUCC (bb, 0);
342}
343
81b29e2f
ZD
344/* Returns the single predecessor edge of basic block BB. Aborts
345 if BB does not have exactly one predecessor. */
c5cbcccf
ZD
346
347static inline edge
ed7a4b4b 348single_pred_edge (const_basic_block bb)
c5cbcccf 349{
77a74ed7 350 gcc_checking_assert (single_pred_p (bb));
c5cbcccf
ZD
351 return EDGE_PRED (bb, 0);
352}
353
81b29e2f
ZD
354/* Returns the single successor block of basic block BB. Aborts
355 if BB does not have exactly one successor. */
c5cbcccf
ZD
356
357static inline basic_block
ed7a4b4b 358single_succ (const_basic_block bb)
c5cbcccf
ZD
359{
360 return single_succ_edge (bb)->dest;
361}
362
81b29e2f
ZD
363/* Returns the single predecessor block of basic block BB. Aborts
364 if BB does not have exactly one predecessor.*/
c5cbcccf
ZD
365
366static inline basic_block
ed7a4b4b 367single_pred (const_basic_block bb)
c5cbcccf
ZD
368{
369 return single_pred_edge (bb)->src;
370}
371
628f6a4e
BE
372/* Iterator object for edges. */
373
84562394 374struct edge_iterator {
628f6a4e 375 unsigned index;
9771b263 376 vec<edge, va_gc> **container;
84562394 377};
628f6a4e 378
9771b263 379static inline vec<edge, va_gc> *
f76ccf60
BE
380ei_container (edge_iterator i)
381{
77a74ed7 382 gcc_checking_assert (i.container);
f76ccf60
BE
383 return *i.container;
384}
385
386#define ei_start(iter) ei_start_1 (&(iter))
387#define ei_last(iter) ei_last_1 (&(iter))
388
628f6a4e
BE
389/* Return an iterator pointing to the start of an edge vector. */
390static inline edge_iterator
9771b263 391ei_start_1 (vec<edge, va_gc> **ev)
628f6a4e
BE
392{
393 edge_iterator i;
394
395 i.index = 0;
396 i.container = ev;
397
398 return i;
399}
400
401/* Return an iterator pointing to the last element of an edge
471854f8 402 vector. */
628f6a4e 403static inline edge_iterator
9771b263 404ei_last_1 (vec<edge, va_gc> **ev)
628f6a4e
BE
405{
406 edge_iterator i;
407
f76ccf60 408 i.index = EDGE_COUNT (*ev) - 1;
628f6a4e
BE
409 i.container = ev;
410
411 return i;
412}
413
414/* Is the iterator `i' at the end of the sequence? */
415static inline bool
416ei_end_p (edge_iterator i)
417{
f76ccf60 418 return (i.index == EDGE_COUNT (ei_container (i)));
628f6a4e
BE
419}
420
421/* Is the iterator `i' at one position before the end of the
422 sequence? */
423static inline bool
424ei_one_before_end_p (edge_iterator i)
425{
f76ccf60 426 return (i.index + 1 == EDGE_COUNT (ei_container (i)));
628f6a4e
BE
427}
428
429/* Advance the iterator to the next element. */
430static inline void
431ei_next (edge_iterator *i)
432{
77a74ed7 433 gcc_checking_assert (i->index < EDGE_COUNT (ei_container (*i)));
628f6a4e
BE
434 i->index++;
435}
436
437/* Move the iterator to the previous element. */
438static inline void
439ei_prev (edge_iterator *i)
440{
77a74ed7 441 gcc_checking_assert (i->index > 0);
628f6a4e
BE
442 i->index--;
443}
444
445/* Return the edge pointed to by the iterator `i'. */
446static inline edge
447ei_edge (edge_iterator i)
448{
f76ccf60 449 return EDGE_I (ei_container (i), i.index);
628f6a4e
BE
450}
451
452/* Return an edge pointed to by the iterator. Do it safely so that
453 NULL is returned when the iterator is pointing at the end of the
454 sequence. */
455static inline edge
456ei_safe_edge (edge_iterator i)
457{
458 return !ei_end_p (i) ? ei_edge (i) : NULL;
459}
460
f3522a84
KH
461/* Return 1 if we should continue to iterate. Return 0 otherwise.
462 *Edge P is set to the next edge if we are to continue to iterate
463 and NULL otherwise. */
464
465static inline bool
466ei_cond (edge_iterator ei, edge *p)
467{
468 if (!ei_end_p (ei))
469 {
470 *p = ei_edge (ei);
471 return 1;
472 }
473 else
474 {
475 *p = NULL;
476 return 0;
477 }
478}
479
628f6a4e 480/* This macro serves as a convenient way to iterate each edge in a
c2b7c2d8 481 vector of predecessor or successor edges. It must not be used when
628f6a4e
BE
482 an element might be removed during the traversal, otherwise
483 elements will be missed. Instead, use a for-loop like that shown
484 in the following pseudo-code:
c22cacf3 485
628f6a4e
BE
486 FOR (ei = ei_start (bb->succs); (e = ei_safe_edge (ei)); )
487 {
488 IF (e != taken_edge)
d0d2cc21 489 remove_edge (e);
628f6a4e
BE
490 ELSE
491 ei_next (&ei);
492 }
493*/
494
f3522a84
KH
495#define FOR_EACH_EDGE(EDGE,ITER,EDGE_VEC) \
496 for ((ITER) = ei_start ((EDGE_VEC)); \
497 ei_cond ((ITER), &(EDGE)); \
628f6a4e 498 ei_next (&(ITER)))
4262e623 499
e0bb17a8 500#define CLEANUP_EXPENSIVE 1 /* Do relatively expensive optimizations
46fac664
JH
501 except for edge forwarding */
502#define CLEANUP_CROSSJUMP 2 /* Do crossjumping. */
503#define CLEANUP_POST_REGSTACK 4 /* We run after reg-stack and need
504 to care REG_DEAD notes. */
6fb5fa3c
DB
505#define CLEANUP_THREADING 8 /* Do jump threading. */
506#define CLEANUP_NO_INSN_DEL 16 /* Do not try to delete trivially dead
95479831 507 insns. */
6fb5fa3c 508#define CLEANUP_CFGLAYOUT 32 /* Do cleanup in cfglayout mode. */
7d776ee2 509#define CLEANUP_CFG_CHANGED 64 /* The caller changed the CFG. */
3ff0dc17 510#define CLEANUP_NO_PARTITIONING 128 /* Do not try to fix partitions. */
f1f10541
RS
511#define CLEANUP_FORCE_FAST_DCE 0x100 /* Force run_fast_dce to be called
512 at least once. */
6ce2bcb7 513
7783daa7
AM
514/* Return true if BB is in a transaction. */
515
516static inline bool
517bb_in_transaction (basic_block bb)
518{
519 return bb->flags & BB_IN_TRANSACTION;
520}
521
f66fd328 522/* Return true when one of the predecessor edges of BB is marked with EDGE_EH. */
bae8b6b2
SB
523static inline bool
524bb_has_eh_pred (basic_block bb)
fcc42bca
AK
525{
526 edge e;
527 edge_iterator ei;
528
529 FOR_EACH_EDGE (e, ei, bb->preds)
530 {
531 if (e->flags & EDGE_EH)
532 return true;
533 }
534 return false;
535}
536
ba49cb7b
KZ
537/* Return true when one of the predecessor edges of BB is marked with EDGE_ABNORMAL. */
538static inline bool
539bb_has_abnormal_pred (basic_block bb)
540{
541 edge e;
542 edge_iterator ei;
543
544 FOR_EACH_EDGE (e, ei, bb->preds)
545 {
546 if (e->flags & EDGE_ABNORMAL)
547 return true;
548 }
549 return false;
550}
551
0fd4b31d
NF
552/* Return the fallthru edge in EDGES if it exists, NULL otherwise. */
553static inline edge
9771b263 554find_fallthru_edge (vec<edge, va_gc> *edges)
0fd4b31d
NF
555{
556 edge e;
557 edge_iterator ei;
558
559 FOR_EACH_EDGE (e, ei, edges)
560 if (e->flags & EDGE_FALLTHRU)
561 break;
562
563 return e;
564}
565
e78410bf
JH
566/* Check tha probability is sane. */
567
568static inline void
569check_probability (int prob)
570{
571 gcc_checking_assert (prob >= 0 && prob <= REG_BR_PROB_BASE);
572}
573
574/* Given PROB1 and PROB2, return PROB1*PROB2/REG_BR_PROB_BASE.
575 Used to combine BB probabilities. */
576
577static inline int
578combine_probabilities (int prob1, int prob2)
579{
580 check_probability (prob1);
581 check_probability (prob2);
582 return RDIV (prob1 * prob2, REG_BR_PROB_BASE);
583}
584
f41f80f9
TJ
585/* Apply scale factor SCALE on frequency or count FREQ. Use this
586 interface when potentially scaling up, so that SCALE is not
587 constrained to be < REG_BR_PROB_BASE. */
588
589static inline gcov_type
b9cbfeeb 590apply_scale (gcov_type freq, gcov_type scale)
f41f80f9
TJ
591{
592 return RDIV (freq * scale, REG_BR_PROB_BASE);
593}
594
e78410bf
JH
595/* Apply probability PROB on frequency or count FREQ. */
596
597static inline gcov_type
598apply_probability (gcov_type freq, int prob)
599{
600 check_probability (prob);
f41f80f9 601 return apply_scale (freq, prob);
e78410bf
JH
602}
603
604/* Return inverse probability for PROB. */
605
606static inline int
607inverse_probability (int prob1)
608{
609 check_probability (prob1);
610 return REG_BR_PROB_BASE - prob1;
611}
5e94175f
JL
612
613/* Return true if BB has at least one abnormal outgoing edge. */
614
615static inline bool
6efe83b2 616has_abnormal_or_eh_outgoing_edge_p (basic_block bb)
5e94175f
JL
617{
618 edge e;
619 edge_iterator ei;
620
621 FOR_EACH_EDGE (e, ei, bb->succs)
6efe83b2 622 if (e->flags & (EDGE_ABNORMAL | EDGE_EH))
5e94175f
JL
623 return true;
624
625 return false;
626}
f1544089
MP
627
628/* Return true when one of the predecessor edges of BB is marked with
629 EDGE_ABNORMAL_CALL or EDGE_EH. */
630
631static inline bool
632has_abnormal_call_or_eh_pred_edge_p (basic_block bb)
633{
634 edge e;
635 edge_iterator ei;
636
637 FOR_EACH_EDGE (e, ei, bb->preds)
638 if (e->flags & (EDGE_ABNORMAL_CALL | EDGE_EH))
639 return true;
640
641 return false;
642}
643
ef30ab83
JH
644/* Return count of edge E. */
645inline profile_count edge_def::count () const
646{
647 return src->count.apply_probability (probability);
648}
649
88657302 650#endif /* GCC_BASIC_BLOCK_H */
This page took 4.96952 seconds and 5 git commands to generate.