ghc-8.2.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

CmmExpr

Synopsis

Documentation

data CmmExpr Source #

Constructors

CmmLit CmmLit 
CmmLoad !CmmExpr !CmmType 
CmmReg !CmmReg 
CmmMachOp MachOp [CmmExpr] 
CmmStackSlot Area !Int 
CmmRegOff !CmmReg Int 

Instances

Eq CmmExpr Source # 

Methods

(==) :: CmmExpr -> CmmExpr -> Bool #

(/=) :: CmmExpr -> CmmExpr -> Bool #

(Ord r, UserOfRegs r CmmReg) => UserOfRegs r CmmExpr Source # 

Methods

foldRegsUsed :: DynFlags -> (b -> r -> b) -> b -> CmmExpr -> b Source #

cmmExprType :: DynFlags -> CmmExpr -> CmmType Source #

cmmExprWidth :: DynFlags -> CmmExpr -> Width Source #

maybeInvertCmmExpr :: CmmExpr -> Maybe CmmExpr Source #

data CmmReg Source #

Constructors

CmmLocal !LocalReg 
CmmGlobal GlobalReg 

Instances

cmmRegType :: DynFlags -> CmmReg -> CmmType Source #

data CmmLit Source #

Constructors

CmmInt !Integer Width 
CmmFloat Rational Width 
CmmVec [CmmLit] 
CmmLabel CLabel 
CmmLabelOff CLabel Int 
CmmLabelDiffOff CLabel CLabel Int 
CmmBlock !BlockId 
CmmHighStackMark 

Instances

Eq CmmLit Source # 

Methods

(==) :: CmmLit -> CmmLit -> Bool #

(/=) :: CmmLit -> CmmLit -> Bool #

cmmLitType :: DynFlags -> CmmLit -> CmmType Source #

data LocalReg Source #

Constructors

LocalReg !Unique CmmType

Parameters: 1. Identifier 2. Type

Instances

localRegType :: LocalReg -> CmmType Source #

data GlobalReg Source #

Constructors

VanillaReg !Int VGcPtr 
FloatReg !Int 
DoubleReg !Int 
LongReg !Int 
XmmReg !Int 
YmmReg !Int 
ZmmReg !Int 
Sp 
SpLim 
Hp 
HpLim 
CCCS 
CurrentTSO 
CurrentNursery 
HpAlloc 
EagerBlackholeInfo 
GCEnter1 
GCFun 
BaseReg 
MachSp 
UnwindReturnReg 
PicBaseReg 

Instances

isArgReg :: GlobalReg -> Bool Source #

globalRegType :: DynFlags -> GlobalReg -> CmmType Source #

spReg :: CmmReg Source #

hpReg :: CmmReg Source #

spLimReg :: CmmReg Source #

nodeReg :: CmmReg Source #

node :: GlobalReg Source #

baseReg :: CmmReg Source #

data VGcPtr Source #

Constructors

VGcPtr 
VNonGcPtr 

Instances

class Ord r => DefinerOfRegs r a where Source #

Minimal complete definition

foldRegsDefd

Methods

foldRegsDefd :: DynFlags -> (b -> r -> b) -> b -> a -> b Source #

Instances

Ord r => DefinerOfRegs r r Source # 

Methods

foldRegsDefd :: DynFlags -> (b -> r -> b) -> b -> r -> b Source #

DefinerOfRegs GlobalReg CmmReg Source # 

Methods

foldRegsDefd :: DynFlags -> (b -> GlobalReg -> b) -> b -> CmmReg -> b Source #

DefinerOfRegs LocalReg CmmReg Source # 

Methods

foldRegsDefd :: DynFlags -> (b -> LocalReg -> b) -> b -> CmmReg -> b Source #

DefinerOfRegs r a => DefinerOfRegs r [a] Source # 

Methods

foldRegsDefd :: DynFlags -> (b -> r -> b) -> b -> [a] -> b Source #

DefinerOfRegs GlobalReg (CmmNode e x) Source # 

Methods

foldRegsDefd :: DynFlags -> (b -> GlobalReg -> b) -> b -> CmmNode e x -> b Source #

