avail/avail.optimizer/L2ControlFlowGraph

L2ControlFlowGraph

class L2ControlFlowGraph

This is a control graph. The vertices are L2BasicBlocks, which are connected via their successor and predecessor lists.

Author

Mark van Gulik

Constructors

L2ControlFlowGraph

fun L2ControlFlowGraph()

Types

StateFlag

abstract class StateFlag

Flags that indicate the current state of the graph.

Zone

class Zone

L2BasicBlocks can be grouped into zones for better visualization of the control flow graph by the L2ControlFlowGraphVisualizer. This class is instantiated from the ZoneType.createZone factory method.

ZoneType

enum ZoneType : Enum<L2ControlFlowGraph.ZoneType>

A categorization of kinds of Zones that will be shown as subgraphs (clusters) by the L2ControlFlowGraphVisualizer.

Functions

allRegisters

fun allRegisters(): List<L2Register>

Collect the list of all distinct L2Registers assigned anywhere within this control flow graph.

check

fun check(flags: Collection<KClass<out L2ControlFlowGraph.StateFlag>>)

Assert that each of the specified StateFlags has been set.

checkNot

fun checkNot(flags: Collection<KClass<out L2ControlFlowGraph.StateFlag>>)

Assert that each of the specified StateFlags has been cleared.

clear

fun clear(flags: Collection<KClass<out L2ControlFlowGraph.StateFlag>>)

Clear each of the specified StateFlags.

evacuateTo

fun evacuateTo(destinationControlFlowGraph: L2ControlFlowGraph)

Remove all L2BasicBlocks, moving them to another L2ControlFlowGraph that is initially empty.

generateOn

fun generateOn(instructions: MutableList<L2Instruction>)

Produce the final list of instructions. Should only be called after all optimizations have been performed.

set

fun set(flags: Collection<KClass<out L2ControlFlowGraph.StateFlag>>)

Set each of the specified StateFlags.

simplyVisualize

fun simplyVisualize(): String

Answer a visualization of this L2ControlFlowGraph. This is a debug method, intended to be called via evaluation during debugging.

startBlock

fun startBlock(block: L2BasicBlock)

Begin code generation in the given block.

toString

open override fun toString(): String

visualize

fun visualize(): String

Answer a visualization of this L2ControlFlowGraph. This is a debug method, intended to be called via evaluation during debugging.

Properties

basicBlockOrder

val basicBlockOrder: MutableList<L2BasicBlock>

The basic blocks of the graph. They're either in the order they were generated, or in a suitable order for final L2 instruction emission.

state

val state: MutableSet<KClass<out L2ControlFlowGraph.StateFlag>>

The current state of the graph. New control flow graphs are expected to be in SSA form.