GHC.Platform.Reg

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.

Documentation

type RegNo = Int

An identifier for a primitive real machine register.

data Reg

A register, either virtual or real

Constructors

RegVirtual !VirtualReg

RegReal !RealReg

Instances

Uniquable Reg

Defined in GHC.Platform.Reg

Methods

getUnique :: Reg -> Unique

Outputable Reg

Print a reg in a generic manner If you want the architecture specific names, then use the pprReg function from the appropriate Ppr module.

Defined in GHC.Platform.Reg

Methods

ppr :: Reg -> SDoc

Show Reg

Defined in GHC.Platform.Reg

Methods

showsPrec :: Int -> Reg -> ShowS

show :: Reg -> String

showList :: [Reg] -> ShowS

Eq Reg

Defined in GHC.Platform.Reg

Methods

(==) :: Reg -> Reg -> Bool

(/=) :: Reg -> Reg -> Bool

Ord Reg

Defined in GHC.Platform.Reg

Methods

compare :: Reg -> Reg -> Ordering

(<) :: Reg -> Reg -> Bool

(<=) :: Reg -> Reg -> Bool

(>) :: Reg -> Reg -> Bool

(>=) :: Reg -> Reg -> Bool

max :: Reg -> Reg -> Reg

min :: Reg -> Reg -> Reg

regSingle :: RegNo -> Reg

realRegSingle :: RegNo -> RealReg

isRealReg :: Reg -> Bool

takeRealReg :: Reg -> Maybe RealReg

isVirtualReg :: Reg -> Bool

takeVirtualReg :: Reg -> Maybe VirtualReg

data VirtualReg

Constructors

VirtualRegI !Unique

VirtualRegHi !Unique

VirtualRegF !Unique

VirtualRegD !Unique

Instances

Uniquable VirtualReg

Defined in GHC.Platform.Reg

Methods

getUnique :: VirtualReg -> Unique

Outputable VirtualReg

Defined in GHC.Platform.Reg

Methods

ppr :: VirtualReg -> SDoc

Show VirtualReg

Defined in GHC.Platform.Reg

Methods

showsPrec :: Int -> VirtualReg -> ShowS

show :: VirtualReg -> String

showList :: [VirtualReg] -> ShowS

Eq VirtualReg

Defined in GHC.Platform.Reg

Methods

(==) :: VirtualReg -> VirtualReg -> Bool

(/=) :: VirtualReg -> VirtualReg -> Bool

Ord VirtualReg

Defined in GHC.Platform.Reg

Methods

compare :: VirtualReg -> VirtualReg -> Ordering

(<) :: VirtualReg -> VirtualReg -> Bool

(<=) :: VirtualReg -> VirtualReg -> Bool

(>) :: VirtualReg -> VirtualReg -> Bool

(>=) :: VirtualReg -> VirtualReg -> Bool

max :: VirtualReg -> VirtualReg -> VirtualReg

min :: VirtualReg -> VirtualReg -> VirtualReg

renameVirtualReg :: Unique -> VirtualReg -> VirtualReg

classOfVirtualReg :: VirtualReg -> RegClass

getHiVirtualRegFromLo :: VirtualReg -> VirtualReg

getHiVRegFromLo :: Reg -> Reg

newtype RealReg

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.

Constructors

RealRegSingle RegNo

Instances

Uniquable RealReg

Defined in GHC.Platform.Reg

Methods

getUnique :: RealReg -> Unique

Outputable RealReg

Defined in GHC.Platform.Reg

Methods

ppr :: RealReg -> SDoc

Show RealReg

Defined in GHC.Platform.Reg

Methods

showsPrec :: Int -> RealReg -> ShowS

show :: RealReg -> String

showList :: [RealReg] -> ShowS

Eq RealReg

Defined in GHC.Platform.Reg

Methods

(==) :: RealReg -> RealReg -> Bool

(/=) :: RealReg -> RealReg -> Bool

Ord RealReg

Defined in GHC.Platform.Reg

Methods

compare :: RealReg -> RealReg -> Ordering

(<) :: RealReg -> RealReg -> Bool

(<=) :: RealReg -> RealReg -> Bool

(>) :: RealReg -> RealReg -> Bool

(>=) :: RealReg -> RealReg -> Bool

max :: RealReg -> RealReg -> RealReg

min :: RealReg -> RealReg -> RealReg

regNosOfRealReg :: RealReg -> [RegNo]

realRegsAlias :: RealReg -> RealReg -> Bool

liftPatchFnToRegReg :: (VirtualReg -> RealReg) -> Reg -> Reg

The patch function supplied by the allocator maps VirtualReg to RealReg regs, but sometimes we want to apply it to plain old Reg.