decaf-0.1.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

CodeGen.LLVMIR

Documentation

newtype Label Source #

Constructors

Label Int 

Instances

Instances details
Show Label Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Label -> ShowS #

show :: Label -> String #

showList :: [Label] -> ShowS #

data Module Source #

Constructors

Module 

Fields

Instances

Instances details
Show Module Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Module -> ShowS #

show :: Module -> String #

showList :: [Module] -> ShowS #

data Global Source #

Constructors

Global 

Fields

Instances

Instances details
Show Global Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Global -> ShowS #

show :: Global -> String #

showList :: [Global] -> ShowS #

newtype Declare Source #

Constructors

Declare 

Fields

Instances

Instances details
Show Declare Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Declare -> ShowS #

show :: Declare -> String #

showList :: [Declare] -> ShowS #

data Function Source #

Constructors

Function 

Fields

Instances

Instances details
Show Function Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Function -> ShowS #

show :: Function -> String #

showList :: [Function] -> ShowS #

data Argument Source #

Constructors

Argument 

Fields

Instances

Instances details
Show Argument Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Argument -> ShowS #

show :: Argument -> String #

showList :: [Argument] -> ShowS #

data Type Source #

Constructors

VoidType 
IntType !Int 
PointerType !Type 
ArrayType !Type !Int 

Instances

Instances details
Show Type Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

arrayType :: Type -> Text Source #

data BasicBlock Source #

Constructors

BasicBlock 

Fields

Instances

Instances details
Show BasicBlock Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> BasicBlock -> ShowS #

show :: BasicBlock -> String #

showList :: [BasicBlock] -> ShowS #

data Var Source #

Constructors

Var 

Fields

Instances

Instances details
Generic Var Source # 
Instance details

Defined in CodeGen.LLVMIR

Associated Types

type Rep Var :: Type -> Type #

Methods

from :: Var -> Rep Var x #

to :: Rep Var x -> Var #

Show Var Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Var -> ShowS #

show :: Var -> String #

showList :: [Var] -> ShowS #

type Rep Var Source # 
Instance details

Defined in CodeGen.LLVMIR

type Rep Var = D1 ('MetaData "Var" "CodeGen.LLVMIR" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "Var" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VID) :*: (S1 ('MetaSel ('Just "tpe") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Type) :*: S1 ('MetaSel ('Just "loc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Range))))

formatVar :: Format r (Var -> r) Source #

data Value Source #

Constructors

IntImm !Type !Int64 
Variable !Var 

Instances

Instances details
Show Value Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Value -> ShowS #

show :: Value -> String #

showList :: [Value] -> ShowS #

valueType :: Value -> Type Source #

valueWithType :: Format r (Value -> r) Source #

data CondCodes Source #

Constructors

EQL 
NEQ 
SGT 
SGE 
SLT 
SLE 

Instances

Instances details
Show CondCodes Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> CondCodes -> ShowS #

show :: CondCodes -> String #

showList :: [CondCodes] -> ShowS #

Eq CondCodes Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

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

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

data Instruction Source #

Constructors

Terminator !TermInst 
Binary !BinaryInst 
BitBinary !BitwiseBinaryInst 
MemAccess !MemAccInst 
ICmp !Var !CondCodes !Type !Value !Value 
Assignment !Var !Value 
Phi !Var !Type ![(Var, Label)] 
Call !Var !Type !Name ![Value] 

Instances

Instances details
Show Instruction Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> Instruction -> ShowS #

show :: Instruction -> String #

showList :: [Instruction] -> ShowS #

data TermInst Source #

Constructors

Ret !(Maybe Value) !Type 
BrUncon !Label 
BrCon !Value !Label !Label 

Instances

Instances details
Show TermInst Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> TermInst -> ShowS #

show :: TermInst -> String #

showList :: [TermInst] -> ShowS #

data BinaryInst Source #

Constructors

Add !Var !Type !Value !Value 
Sub !Var !Type !Value !Value 
Mul !Var !Type !Value !Value 
SDiv !Var !Type !Value !Value 

Instances

Instances details
Show BinaryInst Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> BinaryInst -> ShowS #

show :: BinaryInst -> String #

showList :: [BinaryInst] -> ShowS #

data BitwiseBinaryInst Source #

Constructors

And !Var !Type !Value !Value 
Or !Var !Type !Value !Value 

Instances

Instances details
Show BitwiseBinaryInst Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> BitwiseBinaryInst -> ShowS #

show :: BitwiseBinaryInst -> String #

showList :: [BitwiseBinaryInst] -> ShowS #

data MemAccInst Source #

Constructors

Alloca !Var !Type !Int64 
Load !Var !Type !Value 
Store !Type !Value !Value 
StoreVec !Type ![(Type, Value)] !Value 

Instances

Instances details
Show MemAccInst Source # 
Instance details

Defined in CodeGen.LLVMIR

Methods

showsPrec :: Int -> MemAccInst -> ShowS #

show :: MemAccInst -> String #

showList :: [MemAccInst] -> ShowS #