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) Source #
Instance details Defined in RegAlloc.Linear.State Methods (>>=) :: RegM freeRegs a -> (a -> RegM freeRegs b) -> RegM freeRegs b # (>>) :: RegM freeRegs a -> RegM freeRegs b -> RegM freeRegs b # return :: a -> RegM freeRegs a # fail :: String -> RegM freeRegs a #
Functor (RegM freeRegs) Source #
Instance details Defined in RegAlloc.Linear.State Methods fmap :: (a -> b) -> RegM freeRegs a -> RegM freeRegs b # (<$) :: a -> RegM freeRegs b -> RegM freeRegs a #
Applicative (RegM freeRegs) Source #
Instance details Defined in RegAlloc.Linear.State Methods pure :: a -> RegM freeRegs a # (<>) :: RegM freeRegs (a -> b) -> RegM freeRegs a -> RegM freeRegs b # liftA2 :: (a -> b -> c) -> RegM freeRegs a -> RegM freeRegs b -> RegM freeRegs c # (>) :: RegM freeRegs a -> RegM freeRegs b -> RegM freeRegs b # (<*) :: RegM freeRegs a -> RegM freeRegs b -> RegM freeRegs a #
HasDynFlags (RegM a) Source #
Instance details Defined in RegAlloc.Linear.State 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.