Safe Haskell | None |
---|---|
Language | Haskell2010 |
Base LLVM Code Generation module
Contains functions useful through out the code generator.
Synopsis
- type LlvmCmmDecl = GenCmmDecl [LlvmData] (Maybe CmmStatics) (ListGraph LlvmStatement)
- type LlvmBasicBlock = GenBasicBlock LlvmStatement
- type LiveGlobalRegs = [GlobalReg]
- type LlvmUnresData = (CLabel, Section, LlvmType, [UnresStatic])
- type LlvmData = ([LMGlobal], [LlvmType])
- type UnresLabel = CmmLit
- type UnresStatic = Either UnresLabel LlvmStatic
- data LlvmVersion
- supportedLlvmVersion :: LlvmVersion
- llvmVersionStr :: LlvmVersion -> String
- data LlvmM a
- runLlvm :: DynFlags -> LlvmVersion -> BufHandle -> UniqSupply -> LlvmM () -> IO ()
- liftStream :: Stream IO a x -> Stream LlvmM a x
- withClearVars :: LlvmM a -> LlvmM a
- varLookup :: Uniquable key => key -> LlvmM (Maybe LlvmType)
- varInsert :: Uniquable key => key -> LlvmType -> LlvmM ()
- markStackReg :: GlobalReg -> LlvmM ()
- checkStackReg :: GlobalReg -> LlvmM Bool
- funLookup :: Uniquable key => key -> LlvmM (Maybe LlvmType)
- funInsert :: Uniquable key => key -> LlvmType -> LlvmM ()
- getLlvmVer :: LlvmM LlvmVersion
- getDynFlags :: HasDynFlags m => m DynFlags
- getDynFlag :: (DynFlags -> a) -> LlvmM a
- getLlvmPlatform :: LlvmM Platform
- dumpIfSetLlvm :: DumpFlag -> String -> SDoc -> LlvmM ()
- renderLlvm :: SDoc -> LlvmM ()
- markUsedVar :: LlvmVar -> LlvmM ()
- getUsedVars :: LlvmM [LlvmVar]
- ghcInternalFunctions :: LlvmM ()
- getMetaUniqueId :: LlvmM MetaId
- setUniqMeta :: Unique -> MetaId -> LlvmM ()
- getUniqMeta :: Unique -> LlvmM (Maybe MetaId)
- cmmToLlvmType :: CmmType -> LlvmType
- widthToLlvmFloat :: Width -> LlvmType
- widthToLlvmInt :: Width -> LlvmType
- llvmFunTy :: LiveGlobalRegs -> LlvmM LlvmType
- llvmFunSig :: LiveGlobalRegs -> CLabel -> LlvmLinkageType -> LlvmM LlvmFunctionDecl
- llvmFunArgs :: DynFlags -> LiveGlobalRegs -> [LlvmVar]
- llvmStdFunAttrs :: [LlvmFuncAttr]
- llvmFunAlign :: DynFlags -> LMAlign
- llvmInfAlign :: DynFlags -> LMAlign
- llvmPtrBits :: DynFlags -> Int
- tysToParams :: [LlvmType] -> [LlvmParameter]
- llvmFunSection :: DynFlags -> LMString -> LMSection
- strCLabel_llvm :: CLabel -> LlvmM LMString
- strDisplayName_llvm :: CLabel -> LlvmM LMString
- strProcedureName_llvm :: CLabel -> LlvmM LMString
- getGlobalPtr :: LMString -> LlvmM LlvmVar
- generateExternDecls :: LlvmM ([LMGlobal], [LlvmType])
- aliasify :: LMGlobal -> LlvmM [LMGlobal]
Documentation
type LlvmCmmDecl = GenCmmDecl [LlvmData] (Maybe CmmStatics) (ListGraph LlvmStatement) Source #
type LiveGlobalRegs = [GlobalReg] Source #
Global registers live on proc entry
type LlvmUnresData = (CLabel, Section, LlvmType, [UnresStatic]) Source #
Unresolved code. Of the form: (data label, data type, unresolved data)
type UnresLabel = CmmLit Source #
An unresolved Label.
Labels are unresolved when we haven't yet determined if they are defined in the module we are currently compiling, or an external one.
type UnresStatic = Either UnresLabel LlvmStatic Source #
data LlvmVersion Source #
LLVM Version Number
Instances
Eq LlvmVersion Source # | |
Defined in LlvmCodeGen.Base (==) :: LlvmVersion -> LlvmVersion -> Bool # (/=) :: LlvmVersion -> LlvmVersion -> Bool # | |
Show LlvmVersion Source # | |
Defined in LlvmCodeGen.Base showsPrec :: Int -> LlvmVersion -> ShowS # show :: LlvmVersion -> String # showList :: [LlvmVersion] -> ShowS # |
supportedLlvmVersion :: LlvmVersion Source #
The LLVM Version that is currently supported.
llvmVersionStr :: LlvmVersion -> String Source #
The Llvm monad. Wraps LlvmEnv
state as well as the IO
monad
Instances
Monad LlvmM Source # | |
Functor LlvmM Source # | |
Applicative LlvmM Source # | |
HasDynFlags LlvmM Source # | |
Defined in LlvmCodeGen.Base | |
MonadUnique LlvmM Source # | |
Defined in LlvmCodeGen.Base |
runLlvm :: DynFlags -> LlvmVersion -> BufHandle -> UniqSupply -> LlvmM () -> IO () Source #
Get initial Llvm environment.
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
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 #
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
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.
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)
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.