LLVM.Extra.Memory

Documentation

class (Phi llvmValue, Undefined llvmValue, IsType (Struct llvmValue), IsSized (Struct llvmValue)) => C llvmValue where

An implementation of both MakeValueTuple and C must ensure that haskellValue is compatible with Stored (Struct haskellValue) (which we want to call llvmStruct). That is, writing and reading llvmStruct by LLVM must be the same as accessing haskellValue by Storable methods. ToDo: In future we may also require Storable constraint for llvmStruct.

We use a functional dependency in order to let type inference work nicely.

Associated Types

type Struct llvmValue :: *

Methods

load :: Value (Ptr (Struct llvmValue)) -> CodeGenFunction r llvmValue

store :: llvmValue -> Value (Ptr (Struct llvmValue)) -> CodeGenFunction r ()

decompose :: Value (Struct llvmValue) -> CodeGenFunction r llvmValue

compose :: llvmValue -> CodeGenFunction r (Value (Struct llvmValue))

Instances

C ()

(FirstClass a, IsSized (Stored a)) => C (Value a)

C a => C (T a)

C a => C (T a)

C a => C (T a)

(C a, C b) => C (a, b)

(C a, C b) => C (T a b)

C n a => C (T n a)

(C a, C b, C c) => C (a, b, c)

modify :: C llvmValue => (llvmValue -> CodeGenFunction r llvmValue) -> Value (Ptr (Struct llvmValue)) -> CodeGenFunction r ()

castStorablePtr :: (MakeValueTuple haskellValue, C (ValueTuple haskellValue)) => Ptr haskellValue -> Ptr (Struct (ValueTuple haskellValue))

type Record r o v = Element r o v v

data Element r o v x

Instances

Functor (Element r o v)

Applicative (Element r o v)

element :: (C x, GetValue o n, ValueType o n ~ Struct x, GetElementPtr o (n, ()), ElementPtrType o (n, ()) ~ Struct x) => (v -> x) -> n -> Element r o v x

loadRecord :: Record r o llvmValue -> Value (Ptr o) -> CodeGenFunction r llvmValue

storeRecord :: Record r o llvmValue -> llvmValue -> Value (Ptr o) -> CodeGenFunction r ()

decomposeRecord :: Record r o llvmValue -> Value o -> CodeGenFunction r llvmValue

composeRecord :: IsType o => Record r o llvmValue -> llvmValue -> CodeGenFunction r (Value o)

loadNewtype :: C a => (a -> llvmValue) -> Value (Ptr (Struct a)) -> CodeGenFunction r llvmValue

storeNewtype :: C a => (llvmValue -> a) -> llvmValue -> Value (Ptr (Struct a)) -> CodeGenFunction r ()

decomposeNewtype :: C a => (a -> llvmValue) -> Value (Struct a) -> CodeGenFunction r llvmValue

composeNewtype :: C a => (llvmValue -> a) -> llvmValue -> CodeGenFunction r (Value (Struct a))

class (IsFirstClass llvmType, IsType (Stored llvmType)) => FirstClass llvmType

Associated Types

type Stored llvmType :: *

Instances

FirstClass Bool

FirstClass Double

FirstClass Float

FirstClass Int8

FirstClass Int16

FirstClass Int32

FirstClass Int64

FirstClass Word8

FirstClass Word16

FirstClass Word32

FirstClass Word64

FirstClass (StablePtr a)

IsType a => FirstClass (Ptr a)

IsFunction a => FirstClass (FunPtr a)

(IsFirstClass (Struct s), IsType (Struct (StoredStruct s)), ConvertStruct s D0 s) => FirstClass (Struct s)

(Positive n, IsPrimitive a, IsPrimitive (Stored a), FirstClass a) => FirstClass (Vector n a)

(Natural n, IsFirstClass (Stored a), FirstClass a, IsSized a, IsSized (Stored a)) => FirstClass (Array n a)