LinearScan.Hoopl

Documentation

class HooplNode (n v) => NodeAlloc n v r | n -> v, n -> r where

Methods

fromVar :: v -> Either PhysReg VarId

fromReg :: r -> PhysReg

isCall :: n v O O -> Bool

isBranch :: n v O C -> Bool

retargetBranch :: n v O C -> Label -> Label -> n v O C

mkLabelOp :: Label -> n v C O

mkJumpOp :: Label -> n v O C

getReferences :: n v e x -> [VarInfo]

setRegisters :: [(Int, PhysReg)] -> n v e x -> Env (n r e x)

mkMoveOps :: PhysReg -> PhysReg -> Env [n r O O]

mkSwapOps :: PhysReg -> PhysReg -> Env [n r O O]

mkSaveOps :: PhysReg -> Maybe VarId -> Env [n r O O]

mkRestoreOps :: Maybe VarId -> PhysReg -> Env [n r O O]

op1ToString :: n v e x -> String

data NodeV n

Constructors

NodeCO

Fields

getNodeCO :: n C O

NodeOO

Fields

getNodeOO :: n O O

NodeOC

Fields

getNodeOC :: n O C

blockInfo :: (NodeAlloc n v r, NonLocal (n v)) => (Label -> Env Int) -> BlockInfo Env (Block (n v) C C) (Block (n r) C C) (NodeV (n v)) (NodeV (n r))

opInfo :: NodeAlloc n v r => OpInfo Env (NodeV (n v)) (NodeV (n r))

newtype SimpleUniqueMonad' a

Constructors

SUM'

Fields

unSUM' :: [Int] -> (a, [Int])

runSimpleUniqueMonad' :: Int -> SimpleUniqueMonad a -> a

allocateHoopl

Arguments

:: (NonLocal (n v), NonLocal (n r), NodeAlloc n v r)

=> Int

Number of machine registers

-> Int

Offset of the spill stack

-> Int

Size of spilled register in bytes

-> Label

Label of graph entry block

-> Graph (n v) C C

Program graph

-> Either String (Graph (n r) C C)