Eq LlvmVersion #
Instance details Defined in LlvmCodeGen.Base Methods (==) :: LlvmVersion -> LlvmVersion -> Bool # (/=) :: LlvmVersion -> LlvmVersion -> Bool #
Show LlvmVersion #
Instance details Defined in LlvmCodeGen.Base Methods showsPrec :: Int -> LlvmVersion -> ShowS Source # show :: LlvmVersion -> String Source # showList :: [LlvmVersion] -> ShowS Source #

supportedLlvmVersion :: LlvmVersion Source #

The LLVM Version that is currently supported.

llvmVersionStr :: LlvmVersion -> String Source #

data LlvmM a Source #

The Llvm monad. Wraps LlvmEnv state as well as the IO monad

Instances

Instances details

Monad LlvmM #
Instance details Defined in LlvmCodeGen.Base Methods (>>=) :: LlvmM a -> (a -> LlvmM b) -> LlvmM b Source # (>>) :: LlvmM a -> LlvmM b -> LlvmM b Source # return :: a -> LlvmM a Source #
Functor LlvmM #
Instance details Defined in LlvmCodeGen.Base Methods fmap :: (a -> b) -> LlvmM a -> LlvmM b Source # (<$) :: a -> LlvmM b -> LlvmM a Source #
Applicative LlvmM #
Instance details Defined in LlvmCodeGen.Base Methods pure :: a -> LlvmM a Source # (<>) :: LlvmM (a -> b) -> LlvmM a -> LlvmM b Source # liftA2 :: (a -> b -> c) -> LlvmM a -> LlvmM b -> LlvmM c Source # (>) :: LlvmM a -> LlvmM b -> LlvmM b Source # (<*) :: LlvmM a -> LlvmM b -> LlvmM a Source #
MonadUnique LlvmM #
Instance details Defined in LlvmCodeGen.Base Methods getUniqueSupplyM :: LlvmM UniqSupply Source # getUniqueM :: LlvmM Unique Source # getUniquesM :: LlvmM [Unique] Source #
HasDynFlags LlvmM #
Instance details Defined in LlvmCodeGen.Base Methods getDynFlags :: LlvmM DynFlags Source #

runLlvm :: DynFlags -> LlvmVersion -> BufHandle -> UniqSupply -> LlvmM () -> IO () Source #

Get initial Llvm environment.

liftStream :: Stream IO a x -> Stream LlvmM a x Source #

Lift a stream into the LlvmM monad

withClearVars :: LlvmM a -> LlvmM a Source #

Clear variables from the environment for a subcomputation

varLookup :: Uniquable key => key -> LlvmM (Maybe LlvmType) Source #

Lookup variables or functions in the environment.

varInsert :: Uniquable key => key -> LlvmType -> LlvmM () Source #

Insert variables or functions into the environment.

markStackReg :: GlobalReg -> LlvmM () Source #

Set a register as allocated on the stack

checkStackReg :: GlobalReg -> LlvmM Bool Source #

Check whether a register is allocated on the stack

funLookup :: Uniquable key => key -> LlvmM (Maybe LlvmType) Source #

Lookup variables or functions in the environment.

funInsert :: Uniquable key => key -> LlvmType -> LlvmM () Source #

Insert variables or functions into the environment.

getLlvmVer :: LlvmM LlvmVersion Source #

Get the LLVM version we are generating code for

getDynFlags :: HasDynFlags m => m DynFlags Source #

getDynFlag :: (DynFlags -> a) -> LlvmM a Source #

Get the platform we are generating code for

getLlvmPlatform :: LlvmM Platform Source #

Get the platform we are generating code for

dumpIfSetLlvm :: DumpFlag -> String -> SDoc -> LlvmM () Source #

Dumps the document if the corresponding flag has been set by the user

renderLlvm :: SDoc -> LlvmM () Source #

Prints the given contents to the output handle

markUsedVar :: LlvmVar -> LlvmM () Source #

Marks a variable as "used"

getUsedVars :: LlvmM [LlvmVar] Source #

Return all variables marked as "used" so far

ghcInternalFunctions :: LlvmM () Source #

Here we pre-initialise some functions that are used internally by GHC so as to make sure they have the most general type in the case that user code also uses these functions but with a different type than GHC internally. (Main offender is treating return type as void instead of 'void *'). Fixes trac #5486.

getMetaUniqueId :: LlvmM MetaId Source #

Allocate a new global unnamed metadata identifier

setUniqMeta :: Unique -> MetaId -> LlvmM () Source #

Sets metadata node for a given unique

getUniqMeta :: Unique -> LlvmM (Maybe MetaId) Source #

Gets metadata node for given unique

cmmToLlvmType :: CmmType -> LlvmType Source #

Translate a basic CmmType to an LlvmType.

widthToLlvmFloat :: Width -> LlvmType Source #

Translate a Cmm Float Width to a LlvmType.

widthToLlvmInt :: Width -> LlvmType Source #

Translate a Cmm Bit Width to a LlvmType.

llvmFunTy :: LiveGlobalRegs -> LlvmM LlvmType Source #

Llvm Function type for Cmm function

llvmFunSig :: LiveGlobalRegs -> CLabel -> LlvmLinkageType -> LlvmM LlvmFunctionDecl Source #

Llvm Function signature

llvmFunArgs :: DynFlags -> LiveGlobalRegs -> [LlvmVar] Source #

A Function's arguments

llvmStdFunAttrs :: [LlvmFuncAttr] Source #

Llvm standard fun attributes

llvmFunAlign :: DynFlags -> LMAlign Source #

Alignment to use for functions

llvmInfAlign :: DynFlags -> LMAlign Source #

Alignment to use for into tables

llvmPtrBits :: DynFlags -> Int Source #

Pointer width

tysToParams :: [LlvmType] -> [LlvmParameter] Source #

Convert a list of types to a list of function parameters (each with no parameter attributes)

llvmFunSection :: DynFlags -> LMString -> LMSection Source #

Section to use for a function

strCLabel_llvm :: CLabel -> LlvmM LMString Source #

Pretty print a CLabel.

strDisplayName_llvm :: CLabel -> LlvmM LMString Source #

strProcedureName_llvm :: CLabel -> LlvmM LMString Source #

getGlobalPtr :: LMString -> LlvmM LlvmVar Source #

Create/get a pointer to a global value. Might return an alias if the value in question hasn't been defined yet. We especially make no guarantees on the type of the returned pointer.

generateExternDecls :: LlvmM ([LMGlobal], [LlvmType]) Source #

Generate definitions for aliases forward-referenced by getGlobalPtr.

Must be called at a point where we are sure that no new global definitions will be generated anymore!

aliasify :: LMGlobal -> LlvmM [LMGlobal] Source #

Here we take a global variable definition, rename it with a $def suffix, and generate the appropriate alias.