| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Sutori.TAC.ControlFlow
Description
- type PreNode = [Int]
- type FlowNode = Vector Int
- type FlowNodeKey = Int
- type FlowNodeEdges = (FlowNode, FlowNodeKey, [FlowNodeKey])
- type FlowControlGraph = (Graph, Vertex -> FlowNodeEdges, FlowNodeKey -> Maybe Vertex)
- printGraph :: Show a => (Graph, Vertex -> a, c) -> IO ()
- flowNodes :: TACTable -> FlowControlGraph -> [Vector TAC]
- flowGraph :: TACTable -> FlowControlGraph
- isJump :: TAC -> Bool
Documentation
type FlowNodeKey = Int Source #
type FlowNodeEdges = (FlowNode, FlowNodeKey, [FlowNodeKey]) Source #
type FlowControlGraph = (Graph, Vertex -> FlowNodeEdges, FlowNodeKey -> Maybe Vertex) Source #
flowGraph :: TACTable -> FlowControlGraph Source #