Safe Haskell	None
Language	GHC2021

Language.QBE.Types

Contents

Identifiers
Types
Values
Definitions
Functions
Instructions

Synopsis

newtype UserIdent = UserIdent {
- userIdent :: String
}
newtype LocalIdent = LocalIdent {
- localIdent :: String
}
newtype BlockIdent = BlockIdent {
- blockIdent :: String
}
newtype GlobalIdent = GlobalIdent {
- globalIdent :: String
}
data BaseType
- = Word
- | Long
- | Single
- | Double
baseTypeByteSize :: BaseType -> Int
baseTypeBitSize :: BaseType -> Int
data ExtType
- = Base BaseType
- | Byte
- | HalfWord
extTypeBitSize :: ExtType -> Int
extTypeByteSize :: ExtType -> Int
data SubWordType
- = SignedByte
- | UnsignedByte
- | SignedHalf
- | UnsignedHalf
data SubType
- = SExtType ExtType
- | SUserDef UserIdent
data LoadType
- = LSubWord SubWordType
- | LBase BaseType
loadByteSize :: LoadType -> Word64
data Const
- = Number Word64
- | SFP Float
- | DFP Double
- | Global GlobalIdent
data DynConst
- = Const Const
- | Thread GlobalIdent
- | Extern GlobalIdent
- | ExternThread GlobalIdent
data Value
- = VConst DynConst
- | VLocal LocalIdent
data TypeDef = TypeDef {
- aggName :: UserIdent
- aggAlign :: Maybe Word64
- aggType :: AggType
}
data DataDef = DataDef {
- linkage :: [Linkage]
- name :: GlobalIdent
- align :: Maybe Word64
- objs :: [DataObj]
}
data Linkage
- = LExport
- | LThread
- | LSection String (Maybe String)
type Field = (SubType, Maybe Word64)
data AggType
- = ARegular [Field]
- | AUnion [[Field]]
- | AOpaque Word64
dataSize :: DataDef -> Int
data DataObj
- = OItem ExtType [DataItem]
- | OZeroFill Word64
objAlign :: DataObj -> Word64
objSize :: DataObj -> Int
data DataItem
- = DSymOff GlobalIdent Word64
- | DString String
- | DConst Const
data JumpInstr
- = Jump BlockIdent
- | Jnz Value BlockIdent BlockIdent
- | Return (Maybe Value)
- | Halt
data FuncDef = FuncDef {
- fLinkage :: [Linkage]
- fName :: GlobalIdent
- fStart :: BlockIdent
- fAbity :: Maybe Abity
- fParams :: [FuncParam]
- fBlock :: Map BlockIdent Block
}
data FuncParam
- = Regular Abity LocalIdent
- | Env LocalIdent
- | Variadic
data FuncArg
- = ArgReg Abity Value
- | ArgEnv Value
- | ArgVar
data Abity
- = ABase BaseType
- | ASubWordType SubWordType
- | AUserDef UserIdent
abityToBase :: Abity -> BaseType
data Block = Block {
- label :: BlockIdent
- phi :: [Phi]
- stmt :: [Statement]
- term :: JumpInstr
}
fEntry :: FuncDef -> Block
data Statement
- = Assign LocalIdent BaseType Instr
- | Call (Maybe (LocalIdent, Abity)) Value [FuncArg]
- | Volatile VolatileInstr
data Instr
- = Add Value Value
- | Sub Value Value
- | Div Value Value
- | Mul Value Value
- | Neg Value
- | URem Value Value
- | Rem Value Value
- | UDiv Value Value
- | Or Value Value
- | Xor Value Value
- | And Value Value
- | Sar Value Value
- | Shr Value Value
- | Shl Value Value
- | Alloc AllocSize Value
- | Load LoadType Value
- | CompareInt IntArg IntCmpOp Value Value
- | CompareFloat FloatArg FloatCmpOp Value Value
- | Ext ExtArg Value
- | FloatToInt FloatArg Bool Value
- | IntToFloat IntArg Bool Value
- | TruncDouble Value
- | Cast Value
- | Copy Value
- | VAArg Value
data VolatileInstr
- = Store ExtType Value Value
- | VAStart Value
- | Blit Value Value Word64
- | DBGLoc Word64 Word64 (Maybe Word64)
data ExtArg
- = ExtSingle
- | ExtSubWord SubWordType
- | ExtSignedWord
- | ExtUnsignedWord
toExtType :: ExtArg -> (Bool, ExtType)
data FloatArg
- = FDouble
- | FSingle
f2BaseType :: FloatArg -> BaseType
data IntArg
- = IWord
- | ILong
i2BaseType :: IntArg -> BaseType
data IntCmpOp
- = IEq
- | INe
- | ISle
- | ISlt
- | ISge
- | ISgt
- | IUle
- | IUlt
- | IUge
- | IUgt
data FloatCmpOp
- = FEq
- | FNe
- | FLe
- | FLt
- | FGe
- | FGt
- | FOrd
- | FUnord
data Phi = Phi {
- pName :: LocalIdent
- pType :: BaseType
- pLabels :: Map BlockIdent Value
}
data AllocSize
- = AllocWord
- | AllocLong
- | AllocLongLong
getSize :: AllocSize -> Int

