Safe Haskell	Safe-Inferred
Language	Haskell2010

Text.LLVM.AST

Synopsis

Documentation

commas :: [Doc] -> Doc Source

colons :: [Doc] -> Doc Source

breaks :: (a -> Bool) -> [a] -> [[a]] Source

uncons :: MonadPlus m => [a] -> m (a, [a]) Source

int32 :: Int32 -> Doc Source

angles :: Doc -> Doc Source

structBraces :: Doc -> Doc Source

ppMaybe :: (a -> Doc) -> Maybe a -> Doc Source

opt :: Bool -> Doc -> Doc Source

data Module Source

Constructors

Module
Fields modDataLayout :: DataLayout modTypes :: [TypeDecl] modNamedMd :: [NamedMd] modUnnamedMd :: [UnnamedMd] modGlobals :: [Global] modDeclares :: [Declare] modDefines :: [Define] modInlineAsm :: InlineAsm modAliases :: [GlobalAlias]

Instances

Show Module
Monoid Module

emptyModule :: Module Source

ppModule :: Module -> Doc Source

data NamedMd Source

Constructors

NamedMd
Fields nmName :: String nmValues :: [Int]

Instances

Show NamedMd

ppNamedMd :: NamedMd -> Doc Source

data UnnamedMd Source

Constructors

UnnamedMd
Fields umIndex :: !Int umValues :: [Typed Value]

Instances

Show UnnamedMd

ppUnnamedMd :: UnnamedMd -> Doc Source

data GlobalAlias Source

Constructors

GlobalAlias
Fields aliasName :: Symbol aliasType :: Type aliasTarget :: Value

Instances

Show GlobalAlias

ppGlobalAlias :: GlobalAlias -> Doc Source

type DataLayout = [LayoutSpec] Source

ppDataLayout :: DataLayout -> Doc Source

Pretty print a data layout specification.

data LayoutSpec Source

Constructors

BigEndian
LittleEndian
PointerSize !Int !Int (Maybe Int)
IntegerSize !Int !Int (Maybe Int)
VectorSize !Int !Int (Maybe Int)
FloatSize !Int !Int (Maybe Int)
AggregateSize !Int !Int (Maybe Int)
StackObjSize !Int !Int (Maybe Int)
NativeIntSize [Int]
StackAlign !Int
Mangling Mangling

Instances

Show LayoutSpec

data Mangling Source

Constructors

ElfMangling
MipsMangling
MachOMangling
WindowsCoffMangling

Instances

Eq Mangling
Show Mangling

ppLayoutSpec :: LayoutSpec -> Doc Source

Pretty print a single layout specification.

ppLayoutBody :: Int -> Int -> Maybe Int -> Doc Source

Pretty-print the common case for data layout specifications.

ppMangling :: Mangling -> Doc Source

parseDataLayout :: MonadPlus m => String -> m DataLayout Source

Parse the data layout string.

parseLayoutSpec :: MonadPlus m => String -> m LayoutSpec Source

Parse a single layout specification from a string.

type InlineAsm = [String] Source

ppInlineAsm :: InlineAsm -> Doc Source

Pretty-print the inline assembly block.

newtype Ident Source

Constructors

Ident String

Instances

Eq Ident
Ord Ident
Show Ident
IsString Ident
IsValue Ident
DefineArgs Type (Typed Value -> BB ())
DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ())
DefineArgs as k => DefineArgs ((:>) Type as) (Typed Value -> k)
DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ())

ppIdent :: Ident -> Doc Source

newtype Symbol Source

Constructors

Symbol String

Instances

Eq Symbol
Ord Symbol
Show Symbol
IsString Symbol
IsValue Symbol

ppSymbol :: Symbol -> Doc Source

data PrimType Source

Constructors

Label
Void
Integer Int32
FloatType FloatType
X86mmx
Metadata

Instances

Eq PrimType
Ord PrimType
Show PrimType

ppPrimType :: PrimType -> Doc Source

data FloatType Source

Constructors

Float
Double
Fp128
X86_fp80
PPC_fp128

Instances

Eq FloatType
Ord FloatType
Show FloatType

ppFloatType :: FloatType -> Doc Source

type Type = Type' Ident Source

data Type' ident Source

Constructors

