module Block: sig .. end
val create : ?name:string -> Gccjit.function_ -> Gccjit.block
Create a block. You can give it a meaningful name, which may show up in
dumps of the internal representation, and in error messages.
val parent : Gccjit.block -> Gccjit.function_
Which function is this block within?
val eval : ?loc:Gccjit.location -> Gccjit.block -> Gccjit.rvalue -> unit
Add evaluation of an
Gccjit.rvalue, discarding the result (e.g. a function
call that
returns void). This is equivalent to this C code:
(void)expression;
val assign : ?loc:Gccjit.location ->
Gccjit.block -> Gccjit.lvalue -> Gccjit.rvalue -> unit
Add evaluation of an
Gccjit.rvalue, assigning the result to the given
Gccjit.lvalue. This is roughly equivalent to this C code:
lvalue = rvalue;
val assign_op : ?loc:Gccjit.location ->
Gccjit.block -> Gccjit.lvalue -> Gccjit.binary_op -> Gccjit.rvalue -> unit
Add evaluation of an
Gccjit.rvalue, using the result to modify an
Gccjit.lvalue.
This is analogous to
"+=" and friends:
lvalue += rvalue;
lvalue *= rvalue;
lvalue /= rvalue;
etc
For example:
add_assignment_op loop_body i Plus (one ctx int_type)
: ?loc:Gccjit.location -> Gccjit.block -> string -> unit
Add a no-op textual comment to the internal representation of the code.
It will be optimized away, but will be visible in the dumps seen via
Dump_initial_tree and
Dump_initial_gimple and thus may be of use
when debugging how your project's internal representation gets converted
to the
libgccjit IR.
val cond_jump : ?loc:Gccjit.location ->
Gccjit.block -> Gccjit.rvalue -> Gccjit.block -> Gccjit.block -> unit
Terminate a block by adding evaluation of an rvalue, branching on the
result to the appropriate successor block. This is roughly equivalent to
this C code:
if (boolval)
goto on_true;
else
goto on_false;
val jump : ?loc:Gccjit.location -> Gccjit.block -> Gccjit.block -> unit
Terminate a block by adding a jump to the given target block. This is
roughly equivalent to this C code:
goto target;
val return : ?loc:Gccjit.location -> Gccjit.block -> Gccjit.rvalue -> unit
Terminate a block by adding evaluation of an
Gccjit.rvalue, returning the
value. This is roughly equivalent to this C code:
return expression;
val return_void : ?loc:Gccjit.location -> Gccjit.block -> unit
Terminate a block by adding a valueless return, for use within a function
with
void return type. This is equivalent to this C code:
return;
val to_string : Gccjit.block -> string
Get a human-readable description of this object.