2 Copyright (C) 2003-2016 Free Software Foundation, Inc.
3 Contributed by Steven Bosscher
5 This file is part of GCC.
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 3, or (at your option) any later
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
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
22 /* Actually this is just a collection of routines that used to be
23 scattered around the sources. Now that they are all in a single
24 file, almost all of them can be static, and the other files don't
25 have this mess in them.
27 As a nice side-effect, this file can act as documentation of the
28 gfc_code and gfc_expr structures and all their friends and
35 #include "coretypes.h"
37 #include "constructor.h"
39 /* Keep track of indentation for symbol tree dumps. */
40 static int show_level
= 0;
42 /* The file handle we're dumping to is kept in a static variable. This
43 is not too cool, but it avoids a lot of passing it around. */
44 static FILE *dumpfile
;
46 /* Forward declaration of some of the functions. */
47 static void show_expr (gfc_expr
*p
);
48 static void show_code_node (int, gfc_code
*);
49 static void show_namespace (gfc_namespace
*ns
);
52 /* Allow dumping of an expression in the debugger. */
53 void gfc_debug_expr (gfc_expr
*);
56 gfc_debug_expr (gfc_expr
*e
)
61 fputc ('\n', dumpfile
);
66 /* Do indentation for a specific level. */
69 code_indent (int level
, gfc_st_label
*label
)
74 fprintf (dumpfile
, "%-5d ", label
->value
);
76 for (i
= 0; i
< (2 * level
- (label
? 6 : 0)); i
++)
77 fputc (' ', dumpfile
);
81 /* Simple indentation at the current level. This one
82 is used to show symbols. */
87 fputc ('\n', dumpfile
);
88 code_indent (show_level
, NULL
);
92 /* Show type-specific information. */
95 show_typespec (gfc_typespec
*ts
)
97 if (ts
->type
== BT_ASSUMED
)
99 fputs ("(TYPE(*))", dumpfile
);
103 fprintf (dumpfile
, "(%s ", gfc_basic_typename (ts
->type
));
109 fprintf (dumpfile
, "%s", ts
->u
.derived
->name
);
114 show_expr (ts
->u
.cl
->length
);
115 fprintf(dumpfile
, " %d", ts
->kind
);
119 fprintf (dumpfile
, "%d", ts
->kind
);
123 fputc (')', dumpfile
);
127 /* Show an actual argument list. */
130 show_actual_arglist (gfc_actual_arglist
*a
)
132 fputc ('(', dumpfile
);
134 for (; a
; a
= a
->next
)
136 fputc ('(', dumpfile
);
138 fprintf (dumpfile
, "%s = ", a
->name
);
142 fputs ("(arg not-present)", dumpfile
);
144 fputc (')', dumpfile
);
146 fputc (' ', dumpfile
);
149 fputc (')', dumpfile
);
153 /* Show a gfc_array_spec array specification structure. */
156 show_array_spec (gfc_array_spec
*as
)
163 fputs ("()", dumpfile
);
167 fprintf (dumpfile
, "(%d [%d]", as
->rank
, as
->corank
);
169 if (as
->rank
+ as
->corank
> 0 || as
->rank
== -1)
173 case AS_EXPLICIT
: c
= "AS_EXPLICIT"; break;
174 case AS_DEFERRED
: c
= "AS_DEFERRED"; break;
175 case AS_ASSUMED_SIZE
: c
= "AS_ASSUMED_SIZE"; break;
176 case AS_ASSUMED_SHAPE
: c
= "AS_ASSUMED_SHAPE"; break;
177 case AS_ASSUMED_RANK
: c
= "AS_ASSUMED_RANK"; break;
179 gfc_internal_error ("show_array_spec(): Unhandled array shape "
182 fprintf (dumpfile
, " %s ", c
);
184 for (i
= 0; i
< as
->rank
+ as
->corank
; i
++)
186 show_expr (as
->lower
[i
]);
187 fputc (' ', dumpfile
);
188 show_expr (as
->upper
[i
]);
189 fputc (' ', dumpfile
);
193 fputc (')', dumpfile
);
197 /* Show a gfc_array_ref array reference structure. */
200 show_array_ref (gfc_array_ref
* ar
)
204 fputc ('(', dumpfile
);
209 fputs ("FULL", dumpfile
);
213 for (i
= 0; i
< ar
->dimen
; i
++)
215 /* There are two types of array sections: either the
216 elements are identified by an integer array ('vector'),
217 or by an index range. In the former case we only have to
218 print the start expression which contains the vector, in
219 the latter case we have to print any of lower and upper
220 bound and the stride, if they're present. */
222 if (ar
->start
[i
] != NULL
)
223 show_expr (ar
->start
[i
]);
225 if (ar
->dimen_type
[i
] == DIMEN_RANGE
)
227 fputc (':', dumpfile
);
229 if (ar
->end
[i
] != NULL
)
230 show_expr (ar
->end
[i
]);
232 if (ar
->stride
[i
] != NULL
)
234 fputc (':', dumpfile
);
235 show_expr (ar
->stride
[i
]);
239 if (i
!= ar
->dimen
- 1)
240 fputs (" , ", dumpfile
);
245 for (i
= 0; i
< ar
->dimen
; i
++)
247 show_expr (ar
->start
[i
]);
248 if (i
!= ar
->dimen
- 1)
249 fputs (" , ", dumpfile
);
254 fputs ("UNKNOWN", dumpfile
);
258 gfc_internal_error ("show_array_ref(): Unknown array reference");
261 fputc (')', dumpfile
);
265 /* Show a list of gfc_ref structures. */
268 show_ref (gfc_ref
*p
)
270 for (; p
; p
= p
->next
)
274 show_array_ref (&p
->u
.ar
);
278 fprintf (dumpfile
, " %% %s", p
->u
.c
.component
->name
);
282 fputc ('(', dumpfile
);
283 show_expr (p
->u
.ss
.start
);
284 fputc (':', dumpfile
);
285 show_expr (p
->u
.ss
.end
);
286 fputc (')', dumpfile
);
290 gfc_internal_error ("show_ref(): Bad component code");
295 /* Display a constructor. Works recursively for array constructors. */
298 show_constructor (gfc_constructor_base base
)
301 for (c
= gfc_constructor_first (base
); c
; c
= gfc_constructor_next (c
))
303 if (c
->iterator
== NULL
)
307 fputc ('(', dumpfile
);
310 fputc (' ', dumpfile
);
311 show_expr (c
->iterator
->var
);
312 fputc ('=', dumpfile
);
313 show_expr (c
->iterator
->start
);
314 fputc (',', dumpfile
);
315 show_expr (c
->iterator
->end
);
316 fputc (',', dumpfile
);
317 show_expr (c
->iterator
->step
);
319 fputc (')', dumpfile
);
322 if (gfc_constructor_next (c
) != NULL
)
323 fputs (" , ", dumpfile
);
329 show_char_const (const gfc_char_t
*c
, int length
)
333 fputc ('\'', dumpfile
);
334 for (i
= 0; i
< length
; i
++)
337 fputs ("''", dumpfile
);
339 fputs (gfc_print_wide_char (c
[i
]), dumpfile
);
341 fputc ('\'', dumpfile
);
345 /* Show a component-call expression. */
348 show_compcall (gfc_expr
* p
)
350 gcc_assert (p
->expr_type
== EXPR_COMPCALL
);
352 fprintf (dumpfile
, "%s", p
->symtree
->n
.sym
->name
);
354 fprintf (dumpfile
, "%s", p
->value
.compcall
.name
);
356 show_actual_arglist (p
->value
.compcall
.actual
);
360 /* Show an expression. */
363 show_expr (gfc_expr
*p
)
370 fputs ("()", dumpfile
);
374 switch (p
->expr_type
)
377 show_char_const (p
->value
.character
.string
, p
->value
.character
.length
);
382 fprintf (dumpfile
, "%s(", p
->ts
.u
.derived
->name
);
383 show_constructor (p
->value
.constructor
);
384 fputc (')', dumpfile
);
388 fputs ("(/ ", dumpfile
);
389 show_constructor (p
->value
.constructor
);
390 fputs (" /)", dumpfile
);
396 fputs ("NULL()", dumpfile
);
403 mpz_out_str (stdout
, 10, p
->value
.integer
);
405 if (p
->ts
.kind
!= gfc_default_integer_kind
)
406 fprintf (dumpfile
, "_%d", p
->ts
.kind
);
410 if (p
->value
.logical
)
411 fputs (".true.", dumpfile
);
413 fputs (".false.", dumpfile
);
417 mpfr_out_str (stdout
, 10, 0, p
->value
.real
, GFC_RND_MODE
);
418 if (p
->ts
.kind
!= gfc_default_real_kind
)
419 fprintf (dumpfile
, "_%d", p
->ts
.kind
);
423 show_char_const (p
->value
.character
.string
,
424 p
->value
.character
.length
);
428 fputs ("(complex ", dumpfile
);
430 mpfr_out_str (stdout
, 10, 0, mpc_realref (p
->value
.complex),
432 if (p
->ts
.kind
!= gfc_default_complex_kind
)
433 fprintf (dumpfile
, "_%d", p
->ts
.kind
);
435 fputc (' ', dumpfile
);
437 mpfr_out_str (stdout
, 10, 0, mpc_imagref (p
->value
.complex),
439 if (p
->ts
.kind
!= gfc_default_complex_kind
)
440 fprintf (dumpfile
, "_%d", p
->ts
.kind
);
442 fputc (')', dumpfile
);
446 fprintf (dumpfile
, "%dH", p
->representation
.length
);
447 c
= p
->representation
.string
;
448 for (i
= 0; i
< p
->representation
.length
; i
++, c
++)
450 fputc (*c
, dumpfile
);
455 fputs ("???", dumpfile
);
459 if (p
->representation
.string
)
461 fputs (" {", dumpfile
);
462 c
= p
->representation
.string
;
463 for (i
= 0; i
< p
->representation
.length
; i
++, c
++)
465 fprintf (dumpfile
, "%.2x", (unsigned int) *c
);
466 if (i
< p
->representation
.length
- 1)
467 fputc (',', dumpfile
);
469 fputc ('}', dumpfile
);
475 if (p
->symtree
->n
.sym
->ns
&& p
->symtree
->n
.sym
->ns
->proc_name
)
476 fprintf (dumpfile
, "%s:", p
->symtree
->n
.sym
->ns
->proc_name
->name
);
477 fprintf (dumpfile
, "%s", p
->symtree
->n
.sym
->name
);
482 fputc ('(', dumpfile
);
483 switch (p
->value
.op
.op
)
485 case INTRINSIC_UPLUS
:
486 fputs ("U+ ", dumpfile
);
488 case INTRINSIC_UMINUS
:
489 fputs ("U- ", dumpfile
);
492 fputs ("+ ", dumpfile
);
494 case INTRINSIC_MINUS
:
495 fputs ("- ", dumpfile
);
497 case INTRINSIC_TIMES
:
498 fputs ("* ", dumpfile
);
500 case INTRINSIC_DIVIDE
:
501 fputs ("/ ", dumpfile
);
503 case INTRINSIC_POWER
:
504 fputs ("** ", dumpfile
);
506 case INTRINSIC_CONCAT
:
507 fputs ("// ", dumpfile
);
510 fputs ("AND ", dumpfile
);
513 fputs ("OR ", dumpfile
);
516 fputs ("EQV ", dumpfile
);
519 fputs ("NEQV ", dumpfile
);
522 case INTRINSIC_EQ_OS
:
523 fputs ("= ", dumpfile
);
526 case INTRINSIC_NE_OS
:
527 fputs ("/= ", dumpfile
);
530 case INTRINSIC_GT_OS
:
531 fputs ("> ", dumpfile
);
534 case INTRINSIC_GE_OS
:
535 fputs (">= ", dumpfile
);
538 case INTRINSIC_LT_OS
:
539 fputs ("< ", dumpfile
);
542 case INTRINSIC_LE_OS
:
543 fputs ("<= ", dumpfile
);
546 fputs ("NOT ", dumpfile
);
548 case INTRINSIC_PARENTHESES
:
549 fputs ("parens ", dumpfile
);
554 ("show_expr(): Bad intrinsic in expression!");
557 show_expr (p
->value
.op
.op1
);
561 fputc (' ', dumpfile
);
562 show_expr (p
->value
.op
.op2
);
565 fputc (')', dumpfile
);
569 if (p
->value
.function
.name
== NULL
)
571 fprintf (dumpfile
, "%s", p
->symtree
->n
.sym
->name
);
572 if (gfc_is_proc_ptr_comp (p
))
574 fputc ('[', dumpfile
);
575 show_actual_arglist (p
->value
.function
.actual
);
576 fputc (']', dumpfile
);
580 fprintf (dumpfile
, "%s", p
->value
.function
.name
);
581 if (gfc_is_proc_ptr_comp (p
))
583 fputc ('[', dumpfile
);
584 fputc ('[', dumpfile
);
585 show_actual_arglist (p
->value
.function
.actual
);
586 fputc (']', dumpfile
);
587 fputc (']', dumpfile
);
597 gfc_internal_error ("show_expr(): Don't know how to show expr");
601 /* Show symbol attributes. The flavor and intent are followed by
602 whatever single bit attributes are present. */
605 show_attr (symbol_attribute
*attr
, const char * module
)
607 if (attr
->flavor
!= FL_UNKNOWN
)
608 fprintf (dumpfile
, "(%s ", gfc_code2string (flavors
, attr
->flavor
));
609 if (attr
->access
!= ACCESS_UNKNOWN
)
610 fprintf (dumpfile
, "%s ", gfc_code2string (access_types
, attr
->access
));
611 if (attr
->proc
!= PROC_UNKNOWN
)
612 fprintf (dumpfile
, "%s ", gfc_code2string (procedures
, attr
->proc
));
613 if (attr
->save
!= SAVE_NONE
)
614 fprintf (dumpfile
, "%s", gfc_code2string (save_status
, attr
->save
));
616 if (attr
->artificial
)
617 fputs (" ARTIFICIAL", dumpfile
);
618 if (attr
->allocatable
)
619 fputs (" ALLOCATABLE", dumpfile
);
620 if (attr
->asynchronous
)
621 fputs (" ASYNCHRONOUS", dumpfile
);
622 if (attr
->codimension
)
623 fputs (" CODIMENSION", dumpfile
);
625 fputs (" DIMENSION", dumpfile
);
626 if (attr
->contiguous
)
627 fputs (" CONTIGUOUS", dumpfile
);
629 fputs (" EXTERNAL", dumpfile
);
631 fputs (" INTRINSIC", dumpfile
);
633 fputs (" OPTIONAL", dumpfile
);
635 fputs (" POINTER", dumpfile
);
636 if (attr
->is_protected
)
637 fputs (" PROTECTED", dumpfile
);
639 fputs (" VALUE", dumpfile
);
641 fputs (" VOLATILE", dumpfile
);
642 if (attr
->threadprivate
)
643 fputs (" THREADPRIVATE", dumpfile
);
645 fputs (" TARGET", dumpfile
);
648 fputs (" DUMMY", dumpfile
);
649 if (attr
->intent
!= INTENT_UNKNOWN
)
650 fprintf (dumpfile
, "(%s)", gfc_intent_string (attr
->intent
));
654 fputs (" RESULT", dumpfile
);
656 fputs (" ENTRY", dumpfile
);
658 fputs (" BIND(C)", dumpfile
);
661 fputs (" DATA", dumpfile
);
664 fputs (" USE-ASSOC", dumpfile
);
666 fprintf (dumpfile
, "(%s)", module
);
669 if (attr
->in_namelist
)
670 fputs (" IN-NAMELIST", dumpfile
);
672 fputs (" IN-COMMON", dumpfile
);
675 fputs (" ABSTRACT", dumpfile
);
677 fputs (" FUNCTION", dumpfile
);
678 if (attr
->subroutine
)
679 fputs (" SUBROUTINE", dumpfile
);
680 if (attr
->implicit_type
)
681 fputs (" IMPLICIT-TYPE", dumpfile
);
684 fputs (" SEQUENCE", dumpfile
);
686 fputs (" ELEMENTAL", dumpfile
);
688 fputs (" PURE", dumpfile
);
690 fputs (" RECURSIVE", dumpfile
);
692 fputc (')', dumpfile
);
696 /* Show components of a derived type. */
699 show_components (gfc_symbol
*sym
)
703 for (c
= sym
->components
; c
; c
= c
->next
)
705 fprintf (dumpfile
, "(%s ", c
->name
);
706 show_typespec (&c
->ts
);
707 if (c
->attr
.allocatable
)
708 fputs (" ALLOCATABLE", dumpfile
);
710 fputs (" POINTER", dumpfile
);
711 if (c
->attr
.proc_pointer
)
712 fputs (" PPC", dumpfile
);
713 if (c
->attr
.dimension
)
714 fputs (" DIMENSION", dumpfile
);
715 fputc (' ', dumpfile
);
716 show_array_spec (c
->as
);
718 fprintf (dumpfile
, " %s", gfc_code2string (access_types
, c
->attr
.access
));
719 fputc (')', dumpfile
);
721 fputc (' ', dumpfile
);
726 /* Show the f2k_derived namespace with procedure bindings. */
729 show_typebound_proc (gfc_typebound_proc
* tb
, const char* name
)
734 fputs ("GENERIC", dumpfile
);
737 fputs ("PROCEDURE, ", dumpfile
);
739 fputs ("NOPASS", dumpfile
);
743 fprintf (dumpfile
, "PASS(%s)", tb
->pass_arg
);
745 fputs ("PASS", dumpfile
);
747 if (tb
->non_overridable
)
748 fputs (", NON_OVERRIDABLE", dumpfile
);
751 if (tb
->access
== ACCESS_PUBLIC
)
752 fputs (", PUBLIC", dumpfile
);
754 fputs (", PRIVATE", dumpfile
);
756 fprintf (dumpfile
, " :: %s => ", name
);
761 for (g
= tb
->u
.generic
; g
; g
= g
->next
)
763 fputs (g
->specific_st
->name
, dumpfile
);
765 fputs (", ", dumpfile
);
769 fputs (tb
->u
.specific
->n
.sym
->name
, dumpfile
);
773 show_typebound_symtree (gfc_symtree
* st
)
775 gcc_assert (st
->n
.tb
);
776 show_typebound_proc (st
->n
.tb
, st
->name
);
780 show_f2k_derived (gfc_namespace
* f2k
)
786 fputs ("Procedure bindings:", dumpfile
);
789 /* Finalizer bindings. */
790 for (f
= f2k
->finalizers
; f
; f
= f
->next
)
793 fprintf (dumpfile
, "FINAL %s", f
->proc_tree
->n
.sym
->name
);
796 /* Type-bound procedures. */
797 gfc_traverse_symtree (f2k
->tb_sym_root
, &show_typebound_symtree
);
802 fputs ("Operator bindings:", dumpfile
);
805 /* User-defined operators. */
806 gfc_traverse_symtree (f2k
->tb_uop_root
, &show_typebound_symtree
);
808 /* Intrinsic operators. */
809 for (op
= GFC_INTRINSIC_BEGIN
; op
!= GFC_INTRINSIC_END
; ++op
)
811 show_typebound_proc (f2k
->tb_op
[op
],
812 gfc_op2string ((gfc_intrinsic_op
) op
));
818 /* Show a symbol. If a symbol is an ENTRY, SUBROUTINE or FUNCTION, we
819 show the interface. Information needed to reconstruct the list of
820 specific interfaces associated with a generic symbol is done within
824 show_symbol (gfc_symbol
*sym
)
826 gfc_formal_arglist
*formal
;
833 fprintf (dumpfile
, "|| symbol: '%s' ", sym
->name
);
834 len
= strlen (sym
->name
);
835 for (i
=len
; i
<12; i
++)
836 fputc(' ', dumpfile
);
841 fputs ("type spec : ", dumpfile
);
842 show_typespec (&sym
->ts
);
845 fputs ("attributes: ", dumpfile
);
846 show_attr (&sym
->attr
, sym
->module
);
851 fputs ("value: ", dumpfile
);
852 show_expr (sym
->value
);
858 fputs ("Array spec:", dumpfile
);
859 show_array_spec (sym
->as
);
865 fputs ("Generic interfaces:", dumpfile
);
866 for (intr
= sym
->generic
; intr
; intr
= intr
->next
)
867 fprintf (dumpfile
, " %s", intr
->sym
->name
);
873 fprintf (dumpfile
, "result: %s", sym
->result
->name
);
879 fputs ("components: ", dumpfile
);
880 show_components (sym
);
883 if (sym
->f2k_derived
)
887 fprintf (dumpfile
, "hash: %d", sym
->hash_value
);
888 show_f2k_derived (sym
->f2k_derived
);
894 fputs ("Formal arglist:", dumpfile
);
896 for (formal
= sym
->formal
; formal
; formal
= formal
->next
)
898 if (formal
->sym
!= NULL
)
899 fprintf (dumpfile
, " %s", formal
->sym
->name
);
901 fputs (" [Alt Return]", dumpfile
);
905 if (sym
->formal_ns
&& (sym
->formal_ns
->proc_name
!= sym
)
906 && sym
->attr
.proc
!= PROC_ST_FUNCTION
910 fputs ("Formal namespace", dumpfile
);
911 show_namespace (sym
->formal_ns
);
917 /* Show a user-defined operator. Just prints an operator
918 and the name of the associated subroutine, really. */
921 show_uop (gfc_user_op
*uop
)
926 fprintf (dumpfile
, "%s:", uop
->name
);
928 for (intr
= uop
->op
; intr
; intr
= intr
->next
)
929 fprintf (dumpfile
, " %s", intr
->sym
->name
);
933 /* Workhorse function for traversing the user operator symtree. */
936 traverse_uop (gfc_symtree
*st
, void (*func
) (gfc_user_op
*))
943 traverse_uop (st
->left
, func
);
944 traverse_uop (st
->right
, func
);
948 /* Traverse the tree of user operator nodes. */
951 gfc_traverse_user_op (gfc_namespace
*ns
, void (*func
) (gfc_user_op
*))
953 traverse_uop (ns
->uop_root
, func
);
957 /* Function to display a common block. */
960 show_common (gfc_symtree
*st
)
965 fprintf (dumpfile
, "common: /%s/ ", st
->name
);
967 s
= st
->n
.common
->head
;
970 fprintf (dumpfile
, "%s", s
->name
);
973 fputs (", ", dumpfile
);
975 fputc ('\n', dumpfile
);
979 /* Worker function to display the symbol tree. */
982 show_symtree (gfc_symtree
*st
)
988 len
= strlen(st
->name
);
989 fprintf (dumpfile
, "symtree: '%s'", st
->name
);
991 for (i
=len
; i
<12; i
++)
992 fputc(' ', dumpfile
);
995 fputs( " Ambiguous", dumpfile
);
997 if (st
->n
.sym
->ns
!= gfc_current_ns
)
998 fprintf (dumpfile
, "|| symbol: '%s' from namespace '%s'", st
->n
.sym
->name
,
999 st
->n
.sym
->ns
->proc_name
->name
);
1001 show_symbol (st
->n
.sym
);
1005 /******************* Show gfc_code structures **************/
1008 /* Show a list of code structures. Mutually recursive with
1009 show_code_node(). */
1012 show_code (int level
, gfc_code
*c
)
1014 for (; c
; c
= c
->next
)
1015 show_code_node (level
, c
);
1019 show_omp_namelist (int list_type
, gfc_omp_namelist
*n
)
1021 for (; n
; n
= n
->next
)
1023 if (list_type
== OMP_LIST_REDUCTION
)
1024 switch (n
->u
.reduction_op
)
1026 case OMP_REDUCTION_PLUS
:
1027 case OMP_REDUCTION_TIMES
:
1028 case OMP_REDUCTION_MINUS
:
1029 case OMP_REDUCTION_AND
:
1030 case OMP_REDUCTION_OR
:
1031 case OMP_REDUCTION_EQV
:
1032 case OMP_REDUCTION_NEQV
:
1033 fprintf (dumpfile
, "%s:",
1034 gfc_op2string ((gfc_intrinsic_op
) n
->u
.reduction_op
));
1036 case OMP_REDUCTION_MAX
: fputs ("max:", dumpfile
); break;
1037 case OMP_REDUCTION_MIN
: fputs ("min:", dumpfile
); break;
1038 case OMP_REDUCTION_IAND
: fputs ("iand:", dumpfile
); break;
1039 case OMP_REDUCTION_IOR
: fputs ("ior:", dumpfile
); break;
1040 case OMP_REDUCTION_IEOR
: fputs ("ieor:", dumpfile
); break;
1041 case OMP_REDUCTION_USER
:
1043 fprintf (dumpfile
, "%s:", n
->udr
->udr
->name
);
1047 else if (list_type
== OMP_LIST_DEPEND
)
1048 switch (n
->u
.depend_op
)
1050 case OMP_DEPEND_IN
: fputs ("in:", dumpfile
); break;
1051 case OMP_DEPEND_OUT
: fputs ("out:", dumpfile
); break;
1052 case OMP_DEPEND_INOUT
: fputs ("inout:", dumpfile
); break;
1055 else if (list_type
== OMP_LIST_MAP
)
1056 switch (n
->u
.map_op
)
1058 case OMP_MAP_ALLOC
: fputs ("alloc:", dumpfile
); break;
1059 case OMP_MAP_TO
: fputs ("to:", dumpfile
); break;
1060 case OMP_MAP_FROM
: fputs ("from:", dumpfile
); break;
1061 case OMP_MAP_TOFROM
: fputs ("tofrom:", dumpfile
); break;
1064 fprintf (dumpfile
, "%s", n
->sym
->name
);
1067 fputc (':', dumpfile
);
1068 show_expr (n
->expr
);
1071 fputc (',', dumpfile
);
1076 /* Show OpenMP or OpenACC clauses. */
1079 show_omp_clauses (gfc_omp_clauses
*omp_clauses
)
1083 switch (omp_clauses
->cancel
)
1085 case OMP_CANCEL_UNKNOWN
:
1087 case OMP_CANCEL_PARALLEL
:
1088 fputs (" PARALLEL", dumpfile
);
1090 case OMP_CANCEL_SECTIONS
:
1091 fputs (" SECTIONS", dumpfile
);
1094 fputs (" DO", dumpfile
);
1096 case OMP_CANCEL_TASKGROUP
:
1097 fputs (" TASKGROUP", dumpfile
);
1100 if (omp_clauses
->if_expr
)
1102 fputs (" IF(", dumpfile
);
1103 show_expr (omp_clauses
->if_expr
);
1104 fputc (')', dumpfile
);
1106 if (omp_clauses
->final_expr
)
1108 fputs (" FINAL(", dumpfile
);
1109 show_expr (omp_clauses
->final_expr
);
1110 fputc (')', dumpfile
);
1112 if (omp_clauses
->num_threads
)
1114 fputs (" NUM_THREADS(", dumpfile
);
1115 show_expr (omp_clauses
->num_threads
);
1116 fputc (')', dumpfile
);
1118 if (omp_clauses
->async
)
1120 fputs (" ASYNC", dumpfile
);
1121 if (omp_clauses
->async_expr
)
1123 fputc ('(', dumpfile
);
1124 show_expr (omp_clauses
->async_expr
);
1125 fputc (')', dumpfile
);
1128 if (omp_clauses
->num_gangs_expr
)
1130 fputs (" NUM_GANGS(", dumpfile
);
1131 show_expr (omp_clauses
->num_gangs_expr
);
1132 fputc (')', dumpfile
);
1134 if (omp_clauses
->num_workers_expr
)
1136 fputs (" NUM_WORKERS(", dumpfile
);
1137 show_expr (omp_clauses
->num_workers_expr
);
1138 fputc (')', dumpfile
);
1140 if (omp_clauses
->vector_length_expr
)
1142 fputs (" VECTOR_LENGTH(", dumpfile
);
1143 show_expr (omp_clauses
->vector_length_expr
);
1144 fputc (')', dumpfile
);
1146 if (omp_clauses
->gang
)
1148 fputs (" GANG", dumpfile
);
1149 if (omp_clauses
->gang_num_expr
|| omp_clauses
->gang_static_expr
)
1151 fputc ('(', dumpfile
);
1152 if (omp_clauses
->gang_num_expr
)
1154 fprintf (dumpfile
, "num:");
1155 show_expr (omp_clauses
->gang_num_expr
);
1157 if (omp_clauses
->gang_num_expr
&& omp_clauses
->gang_static
)
1158 fputc (',', dumpfile
);
1159 if (omp_clauses
->gang_static
)
1161 fprintf (dumpfile
, "static:");
1162 if (omp_clauses
->gang_static_expr
)
1163 show_expr (omp_clauses
->gang_static_expr
);
1165 fputc ('*', dumpfile
);
1167 fputc (')', dumpfile
);
1170 if (omp_clauses
->worker
)
1172 fputs (" WORKER", dumpfile
);
1173 if (omp_clauses
->worker_expr
)
1175 fputc ('(', dumpfile
);
1176 show_expr (omp_clauses
->worker_expr
);
1177 fputc (')', dumpfile
);
1180 if (omp_clauses
->vector
)
1182 fputs (" VECTOR", dumpfile
);
1183 if (omp_clauses
->vector_expr
)
1185 fputc ('(', dumpfile
);
1186 show_expr (omp_clauses
->vector_expr
);
1187 fputc (')', dumpfile
);
1190 if (omp_clauses
->sched_kind
!= OMP_SCHED_NONE
)
1193 switch (omp_clauses
->sched_kind
)
1195 case OMP_SCHED_STATIC
: type
= "STATIC"; break;
1196 case OMP_SCHED_DYNAMIC
: type
= "DYNAMIC"; break;
1197 case OMP_SCHED_GUIDED
: type
= "GUIDED"; break;
1198 case OMP_SCHED_RUNTIME
: type
= "RUNTIME"; break;
1199 case OMP_SCHED_AUTO
: type
= "AUTO"; break;
1203 fprintf (dumpfile
, " SCHEDULE (%s", type
);
1204 if (omp_clauses
->chunk_size
)
1206 fputc (',', dumpfile
);
1207 show_expr (omp_clauses
->chunk_size
);
1209 fputc (')', dumpfile
);
1211 if (omp_clauses
->default_sharing
!= OMP_DEFAULT_UNKNOWN
)
1214 switch (omp_clauses
->default_sharing
)
1216 case OMP_DEFAULT_NONE
: type
= "NONE"; break;
1217 case OMP_DEFAULT_PRIVATE
: type
= "PRIVATE"; break;
1218 case OMP_DEFAULT_SHARED
: type
= "SHARED"; break;
1219 case OMP_DEFAULT_FIRSTPRIVATE
: type
= "FIRSTPRIVATE"; break;
1223 fprintf (dumpfile
, " DEFAULT(%s)", type
);
1225 if (omp_clauses
->tile_list
)
1227 gfc_expr_list
*list
;
1228 fputs (" TILE(", dumpfile
);
1229 for (list
= omp_clauses
->tile_list
; list
; list
= list
->next
)
1231 show_expr (list
->expr
);
1233 fputs (", ", dumpfile
);
1235 fputc (')', dumpfile
);
1237 if (omp_clauses
->wait_list
)
1239 gfc_expr_list
*list
;
1240 fputs (" WAIT(", dumpfile
);
1241 for (list
= omp_clauses
->wait_list
; list
; list
= list
->next
)
1243 show_expr (list
->expr
);
1245 fputs (", ", dumpfile
);
1247 fputc (')', dumpfile
);
1249 if (omp_clauses
->seq
)
1250 fputs (" SEQ", dumpfile
);
1251 if (omp_clauses
->independent
)
1252 fputs (" INDEPENDENT", dumpfile
);
1253 if (omp_clauses
->ordered
)
1254 fputs (" ORDERED", dumpfile
);
1255 if (omp_clauses
->untied
)
1256 fputs (" UNTIED", dumpfile
);
1257 if (omp_clauses
->mergeable
)
1258 fputs (" MERGEABLE", dumpfile
);
1259 if (omp_clauses
->collapse
)
1260 fprintf (dumpfile
, " COLLAPSE(%d)", omp_clauses
->collapse
);
1261 for (list_type
= 0; list_type
< OMP_LIST_NUM
; list_type
++)
1262 if (omp_clauses
->lists
[list_type
] != NULL
1263 && list_type
!= OMP_LIST_COPYPRIVATE
)
1265 const char *type
= NULL
;
1268 case OMP_LIST_USE_DEVICE
: type
= "USE_DEVICE"; break;
1269 case OMP_LIST_DEVICE_RESIDENT
: type
= "USE_DEVICE"; break;
1270 case OMP_LIST_CACHE
: type
= ""; break;
1271 case OMP_LIST_PRIVATE
: type
= "PRIVATE"; break;
1272 case OMP_LIST_FIRSTPRIVATE
: type
= "FIRSTPRIVATE"; break;
1273 case OMP_LIST_LASTPRIVATE
: type
= "LASTPRIVATE"; break;
1274 case OMP_LIST_SHARED
: type
= "SHARED"; break;
1275 case OMP_LIST_COPYIN
: type
= "COPYIN"; break;
1276 case OMP_LIST_UNIFORM
: type
= "UNIFORM"; break;
1277 case OMP_LIST_ALIGNED
: type
= "ALIGNED"; break;
1278 case OMP_LIST_LINEAR
: type
= "LINEAR"; break;
1279 case OMP_LIST_REDUCTION
: type
= "REDUCTION"; break;
1280 case OMP_LIST_DEPEND
: type
= "DEPEND"; break;
1284 fprintf (dumpfile
, " %s(", type
);
1285 show_omp_namelist (list_type
, omp_clauses
->lists
[list_type
]);
1286 fputc (')', dumpfile
);
1288 if (omp_clauses
->safelen_expr
)
1290 fputs (" SAFELEN(", dumpfile
);
1291 show_expr (omp_clauses
->safelen_expr
);
1292 fputc (')', dumpfile
);
1294 if (omp_clauses
->simdlen_expr
)
1296 fputs (" SIMDLEN(", dumpfile
);
1297 show_expr (omp_clauses
->simdlen_expr
);
1298 fputc (')', dumpfile
);
1300 if (omp_clauses
->inbranch
)
1301 fputs (" INBRANCH", dumpfile
);
1302 if (omp_clauses
->notinbranch
)
1303 fputs (" NOTINBRANCH", dumpfile
);
1304 if (omp_clauses
->proc_bind
!= OMP_PROC_BIND_UNKNOWN
)
1307 switch (omp_clauses
->proc_bind
)
1309 case OMP_PROC_BIND_MASTER
: type
= "MASTER"; break;
1310 case OMP_PROC_BIND_SPREAD
: type
= "SPREAD"; break;
1311 case OMP_PROC_BIND_CLOSE
: type
= "CLOSE"; break;
1315 fprintf (dumpfile
, " PROC_BIND(%s)", type
);
1317 if (omp_clauses
->num_teams
)
1319 fputs (" NUM_TEAMS(", dumpfile
);
1320 show_expr (omp_clauses
->num_teams
);
1321 fputc (')', dumpfile
);
1323 if (omp_clauses
->device
)
1325 fputs (" DEVICE(", dumpfile
);
1326 show_expr (omp_clauses
->device
);
1327 fputc (')', dumpfile
);
1329 if (omp_clauses
->thread_limit
)
1331 fputs (" THREAD_LIMIT(", dumpfile
);
1332 show_expr (omp_clauses
->thread_limit
);
1333 fputc (')', dumpfile
);
1335 if (omp_clauses
->dist_sched_kind
!= OMP_SCHED_NONE
)
1337 fprintf (dumpfile
, " DIST_SCHEDULE (static");
1338 if (omp_clauses
->dist_chunk_size
)
1340 fputc (',', dumpfile
);
1341 show_expr (omp_clauses
->dist_chunk_size
);
1343 fputc (')', dumpfile
);
1347 /* Show a single OpenMP or OpenACC directive node and everything underneath it
1351 show_omp_node (int level
, gfc_code
*c
)
1353 gfc_omp_clauses
*omp_clauses
= NULL
;
1354 const char *name
= NULL
;
1355 bool is_oacc
= false;
1359 case EXEC_OACC_PARALLEL_LOOP
: name
= "PARALLEL LOOP"; is_oacc
= true; break;
1360 case EXEC_OACC_PARALLEL
: name
= "PARALLEL"; is_oacc
= true; break;
1361 case EXEC_OACC_KERNELS_LOOP
: name
= "KERNELS LOOP"; is_oacc
= true; break;
1362 case EXEC_OACC_KERNELS
: name
= "KERNELS"; is_oacc
= true; break;
1363 case EXEC_OACC_DATA
: name
= "DATA"; is_oacc
= true; break;
1364 case EXEC_OACC_HOST_DATA
: name
= "HOST_DATA"; is_oacc
= true; break;
1365 case EXEC_OACC_LOOP
: name
= "LOOP"; is_oacc
= true; break;
1366 case EXEC_OACC_UPDATE
: name
= "UPDATE"; is_oacc
= true; break;
1367 case EXEC_OACC_WAIT
: name
= "WAIT"; is_oacc
= true; break;
1368 case EXEC_OACC_CACHE
: name
= "CACHE"; is_oacc
= true; break;
1369 case EXEC_OACC_ENTER_DATA
: name
= "ENTER DATA"; is_oacc
= true; break;
1370 case EXEC_OACC_EXIT_DATA
: name
= "EXIT DATA"; is_oacc
= true; break;
1371 case EXEC_OMP_ATOMIC
: name
= "ATOMIC"; break;
1372 case EXEC_OMP_BARRIER
: name
= "BARRIER"; break;
1373 case EXEC_OMP_CANCEL
: name
= "CANCEL"; break;
1374 case EXEC_OMP_CANCELLATION_POINT
: name
= "CANCELLATION POINT"; break;
1375 case EXEC_OMP_CRITICAL
: name
= "CRITICAL"; break;
1376 case EXEC_OMP_FLUSH
: name
= "FLUSH"; break;
1377 case EXEC_OMP_DO
: name
= "DO"; break;
1378 case EXEC_OMP_DO_SIMD
: name
= "DO SIMD"; break;
1379 case EXEC_OMP_MASTER
: name
= "MASTER"; break;
1380 case EXEC_OMP_ORDERED
: name
= "ORDERED"; break;
1381 case EXEC_OMP_PARALLEL
: name
= "PARALLEL"; break;
1382 case EXEC_OMP_PARALLEL_DO
: name
= "PARALLEL DO"; break;
1383 case EXEC_OMP_PARALLEL_DO_SIMD
: name
= "PARALLEL DO SIMD"; break;
1384 case EXEC_OMP_PARALLEL_SECTIONS
: name
= "PARALLEL SECTIONS"; break;
1385 case EXEC_OMP_PARALLEL_WORKSHARE
: name
= "PARALLEL WORKSHARE"; break;
1386 case EXEC_OMP_SECTIONS
: name
= "SECTIONS"; break;
1387 case EXEC_OMP_SIMD
: name
= "SIMD"; break;
1388 case EXEC_OMP_SINGLE
: name
= "SINGLE"; break;
1389 case EXEC_OMP_TASK
: name
= "TASK"; break;
1390 case EXEC_OMP_TASKGROUP
: name
= "TASKGROUP"; break;
1391 case EXEC_OMP_TASKWAIT
: name
= "TASKWAIT"; break;
1392 case EXEC_OMP_TASKYIELD
: name
= "TASKYIELD"; break;
1393 case EXEC_OMP_WORKSHARE
: name
= "WORKSHARE"; break;
1397 fprintf (dumpfile
, "!$%s %s", is_oacc
? "ACC" : "OMP", name
);
1400 case EXEC_OACC_PARALLEL_LOOP
:
1401 case EXEC_OACC_PARALLEL
:
1402 case EXEC_OACC_KERNELS_LOOP
:
1403 case EXEC_OACC_KERNELS
:
1404 case EXEC_OACC_DATA
:
1405 case EXEC_OACC_HOST_DATA
:
1406 case EXEC_OACC_LOOP
:
1407 case EXEC_OACC_UPDATE
:
1408 case EXEC_OACC_WAIT
:
1409 case EXEC_OACC_CACHE
:
1410 case EXEC_OACC_ENTER_DATA
:
1411 case EXEC_OACC_EXIT_DATA
:
1412 case EXEC_OMP_CANCEL
:
1413 case EXEC_OMP_CANCELLATION_POINT
:
1415 case EXEC_OMP_DO_SIMD
:
1416 case EXEC_OMP_PARALLEL
:
1417 case EXEC_OMP_PARALLEL_DO
:
1418 case EXEC_OMP_PARALLEL_DO_SIMD
:
1419 case EXEC_OMP_PARALLEL_SECTIONS
:
1420 case EXEC_OMP_SECTIONS
:
1422 case EXEC_OMP_SINGLE
:
1423 case EXEC_OMP_WORKSHARE
:
1424 case EXEC_OMP_PARALLEL_WORKSHARE
:
1426 omp_clauses
= c
->ext
.omp_clauses
;
1428 case EXEC_OMP_CRITICAL
:
1429 if (c
->ext
.omp_name
)
1430 fprintf (dumpfile
, " (%s)", c
->ext
.omp_name
);
1432 case EXEC_OMP_FLUSH
:
1433 if (c
->ext
.omp_namelist
)
1435 fputs (" (", dumpfile
);
1436 show_omp_namelist (OMP_LIST_NUM
, c
->ext
.omp_namelist
);
1437 fputc (')', dumpfile
);
1440 case EXEC_OMP_BARRIER
:
1441 case EXEC_OMP_TASKWAIT
:
1442 case EXEC_OMP_TASKYIELD
:
1448 show_omp_clauses (omp_clauses
);
1449 fputc ('\n', dumpfile
);
1451 /* OpenACC executable directives don't have associated blocks. */
1452 if (c
->op
== EXEC_OACC_CACHE
|| c
->op
== EXEC_OACC_UPDATE
1453 || c
->op
== EXEC_OACC_ENTER_DATA
|| c
->op
== EXEC_OACC_EXIT_DATA
)
1455 if (c
->op
== EXEC_OMP_SECTIONS
|| c
->op
== EXEC_OMP_PARALLEL_SECTIONS
)
1457 gfc_code
*d
= c
->block
;
1460 show_code (level
+ 1, d
->next
);
1461 if (d
->block
== NULL
)
1463 code_indent (level
, 0);
1464 fputs ("!$OMP SECTION\n", dumpfile
);
1469 show_code (level
+ 1, c
->block
->next
);
1470 if (c
->op
== EXEC_OMP_ATOMIC
)
1472 fputc ('\n', dumpfile
);
1473 code_indent (level
, 0);
1474 fprintf (dumpfile
, "!$%s END %s", is_oacc
? "ACC" : "OMP", name
);
1475 if (omp_clauses
!= NULL
)
1477 if (omp_clauses
->lists
[OMP_LIST_COPYPRIVATE
])
1479 fputs (" COPYPRIVATE(", dumpfile
);
1480 show_omp_namelist (OMP_LIST_COPYPRIVATE
,
1481 omp_clauses
->lists
[OMP_LIST_COPYPRIVATE
]);
1482 fputc (')', dumpfile
);
1484 else if (omp_clauses
->nowait
)
1485 fputs (" NOWAIT", dumpfile
);
1487 else if (c
->op
== EXEC_OMP_CRITICAL
&& c
->ext
.omp_name
)
1488 fprintf (dumpfile
, " (%s)", c
->ext
.omp_name
);
1492 /* Show a single code node and everything underneath it if necessary. */
1495 show_code_node (int level
, gfc_code
*c
)
1497 gfc_forall_iterator
*fa
;
1510 fputc ('\n', dumpfile
);
1511 code_indent (level
, c
->here
);
1518 case EXEC_END_PROCEDURE
:
1522 fputs ("NOP", dumpfile
);
1526 fputs ("CONTINUE", dumpfile
);
1530 fprintf (dumpfile
, "ENTRY %s", c
->ext
.entry
->sym
->name
);
1533 case EXEC_INIT_ASSIGN
:
1535 fputs ("ASSIGN ", dumpfile
);
1536 show_expr (c
->expr1
);
1537 fputc (' ', dumpfile
);
1538 show_expr (c
->expr2
);
1541 case EXEC_LABEL_ASSIGN
:
1542 fputs ("LABEL ASSIGN ", dumpfile
);
1543 show_expr (c
->expr1
);
1544 fprintf (dumpfile
, " %d", c
->label1
->value
);
1547 case EXEC_POINTER_ASSIGN
:
1548 fputs ("POINTER ASSIGN ", dumpfile
);
1549 show_expr (c
->expr1
);
1550 fputc (' ', dumpfile
);
1551 show_expr (c
->expr2
);
1555 fputs ("GOTO ", dumpfile
);
1557 fprintf (dumpfile
, "%d", c
->label1
->value
);
1560 show_expr (c
->expr1
);
1564 fputs (", (", dumpfile
);
1565 for (; d
; d
= d
->block
)
1567 code_indent (level
, d
->label1
);
1568 if (d
->block
!= NULL
)
1569 fputc (',', dumpfile
);
1571 fputc (')', dumpfile
);
1578 case EXEC_ASSIGN_CALL
:
1579 if (c
->resolved_sym
)
1580 fprintf (dumpfile
, "CALL %s ", c
->resolved_sym
->name
);
1581 else if (c
->symtree
)
1582 fprintf (dumpfile
, "CALL %s ", c
->symtree
->name
);
1584 fputs ("CALL ?? ", dumpfile
);
1586 show_actual_arglist (c
->ext
.actual
);
1590 fputs ("CALL ", dumpfile
);
1591 show_compcall (c
->expr1
);
1595 fputs ("CALL ", dumpfile
);
1596 show_expr (c
->expr1
);
1597 show_actual_arglist (c
->ext
.actual
);
1601 fputs ("RETURN ", dumpfile
);
1603 show_expr (c
->expr1
);
1607 fputs ("PAUSE ", dumpfile
);
1609 if (c
->expr1
!= NULL
)
1610 show_expr (c
->expr1
);
1612 fprintf (dumpfile
, "%d", c
->ext
.stop_code
);
1616 case EXEC_ERROR_STOP
:
1617 fputs ("ERROR ", dumpfile
);
1621 fputs ("STOP ", dumpfile
);
1623 if (c
->expr1
!= NULL
)
1624 show_expr (c
->expr1
);
1626 fprintf (dumpfile
, "%d", c
->ext
.stop_code
);
1631 fputs ("SYNC ALL ", dumpfile
);
1632 if (c
->expr2
!= NULL
)
1634 fputs (" stat=", dumpfile
);
1635 show_expr (c
->expr2
);
1637 if (c
->expr3
!= NULL
)
1639 fputs (" errmsg=", dumpfile
);
1640 show_expr (c
->expr3
);
1644 case EXEC_SYNC_MEMORY
:
1645 fputs ("SYNC MEMORY ", dumpfile
);
1646 if (c
->expr2
!= NULL
)
1648 fputs (" stat=", dumpfile
);
1649 show_expr (c
->expr2
);
1651 if (c
->expr3
!= NULL
)
1653 fputs (" errmsg=", dumpfile
);
1654 show_expr (c
->expr3
);
1658 case EXEC_SYNC_IMAGES
:
1659 fputs ("SYNC IMAGES image-set=", dumpfile
);
1660 if (c
->expr1
!= NULL
)
1661 show_expr (c
->expr1
);
1663 fputs ("* ", dumpfile
);
1664 if (c
->expr2
!= NULL
)
1666 fputs (" stat=", dumpfile
);
1667 show_expr (c
->expr2
);
1669 if (c
->expr3
!= NULL
)
1671 fputs (" errmsg=", dumpfile
);
1672 show_expr (c
->expr3
);
1676 case EXEC_EVENT_POST
:
1677 case EXEC_EVENT_WAIT
:
1678 if (c
->op
== EXEC_EVENT_POST
)
1679 fputs ("EVENT POST ", dumpfile
);
1681 fputs ("EVENT WAIT ", dumpfile
);
1683 fputs ("event-variable=", dumpfile
);
1684 if (c
->expr1
!= NULL
)
1685 show_expr (c
->expr1
);
1686 if (c
->expr4
!= NULL
)
1688 fputs (" until_count=", dumpfile
);
1689 show_expr (c
->expr4
);
1691 if (c
->expr2
!= NULL
)
1693 fputs (" stat=", dumpfile
);
1694 show_expr (c
->expr2
);
1696 if (c
->expr3
!= NULL
)
1698 fputs (" errmsg=", dumpfile
);
1699 show_expr (c
->expr3
);
1705 if (c
->op
== EXEC_LOCK
)
1706 fputs ("LOCK ", dumpfile
);
1708 fputs ("UNLOCK ", dumpfile
);
1710 fputs ("lock-variable=", dumpfile
);
1711 if (c
->expr1
!= NULL
)
1712 show_expr (c
->expr1
);
1713 if (c
->expr4
!= NULL
)
1715 fputs (" acquired_lock=", dumpfile
);
1716 show_expr (c
->expr4
);
1718 if (c
->expr2
!= NULL
)
1720 fputs (" stat=", dumpfile
);
1721 show_expr (c
->expr2
);
1723 if (c
->expr3
!= NULL
)
1725 fputs (" errmsg=", dumpfile
);
1726 show_expr (c
->expr3
);
1730 case EXEC_ARITHMETIC_IF
:
1731 fputs ("IF ", dumpfile
);
1732 show_expr (c
->expr1
);
1733 fprintf (dumpfile
, " %d, %d, %d",
1734 c
->label1
->value
, c
->label2
->value
, c
->label3
->value
);
1739 fputs ("IF ", dumpfile
);
1740 show_expr (d
->expr1
);
1743 show_code (level
+ 1, d
->next
);
1747 for (; d
; d
= d
->block
)
1749 code_indent (level
, 0);
1751 if (d
->expr1
== NULL
)
1752 fputs ("ELSE", dumpfile
);
1755 fputs ("ELSE IF ", dumpfile
);
1756 show_expr (d
->expr1
);
1760 show_code (level
+ 1, d
->next
);
1765 code_indent (level
, c
->label1
);
1769 fputs ("ENDIF", dumpfile
);
1774 const char* blocktype
;
1775 gfc_namespace
*saved_ns
;
1776 gfc_association_list
*alist
;
1778 if (c
->ext
.block
.assoc
)
1779 blocktype
= "ASSOCIATE";
1781 blocktype
= "BLOCK";
1783 fprintf (dumpfile
, "%s ", blocktype
);
1784 for (alist
= c
->ext
.block
.assoc
; alist
; alist
= alist
->next
)
1786 fprintf (dumpfile
, " %s = ", alist
->name
);
1787 show_expr (alist
->target
);
1791 ns
= c
->ext
.block
.ns
;
1792 saved_ns
= gfc_current_ns
;
1793 gfc_current_ns
= ns
;
1794 gfc_traverse_symtree (ns
->sym_root
, show_symtree
);
1795 gfc_current_ns
= saved_ns
;
1796 show_code (show_level
, ns
->code
);
1799 fprintf (dumpfile
, "END %s ", blocktype
);
1803 case EXEC_END_BLOCK
:
1804 /* Only come here when there is a label on an
1805 END ASSOCIATE construct. */
1810 fputs ("SELECT CASE ", dumpfile
);
1811 show_expr (c
->expr1
);
1812 fputc ('\n', dumpfile
);
1814 for (; d
; d
= d
->block
)
1816 code_indent (level
, 0);
1818 fputs ("CASE ", dumpfile
);
1819 for (cp
= d
->ext
.block
.case_list
; cp
; cp
= cp
->next
)
1821 fputc ('(', dumpfile
);
1822 show_expr (cp
->low
);
1823 fputc (' ', dumpfile
);
1824 show_expr (cp
->high
);
1825 fputc (')', dumpfile
);
1826 fputc (' ', dumpfile
);
1828 fputc ('\n', dumpfile
);
1830 show_code (level
+ 1, d
->next
);
1833 code_indent (level
, c
->label1
);
1834 fputs ("END SELECT", dumpfile
);
1838 fputs ("WHERE ", dumpfile
);
1841 show_expr (d
->expr1
);
1842 fputc ('\n', dumpfile
);
1844 show_code (level
+ 1, d
->next
);
1846 for (d
= d
->block
; d
; d
= d
->block
)
1848 code_indent (level
, 0);
1849 fputs ("ELSE WHERE ", dumpfile
);
1850 show_expr (d
->expr1
);
1851 fputc ('\n', dumpfile
);
1852 show_code (level
+ 1, d
->next
);
1855 code_indent (level
, 0);
1856 fputs ("END WHERE", dumpfile
);
1861 fputs ("FORALL ", dumpfile
);
1862 for (fa
= c
->ext
.forall_iterator
; fa
; fa
= fa
->next
)
1864 show_expr (fa
->var
);
1865 fputc (' ', dumpfile
);
1866 show_expr (fa
->start
);
1867 fputc (':', dumpfile
);
1868 show_expr (fa
->end
);
1869 fputc (':', dumpfile
);
1870 show_expr (fa
->stride
);
1872 if (fa
->next
!= NULL
)
1873 fputc (',', dumpfile
);
1876 if (c
->expr1
!= NULL
)
1878 fputc (',', dumpfile
);
1879 show_expr (c
->expr1
);
1881 fputc ('\n', dumpfile
);
1883 show_code (level
+ 1, c
->block
->next
);
1885 code_indent (level
, 0);
1886 fputs ("END FORALL", dumpfile
);
1890 fputs ("CRITICAL\n", dumpfile
);
1891 show_code (level
+ 1, c
->block
->next
);
1892 code_indent (level
, 0);
1893 fputs ("END CRITICAL", dumpfile
);
1897 fputs ("DO ", dumpfile
);
1899 fprintf (dumpfile
, " %-5d ", c
->label1
->value
);
1901 show_expr (c
->ext
.iterator
->var
);
1902 fputc ('=', dumpfile
);
1903 show_expr (c
->ext
.iterator
->start
);
1904 fputc (' ', dumpfile
);
1905 show_expr (c
->ext
.iterator
->end
);
1906 fputc (' ', dumpfile
);
1907 show_expr (c
->ext
.iterator
->step
);
1910 show_code (level
+ 1, c
->block
->next
);
1917 fputs ("END DO", dumpfile
);
1920 case EXEC_DO_CONCURRENT
:
1921 fputs ("DO CONCURRENT ", dumpfile
);
1922 for (fa
= c
->ext
.forall_iterator
; fa
; fa
= fa
->next
)
1924 show_expr (fa
->var
);
1925 fputc (' ', dumpfile
);
1926 show_expr (fa
->start
);
1927 fputc (':', dumpfile
);
1928 show_expr (fa
->end
);
1929 fputc (':', dumpfile
);
1930 show_expr (fa
->stride
);
1932 if (fa
->next
!= NULL
)
1933 fputc (',', dumpfile
);
1935 show_expr (c
->expr1
);
1937 show_code (level
+ 1, c
->block
->next
);
1938 code_indent (level
, c
->label1
);
1939 fputs ("END DO", dumpfile
);
1943 fputs ("DO WHILE ", dumpfile
);
1944 show_expr (c
->expr1
);
1945 fputc ('\n', dumpfile
);
1947 show_code (level
+ 1, c
->block
->next
);
1949 code_indent (level
, c
->label1
);
1950 fputs ("END DO", dumpfile
);
1954 fputs ("CYCLE", dumpfile
);
1956 fprintf (dumpfile
, " %s", c
->symtree
->n
.sym
->name
);
1960 fputs ("EXIT", dumpfile
);
1962 fprintf (dumpfile
, " %s", c
->symtree
->n
.sym
->name
);
1966 fputs ("ALLOCATE ", dumpfile
);
1969 fputs (" STAT=", dumpfile
);
1970 show_expr (c
->expr1
);
1975 fputs (" ERRMSG=", dumpfile
);
1976 show_expr (c
->expr2
);
1982 fputs (" MOLD=", dumpfile
);
1984 fputs (" SOURCE=", dumpfile
);
1985 show_expr (c
->expr3
);
1988 for (a
= c
->ext
.alloc
.list
; a
; a
= a
->next
)
1990 fputc (' ', dumpfile
);
1991 show_expr (a
->expr
);
1996 case EXEC_DEALLOCATE
:
1997 fputs ("DEALLOCATE ", dumpfile
);
2000 fputs (" STAT=", dumpfile
);
2001 show_expr (c
->expr1
);
2006 fputs (" ERRMSG=", dumpfile
);
2007 show_expr (c
->expr2
);
2010 for (a
= c
->ext
.alloc
.list
; a
; a
= a
->next
)
2012 fputc (' ', dumpfile
);
2013 show_expr (a
->expr
);
2019 fputs ("OPEN", dumpfile
);
2024 fputs (" UNIT=", dumpfile
);
2025 show_expr (open
->unit
);
2029 fputs (" IOMSG=", dumpfile
);
2030 show_expr (open
->iomsg
);
2034 fputs (" IOSTAT=", dumpfile
);
2035 show_expr (open
->iostat
);
2039 fputs (" FILE=", dumpfile
);
2040 show_expr (open
->file
);
2044 fputs (" STATUS=", dumpfile
);
2045 show_expr (open
->status
);
2049 fputs (" ACCESS=", dumpfile
);
2050 show_expr (open
->access
);
2054 fputs (" FORM=", dumpfile
);
2055 show_expr (open
->form
);
2059 fputs (" RECL=", dumpfile
);
2060 show_expr (open
->recl
);
2064 fputs (" BLANK=", dumpfile
);
2065 show_expr (open
->blank
);
2069 fputs (" POSITION=", dumpfile
);
2070 show_expr (open
->position
);
2074 fputs (" ACTION=", dumpfile
);
2075 show_expr (open
->action
);
2079 fputs (" DELIM=", dumpfile
);
2080 show_expr (open
->delim
);
2084 fputs (" PAD=", dumpfile
);
2085 show_expr (open
->pad
);
2089 fputs (" DECIMAL=", dumpfile
);
2090 show_expr (open
->decimal
);
2094 fputs (" ENCODING=", dumpfile
);
2095 show_expr (open
->encoding
);
2099 fputs (" ROUND=", dumpfile
);
2100 show_expr (open
->round
);
2104 fputs (" SIGN=", dumpfile
);
2105 show_expr (open
->sign
);
2109 fputs (" CONVERT=", dumpfile
);
2110 show_expr (open
->convert
);
2112 if (open
->asynchronous
)
2114 fputs (" ASYNCHRONOUS=", dumpfile
);
2115 show_expr (open
->asynchronous
);
2117 if (open
->err
!= NULL
)
2118 fprintf (dumpfile
, " ERR=%d", open
->err
->value
);
2123 fputs ("CLOSE", dumpfile
);
2124 close
= c
->ext
.close
;
2128 fputs (" UNIT=", dumpfile
);
2129 show_expr (close
->unit
);
2133 fputs (" IOMSG=", dumpfile
);
2134 show_expr (close
->iomsg
);
2138 fputs (" IOSTAT=", dumpfile
);
2139 show_expr (close
->iostat
);
2143 fputs (" STATUS=", dumpfile
);
2144 show_expr (close
->status
);
2146 if (close
->err
!= NULL
)
2147 fprintf (dumpfile
, " ERR=%d", close
->err
->value
);
2150 case EXEC_BACKSPACE
:
2151 fputs ("BACKSPACE", dumpfile
);
2155 fputs ("ENDFILE", dumpfile
);
2159 fputs ("REWIND", dumpfile
);
2163 fputs ("FLUSH", dumpfile
);
2166 fp
= c
->ext
.filepos
;
2170 fputs (" UNIT=", dumpfile
);
2171 show_expr (fp
->unit
);
2175 fputs (" IOMSG=", dumpfile
);
2176 show_expr (fp
->iomsg
);
2180 fputs (" IOSTAT=", dumpfile
);
2181 show_expr (fp
->iostat
);
2183 if (fp
->err
!= NULL
)
2184 fprintf (dumpfile
, " ERR=%d", fp
->err
->value
);
2188 fputs ("INQUIRE", dumpfile
);
2193 fputs (" UNIT=", dumpfile
);
2194 show_expr (i
->unit
);
2198 fputs (" FILE=", dumpfile
);
2199 show_expr (i
->file
);
2204 fputs (" IOMSG=", dumpfile
);
2205 show_expr (i
->iomsg
);
2209 fputs (" IOSTAT=", dumpfile
);
2210 show_expr (i
->iostat
);
2214 fputs (" EXIST=", dumpfile
);
2215 show_expr (i
->exist
);
2219 fputs (" OPENED=", dumpfile
);
2220 show_expr (i
->opened
);
2224 fputs (" NUMBER=", dumpfile
);
2225 show_expr (i
->number
);
2229 fputs (" NAMED=", dumpfile
);
2230 show_expr (i
->named
);
2234 fputs (" NAME=", dumpfile
);
2235 show_expr (i
->name
);
2239 fputs (" ACCESS=", dumpfile
);
2240 show_expr (i
->access
);
2244 fputs (" SEQUENTIAL=", dumpfile
);
2245 show_expr (i
->sequential
);
2250 fputs (" DIRECT=", dumpfile
);
2251 show_expr (i
->direct
);
2255 fputs (" FORM=", dumpfile
);
2256 show_expr (i
->form
);
2260 fputs (" FORMATTED", dumpfile
);
2261 show_expr (i
->formatted
);
2265 fputs (" UNFORMATTED=", dumpfile
);
2266 show_expr (i
->unformatted
);
2270 fputs (" RECL=", dumpfile
);
2271 show_expr (i
->recl
);
2275 fputs (" NEXTREC=", dumpfile
);
2276 show_expr (i
->nextrec
);
2280 fputs (" BLANK=", dumpfile
);
2281 show_expr (i
->blank
);
2285 fputs (" POSITION=", dumpfile
);
2286 show_expr (i
->position
);
2290 fputs (" ACTION=", dumpfile
);
2291 show_expr (i
->action
);
2295 fputs (" READ=", dumpfile
);
2296 show_expr (i
->read
);
2300 fputs (" WRITE=", dumpfile
);
2301 show_expr (i
->write
);
2305 fputs (" READWRITE=", dumpfile
);
2306 show_expr (i
->readwrite
);
2310 fputs (" DELIM=", dumpfile
);
2311 show_expr (i
->delim
);
2315 fputs (" PAD=", dumpfile
);
2320 fputs (" CONVERT=", dumpfile
);
2321 show_expr (i
->convert
);
2323 if (i
->asynchronous
)
2325 fputs (" ASYNCHRONOUS=", dumpfile
);
2326 show_expr (i
->asynchronous
);
2330 fputs (" DECIMAL=", dumpfile
);
2331 show_expr (i
->decimal
);
2335 fputs (" ENCODING=", dumpfile
);
2336 show_expr (i
->encoding
);
2340 fputs (" PENDING=", dumpfile
);
2341 show_expr (i
->pending
);
2345 fputs (" ROUND=", dumpfile
);
2346 show_expr (i
->round
);
2350 fputs (" SIGN=", dumpfile
);
2351 show_expr (i
->sign
);
2355 fputs (" SIZE=", dumpfile
);
2356 show_expr (i
->size
);
2360 fputs (" ID=", dumpfile
);
2365 fprintf (dumpfile
, " ERR=%d", i
->err
->value
);
2369 fputs ("IOLENGTH ", dumpfile
);
2370 show_expr (c
->expr1
);
2375 fputs ("READ", dumpfile
);
2379 fputs ("WRITE", dumpfile
);
2385 fputs (" UNIT=", dumpfile
);
2386 show_expr (dt
->io_unit
);
2389 if (dt
->format_expr
)
2391 fputs (" FMT=", dumpfile
);
2392 show_expr (dt
->format_expr
);
2395 if (dt
->format_label
!= NULL
)
2396 fprintf (dumpfile
, " FMT=%d", dt
->format_label
->value
);
2398 fprintf (dumpfile
, " NML=%s", dt
->namelist
->name
);
2402 fputs (" IOMSG=", dumpfile
);
2403 show_expr (dt
->iomsg
);
2407 fputs (" IOSTAT=", dumpfile
);
2408 show_expr (dt
->iostat
);
2412 fputs (" SIZE=", dumpfile
);
2413 show_expr (dt
->size
);
2417 fputs (" REC=", dumpfile
);
2418 show_expr (dt
->rec
);
2422 fputs (" ADVANCE=", dumpfile
);
2423 show_expr (dt
->advance
);
2427 fputs (" ID=", dumpfile
);
2432 fputs (" POS=", dumpfile
);
2433 show_expr (dt
->pos
);
2435 if (dt
->asynchronous
)
2437 fputs (" ASYNCHRONOUS=", dumpfile
);
2438 show_expr (dt
->asynchronous
);
2442 fputs (" BLANK=", dumpfile
);
2443 show_expr (dt
->blank
);
2447 fputs (" DECIMAL=", dumpfile
);
2448 show_expr (dt
->decimal
);
2452 fputs (" DELIM=", dumpfile
);
2453 show_expr (dt
->delim
);
2457 fputs (" PAD=", dumpfile
);
2458 show_expr (dt
->pad
);
2462 fputs (" ROUND=", dumpfile
);
2463 show_expr (dt
->round
);
2467 fputs (" SIGN=", dumpfile
);
2468 show_expr (dt
->sign
);
2472 for (c
= c
->block
->next
; c
; c
= c
->next
)
2473 show_code_node (level
+ (c
->next
!= NULL
), c
);
2477 fputs ("TRANSFER ", dumpfile
);
2478 show_expr (c
->expr1
);
2482 fputs ("DT_END", dumpfile
);
2485 if (dt
->err
!= NULL
)
2486 fprintf (dumpfile
, " ERR=%d", dt
->err
->value
);
2487 if (dt
->end
!= NULL
)
2488 fprintf (dumpfile
, " END=%d", dt
->end
->value
);
2489 if (dt
->eor
!= NULL
)
2490 fprintf (dumpfile
, " EOR=%d", dt
->eor
->value
);
2493 case EXEC_OACC_PARALLEL_LOOP
:
2494 case EXEC_OACC_PARALLEL
:
2495 case EXEC_OACC_KERNELS_LOOP
:
2496 case EXEC_OACC_KERNELS
:
2497 case EXEC_OACC_DATA
:
2498 case EXEC_OACC_HOST_DATA
:
2499 case EXEC_OACC_LOOP
:
2500 case EXEC_OACC_UPDATE
:
2501 case EXEC_OACC_WAIT
:
2502 case EXEC_OACC_CACHE
:
2503 case EXEC_OACC_ENTER_DATA
:
2504 case EXEC_OACC_EXIT_DATA
:
2505 case EXEC_OMP_ATOMIC
:
2506 case EXEC_OMP_CANCEL
:
2507 case EXEC_OMP_CANCELLATION_POINT
:
2508 case EXEC_OMP_BARRIER
:
2509 case EXEC_OMP_CRITICAL
:
2510 case EXEC_OMP_FLUSH
:
2512 case EXEC_OMP_DO_SIMD
:
2513 case EXEC_OMP_MASTER
:
2514 case EXEC_OMP_ORDERED
:
2515 case EXEC_OMP_PARALLEL
:
2516 case EXEC_OMP_PARALLEL_DO
:
2517 case EXEC_OMP_PARALLEL_DO_SIMD
:
2518 case EXEC_OMP_PARALLEL_SECTIONS
:
2519 case EXEC_OMP_PARALLEL_WORKSHARE
:
2520 case EXEC_OMP_SECTIONS
:
2522 case EXEC_OMP_SINGLE
:
2524 case EXEC_OMP_TASKGROUP
:
2525 case EXEC_OMP_TASKWAIT
:
2526 case EXEC_OMP_TASKYIELD
:
2527 case EXEC_OMP_WORKSHARE
:
2528 show_omp_node (level
, c
);
2532 gfc_internal_error ("show_code_node(): Bad statement code");
2537 /* Show an equivalence chain. */
2540 show_equiv (gfc_equiv
*eq
)
2543 fputs ("Equivalence: ", dumpfile
);
2546 show_expr (eq
->expr
);
2549 fputs (", ", dumpfile
);
2554 /* Show a freakin' whole namespace. */
2557 show_namespace (gfc_namespace
*ns
)
2559 gfc_interface
*intr
;
2560 gfc_namespace
*save
;
2566 save
= gfc_current_ns
;
2569 fputs ("Namespace:", dumpfile
);
2575 while (i
< GFC_LETTERS
- 1
2576 && gfc_compare_types (&ns
->default_type
[i
+1],
2577 &ns
->default_type
[l
]))
2581 fprintf (dumpfile
, " %c-%c: ", l
+'A', i
+'A');
2583 fprintf (dumpfile
, " %c: ", l
+'A');
2585 show_typespec(&ns
->default_type
[l
]);
2587 } while (i
< GFC_LETTERS
);
2589 if (ns
->proc_name
!= NULL
)
2592 fprintf (dumpfile
, "procedure name = %s", ns
->proc_name
->name
);
2596 gfc_current_ns
= ns
;
2597 gfc_traverse_symtree (ns
->common_root
, show_common
);
2599 gfc_traverse_symtree (ns
->sym_root
, show_symtree
);
2601 for (op
= GFC_INTRINSIC_BEGIN
; op
!= GFC_INTRINSIC_END
; op
++)
2603 /* User operator interfaces */
2609 fprintf (dumpfile
, "Operator interfaces for %s:",
2610 gfc_op2string ((gfc_intrinsic_op
) op
));
2612 for (; intr
; intr
= intr
->next
)
2613 fprintf (dumpfile
, " %s", intr
->sym
->name
);
2616 if (ns
->uop_root
!= NULL
)
2619 fputs ("User operators:\n", dumpfile
);
2620 gfc_traverse_user_op (ns
, show_uop
);
2623 for (eq
= ns
->equiv
; eq
; eq
= eq
->next
)
2626 if (ns
->oacc_declare
)
2628 struct gfc_oacc_declare
*decl
;
2629 /* Dump !$ACC DECLARE clauses. */
2630 for (decl
= ns
->oacc_declare
; decl
; decl
= decl
->next
)
2633 fprintf (dumpfile
, "!$ACC DECLARE");
2634 show_omp_clauses (decl
->clauses
);
2638 fputc ('\n', dumpfile
);
2640 fputs ("code:", dumpfile
);
2641 show_code (show_level
, ns
->code
);
2644 for (ns
= ns
->contained
; ns
; ns
= ns
->sibling
)
2646 fputs ("\nCONTAINS\n", dumpfile
);
2648 show_namespace (ns
);
2652 fputc ('\n', dumpfile
);
2653 gfc_current_ns
= save
;
2657 /* Main function for dumping a parse tree. */
2660 gfc_dump_parse_tree (gfc_namespace
*ns
, FILE *file
)
2663 show_namespace (ns
);