GHC.Cmm.UniqueRenamer · ghc-10.0.0.20260917

valuedetRenameCmmGroup :: DetUniqFM -> DCmmGroup -> (DetUniqFM, CmmGroup)

valuedetRenameIPEMap

classclass 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

Instances10MonadGetUnique, …

MonadGetUnique NatMDefined in ghc-10.0.0.20260917 · GHC.CmmToAsm.Monad
MonadGetUnique SpillMDefined in ghc-10.0.0.20260917 · GHC.CmmToAsm.Reg.Graph.Spill
MonadGetUnique LlvmMDefined in ghc-10.0.0.20260917 · GHC.CmmToLlvm.Base
MonadGetUnique NullCollapseVizDefined in ghc-10.0.0.20260917 · GHC.Data.Graph.Collapse
MonadGetUnique CmmParseDefined in ghc-10.0.0.20260917 · GHC.StgToCmm.ExtCode
MonadGetUnique FCodeDefined in ghc-10.0.0.20260917 · GHC.StgToCmm.Monad
MonadGetUnique UniqDSMDefined in ghc-10.0.0.20260917 · GHC.Types.Unique.DSM
MonadGetUnique UniqSMDefined in ghc-10.0.0.20260917 · GHC.Types.Unique.DSM
MonadGetUnique (WasmCodeGenM w)Defined in ghc-10.0.0.20260917 · GHC.CmmToAsm.Wasm.Types
Monad m => MonadGetUnique (UniqDSMT m)Defined in ghc-10.0.0.20260917 · GHC.Types.Unique.DSM

datadata DetUniqFM

Source#

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]

Instances1Outputable

Outputable DetUniqFMDefined in ghc-10.0.0.20260917 · GHC.Cmm.UniqueRenamer

valueemptyDetUFM :: DetUniqFM

#