llvm-general-pure-3.5.1.0: Pure Haskell LLVM functionality (no FFI).

Safe HaskellSafe
LanguageHaskell98

LLVM.General.AST

Description

This module and descendants define AST data types to represent LLVM code. Note that these types are designed for fidelity rather than convenience - if the truth of what LLVM supports is less than pretty, so be it.

Synopsis

Documentation

data Module Source

http://llvm.org/docs/LangRef.html#modulestructure

Constructors

Module 

Fields

moduleName :: String
 
moduleDataLayout :: Maybe DataLayout

a DataLayout, if specified, must match that of the eventual code generator

moduleTargetTriple :: Maybe String
 
moduleDefinitions :: [Definition]
 

Instances

defaultModule :: Module Source

helper for making Modules

data Definition Source

Any thing which can be at the top level of a Module

Constructors

GlobalDefinition Global 
TypeDefinition Name (Maybe Type) 
MetadataNodeDefinition MetadataNodeID [Maybe Operand] 
NamedMetadataDefinition String [MetadataNodeID] 
ModuleInlineAssembly String 
FunctionAttributes GroupID [FunctionAttribute] 
COMDAT String SelectionKind 

Instances

data Global Source

http://llvm.org/doxygen/classllvm_1_1GlobalValue.html

Constructors

GlobalVariable Name Linkage Visibility (Maybe StorageClass) (Maybe Model) AddrSpace Bool Bool Type (Maybe Constant) (Maybe String) (Maybe String) Word32

http://llvm.org/docs/LangRef.html#global-variables

GlobalAlias Name Linkage Visibility (Maybe StorageClass) (Maybe Model) Bool Type Constant

http://llvm.org/docs/LangRef.html#aliases

Function Linkage Visibility (Maybe StorageClass) CallingConvention [ParameterAttribute] Type Name ([Parameter], Bool) [Either GroupID FunctionAttribute] (Maybe String) (Maybe String) Word32 (Maybe String) (Maybe Constant) [BasicBlock]

http://llvm.org/docs/LangRef.html#functions

Instances

globalVariableDefaults :: Global Source

helper for making GlobalVariables

globalAliasDefaults :: Global Source

helper for making GlobalAliass

functionDefaults :: Global Source

helper for making Functions

data Parameter Source

Parameters for Functions

Constructors

Parameter Type Name [ParameterAttribute] 

Instances

data BasicBlock Source

http://llvm.org/doxygen/classllvm_1_1BasicBlock.html LLVM code in a function is a sequence of BasicBlocks each with a label, some instructions, and a terminator.

Constructors

BasicBlock Name [Named Instruction] (Named Terminator) 

Instances

module LLVM.General.AST.Instruction

module LLVM.General.AST.Name

module LLVM.General.AST.Operand

module LLVM.General.AST.Type