CmmExpr

CmmInt Integer Width
CmmFloat Rational Width
CmmLabel CLabel
CmmLabelOff CLabel Int
CmmLabelDiffOff CLabel CLabel Int
CmmBlock BlockId
CmmHighStackMark

Instances

Eq CmmLit

Outputable CmmLit

cmmLitType :: CmmLit -> CmmType

Source

data LocalReg

Source

Constructors

LocalReg !Unique CmmType

Parameters: 1. Identifier 2. Type

Instances

DefinerOfLocalRegs LocalReg

UserOfLocalRegs LocalReg

localRegType :: LocalReg -> CmmType

Source

data GlobalReg

Source

Constructors

VanillaReg !Int VGcPtr
FloatReg !Int
DoubleReg !Int
LongReg !Int
Sp
SpLim
Hp
HpLim
CurrentTSO
CurrentNursery
HpAlloc
EagerBlackholeInfo
GCEnter1
GCFun
BaseReg
PicBaseReg

Instances

globalRegType :: GlobalReg -> CmmType

Source

spReg :: CmmReg

Source

hpReg :: CmmReg

Source

spLimReg :: CmmReg

Source

nodeReg :: CmmReg

Source

node :: GlobalReg

Source

data VGcPtr

Source

Constructors

VGcPtr
VNonGcPtr

Instances

Eq VGcPtr

Show VGcPtr

vgcFlag :: CmmType -> VGcPtr

Source

class DefinerOfLocalRegs a where

Source

Methods

foldRegsDefd :: (b -> LocalReg -> b) -> b -> a -> b

Source

Instances

DefinerOfLocalRegs LocalReg

DefinerOfLocalRegs CmmReg

DefinerOfLocalRegs Last

DefinerOfLocalRegs Middle

DefinerOfLocalRegs a => DefinerOfLocalRegs [a]

DefinerOfLocalRegs a => DefinerOfLocalRegs (Maybe a)

DefinerOfLocalRegs a => DefinerOfLocalRegs (CmmHinted a)

class UserOfLocalRegs a where

Source

Methods

foldRegsUsed :: (b -> LocalReg -> b) -> b -> a -> b

Source

Instances

filterRegsUsed :: UserOfLocalRegs e => (LocalReg -> Bool) -> e -> RegSet

Source

class DefinerOfSlots a where

Source

Methods

foldSlotsDefd :: (b -> SubArea -> b) -> b -> a -> b

Source

Instances

DefinerOfSlots Last

DefinerOfSlots Middle

DefinerOfSlots l => DefinerOfSlots (ZLast l)

class UserOfSlots a where

Source

Methods

foldSlotsUsed :: (b -> SubArea -> b) -> b -> a -> b

Source

Instances

UserOfSlots CmmExpr

UserOfSlots CmmCallTarget

UserOfSlots MidCallTarget

UserOfSlots Last

UserOfSlots Middle

UserOfSlots a => UserOfSlots [a]

UserOfSlots a => UserOfSlots (Maybe a)

UserOfSlots a => UserOfSlots (CmmHinted a)

UserOfSlots l => UserOfSlots (ZLast l)

type RegSet = UniqSet LocalReg

Source

Sets of local registers

emptyRegSet :: RegSet

Source

elemRegSet :: LocalReg -> RegSet -> Bool

Source

extendRegSet :: RegSet -> LocalReg -> RegSet

Source

deleteFromRegSet :: RegSet -> LocalReg -> RegSet

Source

mkRegSet :: [LocalReg] -> RegSet

Source

plusRegSet :: RegSet -> RegSet -> RegSet

Source

minusRegSet :: RegSet -> RegSet -> RegSet

Source

timesRegSet :: RegSet -> RegSet -> RegSet

Source

data Area

Source

A stack area is either the stack slot where a variable is spilled or the stack space where function arguments and results are passed.

Constructors

RegSlot LocalReg
CallArea AreaId

Instances

data AreaId

Constructors

Old
Young BlockId

Instances

Eq AreaId

Ord AreaId

type SubArea = (Area, Int, Int)

Source

type SubAreaSet = FiniteMap Area [SubArea]

Source

type AreaMap = FiniteMap Area Int

Source

isStackSlotOf :: CmmExpr -> LocalReg -> Bool

Source

data MachOp

Source

Machine-level primops; ones which we can reasonably delegate to the native code generators to handle. Basically contains C's primops and no others.

Nomenclature: all ops indicate width and signedness, where appropriate. Widths: 8/16/32/64 means the given size, obviously. Nat means the operation works on STG word sized objects. Signedness: S means signed, U means unsigned. For operations where signedness is irrelevant or makes no difference (for example integer add), the signedness component is omitted.

An exception: NatP is a ptr-typed native word. From the point of view of the native code generators this distinction is irrelevant, but the C code generator sometimes needs this info to emit the right casts.

Constructors

MO_Add Width
MO_Sub Width
MO_Eq Width
MO_Ne Width
MO_Mul Width
MO_S_MulMayOflo Width
MO_S_Quot Width
MO_S_Rem Width
MO_S_Neg Width
MO_U_MulMayOflo Width
MO_U_Quot Width
MO_U_Rem Width
MO_S_Ge Width
MO_S_Le Width
MO_S_Gt Width
MO_S_Lt Width
MO_U_Ge Width
MO_U_Le Width
MO_U_Gt Width
MO_U_Lt Width
MO_F_Add Width
MO_F_Sub Width
MO_F_Neg Width
MO_F_Mul Width
MO_F_Quot Width
MO_F_Eq Width
MO_F_Ne Width
MO_F_Ge Width
MO_F_Le Width
MO_F_Gt Width
MO_F_Lt Width
MO_And Width
MO_Or Width
MO_Xor Width
MO_Not Width
MO_Shl Width
MO_U_Shr Width
MO_S_Shr Width
MO_SF_Conv Width Width
MO_FS_Conv Width Width
MO_SS_Conv Width Width
MO_UU_Conv Width Width
MO_FF_Conv Width Width

Instances

Eq MachOp

Show MachOp

pprMachOp :: MachOp -> SDoc

Source

isCommutableMachOp :: MachOp -> Bool

Source

Returns True if the MachOp has commutable arguments. This is used in the platform-independent Cmm optimisations.

If in doubt, return False. This generates worse code on the native routes, but is otherwise harmless.

isAssociativeMachOp :: MachOp -> Bool

Source

Returns True if the MachOp is associative (i.e. (x+y)+z == x+(y+z)) This is used in the platform-independent Cmm optimisations.

If in doubt, return False. This generates worse code on the native routes, but is otherwise harmless.

isComparisonMachOp :: MachOp -> Bool

Source

Returns True if the MachOp is a comparison.

If in doubt, return False. This generates worse code on the native routes, but is otherwise harmless.

machOpResultType :: MachOp -> [CmmType] -> CmmType

Source

Returns the MachRep of the result of a MachOp.

machOpArgReps :: MachOp -> [Width]

Source

This function is used for debugging only: we can check whether an application of a MachOp is type-correct by checking that the MachReps of its arguments are the same as the MachOp expects. This is used when linting a CmmExpr.

maybeInvertComparison :: MachOp -> Maybe MachOp

Source

mo_wordAdd :: MachOp

Source

mo_wordSub :: MachOp

Source

mo_wordEq :: MachOp

Source

mo_wordNe :: MachOp

Source

mo_wordMul :: MachOp

Source