Module extract

Module extract 

Source
Expand description

MIR to Dataflow Graph Extraction

This module converts MIR (basic block form) to a dataflow graph representation. The extraction process:

  1. Creates channels for each MIR local variable
  2. Converts statements to Compute/Memory operators
  3. Converts terminators to control-flow operators (Steer, Stream, etc.)
  4. Detects loop patterns and generates Stream operators where beneficial

§Example

let mir = ...;  // MIR for a function
let dfg = DfgExtractor::extract(&mir);

Structs§

DfgExtractor
Extracts a dataflow graph from MIR