Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class HooplNode n1 => NodeAlloc s n1 n2 | n1 -> n2, n2 -> n1, n1 -> s, n2 -> s where Source
isCall :: n1 O O -> Bool Source
isBranch :: n1 O C -> Bool Source
getReferences :: n1 e x -> [VarInfo] Source
setRegisters :: [(Int, PhysReg)] -> n1 e x -> n2 e x Source
mkMoveOps :: PhysReg -> PhysReg -> State s [n2 O O] Source
mkSwapOps :: PhysReg -> PhysReg -> State s [n2 O O] Source
mkSaveOps :: PhysReg -> Maybe VarId -> State s [n2 O O] Source
mkRestoreOps :: Maybe VarId -> PhysReg -> State s [n2 O O] Source
op1ToString :: n1 e x -> String Source
blockInfo :: NonLocal n1 => (Label -> Int) -> BlockInfo (Block n1 C C) (Block n2 C C) (NodeV n1) (NodeV n2) Source
data SpillStack Source
SpillStack | |
|
newSpillStack :: Int -> Int -> SpillStack Source
getStackSlot :: Maybe VarId -> State SpillStack Int Source