GHC.CmmToAsm.Monad

Documentation

data NcgImpl statics instr jumpDest Source #

Constructors

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; when possible.

Constructors

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.

data NatM result Source #

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 #