Compiler.Hoopl.ZipDataflowNoRG

Documentation

data FwdPass n f

Constructors

FwdPass

Fields

fp_lattice :: DataflowLattice f

fp_transfer :: FwdTransfer n f

fp_rewrite :: FwdRewrite n f

type FwdTransfer n f = forall e x. n e x -> Fact e f -> Fact x f

type FwdRewrite n f = forall e x. n e x -> Fact e f -> Maybe (FwdRes n f e x)

data FwdRes n f e x

Constructors

FwdRes (AGraph n e x) (FwdRewrite n f)

data BwdPass n f

Constructors

BwdPass

Fields

bp_lattice :: DataflowLattice f

bp_transfer :: BwdTransfer n f

bp_rewrite :: BwdRewrite n f

type BwdTransfer n f = forall e x. n e x -> Fact x f -> Fact e f

type BwdRewrite n f = forall e x. n e x -> Fact x f -> Maybe (BwdRes n f e x)

data BwdRes n f e x

Constructors

BwdRes (AGraph n e x) (BwdRewrite n f)

analyzeAndRewriteFwd :: forall n f. Edges n => FwdPass n f -> ZBody n -> FactBase f -> FuelMonad (ZBody n, FactBase f)

analyzeAndRewriteBwd :: forall n f. Edges n => BwdPass n f -> ZBody n -> FactBase f -> FuelMonad (ZBody n, FactBase f)

analyzeAndRewriteFwd' :: forall n f e x. Edges n => FwdPass n f -> ZGraph n e x -> Fact e f -> FuelMonad (ZGraph n e x, FactBase f, MaybeO x f)

if the graph being analyzed is open at the entry, there must be no other entry point, or all goes horribly wrong...

analyzeAndRewriteBwd' :: forall n f e x. Edges n => BwdPass n f -> ZGraph n e x -> Fact x f -> FuelMonad (ZGraph n e x, FactBase f, MaybeO e f)

if the graph being analyzed is open at the exit, I don't quite understand the implications of possible other exits