Safe Haskell	Safe-Inferred
Language	Haskell98

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

Eq Module
Data Module
Read Module
Show Module
PrettyShow Module
Typeable * Module

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

Instances

Eq Definition
Data Definition
Read Definition
Show Definition
PrettyShow Definition
Typeable * Definition

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

Eq Parameter
Data Parameter
Read Parameter
Show Parameter
PrettyShow Parameter
Typeable * Parameter

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

Eq BasicBlock
Data BasicBlock
Read BasicBlock
Show BasicBlock
PrettyShow BasicBlock
Typeable * BasicBlock

module LLVM.General.AST.Instruction

module LLVM.General.AST.Name

module LLVM.General.AST.Operand

module LLVM.General.AST.Type

GlobalVariable Name Linkage Visibility Bool AddrSpace Bool Bool Type (Maybe Constant) (Maybe String) Word32	http://llvm.org/docs/LangRef.html#global-variables
GlobalAlias Name Linkage Visibility Type Constant	http://llvm.org/docs/LangRef.html#aliases
Function Linkage Visibility CallingConvention [ParameterAttribute] Type Name ([Parameter], Bool) [FunctionAttribute] (Maybe String) Word32 (Maybe String) [BasicBlock]	http://llvm.org/docs/LangRef.html#functions

Eq Global
Data Global
Read Global
Show Global
PrettyShow Global
Typeable * Global