ghc-7.0.1: The GHC API

RegAlloc.Linear.State

Description

State monad for the linear register allocator.

Synopsis

Documentation

data RA_State Source

The register alloctor state

Constructors

Fields

ra_blockassig :: BlockAssignment: 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.

data RegM a Source

The register allocator monad type.

Instances

The RegM Monad

runR :: BlockAssignment -> FreeRegs -> RegMap Loc -> StackMap -> UniqSupply -> RegM a -> (BlockAssignment, StackMap, RegAllocStats, a)Source

Run a computation in the RegM register allocator monad.

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

loadR :: Instruction instr => Reg -> Int -> RegM instrSource

getFreeRegsR :: RegM FreeRegs Source

setFreeRegsR :: FreeRegs -> RegM ()Source

getAssigR :: RegM (RegMap Loc)Source

setAssigR :: RegMap Loc -> RegM ()Source

getBlockAssigR :: RegM BlockAssignment Source

setBlockAssigR :: BlockAssignment -> RegM ()Source

setDeltaR :: Int -> RegM ()Source

getDeltaR :: RegM Int Source

getUniqueR :: RegM Unique Source

recordSpill :: SpillReason -> RegM ()Source

Record that a spill instruction was inserted, for profiling.