Text.LLVM.DebugUtils

Point-of-contact : emertens

Definition type analyzer

data Info

Constructors

Pointer Info

Structure [(String, Info)]

Union [(String, Info)]

BaseType String

Unknown

Instances

Show Info

Methods

showsPrec :: Int -> Info -> ShowS

show :: Info -> String

showList :: [Info] -> ShowS

computeFunctionTypes

Arguments

:: Module

module to search

-> Symbol

function symbol

-> Maybe [Info]

return and argument type information

Compute the structures of a function's return and argument types using DWARF information metadata of the LLVM module. Different versions of LLVM make this information available via different paths. This function attempts to support the variations.

valMdToInfo :: MdMap -> ValMd -> Info

localVariableNameDeclarations

Arguments

:: IntMap ValMd

unnamed metadata

-> Define

function definition

-> Map Ident Ident

raw name, actual name

Metadata lookup

mkMdMap :: Module -> IntMap ValMd

Compute an IntMap of the unnamed metadata in a module

Type structure dereference

derefInfo

Arguments

:: Info

pointer type information

-> Info

type information of pointer's base type

If the argument describes a pointer, return the information for the type that it points do.

fieldIndexByPosition

Arguments

:: Int

zero-based field index

-> Info

composite type information

-> Info

type information for specified field

If the argument describes a composite type, returns the type of the field by zero-based index into the list of fields.

fieldIndexByName

Arguments

:: String

field name

-> Info

composite type info

-> Maybe Int

zero-based index of field matching the name

If the argument describes a composite type, return the first, zero-based index of the field in that type that matches the given name.