Identifiers

newtype UserIdent Source #

Constructors

UserIdent
Fields userIdent :: String

Instances

Instances details

Show UserIdent Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> UserIdent -> ShowS # show :: UserIdent -> String # showList :: [UserIdent] -> ShowS #
Eq UserIdent Source #
Instance details Defined in Language.QBE.Types Methods (==) :: UserIdent -> UserIdent -> Bool # (/=) :: UserIdent -> UserIdent -> Bool #
Ord UserIdent Source #
Instance details Defined in Language.QBE.Types Methods compare :: UserIdent -> UserIdent -> Ordering # (<) :: UserIdent -> UserIdent -> Bool # (<=) :: UserIdent -> UserIdent -> Bool # (>) :: UserIdent -> UserIdent -> Bool # (>=) :: UserIdent -> UserIdent -> Bool # max :: UserIdent -> UserIdent -> UserIdent # min :: UserIdent -> UserIdent -> UserIdent #

newtype LocalIdent Source #

Constructors

LocalIdent
Fields localIdent :: String

Instances

Instances details

Show LocalIdent Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> LocalIdent -> ShowS # show :: LocalIdent -> String # showList :: [LocalIdent] -> ShowS #
Eq LocalIdent Source #
Instance details Defined in Language.QBE.Types Methods (==) :: LocalIdent -> LocalIdent -> Bool # (/=) :: LocalIdent -> LocalIdent -> Bool #
Ord LocalIdent Source #
Instance details Defined in Language.QBE.Types Methods compare :: LocalIdent -> LocalIdent -> Ordering # (<) :: LocalIdent -> LocalIdent -> Bool # (<=) :: LocalIdent -> LocalIdent -> Bool # (>) :: LocalIdent -> LocalIdent -> Bool # (>=) :: LocalIdent -> LocalIdent -> Bool # max :: LocalIdent -> LocalIdent -> LocalIdent # min :: LocalIdent -> LocalIdent -> LocalIdent #

newtype BlockIdent Source #

Constructors

BlockIdent
Fields blockIdent :: String

Instances

Instances details

Show BlockIdent Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> BlockIdent -> ShowS # show :: BlockIdent -> String # showList :: [BlockIdent] -> ShowS #
Eq BlockIdent Source #
Instance details Defined in Language.QBE.Types Methods (==) :: BlockIdent -> BlockIdent -> Bool # (/=) :: BlockIdent -> BlockIdent -> Bool #
Ord BlockIdent Source #
Instance details Defined in Language.QBE.Types Methods compare :: BlockIdent -> BlockIdent -> Ordering # (<) :: BlockIdent -> BlockIdent -> Bool # (<=) :: BlockIdent -> BlockIdent -> Bool # (>) :: BlockIdent -> BlockIdent -> Bool # (>=) :: BlockIdent -> BlockIdent -> Bool # max :: BlockIdent -> BlockIdent -> BlockIdent # min :: BlockIdent -> BlockIdent -> BlockIdent #

