]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/fortran/f95-lang.c
hwint.c (abs_hwi, absu_hwi): Move to ...
[thirdparty/gcc.git] / gcc / fortran / f95-lang.c
CommitLineData
f36327db 1/* gfortran backend interface
23a5b65a 2 Copyright (C) 2000-2014 Free Software Foundation, Inc.
6de9cd9a
DN
3 Contributed by Paul Brook.
4
9fc4d79b 5This file is part of GCC.
6de9cd9a 6
9fc4d79b
TS
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
d234d788 9Software Foundation; either version 3, or (at your option) any later
9fc4d79b 10version.
6de9cd9a 11
9fc4d79b
TS
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
6de9cd9a
DN
16
17You should have received a copy of the GNU General Public License
d234d788
NC
18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
6de9cd9a
DN
20
21/* f95-lang.c-- GCC backend interface stuff */
22
23/* declare required prototypes: */
24
25#include "config.h"
d22e4895 26#include "system.h"
6de9cd9a
DN
27#include "ansidecl.h"
28#include "system.h"
29#include "coretypes.h"
8e54f6d3 30#include "gfortran.h"
6de9cd9a 31#include "tree.h"
6de9cd9a
DN
32#include "flags.h"
33#include "langhooks.h"
34#include "langhooks-def.h"
35#include "timevar.h"
36#include "tm.h"
83685514
AM
37#include "hashtab.h"
38#include "hash-set.h"
39#include "vec.h"
40#include "machmode.h"
41#include "hard-reg-set.h"
42#include "input.h"
6de9cd9a
DN
43#include "function.h"
44#include "ggc.h"
45#include "toplev.h"
46#include "target.h"
47#include "debug.h"
8e54f6d3 48#include "diagnostic.h" /* For errorcount/warningcount */
7ee2468b 49#include "dumpfile.h"
c582198b
AM
50#include "hash-map.h"
51#include "is-a.h"
52#include "plugin-api.h"
53#include "ipa-ref.h"
6de9cd9a 54#include "cgraph.h"
670637ee 55#include "cpp.h"
6de9cd9a
DN
56#include "trans.h"
57#include "trans-types.h"
58#include "trans-const.h"
59
6de9cd9a
DN
60/* Language-dependent contents of an identifier. */
61
d1b38208
TG
62struct GTY(())
63lang_identifier {
6de9cd9a
DN
64 struct tree_identifier common;
65};
66
67/* The resulting tree type. */
68
d1b38208 69union GTY((desc ("TREE_CODE (&%h.generic) == IDENTIFIER_NODE"),
81f653d6 70 chain_next ("CODE_CONTAINS_STRUCT (TREE_CODE (&%h.generic), TS_COMMON) ? ((union lang_tree_node *) TREE_CHAIN (&%h.generic)) : NULL")))
d1b38208 71lang_tree_node {
6de9cd9a
DN
72 union tree_node GTY((tag ("0"),
73 desc ("tree_node_structure (&%h)"))) generic;
74 struct lang_identifier GTY((tag ("1"))) identifier;
75};
76
77/* Save and restore the variables in this file and elsewhere
78 that keep track of the progress of compilation of the current function.
79 Used for nested functions. */
80
d1b38208
TG
81struct GTY(())
82language_function {
6de9cd9a 83 /* struct gfc_language_function base; */
6de9cd9a
DN
84 struct binding_level *binding_level;
85};
86
6de9cd9a
DN
87static void gfc_init_decl_processing (void);
88static void gfc_init_builtin_functions (void);
87a60f68 89static bool global_bindings_p (void);
6de9cd9a
DN
90
91/* Each front end provides its own. */
92static bool gfc_init (void);
93static void gfc_finish (void);
8b84c596 94static void gfc_write_global_declarations (void);
b37421c6 95static void gfc_be_parse_file (void);
4862826d 96static alias_set_type gfc_get_alias_set (tree);
a64f5186 97static void gfc_init_ts (void);
87a60f68 98static tree gfc_builtin_function (tree);
6de9cd9a 99
f014c653
JJ
100/* Handle an "omp declare target" attribute; arguments as in
101 struct attribute_spec.handler. */
102static tree
103gfc_handle_omp_declare_target_attribute (tree *, tree, tree, int, bool *)
104{
105 return NULL_TREE;
106}
107
108/* Table of valid Fortran attributes. */
109static const struct attribute_spec gfc_attribute_table[] =
110{
111 /* { name, min_len, max_len, decl_req, type_req, fn_type_req, handler,
112 affects_type_identity } */
113 { "omp declare target", 0, 0, true, false, false,
114 gfc_handle_omp_declare_target_attribute, false },
115 { NULL, 0, 0, false, false, false, NULL, false }
116};
117
6de9cd9a
DN
118#undef LANG_HOOKS_NAME
119#undef LANG_HOOKS_INIT
120#undef LANG_HOOKS_FINISH
8b84c596 121#undef LANG_HOOKS_WRITE_GLOBALS
7a9bf9a4 122#undef LANG_HOOKS_OPTION_LANG_MASK
a75bfaa6 123#undef LANG_HOOKS_INIT_OPTIONS_STRUCT
6de9cd9a
DN
124#undef LANG_HOOKS_INIT_OPTIONS
125#undef LANG_HOOKS_HANDLE_OPTION
126#undef LANG_HOOKS_POST_OPTIONS
6de9cd9a 127#undef LANG_HOOKS_PARSE_FILE
6de9cd9a
DN
128#undef LANG_HOOKS_MARK_ADDRESSABLE
129#undef LANG_HOOKS_TYPE_FOR_MODE
130#undef LANG_HOOKS_TYPE_FOR_SIZE
7b9c708f 131#undef LANG_HOOKS_GET_ALIAS_SET
a64f5186 132#undef LANG_HOOKS_INIT_TS
6c7a4dfd
JJ
133#undef LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE
134#undef LANG_HOOKS_OMP_PREDETERMINED_SHARING
79943d19 135#undef LANG_HOOKS_OMP_REPORT_DECL
cd75853e 136#undef LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR
a68ab351
JJ
137#undef LANG_HOOKS_OMP_CLAUSE_COPY_CTOR
138#undef LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP
da6f124d 139#undef LANG_HOOKS_OMP_CLAUSE_LINEAR_CTOR
a68ab351 140#undef LANG_HOOKS_OMP_CLAUSE_DTOR
f014c653 141#undef LANG_HOOKS_OMP_FINISH_CLAUSE
6c7a4dfd
JJ
142#undef LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR
143#undef LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE
a68ab351 144#undef LANG_HOOKS_OMP_PRIVATE_OUTER_REF
6c7a4dfd 145#undef LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES
c79efc4d 146#undef LANG_HOOKS_BUILTIN_FUNCTION
87a60f68 147#undef LANG_HOOKS_BUILTIN_FUNCTION
fad0afd7 148#undef LANG_HOOKS_GET_ARRAY_DESCR_INFO
f014c653 149#undef LANG_HOOKS_ATTRIBUTE_TABLE
6de9cd9a
DN
150
151/* Define lang hooks. */
3135ce84 152#define LANG_HOOKS_NAME "GNU Fortran"
6de9cd9a
DN
153#define LANG_HOOKS_INIT gfc_init
154#define LANG_HOOKS_FINISH gfc_finish
8b84c596 155#define LANG_HOOKS_WRITE_GLOBALS gfc_write_global_declarations
7a9bf9a4 156#define LANG_HOOKS_OPTION_LANG_MASK gfc_option_lang_mask
a75bfaa6 157#define LANG_HOOKS_INIT_OPTIONS_STRUCT gfc_init_options_struct
6de9cd9a
DN
158#define LANG_HOOKS_INIT_OPTIONS gfc_init_options
159#define LANG_HOOKS_HANDLE_OPTION gfc_handle_option
160#define LANG_HOOKS_POST_OPTIONS gfc_post_options
6de9cd9a 161#define LANG_HOOKS_PARSE_FILE gfc_be_parse_file
a64f5186
JJ
162#define LANG_HOOKS_TYPE_FOR_MODE gfc_type_for_mode
163#define LANG_HOOKS_TYPE_FOR_SIZE gfc_type_for_size
164#define LANG_HOOKS_GET_ALIAS_SET gfc_get_alias_set
165#define LANG_HOOKS_INIT_TS gfc_init_ts
6c7a4dfd
JJ
166#define LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE gfc_omp_privatize_by_reference
167#define LANG_HOOKS_OMP_PREDETERMINED_SHARING gfc_omp_predetermined_sharing
79943d19 168#define LANG_HOOKS_OMP_REPORT_DECL gfc_omp_report_decl
cd75853e 169#define LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR gfc_omp_clause_default_ctor
a68ab351
JJ
170#define LANG_HOOKS_OMP_CLAUSE_COPY_CTOR gfc_omp_clause_copy_ctor
171#define LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP gfc_omp_clause_assign_op
da6f124d 172#define LANG_HOOKS_OMP_CLAUSE_LINEAR_CTOR gfc_omp_clause_linear_ctor
a68ab351 173#define LANG_HOOKS_OMP_CLAUSE_DTOR gfc_omp_clause_dtor
f014c653 174#define LANG_HOOKS_OMP_FINISH_CLAUSE gfc_omp_finish_clause
6c7a4dfd
JJ
175#define LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR gfc_omp_disregard_value_expr
176#define LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE gfc_omp_private_debug_clause
a68ab351 177#define LANG_HOOKS_OMP_PRIVATE_OUTER_REF gfc_omp_private_outer_ref
6c7a4dfd
JJ
178#define LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES \
179 gfc_omp_firstprivatize_type_sizes
f014c653
JJ
180#define LANG_HOOKS_BUILTIN_FUNCTION gfc_builtin_function
181#define LANG_HOOKS_GET_ARRAY_DESCR_INFO gfc_get_array_descr_info
182#define LANG_HOOKS_ATTRIBUTE_TABLE gfc_attribute_table
6de9cd9a 183
4537ec0c 184struct lang_hooks lang_hooks = LANG_HOOKS_INITIALIZER;
6de9cd9a 185
6de9cd9a
DN
186#define NULL_BINDING_LEVEL (struct binding_level *) NULL
187
188/* A chain of binding_level structures awaiting reuse. */
189
190static GTY(()) struct binding_level *free_binding_level;
191
602b8523 192/* True means we've initialized exception handling. */
87a60f68 193static bool gfc_eh_initialized_p;
602b8523 194
e5b16755
RG
195/* The current translation unit. */
196static GTY(()) tree current_translation_unit;
197
602b8523 198
6de9cd9a
DN
199static void
200gfc_create_decls (void)
201{
202 /* GCC builtins. */
203 gfc_init_builtin_functions ();
204
205 /* Runtime/IO library functions. */
206 gfc_build_builtin_function_decls ();
207
208 gfc_init_constants ();
e5b16755
RG
209
210 /* Build our translation-unit decl. */
211 current_translation_unit = build_translation_unit_decl (NULL_TREE);
6de9cd9a
DN
212}
213
b251af97 214
6de9cd9a 215static void
b37421c6 216gfc_be_parse_file (void)
6de9cd9a
DN
217{
218 int errors;
219 int warnings;
220
221 gfc_create_decls ();
222 gfc_parse_file ();
223 gfc_generate_constructors ();
224
df2fba9e 225 /* Tell the frontend about any errors. */
6de9cd9a
DN
226 gfc_get_errors (&warnings, &errors);
227 errorcount += errors;
228 warningcount += warnings;
30e257e5 229
87a60f68
SB
230 /* Clear the binding level stack. */
231 while (!global_bindings_p ())
232 poplevel (0, 0);
3aa34c1d
MLI
233
234 /* Switch to the default tree diagnostics here, because there may be
235 diagnostics before gfc_finish(). */
236 gfc_diagnostics_finish ();
6de9cd9a 237}
b251af97
SK
238
239
6de9cd9a
DN
240/* Initialize everything. */
241
242static bool
243gfc_init (void)
244{
670637ee
DF
245 if (!gfc_cpp_enabled ())
246 {
247 linemap_add (line_table, LC_ENTER, false, gfc_source_file, 1);
248 linemap_add (line_table, LC_RENAME, false, "<built-in>", 0);
249 }
250 else
251 gfc_cpp_init_0 ();
c8cc8542 252
6de9cd9a
DN
253 gfc_init_decl_processing ();
254 gfc_static_ctors = NULL_TREE;
255
670637ee
DF
256 if (gfc_cpp_enabled ())
257 gfc_cpp_init ();
258
6de9cd9a
DN
259 gfc_init_1 ();
260
524af0d6 261 if (!gfc_new_file ())
e0bcf78c 262 fatal_error ("can't open input file: %s", gfc_source_file);
670637ee 263
566916e6
TB
264 if (flag_preprocess_only)
265 return false;
266
6de9cd9a
DN
267 return true;
268}
269
270
271static void
272gfc_finish (void)
273{
670637ee 274 gfc_cpp_done ();
6de9cd9a
DN
275 gfc_done_1 ();
276 gfc_release_include_path ();
277 return;
278}
279
8b84c596
RH
280/* ??? This is something of a hack.
281
282 Emulated tls lowering needs to see all TLS variables before we call
65d630d4 283 finalize_compilation_unit. The C/C++ front ends manage this
8b84c596
RH
284 by calling decl_rest_of_compilation on each global and static variable
285 as they are seen. The Fortran front end waits until this hook.
286
65d630d4 287 A Correct solution is for finalize_compilation_unit not to be
8b84c596
RH
288 called during the WRITE_GLOBALS langhook, and have that hook only do what
289 its name suggests and write out globals. But the C++ and Java front ends
290 have (unspecified) problems with aliases that gets in the way. It has
291 been suggested that these problems would be solved by completing the
292 conversion to cgraph-based aliases. */
293
294static void
295gfc_write_global_declarations (void)
296{
297 tree decl;
298
299 /* Finalize all of the globals. */
300 for (decl = getdecls(); decl ; decl = DECL_CHAIN (decl))
301 rest_of_decl_compilation (decl, true, true);
302
303 write_global_declarations ();
304}
305
6de9cd9a
DN
306/* These functions and variables deal with binding contours. We only
307 need these functions for the list of PARM_DECLs, but we leave the
308 functions more general; these are a simplified version of the
309 functions from GNAT. */
310
b251af97
SK
311/* For each binding contour we allocate a binding_level structure which
312 records the entities defined or declared in that contour. Contours
313 include:
6de9cd9a
DN
314
315 the global one
316 one for each subprogram definition
317 one for each compound statement (declare block)
318
319 Binding contours are used to create GCC tree BLOCK nodes. */
320
d1b38208
TG
321struct GTY(())
322binding_level {
6de9cd9a
DN
323 /* A chain of ..._DECL nodes for all variables, constants, functions,
324 parameters and type declarations. These ..._DECL nodes are chained
87a60f68 325 through the DECL_CHAIN field. */
6de9cd9a
DN
326 tree names;
327 /* For each level (except the global one), a chain of BLOCK nodes for all
328 the levels that were entered and exited one level down from this one. */
329 tree blocks;
f7b529fa 330 /* The binding level containing this one (the enclosing binding level). */
6de9cd9a
DN
331 struct binding_level *level_chain;
332};
333
334/* The binding level currently in effect. */
335static GTY(()) struct binding_level *current_binding_level = NULL;
336
337/* The outermost binding level. This binding level is created when the
338 compiler is started and it will exist through the entire compilation. */
339static GTY(()) struct binding_level *global_binding_level;
340
341/* Binding level structures are initialized by copying this one. */
9dcf6e73 342static struct binding_level clear_binding_level = { NULL, NULL, NULL };
b251af97
SK
343
344
c99c0026 345/* Return true if we are in the global binding level. */
6de9cd9a 346
c99c0026 347bool
6de9cd9a
DN
348global_bindings_p (void)
349{
c99c0026 350 return current_binding_level == global_binding_level;
6de9cd9a
DN
351}
352
353tree
354getdecls (void)
355{
356 return current_binding_level->names;
357}
358
1cc0e193 359/* Enter a new binding level. */
6de9cd9a
DN
360
361void
87a60f68 362pushlevel (void)
6de9cd9a 363{
766090c2 364 struct binding_level *newlevel = ggc_alloc<binding_level> ();
6de9cd9a
DN
365
366 *newlevel = clear_binding_level;
367
368 /* Add this level to the front of the chain (stack) of levels that are
369 active. */
370 newlevel->level_chain = current_binding_level;
371 current_binding_level = newlevel;
372}
373
374/* Exit a binding level.
375 Pop the level off, and restore the state of the identifier-decl mappings
376 that were in effect when this level was entered.
377
378 If KEEP is nonzero, this level had explicit declarations, so
379 and create a "block" (a BLOCK node) for the level
380 to record its declarations and subblocks for symbol table output.
381
382 If FUNCTIONBODY is nonzero, this level is the body of a function,
383 so create a block as if KEEP were set and also clear out all
87a60f68 384 label names. */
6de9cd9a
DN
385
386tree
87a60f68 387poplevel (int keep, int functionbody)
6de9cd9a 388{
1f2959f0 389 /* Points to a BLOCK tree node. This is the BLOCK node constructed for the
6de9cd9a
DN
390 binding level that we are about to exit and which is returned by this
391 routine. */
392 tree block_node = NULL_TREE;
87a60f68 393 tree decl_chain = current_binding_level->names;
6de9cd9a
DN
394 tree subblock_chain = current_binding_level->blocks;
395 tree subblock_node;
6de9cd9a 396
6de9cd9a
DN
397 /* If there were any declarations in the current binding level, or if this
398 binding level is a function body, or if there are any nested blocks then
399 create a BLOCK node to record them for the life of this function. */
9dcf6e73 400 if (keep || functionbody)
22e8617b 401 block_node = build_block (keep ? decl_chain : 0, subblock_chain, 0, 0);
6de9cd9a
DN
402
403 /* Record the BLOCK node just built as the subblock its enclosing scope. */
404 for (subblock_node = subblock_chain; subblock_node;
61e46a7d 405 subblock_node = BLOCK_CHAIN (subblock_node))
6de9cd9a
DN
406 BLOCK_SUPERCONTEXT (subblock_node) = block_node;
407
408 /* Clear out the meanings of the local variables of this level. */
409
410 for (subblock_node = decl_chain; subblock_node;
910ad8de 411 subblock_node = DECL_CHAIN (subblock_node))
6de9cd9a
DN
412 if (DECL_NAME (subblock_node) != 0)
413 /* If the identifier was used or addressed via a local extern decl,
f7b529fa 414 don't forget that fact. */
6de9cd9a
DN
415 if (DECL_EXTERNAL (subblock_node))
416 {
417 if (TREE_USED (subblock_node))
418 TREE_USED (DECL_NAME (subblock_node)) = 1;
419 if (TREE_ADDRESSABLE (subblock_node))
420 TREE_ADDRESSABLE (DECL_ASSEMBLER_NAME (subblock_node)) = 1;
421 }
422
423 /* Pop the current level. */
424 current_binding_level = current_binding_level->level_chain;
425
426 if (functionbody)
1cc0e193 427 /* This is the top level block of a function. */
c7c79a09 428 DECL_INITIAL (current_function_decl) = block_node;
77092cda
JJ
429 else if (current_binding_level == global_binding_level)
430 /* When using gfc_start_block/gfc_finish_block from middle-end hooks,
df2fba9e 431 don't add newly created BLOCKs as subblocks of global_binding_level. */
77092cda 432 ;
6de9cd9a
DN
433 else if (block_node)
434 {
9dcf6e73 435 current_binding_level->blocks
61e46a7d 436 = block_chainon (current_binding_level->blocks, block_node);
6de9cd9a
DN
437 }
438
439 /* If we did not make a block for the level just exited, any blocks made for
440 inner levels (since they cannot be recorded as subblocks in that level)
441 must be carried forward so they will later become subblocks of something
442 else. */
443 else if (subblock_chain)
444 current_binding_level->blocks
61e46a7d 445 = block_chainon (current_binding_level->blocks, subblock_chain);
6de9cd9a
DN
446 if (block_node)
447 TREE_USED (block_node) = 1;
448
449 return block_node;
450}
b251af97
SK
451
452
6de9cd9a 453/* Records a ..._DECL node DECL as belonging to the current lexical scope.
f7b529fa 454 Returns the ..._DECL node. */
6de9cd9a
DN
455
456tree
457pushdecl (tree decl)
458{
5b1cce91 459 if (global_bindings_p ())
e5b16755 460 DECL_CONTEXT (decl) = current_translation_unit;
6de9cd9a 461 else
5b1cce91
RG
462 {
463 /* External objects aren't nested. For debug info insert a copy
464 of the decl into the binding level. */
465 if (DECL_EXTERNAL (decl))
466 {
467 tree orig = decl;
468 decl = copy_node (decl);
469 DECL_CONTEXT (orig) = NULL_TREE;
470 }
471 DECL_CONTEXT (decl) = current_function_decl;
472 }
6de9cd9a 473
87a60f68 474 /* Put the declaration on the list. */
910ad8de 475 DECL_CHAIN (decl) = current_binding_level->names;
6de9cd9a
DN
476 current_binding_level->names = decl;
477
69de3b83 478 /* For the declaration of a type, set its name if it is not already set. */
6de9cd9a
DN
479
480 if (TREE_CODE (decl) == TYPE_DECL && TYPE_NAME (TREE_TYPE (decl)) == 0)
481 {
482 if (DECL_SOURCE_LINE (decl) == 0)
483 TYPE_NAME (TREE_TYPE (decl)) = decl;
484 else
485 TYPE_NAME (TREE_TYPE (decl)) = DECL_NAME (decl);
486 }
487
488 return decl;
489}
490
491
492/* Like pushdecl, only it places X in GLOBAL_BINDING_LEVEL. */
493
494tree
495pushdecl_top_level (tree x)
496{
497 tree t;
498 struct binding_level *b = current_binding_level;
499
500 current_binding_level = global_binding_level;
501 t = pushdecl (x);
502 current_binding_level = b;
503 return t;
504}
505
6de9cd9a
DN
506#ifndef CHAR_TYPE_SIZE
507#define CHAR_TYPE_SIZE BITS_PER_UNIT
508#endif
509
510#ifndef INT_TYPE_SIZE
511#define INT_TYPE_SIZE BITS_PER_WORD
512#endif
513
514#undef SIZE_TYPE
515#define SIZE_TYPE "long unsigned int"
516
517/* Create tree nodes for the basic scalar types of Fortran 95,
518 and some nodes representing standard constants (0, 1, (void *) 0).
519 Initialize the global binding level.
520 Make definitions for built-in primitive functions. */
521static void
522gfc_init_decl_processing (void)
523{
524 current_function_decl = NULL;
6de9cd9a
DN
525 current_binding_level = NULL_BINDING_LEVEL;
526 free_binding_level = NULL_BINDING_LEVEL;
527
528 /* Make the binding_level structure for global names. We move all
529 variables that are in a COMMON block to this binding level. */
87a60f68 530 pushlevel ();
6de9cd9a
DN
531 global_binding_level = current_binding_level;
532
533 /* Build common tree nodes. char_type_node is unsigned because we
534 only use it for actual characters, not for INTEGER(1). Also, we
f7b529fa 535 want double_type_node to actually have double precision. */
1a072294 536 build_common_tree_nodes (false, false);
c1775967 537
24cc1193 538 void_list_node = build_tree_list (NULL_TREE, void_type_node);
6de9cd9a
DN
539
540 /* Set up F95 type nodes. */
5e8e542f 541 gfc_init_kinds ();
6de9cd9a 542 gfc_init_types ();
28d0b595 543 gfc_init_c_interop_kinds ();
6de9cd9a
DN
544}
545
b251af97 546
7b9c708f
JJ
547/* Return the typed-based alias set for T, which may be an expression
548 or a type. Return -1 if we don't do anything special. */
549
4862826d 550static alias_set_type
7b9c708f
JJ
551gfc_get_alias_set (tree t)
552{
553 tree u;
554
555 /* Permit type-punning when accessing an EQUIVALENCEd variable or
556 mixed type entry master's return value. */
557 for (u = t; handled_component_p (u); u = TREE_OPERAND (u, 0))
558 if (TREE_CODE (u) == COMPONENT_REF
559 && TREE_CODE (TREE_TYPE (TREE_OPERAND (u, 0))) == UNION_TYPE)
560 return 0;
561
562 return -1;
563}
564
1f2959f0 565/* Builtin function initialization. */
6de9cd9a 566
87a60f68 567static tree
c79efc4d 568gfc_builtin_function (tree decl)
6de9cd9a 569{
6de9cd9a 570 pushdecl (decl);
6de9cd9a
DN
571 return decl;
572}
573
5325296e 574/* So far we need just these 7 attribute types. */
acf0174b 575#define ATTR_NULL 0
5325296e 576#define ATTR_LEAF_LIST (ECF_LEAF)
d724c876 577#define ATTR_NOTHROW_LEAF_LIST (ECF_NOTHROW | ECF_LEAF)
46de9f5e 578#define ATTR_NOTHROW_LEAF_MALLOC_LIST (ECF_NOTHROW | ECF_LEAF | ECF_MALLOC)
d724c876 579#define ATTR_CONST_NOTHROW_LEAF_LIST (ECF_NOTHROW | ECF_LEAF | ECF_CONST)
3b7ea188 580#define ATTR_PURE_NOTHROW_LEAF_LIST (ECF_NOTHROW | ECF_LEAF | ECF_PURE)
d724c876
JJ
581#define ATTR_NOTHROW_LIST (ECF_NOTHROW)
582#define ATTR_CONST_NOTHROW_LIST (ECF_NOTHROW | ECF_CONST)
6de9cd9a
DN
583
584static void
e79983f4 585gfc_define_builtin (const char *name, tree type, enum built_in_function code,
d724c876 586 const char *library_name, int attr)
6de9cd9a
DN
587{
588 tree decl;
589
c79efc4d
RÁE
590 decl = add_builtin_function (name, type, code, BUILT_IN_NORMAL,
591 library_name, NULL_TREE);
46de9f5e 592 set_call_expr_flags (decl, attr);
6de9cd9a 593
e79983f4 594 set_builtin_decl (code, decl, true);
6de9cd9a
DN
595}
596
597
e8525382 598#define DO_DEFINE_MATH_BUILTIN(code, name, argtype, tbase) \
644cb69f 599 gfc_define_builtin ("__builtin_" name "l", tbase##longdouble[argtype], \
d724c876
JJ
600 BUILT_IN_ ## code ## L, name "l", \
601 ATTR_CONST_NOTHROW_LEAF_LIST); \
e8525382 602 gfc_define_builtin ("__builtin_" name, tbase##double[argtype], \
d724c876
JJ
603 BUILT_IN_ ## code, name, \
604 ATTR_CONST_NOTHROW_LEAF_LIST); \
e8525382 605 gfc_define_builtin ("__builtin_" name "f", tbase##float[argtype], \
d724c876
JJ
606 BUILT_IN_ ## code ## F, name "f", \
607 ATTR_CONST_NOTHROW_LEAF_LIST);
6de9cd9a 608
e8525382
SK
609#define DEFINE_MATH_BUILTIN(code, name, argtype) \
610 DO_DEFINE_MATH_BUILTIN (code, name, argtype, mfunc_)
611
e8525382 612#define DEFINE_MATH_BUILTIN_C(code, name, argtype) \
644cb69f
FXC
613 DO_DEFINE_MATH_BUILTIN (code, name, argtype, mfunc_) \
614 DO_DEFINE_MATH_BUILTIN (C##code, "c" name, argtype, mfunc_c)
e8525382
SK
615
616
617/* Create function types for builtin functions. */
618
619static void
b251af97 620build_builtin_fntypes (tree *fntype, tree type)
e8525382 621{
e8525382 622 /* type (*) (type) */
b64fca63 623 fntype[0] = build_function_type_list (type, type, NULL_TREE);
e8525382 624 /* type (*) (type, type) */
b64fca63 625 fntype[1] = build_function_type_list (type, type, type, NULL_TREE);
b5a4419c 626 /* type (*) (type, int) */
b64fca63
NF
627 fntype[2] = build_function_type_list (type,
628 type, integer_type_node, NULL_TREE);
629 /* type (*) (void) */
630 fntype[3] = build_function_type_list (type, NULL_TREE);
db7f455b
DS
631 /* type (*) (type, &int) */
632 fntype[4] = build_function_type_list (type, type,
b64fca63 633 build_pointer_type (integer_type_node),
b64fca63
NF
634 NULL_TREE);
635 /* type (*) (int, type) */
636 fntype[5] = build_function_type_list (type,
637 integer_type_node, type, NULL_TREE);
e8525382
SK
638}
639
b251af97 640
6c7a4dfd
JJ
641static tree
642builtin_type_for_size (int size, bool unsignedp)
643{
21fa2faf 644 tree type = gfc_type_for_size (size, unsignedp);
6c7a4dfd
JJ
645 return type ? type : error_mark_node;
646}
e8525382 647
1f2959f0 648/* Initialization of builtin function nodes. */
e8525382 649
6de9cd9a
DN
650static void
651gfc_init_builtin_functions (void)
652{
6c7a4dfd
JJ
653 enum builtin_type
654 {
655#define DEF_PRIMITIVE_TYPE(NAME, VALUE) NAME,
656#define DEF_FUNCTION_TYPE_0(NAME, RETURN) NAME,
657#define DEF_FUNCTION_TYPE_1(NAME, RETURN, ARG1) NAME,
658#define DEF_FUNCTION_TYPE_2(NAME, RETURN, ARG1, ARG2) NAME,
659#define DEF_FUNCTION_TYPE_3(NAME, RETURN, ARG1, ARG2, ARG3) NAME,
660#define DEF_FUNCTION_TYPE_4(NAME, RETURN, ARG1, ARG2, ARG3, ARG4) NAME,
661#define DEF_FUNCTION_TYPE_5(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) NAME,
f6a7cffc
TS
662#define DEF_FUNCTION_TYPE_6(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
663 ARG6) NAME,
664#define DEF_FUNCTION_TYPE_7(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
665 ARG6, ARG7) NAME,
666#define DEF_FUNCTION_TYPE_8(NAME, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
667 ARG6, ARG7, ARG8) NAME,
6c7a4dfd
JJ
668#define DEF_FUNCTION_TYPE_VAR_0(NAME, RETURN) NAME,
669#define DEF_POINTER_TYPE(NAME, TYPE) NAME,
670#include "types.def"
671#undef DEF_PRIMITIVE_TYPE
672#undef DEF_FUNCTION_TYPE_0
673#undef DEF_FUNCTION_TYPE_1
674#undef DEF_FUNCTION_TYPE_2
675#undef DEF_FUNCTION_TYPE_3
676#undef DEF_FUNCTION_TYPE_4
677#undef DEF_FUNCTION_TYPE_5
678#undef DEF_FUNCTION_TYPE_6
679#undef DEF_FUNCTION_TYPE_7
acf0174b 680#undef DEF_FUNCTION_TYPE_8
6c7a4dfd
JJ
681#undef DEF_FUNCTION_TYPE_VAR_0
682#undef DEF_POINTER_TYPE
683 BT_LAST
684 };
6c7a4dfd 685
b5a4419c
FXC
686 tree mfunc_float[6];
687 tree mfunc_double[6];
688 tree mfunc_longdouble[6];
689 tree mfunc_cfloat[6];
690 tree mfunc_cdouble[6];
691 tree mfunc_clongdouble[6];
3a53e165
RG
692 tree func_cfloat_float, func_float_cfloat;
693 tree func_cdouble_double, func_double_cdouble;
694 tree func_clongdouble_longdouble, func_longdouble_clongdouble;
695 tree func_float_floatp_floatp;
696 tree func_double_doublep_doublep;
697 tree func_longdouble_longdoublep_longdoublep;
698 tree ftype, ptype;
6c7a4dfd 699 tree builtin_types[(int) BT_LAST + 1];
6de9cd9a 700
3b7ea188
FXC
701 int attr;
702
e8525382
SK
703 build_builtin_fntypes (mfunc_float, float_type_node);
704 build_builtin_fntypes (mfunc_double, double_type_node);
644cb69f 705 build_builtin_fntypes (mfunc_longdouble, long_double_type_node);
e8525382
SK
706 build_builtin_fntypes (mfunc_cfloat, complex_float_type_node);
707 build_builtin_fntypes (mfunc_cdouble, complex_double_type_node);
644cb69f 708 build_builtin_fntypes (mfunc_clongdouble, complex_long_double_type_node);
e8525382 709
b64fca63
NF
710 func_cfloat_float = build_function_type_list (float_type_node,
711 complex_float_type_node,
712 NULL_TREE);
6de9cd9a 713
b64fca63
NF
714 func_float_cfloat = build_function_type_list (complex_float_type_node,
715 float_type_node, NULL_TREE);
3a53e165 716
b64fca63
NF
717 func_cdouble_double = build_function_type_list (double_type_node,
718 complex_double_type_node,
719 NULL_TREE);
6de9cd9a 720
b64fca63
NF
721 func_double_cdouble = build_function_type_list (complex_double_type_node,
722 double_type_node, NULL_TREE);
3a53e165 723
644cb69f 724 func_clongdouble_longdouble =
b64fca63
NF
725 build_function_type_list (long_double_type_node,
726 complex_long_double_type_node, NULL_TREE);
644cb69f 727
3a53e165 728 func_longdouble_clongdouble =
b64fca63
NF
729 build_function_type_list (complex_long_double_type_node,
730 long_double_type_node, NULL_TREE);
3a53e165
RG
731
732 ptype = build_pointer_type (float_type_node);
3a53e165 733 func_float_floatp_floatp =
b64fca63 734 build_function_type_list (void_type_node, ptype, ptype, NULL_TREE);
3a53e165
RG
735
736 ptype = build_pointer_type (double_type_node);
3a53e165 737 func_double_doublep_doublep =
b64fca63 738 build_function_type_list (void_type_node, ptype, ptype, NULL_TREE);
3a53e165
RG
739
740 ptype = build_pointer_type (long_double_type_node);
3a53e165 741 func_longdouble_longdoublep_longdoublep =
b64fca63 742 build_function_type_list (void_type_node, ptype, ptype, NULL_TREE);
3a53e165 743
2921157d 744/* Non-math builtins are defined manually, so they're not included here. */
a3c85b74 745#define OTHER_BUILTIN(ID,NAME,TYPE,CONST)
2921157d 746
6de9cd9a
DN
747#include "mathbuiltins.def"
748
644cb69f 749 gfc_define_builtin ("__builtin_roundl", mfunc_longdouble[0],
d724c876 750 BUILT_IN_ROUNDL, "roundl", ATTR_CONST_NOTHROW_LEAF_LIST);
6de9cd9a 751 gfc_define_builtin ("__builtin_round", mfunc_double[0],
d724c876 752 BUILT_IN_ROUND, "round", ATTR_CONST_NOTHROW_LEAF_LIST);
6de9cd9a 753 gfc_define_builtin ("__builtin_roundf", mfunc_float[0],
d724c876 754 BUILT_IN_ROUNDF, "roundf", ATTR_CONST_NOTHROW_LEAF_LIST);
644cb69f
FXC
755
756 gfc_define_builtin ("__builtin_truncl", mfunc_longdouble[0],
d724c876 757 BUILT_IN_TRUNCL, "truncl", ATTR_CONST_NOTHROW_LEAF_LIST);
e743d142 758 gfc_define_builtin ("__builtin_trunc", mfunc_double[0],
d724c876 759 BUILT_IN_TRUNC, "trunc", ATTR_CONST_NOTHROW_LEAF_LIST);
e743d142 760 gfc_define_builtin ("__builtin_truncf", mfunc_float[0],
d724c876 761 BUILT_IN_TRUNCF, "truncf", ATTR_CONST_NOTHROW_LEAF_LIST);
e743d142 762
644cb69f 763 gfc_define_builtin ("__builtin_cabsl", func_clongdouble_longdouble,
d724c876 764 BUILT_IN_CABSL, "cabsl", ATTR_CONST_NOTHROW_LEAF_LIST);
ead6d15f 765 gfc_define_builtin ("__builtin_cabs", func_cdouble_double,
d724c876 766 BUILT_IN_CABS, "cabs", ATTR_CONST_NOTHROW_LEAF_LIST);
ead6d15f 767 gfc_define_builtin ("__builtin_cabsf", func_cfloat_float,
d724c876 768 BUILT_IN_CABSF, "cabsf", ATTR_CONST_NOTHROW_LEAF_LIST);
c6a912da 769
644cb69f 770 gfc_define_builtin ("__builtin_copysignl", mfunc_longdouble[1],
d724c876
JJ
771 BUILT_IN_COPYSIGNL, "copysignl",
772 ATTR_CONST_NOTHROW_LEAF_LIST);
ead6d15f 773 gfc_define_builtin ("__builtin_copysign", mfunc_double[1],
d724c876
JJ
774 BUILT_IN_COPYSIGN, "copysign",
775 ATTR_CONST_NOTHROW_LEAF_LIST);
ead6d15f 776 gfc_define_builtin ("__builtin_copysignf", mfunc_float[1],
d724c876
JJ
777 BUILT_IN_COPYSIGNF, "copysignf",
778 ATTR_CONST_NOTHROW_LEAF_LIST);
58b6e047 779
b5a4419c 780 gfc_define_builtin ("__builtin_nextafterl", mfunc_longdouble[1],
d724c876
JJ
781 BUILT_IN_NEXTAFTERL, "nextafterl",
782 ATTR_CONST_NOTHROW_LEAF_LIST);
b5a4419c 783 gfc_define_builtin ("__builtin_nextafter", mfunc_double[1],
d724c876
JJ
784 BUILT_IN_NEXTAFTER, "nextafter",
785 ATTR_CONST_NOTHROW_LEAF_LIST);
b5a4419c 786 gfc_define_builtin ("__builtin_nextafterf", mfunc_float[1],
d724c876
JJ
787 BUILT_IN_NEXTAFTERF, "nextafterf",
788 ATTR_CONST_NOTHROW_LEAF_LIST);
b5a4419c 789
3b7ea188
FXC
790 /* Some built-ins depend on rounding mode. Depending on compilation options, they
791 will be "pure" or "const". */
792 attr = flag_rounding_math ? ATTR_PURE_NOTHROW_LEAF_LIST : ATTR_CONST_NOTHROW_LEAF_LIST;
793
794 gfc_define_builtin ("__builtin_rintl", mfunc_longdouble[0],
795 BUILT_IN_RINTL, "rintl", attr);
796 gfc_define_builtin ("__builtin_rint", mfunc_double[0],
797 BUILT_IN_RINT, "rint", attr);
798 gfc_define_builtin ("__builtin_rintf", mfunc_float[0],
799 BUILT_IN_RINTF, "rintf", attr);
800
801 gfc_define_builtin ("__builtin_remainderl", mfunc_longdouble[1],
802 BUILT_IN_REMAINDERL, "remainderl", attr);
803 gfc_define_builtin ("__builtin_remainder", mfunc_double[1],
804 BUILT_IN_REMAINDER, "remainder", attr);
805 gfc_define_builtin ("__builtin_remainderf", mfunc_float[1],
806 BUILT_IN_REMAINDERF, "remainderf", attr);
807
808 gfc_define_builtin ("__builtin_logbl", mfunc_longdouble[0],
809 BUILT_IN_LOGBL, "logbl", ATTR_CONST_NOTHROW_LEAF_LIST);
810 gfc_define_builtin ("__builtin_logb", mfunc_double[0],
811 BUILT_IN_LOGB, "logb", ATTR_CONST_NOTHROW_LEAF_LIST);
812 gfc_define_builtin ("__builtin_logbf", mfunc_float[0],
813 BUILT_IN_LOGBF, "logbf", ATTR_CONST_NOTHROW_LEAF_LIST);
814
815
b5a4419c 816 gfc_define_builtin ("__builtin_frexpl", mfunc_longdouble[4],
d724c876 817 BUILT_IN_FREXPL, "frexpl", ATTR_NOTHROW_LEAF_LIST);
b5a4419c 818 gfc_define_builtin ("__builtin_frexp", mfunc_double[4],
d724c876 819 BUILT_IN_FREXP, "frexp", ATTR_NOTHROW_LEAF_LIST);
b5a4419c 820 gfc_define_builtin ("__builtin_frexpf", mfunc_float[4],
d724c876 821 BUILT_IN_FREXPF, "frexpf", ATTR_NOTHROW_LEAF_LIST);
b5a4419c
FXC
822
823 gfc_define_builtin ("__builtin_fabsl", mfunc_longdouble[0],
d724c876 824 BUILT_IN_FABSL, "fabsl", ATTR_CONST_NOTHROW_LEAF_LIST);
b5a4419c 825 gfc_define_builtin ("__builtin_fabs", mfunc_double[0],
d724c876 826 BUILT_IN_FABS, "fabs", ATTR_CONST_NOTHROW_LEAF_LIST);
b5a4419c 827 gfc_define_builtin ("__builtin_fabsf", mfunc_float[0],
d724c876 828 BUILT_IN_FABSF, "fabsf", ATTR_CONST_NOTHROW_LEAF_LIST);
b5a4419c 829
5cfd56a7 830 gfc_define_builtin ("__builtin_scalbnl", mfunc_longdouble[2],
d724c876 831 BUILT_IN_SCALBNL, "scalbnl", ATTR_CONST_NOTHROW_LEAF_LIST);
5cfd56a7 832 gfc_define_builtin ("__builtin_scalbn", mfunc_double[2],
d724c876 833 BUILT_IN_SCALBN, "scalbn", ATTR_CONST_NOTHROW_LEAF_LIST);
5cfd56a7 834 gfc_define_builtin ("__builtin_scalbnf", mfunc_float[2],
d724c876 835 BUILT_IN_SCALBNF, "scalbnf", ATTR_CONST_NOTHROW_LEAF_LIST);
b5a4419c 836
58b6e047 837 gfc_define_builtin ("__builtin_fmodl", mfunc_longdouble[1],
d724c876 838 BUILT_IN_FMODL, "fmodl", ATTR_CONST_NOTHROW_LEAF_LIST);
58b6e047 839 gfc_define_builtin ("__builtin_fmod", mfunc_double[1],
d724c876 840 BUILT_IN_FMOD, "fmod", ATTR_CONST_NOTHROW_LEAF_LIST);
58b6e047 841 gfc_define_builtin ("__builtin_fmodf", mfunc_float[1],
d724c876 842 BUILT_IN_FMODF, "fmodf", ATTR_CONST_NOTHROW_LEAF_LIST);
6de9cd9a 843
6715d47b
JB
844 /* iround{f,,l}, lround{f,,l} and llround{f,,l} */
845 ftype = build_function_type_list (integer_type_node,
846 float_type_node, NULL_TREE);
847 gfc_define_builtin("__builtin_iroundf", ftype, BUILT_IN_IROUNDF,
848 "iroundf", ATTR_CONST_NOTHROW_LEAF_LIST);
b64fca63
NF
849 ftype = build_function_type_list (long_integer_type_node,
850 float_type_node, NULL_TREE);
851 gfc_define_builtin ("__builtin_lroundf", ftype, BUILT_IN_LROUNDF,
d724c876 852 "lroundf", ATTR_CONST_NOTHROW_LEAF_LIST);
b64fca63
NF
853 ftype = build_function_type_list (long_long_integer_type_node,
854 float_type_node, NULL_TREE);
855 gfc_define_builtin ("__builtin_llroundf", ftype, BUILT_IN_LLROUNDF,
d724c876 856 "llroundf", ATTR_CONST_NOTHROW_LEAF_LIST);
94f548c2 857
6715d47b
JB
858 ftype = build_function_type_list (integer_type_node,
859 double_type_node, NULL_TREE);
860 gfc_define_builtin("__builtin_iround", ftype, BUILT_IN_IROUND,
861 "iround", ATTR_CONST_NOTHROW_LEAF_LIST);
b64fca63
NF
862 ftype = build_function_type_list (long_integer_type_node,
863 double_type_node, NULL_TREE);
864 gfc_define_builtin ("__builtin_lround", ftype, BUILT_IN_LROUND,
d724c876 865 "lround", ATTR_CONST_NOTHROW_LEAF_LIST);
b64fca63
NF
866 ftype = build_function_type_list (long_long_integer_type_node,
867 double_type_node, NULL_TREE);
868 gfc_define_builtin ("__builtin_llround", ftype, BUILT_IN_LLROUND,
d724c876 869 "llround", ATTR_CONST_NOTHROW_LEAF_LIST);
94f548c2 870
6715d47b
JB
871 ftype = build_function_type_list (integer_type_node,
872 long_double_type_node, NULL_TREE);
873 gfc_define_builtin("__builtin_iroundl", ftype, BUILT_IN_IROUNDL,
874 "iroundl", ATTR_CONST_NOTHROW_LEAF_LIST);
b64fca63
NF
875 ftype = build_function_type_list (long_integer_type_node,
876 long_double_type_node, NULL_TREE);
877 gfc_define_builtin ("__builtin_lroundl", ftype, BUILT_IN_LROUNDL,
d724c876 878 "lroundl", ATTR_CONST_NOTHROW_LEAF_LIST);
b64fca63
NF
879 ftype = build_function_type_list (long_long_integer_type_node,
880 long_double_type_node, NULL_TREE);
881 gfc_define_builtin ("__builtin_llroundl", ftype, BUILT_IN_LLROUNDL,
d724c876 882 "llroundl", ATTR_CONST_NOTHROW_LEAF_LIST);
94f548c2 883
5b200ac2 884 /* These are used to implement the ** operator. */
644cb69f 885 gfc_define_builtin ("__builtin_powl", mfunc_longdouble[1],
d724c876 886 BUILT_IN_POWL, "powl", ATTR_CONST_NOTHROW_LEAF_LIST);
c7d78bbe 887 gfc_define_builtin ("__builtin_pow", mfunc_double[1],
d724c876 888 BUILT_IN_POW, "pow", ATTR_CONST_NOTHROW_LEAF_LIST);
c7d78bbe 889 gfc_define_builtin ("__builtin_powf", mfunc_float[1],
d724c876 890 BUILT_IN_POWF, "powf", ATTR_CONST_NOTHROW_LEAF_LIST);
fb220235 891 gfc_define_builtin ("__builtin_cpowl", mfunc_clongdouble[1],
d724c876 892 BUILT_IN_CPOWL, "cpowl", ATTR_CONST_NOTHROW_LEAF_LIST);
fb220235 893 gfc_define_builtin ("__builtin_cpow", mfunc_cdouble[1],
d724c876 894 BUILT_IN_CPOW, "cpow", ATTR_CONST_NOTHROW_LEAF_LIST);
fb220235 895 gfc_define_builtin ("__builtin_cpowf", mfunc_cfloat[1],
d724c876 896 BUILT_IN_CPOWF, "cpowf", ATTR_CONST_NOTHROW_LEAF_LIST);
5cfd56a7 897 gfc_define_builtin ("__builtin_powil", mfunc_longdouble[2],
d724c876 898 BUILT_IN_POWIL, "powil", ATTR_CONST_NOTHROW_LEAF_LIST);
5cfd56a7 899 gfc_define_builtin ("__builtin_powi", mfunc_double[2],
d724c876 900 BUILT_IN_POWI, "powi", ATTR_CONST_NOTHROW_LEAF_LIST);
5cfd56a7 901 gfc_define_builtin ("__builtin_powif", mfunc_float[2],
d724c876 902 BUILT_IN_POWIF, "powif", ATTR_CONST_NOTHROW_LEAF_LIST);
31c97dfe 903
5b200ac2 904
d33d9e47 905 if (targetm.libc_has_function (function_c99_math_complex))
3a53e165
RG
906 {
907 gfc_define_builtin ("__builtin_cbrtl", mfunc_longdouble[0],
d724c876
JJ
908 BUILT_IN_CBRTL, "cbrtl",
909 ATTR_CONST_NOTHROW_LEAF_LIST);
3a53e165 910 gfc_define_builtin ("__builtin_cbrt", mfunc_double[0],
d724c876
JJ
911 BUILT_IN_CBRT, "cbrt",
912 ATTR_CONST_NOTHROW_LEAF_LIST);
3a53e165 913 gfc_define_builtin ("__builtin_cbrtf", mfunc_float[0],
d724c876
JJ
914 BUILT_IN_CBRTF, "cbrtf",
915 ATTR_CONST_NOTHROW_LEAF_LIST);
3a53e165 916 gfc_define_builtin ("__builtin_cexpil", func_longdouble_clongdouble,
d724c876
JJ
917 BUILT_IN_CEXPIL, "cexpil",
918 ATTR_CONST_NOTHROW_LEAF_LIST);
3a53e165 919 gfc_define_builtin ("__builtin_cexpi", func_double_cdouble,
d724c876
JJ
920 BUILT_IN_CEXPI, "cexpi",
921 ATTR_CONST_NOTHROW_LEAF_LIST);
3a53e165 922 gfc_define_builtin ("__builtin_cexpif", func_float_cfloat,
d724c876
JJ
923 BUILT_IN_CEXPIF, "cexpif",
924 ATTR_CONST_NOTHROW_LEAF_LIST);
3a53e165
RG
925 }
926
d33d9e47 927 if (targetm.libc_has_function (function_sincos))
3a53e165
RG
928 {
929 gfc_define_builtin ("__builtin_sincosl",
930 func_longdouble_longdoublep_longdoublep,
d724c876 931 BUILT_IN_SINCOSL, "sincosl", ATTR_NOTHROW_LEAF_LIST);
3a53e165 932 gfc_define_builtin ("__builtin_sincos", func_double_doublep_doublep,
d724c876 933 BUILT_IN_SINCOS, "sincos", ATTR_NOTHROW_LEAF_LIST);
3a53e165 934 gfc_define_builtin ("__builtin_sincosf", func_float_floatp_floatp,
d724c876 935 BUILT_IN_SINCOSF, "sincosf", ATTR_NOTHROW_LEAF_LIST);
3a53e165
RG
936 }
937
451238b7 938 /* For LEADZ, TRAILZ, POPCNT and POPPAR. */
b64fca63
NF
939 ftype = build_function_type_list (integer_type_node,
940 unsigned_type_node, NULL_TREE);
414f00e9 941 gfc_define_builtin ("__builtin_clz", ftype, BUILT_IN_CLZ,
d724c876 942 "__builtin_clz", ATTR_CONST_NOTHROW_LEAF_LIST);
414f00e9 943 gfc_define_builtin ("__builtin_ctz", ftype, BUILT_IN_CTZ,
d724c876 944 "__builtin_ctz", ATTR_CONST_NOTHROW_LEAF_LIST);
ad5f4de2 945 gfc_define_builtin ("__builtin_parity", ftype, BUILT_IN_PARITY,
d724c876 946 "__builtin_parity", ATTR_CONST_NOTHROW_LEAF_LIST);
ad5f4de2 947 gfc_define_builtin ("__builtin_popcount", ftype, BUILT_IN_POPCOUNT,
d724c876 948 "__builtin_popcount", ATTR_CONST_NOTHROW_LEAF_LIST);
414f00e9 949
b64fca63
NF
950 ftype = build_function_type_list (integer_type_node,
951 long_unsigned_type_node, NULL_TREE);
952 gfc_define_builtin ("__builtin_clzl", ftype, BUILT_IN_CLZL,
d724c876 953 "__builtin_clzl", ATTR_CONST_NOTHROW_LEAF_LIST);
414f00e9 954 gfc_define_builtin ("__builtin_ctzl", ftype, BUILT_IN_CTZL,
d724c876 955 "__builtin_ctzl", ATTR_CONST_NOTHROW_LEAF_LIST);
ad5f4de2 956 gfc_define_builtin ("__builtin_parityl", ftype, BUILT_IN_PARITYL,
d724c876 957 "__builtin_parityl", ATTR_CONST_NOTHROW_LEAF_LIST);
ad5f4de2 958 gfc_define_builtin ("__builtin_popcountl", ftype, BUILT_IN_POPCOUNTL,
d724c876 959 "__builtin_popcountl", ATTR_CONST_NOTHROW_LEAF_LIST);
414f00e9 960
b64fca63
NF
961 ftype = build_function_type_list (integer_type_node,
962 long_long_unsigned_type_node, NULL_TREE);
963 gfc_define_builtin ("__builtin_clzll", ftype, BUILT_IN_CLZLL,
d724c876 964 "__builtin_clzll", ATTR_CONST_NOTHROW_LEAF_LIST);
414f00e9 965 gfc_define_builtin ("__builtin_ctzll", ftype, BUILT_IN_CTZLL,
d724c876 966 "__builtin_ctzll", ATTR_CONST_NOTHROW_LEAF_LIST);
ad5f4de2 967 gfc_define_builtin ("__builtin_parityll", ftype, BUILT_IN_PARITYLL,
d724c876 968 "__builtin_parityll", ATTR_CONST_NOTHROW_LEAF_LIST);
ad5f4de2 969 gfc_define_builtin ("__builtin_popcountll", ftype, BUILT_IN_POPCOUNTLL,
d724c876 970 "__builtin_popcountll", ATTR_CONST_NOTHROW_LEAF_LIST);
414f00e9 971
6de9cd9a
DN
972 /* Other builtin functions we use. */
973
b64fca63
NF
974 ftype = build_function_type_list (long_integer_type_node,
975 long_integer_type_node,
976 long_integer_type_node, NULL_TREE);
c6a912da 977 gfc_define_builtin ("__builtin_expect", ftype, BUILT_IN_EXPECT,
d724c876 978 "__builtin_expect", ATTR_CONST_NOTHROW_LEAF_LIST);
ef9312c1 979
b64fca63
NF
980 ftype = build_function_type_list (void_type_node,
981 pvoid_type_node, NULL_TREE);
1529b8d9 982 gfc_define_builtin ("__builtin_free", ftype, BUILT_IN_FREE,
d724c876 983 "free", ATTR_NOTHROW_LEAF_LIST);
1529b8d9 984
b64fca63
NF
985 ftype = build_function_type_list (pvoid_type_node,
986 size_type_node, NULL_TREE);
1529b8d9 987 gfc_define_builtin ("__builtin_malloc", ftype, BUILT_IN_MALLOC,
46de9f5e 988 "malloc", ATTR_NOTHROW_LEAF_MALLOC_LIST);
1529b8d9 989
4df0f7da
TB
990 ftype = build_function_type_list (pvoid_type_node, size_type_node,
991 size_type_node, NULL_TREE);
992 gfc_define_builtin ("__builtin_calloc", ftype, BUILT_IN_CALLOC,
46de9f5e 993 "calloc", ATTR_NOTHROW_LEAF_MALLOC_LIST);
4df0f7da
TB
994 DECL_IS_MALLOC (builtin_decl_explicit (BUILT_IN_CALLOC)) = 1;
995
b64fca63
NF
996 ftype = build_function_type_list (pvoid_type_node,
997 size_type_node, pvoid_type_node,
998 NULL_TREE);
4376b7cf 999 gfc_define_builtin ("__builtin_realloc", ftype, BUILT_IN_REALLOC,
d724c876 1000 "realloc", ATTR_NOTHROW_LEAF_LIST);
4376b7cf 1001
b64fca63
NF
1002 ftype = build_function_type_list (integer_type_node,
1003 void_type_node, NULL_TREE);
5fcb93f1 1004 gfc_define_builtin ("__builtin_isnan", ftype, BUILT_IN_ISNAN,
d724c876 1005 "__builtin_isnan", ATTR_CONST_NOTHROW_LEAF_LIST);
3b7ea188
FXC
1006 gfc_define_builtin ("__builtin_isfinite", ftype, BUILT_IN_ISFINITE,
1007 "__builtin_isfinite", ATTR_CONST_NOTHROW_LEAF_LIST);
1008 gfc_define_builtin ("__builtin_isnormal", ftype, BUILT_IN_ISNORMAL,
1009 "__builtin_isnormal", ATTR_CONST_NOTHROW_LEAF_LIST);
1010
1011 ftype = build_function_type_list (integer_type_node, void_type_node,
1012 void_type_node, NULL_TREE);
1013 gfc_define_builtin ("__builtin_isunordered", ftype, BUILT_IN_ISUNORDERED,
1014 "__builtin_isunordered", ATTR_CONST_NOTHROW_LEAF_LIST);
1015 gfc_define_builtin ("__builtin_islessequal", ftype, BUILT_IN_ISLESSEQUAL,
1016 "__builtin_islessequal", ATTR_CONST_NOTHROW_LEAF_LIST);
1017 gfc_define_builtin ("__builtin_isgreaterequal", ftype,
1018 BUILT_IN_ISGREATEREQUAL, "__builtin_isgreaterequal",
1019 ATTR_CONST_NOTHROW_LEAF_LIST);
1020
1021 ftype = build_function_type_list (integer_type_node,
1022 float_type_node, NULL_TREE);
1023 gfc_define_builtin("__builtin_signbitf", ftype, BUILT_IN_SIGNBITF,
1024 "signbitf", ATTR_CONST_NOTHROW_LEAF_LIST);
1025 ftype = build_function_type_list (integer_type_node,
1026 double_type_node, NULL_TREE);
1027 gfc_define_builtin("__builtin_signbit", ftype, BUILT_IN_SIGNBIT,
1028 "signbit", ATTR_CONST_NOTHROW_LEAF_LIST);
1029 ftype = build_function_type_list (integer_type_node,
1030 long_double_type_node, NULL_TREE);
1031 gfc_define_builtin("__builtin_signbitl", ftype, BUILT_IN_SIGNBITL,
1032 "signbitl", ATTR_CONST_NOTHROW_LEAF_LIST);
1033
5fcb93f1 1034
6c7a4dfd
JJ
1035#define DEF_PRIMITIVE_TYPE(ENUM, VALUE) \
1036 builtin_types[(int) ENUM] = VALUE;
b64fca63
NF
1037#define DEF_FUNCTION_TYPE_0(ENUM, RETURN) \
1038 builtin_types[(int) ENUM] \
1039 = build_function_type_list (builtin_types[(int) RETURN], \
1040 NULL_TREE);
6c7a4dfd
JJ
1041#define DEF_FUNCTION_TYPE_1(ENUM, RETURN, ARG1) \
1042 builtin_types[(int) ENUM] \
b64fca63
NF
1043 = build_function_type_list (builtin_types[(int) RETURN], \
1044 builtin_types[(int) ARG1], \
1045 NULL_TREE);
1046#define DEF_FUNCTION_TYPE_2(ENUM, RETURN, ARG1, ARG2) \
1047 builtin_types[(int) ENUM] \
1048 = build_function_type_list (builtin_types[(int) RETURN], \
1049 builtin_types[(int) ARG1], \
1050 builtin_types[(int) ARG2], \
1051 NULL_TREE);
1052#define DEF_FUNCTION_TYPE_3(ENUM, RETURN, ARG1, ARG2, ARG3) \
1053 builtin_types[(int) ENUM] \
1054 = build_function_type_list (builtin_types[(int) RETURN], \
1055 builtin_types[(int) ARG1], \
1056 builtin_types[(int) ARG2], \
1057 builtin_types[(int) ARG3], \
1058 NULL_TREE);
6c7a4dfd
JJ
1059#define DEF_FUNCTION_TYPE_4(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4) \
1060 builtin_types[(int) ENUM] \
b64fca63
NF
1061 = build_function_type_list (builtin_types[(int) RETURN], \
1062 builtin_types[(int) ARG1], \
1063 builtin_types[(int) ARG2], \
1064 builtin_types[(int) ARG3], \
1065 builtin_types[(int) ARG4], \
1066 NULL_TREE);
6c7a4dfd
JJ
1067#define DEF_FUNCTION_TYPE_5(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5) \
1068 builtin_types[(int) ENUM] \
b64fca63
NF
1069 = build_function_type_list (builtin_types[(int) RETURN], \
1070 builtin_types[(int) ARG1], \
1071 builtin_types[(int) ARG2], \
1072 builtin_types[(int) ARG3], \
1073 builtin_types[(int) ARG4], \
1074 builtin_types[(int) ARG5], \
1075 NULL_TREE);
6c7a4dfd
JJ
1076#define DEF_FUNCTION_TYPE_6(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
1077 ARG6) \
1078 builtin_types[(int) ENUM] \
b64fca63
NF
1079 = build_function_type_list (builtin_types[(int) RETURN], \
1080 builtin_types[(int) ARG1], \
1081 builtin_types[(int) ARG2], \
1082 builtin_types[(int) ARG3], \
1083 builtin_types[(int) ARG4], \
1084 builtin_types[(int) ARG5], \
1085 builtin_types[(int) ARG6], \
1086 NULL_TREE);
6c7a4dfd
JJ
1087#define DEF_FUNCTION_TYPE_7(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
1088 ARG6, ARG7) \
1089 builtin_types[(int) ENUM] \
b64fca63
NF
1090 = build_function_type_list (builtin_types[(int) RETURN], \
1091 builtin_types[(int) ARG1], \
1092 builtin_types[(int) ARG2], \
1093 builtin_types[(int) ARG3], \
1094 builtin_types[(int) ARG4], \
1095 builtin_types[(int) ARG5], \
1096 builtin_types[(int) ARG6], \
1097 builtin_types[(int) ARG7], \
1098 NULL_TREE);
acf0174b
JJ
1099#define DEF_FUNCTION_TYPE_8(ENUM, RETURN, ARG1, ARG2, ARG3, ARG4, ARG5, \
1100 ARG6, ARG7, ARG8) \
1101 builtin_types[(int) ENUM] \
1102 = build_function_type_list (builtin_types[(int) RETURN], \
1103 builtin_types[(int) ARG1], \
1104 builtin_types[(int) ARG2], \
1105 builtin_types[(int) ARG3], \
1106 builtin_types[(int) ARG4], \
1107 builtin_types[(int) ARG5], \
1108 builtin_types[(int) ARG6], \
1109 builtin_types[(int) ARG7], \
1110 builtin_types[(int) ARG8], \
1111 NULL_TREE);
6c7a4dfd
JJ
1112#define DEF_FUNCTION_TYPE_VAR_0(ENUM, RETURN) \
1113 builtin_types[(int) ENUM] \
b64fca63
NF
1114 = build_varargs_function_type_list (builtin_types[(int) RETURN], \
1115 NULL_TREE);
6c7a4dfd
JJ
1116#define DEF_POINTER_TYPE(ENUM, TYPE) \
1117 builtin_types[(int) ENUM] \
1118 = build_pointer_type (builtin_types[(int) TYPE]);
1119#include "types.def"
1120#undef DEF_PRIMITIVE_TYPE
f6a7cffc 1121#undef DEF_FUNCTION_TYPE_0
6c7a4dfd
JJ
1122#undef DEF_FUNCTION_TYPE_1
1123#undef DEF_FUNCTION_TYPE_2
1124#undef DEF_FUNCTION_TYPE_3
1125#undef DEF_FUNCTION_TYPE_4
1126#undef DEF_FUNCTION_TYPE_5
1127#undef DEF_FUNCTION_TYPE_6
f6a7cffc
TS
1128#undef DEF_FUNCTION_TYPE_7
1129#undef DEF_FUNCTION_TYPE_8
6c7a4dfd
JJ
1130#undef DEF_FUNCTION_TYPE_VAR_0
1131#undef DEF_POINTER_TYPE
1132 builtin_types[(int) BT_LAST] = NULL_TREE;
1133
1134 /* Initialize synchronization builtins. */
1135#undef DEF_SYNC_BUILTIN
1136#define DEF_SYNC_BUILTIN(code, name, type, attr) \
1137 gfc_define_builtin (name, builtin_types[type], code, name, \
d724c876 1138 attr);
6c7a4dfd
JJ
1139#include "../sync-builtins.def"
1140#undef DEF_SYNC_BUILTIN
1141
92d28cbb
JJ
1142 if (gfc_option.gfc_flag_openmp
1143 || gfc_option.gfc_flag_openmp_simd
1144 || flag_tree_parallelize_loops)
6c7a4dfd
JJ
1145 {
1146#undef DEF_GOMP_BUILTIN
1147#define DEF_GOMP_BUILTIN(code, name, type, attr) \
1148 gfc_define_builtin ("__builtin_" name, builtin_types[type], \
d724c876 1149 code, name, attr);
6c7a4dfd
JJ
1150#include "../omp-builtins.def"
1151#undef DEF_GOMP_BUILTIN
1152 }
1153
1154 gfc_define_builtin ("__builtin_trap", builtin_types[BT_FN_VOID],
d724c876 1155 BUILT_IN_TRAP, NULL, ATTR_NOTHROW_LEAF_LIST);
e79983f4 1156 TREE_THIS_VOLATILE (builtin_decl_explicit (BUILT_IN_TRAP)) = 1;
6c7a4dfd 1157
b46ebd6c
JJ
1158 ftype = build_varargs_function_type_list (ptr_type_node, const_ptr_type_node,
1159 size_type_node, NULL_TREE);
1160 gfc_define_builtin ("__builtin_assume_aligned", ftype,
1161 BUILT_IN_ASSUME_ALIGNED,
1162 "__builtin_assume_aligned",
1163 ATTR_CONST_NOTHROW_LEAF_LIST);
1164
8893239d 1165 gfc_define_builtin ("__emutls_get_address",
d724c876
JJ
1166 builtin_types[BT_FN_PTR_PTR],
1167 BUILT_IN_EMUTLS_GET_ADDRESS,
1168 "__emutls_get_address", ATTR_CONST_NOTHROW_LEAF_LIST);
8893239d
RH
1169 gfc_define_builtin ("__emutls_register_common",
1170 builtin_types[BT_FN_VOID_PTR_WORD_WORD_PTR],
1171 BUILT_IN_EMUTLS_REGISTER_COMMON,
d724c876 1172 "__emutls_register_common", ATTR_NOTHROW_LEAF_LIST);
8893239d 1173
384c400a 1174 build_common_builtin_nodes ();
ef9312c1 1175 targetm.init_builtins ();
6de9cd9a
DN
1176}
1177
e8525382 1178#undef DEFINE_MATH_BUILTIN_C
6de9cd9a
DN
1179#undef DEFINE_MATH_BUILTIN
1180
a64f5186
JJ
1181static void
1182gfc_init_ts (void)
1183{
1184 tree_contains_struct[NAMESPACE_DECL][TS_DECL_NON_COMMON] = 1;
1185 tree_contains_struct[NAMESPACE_DECL][TS_DECL_WITH_VIS] = 1;
1186 tree_contains_struct[NAMESPACE_DECL][TS_DECL_WRTL] = 1;
1187 tree_contains_struct[NAMESPACE_DECL][TS_DECL_COMMON] = 1;
1188 tree_contains_struct[NAMESPACE_DECL][TS_DECL_MINIMAL] = 1;
1189}
1190
602b8523
TB
1191void
1192gfc_maybe_initialize_eh (void)
1193{
1194 if (!flag_exceptions || gfc_eh_initialized_p)
1195 return;
1196
1197 gfc_eh_initialized_p = true;
602b8523
TB
1198 using_eh_for_cleanups ();
1199}
1200
1201
6de9cd9a
DN
1202#include "gt-fortran-f95-lang.h"
1203#include "gtype-fortran.h"