Foreign.Storable.Generic.Plugin.Internal.Compile

The core of compile and substitute optimisations.

Documentation

compileExpr :: HscEnv -> CoreExpr -> SrcSpan -> IO a

Compile an expression.

tryCompileExpr :: Id -> CoreExpr -> CoreM (Either Error a)

Try to compile an expression. Perhaps return an error.

intToExpr :: Type -> Int -> CoreExpr

Create an expression of form: x -> 16

intSubstitution :: CoreBind -> CoreM (Either Error CoreBind)

For gsizeOf and galignment - calculate the variables.

offsetSubstitution :: CoreBind -> CoreM (Either Error CoreBind)

Try to substitute the offsets.

offsetSubstitutionTree :: [OffsetScope] -> CoreExpr -> CoreM (Either Error CoreExpr)

Substitute the offsets in a tree. All top-level local ids should be alread in place. Now try to compile selected expressions (See note [Offset substitution])

data OffsetScope

Scoped variables for optimising offsets.

Constructors

IntList Id CoreExpr

IntPrimVal Id CoreExpr

Instances

Outputable OffsetScope

Defined in Foreign.Storable.Generic.Plugin.Internal.Compile

Methods

ppr :: OffsetScope -> SDoc

getScopeId :: OffsetScope -> Id

Get Id from OffsetScope

getScopeExpr :: OffsetScope -> CoreExpr

Get CoreExpr from OffsetScope

intListExpr :: [Int] -> CoreExpr

Create a list expression from Haskell list.

exprToIntList :: Id -> CoreExpr -> CoreM (Either Error OffsetScope)

Compile expression to list and then write it back to core expr.

isLitOrGlobal :: CoreExpr -> Maybe CoreExpr

Return the expression if it's a literal or global.

inScopeAll :: [OffsetScope] -> CoreExpr -> Maybe CoreExpr

Check whether the given CoreExpr is an id, and if yes - substitute it.

isIndexer :: Id -> Bool

Is an "$w!!" identifier

caseExprIndex :: [OffsetScope] -> CoreExpr -> Maybe CoreExpr

Try to create a compileable version of case expr body. For !! @Int offsets val expressions.

compileGStorableBind :: CoreBind -> CoreM (Either Error CoreBind)

Compile the expression in Core Bind and replace it.

lintBind

Arguments

:: CoreBind

Core binding to use when returning CompilationError

-> CoreBind

Core binding to check

-> CoreM (Either Error CoreBind)

Success or failure

Lint a binding

replaceIdsBind

Arguments

:: [CoreBind]

Replace with - for GStorable bindings

-> [CoreBind]

Replace with - for other top-bindings

-> CoreBind

Binding which will have ids replaced.

-> CoreBind

Binding with replaced ids.

Substitutes the localIds inside the bindings with bodies of provided bindings.

compileGroups

Arguments

:: Flags

Error handling.

-> [[CoreBind]]

Ordered gstorable bindings.

-> [CoreBind]

Non-gstorable bindings, used for replacing ids.

-> CoreM [CoreBind]

The compiled (or not) bindings.

Compile ordered binding.