Text.LLVM

Contents

• LLVM Monad
• Alias Introduction
• Function Definition
• Types
• Values
• Basic Blocks
• Terminator Instructions
• Binary Operations
• Bitwise Binary Operations
• Conversion Operations
• Aggregate Operations
• Memory Access and Addressing Operations
• Other Operations
• Re-exported

Synopsis

• data LLVM a
• runLLVM :: LLVM a -> (a, Module)
• emitTypeDecl :: TypeDecl -> LLVM ()
• emitGlobal :: Global -> LLVM (Typed Value)
• emitDeclare :: Declare -> LLVM (Typed Value)
• emitDefine :: Define -> LLVM (Typed Value)
• alias :: Ident -> Type -> LLVM ()
• freshSymbol :: LLVM Symbol
• data a :> b = a :> b
• define :: DefineArgs sig k => FunAttrs -> Type -> Symbol -> sig -> k -> LLVM (Typed Value)
• defineFresh :: DefineArgs sig k => FunAttrs -> Type -> sig -> k -> LLVM (Typed Value)
• class DefineArgs a k | a -> k
• define' :: FunAttrs -> Type -> Symbol -> [Type] -> Bool -> ([Typed Value] -> BB ()) -> LLVM (Typed Value)
• declare :: Type -> Symbol -> [Type] -> Bool -> LLVM (Typed Value)
• global :: GlobalAttrs -> Symbol -> Type -> Maybe Value -> LLVM (Typed Value)
• data FunAttrs = FunAttrs {
  • funLinkage :: Maybe Linkage
  • funGC :: Maybe GC
  }
• emptyFunAttrs :: FunAttrs
• iT :: Int32 -> Type
• ptrT :: Type -> Type
• voidT :: Type
• arrayT :: Int32 -> Type -> Type
• (=:) :: Type -> a -> Typed a
• (-:) :: IsValue a => Type -> a -> Typed Value
• class IsValue a where
• int :: Int -> Value
• integer :: Integer -> Value
• struct :: Bool -> [Typed Value] -> Typed Value
• array :: Type -> [Value] -> Typed Value
• string :: Symbol -> String -> LLVM (Typed Value)
• data BB a
• freshLabel :: BB Ident
• label :: Ident -> BB ()
• comment :: String -> BB ()
• assign :: IsValue a => Ident -> BB (Typed a) -> BB (Typed Value)
• ret :: IsValue a => Typed a -> BB ()
• retVoid :: BB ()
• jump :: Ident -> BB ()
• br :: IsValue a => Typed a -> Ident -> Ident -> BB ()
• unreachable :: BB ()
• unwind :: BB ()
• add :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• fadd :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• sub :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• fsub :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• mul :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• fmul :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• udiv :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• sdiv :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• fdiv :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• urem :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• srem :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• frem :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• shl :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• lshr :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• ashr :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• band :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• bor :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• bxor :: (IsValue a, IsValue b) => Typed a -> b -> BB (Typed Value)
• trunc :: IsValue a => Typed a -> Type -> BB (Typed Value)
• zext :: IsValue a => Typed a -> Type -> BB (Typed Value)
• sext :: IsValue a => Typed a -> Type -> BB (Typed Value)
• fptrunc :: IsValue a => Typed a -> Type -> BB (Typed Value)
• fpext :: IsValue a => Typed a -> Type -> BB (Typed Value)
• fptoui :: IsValue a => Typed a -> Type -> BB (Typed Value)
• fptosi :: IsValue a => Typed a -> Type -> BB (Typed Value)
• uitofp :: IsValue a => Typed a -> Type -> BB (Typed Value)
• sitofp :: IsValue a => Typed a -> Type -> BB (Typed Value)
• ptrtoint :: IsValue a => Typed a -> Type -> BB (Typed Value)
• inttoptr :: IsValue a => Typed a -> Type -> BB (Typed Value)
• bitcast :: IsValue a => Typed a -> Type -> BB (Typed Value)
• extractValue :: IsValue a => Typed a -> Int32 -> BB (Typed Value)
• insertValue :: (IsValue a, IsValue b) => Typed a -> Typed b -> Int32 -> BB (Typed Value)
• alloca :: Type -> Maybe (Typed Value) -> Maybe Int -> BB (Typed Value)
• load :: IsValue a => Typed a -> Maybe Align -> BB (Typed Value)
• store :: (IsValue a, IsValue b) => a -> Typed b -> Maybe Align -> BB ()
• getelementptr :: IsValue a => Type -> Typed a -> [Typed Value] -> BB (Typed Value)
• nullPtr :: Type -> Typed Value
• icmp :: (IsValue a, IsValue b) => ICmpOp -> Typed a -> b -> BB (Typed Value)
• fcmp :: (IsValue a, IsValue b) => FCmpOp -> Typed a -> b -> BB (Typed Value)
• phi :: Type -> [PhiArg] -> BB (Typed Value)
• data PhiArg
• from :: IsValue a => a -> BlockLabel -> PhiArg
• select :: (IsValue a, IsValue b, IsValue c) => Typed a -> Typed b -> Typed c -> BB (Typed Value)
• call :: IsValue a => Typed a -> [Typed Value] -> BB (Typed Value)
• call_ :: IsValue a => Typed a -> [Typed Value] -> BB ()
• invoke :: IsValue a => Type -> a -> [Typed Value] -> Ident -> Ident -> BB (Typed Value)
• switch :: IsValue a => Typed a -> Ident -> [(Integer, Ident)] -> BB ()
• shuffleVector :: (IsValue a, IsValue b, IsValue c) => Typed a -> b -> c -> BB (Typed Value)
• module Text.LLVM.AST

LLVM Monad

Alias Introduction

Function Definition

Types

Values

Basic Blocks

Terminator Instructions

Binary Operations

Bitwise Binary Operations

Conversion Operations

Aggregate Operations

Memory Access and Addressing Operations

Other Operations

Re-exported