newtype GlobalIdent Source #

Constructors

GlobalIdent
Fields globalIdent :: String

Instances

Instances details

Show GlobalIdent Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> GlobalIdent -> ShowS # show :: GlobalIdent -> String # showList :: [GlobalIdent] -> ShowS #
Eq GlobalIdent Source #
Instance details Defined in Language.QBE.Types Methods (==) :: GlobalIdent -> GlobalIdent -> Bool # (/=) :: GlobalIdent -> GlobalIdent -> Bool #
Ord GlobalIdent Source #
Instance details Defined in Language.QBE.Types Methods compare :: GlobalIdent -> GlobalIdent -> Ordering # (<) :: GlobalIdent -> GlobalIdent -> Bool # (<=) :: GlobalIdent -> GlobalIdent -> Bool # (>) :: GlobalIdent -> GlobalIdent -> Bool # (>=) :: GlobalIdent -> GlobalIdent -> Bool # max :: GlobalIdent -> GlobalIdent -> GlobalIdent # min :: GlobalIdent -> GlobalIdent -> GlobalIdent #

Types

data BaseType Source #

Constructors

Word
Long
Single
Double

Instances

Instances details

Show BaseType Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> BaseType -> ShowS # show :: BaseType -> String # showList :: [BaseType] -> ShowS #
Eq BaseType Source #
Instance details Defined in Language.QBE.Types Methods (==) :: BaseType -> BaseType -> Bool # (/=) :: BaseType -> BaseType -> Bool #

baseTypeByteSize :: BaseType -> Int Source #

baseTypeBitSize :: BaseType -> Int Source #

data ExtType Source #

Constructors

Base BaseType
Byte
HalfWord

Instances

Instances details

Show ExtType Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> ExtType -> ShowS # show :: ExtType -> String # showList :: [ExtType] -> ShowS #
Eq ExtType Source #
Instance details Defined in Language.QBE.Types Methods (==) :: ExtType -> ExtType -> Bool # (/=) :: ExtType -> ExtType -> Bool #

extTypeBitSize :: ExtType -> Int Source #

extTypeByteSize :: ExtType -> Int Source #

data SubWordType Source #

Constructors

SignedByte
UnsignedByte
SignedHalf
UnsignedHalf

Instances

Instances details

Show SubWordType Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> SubWordType -> ShowS # show :: SubWordType -> String # showList :: [SubWordType] -> ShowS #
Eq SubWordType Source #
Instance details Defined in Language.QBE.Types Methods (==) :: SubWordType -> SubWordType -> Bool # (/=) :: SubWordType -> SubWordType -> Bool #

data SubType Source #

Constructors

SExtType ExtType
SUserDef UserIdent

Instances

Instances details

Show SubType Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> SubType -> ShowS # show :: SubType -> String # showList :: [SubType] -> ShowS #
Eq SubType Source #
Instance details Defined in Language.QBE.Types Methods (==) :: SubType -> SubType -> Bool # (/=) :: SubType -> SubType -> Bool #

data LoadType Source #

Constructors

LSubWord SubWordType
LBase BaseType

Instances

Instances details

Show LoadType Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> LoadType -> ShowS # show :: LoadType -> String # showList :: [LoadType] -> ShowS #
Eq LoadType Source #
Instance details Defined in Language.QBE.Types Methods (==) :: LoadType -> LoadType -> Bool # (/=) :: LoadType -> LoadType -> Bool #

loadByteSize :: LoadType -> Word64 Source #

Values

data Const Source #

Constructors

Number Word64
SFP Float
DFP Double
Global GlobalIdent

Instances

Instances details

Show Const Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> Const -> ShowS # show :: Const -> String # showList :: [Const] -> ShowS #
Eq Const Source #
Instance details Defined in Language.QBE.Types Methods (==) :: Const -> Const -> Bool # (/=) :: Const -> Const -> Bool #

