Compiler.Hoopl.Dataflow

Documentation

data DataflowLattice a

Constructors

DataflowLattice

Fields

fact_name :: String

fact_bot :: a

fact_extend :: a -> a -> (ChangeFlag, a)

fact_do_logging :: Bool

data ChangeFlag

Constructors

NoChange

SomeChange

changeIf :: Bool -> ChangeFlag

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)

type SimpleFwdRewrite n f = forall e x. n e x -> Fact e f -> Maybe (AGraph n e x)

noFwdRewrite :: FwdRewrite n f

thenFwdRw :: FwdRewrite n f -> FwdRewrite n f -> FwdRewrite n f

shallowFwdRw :: SimpleFwdRewrite n f -> FwdRewrite n f

deepFwdRw :: FwdRewrite n f -> 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)

type SimpleBwdRewrite n f = forall e x. n e x -> Fact x f -> Maybe (AGraph n e x)

noBwdRewrite :: BwdRewrite n f

thenBwdRw :: BwdRewrite n f -> BwdRewrite n f -> BwdRewrite n f

shallowBwdRw :: SimpleBwdRewrite n f -> BwdRewrite n f

deepBwdRw :: BwdRewrite n f -> BwdRewrite n f

type family Fact x f :: *

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

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