LLVM.Extra.Multi.Value.Storable

Basic class

class (Storable a, C a) => C a where

Methods

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

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

Instances

C Int16

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Int16) -> CodeGenFunction r (T Int16)

store :: T Int16 -> Value (Ptr Int16) -> CodeGenFunction r ()

C Int32

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Int32) -> CodeGenFunction r (T Int32)

store :: T Int32 -> Value (Ptr Int32) -> CodeGenFunction r ()

C Int64

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Int64) -> CodeGenFunction r (T Int64)

store :: T Int64 -> Value (Ptr Int64) -> CodeGenFunction r ()

C Int8

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Int8) -> CodeGenFunction r (T Int8)

store :: T Int8 -> Value (Ptr Int8) -> CodeGenFunction r ()

C Word16

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Word16) -> CodeGenFunction r (T Word16)

store :: T Word16 -> Value (Ptr Word16) -> CodeGenFunction r ()

C Word32

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Word32) -> CodeGenFunction r (T Word32)

store :: T Word32 -> Value (Ptr Word32) -> CodeGenFunction r ()

C Word64

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Word64) -> CodeGenFunction r (T Word64)

store :: T Word64 -> Value (Ptr Word64) -> CodeGenFunction r ()

C Word8

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Word8) -> CodeGenFunction r (T Word8)

store :: T Word8 -> Value (Ptr Word8) -> CodeGenFunction r ()

C Bool8

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Bool8) -> CodeGenFunction r (T Bool8)

store :: T Bool8 -> Value (Ptr Bool8) -> CodeGenFunction r ()

C ()

Defined in LLVM.Extra.Multi.Value.Storable

Methods

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

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

C Bool

Not very efficient implementation because we want to adapt to sizeOf Bool dynamically. Unfortunately, LLVM-9's optimizer does not recognize the instruction pattern. Better use Bool8 for booleans.

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Bool) -> CodeGenFunction r (T Bool)

store :: T Bool -> Value (Ptr Bool) -> CodeGenFunction r ()

C Double

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Double) -> CodeGenFunction r (T Double)

store :: T Double -> Value (Ptr Double) -> CodeGenFunction r ()

C Float

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Float) -> CodeGenFunction r (T Float)

store :: T Float -> Value (Ptr Float) -> CodeGenFunction r ()

C Int

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Int) -> CodeGenFunction r (T Int)

store :: T Int -> Value (Ptr Int) -> CodeGenFunction r ()

C Word

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr Word) -> CodeGenFunction r (T Word)

store :: T Word -> Value (Ptr Word) -> CodeGenFunction r ()

C a => C (Complex a)

Defined in LLVM.Extra.Multi.Value.Storable

Methods

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

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

(Marshal a, IsConst a, IsFirstClass a) => C (Stored a)

Defined in LLVM.Extra.Multi.Value.Storable

Methods

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

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

Tuple tuple => C (Tuple tuple)

Defined in LLVM.Extra.Multi.Value.Storable

Methods

load :: Value (Ptr (Tuple tuple)) -> CodeGenFunction r (T (Tuple tuple))

store :: T (Tuple tuple) -> Value (Ptr (Tuple tuple)) -> CodeGenFunction r ()

(Positive n, Vector a) => C (Vector n a)

Defined in LLVM.Extra.Multi.Value.Storable

Methods

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

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

storeNext :: (C a, Value (Ptr a) ~ ptr) => T a -> ptr -> CodeGenFunction r ptr

modify :: (C a, T a ~ al) => (al -> CodeGenFunction r al) -> Value (Ptr a) -> CodeGenFunction r ()

Classes for tuples and vectors

class (Storable tuple, C tuple) => Tuple tuple where

Methods

loadTuple :: Value (Ptr (Tuple tuple)) -> CodeGenFunction r (T tuple)

storeTuple :: T tuple -> Value (Ptr (Tuple tuple)) -> CodeGenFunction r ()

Instances

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

Defined in LLVM.Extra.Multi.Value.Storable

Methods

loadTuple :: Value (Ptr (Tuple (a, b))) -> CodeGenFunction r (T (a, b))

storeTuple :: T (a, b) -> Value (Ptr (Tuple (a, b))) -> CodeGenFunction r ()

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

