Lang.Crucible.LLVM.MemType

Type information.

data SymType

LLVM types supported by symbolic simulator.

Constructors

MemType MemType

Alias Ident

FunType FunDecl

VoidType

OpaqueType

A type that LLVM does not know the structure of such as a struct that is declared, but not defined.

UnsupportedType Type

A type not supported by the symbolic simulator.

Instances

Show SymType

Defined in Lang.Crucible.LLVM.MemType

Methods

showsPrec :: Int -> SymType -> ShowS

show :: SymType -> String

showList :: [SymType] -> ShowS

Eq SymType

Defined in Lang.Crucible.LLVM.MemType

Methods

(==) :: SymType -> SymType -> Bool

(/=) :: SymType -> SymType -> Bool

Ord SymType

Defined in Lang.Crucible.LLVM.MemType

Methods

compare :: SymType -> SymType -> Ordering

(<) :: SymType -> SymType -> Bool

(<=) :: SymType -> SymType -> Bool

(>) :: SymType -> SymType -> Bool

(>=) :: SymType -> SymType -> Bool

max :: SymType -> SymType -> SymType

min :: SymType -> SymType -> SymType

Pretty SymType

Defined in Lang.Crucible.LLVM.MemType

Methods

pretty :: SymType -> Doc ann

prettyList :: [SymType] -> Doc ann

data MemType

LLVM types supported by simulator with a defined size and alignment.

Constructors

IntType Natural

PtrType SymType

A pointer with an explicit pointee type, corresponding to LLVM's PtrTo.

PtrOpaqueType

An opaque pointer type, corresponding to LLVM's PtrOpaque.

FloatType

DoubleType

X86_FP80Type

ArrayType Natural MemType

VecType Natural MemType

StructType StructInfo

MetadataType

Instances

Show MemType

Defined in Lang.Crucible.LLVM.MemType

Methods

showsPrec :: Int -> MemType -> ShowS

show :: MemType -> String

showList :: [MemType] -> ShowS

Eq MemType

Defined in Lang.Crucible.LLVM.MemType

Methods

(==) :: MemType -> MemType -> Bool

(/=) :: MemType -> MemType -> Bool

Ord MemType

Defined in Lang.Crucible.LLVM.MemType

Methods

compare :: MemType -> MemType -> Ordering

(<) :: MemType -> MemType -> Bool

(<=) :: MemType -> MemType -> Bool

(>) :: MemType -> MemType -> Bool

(>=) :: MemType -> MemType -> Bool

max :: MemType -> MemType -> MemType

min :: MemType -> MemType -> MemType

Pretty MemType

Defined in Lang.Crucible.LLVM.MemType

Methods

pretty :: MemType -> Doc ann

prettyList :: [MemType] -> Doc ann

memTypeAlign :: DataLayout -> MemType -> Alignment

Returns ABI byte alignment constraint in bytes.

memTypeSize :: DataLayout -> MemType -> Bytes

Returns size of a SymType in bytes.

ppSymType :: SymType -> Doc ann

Pretty-print a SymType.

ppMemType :: MemType -> Doc ann

Pretty-print a SymType.

memTypeBitwidth :: MemType -> Maybe Natural

Return the number of bits that represent the given memtype, which must be either integer types, floating point types or vectors of the same.

isPointerMemType :: MemType -> Bool

Returns True if this is a pointer type.

Function type information.

data FunDecl

An LLVM function type.

Constructors

FunDecl

Fields

• fdRetType :: !RetType
• fdArgTypes :: ![MemType]
• fdVarArgs :: !Bool

Instances

Eq FunDecl

Defined in Lang.Crucible.LLVM.MemType

Methods

(==) :: FunDecl -> FunDecl -> Bool

(/=) :: FunDecl -> FunDecl -> Bool

Ord FunDecl

Defined in Lang.Crucible.LLVM.MemType

Methods

compare :: FunDecl -> FunDecl -> Ordering

(<) :: FunDecl -> FunDecl -> Bool

(<=) :: FunDecl -> FunDecl -> Bool

(>) :: FunDecl -> FunDecl -> Bool

(>=) :: FunDecl -> FunDecl -> Bool

max :: FunDecl -> FunDecl -> FunDecl

min :: FunDecl -> FunDecl -> FunDecl

type RetType = Maybe MemType

Return type if any.

voidFunDecl :: [MemType] -> FunDecl

Declare function that returns void.

funDecl :: MemType -> [MemType] -> FunDecl

Declare function that returns a value.

varArgsFunDecl :: MemType -> [MemType] -> FunDecl

Declare function that returns a value.

ppFunDecl :: FunDecl -> Doc ann

Pretty-print a function type.

ppRetType :: RetType -> Doc ann

Pretty print a return type.

Struct type information.

data StructInfo

Information about size, alignment, and fields of a struct.

Instances

Show StructInfo

Defined in Lang.Crucible.LLVM.MemType

Methods

showsPrec :: Int -> StructInfo -> ShowS

show :: StructInfo -> String

showList :: [StructInfo] -> ShowS

Eq StructInfo

Defined in Lang.Crucible.LLVM.MemType

Methods

(==) :: StructInfo -> StructInfo -> Bool

(/=) :: StructInfo -> StructInfo -> Bool

Ord StructInfo

Defined in Lang.Crucible.LLVM.MemType

Methods

compare :: StructInfo -> StructInfo -> Ordering

(<) :: StructInfo -> StructInfo -> Bool

(<=) :: StructInfo -> StructInfo -> Bool

(>) :: StructInfo -> StructInfo -> Bool

(>=) :: StructInfo -> StructInfo -> Bool

