cfg


Vocabulary
compiler.cfg

Class description
Call flow graph. It has the following slots:
entryRoot basic-block of the graph.
wordThe word the cfg is produced from.
post-orderThe blocks of the cfg in a post order traversal sequence.
stack-framestack-frame of the cfg.
frame-pointer?Whether the cfg needs a frame pointer. Only cfgs generated for #alien-callback nodes does need it. If the slot is t, then the frame pointer register (RBP on x86.64 archs) will not be clobbered by register allocation. See compiler.cfg.linear-scan for details.


See also
<cfg>, post-order

Definition

TUPLE: cfg
{ entry basic-block initial: T{ basic-block } } word label
stack-frame frame-pointer? post-order linear-order
predecessors-valid? dominance-valid? loops-valid? ;