ghc-7.4.1: The GHC API

Safe HaskellSafe-Infered

CmmNode

Documentation

data CmmNode e x whereSource

Constructors

CmmEntry :: Label -> CmmNode C O 
CmmComment :: FastString -> CmmNode O O 
CmmAssign :: CmmReg -> CmmExpr -> CmmNode O O 
CmmStore :: CmmExpr -> CmmExpr -> CmmNode O O 
CmmUnsafeForeignCall :: ForeignTarget -> [CmmFormal] -> [CmmActual] -> CmmNode O O 
CmmBranch :: Label -> CmmNode O C 
CmmCondBranch :: CmmExpr -> Label -> Label -> CmmNode O C 

Fields

cml_pred :: CmmExpr
 
cml_true :: Label
 
cml_false :: Label
 
CmmSwitch :: CmmExpr -> [Maybe Label] -> CmmNode O C 
CmmCall :: CmmExpr -> Maybe Label -> ByteOff -> ByteOff -> ByteOff -> CmmNode O C 

Fields

cml_target :: CmmExpr
 
cml_cont :: Maybe Label
 
cml_args :: ByteOff
 
cml_ret_args :: ByteOff
 
cml_ret_off :: ByteOff
 
CmmForeignCall :: ForeignTarget -> [CmmFormal] -> [CmmActual] -> Label -> UpdFrameOffset -> Bool -> CmmNode O C 

Fields

tgt :: ForeignTarget
 
res :: [CmmFormal]
 
args :: [CmmActual]
 
succ :: Label
 
updfr :: UpdFrameOffset
 
intrbl :: Bool
 

Instances

data ForeignHint Source

Constructors

NoHint 
AddrHint 
SignedHint 

Instances

type CmmFormal = LocalRegSource

type CmmActual = CmmExprSource

type UpdFrameOffset = ByteOffSource

data Convention Source

Constructors

NativeDirectCall 
NativeNodeCall 
NativeReturn 
Slow 
GC 
PrimOpCall 
PrimOpReturn 
Foreign ForeignConvention 
Private 

Instances

data ForeignConvention Source

Constructors

ForeignConvention CCallConv [ForeignHint] [ForeignHint] 

Instances

data ForeignTarget Source

Constructors

ForeignTarget CmmExpr ForeignConvention 
PrimTarget CallishMachOp 

Instances

mapExp :: (CmmExpr -> CmmExpr) -> CmmNode e x -> CmmNode e xSource

mapExpDeep :: (CmmExpr -> CmmExpr) -> CmmNode e x -> CmmNode e xSource

wrapRecExp :: (CmmExpr -> CmmExpr) -> CmmExpr -> CmmExprSource

foldExp :: (CmmExpr -> z -> z) -> CmmNode e x -> z -> zSource

foldExpDeep :: (CmmExpr -> z -> z) -> CmmNode e x -> z -> zSource

wrapRecExpf :: (CmmExpr -> z -> z) -> CmmExpr -> z -> zSource

mapExpM :: (CmmExpr -> Maybe CmmExpr) -> CmmNode e x -> Maybe (CmmNode e x)Source

mapExpDeepM :: (CmmExpr -> Maybe CmmExpr) -> CmmNode e x -> Maybe (CmmNode e x)Source

wrapRecExpM :: (CmmExpr -> Maybe CmmExpr) -> CmmExpr -> Maybe CmmExprSource