Fixup global registers so that they assign to locations within the RegTable if they aren't pinned for the current target.
Moduleghc-10.0.0.20260917GHC2024
GHC.StgToCmm.CgUtils
Contents
Synopsis
- value fixStgRegisters
- value baseRegOffset
- value get_Regtable_addr_from_offset
- value regTableOffset
- value get_GlobalReg_addr
- type CgStream
- Packageghc-10.0.0.20260917
- Exports6
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceCgUtils.hs
We map STG registers onto appropriate CmmExprs. Either they map to real machine registers or stored as offsets from BaseReg. Given a GlobalReg, get_GlobalReg_addr always produces the register table address for it.
Streaming for CG
The Stream instantiation used for code generation.
Note the underlying monad is UniqDSMT IO, where UniqDSMT is a transformer
that propagates a deterministic unique supply (essentially an incrementing
counter) from which new uniques are deterministically created during the
code generation stages following StgToCmm.
See Note [Object determinism].