llvm-pretty-0.7.1.1: A pretty printing library inspired by the llvm binding.

Copyright	Trevor Elliott 2011-2016
License	BSD3
Maintainer	awesomelyawesome@gmail.com
Stability	experimental
Portability	unknown
Safe Haskell	Safe
Language	Haskell2010

Text.LLVM.PP

Description

This is the pretty-printer for llvm assembly versions 3.6 and lower.

Synopsis

Documentation

type LLVM = ?config :: Config Source #

data Config Source #

The differences between various versions of the llvm textual AST.

Constructors

Config
Fields cfgLoadImplicitType :: Bool True when the type of the result of a load is derived from its pointer argument, or supplied implicitly. cfgGEPImplicitType :: Bool True when the type of the result of the GEP instruction is implied. cfgUseDILocation :: Bool

withConfig :: Config -> (LLVM => a) -> a Source #

ppLLVM :: (LLVM => a) -> a Source #

ppLLVM35 :: (LLVM => a) -> a Source #

ppLLVM36 :: (LLVM => a) -> a Source #

ppLLVM37 :: (LLVM => a) -> a Source #

ppLLVM38 :: (LLVM => a) -> a Source #

checkConfig :: LLVM => (Config -> Bool) -> Bool Source #

ppModule :: LLVM => Module -> Doc Source #

ppNamedMd :: NamedMd -> Doc Source #

ppUnnamedMd :: LLVM => UnnamedMd -> Doc Source #

ppGlobalAlias :: LLVM => GlobalAlias -> Doc Source #

ppDataLayout :: DataLayout -> Doc Source #

Pretty print a data layout specification.

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 #

ppInlineAsm :: InlineAsm -> Doc Source #

Pretty-print the inline assembly block.

ppIdent :: Ident -> Doc Source #

ppSymbol :: Symbol -> Doc Source #

ppPrimType :: PrimType -> Doc Source #

ppFloatType :: FloatType -> Doc Source #

ppType :: Type -> Doc Source #

ppTypeDecl :: TypeDecl -> Doc Source #

ppGlobal :: LLVM => Global -> Doc Source #

ppGlobalAttrs :: GlobalAttrs -> Doc Source #

ppDeclare :: Declare -> Doc Source #

ppDefine :: LLVM => Define -> Doc Source #

ppFunAttr :: FunAttr -> Doc Source #

ppLabelDef :: BlockLabel -> Doc Source #

ppLabel :: BlockLabel -> Doc Source #

ppBasicBlock :: LLVM => BasicBlock -> Doc Source #

ppStmt :: LLVM => Stmt -> Doc Source #

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

ppLinkage :: Linkage -> Doc Source #

ppGC :: GC -> Doc Source #

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

ppSignBits :: Bool -> Bool -> Doc Source #

ppExact :: Bool -> Doc Source #

ppArithOp :: ArithOp -> Doc Source #

ppBitOp :: BitOp -> Doc Source #

ppConvOp :: ConvOp -> Doc Source #

ppInstr :: LLVM => Instr -> Doc Source #

ppLoad :: LLVM => Typed (Value' BlockLabel) -> Maybe Align -> Doc Source #

ppClauses :: LLVM => Bool -> [Clause] -> Doc Source #

ppClause :: LLVM => Clause -> Doc Source #

ppTypedLabel :: BlockLabel -> Doc Source #

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

ppVectorIndex :: LLVM => Value -> Doc Source #

ppAlign :: Maybe Align -> Doc Source #

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

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

ppCallSym :: LLVM => Type -> Value -> Doc Source #

ppGEP :: LLVM => Bool -> Typed Value -> [Typed Value] -> Doc Source #

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

ppPhiArg :: LLVM => (Value, BlockLabel) -> Doc Source #

ppICmpOp :: ICmpOp -> Doc Source #

ppFCmpOp :: FCmpOp -> Doc Source #

ppValue :: LLVM => Value -> Doc Source #

ppValMd :: LLVM => ValMd -> Doc Source #

ppDebugLoc :: LLVM => DebugLoc -> Doc Source #

ppTypedValMd :: LLVM => ValMd -> Doc Source #

ppMetadata :: Doc -> Doc Source #

ppMetadataNode :: LLVM => [Maybe ValMd] -> Doc Source #

ppStringLiteral :: String -> Doc Source #

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

ppConstExpr :: LLVM => ConstExpr -> Doc Source #

ppDebugInfo :: LLVM => DebugInfo -> Doc Source #

ppDIBasicType :: DIBasicType -> Doc Source #

ppDICompileUnit :: LLVM => DICompileUnit -> Doc Source #

ppFlags :: Maybe String -> Doc Source #

ppDICompositeType :: LLVM => DICompositeType -> Doc Source #

ppDIDerivedType :: LLVM => DIDerivedType -> Doc Source #

ppDIEnumerator :: String -> Int64 -> Doc Source #

ppDIExpression :: DIExpression -> Doc Source #

ppDIFile :: DIFile -> Doc Source #

ppDIGlobalVariable :: LLVM => DIGlobalVariable -> Doc Source #

ppDIGlobalVariableExpression :: LLVM => DIGlobalVariableExpression -> Doc Source #

ppDILexicalBlock :: LLVM => DILexicalBlock -> Doc Source #

ppDILexicalBlockFile :: LLVM => DILexicalBlockFile -> Doc Source #

ppDILocalVariable :: LLVM => DILocalVariable -> Doc Source #

ppDISubprogram :: LLVM => DISubprogram -> Doc Source #

ppDISubrange :: DISubrange -> Doc Source #

ppDISubroutineType :: LLVM => DISubroutineType -> Doc Source #

ppBool :: Bool -> Doc Source #

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

Build a variable-argument argument list.

integral :: Integral i => i -> Doc Source #

hex :: (Integral i, Show i) => i -> Doc Source #

opt :: Bool -> Doc -> Doc Source #

commas :: [Doc] -> Doc Source #

mcommas :: [Maybe Doc] -> Doc Source #

Helpful for all of the optional fields that appear in the metadata values

angles :: Doc -> Doc Source #

structBraces :: Doc -> Doc Source #

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