package gccjit

  1. Overview
  2. Docs
val address : ?loc:location -> lvalue -> rvalue

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

type global_kind =
  1. | Exported
  2. | Internal
  3. | Imported
val global : context -> ?loc:location -> global_kind -> type_ -> string -> lvalue

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

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

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

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

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

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

val access_array : ?loc:location -> rvalue -> rvalue -> 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:location -> lvalue -> field -> lvalue
val param : param -> lvalue
val to_string : lvalue -> string

Get a human-readable description of this object.

OCaml

Innovation. Community. Security.