LLVM.Extra.Struct

In contrast to Struct it allows to store high-level values and thus allows to implement arbitrary-sized tuples of MultiValue's.

Documentation

newtype T struct

Constructors

Cons struct

Instances

Zero struct => Zero (T struct)

Defined in LLVM.Extra.Struct

Methods

zero :: T struct

Undefined struct => Undefined (T struct)

Defined in LLVM.Extra.Struct

Methods

undef :: T struct

Phi struct => Phi (T struct)

Defined in LLVM.Extra.Struct

Methods

phi :: BasicBlock -> T struct -> CodeGenFunction r (T struct)

addPhi :: BasicBlock -> T struct -> T struct -> CodeGenFunction r ()

Value struct => Value (T struct)

Defined in LLVM.Extra.Struct

Associated Types

type ValueOf (T struct) :: Type

Methods

valueOf :: T struct -> ValueOf (T struct)

Struct struct => C (T struct)

Defined in LLVM.Extra.Multi.Value.Private

Associated Types

type Repr (T struct) :: Type

Methods

cons :: T struct -> T0 (T struct)

undef :: T0 (T struct)

zero :: T0 (T struct)

phi :: BasicBlock -> T0 (T struct) -> CodeGenFunction r (T0 (T struct))

addPhi :: BasicBlock -> T0 (T struct) -> T0 (T struct) -> CodeGenFunction r ()

(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) :: Type

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)))

type ValueOf (T struct)

Defined in LLVM.Extra.Struct

type ValueOf (T struct) = T (ValueOf struct)

type Repr (T struct)

Defined in LLVM.Extra.Multi.Value.Private

type Repr (T struct) = T (Repr struct)

type Struct (T s)

Defined in LLVM.Extra.Memory

type Struct (T s)

class Undefined struct where

Methods

undef :: struct

Instances

Undefined ()

Defined in LLVM.Extra.Struct

Methods

undef :: ()

(Undefined a, Undefined as) => Undefined (a, as)

Defined in LLVM.Extra.Struct

Methods

undef :: (a, as)

class Zero struct where

Methods

zero :: struct

Instances

Zero ()

Defined in LLVM.Extra.Struct

Methods

zero :: ()

(Zero a, Zero as) => Zero (a, as)

Defined in LLVM.Extra.Struct

Methods

zero :: (a, as)

class Phi struct where

Methods

phi :: BasicBlock -> struct -> CodeGenFunction r struct

addPhi :: BasicBlock -> struct -> struct -> CodeGenFunction r ()

Instances

Phi ()

Defined in LLVM.Extra.Struct

Methods

phi :: BasicBlock -> () -> CodeGenFunction r ()

addPhi :: BasicBlock -> () -> () -> CodeGenFunction r ()

(Phi a, Phi as) => Phi (a, as)

Defined in LLVM.Extra.Struct

Methods

phi :: BasicBlock -> (a, as) -> CodeGenFunction r (a, as)

addPhi :: BasicBlock -> (a, as) -> (a, as) -> CodeGenFunction r ()

class Undefined (ValueOf struct) => Value struct where

Associated Types

type ValueOf struct

Methods

valueOf :: struct -> ValueOf struct

Instances

Value ()

Defined in LLVM.Extra.Struct

Associated Types

type ValueOf () :: Type

Methods

valueOf :: () -> ValueOf ()

(Value a, Value as) => Value (a, as)

Defined in LLVM.Extra.Struct

Associated Types

type ValueOf (a, as) :: Type

Methods

valueOf :: (a, as) -> ValueOf (a, as)