1 /*
2 * builtin evaluation & expansion.
3 *
4 * Copyright (C) 2003 Transmeta Corp.
5 * 2003-2004 Linus Torvalds
6 *
7 * Permission is hereby granted, free of charge, to any person obtaining a copy
8 * of this software and associated documentation files (the "Software"), to deal
9 * in the Software without restriction, including without limitation the rights
10 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11 * copies of the Software, and to permit persons to whom the Software is
12 * furnished to do so, subject to the following conditions:
13 *
14 * The above copyright notice and this permission notice shall be included in
15 * all copies or substantial portions of the Software.
16 *
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
20 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
23 * THE SOFTWARE.
24 */
25
26 #include "expression.h"
27 #include "evaluate.h"
28 #include "expand.h"
29 #include "symbol.h"
30 #include "compat/bswap.h"
31 #include <stdarg.h>
32
evaluate_to_int_const_expr(struct expression * expr)33 static int evaluate_to_int_const_expr(struct expression *expr)
34 {
35 expr->ctype = &int_ctype;
36 expr->flags |= CEF_SET_ICE;
37 return 1;
38 }
39
evaluate_pure_unop(struct expression * expr)40 static int evaluate_pure_unop(struct expression *expr)
41 {
42 struct expression *arg = first_expression(expr->args);
43 int flags = arg->flags;
44
45 /*
46 * Allow such functions with a constant integer expression
47 * argument to be treated as a *constant* integer.
48 * This allow us to use them in switch() { case ...:
49 */
50 flags |= (flags & CEF_ICE) ? CEF_SET_INT : 0;
51 expr->flags = flags;
52 return 1;
53 }
54
55 /*
56 * eval_args - check the number of arguments and evaluate them.
57 */
eval_args(struct expression * expr,int n)58 static int eval_args(struct expression *expr, int n)
59 {
60 struct expression *arg;
61 struct symbol *sym;
62 const char *msg;
63 int rc = 1;
64
65 FOR_EACH_PTR(expr->args, arg) {
66 if (n-- == 0) {
67 msg = "too many arguments";
68 goto error;
69 }
70 if (!evaluate_expression(arg))
71 rc = 0;
72 } END_FOR_EACH_PTR(arg);
73 if (n > 0) {
74 msg = "not enough arguments";
75 goto error;
76 }
77 return rc;
78
79 error:
80 sym = expr->fn->ctype;
81 expression_error(expr, "%s for %s", msg, show_ident(sym->ident));
82 return 0;
83 }
84
args_triadic(struct expression * expr)85 static int args_triadic(struct expression *expr)
86 {
87 return eval_args(expr, 3);
88 }
89
evaluate_choose(struct expression * expr)90 static int evaluate_choose(struct expression *expr)
91 {
92 struct expression_list *list = expr->args;
93 struct expression *arg, *args[3];
94 int n = 0;
95
96 /* there will be exactly 3; we'd already verified that */
97 FOR_EACH_PTR(list, arg) {
98 args[n++] = arg;
99 } END_FOR_EACH_PTR(arg);
100
101 *expr = get_expression_value(args[0]) ? *args[1] : *args[2];
102
103 return 1;
104 }
105
expand_expect(struct expression * expr,int cost)106 static int expand_expect(struct expression *expr, int cost)
107 {
108 struct expression *arg = first_ptr_list((struct ptr_list *) expr->args);
109
110 if (arg)
111 *expr = *arg;
112 return 0;
113 }
114
115 /*
116 * __builtin_warning() has type "int" and always returns 1,
117 * so that you can use it in conditionals or whatever
118 */
expand_warning(struct expression * expr,int cost)119 static int expand_warning(struct expression *expr, int cost)
120 {
121 struct expression *arg;
122 struct expression_list *arglist = expr->args;
123
124 FOR_EACH_PTR (arglist, arg) {
125 /*
126 * Constant strings get printed out as a warning. By the
127 * time we get here, the EXPR_STRING has been fully
128 * evaluated, so by now it's an anonymous symbol with a
129 * string initializer.
130 *
131 * Just for the heck of it, allow any constant string
132 * symbol.
133 */
134 if (arg->type == EXPR_SYMBOL) {
135 struct symbol *sym = arg->symbol;
136 if (sym->initializer && sym->initializer->type == EXPR_STRING) {
137 struct string *string = sym->initializer->string;
138 warning(expr->pos, "%*s", string->length-1, string->data);
139 }
140 continue;
141 }
142
143 /*
144 * Any other argument is a conditional. If it's
145 * non-constant, or it is false, we exit and do
146 * not print any warning.
147 */
148 if (arg->type != EXPR_VALUE)
149 goto out;
150 if (!arg->value)
151 goto out;
152 } END_FOR_EACH_PTR(arg);
153 out:
154 expr->type = EXPR_VALUE;
155 expr->value = 1;
156 expr->taint = 0;
157 return 0;
158 }
159
160 /* The arguments are constant if the cost of all of them is zero */
expand_constant_p(struct expression * expr,int cost)161 static int expand_constant_p(struct expression *expr, int cost)
162 {
163 expr->type = EXPR_VALUE;
164 expr->value = !cost;
165 expr->taint = 0;
166 return 0;
167 }
168
169 /* The arguments are safe, if their cost is less than SIDE_EFFECTS */
expand_safe_p(struct expression * expr,int cost)170 static int expand_safe_p(struct expression *expr, int cost)
171 {
172 expr->type = EXPR_VALUE;
173 expr->value = (cost < SIDE_EFFECTS);
174 expr->taint = 0;
175 return 0;
176 }
177
178 static struct symbol_op constant_p_op = {
179 .evaluate = evaluate_to_int_const_expr,
180 .expand = expand_constant_p
181 };
182
183 static struct symbol_op safe_p_op = {
184 .evaluate = evaluate_to_int_const_expr,
185 .expand = expand_safe_p
186 };
187
188 static struct symbol_op warning_op = {
189 .evaluate = evaluate_to_int_const_expr,
190 .expand = expand_warning
191 };
192
193 static struct symbol_op expect_op = {
194 .expand = expand_expect
195 };
196
197 static struct symbol_op choose_op = {
198 .args = args_triadic,
199 .evaluate = evaluate_choose,
200 };
201
202 /* The argument is constant and valid if the cost is zero */
expand_bswap(struct expression * expr,int cost)203 static int expand_bswap(struct expression *expr, int cost)
204 {
205 struct expression *arg;
206 long long val;
207
208 if (cost)
209 return cost;
210
211 /* the arguments number & type have already been checked */
212 arg = first_expression(expr->args);
213 val = get_expression_value_silent(arg);
214 switch (expr->ctype->bit_size) {
215 case 16: expr->value = bswap16(val); break;
216 case 32: expr->value = bswap32(val); break;
217 case 64: expr->value = bswap64(val); break;
218 default: /* impossible error */
219 return SIDE_EFFECTS;
220 }
221
222 expr->type = EXPR_VALUE;
223 expr->taint = 0;
224 return 0;
225 }
226
227 static struct symbol_op bswap_op = {
228 .evaluate = evaluate_pure_unop,
229 .expand = expand_bswap,
230 };
231
232
evaluate_fp_unop(struct expression * expr)233 static int evaluate_fp_unop(struct expression *expr)
234 {
235 struct expression *arg;
236
237 if (!eval_args(expr, 1))
238 return 0;
239
240 arg = first_expression(expr->args);
241 if (!is_float_type(arg->ctype)) {
242 expression_error(expr, "non-floating-point argument in call to %s()",
243 show_ident(expr->fn->ctype->ident));
244 return 0;
245 }
246 return 1;
247 }
248
249 static struct symbol_op fp_unop_op = {
250 .evaluate = evaluate_fp_unop,
251 };
252
253
evaluate_overflow_gen(struct expression * expr,int ptr)254 static int evaluate_overflow_gen(struct expression *expr, int ptr)
255 {
256 struct expression *arg;
257 int n = 0;
258
259 /* there will be exactly 3; we'd already verified that */
260 FOR_EACH_PTR(expr->args, arg) {
261 struct symbol *type;
262
263 n++;
264 if (!arg || !(type = arg->ctype))
265 return 0;
266 // 1st & 2nd args must be a basic integer type
267 // 3rd arg must be a pointer to such a type.
268 if (n == 3 && ptr) {
269 if (type->type == SYM_NODE)
270 type = type->ctype.base_type;
271 if (!type)
272 return 0;
273 if (type->type != SYM_PTR)
274 goto err;
275 type = type->ctype.base_type;
276 if (!type)
277 return 0;
278 }
279 if (type->type == SYM_NODE)
280 type = type->ctype.base_type;
281 if (!type)
282 return 0;
283 if (type->ctype.base_type != &int_type || type == &bool_ctype)
284 goto err;
285 } END_FOR_EACH_PTR(arg);
286
287 // the builtin returns a bool
288 expr->ctype = &bool_ctype;
289 return 1;
290
291 err:
292 sparse_error(arg->pos, "invalid type for argument %d:", n);
293 info(arg->pos, " %s", show_typename(arg->ctype));
294 expr->ctype = &bad_ctype;
295 return 0;
296 }
297
evaluate_overflow(struct expression * expr)298 static int evaluate_overflow(struct expression *expr)
299 {
300 return evaluate_overflow_gen(expr, 1);
301 }
302
303 static struct symbol_op overflow_op = {
304 .args = args_triadic,
305 .evaluate = evaluate_overflow,
306 };
307
evaluate_overflow_p(struct expression * expr)308 static int evaluate_overflow_p(struct expression *expr)
309 {
310 return evaluate_overflow_gen(expr, 0);
311 }
312
313 static struct symbol_op overflow_p_op = {
314 .args = args_triadic,
315 .evaluate = evaluate_overflow_p,
316 };
317
318
319 /*
320 * Builtin functions
321 */
322 static struct symbol builtin_fn_type = { .type = SYM_FN /* , .variadic =1 */ };
323 static struct sym_init {
324 const char *name;
325 struct symbol *base_type;
326 unsigned int modifiers;
327 struct symbol_op *op;
328 } builtins_table[] = {
329 { "__builtin_constant_p", &builtin_fn_type, MOD_TOPLEVEL, &constant_p_op },
330 { "__builtin_safe_p", &builtin_fn_type, MOD_TOPLEVEL, &safe_p_op },
331 { "__builtin_warning", &builtin_fn_type, MOD_TOPLEVEL, &warning_op },
332 { "__builtin_expect", &builtin_fn_type, MOD_TOPLEVEL, &expect_op },
333 { "__builtin_choose_expr", &builtin_fn_type, MOD_TOPLEVEL, &choose_op },
334 { "__builtin_bswap16", &builtin_fn_type, MOD_TOPLEVEL, &bswap_op },
335 { "__builtin_bswap32", &builtin_fn_type, MOD_TOPLEVEL, &bswap_op },
336 { "__builtin_bswap64", &builtin_fn_type, MOD_TOPLEVEL, &bswap_op },
337 { "__builtin_isfinite", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op },
338 { "__builtin_isinf", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op },
339 { "__builtin_isinf_sign", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op },
340 { "__builtin_isnan", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op },
341 { "__builtin_isnormal", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op },
342 { "__builtin_signbit", &builtin_fn_type, MOD_TOPLEVEL, &fp_unop_op },
343 { "__builtin_add_overflow", &builtin_fn_type, MOD_TOPLEVEL, &overflow_op },
344 { "__builtin_sub_overflow", &builtin_fn_type, MOD_TOPLEVEL, &overflow_op },
345 { "__builtin_mul_overflow", &builtin_fn_type, MOD_TOPLEVEL, &overflow_op },
346 { "__builtin_add_overflow_p", &builtin_fn_type, MOD_TOPLEVEL, &overflow_p_op },
347 { "__builtin_sub_overflow_p", &builtin_fn_type, MOD_TOPLEVEL, &overflow_p_op },
348 { "__builtin_mul_overflow_p", &builtin_fn_type, MOD_TOPLEVEL, &overflow_p_op },
349 { NULL, NULL, 0 }
350 };
351
init_builtins(int stream)352 void init_builtins(int stream)
353 {
354 struct sym_init *ptr;
355
356 builtin_fn_type.variadic = 1;
357 for (ptr = builtins_table; ptr->name; ptr++) {
358 struct symbol *sym;
359 sym = create_symbol(stream, ptr->name, SYM_NODE, NS_SYMBOL);
360 sym->ctype.base_type = ptr->base_type;
361 sym->ctype.modifiers = ptr->modifiers;
362 sym->op = ptr->op;
363 sym->builtin = 1;
364 }
365 }
366
declare_builtin(const char * name,struct symbol * rtype,int variadic,...)367 static void declare_builtin(const char *name, struct symbol *rtype, int variadic, ...)
368 {
369 int stream = 0; // FIXME
370 struct symbol *sym = create_symbol(stream, name, SYM_NODE, NS_SYMBOL);
371 struct symbol *fun = alloc_symbol(sym->pos, SYM_FN);
372 struct symbol *arg;
373 va_list args;
374
375 sym->ctype.base_type = fun;
376 sym->ctype.modifiers = MOD_TOPLEVEL;
377 sym->builtin = 1;
378
379 fun->ctype.base_type = rtype;
380 fun->variadic = variadic;
381
382 va_start(args, variadic);
383 while ((arg = va_arg(args, struct symbol *))) {
384 struct symbol *anode = alloc_symbol(sym->pos, SYM_NODE);
385 anode->ctype.base_type = arg;
386 add_symbol(&fun->arguments, anode);
387 }
388 va_end(args);
389 }
390
declare_builtins(void)391 void declare_builtins(void)
392 {
393 struct symbol *va_list_ctype = &ptr_ctype;
394
395 declare_builtin("__builtin_abort", &void_ctype, 0, NULL);
396 declare_builtin("__builtin_abs", &int_ctype , 0, &int_ctype, NULL);
397 declare_builtin("__builtin_alloca", &ptr_ctype, 0, size_t_ctype, NULL);
398 declare_builtin("__builtin_alpha_cmpbge", &long_ctype, 0, &long_ctype, &long_ctype, NULL);
399 declare_builtin("__builtin_alpha_extbl", &long_ctype, 0, &long_ctype, &long_ctype, NULL);
400 declare_builtin("__builtin_alpha_extwl", &long_ctype, 0, &long_ctype, &long_ctype, NULL);
401 declare_builtin("__builtin_alpha_insbl", &long_ctype, 0, &long_ctype, &long_ctype, NULL);
402 declare_builtin("__builtin_alpha_inslh", &long_ctype, 0, &long_ctype, &long_ctype, NULL);
403 declare_builtin("__builtin_alpha_insql", &long_ctype, 0, &long_ctype, &long_ctype, NULL);
404 declare_builtin("__builtin_alpha_inswl", &long_ctype, 0, &long_ctype, &long_ctype, NULL);
405 declare_builtin("__builtin_bcmp", &int_ctype , 0, &const_ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL);
406 declare_builtin("__builtin_bcopy", &void_ctype, 0, &const_ptr_ctype, &ptr_ctype, size_t_ctype, NULL);
407 declare_builtin("__builtin_bswap16", &ushort_ctype, 0, &ushort_ctype, NULL);
408 declare_builtin("__builtin_bswap32", &uint_ctype, 0, &uint_ctype, NULL);
409 declare_builtin("__builtin_bswap64", &ullong_ctype, 0, &ullong_ctype, NULL);
410 declare_builtin("__builtin_bzero", &void_ctype, 0, &ptr_ctype, size_t_ctype, NULL);
411 declare_builtin("__builtin_calloc", &ptr_ctype, 0, size_t_ctype, size_t_ctype, NULL);
412 declare_builtin("__builtin_clrsb", &int_ctype, 0, &int_ctype, NULL);
413 declare_builtin("__builtin_clrsbl", &int_ctype, 0, &long_ctype, NULL);
414 declare_builtin("__builtin_clrsbll", &int_ctype, 0, &llong_ctype, NULL);
415 declare_builtin("__builtin_clz", &int_ctype, 0, &int_ctype, NULL);
416 declare_builtin("__builtin_clzl", &int_ctype, 0, &long_ctype, NULL);
417 declare_builtin("__builtin_clzll", &int_ctype, 0, &llong_ctype, NULL);
418 declare_builtin("__builtin_ctz", &int_ctype, 0, &int_ctype, NULL);
419 declare_builtin("__builtin_ctzl", &int_ctype, 0, &long_ctype, NULL);
420 declare_builtin("__builtin_ctzll", &int_ctype, 0, &llong_ctype, NULL);
421 declare_builtin("__builtin_exit", &void_ctype, 0, &int_ctype, NULL);
422 declare_builtin("__builtin_expect", &long_ctype, 0, &long_ctype ,&long_ctype, NULL);
423 declare_builtin("__builtin_extract_return_addr", &ptr_ctype, 0, &ptr_ctype, NULL);
424 declare_builtin("__builtin_fabs", &double_ctype, 0, &double_ctype, NULL);
425 declare_builtin("__builtin_ffs", &int_ctype, 0, &int_ctype, NULL);
426 declare_builtin("__builtin_ffsl", &int_ctype, 0, &long_ctype, NULL);
427 declare_builtin("__builtin_ffsll", &int_ctype, 0, &llong_ctype, NULL);
428 declare_builtin("__builtin_frame_address", &ptr_ctype, 0, &uint_ctype, NULL);
429 declare_builtin("__builtin_free", &void_ctype, 0, &ptr_ctype, NULL);
430 declare_builtin("__builtin_huge_val", &double_ctype, 0, NULL);
431 declare_builtin("__builtin_huge_valf", &float_ctype, 0, NULL);
432 declare_builtin("__builtin_huge_vall", &ldouble_ctype, 0, NULL);
433 declare_builtin("__builtin_index", &string_ctype, 0, &const_string_ctype, &int_ctype, NULL);
434 declare_builtin("__builtin_inf", &double_ctype, 0, NULL);
435 declare_builtin("__builtin_inff", &float_ctype, 0, NULL);
436 declare_builtin("__builtin_infl", &ldouble_ctype, 0, NULL);
437 declare_builtin("__builtin_isfinite", &int_ctype, 1, NULL);
438 declare_builtin("__builtin_isgreater", &int_ctype, 0, &float_ctype, &float_ctype, NULL);
439 declare_builtin("__builtin_isgreaterequal", &int_ctype, 0, &float_ctype, &float_ctype, NULL);
440 declare_builtin("__builtin_isinf", &int_ctype, 1, NULL);
441 declare_builtin("__builtin_isinf_sign", &int_ctype, 1, NULL);
442 declare_builtin("__builtin_isless", &int_ctype, 0, &float_ctype, &float_ctype, NULL);
443 declare_builtin("__builtin_islessequal", &int_ctype, 0, &float_ctype, &float_ctype, NULL);
444 declare_builtin("__builtin_islessgreater", &int_ctype, 0, &float_ctype, &float_ctype, NULL);
445 declare_builtin("__builtin_isnan", &int_ctype, 1, NULL);
446 declare_builtin("__builtin_isnormal", &int_ctype, 1, NULL);
447 declare_builtin("__builtin_isunordered", &int_ctype, 0, &float_ctype, &float_ctype, NULL);
448 declare_builtin("__builtin_labs", &long_ctype, 0, &long_ctype, NULL);
449 declare_builtin("__builtin_llabs", &llong_ctype, 0, &llong_ctype, NULL);
450 declare_builtin("__builtin_malloc", &ptr_ctype, 0, size_t_ctype, NULL);
451 declare_builtin("__builtin_memchr", &ptr_ctype, 0, &const_ptr_ctype, &int_ctype, size_t_ctype, NULL);
452 declare_builtin("__builtin_memcmp", &int_ctype, 0, &const_ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL);
453 declare_builtin("__builtin_memcpy", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL);
454 declare_builtin("__builtin_memmove", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL);
455 declare_builtin("__builtin_mempcpy", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, NULL);
456 declare_builtin("__builtin_memset", &ptr_ctype, 0, &ptr_ctype, &int_ctype, size_t_ctype, NULL);
457 declare_builtin("__builtin_nan", &double_ctype, 0, &const_string_ctype, NULL);
458 declare_builtin("__builtin_nanf", &float_ctype, 0, &const_string_ctype, NULL);
459 declare_builtin("__builtin_nanl", &ldouble_ctype, 0, &const_string_ctype, NULL);
460 declare_builtin("__builtin_object_size", size_t_ctype, 0, &const_ptr_ctype, &int_ctype, NULL);
461 declare_builtin("__builtin_parity", &int_ctype, 0, &uint_ctype, NULL);
462 declare_builtin("__builtin_parityl", &int_ctype, 0, &ulong_ctype, NULL);
463 declare_builtin("__builtin_parityll", &int_ctype, 0, &ullong_ctype, NULL);
464 declare_builtin("__builtin_popcount", &int_ctype, 0, &uint_ctype, NULL);
465 declare_builtin("__builtin_popcountl", &int_ctype, 0, &ulong_ctype, NULL);
466 declare_builtin("__builtin_popcountll", &int_ctype, 0, &ullong_ctype, NULL);
467 declare_builtin("__builtin_prefetch", &void_ctype, 1, &const_ptr_ctype, NULL);
468 declare_builtin("__builtin_printf", &int_ctype, 1, &const_string_ctype, NULL);
469 declare_builtin("__builtin_puts", &int_ctype, 0, &const_string_ctype, NULL);
470 declare_builtin("__builtin_realloc", &ptr_ctype, 0, &ptr_ctype, size_t_ctype, NULL);
471 declare_builtin("__builtin_return_address", &ptr_ctype, 0, &uint_ctype, NULL);
472 declare_builtin("__builtin_rindex", &string_ctype, 0, &const_string_ctype, &int_ctype, NULL);
473 declare_builtin("__builtin_sadd_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype, NULL);
474 declare_builtin("__builtin_saddl_overflow", &bool_ctype, 0, &long_ctype, &long_ctype, &long_ptr_ctype, NULL);
475 declare_builtin("__builtin_saddll_overflow", &bool_ctype, 0, &llong_ctype, &llong_ctype, &llong_ptr_ctype, NULL);
476 declare_builtin("__builtin_signbit", &int_ctype, 1, NULL);
477 declare_builtin("__builtin_smul_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype, NULL);
478 declare_builtin("__builtin_smull_overflow", &bool_ctype, 0, &long_ctype, &long_ctype, &long_ptr_ctype, NULL);
479 declare_builtin("__builtin_smulll_overflow", &bool_ctype, 0, &llong_ctype, &llong_ctype, &llong_ptr_ctype, NULL);
480 declare_builtin("__builtin_snprintf", &int_ctype, 1, &string_ctype, size_t_ctype, &const_string_ctype, NULL);
481 declare_builtin("__builtin_sprintf", &int_ctype, 1, &string_ctype, &const_string_ctype, NULL);
482 declare_builtin("__builtin_ssub_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype, NULL);
483 declare_builtin("__builtin_ssubl_overflow", &bool_ctype, 0, &long_ctype, &long_ctype, &long_ptr_ctype, NULL);
484 declare_builtin("__builtin_ssubll_overflow", &bool_ctype, 0, &llong_ctype, &llong_ctype, &llong_ptr_ctype, NULL);
485 declare_builtin("__builtin_stpcpy", &string_ctype, 0, &const_string_ctype, &const_string_ctype, NULL);
486 declare_builtin("__builtin_stpncpy", &string_ctype, 0, &const_string_ctype, &const_string_ctype, size_t_ctype, NULL);
487 declare_builtin("__builtin_strcasecmp", &int_ctype, 0, &const_string_ctype, &const_string_ctype, NULL);
488 declare_builtin("__builtin_strcasestr", &string_ctype, 0, &const_string_ctype, &const_string_ctype, NULL);
489 declare_builtin("__builtin_strcat", &string_ctype, 0, &string_ctype, &const_string_ctype, NULL);
490 declare_builtin("__builtin_strchr", &string_ctype, 0, &const_string_ctype, &int_ctype, NULL);
491 declare_builtin("__builtin_strcmp", &int_ctype, 0, &const_string_ctype, &const_string_ctype, NULL);
492 declare_builtin("__builtin_strcpy", &string_ctype, 0, &string_ctype, &const_string_ctype, NULL);
493 declare_builtin("__builtin_strcspn", size_t_ctype, 0, &const_string_ctype, &const_string_ctype, NULL);
494 declare_builtin("__builtin_strdup", &string_ctype, 0, &const_string_ctype, NULL);
495 declare_builtin("__builtin_strlen", size_t_ctype, 0, &const_string_ctype, NULL);
496 declare_builtin("__builtin_strncasecmp", &int_ctype, 0, &const_string_ctype, &const_string_ctype, size_t_ctype, NULL);
497 declare_builtin("__builtin_strncat", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL);
498 declare_builtin("__builtin_strncmp", &int_ctype, 0, &const_string_ctype, &const_string_ctype, size_t_ctype, NULL);
499 declare_builtin("__builtin_strncpy", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL);
500 declare_builtin("__builtin_strndup", &string_ctype, 0, &const_string_ctype, size_t_ctype, NULL);
501 declare_builtin("__builtin_strnstr", &string_ctype, 0, &const_string_ctype, &const_string_ctype, size_t_ctype, NULL);
502 declare_builtin("__builtin_strpbrk", &string_ctype, 0, &const_string_ctype, &const_string_ctype, NULL);
503 declare_builtin("__builtin_strrchr", &string_ctype, 0, &const_string_ctype, &int_ctype, NULL);
504 declare_builtin("__builtin_strspn", size_t_ctype, 0, &const_string_ctype, &const_string_ctype, NULL);
505 declare_builtin("__builtin_strstr", &string_ctype, 0, &const_string_ctype, &const_string_ctype, NULL);
506 declare_builtin("__builtin_trap", &void_ctype, 0, NULL);
507 declare_builtin("__builtin_uadd_overflow", &bool_ctype, 0, &uint_ctype, &uint_ctype, &uint_ptr_ctype, NULL);
508 declare_builtin("__builtin_uaddl_overflow", &bool_ctype, 0, &ulong_ctype, &ulong_ctype, &ulong_ptr_ctype, NULL);
509 declare_builtin("__builtin_uaddll_overflow", &bool_ctype, 0, &ullong_ctype, &ullong_ctype, &ullong_ptr_ctype, NULL);
510 declare_builtin("__builtin_umul_overflow", &bool_ctype, 0, &uint_ctype, &uint_ctype, &uint_ptr_ctype, NULL);
511 declare_builtin("__builtin_umull_overflow", &bool_ctype, 0, &ulong_ctype, &ulong_ctype, &ulong_ptr_ctype, NULL);
512 declare_builtin("__builtin_umulll_overflow", &bool_ctype, 0, &ullong_ctype, &ullong_ctype, &ullong_ptr_ctype, NULL);
513 declare_builtin("__builtin_unreachable", &void_ctype, 0, NULL);
514 declare_builtin("__builtin_usub_overflow", &bool_ctype, 0, &uint_ctype, &uint_ctype, &uint_ptr_ctype, NULL);
515 declare_builtin("__builtin_usubl_overflow", &bool_ctype, 0, &ulong_ctype, &ulong_ctype, &ulong_ptr_ctype, NULL);
516 declare_builtin("__builtin_usubll_overflow", &bool_ctype, 0, &ullong_ctype, &ullong_ctype, &ullong_ptr_ctype, NULL);
517 declare_builtin("__builtin_va_arg_pack_len", size_t_ctype, 0, NULL);
518 declare_builtin("__builtin_vprintf", &int_ctype, 0, &const_string_ctype, va_list_ctype, NULL);
519 declare_builtin("__builtin_vsnprintf", &int_ctype, 0, &string_ctype, size_t_ctype, &const_string_ctype, va_list_ctype, NULL);
520 declare_builtin("__builtin_vsprintf", &int_ctype, 0, &string_ctype, &const_string_ctype, va_list_ctype, NULL);
521
522 declare_builtin("__builtin___memcpy_chk", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, size_t_ctype, NULL);
523 declare_builtin("__builtin___memmove_chk", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, size_t_ctype, NULL);
524 declare_builtin("__builtin___mempcpy_chk", &ptr_ctype, 0, &ptr_ctype, &const_ptr_ctype, size_t_ctype, size_t_ctype, NULL);
525 declare_builtin("__builtin___memset_chk", &ptr_ctype, 0, &ptr_ctype, &int_ctype, size_t_ctype, size_t_ctype, NULL);
526 declare_builtin("__builtin___snprintf_chk", &int_ctype, 1, &string_ctype, size_t_ctype, &int_ctype , size_t_ctype, &const_string_ctype, NULL);
527 declare_builtin("__builtin___sprintf_chk", &int_ctype, 1, &string_ctype, &int_ctype, size_t_ctype, &const_string_ctype, NULL);
528 declare_builtin("__builtin___stpcpy_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL);
529 declare_builtin("__builtin___strcat_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL);
530 declare_builtin("__builtin___strcpy_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, NULL);
531 declare_builtin("__builtin___strncat_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, size_t_ctype, NULL);
532 declare_builtin("__builtin___strncpy_chk", &string_ctype, 0, &string_ctype, &const_string_ctype, size_t_ctype, size_t_ctype, NULL);
533 declare_builtin("__builtin___vsnprintf_chk", &int_ctype, 0, &string_ctype, size_t_ctype, &int_ctype, size_t_ctype, &const_string_ctype, va_list_ctype, NULL);
534 declare_builtin("__builtin___vsprintf_chk", &int_ctype, 0, &string_ctype, &int_ctype, size_t_ctype, &const_string_ctype, va_list_ctype, NULL);
535
536 declare_builtin("__sync_add_and_fetch", &int_ctype, 1, &ptr_ctype, NULL);
537 declare_builtin("__sync_and_and_fetch", &int_ctype, 1, &ptr_ctype, NULL);
538 declare_builtin("__sync_bool_compare_and_swap", &int_ctype, 1, &ptr_ctype, NULL);
539 declare_builtin("__sync_fetch_and_add", &int_ctype, 1, &ptr_ctype, NULL);
540 declare_builtin("__sync_fetch_and_and", &int_ctype, 1, &ptr_ctype, NULL);
541 declare_builtin("__sync_fetch_and_nand", &int_ctype, 1, &ptr_ctype, NULL);
542 declare_builtin("__sync_fetch_and_or", &int_ctype, 1, &ptr_ctype, NULL);
543 declare_builtin("__sync_fetch_and_sub", &int_ctype, 1, &ptr_ctype, NULL);
544 declare_builtin("__sync_fetch_and_xor", &int_ctype, 1, &ptr_ctype, NULL);
545 declare_builtin("__sync_lock_release", &void_ctype, 1, &ptr_ctype, NULL);
546 declare_builtin("__sync_lock_test_and_set", &int_ctype, 1, &ptr_ctype, NULL);
547 declare_builtin("__sync_nand_and_fetch", &int_ctype, 1, &ptr_ctype, NULL);
548 declare_builtin("__sync_or_and_fetch", &int_ctype, 1, &ptr_ctype, NULL);
549 declare_builtin("__sync_sub_and_fetch", &int_ctype, 1, &ptr_ctype, NULL);
550 declare_builtin("__sync_synchronize", &void_ctype, 0, NULL);
551 declare_builtin("__sync_val_compare_and_swap", &int_ctype, 1, &ptr_ctype, NULL);
552 declare_builtin("__sync_xor_and_fetch", &int_ctype, 1, &ptr_ctype, NULL);
553
554 // Blackfin-specific stuff
555 declare_builtin("__builtin_bfin_csync", &void_ctype, 0, NULL);
556 declare_builtin("__builtin_bfin_ssync", &void_ctype, 0, NULL);
557 declare_builtin("__builtin_bfin_norm_fr1x32", &int_ctype, 0, &int_ctype, NULL);
558 }
559