]>
Commit | Line | Data |
---|---|---|
cb1072f4 KG |
1 | /* This file contains the definitions and documentation for the |
2 | builtins used in the GNU compiler. | |
341e3d11 | 3 | Copyright (C) 2000, 2001 Free Software Foundation, Inc. |
cb1072f4 | 4 | |
1322177d | 5 | This file is part of GCC. |
cb1072f4 | 6 | |
1322177d LB |
7 | GCC is free software; you can redistribute it and/or modify it under |
8 | the terms of the GNU General Public License as published by the Free | |
9 | Software Foundation; either version 2, or (at your option) any later | |
10 | version. | |
cb1072f4 | 11 | |
1322177d LB |
12 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
13 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 | for more details. | |
cb1072f4 KG |
16 | |
17 | You should have received a copy of the GNU General Public License | |
1322177d LB |
18 | along with GCC; see the file COPYING. If not, write to the Free |
19 | Software Foundation, 59 Temple Place - Suite 330, Boston, MA | |
20 | 02111-1307, USA. */ | |
cb1072f4 | 21 | |
10841285 MM |
22 | /* Before including this file, you should define a macro: |
23 | ||
24 | DEF_BUILTIN (ENUM, NAME, CLASS, TYPE, LIBTYPE, BOTH_P, | |
df061a43 | 25 | FALLBACK_P, NONANSI_P, ATTRS) |
10841285 MM |
26 | |
27 | This macro will be called once for each builtin function. The | |
28 | ENUM will be of type `enum built_in_function', and will indicate | |
29 | which builtin function is being processed. The NAME of the builtin | |
30 | function (which will always start with `__builtin_') is a string | |
31 | literal. The CLASS is of type `enum built_in_class' and indicates | |
32 | what kind of builtin is being processed. | |
33 | ||
34 | Some builtins are actually two separate functions. For example, | |
35 | for `strcmp' there are two builtin functions; `__builtin_strcmp' | |
36 | and `strcmp' itself. Both behave identically. Other builtins | |
37 | define only the `__builtin' variant. If BOTH_P is TRUE, then this | |
38 | builtin has both variants; otherwise, it is has only the first | |
39 | variant. | |
40 | ||
41 | TYPE indicates the type of the function. The symbols correspond to | |
42 | enumerals from builtin-types.def. If BOTH_P is true, then LIBTYPE | |
43 | is the type of the non-`__builtin_' variant. Otherwise, LIBTYPE | |
44 | should be ignored. | |
45 | ||
46 | If FALLBACK_P is true then, if for some reason, the compiler cannot | |
47 | expand the builtin function directly, it will call the | |
48 | corresponding library function (which does not have the | |
49 | `__builtin_' prefix. | |
50 | ||
51 | If NONANSI_P is true, then the non-`__builtin_' variant is not an | |
52 | ANSI/ISO library function, and so we should pretend it does not | |
df061a43 RS |
53 | exist when compiling in ANSI conformant mode. |
54 | ||
55 | ATTRs is an attribute list as defined in builtin-attrs.def that | |
56 | describes the attributes of this builtin function. */ | |
10841285 MM |
57 | |
58 | /* A GCC builtin (like __builtin_saveregs) is provided by the | |
59 | compiler, but does not correspond to a function in the standard | |
60 | library. */ | |
61 | #undef DEF_GCC_BUILTIN | |
c2ef6d34 | 62 | #define DEF_GCC_BUILTIN(ENUM, NAME, TYPE, ATTRS) \ |
10841285 | 63 | DEF_BUILTIN (ENUM, NAME, BUILT_IN_NORMAL, TYPE, BT_LAST, \ |
c2ef6d34 | 64 | false, false, false, ATTRS) |
10841285 MM |
65 | |
66 | ||
67 | /* A fallback builtin is a builtin (like __builtin_puts) that falls | |
68 | back to the corresopnding library function if necessary -- but | |
69 | for which we should not introduce the non-`__builtin' variant of | |
70 | the name. */ | |
71 | #undef DEF_FALLBACK_BUILTIN | |
df061a43 | 72 | #define DEF_FALLBACK_BUILTIN(ENUM, NAME, TYPE, ATTRS) \ |
10841285 | 73 | DEF_BUILTIN (ENUM, NAME, BUILT_IN_NORMAL, TYPE, TYPE, \ |
df061a43 | 74 | false, true, false, ATTRS) |
10841285 | 75 | |
b4c984fb KG |
76 | /* Like DEF_FALLBACK_BUILTIN, except that the function is not one that |
77 | is specified by ANSI/ISO C. So, when we're being fully conformant | |
78 | we ignore the version of these builtins that does not begin with | |
79 | __builtin. */ | |
80 | #undef DEF_EXT_FALLBACK_BUILTIN | |
81 | #define DEF_EXT_FALLBACK_BUILTIN(ENUM, NAME, TYPE) \ | |
82 | DEF_BUILTIN (ENUM, NAME, BUILT_IN_NORMAL, TYPE, TYPE, \ | |
df061a43 | 83 | false, true, true, ATTR_NOTHROW_LIST) |
b4c984fb | 84 | |
10841285 MM |
85 | /* A library builtin (like __builtin_strchr) is a builtin equivalent |
86 | of an ANSI/ISO standard library function. In addition to the | |
5519a4f9 | 87 | `__builtin' version, we will create an ordinary version (e.g, |
10841285 MM |
88 | `strchr') as well. If we cannot compute the answer using the |
89 | builtin function, we will fall back to the standard library | |
90 | version. */ | |
91 | #undef DEF_LIB_BUILTIN | |
df061a43 | 92 | #define DEF_LIB_BUILTIN(ENUM, NAME, TYPE, ATTRS) \ |
10841285 | 93 | DEF_BUILTIN (ENUM, NAME, BUILT_IN_NORMAL, TYPE, TYPE, \ |
df061a43 | 94 | true, true, false, ATTRS) |
10841285 MM |
95 | |
96 | /* Like DEF_LIB_BUILTIN, except that a call to the builtin should | |
97 | never fall back to the library version. */ | |
98 | #undef DEF_LIB_ALWAYS_BUILTIN | |
99 | #define DEF_LIB_ALWAYS_BUILTIN(ENUM, NAME, TYPE) \ | |
100 | DEF_BUILTIN (ENUM, NAME, BUILT_IN_NORMAL, TYPE, TYPE, \ | |
df061a43 | 101 | true, false, true, ATTR_CONST_NOTHROW_LIST) |
10841285 MM |
102 | |
103 | /* Like DEF_LIB_BUILTIN, except that the function is not one that is | |
104 | specified by ANSI/ISO C. So, when we're being fully conformant we | |
105 | ignore the version of these builtins that does not begin with | |
106 | __builtin. */ | |
107 | #undef DEF_EXT_LIB_BUILTIN | |
df061a43 | 108 | #define DEF_EXT_LIB_BUILTIN(ENUM, NAME, TYPE, ATTRS) \ |
10841285 | 109 | DEF_BUILTIN (ENUM, NAME, BUILT_IN_NORMAL, TYPE, TYPE, \ |
df061a43 | 110 | true, true, true, ATTRS) |
10841285 MM |
111 | |
112 | /* Like DEF_LIB_BUILTIN, except that the function is only a part of | |
113 | the standard in C99 or above. */ | |
114 | #undef DEF_C99_BUILTIN | |
115 | #define DEF_C99_BUILTIN(ENUM, NAME, TYPE) \ | |
116 | DEF_BUILTIN (ENUM, NAME, BUILT_IN_NORMAL, TYPE, TYPE, \ | |
df061a43 | 117 | true, !flag_isoc99, true, ATTR_NOTHROW_LIST) |
10841285 MM |
118 | |
119 | /* Like DEF_LIB_BUILTIN, except that the function is expanded in the | |
120 | front-end. */ | |
121 | #undef DEF_FRONT_END_LIB_BUILTIN | |
df061a43 | 122 | #define DEF_FRONT_END_LIB_BUILTIN(ENUM, NAME, TYPE, ATTRS) \ |
10841285 | 123 | DEF_BUILTIN (ENUM, NAME, BUILT_IN_FRONTEND, TYPE, TYPE, \ |
df061a43 | 124 | true, true, false, ATTRS) |
10841285 | 125 | |
b4c984fb KG |
126 | /* Like DEF_FRONT_END_LIB_BUILTIN, except that the function is not one |
127 | that is specified by ANSI/ISO C. So, when we're being fully | |
128 | conformant we ignore the version of these builtins that does not | |
129 | begin with __builtin. */ | |
130 | #undef DEF_EXT_FRONT_END_LIB_BUILTIN | |
df061a43 | 131 | #define DEF_EXT_FRONT_END_LIB_BUILTIN(ENUM, NAME, TYPE, ATTRS) \ |
b4c984fb | 132 | DEF_BUILTIN (ENUM, NAME, BUILT_IN_FRONTEND, TYPE, TYPE, \ |
df061a43 | 133 | true, true, true, ATTRS) |
b4c984fb | 134 | |
10841285 MM |
135 | /* A built-in that is not currently used. */ |
136 | #undef DEF_UNUSED_BUILTIN | |
137 | #define DEF_UNUSED_BUILTIN(X) \ | |
138 | DEF_BUILTIN (X, (const char *) NULL, NOT_BUILT_IN, BT_LAST, \ | |
df061a43 | 139 | BT_LAST, false, false, false, ATTR_NOTHROW_LIST) |
10841285 MM |
140 | |
141 | /* If SMALL_STACK is defined, then `alloca' is only defined in its | |
142 | `__builtin' form. */ | |
143 | #if SMALL_STACK | |
144 | DEF_FALLBACK_BUILTIN(BUILT_IN_ALLOCA, | |
145 | "__builtin_alloca", | |
df061a43 RS |
146 | BT_FN_PTR_SIZE, |
147 | ATTR_MALLOC_NOTHROW_LIST) | |
10841285 MM |
148 | #else |
149 | DEF_EXT_LIB_BUILTIN(BUILT_IN_ALLOCA, | |
150 | "__builtin_alloca", | |
df061a43 RS |
151 | BT_FN_PTR_SIZE, |
152 | ATTR_MALLOC_NOTHROW_LIST) | |
10841285 MM |
153 | #endif |
154 | ||
155 | DEF_LIB_ALWAYS_BUILTIN(BUILT_IN_ABS, | |
156 | "__builtin_abs", | |
157 | BT_FN_INT_INT) | |
158 | DEF_LIB_ALWAYS_BUILTIN(BUILT_IN_LABS, | |
159 | "__builtin_labs", | |
160 | BT_FN_LONG_LONG) | |
161 | ||
162 | DEF_LIB_ALWAYS_BUILTIN(BUILT_IN_FABS, | |
163 | "__builtin_fabs", | |
164 | BT_FN_DOUBLE_DOUBLE) | |
165 | DEF_LIB_ALWAYS_BUILTIN(BUILT_IN_FABSF, | |
166 | "__builtin_fabsf", | |
167 | BT_FN_FLOAT_FLOAT) | |
168 | DEF_LIB_ALWAYS_BUILTIN(BUILT_IN_FABSL, | |
169 | "__builtin_fabsl", | |
170 | BT_FN_LONG_DOUBLE_LONG_DOUBLE) | |
171 | ||
172 | DEF_C99_BUILTIN(BUILT_IN_LLABS, | |
173 | "__builtin_llabs", | |
174 | BT_FN_LONGLONG_LONGLONG) | |
175 | DEF_C99_BUILTIN(BUILT_IN_IMAXABS, | |
176 | "__builtin_imaxabs", | |
177 | BT_FN_INTMAX_INTMAX) | |
178 | DEF_C99_BUILTIN(BUILT_IN_CONJ, | |
179 | "__builtin_conj", | |
180 | BT_FN_COMPLEX_DOUBLE_COMPLEX_DOUBLE) | |
181 | DEF_C99_BUILTIN(BUILT_IN_CONJF, | |
182 | "__builtin_conjf", | |
183 | BT_FN_COMPLEX_FLOAT_COMPLEX_FLOAT) | |
184 | DEF_C99_BUILTIN(BUILT_IN_CONJL, | |
185 | "__builtin_conjl", | |
186 | BT_FN_COMPLEX_LONG_DOUBLE_COMPLEX_LONG_DOUBLE) | |
187 | DEF_C99_BUILTIN(BUILT_IN_CREAL, | |
188 | "__builtin_creal", | |
189 | BT_FN_DOUBLE_COMPLEX_DOUBLE) | |
190 | DEF_C99_BUILTIN(BUILT_IN_CREALF, | |
191 | "__builtin_crealf", | |
192 | BT_FN_FLOAT_COMPLEX_FLOAT) | |
193 | DEF_C99_BUILTIN(BUILT_IN_CREALL, | |
194 | "__builtin_creall", | |
195 | BT_FN_LONG_DOUBLE_COMPLEX_LONG_DOUBLE) | |
196 | DEF_C99_BUILTIN(BUILT_IN_CIMAG, | |
197 | "__builtin_cimag", | |
198 | BT_FN_DOUBLE_COMPLEX_DOUBLE) | |
199 | DEF_C99_BUILTIN(BUILT_IN_CIMAGF, | |
200 | "__builtin_cimagf", | |
201 | BT_FN_FLOAT_COMPLEX_FLOAT) | |
202 | DEF_C99_BUILTIN(BUILT_IN_CIMAGL, | |
203 | "__builtin_cimagl", | |
204 | BT_FN_LONG_DOUBLE_COMPLEX_LONG_DOUBLE) | |
205 | ||
206 | DEF_UNUSED_BUILTIN(BUILT_IN_DIV) | |
207 | DEF_UNUSED_BUILTIN(BUILT_IN_LDIV) | |
208 | DEF_UNUSED_BUILTIN(BUILT_IN_FFLOOR) | |
209 | DEF_UNUSED_BUILTIN(BUILT_IN_FCEIL) | |
210 | DEF_UNUSED_BUILTIN(BUILT_IN_FMOD) | |
211 | DEF_UNUSED_BUILTIN(BUILT_IN_FREM) | |
212 | ||
213 | /* The system prototypes for `bzero' and `bcmp' functions have many | |
214 | variations, so don't specify parameters to avoid conflicts. The | |
215 | expand_* functions check the argument types anyway. */ | |
216 | DEF_BUILTIN (BUILT_IN_BZERO, | |
217 | "__builtin_bzero", | |
218 | BUILT_IN_NORMAL, | |
f458d1d5 | 219 | BT_FN_VOID_PTR_SIZE, |
10841285 | 220 | BT_FN_VOID_VAR, |
df061a43 RS |
221 | true, true, true, |
222 | ATTR_NOTHROW_LIST) | |
10841285 MM |
223 | DEF_BUILTIN (BUILT_IN_BCMP, |
224 | "__builtin_bcmp", | |
225 | BUILT_IN_NORMAL, | |
f458d1d5 | 226 | BT_FN_INT_CONST_PTR_CONST_PTR_SIZE, |
10841285 | 227 | BT_FN_INT_VAR, |
df061a43 RS |
228 | true, true, true, |
229 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
230 | |
231 | DEF_EXT_LIB_BUILTIN(BUILT_IN_FFS, | |
232 | "__builtin_ffs", | |
df061a43 RS |
233 | BT_FN_INT_INT, |
234 | ATTR_CONST_NOTHROW_LIST) | |
10841285 MM |
235 | DEF_EXT_LIB_BUILTIN(BUILT_IN_INDEX, |
236 | "__builtin_index", | |
df061a43 RS |
237 | BT_FN_STRING_CONST_STRING_INT, |
238 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
239 | DEF_EXT_LIB_BUILTIN(BUILT_IN_RINDEX, |
240 | "__builtin_rindex", | |
df061a43 RS |
241 | BT_FN_STRING_CONST_STRING_INT, |
242 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
243 | |
244 | DEF_LIB_BUILTIN(BUILT_IN_MEMCPY, | |
245 | "__builtin_memcpy", | |
df061a43 RS |
246 | BT_FN_PTR_PTR_CONST_PTR_SIZE, |
247 | ATTR_NOTHROW_LIST) | |
10841285 MM |
248 | DEF_LIB_BUILTIN(BUILT_IN_MEMCMP, |
249 | "__builtin_memcmp", | |
df061a43 RS |
250 | BT_FN_INT_CONST_PTR_CONST_PTR_SIZE, |
251 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
252 | DEF_LIB_BUILTIN(BUILT_IN_MEMSET, |
253 | "__builtin_memset", | |
df061a43 RS |
254 | BT_FN_PTR_PTR_INT_SIZE, |
255 | ATTR_NOTHROW_LIST) | |
10841285 MM |
256 | |
257 | DEF_LIB_BUILTIN(BUILT_IN_STRCAT, | |
258 | "__builtin_strcat", | |
df061a43 RS |
259 | BT_FN_STRING_STRING_CONST_STRING, |
260 | ATTR_NOTHROW_LIST) | |
10841285 MM |
261 | DEF_LIB_BUILTIN(BUILT_IN_STRNCAT, |
262 | "__builtin_strncat", | |
df061a43 RS |
263 | BT_FN_STRING_STRING_CONST_STRING_SIZE, |
264 | ATTR_NOTHROW_LIST) | |
10841285 MM |
265 | DEF_LIB_BUILTIN(BUILT_IN_STRCPY, |
266 | "__builtin_strcpy", | |
df061a43 RS |
267 | BT_FN_STRING_STRING_CONST_STRING, |
268 | ATTR_NOTHROW_LIST) | |
10841285 MM |
269 | DEF_LIB_BUILTIN(BUILT_IN_STRNCPY, |
270 | "__builtin_strncpy", | |
df061a43 RS |
271 | BT_FN_STRING_STRING_CONST_STRING_SIZE, |
272 | ATTR_NOTHROW_LIST) | |
10841285 MM |
273 | DEF_LIB_BUILTIN(BUILT_IN_STRCMP, |
274 | "__builtin_strcmp", | |
df061a43 RS |
275 | BT_FN_INT_CONST_STRING_CONST_STRING, |
276 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
277 | DEF_LIB_BUILTIN(BUILT_IN_STRNCMP, |
278 | "__builtin_strncmp", | |
df061a43 RS |
279 | BT_FN_INT_CONST_STRING_CONST_STRING_SIZE, |
280 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
281 | DEF_LIB_BUILTIN(BUILT_IN_STRLEN, |
282 | "__builtin_strlen", | |
df061a43 RS |
283 | BT_FN_SIZE_CONST_STRING, |
284 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
285 | DEF_LIB_BUILTIN(BUILT_IN_STRSTR, |
286 | "__builtin_strstr", | |
df061a43 RS |
287 | BT_FN_STRING_CONST_STRING_CONST_STRING, |
288 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
289 | DEF_LIB_BUILTIN(BUILT_IN_STRPBRK, |
290 | "__builtin_strpbrk", | |
df061a43 RS |
291 | BT_FN_STRING_CONST_STRING_CONST_STRING, |
292 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
293 | DEF_LIB_BUILTIN(BUILT_IN_STRSPN, |
294 | "__builtin_strspn", | |
df061a43 RS |
295 | BT_FN_SIZE_CONST_STRING_CONST_STRING, |
296 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
297 | DEF_LIB_BUILTIN(BUILT_IN_STRCSPN, |
298 | "__builtin_strcspn", | |
df061a43 RS |
299 | BT_FN_SIZE_CONST_STRING_CONST_STRING, |
300 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
301 | DEF_LIB_BUILTIN(BUILT_IN_STRCHR, |
302 | "__builtin_strchr", | |
df061a43 RS |
303 | BT_FN_STRING_CONST_STRING_INT, |
304 | ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
305 | DEF_LIB_BUILTIN(BUILT_IN_STRRCHR, |
306 | "__builtin_strrchr", | |
df061a43 RS |
307 | BT_FN_STRING_CONST_STRING_INT, |
308 | ATTR_PURE_NOTHROW_LIST) | |
10841285 | 309 | |
dc6f4158 AJ |
310 | DEF_LIB_BUILTIN(BUILT_IN_SQRT, |
311 | "__builtin_sqrt", | |
df061a43 RS |
312 | BT_FN_DOUBLE_DOUBLE, |
313 | flag_errno_math ? ATTR_NOTHROW_LIST | |
314 | : (flag_unsafe_math_optimizations | |
315 | ? ATTR_CONST_NOTHROW_LIST | |
316 | : ATTR_PURE_NOTHROW_LIST)) | |
10841285 MM |
317 | DEF_LIB_BUILTIN(BUILT_IN_SIN, |
318 | "__builtin_sin", | |
df061a43 RS |
319 | BT_FN_DOUBLE_DOUBLE, |
320 | flag_unsafe_math_optimizations ? ATTR_CONST_NOTHROW_LIST | |
321 | : ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
322 | DEF_LIB_BUILTIN(BUILT_IN_COS, |
323 | "__builtin_cos", | |
df061a43 RS |
324 | BT_FN_DOUBLE_DOUBLE, |
325 | flag_unsafe_math_optimizations ? ATTR_CONST_NOTHROW_LIST | |
326 | : ATTR_PURE_NOTHROW_LIST) | |
e7b489c8 RS |
327 | DEF_LIB_BUILTIN(BUILT_IN_EXP, |
328 | "__builtin_exp", | |
329 | BT_FN_DOUBLE_DOUBLE, | |
330 | flag_errno_math ? ATTR_NOTHROW_LIST | |
331 | : (flag_unsafe_math_optimizations | |
332 | ? ATTR_CONST_NOTHROW_LIST | |
333 | : ATTR_PURE_NOTHROW_LIST)) | |
334 | DEF_LIB_BUILTIN(BUILT_IN_LOG, | |
335 | "__builtin_log", | |
336 | BT_FN_DOUBLE_DOUBLE, | |
337 | flag_errno_math ? ATTR_NOTHROW_LIST | |
338 | : (flag_unsafe_math_optimizations | |
339 | ? ATTR_CONST_NOTHROW_LIST | |
340 | : ATTR_PURE_NOTHROW_LIST)) | |
10841285 MM |
341 | DEF_LIB_BUILTIN(BUILT_IN_SQRTF, |
342 | "__builtin_sqrtf", | |
df061a43 RS |
343 | BT_FN_FLOAT_FLOAT, |
344 | flag_errno_math ? ATTR_NOTHROW_LIST | |
345 | : (flag_unsafe_math_optimizations | |
346 | ? ATTR_CONST_NOTHROW_LIST | |
347 | : ATTR_PURE_NOTHROW_LIST)) | |
10841285 MM |
348 | DEF_LIB_BUILTIN(BUILT_IN_SINF, |
349 | "__builtin_sinf", | |
df061a43 RS |
350 | BT_FN_FLOAT_FLOAT, |
351 | flag_unsafe_math_optimizations ? ATTR_CONST_NOTHROW_LIST | |
352 | : ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
353 | DEF_LIB_BUILTIN(BUILT_IN_COSF, |
354 | "__builtin_cosf", | |
df061a43 RS |
355 | BT_FN_FLOAT_FLOAT, |
356 | flag_unsafe_math_optimizations ? ATTR_CONST_NOTHROW_LIST | |
357 | : ATTR_PURE_NOTHROW_LIST) | |
e7b489c8 RS |
358 | DEF_LIB_BUILTIN(BUILT_IN_EXPF, |
359 | "__builtin_expf", | |
360 | BT_FN_FLOAT_FLOAT, | |
361 | flag_errno_math ? ATTR_NOTHROW_LIST | |
362 | : (flag_unsafe_math_optimizations | |
363 | ? ATTR_CONST_NOTHROW_LIST | |
364 | : ATTR_PURE_NOTHROW_LIST)) | |
365 | DEF_LIB_BUILTIN(BUILT_IN_LOGF, | |
366 | "__builtin_logf", | |
367 | BT_FN_FLOAT_FLOAT, | |
368 | flag_errno_math ? ATTR_NOTHROW_LIST | |
369 | : (flag_unsafe_math_optimizations | |
370 | ? ATTR_CONST_NOTHROW_LIST | |
371 | : ATTR_PURE_NOTHROW_LIST)) | |
10841285 MM |
372 | DEF_LIB_BUILTIN(BUILT_IN_SQRTL, |
373 | "__builtin_sqrtl", | |
df061a43 RS |
374 | BT_FN_LONG_DOUBLE_LONG_DOUBLE, |
375 | flag_errno_math ? ATTR_NOTHROW_LIST | |
376 | : (flag_unsafe_math_optimizations | |
377 | ? ATTR_CONST_NOTHROW_LIST | |
378 | : ATTR_PURE_NOTHROW_LIST)) | |
10841285 MM |
379 | DEF_LIB_BUILTIN(BUILT_IN_SINL, |
380 | "__builtin_sinl", | |
df061a43 RS |
381 | BT_FN_LONG_DOUBLE_LONG_DOUBLE, |
382 | flag_unsafe_math_optimizations ? ATTR_CONST_NOTHROW_LIST | |
383 | : ATTR_PURE_NOTHROW_LIST) | |
10841285 MM |
384 | DEF_LIB_BUILTIN(BUILT_IN_COSL, |
385 | "__builtin_cosl", | |
df061a43 RS |
386 | BT_FN_LONG_DOUBLE_LONG_DOUBLE, |
387 | flag_unsafe_math_optimizations ? ATTR_CONST_NOTHROW_LIST | |
388 | : ATTR_PURE_NOTHROW_LIST) | |
e7b489c8 RS |
389 | DEF_LIB_BUILTIN(BUILT_IN_EXPL, |
390 | "__builtin_expl", | |
391 | BT_FN_LONG_DOUBLE_LONG_DOUBLE, | |
392 | flag_errno_math ? ATTR_NOTHROW_LIST | |
393 | : (flag_unsafe_math_optimizations | |
394 | ? ATTR_CONST_NOTHROW_LIST | |
395 | : ATTR_PURE_NOTHROW_LIST)) | |
396 | DEF_LIB_BUILTIN(BUILT_IN_LOGL, | |
397 | "__builtin_logl", | |
398 | BT_FN_LONG_DOUBLE_LONG_DOUBLE, | |
399 | flag_errno_math ? ATTR_NOTHROW_LIST | |
400 | : (flag_unsafe_math_optimizations | |
401 | ? ATTR_CONST_NOTHROW_LIST | |
402 | : ATTR_PURE_NOTHROW_LIST)) | |
10841285 MM |
403 | |
404 | DEF_UNUSED_BUILTIN(BUILT_IN_GETEXP) | |
405 | DEF_UNUSED_BUILTIN(BUILT_IN_GETMAN) | |
406 | ||
407 | DEF_GCC_BUILTIN(BUILT_IN_SAVEREGS, | |
408 | "__builtin_saveregs", | |
c2ef6d34 RS |
409 | BT_FN_PTR_VAR, |
410 | ATTR_NULL) | |
10841285 MM |
411 | DEF_GCC_BUILTIN(BUILT_IN_CLASSIFY_TYPE, |
412 | "__builtin_classify_type", | |
c2ef6d34 RS |
413 | BT_FN_INT_VAR, |
414 | ATTR_NULL) | |
10841285 MM |
415 | DEF_GCC_BUILTIN(BUILT_IN_NEXT_ARG, |
416 | "__builtin_next_arg", | |
c2ef6d34 RS |
417 | BT_FN_PTR_VAR, |
418 | ATTR_NULL) | |
10841285 MM |
419 | DEF_GCC_BUILTIN(BUILT_IN_ARGS_INFO, |
420 | "__builtin_args_info", | |
c2ef6d34 RS |
421 | BT_FN_INT_INT, |
422 | ATTR_NULL) | |
10841285 MM |
423 | DEF_GCC_BUILTIN(BUILT_IN_CONSTANT_P, |
424 | "__builtin_constant_p", | |
c2ef6d34 RS |
425 | BT_FN_INT_VAR, |
426 | ATTR_NULL) | |
10841285 MM |
427 | DEF_GCC_BUILTIN(BUILT_IN_FRAME_ADDRESS, |
428 | "__builtin_frame_address", | |
c2ef6d34 RS |
429 | BT_FN_PTR_UNSIGNED, |
430 | ATTR_NULL) | |
10841285 MM |
431 | DEF_GCC_BUILTIN(BUILT_IN_RETURN_ADDRESS, |
432 | "__builtin_return_address", | |
c2ef6d34 RS |
433 | BT_FN_PTR_UNSIGNED, |
434 | ATTR_NULL) | |
10841285 MM |
435 | DEF_GCC_BUILTIN(BUILT_IN_AGGREGATE_INCOMING_ADDRESS, |
436 | "__builtin_aggregate_incoming_address", | |
c2ef6d34 RS |
437 | BT_FN_PTR_VAR, |
438 | ATTR_NULL) | |
10841285 MM |
439 | DEF_GCC_BUILTIN(BUILT_IN_APPLY_ARGS, |
440 | "__builtin_apply_args", | |
c2ef6d34 RS |
441 | BT_FN_PTR_VAR, |
442 | ATTR_NULL) | |
10841285 MM |
443 | DEF_GCC_BUILTIN(BUILT_IN_APPLY, |
444 | "__builtin_apply", | |
c2ef6d34 RS |
445 | BT_FN_PTR_PTR_FN_VOID_VAR_PTR_SIZE, |
446 | ATTR_NULL) | |
10841285 MM |
447 | DEF_GCC_BUILTIN(BUILT_IN_RETURN, |
448 | "__builtin_return", | |
c2ef6d34 RS |
449 | BT_FN_VOID_PTR, |
450 | ATTR_NORETURN_NOTHROW_LIST) | |
10841285 MM |
451 | DEF_GCC_BUILTIN(BUILT_IN_SETJMP, |
452 | "__builtin_setjmp", | |
c2ef6d34 RS |
453 | BT_FN_INT_PTR, |
454 | ATTR_NULL) | |
10841285 MM |
455 | DEF_GCC_BUILTIN(BUILT_IN_LONGJMP, |
456 | "__builtin_longjmp", | |
c2ef6d34 RS |
457 | BT_FN_VOID_PTR_INT, |
458 | ATTR_NORETURN_NOTHROW_LIST) | |
10841285 MM |
459 | DEF_GCC_BUILTIN(BUILT_IN_TRAP, |
460 | "__builtin_trap", | |
c2ef6d34 RS |
461 | BT_FN_VOID, |
462 | ATTR_NORETURN_NOTHROW_LIST) | |
a9ccbb60 JJ |
463 | DEF_GCC_BUILTIN(BUILT_IN_PREFETCH, |
464 | "__builtin_prefetch", | |
c2ef6d34 RS |
465 | BT_FN_VOID_CONST_PTR_VAR, |
466 | ATTR_NULL) | |
10841285 MM |
467 | |
468 | /* Stdio builtins. */ | |
469 | DEF_FALLBACK_BUILTIN(BUILT_IN_PUTCHAR, | |
470 | "__builtin_putchar", | |
df061a43 RS |
471 | BT_FN_INT_INT, |
472 | ATTR_NOTHROW_LIST) | |
10841285 MM |
473 | DEF_FALLBACK_BUILTIN(BUILT_IN_PUTS, |
474 | "__builtin_puts", | |
df061a43 RS |
475 | BT_FN_INT_CONST_STRING, |
476 | ATTR_NOTHROW_LIST) | |
10841285 MM |
477 | DEF_FRONT_END_LIB_BUILTIN(BUILT_IN_PRINTF, |
478 | "__builtin_printf", | |
df061a43 RS |
479 | BT_FN_INT_CONST_STRING_VAR, |
480 | ATTR_FORMAT_PRINTF_1_2) | |
10841285 MM |
481 | DEF_FALLBACK_BUILTIN(BUILT_IN_FPUTC, |
482 | "__builtin_fputc", | |
df061a43 RS |
483 | BT_FN_INT_INT_PTR, |
484 | ATTR_NOTHROW_LIST) | |
10841285 MM |
485 | /* Declare the __builtin_ style with arguments and the regular style |
486 | without them. We rely on stdio.h to supply the arguments for the | |
487 | regular style declaration since we had to use void* instead of | |
488 | FILE* in the __builtin_ prototype supplied here. */ | |
489 | DEF_BUILTIN (BUILT_IN_FPUTS, | |
490 | "__builtin_fputs", | |
491 | BUILT_IN_NORMAL, | |
492 | BT_FN_INT_CONST_STRING_PTR, | |
493 | BT_FN_INT_VAR, | |
df061a43 | 494 | true, true, false, ATTR_NOTHROW_LIST) |
10841285 MM |
495 | DEF_FALLBACK_BUILTIN(BUILT_IN_FWRITE, |
496 | "__builtin_fwrite", | |
df061a43 RS |
497 | BT_FN_SIZE_CONST_PTR_SIZE_SIZE_PTR, |
498 | ATTR_NOTHROW_LIST) | |
10841285 MM |
499 | DEF_FRONT_END_LIB_BUILTIN(BUILT_IN_FPRINTF, |
500 | "__builtin_fprintf", | |
df061a43 RS |
501 | BT_FN_INT_PTR_CONST_STRING_VAR, |
502 | ATTR_FORMAT_PRINTF_2_3) | |
3ff5f682 | 503 | |
b4c984fb KG |
504 | /* Stdio unlocked builtins. */ |
505 | ||
506 | DEF_EXT_FALLBACK_BUILTIN(BUILT_IN_PUTCHAR_UNLOCKED, | |
507 | "__builtin_putchar_unlocked", | |
508 | BT_FN_INT_INT) | |
509 | DEF_EXT_FALLBACK_BUILTIN(BUILT_IN_PUTS_UNLOCKED, | |
510 | "__builtin_puts_unlocked", | |
511 | BT_FN_INT_CONST_STRING) | |
512 | DEF_EXT_FRONT_END_LIB_BUILTIN(BUILT_IN_PRINTF_UNLOCKED, | |
513 | "__builtin_printf_unlocked", | |
df061a43 RS |
514 | BT_FN_INT_CONST_STRING_VAR, |
515 | ATTR_FORMAT_PRINTF_1_2) | |
b4c984fb KG |
516 | DEF_EXT_FALLBACK_BUILTIN(BUILT_IN_FPUTC_UNLOCKED, |
517 | "__builtin_fputc_unlocked", | |
518 | BT_FN_INT_INT_PTR) | |
519 | /* Declare the __builtin_ style with arguments and the regular style | |
520 | without them. We rely on stdio.h to supply the arguments for the | |
521 | regular style declaration since we had to use void* instead of | |
522 | FILE* in the __builtin_ prototype supplied here. */ | |
523 | DEF_BUILTIN (BUILT_IN_FPUTS_UNLOCKED, | |
524 | "__builtin_fputs_unlocked", | |
525 | BUILT_IN_NORMAL, | |
526 | BT_FN_INT_CONST_STRING_PTR, | |
527 | BT_FN_INT_VAR, | |
df061a43 | 528 | true, true, true, ATTR_NOTHROW_LIST) |
b4c984fb KG |
529 | DEF_EXT_FALLBACK_BUILTIN(BUILT_IN_FWRITE_UNLOCKED, |
530 | "__builtin_fwrite_unlocked", | |
531 | BT_FN_SIZE_CONST_PTR_SIZE_SIZE_PTR) | |
532 | DEF_EXT_FRONT_END_LIB_BUILTIN(BUILT_IN_FPRINTF_UNLOCKED, | |
533 | "__builtin_fprintf_unlocked", | |
df061a43 RS |
534 | BT_FN_INT_PTR_CONST_STRING_VAR, |
535 | ATTR_FORMAT_PRINTF_2_3) | |
b4c984fb | 536 | |
cb1072f4 | 537 | /* ISO C99 floating point unordered comparisons. */ |
10841285 MM |
538 | DEF_GCC_BUILTIN(BUILT_IN_ISGREATER, |
539 | "__builtin_isgreater", | |
c2ef6d34 RS |
540 | BT_FN_INT_VAR, |
541 | ATTR_CONST_NOTHROW_LIST) | |
10841285 MM |
542 | DEF_GCC_BUILTIN(BUILT_IN_ISGREATEREQUAL, |
543 | "__builtin_isgreaterequal", | |
c2ef6d34 RS |
544 | BT_FN_INT_VAR, |
545 | ATTR_CONST_NOTHROW_LIST) | |
10841285 MM |
546 | DEF_GCC_BUILTIN(BUILT_IN_ISLESS, |
547 | "__builtin_isless", | |
c2ef6d34 RS |
548 | BT_FN_INT_VAR, |
549 | ATTR_CONST_NOTHROW_LIST) | |
10841285 MM |
550 | DEF_GCC_BUILTIN(BUILT_IN_ISLESSEQUAL, |
551 | "__builtin_islessequal", | |
c2ef6d34 RS |
552 | BT_FN_INT_VAR, |
553 | ATTR_CONST_NOTHROW_LIST) | |
10841285 MM |
554 | DEF_GCC_BUILTIN(BUILT_IN_ISLESSGREATER, |
555 | "__builtin_islessgreater", | |
c2ef6d34 RS |
556 | BT_FN_INT_VAR, |
557 | ATTR_CONST_NOTHROW_LIST) | |
10841285 MM |
558 | DEF_GCC_BUILTIN(BUILT_IN_ISUNORDERED, |
559 | "__builtin_isunordered", | |
c2ef6d34 RS |
560 | BT_FN_INT_VAR, |
561 | ATTR_CONST_NOTHROW_LIST) | |
10841285 MM |
562 | |
563 | /* Various hooks for the DWARF 2 __throw routine. */ | |
564 | DEF_GCC_BUILTIN(BUILT_IN_UNWIND_INIT, | |
565 | "__builtin_unwind_init", | |
c2ef6d34 RS |
566 | BT_FN_VOID, |
567 | ATTR_NULL) | |
10841285 MM |
568 | DEF_GCC_BUILTIN(BUILT_IN_DWARF_CFA, |
569 | "__builtin_dwarf_cfa", | |
c2ef6d34 RS |
570 | BT_FN_PTR, |
571 | ATTR_NULL) | |
10841285 MM |
572 | DEF_GCC_BUILTIN(BUILT_IN_DWARF_FP_REGNUM, |
573 | "__builtin_dwarf_fp_regnum", | |
c2ef6d34 RS |
574 | BT_FN_UNSIGNED, |
575 | ATTR_NULL) | |
10841285 MM |
576 | DEF_GCC_BUILTIN(BUILT_IN_INIT_DWARF_REG_SIZES, |
577 | "__builtin_init_dwarf_reg_size_table", | |
c2ef6d34 RS |
578 | BT_FN_VOID_PTR, |
579 | ATTR_NULL) | |
10841285 MM |
580 | DEF_GCC_BUILTIN(BUILT_IN_FROB_RETURN_ADDR, |
581 | "__builtin_frob_return_addr", | |
c2ef6d34 RS |
582 | BT_FN_PTR_PTR, |
583 | ATTR_NULL) | |
10841285 MM |
584 | DEF_GCC_BUILTIN(BUILT_IN_EXTRACT_RETURN_ADDR, |
585 | "__builtin_extract_return_addr", | |
c2ef6d34 RS |
586 | BT_FN_PTR_PTR, |
587 | ATTR_NULL) | |
10841285 MM |
588 | DEF_GCC_BUILTIN(BUILT_IN_EH_RETURN, |
589 | "__builtin_eh_return", | |
c2ef6d34 RS |
590 | BT_FN_VOID_PTRMODE_PTR, |
591 | ATTR_NORETURN_NOTHROW_LIST) | |
10841285 MM |
592 | DEF_GCC_BUILTIN(BUILT_IN_EH_RETURN_DATA_REGNO, |
593 | "__builtin_eh_return_data_regno", | |
c2ef6d34 RS |
594 | BT_FN_INT_INT, |
595 | ATTR_NULL) | |
10841285 | 596 | |
6c535c69 ZW |
597 | /* Variable argument list (stdarg.h) support */ |
598 | DEF_GCC_BUILTIN(BUILT_IN_VA_START, | |
599 | "__builtin_va_start", | |
c2ef6d34 RS |
600 | BT_FN_VOID_VALIST_REF_VAR, |
601 | ATTR_NULL) | |
6c535c69 | 602 | DEF_GCC_BUILTIN(BUILT_IN_STDARG_START, /* backward compat */ |
10841285 | 603 | "__builtin_stdarg_start", |
c2ef6d34 RS |
604 | BT_FN_VOID_VALIST_REF_VAR, |
605 | ATTR_NULL) | |
10841285 MM |
606 | DEF_GCC_BUILTIN(BUILT_IN_VA_END, |
607 | "__builtin_va_end", | |
c2ef6d34 RS |
608 | BT_FN_VOID_VALIST_REF, |
609 | ATTR_NULL) | |
10841285 MM |
610 | DEF_GCC_BUILTIN(BUILT_IN_VA_COPY, |
611 | "__builtin_va_copy", | |
c2ef6d34 RS |
612 | BT_FN_VOID_VALIST_REF_VALIST_ARG, |
613 | ATTR_NULL) | |
6c535c69 | 614 | |
10841285 MM |
615 | DEF_GCC_BUILTIN(BUILT_IN_EXPECT, |
616 | "__builtin_expect", | |
c2ef6d34 RS |
617 | BT_FN_LONG_LONG_LONG, |
618 | ATTR_NULL) | |
10841285 MM |
619 | |
620 | /* C++ extensions */ | |
621 | DEF_UNUSED_BUILTIN(BUILT_IN_NEW) | |
622 | DEF_UNUSED_BUILTIN(BUILT_IN_VEC_NEW) | |
623 | DEF_UNUSED_BUILTIN(BUILT_IN_DELETE) | |
624 | DEF_UNUSED_BUILTIN(BUILT_IN_VEC_DELETE) | |
df061a43 RS |
625 | |
626 | /* Declare abort, exit, _exit and _Exit */ | |
627 | DEF_BUILTIN (BUILT_IN_ABORT, | |
628 | "__builtin_abort", | |
629 | NOT_BUILT_IN, | |
c5358a5d RS |
630 | BT_FN_VOID, |
631 | BT_FN_VOID, | |
df061a43 RS |
632 | 1, 0, 0, |
633 | ATTR_NORETURN_NOTHROW_LIST) | |
634 | ||
635 | DEF_BUILTIN (BUILT_IN_EXIT, | |
636 | "__builtin_exit", | |
637 | NOT_BUILT_IN, | |
c5358a5d RS |
638 | BT_FN_VOID_INT, |
639 | BT_FN_VOID_INT, | |
df061a43 RS |
640 | 1, 0, 0, |
641 | ATTR_NORETURN_NOTHROW_LIST) | |
642 | ||
643 | DEF_BUILTIN (BUILT_IN__EXIT, | |
644 | "__builtin__exit", | |
645 | NOT_BUILT_IN, | |
646 | BT_FN_VOID_INT, | |
647 | BT_FN_VOID_INT, | |
648 | 1, 0, 1, | |
649 | ATTR_NORETURN_NOTHROW_LIST) | |
650 | ||
651 | DEF_BUILTIN (BUILT_IN__EXIT2, | |
652 | "__builtin__Exit", | |
653 | NOT_BUILT_IN, | |
654 | BT_FN_VOID_INT, | |
655 | BT_FN_VOID_INT, | |
656 | 1, 0, !flag_isoc99, | |
657 | ATTR_NORETURN_NOTHROW_LIST) | |
658 |