Defined in LLVM.Extra.Multi.Value.Storable

Methods

loadTuple :: Value (Ptr (Tuple (a, b, c))) -> CodeGenFunction r (T (a, b, c))

storeTuple :: T (a, b, c) -> Value (Ptr (Tuple (a, b, c))) -> CodeGenFunction r ()

class (C a, C a) => Vector a where

Methods

assembleVector :: Positive n => Proxy a -> Vector n (Repr a) -> CodeGenFunction r (Repr n a)

disassembleVector :: Positive n => Proxy a -> Repr n a -> CodeGenFunction r (Vector n (Repr a))

Instances

Vector Int16

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Int16 -> Vector n (Repr Int16) -> CodeGenFunction r (Repr n Int16)

disassembleVector :: Positive n => Proxy Int16 -> Repr n Int16 -> CodeGenFunction r (Vector n (Repr Int16))

Vector Int32

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Int32 -> Vector n (Repr Int32) -> CodeGenFunction r (Repr n Int32)

disassembleVector :: Positive n => Proxy Int32 -> Repr n Int32 -> CodeGenFunction r (Vector n (Repr Int32))

Vector Int64

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Int64 -> Vector n (Repr Int64) -> CodeGenFunction r (Repr n Int64)

disassembleVector :: Positive n => Proxy Int64 -> Repr n Int64 -> CodeGenFunction r (Vector n (Repr Int64))

Vector Int8

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Int8 -> Vector n (Repr Int8) -> CodeGenFunction r (Repr n Int8)

disassembleVector :: Positive n => Proxy Int8 -> Repr n Int8 -> CodeGenFunction r (Vector n (Repr Int8))

Vector Word16

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Word16 -> Vector n (Repr Word16) -> CodeGenFunction r (Repr n Word16)

disassembleVector :: Positive n => Proxy Word16 -> Repr n Word16 -> CodeGenFunction r (Vector n (Repr Word16))

Vector Word32

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Word32 -> Vector n (Repr Word32) -> CodeGenFunction r (Repr n Word32)

disassembleVector :: Positive n => Proxy Word32 -> Repr n Word32 -> CodeGenFunction r (Vector n (Repr Word32))

Vector Word64

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Word64 -> Vector n (Repr Word64) -> CodeGenFunction r (Repr n Word64)

disassembleVector :: Positive n => Proxy Word64 -> Repr n Word64 -> CodeGenFunction r (Vector n (Repr Word64))

Vector Word8

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Word8 -> Vector n (Repr Word8) -> CodeGenFunction r (Repr n Word8)

disassembleVector :: Positive n => Proxy Word8 -> Repr n Word8 -> CodeGenFunction r (Vector n (Repr Word8))

Vector Bool8

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Bool8 -> Vector n (Repr Bool8) -> CodeGenFunction r (Repr n Bool8)

disassembleVector :: Positive n => Proxy Bool8 -> Repr n Bool8 -> CodeGenFunction r (Vector n (Repr Bool8))

Vector Bool

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Bool -> Vector n (Repr Bool) -> CodeGenFunction r (Repr n Bool)

disassembleVector :: Positive n => Proxy Bool -> Repr n Bool -> CodeGenFunction r (Vector n (Repr Bool))

Vector Double

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Double -> Vector n (Repr Double) -> CodeGenFunction r (Repr n Double)

disassembleVector :: Positive n => Proxy Double -> Repr n Double -> CodeGenFunction r (Vector n (Repr Double))

Vector Float

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Float -> Vector n (Repr Float) -> CodeGenFunction r (Repr n Float)

disassembleVector :: Positive n => Proxy Float -> Repr n Float -> CodeGenFunction r (Vector n (Repr Float))

Vector Int

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Int -> Vector n (Repr Int) -> CodeGenFunction r (Repr n Int)

disassembleVector :: Positive n => Proxy Int -> Repr n Int -> CodeGenFunction r (Vector n (Repr Int))

Vector Word

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy Word -> Vector n (Repr Word) -> CodeGenFunction r (Repr n Word)

disassembleVector :: Positive n => Proxy Word -> Repr n Word -> CodeGenFunction r (Vector n (Repr Word))

