Safe Haskell	None
Language	GHC2021

GHC.Cmm.UniqueRenamer

Synopsis

detRenameCmmGroup :: DetUniqFM -> DCmmGroup -> (DetUniqFM, CmmGroup)
detRenameIPEMap :: DetUniqFM -> InfoTableProvMap -> (DetUniqFM, InfoTableProvMap)
class Monad m => MonadGetUnique (m :: Type -> Type) where
- getUniqueM :: m Unique
data DetUniqFM
emptyDetUFM :: DetUniqFM
module GHC.Types.Unique.DSM

Documentation

detRenameCmmGroup :: DetUniqFM -> DCmmGroup -> (DetUniqFM, CmmGroup) #

detRenameIPEMap :: DetUniqFM -> InfoTableProvMap -> (DetUniqFM, InfoTableProvMap) #

class Monad m => MonadGetUnique (m :: Type -> Type) where #

Get a unique from a monad that can access a unique supply.

Crucially, because MonadGetUnique doesn't allow you to get the UniqSupply (unlike MonadUnique), an instance such as UniqDSM can use a deterministic unique supply to return deterministic uniques without allowing for the UniqSupply to be shared.

Methods

getUniqueM :: m Unique #

Instances

Instances details

MonadGetUnique NatM #
Instance details Defined in GHC.CmmToAsm.Monad Methods getUniqueM :: NatM Unique #
MonadGetUnique LlvmM #
Instance details Defined in GHC.CmmToLlvm.Base Methods getUniqueM :: LlvmM Unique #
MonadGetUnique NullCollapseViz #
Instance details Defined in GHC.Data.Graph.Collapse Methods getUniqueM :: NullCollapseViz Unique #
MonadGetUnique CmmParse #
Instance details Defined in GHC.StgToCmm.ExtCode Methods getUniqueM :: CmmParse Unique #
MonadGetUnique FCode #
Instance details Defined in GHC.StgToCmm.Monad Methods getUniqueM :: FCode Unique #
MonadGetUnique UniqDSM #
Instance details Defined in GHC.Types.Unique.DSM Methods getUniqueM :: UniqDSM Unique #
MonadGetUnique UniqSM #
Instance details Defined in GHC.Types.Unique.DSM Methods getUniqueM :: UniqSM Unique #
MonadGetUnique (WasmCodeGenM w) #
Instance details Defined in GHC.CmmToAsm.Wasm.Types Methods getUniqueM :: WasmCodeGenM w Unique #
Monad m => MonadGetUnique (UniqDSMT m) #
Instance details Defined in GHC.Types.Unique.DSM Methods getUniqueM :: UniqDSMT m Unique #

data DetUniqFM #

A mapping from non-deterministic uniques to deterministic uniques, to rename local symbols with the end goal of producing deterministic object files. See Note [Renaming uniques deterministically]

Instances

Instances details

Outputable DetUniqFM #
Instance details Defined in GHC.Cmm.UniqueRenamer Methods ppr :: DetUniqFM -> SDoc #

emptyDetUFM :: DetUniqFM #

module GHC.Types.Unique.DSM