decaf-0.1.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

CFG.Build

Documentation

data SymVarMap Source #

Constructors

SymVarMap 

Fields

Instances

Instances details
Generic SymVarMap Source # 
Instance details

Defined in CFG.Build

Associated Types

type Rep SymVarMap :: Type -> Type #

Methods

from :: SymVarMap -> Rep SymVarMap x #

to :: Rep SymVarMap x -> SymVarMap #

Show SymVarMap Source # 
Instance details

Defined in CFG.Build

Methods

showsPrec :: Int -> SymVarMap -> ShowS #

show :: SymVarMap -> String #

showList :: [SymVarMap] -> ShowS #

type Rep SymVarMap Source # 
Instance details

Defined in CFG.Build

type Rep SymVarMap = D1 ('MetaData "SymVarMap" "CFG.Build" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "SymVarMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "m") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Name VID)) :*: S1 ('MetaSel ('Just "parent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ScopeID))))

data CFGState Source #

Constructors

CFGState 

Fields

Instances

Instances details
Generic CFGState Source # 
Instance details

Defined in CFG.Build

Associated Types

type Rep CFGState :: Type -> Type #

Methods

from :: CFGState -> Rep CFGState x #

to :: Rep CFGState x -> CFGState #

MonadState CFGState CFGBuild Source # 
Instance details

Defined in CFG.Build

Methods

get :: CFGBuild CFGState #

put :: CFGState -> CFGBuild () #

state :: (CFGState -> (a, CFGState)) -> CFGBuild a #

type Rep CFGState Source # 
Instance details

Defined in CFG.Build

type Rep CFGState = D1 ('MetaData "CFGState" "CFG.Build" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "CFGState" 'PrefixI 'True) (((S1 ('MetaSel ('Just "cfg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe CFG)) :*: S1 ('MetaSel ('Just "astScope") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScopeID)) :*: (S1 ('MetaSel ('Just "currentBBID") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BBID) :*: (S1 ('MetaSel ('Just "vars") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarList) :*: S1 ('MetaSel ('Just "sym2var") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ScopeID SymVarMap))))) :*: ((S1 ('MetaSel ('Just "var2sym") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map VID (ScopeID, Name))) :*: S1 ('MetaSel ('Just "statements") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [SSA])) :*: (S1 ('MetaSel ('Just "currentControlBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (BBID, BBID))) :*: (S1 ('MetaSel ('Just "currentFunctionExit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe BBID)) :*: S1 ('MetaSel ('Just "globalBB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe BasicBlock)))))))

data BBTransition Source #

Constructors

StayIn !BBID 
TailAt !BBID 
Deadend !BBID 

initialState :: CFGState Source #

getCFG :: CFGBuild CFG Source #

setCFG :: CFG -> CFGBuild () Source #

getGraph :: CFGBuild (Graph BBID BasicBlock CFGEdge) Source #

setGraph :: Graph BBID BasicBlock CFGEdge -> CFGBuild () Source #

updateCFG :: GraphBuilder BBID BasicBlock CFGEdge a -> CFGBuild () Source #

data CFGContext Source #

Constructors

CFGContext 

Fields

Instances

Instances details
Generic CFGContext Source # 
Instance details

Defined in CFG.Build

Associated Types

type Rep CFGContext :: Type -> Type #

Methods

from :: CFGContext -> Rep CFGContext x #

to :: Rep CFGContext x -> CFGContext #

MonadReader CFGContext CFGBuild Source # 
Instance details

Defined in CFG.Build

Methods

ask :: CFGBuild CFGContext #

local :: (CFGContext -> CFGContext) -> CFGBuild a -> CFGBuild a #

reader :: (CFGContext -> a) -> CFGBuild a #

type Rep CFGContext Source # 
Instance details

Defined in CFG.Build

type Rep CFGContext = D1 ('MetaData "CFGContext" "CFG.Build" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "CFGContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "semantic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SemanticInfo)))

newtype CFGBuild a Source #

Constructors

CFGBuild 

Fields

Instances

Instances details
Applicative CFGBuild Source # 
Instance details

Defined in CFG.Build

Methods

pure :: a -> CFGBuild a #

(<*>) :: CFGBuild (a -> b) -> CFGBuild a -> CFGBuild b #

liftA2 :: (a -> b -> c) -> CFGBuild a -> CFGBuild b -> CFGBuild c #

(*>) :: CFGBuild a -> CFGBuild b -> CFGBuild b #

(<*) :: CFGBuild a -> CFGBuild b -> CFGBuild a #

Functor CFGBuild Source # 
Instance details

Defined in CFG.Build

Methods

fmap :: (a -> b) -> CFGBuild a -> CFGBuild b #

(<$) :: a -> CFGBuild b -> CFGBuild a #

Monad CFGBuild Source # 
Instance details

Defined in CFG.Build

Methods

(>>=) :: CFGBuild a -> (a -> CFGBuild b) -> CFGBuild b #

(>>) :: CFGBuild a -> CFGBuild b -> CFGBuild b #

return :: a -> CFGBuild a #

MonadError CompileError CFGBuild Source # 
Instance details

Defined in CFG.Build

Methods

throwError :: CompileError -> CFGBuild a #

catchError :: CFGBuild a -> (CompileError -> CFGBuild a) -> CFGBuild a #

MonadReader CFGContext CFGBuild Source # 
Instance details

Defined in CFG.Build

Methods

ask :: CFGBuild CFGContext #

local :: (CFGContext -> CFGContext) -> CFGBuild a -> CFGBuild a #

reader :: (CFGContext -> a) -> CFGBuild a #

MonadState CFGState CFGBuild Source # 
Instance details

Defined in CFG.Build

Methods

get :: CFGBuild CFGState #

put :: CFGState -> CFGBuild () #

state :: (CFGState -> (a, CFGState)) -> CFGBuild a #

setASTScope :: ScopeID -> CFGBuild () Source #

setControlBlock :: Maybe (BBID, BBID) -> CFGBuild () Source #

getControlBlock :: CFGBuild (Maybe (BBID, BBID)) Source #

getControlEntry :: CFGBuild (Maybe BBID) Source #

getControlExit :: CFGBuild (Maybe BBID) Source #

withControlBlock :: BBID -> BBID -> CFGBuild a -> CFGBuild a Source #

setFunctionEntry :: BBID -> CFGBuild () Source #

setFunctionExit :: BBID -> CFGBuild () Source #

getFunctionExit :: CFGBuild BBID Source #

getBasicBlock' :: BBID -> CFGBuild BasicBlock Source #

addVarSym :: Name -> VID -> CFGBuild () Source #

lookupVar :: VID -> CFGBuild (Maybe (ScopeID, Name)) Source #

lookupVar' :: VID -> CFGBuild (ScopeID, Name) Source #

lookupSymInScope :: Name -> ScopeID -> CFGBuild (Maybe Var) Source #

lookupSymInScope' :: Name -> ScopeID -> CFGBuild Var Source #

lookupSym :: Name -> CFGBuild (Maybe Var) Source #

lookupSym' :: Name -> CFGBuild Var Source #

getSymDecl :: Name -> CFGBuild (Maybe (Either Argument FieldDecl)) Source #

getSymScope :: Name -> CFGBuild (Maybe ScopeID) Source #

newVar :: Maybe Name -> Type -> Range -> Locality -> CFGBuild Var Source #

newLocal :: Maybe Name -> Type -> Range -> CFGBuild Var Source #

allocaOnStack :: Maybe Name -> Type -> Range -> CFGBuild Var Source #

newGlobal :: Name -> Type -> Range -> CFGBuild Var Source #

createEmptyBB :: CFGBuild BBID Source #

createBB :: [SSA] -> CFGBuild BBID Source #

finishCurrentBB :: CFGBuild BBID Source #

checkStmts :: CFGBuild () Source #

addSSA :: SSA -> CFGBuild () Source #

findOuterScopes :: CFGBuild (Set ScopeID) Source #

inferPhiList :: [ScopeID] -> CFGBuild [(ScopeID, Name)] Source #

addDummyPhiNode :: [(ScopeID, Name)] -> CFGBuild () Source #

recordPhiVar :: [(ScopeID, Name)] -> CFGBuild (Map (ScopeID, Name) Var) Source #

patchPhiNode :: BBID -> BBID -> Map (ScopeID, Name) Var -> BBID -> Map (ScopeID, Name) Var -> CFGBuild () Source #

buildCFGs :: ASTRoot -> CFGContext -> Either [CompileError] SingleFileCFG Source #

populateGlobals :: [FieldDecl] -> CFGBuild [(Var, Type)] Source #

handleImportFunctions :: [ImportDecl] -> CFGBuild [Name] Source #

buildMethod :: MethodDecl -> CFGBuild CFG Source #

defaultImm :: Type -> VarOrImm Source #

replaceExitBlock :: BBID -> MethodDecl -> CFGBuild BBID Source #

buildBlock :: [Argument] -> Block -> CFGBuild (BBID, BBID, [Var]) Source #

buildAssignOp :: Location -> AssignOp -> Maybe Expr -> CFGBuild Var Source #

buildStatement :: Statement -> CFGBuild BBTransition Source #

buildExpr :: Expr -> CFGBuild Var Source #

buildReadFromLocation :: Location -> CFGBuild Var Source #

buildWriteToLocation :: Location -> VarOrImm -> CFGBuild () Source #

buildMethodCall :: MethodCall -> Type -> CFGBuild Var Source #