(Tuple tuple, TupleVector tuple) => Vector (Tuple tuple)

Defined in LLVM.Extra.Multi.Value.Storable

Methods

assembleVector :: Positive n => Proxy (Tuple tuple) -> Vector n (Repr (Tuple tuple)) -> CodeGenFunction r (Repr n (Tuple tuple))

disassembleVector :: Positive n => Proxy (Tuple tuple) -> Repr n (Tuple tuple) -> CodeGenFunction r (Vector n (Repr (Tuple tuple)))

class C a => TupleVector a where

Methods

deinterleave :: Positive n => Proxy a -> Vector n (Repr a) -> CodeGenFunction r (Repr n a)

interleave :: Positive n => Proxy a -> Repr n a -> CodeGenFunction r (Vector n (Repr a))

Instances

(Vector a, Vector b) => TupleVector (a, b)

Defined in LLVM.Extra.Multi.Value.Storable

Methods

deinterleave :: Positive n => Proxy (a, b) -> Vector n (Repr (a, b)) -> CodeGenFunction r (Repr n (a, b))

interleave :: Positive n => Proxy (a, b) -> Repr n (a, b) -> CodeGenFunction r (Vector n (Repr (a, b)))

(Vector a, Vector b, Vector c) => TupleVector (a, b, c)

Defined in LLVM.Extra.Multi.Value.Storable

Methods

deinterleave :: Positive n => Proxy (a, b, c) -> Vector n (Repr (a, b, c)) -> CodeGenFunction r (Repr n (a, b, c))

interleave :: Positive n => Proxy (a, b, c) -> Repr n (a, b, c) -> CodeGenFunction r (Vector n (Repr (a, b, c)))

Standard method implementations

loadTraversable :: (Repeat f, Traversable f, C a, Repr fa ~ f (Repr a)) => Value (Ptr (f a)) -> CodeGenFunction r (T fa)

loadApplicative :: (Applicative f, Traversable f, C a, Repr fa ~ f (Repr a)) => Value (Ptr (f a)) -> CodeGenFunction r (T fa)

storeFoldable :: (Foldable f, C a, Repr fa ~ f (Repr a)) => T fa -> Value (Ptr (f a)) -> CodeGenFunction r ()

Pointer handling

advancePtr :: (Storable a, Value (Ptr a) ~ ptr) => Value Int -> ptr -> CodeGenFunction r ptr

incrementPtr :: (Storable a, Value (Ptr a) ~ ptr) => ptr -> CodeGenFunction r ptr

decrementPtr :: (Storable a, Value (Ptr a) ~ ptr) => ptr -> CodeGenFunction r ptr

Loops over Storable arrays

arrayLoop :: (Phi s, Num i, IsConst i, IsInteger i, CmpRet i, IsPrimitive i, Storable a, Value (Ptr a) ~ ptrA) => Value i -> ptrA -> s -> (ptrA -> s -> CodeGenFunction r s) -> CodeGenFunction r s

arrayLoop2 :: (Phi s, Num i, IsConst i, IsInteger i, CmpRet i, IsPrimitive i, Storable a, Value (Ptr a) ~ ptrA, Storable b, Value (Ptr b) ~ ptrB) => Value i -> ptrA -> ptrB -> s -> (ptrA -> ptrB -> s -> CodeGenFunction r s) -> CodeGenFunction r s

arrayLoopMaybeCont :: (Phi s, Undefined s, Num i, IsConst i, IsInteger i, CmpRet i, IsPrimitive i, Storable a, Value (Ptr a) ~ ptrA, T (ptrA, s) ~ z) => Value i -> ptrA -> s -> (ptrA -> s -> T r z s) -> CodeGenFunction r (Value i, T s)

arrayLoopMaybeCont2 :: (Phi s, Undefined s, Num i, IsConst i, IsInteger i, CmpRet i, IsPrimitive i, Storable a, Value (Ptr a) ~ ptrA, Storable b, Value (Ptr b) ~ ptrB, T (ptrA, (ptrB, s)) ~ z) => Value i -> ptrA -> ptrB -> s -> (ptrA -> ptrB -> s -> T r z s) -> CodeGenFunction r (Value i, T s)