Module Gccjit.Function

module Function: sig .. end

type function_kind =

`\|`	`Exported`	`(*`	Function is defined by the client code and visible by name outside of the JIT.	`*)`
`\|`	`Internal`	`(*`	Function is defined by the client code, but is invisible outside of the JIT. Analogous to a `"static"` function.	`*)`
`\|`	`Imported`	`(*`	Function is not defined by the client code; we're merely referring to it. Analogous to using an `"extern"` function from a header file.	`*)`
`\|`	`Always_inline`	`(*`	Function is only ever inlined into other functions, and is invisible outside of the JIT. Analogous to prefixing with `"inline"` and adding `__attribute__((always_inline))`. Inlining will only occur when the optimization level is above 0; when optimization is off, this is essentially the same as `FUNCTION_Internal`.	`*)`

Kinds of function.

val create : Gccjit.context ->
       ?loc:Gccjit.location ->
       ?variadic:bool ->
       function_kind ->
       Gccjit.type_ -> string -> Gccjit.param list -> Gccjit.function_

Create a function with the given name and parameters.

val builtin : Gccjit.context -> string -> Gccjit.function_

Create a reference to a builtin function (sometimes called intrinsic functions).

val param : Gccjit.function_ -> int -> Gccjit.param

Get a specific param of a function by index (0-based).

val dump_dot : Gccjit.function_ -> string -> unit

Emit the function in graphviz format to the given path.

val local : ?loc:Gccjit.location ->
       Gccjit.function_ -> Gccjit.type_ -> string -> Gccjit.lvalue

Add a new local variable within the function, of the given type and name.

val to_string : Gccjit.function_ -> string

Get a human-readable description of this object.