ghc-8.10.4: The GHC API
Safe HaskellNone
LanguageHaskell2010

CmmExpr

Synopsis

Documentation

data CmmExpr #

Instances

Instances details
Eq CmmExpr # 
Instance details

Defined in CmmExpr

Methods

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

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

Outputable CmmExpr # 
Instance details

Defined in PprCmmExpr

Methods

ppr :: CmmExpr -> SDoc #

pprPrec :: Rational -> CmmExpr -> SDoc #

(Ord r, UserOfRegs r CmmReg) => UserOfRegs r CmmExpr # 
Instance details

Defined in CmmExpr

Methods

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

cmmExprAlignment :: CmmExpr -> Alignment #

Returns an alignment in bytes of a CmmExpr when it's a statically known integer constant, otherwise returns an alignment of 1 byte. The caller is responsible for using with a sensible CmmExpr argument.

data CmmReg #

Instances

Instances details
Eq CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

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

Ord CmmReg # 
Instance details

Defined in CmmExpr

Outputable CmmReg # 
Instance details

Defined in PprCmmExpr

Methods

ppr :: CmmReg -> SDoc #

pprPrec :: Rational -> CmmReg -> SDoc #

DefinerOfRegs GlobalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

DefinerOfRegs LocalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

UserOfRegs GlobalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

UserOfRegs LocalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

data CmmLit #

Instances

Instances details
Eq CmmLit # 
Instance details

Defined in CmmExpr

Methods

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

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

Outputable CmmLit # 
Instance details

Defined in PprCmmExpr

Methods

ppr :: CmmLit -> SDoc #

pprPrec :: Rational -> CmmLit -> SDoc #

data LocalReg #

Constructors

LocalReg !Unique CmmType

Parameters: 1. Identifier 2. Type

Instances

Instances details
Eq LocalReg # 
Instance details

Defined in CmmExpr

Ord LocalReg # 
Instance details

Defined in CmmExpr

Outputable LocalReg # 
Instance details

Defined in PprCmmExpr

Uniquable LocalReg # 
Instance details

Defined in CmmExpr

Methods

getUnique :: LocalReg -> Unique #

DefinerOfRegs LocalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

UserOfRegs LocalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

DefinerOfRegs LocalReg (CmmNode e x) # 
Instance details

Defined in CmmNode

Methods

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

UserOfRegs LocalReg (CmmNode e x) # 
Instance details

Defined in CmmNode

Methods

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

data GlobalReg #

Instances

Instances details
Eq GlobalReg # 
Instance details

Defined in CmmExpr

Ord GlobalReg # 
Instance details

Defined in CmmExpr

Show GlobalReg # 
Instance details

Defined in CmmExpr

Outputable GlobalReg # 
Instance details

Defined in PprCmmExpr

DefinerOfRegs GlobalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

UserOfRegs GlobalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

DefinerOfRegs GlobalReg (CmmNode e x) # 
Instance details

Defined in CmmNode

Methods

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

UserOfRegs GlobalReg (CmmNode e x) # 
Instance details

Defined in CmmNode

Methods

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

data VGcPtr #

Constructors

VGcPtr 
VNonGcPtr 

Instances

Instances details
Eq VGcPtr # 
Instance details

Defined in CmmExpr

Methods

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

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

Show VGcPtr # 
Instance details

Defined in CmmExpr

class Ord r => DefinerOfRegs r a #

Minimal complete definition

foldRegsDefd

Instances

Instances details
Ord r => DefinerOfRegs r r # 
Instance details

Defined in CmmExpr

Methods

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

DefinerOfRegs GlobalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

DefinerOfRegs LocalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

DefinerOfRegs r a => DefinerOfRegs r [a] # 
Instance details

Defined in CmmExpr

Methods

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

DefinerOfRegs GlobalReg (CmmNode e x) # 
Instance details

Defined in CmmNode

Methods

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

DefinerOfRegs LocalReg (CmmNode e x) # 
Instance details

Defined in CmmNode

Methods

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

class Ord r => UserOfRegs r a #

Minimal complete definition

foldRegsUsed

Instances

Instances details
(Ord r, UserOfRegs r CmmReg) => UserOfRegs r CmmExpr # 
Instance details

Defined in CmmExpr

Methods

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

Ord r => UserOfRegs r r # 
Instance details

Defined in CmmExpr

Methods

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

(Ord r, UserOfRegs r CmmReg) => UserOfRegs r ForeignTarget # 
Instance details

Defined in CmmNode

Methods

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

UserOfRegs GlobalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

UserOfRegs LocalReg CmmReg # 
Instance details

Defined in CmmExpr

Methods

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

UserOfRegs r a => UserOfRegs r [a] # 
Instance details

Defined in CmmExpr

Methods

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

UserOfRegs GlobalReg (CmmNode e x) # 
Instance details

Defined in CmmNode

Methods

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

UserOfRegs LocalReg (CmmNode e x) # 
Instance details

Defined in CmmNode

Methods

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

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

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

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

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

type RegSet r = Set r #

Sets of registers

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

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

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

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

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

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

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

regSetToList :: RegSet r -> [r] #

data Area #

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

Instances details
Eq Area # 
Instance details

Defined in CmmExpr

Methods

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

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

Ord Area # 
Instance details

Defined in CmmExpr

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 #

Outputable Area # 
Instance details

Defined in PprCmmExpr

Methods

ppr :: Area -> SDoc #

pprPrec :: Rational -> Area -> SDoc #

module CmmMachOp

module CmmType