Text.LLVM.PP

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

Documentation

type LLVM = ?config :: Config

data Config

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.

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

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

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

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

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

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

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

ppModule :: LLVM => Module -> Doc

ppNamedMd :: NamedMd -> Doc

ppUnnamedMd :: UnnamedMd -> Doc

ppGlobalAlias :: GlobalAlias -> Doc

ppDataLayout :: DataLayout -> Doc

Pretty print a data layout specification.

ppLayoutSpec :: LayoutSpec -> Doc

Pretty print a single layout specification.

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

Pretty-print the common case for data layout specifications.

ppMangling :: Mangling -> Doc

ppInlineAsm :: InlineAsm -> Doc

Pretty-print the inline assembly block.

ppIdent :: Ident -> Doc

ppSymbol :: Symbol -> Doc

ppPrimType :: PrimType -> Doc

ppFloatType :: FloatType -> Doc

ppType :: Type -> Doc

ppTypeDecl :: TypeDecl -> Doc

ppGlobal :: Global -> Doc

ppGlobalAttrs :: GlobalAttrs -> Doc

ppDeclare :: Declare -> Doc

ppDefine :: LLVM => Define -> Doc

ppFunAttr :: FunAttr -> Doc

ppLabelDef :: BlockLabel -> Doc

ppLabel :: BlockLabel -> Doc

ppBasicBlock :: LLVM => BasicBlock -> Doc

ppStmt :: LLVM => Stmt -> Doc

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

ppLinkage :: Linkage -> Doc

ppGC :: GC -> Doc

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

ppSignBits :: Bool -> Bool -> Doc

ppExact :: Bool -> Doc

ppArithOp :: ArithOp -> Doc

ppBitOp :: BitOp -> Doc

ppConvOp :: ConvOp -> Doc

ppInstr :: LLVM => Instr -> Doc

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

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

ppClause :: Clause -> Doc

ppTypedLabel :: BlockLabel -> Doc

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

ppVectorIndex :: Value -> Doc

ppAlign :: Maybe Align -> Doc

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

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

ppCallSym :: Type -> Value -> Doc

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

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

ppPhiArg :: (Value, BlockLabel) -> Doc

ppICmpOp :: ICmpOp -> Doc

ppFCmpOp :: FCmpOp -> Doc

ppValue :: Value -> Doc

ppValMd :: ValMd -> Doc

ppDebugLoc :: DebugLoc -> Doc

ppTypedValMd :: ValMd -> Doc

ppMetadata :: Doc -> Doc

ppMetadataNode :: [Maybe ValMd] -> Doc

ppStringLiteral :: String -> Doc

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

ppConstExpr :: ConstExpr -> Doc

ppDebugInfo :: DebugInfo -> Doc

ppDIBasicType :: DIBasicType -> Doc

ppDICompileUnit :: DICompileUnit -> Doc

ppDICompositeType :: DICompositeType -> Doc

ppDIDerivedType :: DIDerivedType -> Doc

ppDIEnumerator :: String -> Int64 -> Doc

ppDIExpression :: DIExpression -> Doc

ppDIFile :: DIFile -> Doc

ppDIGlobalVariable :: DIGlobalVariable -> Doc

ppDIGlobalVariableExpression :: DIGlobalVariableExpression -> Doc

ppDILexicalBlock :: DILexicalBlock -> Doc

ppDILexicalBlockFile :: DILexicalBlockFile -> Doc

ppDILocalVariable :: DILocalVariable -> Doc

ppDISubprogram :: DISubprogram -> Doc

ppDISubrange :: DISubrange -> Doc

ppDISubroutineType :: DISubroutineType -> Doc

ppBool :: Bool -> Doc

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

Build a variable-argument argument list.

integral :: Integral i => i -> Doc

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

opt :: Bool -> Doc -> Doc

commas :: [Doc] -> Doc

mcommas :: [Maybe Doc] -> Doc

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

angles :: Doc -> Doc

structBraces :: Doc -> Doc

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