LLVM.IRBuilder.Monad

Documentation

newtype IRBuilderT m a

This provides a uniform API for creating instructions and inserting them into a basic block: either at the end of a BasicBlock, or at a specific location in a block.

Constructors

IRBuilderT

Fields

• unIRBuilderT :: StateT IRBuilderState m a

Instances

MonadTrans IRBuilderT

Defined in LLVM.IRBuilder.Monad

Methods

lift :: Monad m => m a -> IRBuilderT m a

MonadWriter w m => MonadWriter w (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

writer :: (a, w) -> IRBuilderT m a

tell :: w -> IRBuilderT m ()

listen :: IRBuilderT m a -> IRBuilderT m (a, w)

pass :: IRBuilderT m (a, w -> w) -> IRBuilderT m a

MonadState s m => MonadState s (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

get :: IRBuilderT m s

put :: s -> IRBuilderT m ()

state :: (s -> (a, s)) -> IRBuilderT m a

MonadReader r m => MonadReader r (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

ask :: IRBuilderT m r

local :: (r -> r) -> IRBuilderT m a -> IRBuilderT m a

reader :: (r -> a) -> IRBuilderT m a

MonadError e m => MonadError e (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

throwError :: e -> IRBuilderT m a

catchError :: IRBuilderT m a -> (e -> IRBuilderT m a) -> IRBuilderT m a

Monad m => Monad (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

(>>=) :: IRBuilderT m a -> (a -> IRBuilderT m b) -> IRBuilderT m b

(>>) :: IRBuilderT m a -> IRBuilderT m b -> IRBuilderT m b

return :: a -> IRBuilderT m a

fail :: String -> IRBuilderT m a

Functor m => Functor (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

fmap :: (a -> b) -> IRBuilderT m a -> IRBuilderT m b

(<$) :: a -> IRBuilderT m b -> IRBuilderT m a

MonadFix m => MonadFix (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

mfix :: (a -> IRBuilderT m a) -> IRBuilderT m a

MonadFail m => MonadFail (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

fail :: String -> IRBuilderT m a

Monad m => Applicative (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

pure :: a -> IRBuilderT m a

(<*>) :: IRBuilderT m (a -> b) -> IRBuilderT m a -> IRBuilderT m b

liftA2 :: (a -> b -> c) -> IRBuilderT m a -> IRBuilderT m b -> IRBuilderT m c

(*>) :: IRBuilderT m a -> IRBuilderT m b -> IRBuilderT m b

(<*) :: IRBuilderT m a -> IRBuilderT m b -> IRBuilderT m a

MonadPlus m => Alternative (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

empty :: IRBuilderT m a

(<|>) :: IRBuilderT m a -> IRBuilderT m a -> IRBuilderT m a

some :: IRBuilderT m a -> IRBuilderT m [a]

many :: IRBuilderT m a -> IRBuilderT m [a]

MonadPlus m => MonadPlus (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

mzero :: IRBuilderT m a

mplus :: IRBuilderT m a -> IRBuilderT m a -> IRBuilderT m a

MonadIO m => MonadIO (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIO :: IO a -> IRBuilderT m a

MonadCont m => MonadCont (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

callCC :: ((a -> IRBuilderT m b) -> IRBuilderT m a) -> IRBuilderT m a

Monad m => MonadIRBuilder (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> IRBuilderT m a

type IRBuilder = IRBuilderT Identity

class Monad m => MonadIRBuilder m where

Methods

liftIRState :: State IRBuilderState a -> m a

liftIRState :: (MonadTrans t, MonadIRBuilder m1, m ~ t m1) => State IRBuilderState a -> m a

Instances

MonadIRBuilder m => MonadIRBuilder (ListT m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> ListT m a

MonadIRBuilder m => MonadIRBuilder (MaybeT m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> MaybeT m a

Monad m => MonadIRBuilder (IRBuilderT m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> IRBuilderT m a

MonadIRBuilder m => MonadIRBuilder (IdentityT m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> IdentityT m a

MonadIRBuilder m => MonadIRBuilder (ExceptT e m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> ExceptT e m a

MonadIRBuilder m => MonadIRBuilder (StateT s m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> StateT s m a

MonadIRBuilder m => MonadIRBuilder (StateT s m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> StateT s m a

(Monoid w, MonadIRBuilder m) => MonadIRBuilder (WriterT w m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> WriterT w m a

(Monoid w, MonadIRBuilder m) => MonadIRBuilder (WriterT w m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> WriterT w m a

MonadIRBuilder m => MonadIRBuilder (ContT r m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> ContT r m a

MonadIRBuilder m => MonadIRBuilder (ReaderT r m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> ReaderT r m a

(MonadIRBuilder m, Monoid w) => MonadIRBuilder (RWST r w s m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> RWST r w s m a

(MonadIRBuilder m, Monoid w) => MonadIRBuilder (RWST r w s m)

Defined in LLVM.IRBuilder.Monad

Methods

liftIRState :: State IRBuilderState a -> RWST r w s m a

data PartialBlock

A partially constructed block as a sequence of instructions

Constructors

PartialBlock

Fields

• partialBlockName :: !Name
• partialBlockInstrs :: SnocList (Named Instruction)
• partialBlockTerm :: Maybe (Named Terminator)

emptyPartialBlock :: Name -> PartialBlock

data IRBuilderState

Builder monad state

Constructors

IRBuilderState

Fields

• builderSupply :: !Word
• builderUsedNames :: !(HashSet ShortByteString)
• builderNameSuggestion :: !(Maybe ShortByteString)
• builderBlocks :: SnocList BasicBlock
• builderBlock :: !(Maybe PartialBlock)

emptyIRBuilder :: IRBuilderState

runIRBuilder :: IRBuilderState -> IRBuilder a -> (a, [BasicBlock])

Evaluate IRBuilder to a result and a list of basic blocks

runIRBuilderT :: Monad m => IRBuilderState -> IRBuilderT m a -> m (a, [BasicBlock])

Evaluate IRBuilderT to a result and a list of basic blocks

execIRBuilder :: IRBuilderState -> IRBuilder a -> [BasicBlock]

Evaluate IRBuilder to a list of basic blocks

execIRBuilderT :: Monad m => IRBuilderState -> IRBuilderT m a -> m [BasicBlock]

Evaluate IRBuilderT to a list of basic blocks

Low-level functionality

ensureBlock :: MonadIRBuilder m => m ()

If no partial block exists, create a new block with a fresh label.

This is useful if you want to ensure that the label for the block is assigned before another label which is not possible with modifyBlock.

modifyBlock :: MonadIRBuilder m => (PartialBlock -> PartialBlock) -> m ()

fresh :: MonadIRBuilder m => m Name

Generate a fresh name. The resulting name is numbered or based on the name suggested with named if that's used.

freshName :: MonadIRBuilder m => ShortByteString -> m Name

Generate a fresh name from a name suggestion

freshUnName :: MonadIRBuilder m => m Name

Generate a fresh numbered name

emitInstr

Arguments

:: MonadIRBuilder m

=> Type

Return type

-> Instruction

-> m Operand

Emit instruction

emitInstrVoid :: MonadIRBuilder m => Instruction -> m ()

Emit instruction that returns void

emitTerm :: MonadIRBuilder m => Terminator -> m ()

Emit terminator

emitBlockStart :: MonadIRBuilder m => Name -> m ()

Starts a new block labelled using the given name and ends the previous one. The name is assumed to be fresh.

High-level functionality

block :: MonadIRBuilder m => m Name

Starts a new block and ends the previous one

named :: MonadIRBuilder m => m r -> ShortByteString -> m r

ir named name executes the IRBuilder ir using name as the base name whenever a fresh local name is generated. Collisions are avoided by appending numbers (first "name", then "name1", "name2", and so on).

currentBlock :: MonadIRBuilder m => m Name

Get the name of the currently active block.

This function will throw an error if there is no active block. The only situation in which this can occur is if it is called before any call to block and before emitting any instructions.