LLVM.Extra.Memory

Documentation

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

An implementation of both Value 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.

Minimal complete definition

decompose, compose

Methods

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

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

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

In principle it holds:

decompose struct = do
  ptr <- LLVM.alloca
  LLVM.store struct ptr
  Memory.load ptr

but alloca will blast your stack when used in a loop.

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

In principle it holds:

compose struct = do
  ptr <- LLVM.alloca
  Memory.store struct ptr
  LLVM.load ptr

but alloca will blast your stack when used in a loop.

Instances

C ()

Defined in LLVM.Extra.Memory

Associated Types

type Struct ()

Methods

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

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

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

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

C a => C (Complex a)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (Complex a)

Methods

load :: Value (Ptr (Struct (Complex a))) -> CodeGenFunction r (Complex a)

store :: Complex a -> Value (Ptr (Struct (Complex a))) -> CodeGenFunction r ()

decompose :: Value (Struct (Complex a)) -> CodeGenFunction r (Complex a)

compose :: Complex a -> CodeGenFunction r (Value (Struct (Complex a)))

C a => C (T a)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T a)

Methods

load :: Value (Ptr (Struct (T a))) -> CodeGenFunction r (T a)

store :: T a -> Value (Ptr (Struct (T a))) -> CodeGenFunction r ()

decompose :: Value (Struct (T a)) -> CodeGenFunction r (T a)

compose :: T a -> CodeGenFunction r (Value (Struct (T a)))

(IsType (Struct (Repr a)), IsSized (Struct (Repr a)), C a, C (Repr a)) => C (T a)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T a)

Methods

load :: Value (Ptr (Struct (T a))) -> CodeGenFunction r (T a)

store :: T a -> Value (Ptr (Struct (T a))) -> CodeGenFunction r ()

decompose :: Value (Struct (T a)) -> CodeGenFunction r (T a)

compose :: T a -> CodeGenFunction r (Value (Struct (T a)))

C a => C (T a)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T a)

Methods

load :: Value (Ptr (Struct (T a))) -> CodeGenFunction r (T a)

store :: T a -> Value (Ptr (Struct (T a))) -> CodeGenFunction r ()

decompose :: Value (Struct (T a)) -> CodeGenFunction r (T a)

compose :: T a -> CodeGenFunction r (Value (Struct (T a)))

(Phi s, Undefined s, StructFields (StructStruct s), ConvertStruct (StructStruct s) D0 s) => C (T s)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T s)

Methods

load :: Value (Ptr (Struct (T s))) -> CodeGenFunction r (T s)

store :: T s -> Value (Ptr (Struct (T s))) -> CodeGenFunction r ()

decompose :: Value (Struct (T s)) -> CodeGenFunction r (T s)

compose :: T s -> CodeGenFunction r (Value (Struct (T s)))

IsSized a => C (Value a)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (Value a)

Methods

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

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

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

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

(Natural n, C a, Natural (FromUnary n), Natural (FromUnary n :*: SizeOf (Struct a)), IsFirstClass (Struct a)) => C (T n a)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T n a)

Methods

load :: Value (Ptr (Struct (T n a))) -> CodeGenFunction r (T n a)

store :: T n a -> Value (Ptr (Struct (T n a))) -> CodeGenFunction r ()

decompose :: Value (Struct (T n a)) -> CodeGenFunction r (T n a)

compose :: T n a -> CodeGenFunction r (Value (Struct (T n a)))

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

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T a b)

Methods

load :: Value (Ptr (Struct (T a b))) -> CodeGenFunction r (T a b)

store :: T a b -> Value (Ptr (Struct (T a b))) -> CodeGenFunction r ()

decompose :: Value (Struct (T a b)) -> CodeGenFunction r (T a b)

compose :: T a b -> CodeGenFunction r (Value (Struct (T a b)))

(IsType (Struct (Repr n a)), IsSized (Struct (Repr n a)), Positive n, C a, C (Repr n a)) => C (T n a)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T n a)

Methods

load :: Value (Ptr (Struct (T n a))) -> CodeGenFunction r (T n a)

store :: T n a -> Value (Ptr (Struct (T n a))) -> CodeGenFunction r ()

