Module Gccjit.RValue

module RValue: sig .. end

val type_of : Gccjit.rvalue -> Gccjit.type_

Get the type of this Gccjit.rvalue.

val int : Gccjit.context -> Gccjit.type_ -> int -> Gccjit.rvalue

Given a numeric type (integer or floating point), build an Gccjit.rvalue for the given constant int value.

val zero : Gccjit.context -> Gccjit.type_ -> Gccjit.rvalue

Given a numeric type (integer or floating point), get the Gccjit.rvalue for zero. Essentially this is just a shortcut for:

new_rvalue_from_int ctx numeric_type 0

val one : Gccjit.context -> Gccjit.type_ -> Gccjit.rvalue

Given a numeric type (integer or floating point), get the Gccjit.rvalue for one. Essentially this is just a shortcut for:

new_rvalue_from_int ctx numeric_type 1

val double : Gccjit.context -> Gccjit.type_ -> float -> Gccjit.rvalue

Given a numeric type (integer or floating point), build an Gccjit.rvalue for the given constant double value.

val ptr : Gccjit.context -> Gccjit.type_ -> 'a Ctypes.ptr -> Gccjit.rvalue

Given a pointer type, build an Gccjit.rvalue for the given address.

val null : Gccjit.context -> Gccjit.type_ -> Gccjit.rvalue

Given a pointer type, build an Gccjit.rvalue for NULL. Essentially this is just a shortcut for:

new_rvalue_from_ptr ctx pointer_type Ctypes.null

val string_literal : Gccjit.context -> string -> Gccjit.rvalue

Generate an Gccjit.rvalue for the given NIL-terminated string, of type Const_char_ptr.

val unary_op : Gccjit.context ->
       ?loc:Gccjit.location ->
       Gccjit.unary_op -> Gccjit.type_ -> Gccjit.rvalue -> Gccjit.rvalue

Build a unary operation out of an input Gccjit.rvalue. See Gccjit.RValue.unary_op.

val binary_op : Gccjit.context ->
       ?loc:Gccjit.location ->
       Gccjit.binary_op ->
       Gccjit.type_ -> Gccjit.rvalue -> Gccjit.rvalue -> Gccjit.rvalue

Build a binary operation out of two constituent rvalues. See Gccjit.RValue.binary_op.

val comparison : Gccjit.context ->
       ?loc:Gccjit.location ->
       Gccjit.comparison -> Gccjit.rvalue -> Gccjit.rvalue -> Gccjit.rvalue

Build a boolean Gccjit.rvalue out of the comparison of two other rvalues.

val call : Gccjit.context ->
       ?loc:Gccjit.location ->
       Gccjit.function_ -> Gccjit.rvalue list -> Gccjit.rvalue

Given a function and the given table of argument rvalues, construct a call to the function, with the result as an Gccjit.rvalue.

Note

new_call merely builds a rvalue i.e. an expression that can be evaluated, perhaps as part of a more complicated expression. The call won't happen unless you add a statement to a function that evaluates the expression.

For example, if you want to call a function and discard the result (or to call a function with void return type), use add_eval:

(* Add "(void)printf (args);". *)

add_eval block (new_call ctx printf_func args)

val indirect_call : Gccjit.context ->
       ?loc:Gccjit.location -> Gccjit.rvalue -> Gccjit.rvalue list -> Gccjit.rvalue

Call through a function pointer.

val cast : Gccjit.context ->
       ?loc:Gccjit.location -> Gccjit.rvalue -> Gccjit.type_ -> Gccjit.rvalue

Given an Gccjit.rvalue of T, construct another Gccjit.rvalue of another type. Currently only a limited set of conversions are possible:

• int <-> float
• int <-> bool
• P* <-> Q*, for pointer types P and Q

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

val lvalue : Gccjit.lvalue -> Gccjit.rvalue

val param : Gccjit.param -> Gccjit.rvalue

val to_string : Gccjit.rvalue -> string

Get a human-readable description of this object.