data DynConst Source #

Constructors

Const Const
Thread GlobalIdent
Extern GlobalIdent
ExternThread GlobalIdent

Instances

Instances details

Show DynConst Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> DynConst -> ShowS # show :: DynConst -> String # showList :: [DynConst] -> ShowS #
Eq DynConst Source #
Instance details Defined in Language.QBE.Types Methods (==) :: DynConst -> DynConst -> Bool # (/=) :: DynConst -> DynConst -> Bool #

data Value Source #

Constructors

VConst DynConst
VLocal LocalIdent

Instances

Instances details

Show Value Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Eq Value Source #
Instance details Defined in Language.QBE.Types Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #

Definitions

data TypeDef Source #

Constructors

TypeDef
Fields aggName :: UserIdent aggAlign :: Maybe Word64 aggType :: AggType

Instances

Instances details

Show TypeDef Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> TypeDef -> ShowS # show :: TypeDef -> String # showList :: [TypeDef] -> ShowS #
Eq TypeDef Source #
Instance details Defined in Language.QBE.Types Methods (==) :: TypeDef -> TypeDef -> Bool # (/=) :: TypeDef -> TypeDef -> Bool #

data DataDef Source #

Constructors

DataDef
Fields linkage :: [Linkage] name :: GlobalIdent align :: Maybe Word64 objs :: [DataObj]

Instances

Instances details

Show DataDef Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> DataDef -> ShowS # show :: DataDef -> String # showList :: [DataDef] -> ShowS #
Eq DataDef Source #
Instance details Defined in Language.QBE.Types Methods (==) :: DataDef -> DataDef -> Bool # (/=) :: DataDef -> DataDef -> Bool #

data Linkage Source #

Constructors

LExport
LThread
LSection String (Maybe String)

Instances

Instances details

Show Linkage Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> Linkage -> ShowS # show :: Linkage -> String # showList :: [Linkage] -> ShowS #
Eq Linkage Source #
Instance details Defined in Language.QBE.Types Methods (==) :: Linkage -> Linkage -> Bool # (/=) :: Linkage -> Linkage -> Bool #

type Field = (SubType, Maybe Word64) Source #

data AggType Source #

Constructors

ARegular [Field]
AUnion [[Field]]
AOpaque Word64

Instances

Instances details

Show AggType Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> AggType -> ShowS # show :: AggType -> String # showList :: [AggType] -> ShowS #
Eq AggType Source #
Instance details Defined in Language.QBE.Types Methods (==) :: AggType -> AggType -> Bool # (/=) :: AggType -> AggType -> Bool #

dataSize :: DataDef -> Int Source #

data DataObj Source #

Constructors

OItem ExtType [DataItem]
OZeroFill Word64

Instances

Instances details

Show DataObj Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> DataObj -> ShowS # show :: DataObj -> String # showList :: [DataObj] -> ShowS #
Eq DataObj Source #
Instance details Defined in Language.QBE.Types Methods (==) :: DataObj -> DataObj -> Bool # (/=) :: DataObj -> DataObj -> Bool #

objAlign :: DataObj -> Word64 Source #

objSize :: DataObj -> Int Source #

data DataItem Source #

Constructors

DSymOff GlobalIdent Word64
DString String
DConst Const

Instances

Instances details

Show DataItem Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> DataItem -> ShowS # show :: DataItem -> String # showList :: [DataItem] -> ShowS #
Eq DataItem Source #
Instance details Defined in Language.QBE.Types Methods (==) :: DataItem -> DataItem -> Bool # (/=) :: DataItem -> DataItem -> Bool #

data JumpInstr Source #

Constructors

Jump BlockIdent
Jnz Value BlockIdent BlockIdent
Return (Maybe Value)
Halt

Instances

Instances details

