Type Alias BasicBlockKind

BasicBlockKind: {
    kind: "regular";
} | {
    callees: Set<CFGIdx>;
    kind: "call";
} | {
    kind: "exit";
}

Represents the kinds of basic blocks that can be present in a control flow graph (CFG).

{
kind: "regular";
}
Represents a regular control flow node with no special control behavior.
{
callees: Set<CFGIdx>;
kind: "call";
}
Represents a node that contains function calls in its expressions. callees refers to unique indices of the callee within the CFG. Functions which definitions are not available in the current compilation unit are omitted.
{
kind: "exit";
}
Represents an exit node that effectively terminates the execution of the current control flow.