@@ -55,46 +55,46 @@ is branched to). They may have multiple predecessors, phis, etc...
55
55
Key Terminology
56
56
===============
57
57
58
- Header Block - The basic block which dominates all other blocks
58
+ ** Header Block ** - The basic block which dominates all other blocks
59
59
contained within the loop. As such, it is the first one executed if
60
60
the loop executes at all. Note that a block can be the header of
61
61
two separate loops at the same time, but only if one is a sub-loop
62
62
of the other.
63
63
64
- Exiting Block - A basic block contained within a given loop which has
64
+ ** Exiting Block ** - A basic block contained within a given loop which has
65
65
at least one successor outside of the loop and one successor inside the
66
66
loop. (The latter is a consequence of the block being contained within
67
67
an SCC which is part of the loop.) That is, it has a successor which
68
68
is an Exit Block.
69
69
70
- Exit Block - A basic block outside of the associated loop which has a
70
+ ** Exit Block ** - A basic block outside of the associated loop which has a
71
71
predecessor inside the loop. That is, it has a predecessor which is
72
72
an Exiting Block.
73
73
74
- Latch Block - A basic block within the loop whose successors include
74
+ ** Latch Block ** - A basic block within the loop whose successors include
75
75
the header block of the loop. Thus, a latch is a source of backedge.
76
76
A loop may have multiple latch blocks. A latch block may be either
77
77
conditional or unconditional.
78
78
79
- Backedge(s) - The edge(s) in the CFG from latch blocks to the header
79
+ ** Backedge(s) ** - The edge(s) in the CFG from latch blocks to the header
80
80
block. Note that there can be multiple such edges, and even multiple
81
81
such edges leaving a single latch block.
82
82
83
- Loop Predecessor - The predecessor blocks of the loop header which
83
+ ** Loop Predecessor ** - The predecessor blocks of the loop header which
84
84
are not contained by the loop itself. These are the only blocks
85
85
through which execution can enter the loop. When used in the
86
86
singular form implies that there is only one such unique block.
87
87
88
- Preheader Block - A preheader is a (singular) loop predecessor which
88
+ ** Preheader Block ** - A preheader is a (singular) loop predecessor which
89
89
ends in an unconditional transfer of control to the loop header. Note
90
90
that not all loops have such blocks.
91
91
92
- Backedge Taken Count - The number of times the backedge will execute
92
+ ** Backedge Taken Count ** - The number of times the backedge will execute
93
93
before some interesting event happens. Commonly used without
94
94
qualification of the event as a shorthand for when some exiting block
95
95
branches to some exit block. May be zero, or not statically computable.
96
96
97
- Iteration Count - The number of times the header will execute before
97
+ ** Iteration Count ** - The number of times the header will execute before
98
98
some interesting event happens. Commonly used without qualification to
99
99
refer to the iteration count at which the loop exits. Will always be
100
100
one greater than the backedge taken count. *Warning *: Preceding
0 commit comments