Futhark.Pass

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

Documentation

data PassM a

The monad in which passes execute.

Instances

Monad PassM

Defined in Futhark.Pass

Methods

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

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

return :: a -> PassM a

Functor PassM

Defined in Futhark.Pass

Methods

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

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

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

MonadLogger PassM

Defined in Futhark.Pass

Methods

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

addLog :: Log -> PassM ()

MonadFreshNames PassM

Defined in Futhark.Pass

Methods

getNameSource :: PassM VNameSource

putNameSource :: VNameSource -> PassM ()

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

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

liftEither :: Show err => Either err a -> PassM a

Turn an Either computation into a PassM. If the Either is Left, the result is a CompilerBug.

liftEitherM :: Show err => PassM (Either err a) -> PassM a

Turn an Either monadic computation into a PassM. If the Either is Left, the result is an exception.

data Pass fromlore tolore

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

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 text.

• passFunction :: Prog fromlore -> PassM (Prog tolore)

passLongOption :: Pass fromlore tolore -> 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 lore -> Stms lore -> PassM (Stms lore)) -> Prog lore -> PassM (Prog lore)

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

intraproceduralTransformationWithConsts :: (Stms fromlore -> PassM (Stms tolore)) -> (Stms tolore -> FunDef fromlore -> PassM (FunDef tolore)) -> Prog fromlore -> PassM (Prog tolore)

Apply some operation to the top-level constants. Then applies an operation to all the function 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.