void
create_code (gcc_jit_context *ctxt, void *user_data)
{
/* Let's try to inject the equivalent of:
float
test_union (int i)
{
union int_or_float u;
u.as_int = i;
return u.as_float;
}
*/
gcc_jit_type *int_type =
gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
gcc_jit_type *float_type =
gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_FLOAT);
gcc_jit_field *as_int =
gcc_jit_context_new_field (ctxt,
NULL,
int_type,
"as_int");
gcc_jit_field *as_float =
gcc_jit_context_new_field (ctxt,
NULL,
float_type,
"as_float");
gcc_jit_field *fields[] = {as_int, as_float};
gcc_jit_type *union_type =
gcc_jit_context_new_union_type (ctxt, NULL,
"int_or_float", 2, fields);
/* Build the test function. */
gcc_jit_param *param_i =
gcc_jit_context_new_param (ctxt, NULL, int_type, "i");
gcc_jit_function *test_fn =
gcc_jit_context_new_function (ctxt, NULL,
GCC_JIT_FUNCTION_EXPORTED,
float_type,
"test_union",
1, ¶m_i,
0);
gcc_jit_lvalue *u =
gcc_jit_function_new_local (test_fn, NULL,
union_type, "u");
gcc_jit_block *block = gcc_jit_function_new_block (test_fn, NULL);
/* u.as_int = i; */
gcc_jit_block_add_assignment (
block,
NULL,
/* "u.as_int = ..." */
gcc_jit_lvalue_access_field (u,
NULL,
as_int),
gcc_jit_param_as_rvalue (param_i));
/* return u.as_float; */
gcc_jit_block_end_with_return (
block, NULL,
gcc_jit_rvalue_access_field (gcc_jit_lvalue_as_rvalue (u),
NULL,
as_float));
}
void
create_code (gcc_jit_context *ctxt, void *user_data)
{
/* Let's try to inject the equivalent of:
void
test_bogus_access (struct foo f)
{
f.x = f.p;
}
i.e. using the wrong struct for the RHS.
*/
gcc_jit_type *void_type =
gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
gcc_jit_type *int_type =
gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
/* Map "struct foo". */
gcc_jit_field *x =
gcc_jit_context_new_field (ctxt,
NULL,
int_type,
"x");
gcc_jit_field *y =
gcc_jit_context_new_field (ctxt,
NULL,
int_type,
"y");
gcc_jit_field *foo_fields[] = {x, y};
gcc_jit_struct *struct_foo =
gcc_jit_context_new_struct_type (ctxt, NULL, "foo", 2, foo_fields);
/* Map "struct bar". */
gcc_jit_field *p =
gcc_jit_context_new_field (ctxt,
NULL,
int_type,
"p");
gcc_jit_field *q =
gcc_jit_context_new_field (ctxt,
NULL,
int_type,
"q");
/* We don't actually need a gcc_jit_type for "struct bar" for the test. */
gcc_jit_field *bar_fields[] = {p, q};
(void)gcc_jit_context_new_struct_type (ctxt, NULL, "foo", 2, bar_fields);
/* Build the test function. */
gcc_jit_param *param_f =
gcc_jit_context_new_param (ctxt, NULL,
gcc_jit_struct_as_type (struct_foo), "f");
gcc_jit_function *test_fn =
gcc_jit_context_new_function (ctxt, NULL,
GCC_JIT_FUNCTION_EXPORTED,
void_type,
"test_bogus_access",
1, ¶m_f,
0);
/* OK: f.x = ... */
gcc_jit_lvalue *lvalue =
gcc_jit_lvalue_access_field (
gcc_jit_param_as_lvalue (param_f),
NULL,
x);
/* Erroneous: ... = f.p; */
gcc_jit_rvalue *rvalue =
gcc_jit_rvalue_access_field (
gcc_jit_param_as_rvalue (param_f),
NULL,
p);
gcc_jit_block *block =
gcc_jit_function_new_block (test_fn, NULL);
gcc_jit_block_add_assignment (
block,
NULL,
lvalue, rvalue);
gcc_jit_block_end_with_void_return (block, NULL);
}
void
create_code (gcc_jit_context *ctxt, void * user_data)
{
gcc_jit_type *type_void = gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
gcc_jit_type *type_int = gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
gcc_jit_type *type_unsigned_char = gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_CHAR);
gcc_jit_type *type_void_ptr =
gcc_jit_type_get_pointer (type_void);
gcc_jit_type *type_void_ptr_ptr =
gcc_jit_type_get_pointer (type_void_ptr);
gcc_jit_type *type_unsigned_char__ =
gcc_jit_type_get_pointer (type_unsigned_char);
gcc_jit_field *field_x =
gcc_jit_context_new_field (ctxt,
NULL, /* gcc_jit_location *loc */
type_int, /* gcc_jit_type *type, */
"x"); /* const char *name */
gcc_jit_field *field_y =
gcc_jit_context_new_field (ctxt,
NULL, /* gcc_jit_location *loc */
type_int, /* gcc_jit_type *type, */
"y"); /* const char *name */
gcc_jit_struct *struct_struct_ip_coord =
gcc_jit_context_new_opaque_struct (ctxt,
NULL, /* gcc_jit_location *loc */
"ip_coord"); /* const char *name */
gcc_jit_field *fields_fields_0x18dc9d0[2] = {
field_x,
field_y,
};
gcc_jit_struct_set_fields (struct_struct_ip_coord, /* gcc_jit_struct *struct_type */
NULL, /* gcc_jit_location *loc */
2, /* int num_fields */
fields_fields_0x18dc9d0); /* gcc_jit_field **fields */
gcc_jit_field *field_size =
gcc_jit_context_new_field (ctxt,
NULL, /* gcc_jit_location *loc */
gcc_jit_struct_as_type (struct_struct_ip_coord), /* gcc_jit_type *type, */
"size"); /* const char *name */
gcc_jit_field *field_imrow =
gcc_jit_context_new_field (ctxt,
NULL, /* gcc_jit_location *loc */
type_void_ptr_ptr, /* gcc_jit_type *type, */
"imrow"); /* const char *name */
gcc_jit_struct *struct_struct_ip_image =
gcc_jit_context_new_opaque_struct (ctxt,
NULL, /* gcc_jit_location *loc */
"ip_image"); /* const char *name */
gcc_jit_field *fields_fields_0x18dd310[] = {
field_size,
field_imrow
};
gcc_jit_struct_set_fields (struct_struct_ip_image, /* gcc_jit_struct *struct_type */
NULL, /* gcc_jit_location *loc */
2, /* int num_fields */
fields_fields_0x18dd310); /* gcc_jit_field **fields */
gcc_jit_type *type_struct_ip_image__ =
gcc_jit_type_get_pointer (gcc_jit_struct_as_type (struct_struct_ip_image));
gcc_jit_param *param_dest =
gcc_jit_context_new_param (ctxt,
NULL, /* gcc_jit_location *loc */
type_struct_ip_image__, /*gcc_jit_type *type */
"dest"); /* const char *name */
gcc_jit_param *param_src =
gcc_jit_context_new_param (ctxt,
NULL, /* gcc_jit_location *loc */
type_struct_ip_image__, /*gcc_jit_type *type */
"src"); /* const char *name */
gcc_jit_param *params_for_func_ip_jit_im_add_clip_UBYTE[2] = {
param_dest,
param_src,
};
gcc_jit_function *func_ip_jit_im_add_clip_UBYTE =
gcc_jit_context_new_function (ctxt, /* gcc_jit_context *ctxt */
NULL, /* gcc_jit_location *loc */
GCC_JIT_FUNCTION_EXPORTED, /* enum gcc_jit_function_kind kind */
type_void, /* gcc_jit_type *return_type */
"ip_jit_im_add_clip_UBYTE", /* const char *name */
2, /* int num_params */
params_for_func_ip_jit_im_add_clip_UBYTE, /* gcc_jit_param **params */
0); /* int is_variadic */
gcc_jit_lvalue *local_rowlen =
gcc_jit_function_new_local (func_ip_jit_im_add_clip_UBYTE, /* gcc_jit_function *func */
NULL, /* gcc_jit_location *loc */
type_int, /* gcc_jit_type *type */
"rowlen"); /* const char *name */
gcc_jit_lvalue *local_numrows =
gcc_jit_function_new_local (func_ip_jit_im_add_clip_UBYTE, /* gcc_jit_function *func */
NULL, /* gcc_jit_location *loc */
type_int, /* gcc_jit_type *type */
"numrows"); /* const char *name */
gcc_jit_lvalue *local_j =
gcc_jit_function_new_local (func_ip_jit_im_add_clip_UBYTE, /* gcc_jit_function *func */
NULL, /* gcc_jit_location *loc */
type_int, /* gcc_jit_type *type */
"j"); /* const char *name */
gcc_jit_lvalue *local_dptr =
gcc_jit_function_new_local (func_ip_jit_im_add_clip_UBYTE, /* gcc_jit_function *func */
NULL, /* gcc_jit_location *loc */
type_unsigned_char__, /* gcc_jit_type *type */
"dptr"); /* const char *name */
gcc_jit_lvalue *local_sptr =
gcc_jit_function_new_local (func_ip_jit_im_add_clip_UBYTE, /* gcc_jit_function *func */
NULL, /* gcc_jit_location *loc */
type_unsigned_char__, /* gcc_jit_type *type */
"sptr"); /* const char *name */
gcc_jit_lvalue *local_i =
gcc_jit_function_new_local (func_ip_jit_im_add_clip_UBYTE, /* gcc_jit_function *func */
NULL, /* gcc_jit_location *loc */
type_int, /* gcc_jit_type *type */
"i"); /* const char *name */
gcc_jit_block *block_F1 =
gcc_jit_function_new_block (func_ip_jit_im_add_clip_UBYTE, "F1");
gcc_jit_block *block_C1 =
gcc_jit_function_new_block (func_ip_jit_im_add_clip_UBYTE, "C1");
gcc_jit_block *block_L1 =
gcc_jit_function_new_block (func_ip_jit_im_add_clip_UBYTE, "L1");
gcc_jit_block *block_C2 =
gcc_jit_function_new_block (func_ip_jit_im_add_clip_UBYTE, "C2");
gcc_jit_block *block_L2 =
gcc_jit_function_new_block (func_ip_jit_im_add_clip_UBYTE, "L2");
gcc_jit_block *block_A2 =
gcc_jit_function_new_block (func_ip_jit_im_add_clip_UBYTE, "A2");
gcc_jit_block *block_A1 =
gcc_jit_function_new_block (func_ip_jit_im_add_clip_UBYTE, "A1");
gcc_jit_lvalue *lvalue_dest__size=
gcc_jit_rvalue_dereference_field (gcc_jit_param_as_rvalue (param_dest), /* gcc_jit_rvalue *ptr */
NULL, /* gcc_jit_location *loc */
field_size); /* gcc_jit_field *field */
gcc_jit_rvalue *rvalue_dest__size_x =
gcc_jit_rvalue_access_field (gcc_jit_lvalue_as_rvalue (lvalue_dest__size), /*gcc_jit_rvalue *struct_or_union */
NULL, /*gcc_jit_location *loc */
field_x);
gcc_jit_block_add_assignment (block_F1, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_rowlen, /* gcc_jit_lvalue *lvalue */
rvalue_dest__size_x); /* gcc_jit_rvalue *rvalue */
gcc_jit_rvalue *rvalue_dest__size_y =
gcc_jit_rvalue_access_field (gcc_jit_lvalue_as_rvalue (lvalue_dest__size), /*gcc_jit_rvalue *struct_or_union */
NULL, /*gcc_jit_location *loc */
field_y);
gcc_jit_block_add_assignment (block_F1, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_numrows, /* gcc_jit_lvalue *lvalue */
rvalue_dest__size_y); /* gcc_jit_rvalue *rvalue */
gcc_jit_rvalue *rvalue__int_0 =
gcc_jit_context_new_rvalue_from_int (ctxt, /* gcc_jit_context *ctxt */
type_int, /* gcc_jit_type *numeric_type */
0); /* int value */
gcc_jit_block_add_assignment (block_F1, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_j, /* gcc_jit_lvalue *lvalue */
rvalue__int_0); /* gcc_jit_rvalue *rvalue */
gcc_jit_block_end_with_jump (block_F1, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
block_C1); /* gcc_jit_block *target */
gcc_jit_rvalue *rvalue_j___numrows =
gcc_jit_context_new_comparison (ctxt,
NULL, /* gcc_jit_location *loc */
GCC_JIT_COMPARISON_LT, /* enum gcc_jit_comparison op */
gcc_jit_lvalue_as_rvalue (local_j), /* gcc_jit_rvalue *a */
gcc_jit_lvalue_as_rvalue (local_numrows)); /* gcc_jit_rvalue *b */
gcc_jit_block_end_with_conditional (block_C1, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
rvalue_j___numrows, /* gcc_jit_rvalue *boolval */
block_L1, /* gcc_jit_block *on_true */
block_A1); /* gcc_jit_block *on_false */
gcc_jit_lvalue *lvalue_dest__imrow=
gcc_jit_rvalue_dereference_field (gcc_jit_param_as_rvalue (param_dest), /* gcc_jit_rvalue *ptr */
NULL, /* gcc_jit_location *loc */
field_imrow); /* gcc_jit_field *field */
gcc_jit_lvalue *lvalue_dest__imrow_j_ =
gcc_jit_context_new_array_access (ctxt, /* gcc_jit_context *ctxt */
NULL, /*gcc_jit_location *loc */
gcc_jit_lvalue_as_rvalue (lvalue_dest__imrow), /* gcc_jit_rvalue *ptr */
gcc_jit_lvalue_as_rvalue (local_j)); /* gcc_jit_rvalue *index */
gcc_jit_rvalue *rvalue__unsigned_char___dest__imrow_j_ =
gcc_jit_context_new_cast (ctxt,
NULL, /* gcc_jit_location *loc */
gcc_jit_lvalue_as_rvalue (lvalue_dest__imrow_j_), /* gcc_jit_rvalue *rvalue */
type_unsigned_char__); /* gcc_jit_type *type */
gcc_jit_block_add_assignment (block_L1, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_dptr, /* gcc_jit_lvalue *lvalue */
rvalue__unsigned_char___dest__imrow_j_); /* gcc_jit_rvalue *rvalue */
gcc_jit_lvalue *lvalue_src__imrow=
gcc_jit_rvalue_dereference_field (gcc_jit_param_as_rvalue (param_src), /* gcc_jit_rvalue *ptr */
NULL, /* gcc_jit_location *loc */
field_imrow); /* gcc_jit_field *field */
gcc_jit_lvalue *lvalue_src__imrow_j_ =
gcc_jit_context_new_array_access (ctxt, /* gcc_jit_context *ctxt */
NULL, /*gcc_jit_location *loc */
gcc_jit_lvalue_as_rvalue (lvalue_src__imrow), /* gcc_jit_rvalue *ptr */
gcc_jit_lvalue_as_rvalue (local_j)); /* gcc_jit_rvalue *index */
gcc_jit_rvalue *rvalue__unsigned_char___src__imrow_j_ =
gcc_jit_context_new_cast (ctxt,
NULL, /* gcc_jit_location *loc */
gcc_jit_lvalue_as_rvalue (lvalue_src__imrow_j_), /* gcc_jit_rvalue *rvalue */
type_unsigned_char__); /* gcc_jit_type *type */
gcc_jit_block_add_assignment (block_L1, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_sptr, /* gcc_jit_lvalue *lvalue */
rvalue__unsigned_char___src__imrow_j_); /* gcc_jit_rvalue *rvalue */
gcc_jit_rvalue *rvalue__int_0_0x18dd890 =
gcc_jit_context_new_rvalue_from_int (ctxt, /* gcc_jit_context *ctxt */
type_int, /* gcc_jit_type *numeric_type */
0); /* int value */
gcc_jit_block_add_assignment (block_L1, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_i, /* gcc_jit_lvalue *lvalue */
rvalue__int_0_0x18dd890); /* gcc_jit_rvalue *rvalue */
gcc_jit_block_end_with_jump (block_L1, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
block_C2); /* gcc_jit_block *target */
gcc_jit_rvalue *rvalue_i___rowlen =
gcc_jit_context_new_comparison (ctxt,
NULL, /* gcc_jit_location *loc */
GCC_JIT_COMPARISON_LT, /* enum gcc_jit_comparison op */
gcc_jit_lvalue_as_rvalue (local_i), /* gcc_jit_rvalue *a */
gcc_jit_lvalue_as_rvalue (local_rowlen)); /* gcc_jit_rvalue *b */
gcc_jit_block_end_with_conditional (block_C2, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
rvalue_i___rowlen, /* gcc_jit_rvalue *boolval */
block_L2, /* gcc_jit_block *on_true */
block_A2); /* gcc_jit_block *on_false */
gcc_jit_lvalue *dereference__dptr =
gcc_jit_rvalue_dereference (gcc_jit_lvalue_as_rvalue (local_dptr), /* gcc_jit_rvalue *rvalue */
NULL); /* gcc_jit_location *loc */
gcc_jit_lvalue *dereference__sptr =
gcc_jit_rvalue_dereference (gcc_jit_lvalue_as_rvalue (local_sptr), /* gcc_jit_rvalue *rvalue */
NULL); /* gcc_jit_location *loc */
gcc_jit_block *block_p_C1_true =
gcc_jit_function_new_block (func_ip_jit_im_add_clip_UBYTE, "p_C1_true");
gcc_jit_block *block_p_C1_end =
gcc_jit_function_new_block (func_ip_jit_im_add_clip_UBYTE, "p_C1_end");
gcc_jit_lvalue *local_ival =
gcc_jit_function_new_local (func_ip_jit_im_add_clip_UBYTE, /* gcc_jit_function *func */
NULL, /* gcc_jit_location *loc */
type_int, /* gcc_jit_type *type */
"ival"); /* const char *name */
gcc_jit_rvalue *rvalue__int__dptr =
gcc_jit_context_new_cast (ctxt,
NULL, /* gcc_jit_location *loc */
gcc_jit_lvalue_as_rvalue (dereference__dptr), /* gcc_jit_rvalue *rvalue */
type_int); /* gcc_jit_type *type */
gcc_jit_rvalue *rvalue__int__sptr =
gcc_jit_context_new_cast (ctxt,
NULL, /* gcc_jit_location *loc */
gcc_jit_lvalue_as_rvalue (dereference__sptr), /* gcc_jit_rvalue *rvalue */
type_int); /* gcc_jit_type *type */
gcc_jit_rvalue *rvalue__int__dptr____int__sptr =
gcc_jit_context_new_binary_op (ctxt,
NULL, /* gcc_jit_location *loc */
GCC_JIT_BINARY_OP_PLUS, /* enum gcc_jit_binary_op op */
type_int, /* gcc_jit_type *result_type */
rvalue__int__dptr, /* gcc_jit_rvalue *a */
rvalue__int__sptr); /* gcc_jit_rvalue *b */
gcc_jit_block_add_assignment (block_L2, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_ival, /* gcc_jit_lvalue *lvalue */
rvalue__int__dptr____int__sptr); /* gcc_jit_rvalue *rvalue */
gcc_jit_rvalue *rvalue__int_255 =
gcc_jit_context_new_rvalue_from_int (ctxt, /* gcc_jit_context *ctxt */
type_int, /* gcc_jit_type *numeric_type */
255); /* int value */
gcc_jit_rvalue *rvalue_ival____int_255 =
gcc_jit_context_new_comparison (ctxt,
NULL, /* gcc_jit_location *loc */
GCC_JIT_COMPARISON_GT, /* enum gcc_jit_comparison op */
gcc_jit_lvalue_as_rvalue (local_ival), /* gcc_jit_rvalue *a */
rvalue__int_255); /* gcc_jit_rvalue *b */
gcc_jit_block_end_with_conditional (block_L2, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
rvalue_ival____int_255, /* gcc_jit_rvalue *boolval */
block_p_C1_true, /* gcc_jit_block *on_true */
block_p_C1_end); /* gcc_jit_block *on_false */
gcc_jit_block_add_assignment (block_p_C1_true, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_ival, /* gcc_jit_lvalue *lvalue */
rvalue__int_255); /* gcc_jit_rvalue *rvalue */
gcc_jit_block_end_with_jump (block_p_C1_true, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
block_p_C1_end); /* gcc_jit_block *target */
gcc_jit_rvalue *rvalue__unsigned_char_ival =
gcc_jit_context_new_cast (ctxt,
NULL, /* gcc_jit_location *loc */
gcc_jit_lvalue_as_rvalue (local_ival), /* gcc_jit_rvalue *rvalue */
type_unsigned_char); /* gcc_jit_type *type */
gcc_jit_lvalue *dereference__dptr_0x18df2e0 =
gcc_jit_rvalue_dereference (gcc_jit_lvalue_as_rvalue (local_dptr), /* gcc_jit_rvalue *rvalue */
NULL); /* gcc_jit_location *loc */
gcc_jit_block_add_assignment (block_p_C1_end, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
dereference__dptr_0x18df2e0, /* gcc_jit_lvalue *lvalue */
rvalue__unsigned_char_ival); /* gcc_jit_rvalue *rvalue */
gcc_jit_rvalue *rvalue__int_1 =
gcc_jit_context_new_rvalue_from_int (ctxt, /* gcc_jit_context *ctxt */
type_int, /* gcc_jit_type *numeric_type */
1); /* int value */
gcc_jit_lvalue *lvalue_dptr__int_1_ =
gcc_jit_context_new_array_access (ctxt, /* gcc_jit_context *ctxt */
NULL, /*gcc_jit_location *loc */
gcc_jit_lvalue_as_rvalue (local_dptr), /* gcc_jit_rvalue *ptr */
rvalue__int_1); /* gcc_jit_rvalue *index */
gcc_jit_rvalue *address_of__dptr__int_1_ =
gcc_jit_lvalue_get_address (lvalue_dptr__int_1_, /* gcc_jit_lvalue *lvalue */
NULL); /* gcc_jit_location *loc */
gcc_jit_block_add_assignment (block_p_C1_end, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_dptr, /* gcc_jit_lvalue *lvalue */
address_of__dptr__int_1_); /* gcc_jit_rvalue *rvalue */
gcc_jit_rvalue *rvalue__int_1_0x18df500 =
gcc_jit_context_new_rvalue_from_int (ctxt, /* gcc_jit_context *ctxt */
type_int, /* gcc_jit_type *numeric_type */
1); /* int value */
gcc_jit_lvalue *lvalue_sptr__int_1_ =
gcc_jit_context_new_array_access (ctxt, /* gcc_jit_context *ctxt */
NULL, /*gcc_jit_location *loc */
gcc_jit_lvalue_as_rvalue (local_sptr), /* gcc_jit_rvalue *ptr */
rvalue__int_1_0x18df500); /* gcc_jit_rvalue *index */
gcc_jit_rvalue *address_of__sptr__int_1_ =
gcc_jit_lvalue_get_address (lvalue_sptr__int_1_, /* gcc_jit_lvalue *lvalue */
NULL); /* gcc_jit_location *loc */
gcc_jit_block_add_assignment (block_p_C1_end, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_sptr, /* gcc_jit_lvalue *lvalue */
address_of__sptr__int_1_); /* gcc_jit_rvalue *rvalue */
gcc_jit_rvalue *rvalue__int_1_0x18df650 =
gcc_jit_context_new_rvalue_from_int (ctxt, /* gcc_jit_context *ctxt */
type_int, /* gcc_jit_type *numeric_type */
1); /* int value */
gcc_jit_rvalue *rvalue_i____int_1 =
gcc_jit_context_new_binary_op (ctxt,
NULL, /* gcc_jit_location *loc */
GCC_JIT_BINARY_OP_PLUS, /* enum gcc_jit_binary_op op */
type_int, /* gcc_jit_type *result_type */
gcc_jit_lvalue_as_rvalue (local_i), /* gcc_jit_rvalue *a */
rvalue__int_1_0x18df650); /* gcc_jit_rvalue *b */
gcc_jit_block_add_assignment (block_p_C1_end, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_i, /* gcc_jit_lvalue *lvalue */
rvalue_i____int_1); /* gcc_jit_rvalue *rvalue */
gcc_jit_block_end_with_jump (block_p_C1_end, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
block_C2); /* gcc_jit_block *target */
gcc_jit_rvalue *rvalue__int_1_0x18df7e0 =
gcc_jit_context_new_rvalue_from_int (ctxt, /* gcc_jit_context *ctxt */
type_int, /* gcc_jit_type *numeric_type */
1); /* int value */
gcc_jit_rvalue *rvalue_j____int_1 =
gcc_jit_context_new_binary_op (ctxt,
NULL, /* gcc_jit_location *loc */
GCC_JIT_BINARY_OP_PLUS, /* enum gcc_jit_binary_op op */
type_int, /* gcc_jit_type *result_type */
gcc_jit_lvalue_as_rvalue (local_j), /* gcc_jit_rvalue *a */
rvalue__int_1_0x18df7e0); /* gcc_jit_rvalue *b */
gcc_jit_block_add_assignment (block_A2, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
local_j, /* gcc_jit_lvalue *lvalue */
rvalue_j____int_1); /* gcc_jit_rvalue *rvalue */
gcc_jit_block_end_with_jump (block_A2, /*gcc_jit_block *block */
NULL, /* gcc_jit_location *loc */
block_C1); /* gcc_jit_block *target */
gcc_jit_block_end_with_void_return (block_A1, /*gcc_jit_block *block */
NULL); /* gcc_jit_location *loc */
}
static void
make_test_quadratic (struct top_level *top_level,
struct middle_level *middle_level,
struct bottom_level *bottom_level)
{
gcc_jit_param *a =
gcc_jit_context_new_param (bottom_level->ctxt, NULL,
top_level->numeric_type, "a");
gcc_jit_param *b =
gcc_jit_context_new_param (bottom_level->ctxt, NULL,
top_level->numeric_type, "b");
gcc_jit_param *c =
gcc_jit_context_new_param (bottom_level->ctxt, NULL,
top_level->numeric_type, "c");
gcc_jit_param *r1 =
gcc_jit_context_new_param (bottom_level->ctxt, NULL,
top_level->numeric_type_ptr, "r1");
gcc_jit_param *r2 =
gcc_jit_context_new_param (bottom_level->ctxt, NULL,
top_level->numeric_type_ptr, "r2");
gcc_jit_param *params[] = {a, b, c, r1, r2};
gcc_jit_function *test_quadratic =
gcc_jit_context_new_function (bottom_level->ctxt, NULL,
GCC_JIT_FUNCTION_EXPORTED,
top_level->int_type,
"test_quadratic",
5, params,
0);
/* struct quadratic q; */
gcc_jit_lvalue *q =
gcc_jit_function_new_local (
test_quadratic, NULL,
top_level->struct_quadratic,
"q");
gcc_jit_block *initial =
gcc_jit_function_new_block (test_quadratic,
"initial");
gcc_jit_block *on_positive_discriminant
= gcc_jit_function_new_block (test_quadratic,
"positive_discriminant");
gcc_jit_block *on_nonpositive_discriminant
= gcc_jit_function_new_block (test_quadratic,
"nonpositive_discriminant");
gcc_jit_block *on_zero_discriminant
= gcc_jit_function_new_block (test_quadratic,
"zero_discriminant");
gcc_jit_block *on_negative_discriminant
= gcc_jit_function_new_block (test_quadratic,
"negative_discriminant");
/* Initial block. */
/* q.a = a; */
gcc_jit_block_add_assignment (
initial, NULL,
gcc_jit_lvalue_access_field (q, NULL, top_level->a),
gcc_jit_param_as_rvalue (a));
/* q.b = b; */
gcc_jit_block_add_assignment (
initial, NULL,
gcc_jit_lvalue_access_field (q, NULL, top_level->b),
gcc_jit_param_as_rvalue (b));
/* q.c = c; */
gcc_jit_block_add_assignment (
initial, NULL,
gcc_jit_lvalue_access_field (q, NULL, top_level->c),
gcc_jit_param_as_rvalue (c));
/* calc_discriminant (&q); */
gcc_jit_rvalue *address_of_q = gcc_jit_lvalue_get_address (q, NULL);
gcc_jit_block_add_eval (
initial, NULL,
gcc_jit_context_new_call (
bottom_level->ctxt, NULL,
middle_level->calc_discriminant,
1, &address_of_q));
gcc_jit_block_add_comment (
initial, NULL,
"if (q.discriminant > 0)");
gcc_jit_block_end_with_conditional (
initial, NULL,
gcc_jit_context_new_comparison (
bottom_level->ctxt, NULL,
GCC_JIT_COMPARISON_GT,
gcc_jit_rvalue_access_field (
gcc_jit_lvalue_as_rvalue (q),
NULL,
top_level->discriminant),
top_level->zero),
on_positive_discriminant,
on_nonpositive_discriminant);
/* Block: "on_positive_discriminant" */
/* double s = sqrt (q.discriminant); */
gcc_jit_lvalue *s = gcc_jit_function_new_local (
test_quadratic, NULL,
top_level->numeric_type,
"s");
gcc_jit_rvalue *discriminant_of_q =
gcc_jit_rvalue_access_field (gcc_jit_lvalue_as_rvalue (q),
NULL,
top_level->discriminant);
gcc_jit_block_add_assignment (
on_positive_discriminant, NULL,
s,
gcc_jit_context_new_call (
bottom_level->ctxt, NULL,
top_level->sqrt,
1, &discriminant_of_q));
gcc_jit_rvalue *minus_b =
gcc_jit_context_new_unary_op (
bottom_level->ctxt, NULL,
GCC_JIT_UNARY_OP_MINUS,
top_level->numeric_type,
gcc_jit_param_as_rvalue (b));
gcc_jit_rvalue *two_a =
gcc_jit_context_new_binary_op (
bottom_level->ctxt, NULL,
GCC_JIT_BINARY_OP_MULT,
top_level->numeric_type,
gcc_jit_context_new_rvalue_from_int (
bottom_level->ctxt,
top_level->numeric_type,
2),
gcc_jit_param_as_rvalue (a));
gcc_jit_block_add_comment (
on_positive_discriminant, NULL,
"*r1 = (-b + s) / (2 * a);");
gcc_jit_block_add_assignment (
on_positive_discriminant, NULL,
/* "*r1 = ..." */
gcc_jit_rvalue_dereference (
gcc_jit_param_as_rvalue (r1), NULL),
/* (-b + s) / (2 * a) */
gcc_jit_context_new_binary_op (
bottom_level->ctxt, NULL,
GCC_JIT_BINARY_OP_DIVIDE,
top_level->numeric_type,
gcc_jit_context_new_binary_op (
bottom_level->ctxt, NULL,
GCC_JIT_BINARY_OP_PLUS,
top_level->numeric_type,
minus_b,
gcc_jit_lvalue_as_rvalue (s)),
two_a));
gcc_jit_block_add_comment (
on_positive_discriminant, NULL,
"*r2 = (-b - s) / (2 * a)");
gcc_jit_block_add_assignment (
on_positive_discriminant, NULL,
/* "*r2 = ..." */
gcc_jit_rvalue_dereference (
gcc_jit_param_as_rvalue (r2), NULL),
/* (-b - s) / (2 * a) */
gcc_jit_context_new_binary_op (
bottom_level->ctxt, NULL,
GCC_JIT_BINARY_OP_DIVIDE,
top_level->numeric_type,
gcc_jit_context_new_binary_op (
bottom_level->ctxt, NULL,
GCC_JIT_BINARY_OP_MINUS,
top_level->numeric_type,
minus_b,
gcc_jit_lvalue_as_rvalue (s)),
two_a));
/* "return 2;" */
gcc_jit_block_end_with_return (
on_positive_discriminant, NULL,
gcc_jit_context_new_rvalue_from_int (
bottom_level->ctxt,
top_level->int_type,
2));
/* Block: "on_nonpositive_discriminant" */
gcc_jit_block_add_comment (
on_nonpositive_discriminant, NULL,
"else if (q.discriminant == 0)");
gcc_jit_block_end_with_conditional (
on_nonpositive_discriminant, NULL,
gcc_jit_context_new_comparison (
bottom_level->ctxt, NULL,
GCC_JIT_COMPARISON_EQ,
gcc_jit_rvalue_access_field (
gcc_jit_lvalue_as_rvalue (q),
NULL,
top_level->discriminant),
top_level->zero),
on_zero_discriminant,
on_negative_discriminant);
/* Block: "on_zero_discriminant" */
gcc_jit_block_add_comment (
on_zero_discriminant, NULL,
"*r1 = -b / (2 * a);");
gcc_jit_block_add_assignment (
on_zero_discriminant, NULL,
/* "*r1 = ..." */
gcc_jit_rvalue_dereference (
gcc_jit_param_as_rvalue (r1), NULL),
/* -b / (2 * a) */
gcc_jit_context_new_binary_op (
bottom_level->ctxt, NULL,
GCC_JIT_BINARY_OP_DIVIDE,
top_level->numeric_type,
minus_b,
two_a));
/* "return 1;" */
gcc_jit_block_end_with_return (
on_zero_discriminant, NULL,
gcc_jit_context_one (bottom_level->ctxt, top_level->int_type));
/* Block: "on_negative_discriminant" */
gcc_jit_block_end_with_return (
/* else return 0; */
on_negative_discriminant, NULL,
gcc_jit_context_zero (bottom_level->ctxt, top_level->int_type));
}
