Safe Haskell	None
Language	Haskell2010

RegAlloc.Linear.State

Description

State monad for the linear register allocator.

Synopsis

Documentation

data RA_State freeRegs Source

The register allocator state

Constructors

Fields

ra_blockassig :: BlockAssignment freeRegs
the current mapping from basic blocks to the register assignments at the beginning of that block.
ra_freeregs :: !freeRegs
free machine registers
ra_assig :: RegMap Loc
assignment of temps to locations
ra_delta :: Int
current stack delta
ra_stack :: StackMap
free stack slots for spilling
ra_us :: UniqSupply
unique supply for generating names for join point fixup blocks.
ra_spills :: [SpillReason]
Record why things were spilled, for -ddrop-asm-stats. Just keep a list here instead of a map of regs -> reasons. We don't want to slow down the allocator if we're not going to emit the stats.
ra_DynFlags :: DynFlags

data RegM freeRegs a Source

The register allocator monad type.

Instances

Monad (RegM freeRegs)
Methods (>>=) :: RegM freeRegs a -> (a -> RegM freeRegs b) -> RegM freeRegs b Source (>>) :: RegM freeRegs a -> RegM freeRegs b -> RegM freeRegs b Source return :: a -> RegM freeRegs a Source fail :: String -> RegM freeRegs a Source
Functor (RegM freeRegs)
Methods fmap :: (a -> b) -> RegM freeRegs a -> RegM freeRegs b Source (<$) :: a -> RegM freeRegs b -> RegM freeRegs a Source
Applicative (RegM freeRegs)
Methods pure :: a -> RegM freeRegs a Source (<>) :: RegM freeRegs (a -> b) -> RegM freeRegs a -> RegM freeRegs b Source (>) :: RegM freeRegs a -> RegM freeRegs b -> RegM freeRegs b Source (<*) :: RegM freeRegs a -> RegM freeRegs b -> RegM freeRegs a Source
HasDynFlags (RegM a)
Methods getDynFlags :: RegM a DynFlags Source

Run a computation in the RegM register allocator monad.

spillR :: Instruction instr => Reg -> Unique -> RegM freeRegs (instr, Int) Source

loadR :: Instruction instr => Reg -> Int -> RegM freeRegs instr Source

getFreeRegsR :: RegM freeRegs freeRegs Source

setFreeRegsR :: freeRegs -> RegM freeRegs () Source

Record that a spill instruction was inserted, for profiling.