Safe Haskell | None |
---|---|
Language | Haskell2010 |
An architecture independent description of a register. This needs to stay architecture independent because it is used by NCGMonad and the register allocators, which are shared by all architectures.
Synopsis
- type RegNo = Int
- data Reg
- regPair :: RegNo -> RegNo -> Reg
- regSingle :: RegNo -> Reg
- realRegSingle :: RegNo -> RealReg
- isRealReg :: Reg -> Bool
- takeRealReg :: Reg -> Maybe RealReg
- isVirtualReg :: Reg -> Bool
- takeVirtualReg :: Reg -> Maybe VirtualReg
- data VirtualReg
- renameVirtualReg :: Unique -> VirtualReg -> VirtualReg
- classOfVirtualReg :: VirtualReg -> RegClass
- getHiVirtualRegFromLo :: VirtualReg -> VirtualReg
- getHiVRegFromLo :: Reg -> Reg
- data RealReg
- = RealRegSingle !RegNo
- | RealRegPair !RegNo !RegNo
- regNosOfRealReg :: RealReg -> [RegNo]
- realRegsAlias :: RealReg -> RealReg -> Bool
- liftPatchFnToRegReg :: (VirtualReg -> RealReg) -> Reg -> Reg
Documentation
A register, either virtual or real
realRegSingle :: RegNo -> RealReg Source #
isVirtualReg :: Reg -> Bool Source #
takeVirtualReg :: Reg -> Maybe VirtualReg Source #
data VirtualReg Source #
Instances
Eq VirtualReg # | |
Defined in GHC.Platform.Reg (==) :: VirtualReg -> VirtualReg -> Bool # (/=) :: VirtualReg -> VirtualReg -> Bool # | |
Ord VirtualReg # | |
Defined in GHC.Platform.Reg compare :: VirtualReg -> VirtualReg -> Ordering # (<) :: VirtualReg -> VirtualReg -> Bool # (<=) :: VirtualReg -> VirtualReg -> Bool # (>) :: VirtualReg -> VirtualReg -> Bool # (>=) :: VirtualReg -> VirtualReg -> Bool # max :: VirtualReg -> VirtualReg -> VirtualReg # min :: VirtualReg -> VirtualReg -> VirtualReg # | |
Show VirtualReg # | |
Defined in GHC.Platform.Reg | |
Outputable VirtualReg # | |
Defined in GHC.Platform.Reg | |
Uniquable VirtualReg # | |
Defined in GHC.Platform.Reg getUnique :: VirtualReg -> Unique Source # |
renameVirtualReg :: Unique -> VirtualReg -> VirtualReg Source #
getHiVRegFromLo :: Reg -> Reg Source #
RealRegs are machine regs which are available for allocation, in the usual way. We know what class they are, because that's part of the processor's architecture.
RealRegPairs are pairs of real registers that are allocated together to hold a larger value, such as with Double regs on SPARC.
regNosOfRealReg :: RealReg -> [RegNo] Source #
liftPatchFnToRegReg :: (VirtualReg -> RealReg) -> Reg -> Reg Source #
The patch function supplied by the allocator maps VirtualReg to RealReg regs, but sometimes we want to apply it to plain old Reg.