decompose :: Value (Struct (T n a)) -> CodeGenFunction r (T n a)

compose :: T n a -> CodeGenFunction r (Value (Struct (T n a)))

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

Defined in LLVM.Extra.Memory

Associated Types

type Struct (a, b)

Methods

load :: Value (Ptr (Struct (a, b))) -> CodeGenFunction r (a, b)

store :: (a, b) -> Value (Ptr (Struct (a, b))) -> CodeGenFunction r ()

decompose :: Value (Struct (a, b)) -> CodeGenFunction r (a, b)

compose :: (a, b) -> CodeGenFunction r (Value (Struct (a, b)))

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

Defined in LLVM.Extra.Memory

Associated Types

type Struct (a, b, c)

Methods

load :: Value (Ptr (Struct (a, b, c))) -> CodeGenFunction r (a, b, c)

store :: (a, b, c) -> Value (Ptr (Struct (a, b, c))) -> CodeGenFunction r ()

decompose :: Value (Struct (a, b, c)) -> CodeGenFunction r (a, b, c)

compose :: (a, b, c) -> CodeGenFunction r (Value (Struct (a, b, c)))

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

Defined in LLVM.Extra.Memory

Associated Types

type Struct (a, b, c, d)

Methods

load :: Value (Ptr (Struct (a, b, c, d))) -> CodeGenFunction r (a, b, c, d)

store :: (a, b, c, d) -> Value (Ptr (Struct (a, b, c, d))) -> CodeGenFunction r ()

decompose :: Value (Struct (a, b, c, d)) -> CodeGenFunction r (a, b, c, d)

compose :: (a, b, c, d) -> CodeGenFunction r (Value (Struct (a, b, c, d)))

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

type family Struct llvmValue

Instances

type Struct ()

Defined in LLVM.Extra.Memory

type Struct () = Struct ()

type Struct (Complex a)

Defined in LLVM.Extra.Memory

type Struct (Complex a) = Struct (Struct a, (Struct a, ()))

type Struct (T a)

Defined in LLVM.Extra.Memory

type Struct (T a) = Struct (Bool, (Struct a, ()))

type Struct (T a)

Defined in LLVM.Extra.Memory

type Struct (T a) = Struct (Repr a)

type Struct (T a)

Defined in LLVM.Extra.Memory

type Struct (T a) = Struct a

type Struct (T s)

Defined in LLVM.Extra.Memory

type Struct (T s)

type Struct (Value a)

Defined in LLVM.Extra.Memory

type Struct (Value a) = a

type Struct (T n a)

Defined in LLVM.Extra.Memory

type Struct (T n a) = Array (FromUnary n) (Struct a)

type Struct (T a b)

Defined in LLVM.Extra.Memory

type Struct (T a b) = Struct (Bool, (Struct a, (Struct b, ())))

type Struct (T n a)

Defined in LLVM.Extra.Memory

type Struct (T n a) = Struct (Repr n a)

type Struct (a, b)

Defined in LLVM.Extra.Memory

type Struct (a, b) = Struct (Struct a, (Struct b, ()))

type Struct (a, b, c)

Defined in LLVM.Extra.Memory

type Struct (a, b, c) = Struct (Struct a, (Struct b, (Struct c, ())))

type Struct (a, b, c, d)

Defined in LLVM.Extra.Memory

type Struct (a, b, c, d) = Struct (Struct a, (Struct b, (Struct c, (Struct d, ()))))

type Record r o v = Element r o v v

data Element r o v x

Instances

Applicative (Element r o v)

Defined in LLVM.Extra.Memory

Methods

pure :: a -> Element r o v a

(<*>) :: Element r o v (a -> b) -> Element r o v a -> Element r o v b

liftA2 :: (a -> b -> c) -> Element r o v a -> Element r o v b -> Element r o v c

(*>) :: Element r o v a -> Element r o v b -> Element r o v b

(<*) :: Element r o v a -> Element r o v b -> Element r o v a

Functor (Element r o v)

Defined in LLVM.Extra.Memory

Methods

fmap :: (a -> b) -> Element r o v a -> Element r o v b

(<$) :: a -> Element r o v b -> Element r o v a

element :: (C x, IsType o, 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))