DDC.Core.Transform.Forward

Float let-bindings with a single use forward into their use-sites.

Documentation

data ForwardInfo

Summary of number of bindings floated.

Constructors

ForwardInfo

Fields

infoSubsts :: Int

Number of trivial v1 = v2 bindings inlined.

infoBindings :: Int

Number of bindings floated forwards.

Instances

Typeable ForwardInfo

Monoid ForwardInfo

Pretty ForwardInfo

forwardModule :: Ord n => Profile n -> Module a n -> Module a n

Float let-bindings in a module with a single use forward into their use sites.

forwardX :: Ord n => Profile n -> Exp a n -> TransformResult (Exp a n)

Float let-bindings in an expression with a single use forward into their use-sites.