Lang.Crucible.LLVM.Intrinsics.Cast

The built-in overrides in Lang.Crucible.LLVM.Intrinsics.Libc and Lang.Crucible.LLVM.Intrinsics.LLVM frequently take arguments of type BVType, but at runtime everything is represented as an LLVMPtr. This module contains helpers for "casting" between pointers and bitvectors.

Documentation

data ValCastError

printValCastError :: ValCastError -> [String]

Turn a ValCastError into a human-readable message (lines).

data ArgCast p sym ext args args'

A function to (infallibly) cast between Assignments of RegEntrys.

data ValCast p sym ext tp tp'

A function to (infallibly) cast a value of types tp to tp'.

castLLVMArgs

Arguments

:: forall p sym ext bak args args'. IsSymBackend sym bak

=> FunctionName

Only used in error messages

-> bak

-> CtxRepr args'

-> CtxRepr args

-> Either ValCastError (ArgCast p sym ext args args')

Attempt to construct a function to cast between Assignments of RegEntrys.

castLLVMRet

Arguments

:: IsSymBackend sym bak

=> FunctionName

Only used in error messages

-> bak

-> TypeRepr ret

-> TypeRepr ret'

-> Either ValCastError (ValCast p sym ext ret ret')

Attempt to construct a function to cast values of type ret to type ret'.