Show JumpInstr Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> JumpInstr -> ShowS # show :: JumpInstr -> String # showList :: [JumpInstr] -> ShowS #
Eq JumpInstr Source #
Instance details Defined in Language.QBE.Types Methods (==) :: JumpInstr -> JumpInstr -> Bool # (/=) :: JumpInstr -> JumpInstr -> Bool #

Functions

data FuncDef Source #

Constructors

FuncDef
Fields fLinkage :: [Linkage] fName :: GlobalIdent fStart :: BlockIdent fAbity :: Maybe Abity fParams :: [FuncParam] fBlock :: Map BlockIdent Block

Instances

Instances details

Show FuncDef Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> FuncDef -> ShowS # show :: FuncDef -> String # showList :: [FuncDef] -> ShowS #
Eq FuncDef Source #
Instance details Defined in Language.QBE.Types Methods (==) :: FuncDef -> FuncDef -> Bool # (/=) :: FuncDef -> FuncDef -> Bool #

data FuncParam Source #

Constructors

Regular Abity LocalIdent
Env LocalIdent
Variadic

Instances

Instances details

Show FuncParam Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> FuncParam -> ShowS # show :: FuncParam -> String # showList :: [FuncParam] -> ShowS #
Eq FuncParam Source #
Instance details Defined in Language.QBE.Types Methods (==) :: FuncParam -> FuncParam -> Bool # (/=) :: FuncParam -> FuncParam -> Bool #

data FuncArg Source #

Constructors

ArgReg Abity Value
ArgEnv Value
ArgVar

Instances

Instances details

Show FuncArg Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> FuncArg -> ShowS # show :: FuncArg -> String # showList :: [FuncArg] -> ShowS #
Eq FuncArg Source #
Instance details Defined in Language.QBE.Types Methods (==) :: FuncArg -> FuncArg -> Bool # (/=) :: FuncArg -> FuncArg -> Bool #

data Abity Source #

Constructors

ABase BaseType
ASubWordType SubWordType
AUserDef UserIdent

Instances

Instances details

Show Abity Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> Abity -> ShowS # show :: Abity -> String # showList :: [Abity] -> ShowS #
Eq Abity Source #
Instance details Defined in Language.QBE.Types Methods (==) :: Abity -> Abity -> Bool # (/=) :: Abity -> Abity -> Bool #

abityToBase :: Abity -> BaseType Source #

data Block Source #

Constructors

Block
Fields label :: BlockIdent phi :: [Phi] stmt :: [Statement] term :: JumpInstr

Instances

Instances details

Show Block Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Eq Block Source #
Instance details Defined in Language.QBE.Types Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #

fEntry :: FuncDef -> Block Source #

Instructions

data Statement Source #

Constructors

Assign LocalIdent BaseType Instr
Call (Maybe (LocalIdent, Abity)) Value [FuncArg]
Volatile VolatileInstr

Instances

Instances details

Show Statement Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #
Eq Statement Source #
Instance details Defined in Language.QBE.Types Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #

data Instr Source #

Instances

Instances details

Show Instr Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> Instr -> ShowS # show :: Instr -> String # showList :: [Instr] -> ShowS #
Eq Instr Source #
Instance details Defined in Language.QBE.Types Methods (==) :: Instr -> Instr -> Bool # (/=) :: Instr -> Instr -> Bool #

data VolatileInstr Source #

Constructors

Store ExtType Value Value
VAStart Value
Blit Value Value Word64
DBGLoc Word64 Word64 (Maybe Word64)

Instances

Instances details

Show VolatileInstr Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> VolatileInstr -> ShowS # show :: VolatileInstr -> String # showList :: [VolatileInstr] -> ShowS #
Eq VolatileInstr Source #
Instance details Defined in Language.QBE.Types Methods (==) :: VolatileInstr -> VolatileInstr -> Bool # (/=) :: VolatileInstr -> VolatileInstr -> Bool #

data ExtArg Source #

Constructors

ExtSingle
ExtSubWord SubWordType
ExtSignedWord
ExtUnsignedWord

Instances

Instances details

