DDC.Llvm.Graph

Block Graphs

data Graph a

Llvm block graph. We use this form for transformations, as it makes it easy to find blocks and attach annotations to them.

Constructors

Graph

Fields

• graphEntry :: Label

  The entry node for the block graph.

• graphNodes :: Map Label (Node a)

  Internal nodes.

Instances

Show a => Show (Graph a)

Methods

showsPrec :: Int -> Graph a -> ShowS

show :: Graph a -> String

showList :: [Graph a] -> ShowS

data Node a

A block of instructions, and an optional annotation.

Constructors

Node

Fields

• nodeLabel :: Label

  Block label for the node.

• nodeInstrs :: Seq AnnotInstr

  Statements in this node, with meta-data annotations.

• nodeAnnot :: a

  Optional annotation on the node.

Instances

Show a => Show (Node a)

Methods

showsPrec :: Int -> Node a -> ShowS

show :: Node a -> String

showList :: [Node a] -> ShowS

Graph Utils

graphOfBlocks :: a -> [Block] -> Maybe (Graph a)

Convert a list of blocks to a block graph.

blocksOfGraph :: Graph a -> [Block]

Flatten a graph back into a list of blocks.

labelsOfGraph :: Graph a -> [Label]

Get the set of all block labels in a graph.

lookupNodeOfGraph :: Graph a -> Label -> Maybe (Node a)

Lookup a node from the graph, or Nothing if it can't be found.

modifyNodeOfGraph

Arguments

:: Label

Label of node to modify.

-> (Node a -> Node a)

Function to apply to the node.

-> Graph a

-> Graph a

Apply a function to a single node in the graoh.

mapNodesOfGraph :: (Node a -> Node b) -> Graph a -> Graph b

Apply a function to every node in the graph.

mapAnnotsOfGraph :: (a -> b) -> Graph a -> Graph b

Apply a function to every node annotation in the graph.

Node Utils

blockOfNode :: Node a -> Block

Convert a Node to Block form, dropping any annotation.

childrenOfNode :: Node a -> Set Label

Get the children of a node.