ghc-6.12.2: The GHC API Source code Contents Index

RegAlloc.Linear.State

Description

State monad for the linear register allocator.

Synopsis

data RA_State = RA_State { ra_blockassig :: BlockAssignment ra_freeregs :: !FreeRegs ra_assig :: RegMap Loc ra_delta :: Int ra_stack :: StackMap ra_us :: UniqSupply ra_spills :: [SpillReason] } data RegM a runR :: BlockAssignment -> FreeRegs -> RegMap Loc -> StackMap -> UniqSupply -> RegM a -> (BlockAssignment, StackMap, RegAllocStats, a) spillR :: Instruction instr => Reg -> Unique -> RegM (instr, Int) loadR :: Instruction instr => Reg -> Int -> RegM instr getFreeRegsR :: RegM FreeRegs setFreeRegsR :: FreeRegs -> RegM () getAssigR :: RegM (RegMap Loc) setAssigR :: RegMap Loc -> RegM () getBlockAssigR :: RegM BlockAssignment setBlockAssigR :: BlockAssignment -> RegM () setDeltaR :: Int -> RegM () getDeltaR :: RegM Int getUniqueR :: RegM Unique recordSpill :: SpillReason -> RegM ()

Documentation

data RA_State Source

The register alloctor state Constructors RA_State 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 Monad RegM

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 instr Source

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.

Produced by Haddock version 2.6.1