gcc/fortran/st.c

   1 /* Build executable statement trees.
   2    Copyright (C) 2000, 2001, 2002, 2004, 2005, 2006, 2007, 2008, 2009
   3    Free Software Foundation, Inc.
   4    Contributed by Andy Vaught
   5
   6 This file is part of GCC.
   7
   8 GCC is free software; you can redistribute it and/or modify it under
   9 the terms of the GNU General Public License as published by the Free
  10 Software Foundation; either version 3, or (at your option) any later
  11 version.
  12
  13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  16 for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with GCC; see the file COPYING3.  If not see
  20 <http://www.gnu.org/licenses/>.  */
  21
  22 /* Executable statements are strung together into a singly linked list
  23    of code structures.  These structures are later translated into GCC
  24    GENERIC tree structures and from there to executable code for a
  25    target.  */
  26
  27 #include "config.h"
  28 #include "system.h"
  29 #include "gfortran.h"
  30
  31 gfc_code new_st;
  32
  33
  34 /* Zeroes out the new_st structure.  */
  35
  36 void
  37 gfc_clear_new_st (void)
  38 {
  39   memset (&new_st, '\0', sizeof (new_st));
  40   new_st.op = EXEC_NOP;
  41 }
  42
  43
  44 /* Get a gfc_code structure.  */
  45
  46 gfc_code *
  47 gfc_get_code (void)
  48 {
  49   gfc_code *c;
  50
  51   c = XCNEW (gfc_code);
  52   c->loc = gfc_current_locus;
  53   return c;
  54 }
  55
  56
  57 /* Given some part of a gfc_code structure, append a set of code to
  58    its tail, returning a pointer to the new tail.  */
  59
  60 gfc_code *
  61 gfc_append_code (gfc_code *tail, gfc_code *new_code)
  62 {
  63   if (tail != NULL)
  64     {
  65       while (tail->next != NULL)
  66         tail = tail->next;
  67
  68       tail->next = new_code;
  69     }
  70
  71   while (new_code->next != NULL)
  72     new_code = new_code->next;
  73
  74   return new_code;
  75 }
  76
  77
  78 /* Free a single code structure, but not the actual structure itself.  */
  79
  80 void
  81 gfc_free_statement (gfc_code *p)
  82 {
  83   if (p->expr)
  84     gfc_free_expr (p->expr);
  85   if (p->expr2)
  86     gfc_free_expr (p->expr2);
  87
  88   switch (p->op)
  89     {
  90     case EXEC_NOP:
  91     case EXEC_END_BLOCK:
  92     case EXEC_ASSIGN:
  93     case EXEC_INIT_ASSIGN:
  94     case EXEC_GOTO:
  95     case EXEC_CYCLE:
  96     case EXEC_RETURN:
  97     case EXEC_IF:
  98     case EXEC_PAUSE:
  99     case EXEC_STOP:
 100     case EXEC_EXIT:
 101     case EXEC_WHERE:
 102     case EXEC_IOLENGTH:
 103     case EXEC_POINTER_ASSIGN:
 104     case EXEC_DO_WHILE:
 105     case EXEC_CONTINUE:
 106     case EXEC_TRANSFER:
 107     case EXEC_LABEL_ASSIGN:
 108     case EXEC_ENTRY:
 109     case EXEC_ARITHMETIC_IF:
 110       break;
 111
 112     case EXEC_COMPCALL:
 113     case EXEC_CALL:
 114     case EXEC_ASSIGN_CALL:
 115       gfc_free_actual_arglist (p->ext.actual);
 116       break;
 117
 118     case EXEC_SELECT:
 119       if (p->ext.case_list)
 120         gfc_free_case_list (p->ext.case_list);
 121       break;
 122
 123     case EXEC_DO:
 124       gfc_free_iterator (p->ext.iterator, 1);
 125       break;
 126
 127     case EXEC_ALLOCATE:
 128     case EXEC_DEALLOCATE:
 129       gfc_free_alloc_list (p->ext.alloc_list);
 130       break;
 131
 132     case EXEC_OPEN:
 133       gfc_free_open (p->ext.open);
 134       break;
 135
 136     case EXEC_CLOSE:
 137       gfc_free_close (p->ext.close);
 138       break;
 139
 140     case EXEC_BACKSPACE:
 141     case EXEC_ENDFILE:
 142     case EXEC_REWIND:
 143     case EXEC_FLUSH:
 144       gfc_free_filepos (p->ext.filepos);
 145       break;
 146
 147     case EXEC_INQUIRE:
 148       gfc_free_inquire (p->ext.inquire);
 149       break;
 150
 151     case EXEC_WAIT:
 152       gfc_free_wait (p->ext.wait);
 153       break;
 154
 155     case EXEC_READ:
 156     case EXEC_WRITE:
 157       gfc_free_dt (p->ext.dt);
 158       break;
 159
 160     case EXEC_DT_END:
 161       /* The ext.dt member is a duplicate pointer and doesn't need to
 162          be freed.  */
 163       break;
 164
 165     case EXEC_FORALL:
 166       gfc_free_forall_iterator (p->ext.forall_iterator);
 167       break;
 168
 169     case EXEC_OMP_DO:
 170     case EXEC_OMP_END_SINGLE:
 171     case EXEC_OMP_PARALLEL:
 172     case EXEC_OMP_PARALLEL_DO:
 173     case EXEC_OMP_PARALLEL_SECTIONS:
 174     case EXEC_OMP_SECTIONS:
 175     case EXEC_OMP_SINGLE:
 176     case EXEC_OMP_TASK:
 177     case EXEC_OMP_WORKSHARE:
 178     case EXEC_OMP_PARALLEL_WORKSHARE:
 179       gfc_free_omp_clauses (p->ext.omp_clauses);
 180       break;
 181
 182     case EXEC_OMP_CRITICAL:
 183       gfc_free (CONST_CAST (char *, p->ext.omp_name));
 184       break;
 185
 186     case EXEC_OMP_FLUSH:
 187       gfc_free_namelist (p->ext.omp_namelist);
 188       break;
 189
 190     case EXEC_OMP_ATOMIC:
 191     case EXEC_OMP_BARRIER:
 192     case EXEC_OMP_MASTER:
 193     case EXEC_OMP_ORDERED:
 194     case EXEC_OMP_END_NOWAIT:
 195     case EXEC_OMP_TASKWAIT:
 196       break;
 197
 198     default:
 199       gfc_internal_error ("gfc_free_statement(): Bad statement");
 200     }
 201 }
 202
 203
 204 /* Free a code statement and all other code structures linked to it.  */
 205
 206 void
 207 gfc_free_statements (gfc_code *p)
 208 {
 209   gfc_code *q;
 210
 211   for (; p; p = q)
 212     {
 213       q = p->next;
 214
 215       if (p->block)
 216         gfc_free_statements (p->block);
 217       gfc_free_statement (p);
 218       gfc_free (p);
 219     }
 220 }
 221