|
111
|
1 #include <stdlib.h>
|
|
|
2 #include <stdio.h>
|
|
|
3
|
|
|
4 #include "libgccjit.h"
|
|
|
5
|
|
|
6 #include "harness.h"
|
|
|
7
|
|
|
8 /* Reproducer for PR jit/66779.
|
|
|
9
|
|
|
10 Inject the equivalent of:
|
|
|
11 T FUNCNAME (T i, T j, T k)
|
|
|
12 {
|
|
|
13 bool comp0 = i & 0x40;
|
|
|
14 bool comp1 = (j == k);
|
|
|
15 if (comp0 && comp1)
|
|
|
16 return 7;
|
|
|
17 else
|
|
|
18 return 22;
|
|
|
19 }
|
|
|
20 for some type T; this was segfaulting during the expansion to RTL
|
|
|
21 due to missing handling for some machine modes in
|
|
|
22 jit_langhook_type_for_mode. */
|
|
|
23
|
|
|
24 void
|
|
|
25 create_fn (gcc_jit_context *ctxt,
|
|
|
26 const char *funcname,
|
|
|
27 enum gcc_jit_types jit_type)
|
|
|
28 {
|
|
|
29 gcc_jit_type *the_type =
|
|
|
30 gcc_jit_context_get_type (ctxt, jit_type);
|
|
|
31 gcc_jit_type *t_bool =
|
|
|
32 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_BOOL);
|
|
|
33 gcc_jit_param *param_i =
|
|
|
34 gcc_jit_context_new_param (ctxt, NULL, the_type, "i");
|
|
|
35 gcc_jit_param *param_j =
|
|
|
36 gcc_jit_context_new_param (ctxt, NULL, the_type, "j");
|
|
|
37 gcc_jit_param *param_k =
|
|
|
38 gcc_jit_context_new_param (ctxt, NULL, the_type, "k");
|
|
|
39 gcc_jit_param *params[3] = {
|
|
|
40 param_i,
|
|
|
41 param_j,
|
|
|
42 param_k
|
|
|
43 };
|
|
|
44 gcc_jit_function *func =
|
|
|
45 gcc_jit_context_new_function (ctxt, NULL,
|
|
|
46 GCC_JIT_FUNCTION_EXPORTED,
|
|
|
47 the_type,
|
|
|
48 funcname,
|
|
|
49 3, params,
|
|
|
50 0);
|
|
|
51 gcc_jit_block *b_entry = gcc_jit_function_new_block (func, "entry");
|
|
|
52 gcc_jit_block *b_on_true = gcc_jit_function_new_block (func, "on_true");
|
|
|
53 gcc_jit_block *b_on_false = gcc_jit_function_new_block (func, "on_false");
|
|
|
54
|
|
|
55 gcc_jit_lvalue *comp0 =
|
|
|
56 gcc_jit_function_new_local (func, NULL, t_bool, "comp0");
|
|
|
57
|
|
|
58 gcc_jit_block_add_assignment (
|
|
|
59 b_entry, NULL,
|
|
|
60 comp0,
|
|
|
61 gcc_jit_context_new_comparison (
|
|
|
62 ctxt, NULL,
|
|
|
63 GCC_JIT_COMPARISON_NE,
|
|
|
64 gcc_jit_context_new_binary_op (
|
|
|
65 ctxt, NULL,
|
|
|
66 GCC_JIT_BINARY_OP_BITWISE_AND,
|
|
|
67 the_type,
|
|
|
68 gcc_jit_param_as_rvalue (param_i),
|
|
|
69 gcc_jit_context_new_rvalue_from_int (ctxt, the_type, 0x40)),
|
|
|
70 gcc_jit_context_zero (ctxt, the_type)));
|
|
|
71
|
|
|
72 gcc_jit_lvalue *comp1 =
|
|
|
73 gcc_jit_function_new_local (func, NULL, t_bool, "comp1");
|
|
|
74
|
|
|
75 gcc_jit_block_add_assignment (
|
|
|
76 b_entry, NULL,
|
|
|
77 comp1,
|
|
|
78 gcc_jit_context_new_comparison (ctxt, NULL,
|
|
|
79 GCC_JIT_COMPARISON_EQ,
|
|
|
80 gcc_jit_param_as_rvalue (param_j),
|
|
|
81 gcc_jit_param_as_rvalue (param_k)));
|
|
|
82
|
|
|
83 gcc_jit_rvalue *cond =
|
|
|
84 gcc_jit_context_new_binary_op (ctxt, NULL,
|
|
|
85 GCC_JIT_BINARY_OP_LOGICAL_AND,
|
|
|
86 t_bool,
|
|
|
87 gcc_jit_lvalue_as_rvalue (comp0),
|
|
|
88 gcc_jit_lvalue_as_rvalue (comp1));
|
|
|
89
|
|
|
90 gcc_jit_block_end_with_conditional (b_entry, NULL,
|
|
|
91 cond,
|
|
|
92 b_on_true,
|
|
|
93 b_on_false);
|
|
|
94
|
|
|
95 gcc_jit_block_end_with_return (
|
|
|
96 b_on_true, NULL,
|
|
|
97 gcc_jit_context_new_rvalue_from_int (ctxt, the_type, 7));
|
|
|
98
|
|
|
99 gcc_jit_block_end_with_return (
|
|
|
100 b_on_false, NULL,
|
|
|
101 gcc_jit_context_new_rvalue_from_int (ctxt, the_type, 22));
|
|
|
102 }
|
|
|
103
|
|
|
104 void
|
|
|
105 create_code (gcc_jit_context *ctxt, void *user_data)
|
|
|
106 {
|
|
|
107 create_fn (ctxt, "pr66779_signed_char", GCC_JIT_TYPE_SIGNED_CHAR);
|
|
|
108 create_fn (ctxt, "pr66779_unsigned_char", GCC_JIT_TYPE_UNSIGNED_CHAR);
|
|
|
109
|
|
|
110 create_fn (ctxt, "pr66779_short", GCC_JIT_TYPE_SHORT);
|
|
|
111 create_fn (ctxt, "pr66779_unsigned_short", GCC_JIT_TYPE_UNSIGNED_SHORT);
|
|
|
112
|
|
|
113 create_fn (ctxt, "pr66779_int", GCC_JIT_TYPE_INT);
|
|
|
114 create_fn (ctxt, "pr66779_unsigned_int", GCC_JIT_TYPE_UNSIGNED_INT);
|
|
|
115
|
|
|
116 create_fn (ctxt, "pr66779_long", GCC_JIT_TYPE_LONG);
|
|
|
117 create_fn (ctxt, "pr66779_unsigned_long", GCC_JIT_TYPE_UNSIGNED_LONG);
|
|
|
118
|
|
|
119 create_fn (ctxt, "pr66779_long_long",
|
|
|
120 GCC_JIT_TYPE_LONG_LONG);
|
|
|
121 create_fn (ctxt, "pr66779_unsigned_long_long",
|
|
|
122 GCC_JIT_TYPE_UNSIGNED_LONG_LONG);
|
|
|
123
|
|
|
124 create_fn (ctxt, "pr66779_size_t", GCC_JIT_TYPE_SIZE_T);
|
|
|
125 }
|
|
|
126
|
|
|
127 extern void
|
|
|
128 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
|
|
|
129 {
|
|
|
130 typedef int (*fn_type) (int, int, int);
|
|
|
131 CHECK_NON_NULL (result);
|
|
|
132 /* Sanity-check the "int" case. */
|
|
|
133 fn_type fn =
|
|
|
134 (fn_type)gcc_jit_result_get_code (result, "pr66779_int");
|
|
|
135 CHECK_NON_NULL (fn);
|
|
|
136 CHECK_VALUE (fn (0, 0, 0), 22);
|
|
|
137 CHECK_VALUE (fn (0, 0, 1), 22);
|
|
|
138 CHECK_VALUE (fn (0x40, 0, 0), 7);
|
|
|
139 CHECK_VALUE (fn (0x40, 0, 1), 22);
|
|
|
140 CHECK_VALUE (fn (0x40, 1, 1), 7);
|
|
|
141 CHECK_VALUE (fn (0x3f, 0, 0), 22);
|
|
|
142 CHECK_VALUE (fn (0x3f, 1, 1), 22);
|
|
|
143 }
|