Show ExtArg Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> ExtArg -> ShowS # show :: ExtArg -> String # showList :: [ExtArg] -> ShowS #
Eq ExtArg Source #
Instance details Defined in Language.QBE.Types Methods (==) :: ExtArg -> ExtArg -> Bool # (/=) :: ExtArg -> ExtArg -> Bool #

toExtType :: ExtArg -> (Bool, ExtType) Source #

data FloatArg Source #

Constructors

FDouble
FSingle

Instances

Instances details

Show FloatArg Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> FloatArg -> ShowS # show :: FloatArg -> String # showList :: [FloatArg] -> ShowS #
Eq FloatArg Source #
Instance details Defined in Language.QBE.Types Methods (==) :: FloatArg -> FloatArg -> Bool # (/=) :: FloatArg -> FloatArg -> Bool #

f2BaseType :: FloatArg -> BaseType Source #

data IntArg Source #

Constructors

IWord
ILong

Instances

Instances details

Show IntArg Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> IntArg -> ShowS # show :: IntArg -> String # showList :: [IntArg] -> ShowS #
Eq IntArg Source #
Instance details Defined in Language.QBE.Types Methods (==) :: IntArg -> IntArg -> Bool # (/=) :: IntArg -> IntArg -> Bool #

i2BaseType :: IntArg -> BaseType Source #

data IntCmpOp Source #

Constructors

IEq
INe
ISle
ISlt
ISge
ISgt
IUle
IUlt
IUge
IUgt

Instances

Instances details

Show IntCmpOp Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> IntCmpOp -> ShowS # show :: IntCmpOp -> String # showList :: [IntCmpOp] -> ShowS #
Eq IntCmpOp Source #
Instance details Defined in Language.QBE.Types Methods (==) :: IntCmpOp -> IntCmpOp -> Bool # (/=) :: IntCmpOp -> IntCmpOp -> Bool #

data FloatCmpOp Source #

Constructors

FEq
FNe
FLe
FLt
FGe
FGt
FOrd
FUnord

Instances

Instances details

Show FloatCmpOp Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> FloatCmpOp -> ShowS # show :: FloatCmpOp -> String # showList :: [FloatCmpOp] -> ShowS #
Eq FloatCmpOp Source #
Instance details Defined in Language.QBE.Types Methods (==) :: FloatCmpOp -> FloatCmpOp -> Bool # (/=) :: FloatCmpOp -> FloatCmpOp -> Bool #

data Phi Source #

Constructors

Phi
Fields pName :: LocalIdent pType :: BaseType pLabels :: Map BlockIdent Value

Instances

Instances details

Show Phi Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> Phi -> ShowS # show :: Phi -> String # showList :: [Phi] -> ShowS #
Eq Phi Source #
Instance details Defined in Language.QBE.Types Methods (==) :: Phi -> Phi -> Bool # (/=) :: Phi -> Phi -> Bool #

data AllocSize Source #

Constructors

AllocWord
AllocLong
AllocLongLong

Instances

Instances details

Show AllocSize Source #
Instance details Defined in Language.QBE.Types Methods showsPrec :: Int -> AllocSize -> ShowS # show :: AllocSize -> String # showList :: [AllocSize] -> ShowS #
Eq AllocSize Source #
Instance details Defined in Language.QBE.Types Methods (==) :: AllocSize -> AllocSize -> Bool # (/=) :: AllocSize -> AllocSize -> Bool #

getSize :: AllocSize -> Int Source #

Add Value Value
Sub Value Value
Div Value Value
Mul Value Value
Neg Value
URem Value Value
Rem Value Value
UDiv Value Value
Or Value Value
Xor Value Value
And Value Value
Sar Value Value
Shr Value Value
Shl Value Value
Alloc AllocSize Value
Load LoadType Value
CompareInt IntArg IntCmpOp Value Value
CompareFloat FloatArg FloatCmpOp Value Value
Ext ExtArg Value
FloatToInt FloatArg Bool Value
IntToFloat IntArg Bool Value
TruncDouble Value
Cast Value
Copy Value
VAArg Value