ControlFlow.CFG.Conversion

Definitions

Simplify : Vertex a -> Vertex a

Visibility: public export

Unsimplify : Vertex a -> Vertex a

Visibility: public export

simplify : CFG vertex (Defined ins) (Defined outs) -> CFG (Simplify vertex) ins outs

  Convert a control-flow graph (`CFG.CFG`) with defined inputs and outputs
  into a simplified control-flow graph (`CFG.Simple.CFG`)

Visibility: export

unsimplify : CFG vertex ins outs -> CFG (Unsimplify vertex) (Defined ins) (Defined outs)

  Convert a simplified control-flow graph (`CFG.Simple.CFG`) into an
  "unsimplified" control-flow graph (`CFG.CFG`) with defined inputs and
  outputs

Visibility: export