Futhark.Pass

Definition of a polymorphic (generic) pass that can work with programs of any rep.

Documentation

data PassM a

The monad in which passes execute.

Instances

Applicative PassM

Defined in Futhark.Pass

Methods

pure :: a -> PassM a

(<*>) :: PassM (a -> b) -> PassM a -> PassM b

liftA2 :: (a -> b -> c) -> PassM a -> PassM b -> PassM c

(*>) :: PassM a -> PassM b -> PassM b

(<*) :: PassM a -> PassM b -> PassM a

Functor PassM

Defined in Futhark.Pass

Methods

fmap :: (a -> b) -> PassM a -> PassM b

(<$) :: a -> PassM b -> PassM a

Monad PassM

Defined in Futhark.Pass

Methods

(>>=) :: PassM a -> (a -> PassM b) -> PassM b

(>>) :: PassM a -> PassM b -> PassM b

return :: a -> PassM a

MonadFreshNames PassM

Defined in Futhark.Pass

Methods

getNameSource :: PassM VNameSource

putNameSource :: VNameSource -> PassM ()

MonadLogger PassM

Defined in Futhark.Pass

Methods

logMsg :: ToLog a => a -> PassM ()

addLog :: Log -> PassM ()

runPassM :: MonadFreshNames m => PassM a -> m (a, Log)

Execute a PassM action, yielding logging information and either an error pretty or a result.

data Pass fromrep torep

A compiler pass transforming a Prog of a given rep to a Prog of another rep.

Constructors

Pass

Fields

• passName :: String

  Name of the pass. Keep this short and simple. It will be used to automatically generate a command-line option name via passLongOption.

• passDescription :: String

  A slightly longer description, which will show up in the command-line --help option.

• passFunction :: Prog fromrep -> PassM (Prog torep)

passLongOption :: Pass fromrep torep -> String

Take the name of the pass, turn spaces into dashes, and make all characters lowercase.

parPass :: (a -> PassM b) -> [a] -> PassM [b]

Apply a PassM operation in parallel to multiple elements, joining together the name sources and logs, and propagating any error properly.

intraproceduralTransformation :: (Scope rep -> Stms rep -> PassM (Stms rep)) -> Prog rep -> PassM (Prog rep)

Like intraproceduralTransformationWithConsts, but do not change the top-level constants, and simply pass along their Scope.

intraproceduralTransformationWithConsts :: (Stms fromrep -> PassM (Stms torep)) -> (Stms torep -> FunDef fromrep -> PassM (FunDef torep)) -> Prog fromrep -> PassM (Prog torep)

Apply some operation to the top-level constants. Then applies an operation to all the function definitions, which are also given the transformed constants so they can be brought into scope. The function definition transformations are run in parallel (with parPass), since they cannot affect each other.