static void make_types (struct top_level *top_level) { top_level->numeric_type = gcc_jit_context_get_type (top_level->ctxt, GCC_JIT_TYPE_DOUBLE); top_level->numeric_type_ptr = gcc_jit_type_get_pointer (top_level->numeric_type); top_level->zero = gcc_jit_context_zero (top_level->ctxt, top_level->numeric_type); top_level->int_type = gcc_jit_context_get_type (top_level->ctxt, GCC_JIT_TYPE_INT); top_level->void_type = gcc_jit_context_get_type (top_level->ctxt, GCC_JIT_TYPE_VOID); top_level->a = gcc_jit_context_new_field (top_level->ctxt, NULL, top_level->numeric_type, "a"); top_level->b = gcc_jit_context_new_field (top_level->ctxt, NULL, top_level->numeric_type, "b"); top_level->c = gcc_jit_context_new_field (top_level->ctxt, NULL, top_level->numeric_type, "c"); top_level->discriminant = gcc_jit_context_new_field (top_level->ctxt, NULL, top_level->numeric_type, "discriminant"); gcc_jit_field *fields[] = {top_level->a, top_level->b, top_level->c, top_level->discriminant}; top_level->struct_quadratic = gcc_jit_struct_as_type ( gcc_jit_context_new_struct_type (top_level->ctxt, NULL, "quadratic", 4, fields)); top_level->quadratic_ptr = gcc_jit_type_get_pointer (top_level->struct_quadratic); }
void create_code (gcc_jit_context *ctxt, void *user_data) { gcc_jit_struct *t_opaque = gcc_jit_context_new_opaque_struct (ctxt, NULL, "opaque"); (void)gcc_jit_context_new_field (ctxt, NULL, gcc_jit_struct_as_type (t_opaque), "f_opaque"); }
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)); }
/* Build various compound expressions, and verify that they have sane debug strings. */ void create_code (gcc_jit_context *ctxt, void *user_data) { /* Make a singly-linked list type: struct node { struct node *next; int value; }; */ gcc_jit_type *t_int = gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT); gcc_jit_struct *t_node = gcc_jit_context_new_opaque_struct (ctxt, NULL, "node"); gcc_jit_type *t_node_ptr = gcc_jit_type_get_pointer (gcc_jit_struct_as_type (t_node)); gcc_jit_field *f_next = gcc_jit_context_new_field (ctxt, NULL, t_node_ptr, "next"); gcc_jit_field *f_value = gcc_jit_context_new_field (ctxt, NULL, t_int, "value"); gcc_jit_field *fields[] = {f_next, f_value}; gcc_jit_struct_set_fields (t_node, NULL, 2, fields); /* Create a dummy function so that we have locals/params to build expressions with. */ gcc_jit_type *t_void = gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID); gcc_jit_function *fn = gcc_jit_context_new_function (ctxt, NULL, GCC_JIT_FUNCTION_EXPORTED, t_void, "test_debug_strings", 0, NULL, 0); gcc_jit_rvalue *ptr = gcc_jit_lvalue_as_rvalue ( gcc_jit_function_new_local (fn, NULL, t_node_ptr, "ptr")); gcc_jit_rvalue *a = gcc_jit_lvalue_as_rvalue ( gcc_jit_function_new_local (fn, NULL, t_int, "a")); gcc_jit_rvalue *b = gcc_jit_lvalue_as_rvalue ( gcc_jit_function_new_local (fn, NULL, t_int, "b")); gcc_jit_rvalue *c = gcc_jit_lvalue_as_rvalue ( gcc_jit_function_new_local (fn, NULL, t_int, "c")); gcc_jit_rvalue *d = gcc_jit_lvalue_as_rvalue ( gcc_jit_function_new_local (fn, NULL, t_int, "d")); #define CHECK_RVALUE_DEBUG_STRING(RVALUE, EXPECTED) \ CHECK_STRING_VALUE ( \ gcc_jit_object_get_debug_string (gcc_jit_rvalue_as_object (RVALUE)), \ (EXPECTED)) #define CHECK_LVALUE_DEBUG_STRING(LVALUE, EXPECTED) \ CHECK_STRING_VALUE ( \ gcc_jit_object_get_debug_string (gcc_jit_lvalue_as_object (LVALUE)), \ (EXPECTED)) /* Verify various simple compound expressions. */ { CHECK_RVALUE_DEBUG_STRING (ptr, "ptr"); gcc_jit_lvalue *deref = gcc_jit_rvalue_dereference_field (ptr, NULL, f_value); CHECK_LVALUE_DEBUG_STRING (deref, "ptr->value"); gcc_jit_rvalue *deref_as_rvalue = gcc_jit_lvalue_as_rvalue (deref); #define BINOP(OP, A, B) \ gcc_jit_context_new_binary_op (ctxt, NULL, \ GCC_JIT_BINARY_OP_##OP, t_int, (A), (B)) #define COMPARISON(OP, A, B) \ gcc_jit_context_new_comparison (ctxt, NULL, \ GCC_JIT_COMPARISON_##OP,(A), (B)) CHECK_RVALUE_DEBUG_STRING ( BINOP (PLUS, deref_as_rvalue, deref_as_rvalue), "ptr->value + ptr->value"); CHECK_RVALUE_DEBUG_STRING ( BINOP (MULT, deref_as_rvalue, deref_as_rvalue), "ptr->value * ptr->value"); /* Multiplication has higher precedence in C than addition, so this dump shouldn't contain parentheses. */ CHECK_RVALUE_DEBUG_STRING ( BINOP (PLUS, BINOP (MULT, a, b), BINOP (MULT, c, d)), "a * b + c * d"); /* ...but this one should. */ CHECK_RVALUE_DEBUG_STRING ( BINOP (MULT, BINOP (PLUS, a, b), BINOP (PLUS, c, d)), "(a + b) * (c + d)"); /* Equal precedences don't need parentheses. */ CHECK_RVALUE_DEBUG_STRING ( BINOP (MULT, BINOP (MULT, a, b), BINOP (MULT, c, d)), "a * b * c * d"); /* Comparisons and logical ops. */ CHECK_RVALUE_DEBUG_STRING ( COMPARISON (LT, a, b), "a < b"); CHECK_RVALUE_DEBUG_STRING ( BINOP (LOGICAL_AND, COMPARISON (LT, a, b), COMPARISON (GT, c, d)), "a < b && c > d"); CHECK_RVALUE_DEBUG_STRING ( BINOP (LOGICAL_AND, BINOP (LOGICAL_OR, COMPARISON (LT, a, b), COMPARISON (LT, a, c)), BINOP (LOGICAL_OR, COMPARISON (GT, d, b), COMPARISON (GT, d, c))), "(a < b || a < c) && (d > b || d > c)"); CHECK_RVALUE_DEBUG_STRING ( BINOP (LOGICAL_OR, BINOP (LOGICAL_AND, COMPARISON (LT, a, b), COMPARISON (LT, a, c)), BINOP (LOGICAL_AND, COMPARISON (GT, d, b), COMPARISON (GT, d, c))), "a < b && a < c || d > b && d > c"); #undef BINOP #undef COMPARISON } /* PR jit/66539 "Missing parentheses in jit dumps". Construct the equivalent of ((cast)ptr->next)->next and verify that the appropriate parentheses appear in the debug string. */ { /* "ptr->next". */ gcc_jit_lvalue *inner_deref = gcc_jit_rvalue_dereference_field (ptr, NULL, f_next); /* "((node *)ptr->next)"; the cast is redundant, purely to exercise dumping. */ gcc_jit_rvalue *test_cast = gcc_jit_context_new_cast (ctxt, NULL, gcc_jit_lvalue_as_rvalue (inner_deref), t_node_ptr); /* "((node *)ptr->next)->next". */ gcc_jit_lvalue *outer_deref = gcc_jit_rvalue_dereference_field (test_cast, /* gcc_jit_rvalue *ptr */ NULL, /* gcc_jit_location *loc */ f_next); /* gcc_jit_field *field */ CHECK_LVALUE_DEBUG_STRING (outer_deref, "((struct node *)ptr->next)->next"); } #undef CHECK_LVALUE_DEBUG_STRING }
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 */ }
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); }