RegAlloc.Linear.State

ghc-7.0.4: The GHC API

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

The register alloctor state

Constructors

RA_State |
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

The register allocator monad type.

Instances

Monad RegM | The RegM Monad

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

Run a computation in the RegM register allocator monad.

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 ()

Record that a spill instruction was inserted, for profiling.