DefinerOfRegs LocalReg (CmmNode e x) Source # 

Methods

foldRegsDefd :: DynFlags -> (b -> LocalReg -> b) -> b -> CmmNode e x -> b Source #

class Ord r => UserOfRegs r a where Source #

Minimal complete definition

foldRegsUsed

Methods

foldRegsUsed :: DynFlags -> (b -> r -> b) -> b -> a -> b Source #

Instances

(Ord r, UserOfRegs r CmmReg) => UserOfRegs r CmmExpr Source # 

Methods

foldRegsUsed :: DynFlags -> (b -> r -> b) -> b -> CmmExpr -> b Source #

Ord r => UserOfRegs r r Source # 

Methods

foldRegsUsed :: DynFlags -> (b -> r -> b) -> b -> r -> b Source #

(Ord r, UserOfRegs r CmmReg) => UserOfRegs r ForeignTarget Source # 

Methods

foldRegsUsed :: DynFlags -> (b -> r -> b) -> b -> ForeignTarget -> b Source #

UserOfRegs GlobalReg CmmReg Source # 

Methods

foldRegsUsed :: DynFlags -> (b -> GlobalReg -> b) -> b -> CmmReg -> b Source #

UserOfRegs LocalReg CmmReg Source # 

Methods

foldRegsUsed :: DynFlags -> (b -> LocalReg -> b) -> b -> CmmReg -> b Source #

UserOfRegs r a => UserOfRegs r [a] Source # 

Methods

foldRegsUsed :: DynFlags -> (b -> r -> b) -> b -> [a] -> b Source #

UserOfRegs GlobalReg (CmmNode e x) Source # 

Methods

foldRegsUsed :: DynFlags -> (b -> GlobalReg -> b) -> b -> CmmNode e x -> b Source #

UserOfRegs LocalReg (CmmNode e x) Source # 

Methods

foldRegsUsed :: DynFlags -> (b -> LocalReg -> b) -> b -> CmmNode e x -> b Source #

foldRegsDefd :: DefinerOfRegs r a => DynFlags -> (b -> r -> b) -> b -> a -> b Source #

foldRegsUsed :: UserOfRegs r a => DynFlags -> (b -> r -> b) -> b -> a -> b Source #

foldLocalRegsDefd :: DefinerOfRegs LocalReg a => DynFlags -> (b -> LocalReg -> b) -> b -> a -> b Source #

foldLocalRegsUsed :: UserOfRegs LocalReg a => DynFlags -> (b -> LocalReg -> b) -> b -> a -> b Source #

type RegSet r = Set r Source #

Sets of registers

type LocalRegSet = RegSet LocalReg Source #

type GlobalRegSet = RegSet GlobalReg Source #

emptyRegSet :: RegSet r Source #

elemRegSet :: Ord r => r -> RegSet r -> Bool Source #

extendRegSet :: Ord r => RegSet r -> r -> RegSet r Source #

deleteFromRegSet :: Ord r => RegSet r -> r -> RegSet r Source #

mkRegSet :: Ord r => [r] -> RegSet r Source #

plusRegSet :: Ord r => RegSet r -> RegSet r -> RegSet r Source #

minusRegSet :: Ord r => RegSet r -> RegSet r -> RegSet r Source #

timesRegSet :: Ord r => RegSet r -> RegSet r -> RegSet r Source #

sizeRegSet :: RegSet r -> Int Source #

nullRegSet :: RegSet r -> Bool Source #

regSetToList :: RegSet r -> [r] 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

Old 
Young !BlockId 

Instances

Eq Area Source # 

Methods

(==) :: Area -> Area -> Bool #

(/=) :: Area -> Area -> Bool #

Ord Area Source # 

Methods

compare :: Area -> Area -> Ordering #

(<) :: Area -> Area -> Bool #

(<=) :: Area -> Area -> Bool #

(>) :: Area -> Area -> Bool #

(>=) :: Area -> Area -> Bool #

max :: Area -> Area -> Area #

min :: Area -> Area -> Area #

module CmmMachOp

module CmmType