max :: StructInfo -> StructInfo -> StructInfo

min :: StructInfo -> StructInfo -> StructInfo

siIsPacked :: StructInfo -> Bool

mkStructInfo

Arguments

:: DataLayout

-> Bool

True = packed, False = unpacked

-> [MemType]

Field types

-> StructInfo

Constructs a function for obtaining target-specific size/alignment information about structs. The function produced corresponds to the StructLayout object constructor in TargetData.cpp.

siFieldCount :: StructInfo -> Int

Number of fields in a struct type.

data FieldInfo

Instances

Show FieldInfo

Defined in Lang.Crucible.LLVM.MemType

Methods

showsPrec :: Int -> FieldInfo -> ShowS

show :: FieldInfo -> String

showList :: [FieldInfo] -> ShowS

Eq FieldInfo

Defined in Lang.Crucible.LLVM.MemType

Methods

(==) :: FieldInfo -> FieldInfo -> Bool

(/=) :: FieldInfo -> FieldInfo -> Bool

Ord FieldInfo

Defined in Lang.Crucible.LLVM.MemType

Methods

compare :: FieldInfo -> FieldInfo -> Ordering

(<) :: FieldInfo -> FieldInfo -> Bool

(<=) :: FieldInfo -> FieldInfo -> Bool

(>) :: FieldInfo -> FieldInfo -> Bool

(>=) :: FieldInfo -> FieldInfo -> Bool

max :: FieldInfo -> FieldInfo -> FieldInfo

min :: FieldInfo -> FieldInfo -> FieldInfo

fiOffset :: FieldInfo -> Offset

Byte offset of field relative to start of struct.

fiType :: FieldInfo -> MemType

Type of field.

fiPadding :: FieldInfo -> Bytes

Number of bytes of padding at end of field.

siFieldInfo :: StructInfo -> Int -> Maybe FieldInfo

Returns information for field with given index, if it is defined.

siFieldTypes :: StructInfo -> Vector MemType

The types of a struct type's fields.

siFieldOffset :: StructInfo -> Int -> Maybe Offset

Returns offset of field with given index, if it is defined.

siFields :: StructInfo -> Vector FieldInfo

siIndexOfOffset :: StructInfo -> Offset -> Maybe Int

Returns index of field at the given byte offset (if any).

Common memory types.

i1 :: MemType

1-bit integer type.

i8 :: MemType

8-bit integer type.

i16 :: MemType

16-bit integer type.

i32 :: MemType

32-bit integer type.

i64 :: MemType

64-bit integer type.

i8p :: MemType

Pointer to 8-bit integer.

i16p :: MemType

Pointer to 16-bit integer.

i32p :: MemType

Pointer to 32-bit integer.

i64p :: MemType

Pointer to 64-bit integer.

Re-exports

newtype Ident

Constructors

Ident String

Instances

Data Ident

Defined in Text.LLVM.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ident -> c Ident

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ident

toConstr :: Ident -> Constr

dataTypeOf :: Ident -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ident)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ident)

gmapT :: (forall b. Data b => b -> b) -> Ident -> Ident

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r

gmapQ :: (forall d. Data d => d -> u) -> Ident -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ident -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ident -> m Ident

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident

IsString Ident

Defined in Text.LLVM.AST

Methods

fromString :: String -> Ident

Generic Ident

Defined in Text.LLVM.AST

Associated Types

type Rep Ident :: Type -> Type

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

Show Ident

Defined in Text.LLVM.AST

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

Eq Ident

Defined in Text.LLVM.AST

Methods

(==) :: Ident -> Ident -> Bool

(/=) :: Ident -> Ident -> Bool

Ord Ident

Defined in Text.LLVM.AST

Methods

compare :: Ident -> Ident -> Ordering

(<) :: Ident -> Ident -> Bool

(<=) :: Ident -> Ident -> Bool

(>) :: Ident -> Ident -> Bool

(>=) :: Ident -> Ident -> Bool

max :: Ident -> Ident -> Ident

min :: Ident -> Ident -> Ident

IsValue Ident

Defined in Text.LLVM

Methods

toValue :: Ident -> Value

LLVMPretty Ident

Defined in Text.LLVM.PP

Methods

llvmPP :: Fmt Ident

Lift Ident

Defined in Text.LLVM.AST

Methods

lift :: Quote m => Ident -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Ident -> Code m Ident

DefineArgs Type (Typed Value -> BB ())

Defined in Text.LLVM

Methods

defineBody :: [Typed Ident] -> Type -> (Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs as k => DefineArgs (Type :> as) (Typed Value -> k)

Defined in Text.LLVM

Methods

defineBody :: [Typed Ident] -> (Type :> as) -> (Typed Value -> k) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs (Type, Type) (Typed Value -> Typed Value -> BB ())

Defined in Text.LLVM

Methods

defineBody :: [Typed Ident] -> (Type, Type) -> (Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

DefineArgs (Type, Type, Type) (Typed Value -> Typed Value -> Typed Value -> BB ())

Defined in Text.LLVM

Methods

defineBody :: [Typed Ident] -> (Type, Type, Type) -> (Typed Value -> Typed Value -> Typed Value -> BB ()) -> LLVM ([Typed Ident], [BasicBlock])

type Rep Ident

Defined in Text.LLVM.AST

type Rep Ident = D1 ('MetaData "Ident" "Text.LLVM.AST" "llvm-pretty-0.12.1.0-2dohLUnk4RXHzKmdxzWH3m" 'True) (C1 ('MetaCons "Ident" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

ppIdent :: Ident -> Doc ann