Documentation

data NatM_State Source

mkNatM_State :: UniqSupply -> Int -> DynFlags -> Module -> NatM_State Source

data NatM result Source

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

addImportNat :: CLabel -> NatM () Source

getUniqueNat :: NatM Unique Source

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

setDeltaNat :: Int -> NatM () Source

getDeltaNat :: NatM Int Source

getThisModuleNat :: NatM Module Source

getBlockIdNat :: NatM BlockId Source

getNewLabelNat :: NatM CLabel Source

getNewRegNat :: Size -> NatM Reg Source

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

getPicBaseMaybeNat :: NatM (Maybe Reg) Source

getPicBaseNat :: Size -> NatM Reg Source

getDynFlags :: HasDynFlags m => m DynFlags Source