ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

RegAlloc.Linear.State

Description

State monad for the linear register allocator.

Synopsis

Documentation

data RA_State freeRegsSource

The register allocator state

Constructors

RA_State 

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 aSource

The register allocator monad type.

Instances

Monad (RegM freeRegs) 
Functor (RegM freeRegs) 
Applicative (RegM freeRegs) 
HasDynFlags (RegM a) 

runR :: DynFlags -> BlockAssignment freeRegs -> freeRegs -> RegMap Loc -> StackMap -> UniqSupply -> RegM freeRegs a -> (BlockAssignment freeRegs, StackMap, RegAllocStats, a)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 instrSource

getFreeRegsR :: RegM freeRegs freeRegsSource

setFreeRegsR :: freeRegs -> RegM freeRegs ()Source

getAssigR :: RegM freeRegs (RegMap Loc)Source

setAssigR :: RegMap Loc -> RegM freeRegs ()Source

getBlockAssigR :: RegM freeRegs (BlockAssignment freeRegs)Source

setBlockAssigR :: BlockAssignment freeRegs -> RegM freeRegs ()Source

setDeltaR :: Int -> RegM freeRegs ()Source

getDeltaR :: RegM freeRegs IntSource

getUniqueR :: RegM freeRegs UniqueSource

recordSpill :: SpillReason -> RegM freeRegs ()Source

Record that a spill instruction was inserted, for profiling.