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.

• cfgUseDILocation :: Bool

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

ppSourceName :: Maybe String -> Doc

ppNamedMd :: NamedMd -> Doc

ppUnnamedMd :: LLVM => UnnamedMd -> Doc

ppGlobalAlias :: LLVM => 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

validIdentifier :: String -> Bool

According to the LLVM Language Reference Manual, the regular expression for LLVM identifiers is "[-a-zA-Z$._][-a-zA-Z$._0-9]". Identifiers may also be strings of one or more decimal digits.

ppSymbol :: Symbol -> Doc

ppPrimType :: PrimType -> Doc

ppFloatType :: FloatType -> Doc

ppType :: Type -> Doc

ppTypeDecl :: TypeDecl -> Doc

ppGlobal :: LLVM => Global -> Doc

ppGlobalAttrs :: GlobalAttrs -> Doc

ppStructGlobalAttrs :: GlobalAttrs -> Doc

ppDeclare :: Declare -> Doc

ppComdatName :: String -> Doc

ppComdat :: (String, SelectionKind) -> Doc

ppSelectionKind :: SelectionKind -> Doc

ppDefine :: LLVM => Define -> Doc

ppFunAttr :: FunAttr -> Doc

ppLabelDef :: BlockLabel -> Doc

ppLabel :: BlockLabel -> Doc

ppBasicBlock :: LLVM => BasicBlock -> Doc

ppStmt :: LLVM => Stmt -> Doc

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

ppLinkage :: Linkage -> Doc

ppVisibility :: Visibility -> 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

ppAtomicOrdering :: AtomicOrdering -> Doc

ppAtomicOp :: AtomicRWOp -> Doc

ppScope :: Maybe String -> Doc

ppInstr :: LLVM => Instr -> Doc

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

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

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

ppClause :: LLVM => Clause -> Doc

ppTypedLabel :: BlockLabel -> Doc

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

ppVectorIndex :: LLVM => Value -> Doc

ppAlign :: Maybe Align -> Doc

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

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

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

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

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

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

ppICmpOp :: ICmpOp -> Doc

ppFCmpOp :: FCmpOp -> Doc

ppValue' :: LLVM => (i -> Doc) -> Value' i -> Doc

ppValue :: LLVM => Value -> Doc

ppValMd' :: LLVM => (i -> Doc) -> ValMd' i -> Doc

ppValMd :: LLVM => ValMd -> Doc

ppDebugLoc' :: LLVM => (i -> Doc) -> DebugLoc' i -> Doc

ppDebugLoc :: LLVM => DebugLoc -> Doc

ppTypedValMd :: LLVM => ValMd -> Doc

ppMetadata :: Doc -> Doc

ppMetadataNode' :: LLVM => (i -> Doc) -> [Maybe (ValMd' i)] -> Doc

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

ppStringLiteral :: String -> Doc

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

ppConstExpr' :: LLVM => (i -> Doc) -> ConstExpr' i -> Doc

ppConstExpr :: LLVM => ConstExpr -> Doc

ppDebugInfo' :: LLVM => (i -> Doc) -> DebugInfo' i -> Doc

ppDebugInfo :: LLVM => DebugInfo -> Doc

ppDIImportedEntity' :: LLVM => (i -> Doc) -> DIImportedEntity' i -> Doc

ppDIImportedEntity :: LLVM => DIImportedEntity -> Doc

ppDILabel' :: LLVM => (i -> Doc) -> DILabel' i -> Doc

ppDILabel :: LLVM => DILabel -> Doc

ppDINameSpace' :: LLVM => (i -> Doc) -> DINameSpace' i -> Doc

ppDINameSpace :: LLVM => DINameSpace -> Doc

ppDITemplateTypeParameter' :: LLVM => (i -> Doc) -> DITemplateTypeParameter' i -> Doc

ppDITemplateTypeParameter :: LLVM => DITemplateTypeParameter -> Doc

ppDITemplateValueParameter' :: LLVM => (i -> Doc) -> DITemplateValueParameter' i -> Doc

ppDITemplateValueParameter :: LLVM => DITemplateValueParameter -> Doc

ppDIBasicType :: DIBasicType -> Doc

ppDICompileUnit' :: LLVM => (i -> Doc) -> DICompileUnit' i -> Doc

ppDICompileUnit :: LLVM => DICompileUnit -> Doc

ppFlags :: Maybe String -> Doc

ppDICompositeType' :: LLVM => (i -> Doc) -> DICompositeType' i -> Doc

ppDICompositeType :: LLVM => DICompositeType -> Doc

ppDIDerivedType' :: LLVM => (i -> Doc) -> DIDerivedType' i -> Doc

ppDIDerivedType :: LLVM => DIDerivedType -> Doc

ppDIEnumerator :: String -> Int64 -> Doc

ppDIExpression :: DIExpression -> Doc

ppDIFile :: DIFile -> Doc

ppDIGlobalVariable' :: LLVM => (i -> Doc) -> DIGlobalVariable' i -> Doc

ppDIGlobalVariable :: LLVM => DIGlobalVariable -> Doc

ppDIGlobalVariableExpression' :: LLVM => (i -> Doc) -> DIGlobalVariableExpression' i -> Doc

ppDIGlobalVariableExpression :: LLVM => DIGlobalVariableExpression -> Doc

ppDILexicalBlock' :: LLVM => (i -> Doc) -> DILexicalBlock' i -> Doc

ppDILexicalBlock :: LLVM => DILexicalBlock -> Doc

ppDILexicalBlockFile' :: LLVM => (i -> Doc) -> DILexicalBlockFile' i -> Doc

ppDILexicalBlockFile :: LLVM => DILexicalBlockFile -> Doc

ppDILocalVariable' :: LLVM => (i -> Doc) -> DILocalVariable' i -> Doc

ppDILocalVariable :: LLVM => DILocalVariable -> Doc

ppDISubprogram' :: LLVM => (i -> Doc) -> DISubprogram' i -> Doc

See writeDISubprogram in the LLVM source, in the file AsmWriter.cpp

ppDISubprogram :: LLVM => DISubprogram -> Doc

ppDISubrange :: DISubrange -> Doc

ppDISubroutineType' :: LLVM => (i -> Doc) -> DISubroutineType' i -> Doc

ppDISubroutineType :: LLVM => 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