Documentation

data NatM_StateSource

mkNatM_State :: UniqSupply -> Int -> DynFlags -> Module -> NatM_StateSource

data NatM resultSource

initNat :: NatM_State -> NatM a -> (a, NatM_State)Source

addImportNat :: CLabel -> NatM ()Source

getUniqueNat :: NatM UniqueSource

mapAccumLNat :: (acc -> x -> NatM (acc, y)) -> acc -> [x] -> NatM (acc, [y])Source

setDeltaNat :: Int -> NatM ()Source

getDeltaNat :: NatM IntSource

getThisModuleNat :: NatM ModuleSource

getBlockIdNat :: NatM BlockIdSource

getNewLabelNat :: NatM CLabelSource

getNewRegNat :: Size -> NatM RegSource

getNewRegPairNat :: Size -> NatM (Reg, Reg)Source

getPicBaseMaybeNat :: NatM (Maybe Reg)Source

getPicBaseNat :: Size -> NatM RegSource

getDynFlags :: HasDynFlags m => m DynFlagsSource