PrimType PrimType
Alias ident
Array Int32 (Type' ident)
FunTy (Type' ident) [Type' ident] Bool
PtrTo (Type' ident)
Struct [Type' ident]
PackedStruct [Type' ident]
Vector Int32 (Type' ident)
Opaque

Instances

Functor Type'
DefineArgs Type (Typed Value -> BB ())
Eq ident => Eq (Type' ident)
Ord ident => Ord (Type' ident)
Show ident => Show (Type' ident)
DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ())
DefineArgs as k => DefineArgs ((:>) Type as) (Typed Value -> k)
DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ())

updateAliases :: (a -> Type' b) -> Type' a -> Type' b Source

Traverse a type, updating or removing aliases.

ppType :: Type -> Doc Source

isFloatingPoint :: PrimType -> Bool Source

isAlias :: Type -> Bool Source

isPrimTypeOf :: (PrimType -> Bool) -> Type -> Bool Source

isLabel :: PrimType -> Bool Source

isInteger :: PrimType -> Bool Source

isVector :: Type -> Bool Source

isVectorOf :: (Type -> Bool) -> Type -> Bool Source

isArray :: Type -> Bool Source

isPointer :: Type -> Bool Source

ppArgList :: Bool -> [Doc] -> Doc Source

Build a variable-argument argument list.

data NullResult lab Source

Constructors

HasNull (Value' lab)
ResolveNull Ident

primTypeNull :: PrimType -> Value' lab Source

floatTypeNull :: FloatType -> Value' lab Source

typeNull :: Type -> NullResult lab Source

elimFunTy :: MonadPlus m => Type -> m (Type, [Type], Bool) Source

elimAlias :: MonadPlus m => Type -> m Ident Source

elimPtrTo :: MonadPlus m => Type -> m Type Source

elimVector :: MonadPlus m => Type -> m (Int32, Type) Source

elimArray :: MonadPlus m => Type -> m (Int32, Type) Source

elimFunPtr :: MonadPlus m => Type -> m (Type, [Type], Bool) Source

elimPrimType :: MonadPlus m => Type -> m PrimType Source

elimFloatType :: MonadPlus m => PrimType -> m FloatType Source

elimSequentialType :: MonadPlus m => Type -> m Type Source

Eliminator for array, pointer and vector types.

data TypeDecl Source

Constructors

TypeDecl
Fields typeName :: Ident typeValue :: Type

Instances

Show TypeDecl

ppTypeDecl :: TypeDecl -> Doc Source

data Global Source

Constructors

Global
Fields globalSym :: Symbol globalAttrs :: GlobalAttrs globalType :: Type globalValue :: Value globalAlign :: Maybe Align

Instances

Show Global

ppGlobal :: Global -> Doc Source

addGlobal :: Global -> Module -> Module Source

data GlobalAttrs Source

Constructors

GlobalAttrs
Fields gaLinkage :: Maybe Linkage gaConstant :: Bool

Instances

Show GlobalAttrs

ppGlobalAttrs :: GlobalAttrs -> Doc Source

data Declare Source

Constructors

Declare
Fields decRetType :: Type decName :: Symbol decArgs :: [Type] decVarArgs :: Bool

Instances

Show Declare

ppDeclare :: Declare -> Doc Source

data Define Source

Constructors

Define
Fields defAttrs :: FunAttrs defRetType :: Type defName :: Symbol defArgs :: [Typed Ident] defVarArgs :: Bool defSection :: Maybe String defBody :: [BasicBlock]

Instances

Show Define

ppDefine :: Define -> Doc Source

addDefine :: Define -> Module -> Module Source

data FunAttrs Source

Constructors

FunAttrs
Fields funLinkage :: Maybe Linkage funGC :: Maybe GC

Instances

Show FunAttrs

emptyFunAttrs :: FunAttrs Source

data BlockLabel Source

Constructors

Named Ident
Anon Int

Instances

Eq BlockLabel
Ord BlockLabel
Show BlockLabel
IsString BlockLabel
IsValue Value
DefineArgs Type (Typed Value -> BB ())
DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ())
DefineArgs as k => DefineArgs ((:>) Type as) (Typed Value -> k)
DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ())

ppLabelDef :: BlockLabel -> Doc Source

ppLabel :: BlockLabel -> Doc Source

data BasicBlock' lab Source

Constructors

BasicBlock
Fields bbLabel :: lab bbStmts :: [Stmt]

Instances

Show lab => Show (BasicBlock' lab)

type BasicBlock = BasicBlock' (Maybe BlockLabel) Source

ppBasicBlock :: BasicBlock -> Doc Source

brTargets :: BasicBlock' lab -> [BlockLabel] Source

data Linkage Source

Symbol Linkage

Constructors

Private
LinkerPrivate
LinkerPrivateWeak
LinkerPrivateWeakDefAuto
Internal
AvailableExternally
Linkonce
Weak
Common
Appending
ExternWeak
LinkonceODR
WeakODR
External
DLLImport
DLLExport

Instances

Eq Linkage
Show Linkage

ppLinkage :: Linkage -> Doc Source

newtype GC Source

Constructors

GC
Fields getGC :: String

Instances

Show GC

ppGC :: GC -> Doc Source

data Typed a Source

Constructors

Typed
Fields typedType :: Type typedValue :: a

Instances

Functor Typed
Foldable Typed
Traversable Typed
DefineArgs Type (Typed Value -> BB ())
Show a => Show (Typed a)
IsValue a => IsValue (Typed a)
DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ())
DefineArgs as k => DefineArgs ((:>) Type as) (Typed Value -> k)
DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ())

mapMTyped :: Monad m => (a -> m b) -> Typed a -> m (Typed b) Source

ppTyped :: (a -> Doc) -> Typed a -> Doc Source

data ArithOp Source

Constructors

Add Bool Bool
FAdd
Sub Bool Bool
FSub
Mul Bool Bool
FMul
UDiv Bool
SDiv Bool
FDiv
URem
SRem
FRem

Instances

Eq ArithOp
Show ArithOp

ppSignBits :: Bool -> Bool -> Doc Source

ppExact :: Bool -> Doc Source

ppArithOp :: ArithOp -> Doc Source

isIArith :: ArithOp -> Bool Source

isFArith :: ArithOp -> Bool Source

data BitOp Source

Constructors

Shl Bool Bool
Lshr Bool
Ashr Bool
And
Or
Xor

Instances

Show BitOp

ppBitOp :: BitOp -> Doc Source

data ConvOp Source

Constructors

Trunc
ZExt
SExt
FpTrunc
FpExt
FpToUi
FpToSi
UiToFp
SiToFp
PtrToInt
IntToPtr
BitCast

Instances

Show ConvOp

ppConvOp :: ConvOp -> Doc Source

type Align = Int Source

data Instr' lab Source

Constructors

Ret (Typed (Value' lab))
RetVoid
Arith ArithOp (Typed (Value' lab)) (Value' lab)
Bit BitOp (Typed (Value' lab)) (Value' lab)
Conv ConvOp (Typed (Value' lab)) Type
Call Bool Type (Value' lab) [Typed (Value' lab)]
Alloca Type (Maybe (Typed (Value' lab))) (Maybe Int)
Load (Typed (Value' lab)) (Maybe Align)
Store (Typed (Value' lab)) (Typed (Value' lab)) (Maybe Align)
ICmp ICmpOp (Typed (Value' lab)) (Value' lab)
FCmp FCmpOp (Typed (Value' lab)) (Value' lab)
Phi Type [(Value' lab, lab)]
GEP Bool (Typed (Value' lab)) [Typed (Value' lab)]
Select (Typed (Value' lab)) (Typed (Value' lab)) (Value' lab)
ExtractValue (Typed (Value' lab)) [Int32]
InsertValue (Typed (Value' lab)) (Typed (Value' lab)) [Int32]
ExtractElt (Typed (Value' lab)) (Value' lab)
InsertElt (Typed (Value' lab)) (Typed (Value' lab)) (Value' lab)
ShuffleVector (Typed (Value' lab)) (Value' lab) (Typed (Value' lab))
Jump lab
Br (Typed (Value' lab)) lab lab
Invoke Type (Value' lab) [Typed (Value' lab)] lab lab
Comment String
Unreachable
Unwind
VaArg (Typed (Value' lab)) Type
IndirectBr (Typed (Value' lab)) [lab]
Switch (Typed (Value' lab)) lab [(Integer, lab)]
LandingPad Type (Typed (Value' lab)) Bool [Clause' lab]
Resume (Typed (Value' lab))

Instances

Functor Instr'
HasLabel Instr'
Show lab => Show (Instr' lab)

type Instr = Instr' BlockLabel Source

data Clause' lab Source

Constructors

Catch (Typed (Value' lab))
Filter (Typed (Value' lab))

Instances

Functor Clause'
HasLabel Clause'
Show lab => Show (Clause' lab)

type Clause = Clause' BlockLabel Source

isTerminator :: Instr' lab -> Bool Source

isComment :: Instr' lab -> Bool Source

isPhi :: Instr' lab -> Bool Source

ppInstr :: Instr -> Doc Source

ppClauses :: Bool -> [Clause] -> Doc Source

ppClause :: Clause -> Doc Source

ppTypedLabel :: BlockLabel -> Doc Source

ppSwitchEntry :: Type -> (Integer, BlockLabel) -> Doc Source

ppVectorIndex :: Value -> Doc Source

ppAlign :: Maybe Align -> Doc Source

ppAlloca :: Type -> Maybe (Typed Value) -> Maybe Int -> Doc Source

ppCall :: Bool -> Type -> Value -> [Typed Value] -> Doc Source

ppCallSym :: Type -> Value -> Doc Source

ppGEP :: Bool -> Typed Value -> [Typed Value] -> Doc Source

ppInvoke :: Type -> Value -> [Typed Value] -> BlockLabel -> BlockLabel -> Doc Source

ppPhiArg :: (Value, BlockLabel) -> Doc Source

data ICmpOp Source

Constructors

Ieq
Ine
Iugt
Iuge
Iult
Iule
Isgt
Isge
Islt
Isle

Instances

Show ICmpOp

ppICmpOp :: ICmpOp -> Doc Source

data FCmpOp Source

Constructors

Ffalse
Foeq
Fogt
Foge
Folt
Fole
Fone
Ford
Fueq
Fugt
Fuge
Fult
Fule
Fune
Funo
Ftrue

Instances

Show FCmpOp

ppFCmpOp :: FCmpOp -> Doc Source

data Value' lab Source

Constructors

ValInteger Integer
ValBool Bool
ValFloat Float
ValDouble Double
ValIdent Ident
ValSymbol Symbol
ValNull
ValArray Type [Value' lab]
ValVector Type [Value' lab]
ValStruct [Typed (Value' lab)]
ValPackedStruct [Typed (Value' lab)]
ValString String
ValConstExpr (ConstExpr' lab)
ValUndef
ValLabel lab
ValZeroInit
ValAsm Bool Bool String String
ValMd (ValMd' lab)

Instances

Functor Value'
HasLabel Value'
IsValue Value
DefineArgs Type (Typed Value -> BB ())
Show lab => Show (Value' lab)
DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ())
DefineArgs as k => DefineArgs ((:>) Type as) (Typed Value -> k)
DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ())

type Value = Value' BlockLabel Source

data ValMd' lab Source

Constructors

ValMdString String
ValMdNode [Typed (Value' lab)]
ValMdRef Int
ValMdLoc (DebugLoc' lab)

Instances

Functor ValMd'
HasLabel ValMd'
Show lab => Show (ValMd' lab)

type ValMd = ValMd' BlockLabel Source

data DebugLoc' lab Source

Constructors

DebugLoc
Fields dlLine :: Int32 dlCol :: Int32 dlScope :: ValMd' lab dlIA :: Maybe (ValMd' lab)

Instances

Functor DebugLoc'
HasLabel DebugLoc'
Show lab => Show (DebugLoc' lab)

type DebugLoc = DebugLoc' BlockLabel Source

isConst :: Value' lab -> Bool Source

ppValue :: Value -> Doc Source

ppValMd :: ValMd -> Doc Source

ppDebugLoc :: DebugLoc -> Doc Source

ppTypedValMd :: ValMd -> Doc Source

ppMetadata :: Doc -> Doc Source

ppMetadataNode :: [Typed Value] -> Doc Source

ppBool :: Bool -> Doc Source

ppStringLiteral :: String -> Doc Source

ppAsm :: Bool -> Bool -> String -> String -> Doc Source

elimValSymbol :: MonadPlus m => Value' lab -> m Symbol Source

elimValInteger :: MonadPlus m => Value' lab -> m Integer Source

data Stmt' lab Source

Constructors

Result Ident (Instr' lab) [(String, ValMd' lab)]
Effect (Instr' lab) [(String, ValMd' lab)]

Instances

Functor Stmt'
HasLabel Stmt'
Show lab => Show (Stmt' lab)

type Stmt = Stmt' BlockLabel Source

stmtInstr :: Stmt' lab -> Instr' lab Source

stmtMetadata :: Stmt' lab -> [(String, ValMd' lab)] Source

extendMetadata :: (String, ValMd' lab) -> Stmt' lab -> Stmt' lab Source

ppStmt :: Stmt -> Doc Source

ppAttachedMetadata :: [(String, ValMd)] -> Doc Source

data ConstExpr' lab Source

Constructors

ConstGEP Bool [Typed (Value' lab)]
ConstConv ConvOp (Typed (Value' lab)) Type
ConstSelect (Typed (Value' lab)) (Typed (Value' lab)) (Typed (Value' lab))
ConstBlockAddr Symbol lab

Instances

Functor ConstExpr'
HasLabel ConstExpr'
Show lab => Show (ConstExpr' lab)

type ConstExpr = ConstExpr' BlockLabel Source

ppConstExpr :: ConstExpr -> Doc Source

data IndexResult Source

Constructors

Invalid	An invalid use of GEP
HasType Type	A resolved type
Resolve Ident (Type -> IndexResult)	Continue, after resolving an alias

isInvalid :: IndexResult -> Bool Source

resolveGep :: Type -> [Typed (Value' lab)] -> IndexResult Source

Resolve the type of a GEP instruction. Note that the type produced is the type of the result, not necessarily a pointer.

resolveGepBody :: Type -> [Typed (Value' lab)] -> IndexResult Source

Resolve the type of a GEP instruction. This assumes that the input has already been processed as a pointer.

isGepIndex :: Typed (Value' lab) -> Bool Source

isGepStructIndex :: Typed (Value' lab) -> Maybe Integer Source

resolveValueIndex :: Type -> [Int32] -> IndexResult Source