Module Gccjit.LValue

module LValue: sig .. end

val address : ?loc:Gccjit.location -> Gccjit.lvalue -> Gccjit.rvalue

Taking the address of an Gccjit.lvalue; analogous to &(EXPR) in C.

type global_kind =

`\|`	`Exported`
`\|`	`Internal`
`\|`	`Imported`

val global : Gccjit.context ->
       ?loc:Gccjit.location ->
       global_kind -> Gccjit.type_ -> string -> Gccjit.lvalue

Add a new global variable of the given type and name to the context.

The Gccjit.LValue.global_kind parameter determines the visibility of the global outside of the Gccjit.result.

val deref : ?loc:Gccjit.location -> Gccjit.rvalue -> Gccjit.lvalue

Dereferencing a pointer; analogous to *(EXPR) in C.

val deref_field : ?loc:Gccjit.location -> Gccjit.rvalue -> Gccjit.field -> Gccjit.lvalue

Accessing a field of an rvalue of pointer type, analogous (EXPR)->field in C, itself equivalent to (\*EXPR).FIELD

val access_array : ?loc:Gccjit.location -> Gccjit.rvalue -> Gccjit.rvalue -> Gccjit.lvalue

Given an rvalue of pointer type T *, get at the element T at the given index, using standard C array indexing rules i.e. each increment of index corresponds to sizeof(T) bytes. Analogous to PTR[INDEX] in C (or, indeed, to PTR + INDEX).

val access_field : ?loc:Gccjit.location -> Gccjit.lvalue -> Gccjit.field -> Gccjit.lvalue

val param : Gccjit.param -> Gccjit.lvalue

val to_string : Gccjit.lvalue -> string

Get a human-readable description of this object.