Safe Haskell	Safe-Inferred
Language	Haskell2010

GHC.CmmToAsm.Monad

Contents

64-bit registers on 32-bit architectures

Synopsis

data NcgImpl statics instr jumpDest = NcgImpl {
- ncgConfig :: !NCGConfig
- cmmTopCodeGen :: RawCmmDecl -> NatM [NatCmmDecl statics instr]
- generateJumpTableForInstr :: instr -> Maybe (NatCmmDecl statics instr)
- getJumpDestBlockId :: jumpDest -> Maybe BlockId
- canShortcut :: instr -> Maybe jumpDest
- shortcutStatics :: (BlockId -> Maybe jumpDest) -> statics -> statics
- shortcutJump :: (BlockId -> Maybe jumpDest) -> instr -> instr
- pprNatCmmDecl :: NatCmmDecl statics instr -> SDoc
- maxSpillSlots :: Int
- allocatableRegs :: [RealReg]
- ncgAllocMoreStack :: Int -> NatCmmDecl statics instr -> UniqSM (NatCmmDecl statics instr, [(BlockId, BlockId)])
- ncgMakeFarBranches :: Platform -> LabelMap RawCmmStatics -> [NatBasicBlock instr] -> UniqSM [NatBasicBlock instr]
- extractUnwindPoints :: [instr] -> [UnwindPoint]
- invertCondBranches :: Maybe CFG -> LabelMap RawCmmStatics -> [NatBasicBlock instr] -> [NatBasicBlock instr]
}
data NatM_State = NatM_State {
- natm_us :: UniqSupply
- natm_delta :: Int
- natm_imports :: [CLabel]
- natm_pic :: Maybe Reg
- natm_config :: NCGConfig
- natm_modloc :: ModLocation
- natm_fileid :: DwarfFiles
- natm_debug_map :: LabelMap DebugBlock
- natm_cfg :: CFG
}
mkNatM_State :: UniqSupply -> Int -> NCGConfig -> ModLocation -> DwarfFiles -> LabelMap DebugBlock -> CFG -> NatM_State
data NatM result
initNat :: NatM_State -> NatM a -> (a, NatM_State)
addImportNat :: CLabel -> NatM ()
addNodeBetweenNat :: BlockId -> BlockId -> BlockId -> NatM ()
addImmediateSuccessorNat :: BlockId -> BlockId -> NatM ()
updateCfgNat :: (CFG -> CFG) -> NatM ()
getUniqueNat :: NatM Unique
mapAccumLNat :: (acc -> x -> NatM (acc, y)) -> acc -> [x] -> NatM (acc, [y])
setDeltaNat :: Int -> NatM ()
getConfig :: NatM NCGConfig
getPlatform :: NatM Platform
getDeltaNat :: NatM Int
getThisModuleNat :: NatM Module
getBlockIdNat :: NatM BlockId
getNewLabelNat :: NatM CLabel
getNewRegNat :: Format -> NatM Reg
getPicBaseMaybeNat :: NatM (Maybe Reg)
getPicBaseNat :: Format -> NatM Reg
getCfgWeights :: NatM Weights
getModLoc :: NatM ModLocation
getFileId :: FastString -> NatM Int
getDebugBlock :: Label -> NatM (Maybe DebugBlock)
type DwarfFiles = UniqFM FastString (FastString, Int)
data Reg64 = Reg64 !Reg !Reg
data RegCode64 code = RegCode64 code !Reg !Reg
getNewReg64 :: NatM Reg64
localReg64 :: HasDebugCallStack => LocalReg -> Reg64

Documentation

data NcgImpl statics instr jumpDest Source #

Constructors

NcgImpl

Fields

ncgConfig :: !NCGConfig
cmmTopCodeGen :: RawCmmDecl -> NatM [NatCmmDecl statics instr]
generateJumpTableForInstr :: instr -> Maybe (NatCmmDecl statics instr)
getJumpDestBlockId :: jumpDest -> Maybe BlockId
canShortcut :: instr -> Maybe jumpDest
shortcutStatics :: (BlockId -> Maybe jumpDest) -> statics -> statics
shortcutJump :: (BlockId -> Maybe jumpDest) -> instr -> instr
pprNatCmmDecl :: NatCmmDecl statics instr -> SDoc
GenModule is only for printing internal labels. See Note [Internal proc labels] in CLabel.
maxSpillSlots :: Int
allocatableRegs :: [RealReg]
ncgAllocMoreStack :: Int -> NatCmmDecl statics instr -> UniqSM (NatCmmDecl statics instr, [(BlockId, BlockId)])
The list of block ids records the redirected jumps to allow us to update the CFG.
ncgMakeFarBranches :: Platform -> LabelMap RawCmmStatics -> [NatBasicBlock instr] -> UniqSM [NatBasicBlock instr]
extractUnwindPoints :: [instr] -> [UnwindPoint]
given the instruction sequence of a block, produce a list of the block's UnwindPoints See Note [What is this unwinding business?] in GHC.Cmm.DebugBlock and Note [Unwinding information in the NCG] in this module.
invertCondBranches :: Maybe CFG -> LabelMap RawCmmStatics -> [NatBasicBlock instr] -> [NatBasicBlock instr]
Turn the sequence of jcc l1; jmp l2 into jncc l2; <block_l1> when possible.

data NatM_State Source #

Constructors

NatM_State

Fields

natm_us :: UniqSupply
natm_delta :: Int
Stack offset for unwinding information
natm_imports :: [CLabel]
natm_pic :: Maybe Reg
natm_config :: NCGConfig
natm_modloc :: ModLocation
natm_fileid :: DwarfFiles
natm_debug_map :: LabelMap DebugBlock
natm_cfg :: CFG
Having a CFG with additional information is essential for some operations. However we can't reconstruct all information once we generated instructions. So instead we update the CFG as we go.

mkNatM_State :: UniqSupply -> Int -> NCGConfig -> ModLocation -> DwarfFiles -> LabelMap DebugBlock -> CFG -> NatM_State Source #

data NatM result Source #

Instances

Instances details

Applicative NatM Source #
Instance details Defined in GHC.CmmToAsm.Monad Methods pure :: a -> NatM a Source # (<>) :: NatM (a -> b) -> NatM a -> NatM b Source # liftA2 :: (a -> b -> c) -> NatM a -> NatM b -> NatM c Source # (>) :: NatM a -> NatM b -> NatM b Source # (<*) :: NatM a -> NatM b -> NatM a Source #
Functor NatM Source #
Instance details Defined in GHC.CmmToAsm.Monad Methods fmap :: (a -> b) -> NatM a -> NatM b Source # (<$) :: a -> NatM b -> NatM a Source #
Monad NatM Source #
Instance details Defined in GHC.CmmToAsm.Monad Methods (>>=) :: NatM a -> (a -> NatM b) -> NatM b Source # (>>) :: NatM a -> NatM b -> NatM b Source # return :: a -> NatM a Source #
CmmMakeDynamicReferenceM NatM Source #
Instance details Defined in GHC.CmmToAsm.PIC Methods addImport :: CLabel -> NatM () Source #
MonadUnique NatM Source #
Instance details Defined in GHC.CmmToAsm.Monad Methods getUniqueSupplyM :: NatM UniqSupply Source # getUniqueM :: NatM Unique Source # getUniquesM :: NatM [Unique] Source #
HasModule NatM Source #
Instance details Defined in GHC.CmmToAsm.Monad Methods getModule :: NatM Module Source #