Lang.Crucible.LLVM.TypeContext

This module provides functionality for querying simulator type information in a module, and converting llvm-pretty types into simulator types.

LLVMContext

data TypeContext

Provides information about the types in an LLVM bitcode file.

Instances

Show TypeContext

Defined in Lang.Crucible.LLVM.TypeContext

Methods

showsPrec :: Int -> TypeContext -> ShowS

show :: TypeContext -> String

showList :: [TypeContext] -> ShowS

mkTypeContext :: DataLayout -> MetadataMap -> [TypeDecl] -> ([Doc ann], TypeContext)

Creates an LLVMContext from a parsed data layout and lists of types. Errors reported in first argument.

typeContextFromModule :: Module -> ([Doc ann], TypeContext)

Utility function to creates an LLVMContext directly from a model.

llvmDataLayout :: TypeContext -> DataLayout

llvmMetadataMap :: TypeContext -> MetadataMap

type AliasMap = Map Ident SymType

llvmAliasMap :: TypeContext -> AliasMap

LLVMContext query functions.

compatMemTypes :: MemType -> MemType -> Bool

Returns true if types are bit-level compatible.

compatRetTypes :: RetType -> RetType -> Bool

compatMemTypeLists :: [MemType] -> [MemType] -> Bool

lookupAlias :: (?lc :: TypeContext, MonadError String m) => Ident -> m SymType

lookupMetadata :: (?lc :: TypeContext) => Int -> Maybe ValMd

liftType :: (?lc :: TypeContext, MonadError String m) => Type -> m SymType

liftMemType :: (?lc :: TypeContext, MonadError String m) => Type -> m MemType

liftRetType :: (?lc :: TypeContext, MonadError String m) => Type -> m RetType

liftDeclare :: (?lc :: TypeContext, MonadError String m) => Declare -> m FunDecl

asMemType :: (?lc :: TypeContext, MonadError String m) => SymType -> m MemType

If argument corresponds to a MemType possibly via aliases, then return it. Otherwise, returns Nothing.