LCOV - code coverage report
Current view: top level - gcc - tree-iterator.c (source / functions) Hit Total Coverage
Test: gcc.info Lines: 139 155 89.7 %
Date: 2020-03-28 11:57:23 Functions: 10 10 100.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : /* Iterator routines for manipulating GENERIC and GIMPLE tree statements.
       2                 :            :    Copyright (C) 2003-2020 Free Software Foundation, Inc.
       3                 :            :    Contributed by Andrew MacLeod  <amacleod@redhat.com>
       4                 :            : 
       5                 :            : This file is part of GCC.
       6                 :            : 
       7                 :            : GCC is free software; you can redistribute it and/or modify
       8                 :            : it under the terms of the GNU General Public License as published by
       9                 :            : the Free Software Foundation; either version 3, or (at your option)
      10                 :            : any later version.
      11                 :            : 
      12                 :            : GCC is distributed in the hope that it will be useful,
      13                 :            : but WITHOUT ANY WARRANTY; without even the implied warranty of
      14                 :            : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      15                 :            : GNU General Public License for more details.
      16                 :            : 
      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/>.  */
      20                 :            : 
      21                 :            : #include "config.h"
      22                 :            : #include "system.h"
      23                 :            : #include "coretypes.h"
      24                 :            : #include "tree.h"
      25                 :            : #include "tree-iterator.h"
      26                 :            : 
      27                 :            : 
      28                 :            : /* This is a cache of STATEMENT_LIST nodes.  We create and destroy them
      29                 :            :    fairly often during gimplification.  */
      30                 :            : 
      31                 :            : static GTY ((deletable (""))) vec<tree, va_gc> *stmt_list_cache;
      32                 :            : 
      33                 :            : tree
      34                 :  121739000 : alloc_stmt_list (void)
      35                 :            : {
      36                 :  121739000 :   tree list;
      37                 :  121739000 :   if (!vec_safe_is_empty (stmt_list_cache))
      38                 :            :     {
      39                 :   86836900 :       list = stmt_list_cache->pop ();
      40                 :   86836900 :       memset (list, 0, sizeof (struct tree_base));
      41                 :   86836900 :       TREE_SET_CODE (list, STATEMENT_LIST);
      42                 :            :     }
      43                 :            :   else
      44                 :            :     {
      45                 :   34902500 :       list = make_node (STATEMENT_LIST);
      46                 :   34902500 :       TREE_SIDE_EFFECTS (list) = 0;
      47                 :            :     }
      48                 :  121739000 :   TREE_TYPE (list) = void_type_node;
      49                 :  121739000 :   return list;
      50                 :            : }
      51                 :            : 
      52                 :            : void
      53                 :   87455100 : free_stmt_list (tree t)
      54                 :            : {
      55                 :   87455100 :   gcc_assert (!STATEMENT_LIST_HEAD (t));
      56                 :   87455100 :   gcc_assert (!STATEMENT_LIST_TAIL (t));
      57                 :   87455100 :   vec_safe_push (stmt_list_cache, t);
      58                 :   87455100 : }
      59                 :            : 
      60                 :            : /* A subroutine of append_to_statement_list{,_force}.  T is not NULL.  */
      61                 :            : 
      62                 :            : static void
      63                 :  164695000 : append_to_statement_list_1 (tree t, tree *list_p)
      64                 :            : {
      65                 :  164695000 :   tree list = *list_p;
      66                 :  164695000 :   tree_stmt_iterator i;
      67                 :            : 
      68                 :  164695000 :   if (!list)
      69                 :            :     {
      70                 :    5510420 :       if (t && TREE_CODE (t) == STATEMENT_LIST)
      71                 :            :         {
      72                 :    1026000 :           *list_p = t;
      73                 :    1026000 :           return;
      74                 :            :         }
      75                 :    4484420 :       *list_p = list = alloc_stmt_list ();
      76                 :            :     }
      77                 :  159185000 :   else if (TREE_CODE (list) != STATEMENT_LIST)
      78                 :            :     {
      79                 :    2116820 :       tree first = list;
      80                 :    2116820 :       *list_p = list = alloc_stmt_list ();
      81                 :    2116820 :       i = tsi_last (list);
      82                 :    2116820 :       tsi_link_after (&i, first, TSI_CONTINUE_LINKING);
      83                 :            :     }
      84                 :            : 
      85                 :  163669000 :   i = tsi_last (list);
      86                 :  163669000 :   tsi_link_after (&i, t, TSI_CONTINUE_LINKING);
      87                 :            : }
      88                 :            : 
      89                 :            : /* Add T to the end of the list container pointed to by LIST_P.
      90                 :            :    If T is an expression with no effects, it is ignored.  */
      91                 :            : 
      92                 :            : void
      93                 :   17689500 : append_to_statement_list (tree t, tree *list_p)
      94                 :            : {
      95                 :   34980800 :   if (t && (TREE_SIDE_EFFECTS (t) || TREE_CODE (t) == DEBUG_BEGIN_STMT))
      96                 :   17217800 :     append_to_statement_list_1 (t, list_p);
      97                 :   17689500 : }
      98                 :            : 
      99                 :            : /* Similar, but the statement is always added, regardless of side effects.  */
     100                 :            : 
     101                 :            : void
     102                 :  147477000 : append_to_statement_list_force (tree t, tree *list_p)
     103                 :            : {
     104                 :  147477000 :   if (t != NULL_TREE)
     105                 :  147477000 :     append_to_statement_list_1 (t, list_p);
     106                 :  147477000 : }
     107                 :            : 
     108                 :            : /* Links a statement, or a chain of statements, before the current stmt.  */
     109                 :            : 
     110                 :            : void
     111                 :      13361 : tsi_link_before (tree_stmt_iterator *i, tree t, enum tsi_iterator_update mode)
     112                 :            : {
     113                 :      13361 :   struct tree_statement_list_node *head, *tail, *cur;
     114                 :            : 
     115                 :            :   /* Die on looping.  */
     116                 :      13361 :   gcc_assert (t != i->container);
     117                 :            : 
     118                 :      13361 :   if (TREE_CODE (t) == STATEMENT_LIST)
     119                 :            :     {
     120                 :       6026 :       head = STATEMENT_LIST_HEAD (t);
     121                 :       6026 :       tail = STATEMENT_LIST_TAIL (t);
     122                 :       6026 :       STATEMENT_LIST_HEAD (t) = NULL;
     123                 :       6026 :       STATEMENT_LIST_TAIL (t) = NULL;
     124                 :            : 
     125                 :       6026 :       free_stmt_list (t);
     126                 :            : 
     127                 :            :       /* Empty statement lists need no work.  */
     128                 :       6026 :       if (!head || !tail)
     129                 :            :         {
     130                 :          0 :           gcc_assert (head == tail);
     131                 :            :           return;
     132                 :            :         }
     133                 :            :     }
     134                 :            :   else
     135                 :            :     {
     136                 :       7335 :       head = ggc_alloc<tree_statement_list_node> ();
     137                 :       7335 :       head->prev = NULL;
     138                 :       7335 :       head->next = NULL;
     139                 :       7335 :       head->stmt = t;
     140                 :       7335 :       tail = head;
     141                 :            :     }
     142                 :            : 
     143                 :      13361 :   if (TREE_CODE (t) != DEBUG_BEGIN_STMT)
     144                 :      13361 :     TREE_SIDE_EFFECTS (i->container) = 1;
     145                 :            : 
     146                 :      13361 :   cur = i->ptr;
     147                 :            : 
     148                 :            :   /* Link it into the list.  */
     149                 :      13361 :   if (cur)
     150                 :            :     {
     151                 :      13361 :       head->prev = cur->prev;
     152                 :      13361 :       if (head->prev)
     153                 :        608 :         head->prev->next = head;
     154                 :            :       else
     155                 :      12753 :         STATEMENT_LIST_HEAD (i->container) = head;
     156                 :      13361 :       tail->next = cur;
     157                 :      13361 :       cur->prev = tail;
     158                 :            :     }
     159                 :            :   else
     160                 :            :     {
     161                 :          0 :       head->prev = STATEMENT_LIST_TAIL (i->container);
     162                 :          0 :       if (head->prev)
     163                 :          0 :        head->prev->next = head;
     164                 :            :       else
     165                 :          0 :        STATEMENT_LIST_HEAD (i->container) = head;
     166                 :          0 :       STATEMENT_LIST_TAIL (i->container) = tail;
     167                 :            :     }
     168                 :            : 
     169                 :            :   /* Update the iterator, if requested.  */
     170                 :      13361 :   switch (mode)
     171                 :            :     {
     172                 :      12462 :     case TSI_NEW_STMT:
     173                 :      12462 :     case TSI_CONTINUE_LINKING:
     174                 :      12462 :     case TSI_CHAIN_START:
     175                 :      12462 :       i->ptr = head;
     176                 :      12462 :       break;
     177                 :          0 :     case TSI_CHAIN_END:
     178                 :          0 :       i->ptr = tail;
     179                 :          0 :       break;
     180                 :            :     case TSI_SAME_STMT:
     181                 :            :       break;
     182                 :            :     }
     183                 :            : }
     184                 :            : 
     185                 :            : /* Links a statement, or a chain of statements, after the current stmt.  */
     186                 :            : 
     187                 :            : void
     188                 :  175458000 : tsi_link_after (tree_stmt_iterator *i, tree t, enum tsi_iterator_update mode)
     189                 :            : {
     190                 :  175458000 :   struct tree_statement_list_node *head, *tail, *cur;
     191                 :            : 
     192                 :            :   /* Die on looping.  */
     193                 :  175458000 :   gcc_assert (t != i->container);
     194                 :            : 
     195                 :  175458000 :   if (TREE_CODE (t) == STATEMENT_LIST)
     196                 :            :     {
     197                 :    6809420 :       head = STATEMENT_LIST_HEAD (t);
     198                 :    6809420 :       tail = STATEMENT_LIST_TAIL (t);
     199                 :    6809420 :       STATEMENT_LIST_HEAD (t) = NULL;
     200                 :    6809420 :       STATEMENT_LIST_TAIL (t) = NULL;
     201                 :            : 
     202                 :    6809420 :       free_stmt_list (t);
     203                 :            : 
     204                 :            :       /* Empty statement lists need no work.  */
     205                 :    6809420 :       if (!head || !tail)
     206                 :            :         {
     207                 :    1808890 :           gcc_assert (head == tail);
     208                 :            :           return;
     209                 :            :         }
     210                 :            :     }
     211                 :            :   else
     212                 :            :     {
     213                 :  168649000 :       head = ggc_alloc<tree_statement_list_node> ();
     214                 :  168649000 :       head->prev = NULL;
     215                 :  168649000 :       head->next = NULL;
     216                 :  168649000 :       head->stmt = t;
     217                 :  168649000 :       tail = head;
     218                 :            :     }
     219                 :            : 
     220                 :  173650000 :   if (TREE_CODE (t) != DEBUG_BEGIN_STMT)
     221                 :  156503000 :     TREE_SIDE_EFFECTS (i->container) = 1;
     222                 :            : 
     223                 :  173650000 :   cur = i->ptr;
     224                 :            : 
     225                 :            :   /* Link it into the list.  */
     226                 :  173650000 :   if (cur)
     227                 :            :     {
     228                 :   60229000 :       tail->next = cur->next;
     229                 :   60229000 :       if (tail->next)
     230                 :          0 :         tail->next->prev = tail;
     231                 :            :       else
     232                 :   60229000 :         STATEMENT_LIST_TAIL (i->container) = tail;
     233                 :   60229000 :       head->prev = cur;
     234                 :   60229000 :       cur->next = head;
     235                 :            :     }
     236                 :            :   else
     237                 :            :     {
     238                 :  113421000 :       gcc_assert (!STATEMENT_LIST_TAIL (i->container));
     239                 :  113421000 :       STATEMENT_LIST_HEAD (i->container) = head;
     240                 :  113421000 :       STATEMENT_LIST_TAIL (i->container) = tail;
     241                 :            :     }
     242                 :            : 
     243                 :            :   /* Update the iterator, if requested.  */
     244                 :  173650000 :   switch (mode)
     245                 :            :     {
     246                 :          0 :     case TSI_NEW_STMT:
     247                 :          0 :     case TSI_CHAIN_START:
     248                 :          0 :       i->ptr = head;
     249                 :          0 :       break;
     250                 :  173650000 :     case TSI_CONTINUE_LINKING:
     251                 :  173650000 :     case TSI_CHAIN_END:
     252                 :  173650000 :       i->ptr = tail;
     253                 :  173650000 :       break;
     254                 :          0 :     case TSI_SAME_STMT:
     255                 :          0 :       gcc_assert (cur);
     256                 :            :       break;
     257                 :            :     }
     258                 :            : }
     259                 :            : 
     260                 :            : /* Remove a stmt from the tree list.  The iterator is updated to point to
     261                 :            :    the next stmt.  */
     262                 :            : 
     263                 :            : void
     264                 :  105757000 : tsi_delink (tree_stmt_iterator *i)
     265                 :            : {
     266                 :  105757000 :   struct tree_statement_list_node *cur, *next, *prev;
     267                 :            : 
     268                 :  105757000 :   cur = i->ptr;
     269                 :  105757000 :   next = cur->next;
     270                 :  105757000 :   prev = cur->prev;
     271                 :            : 
     272                 :  105757000 :   if (prev)
     273                 :       1154 :     prev->next = next;
     274                 :            :   else
     275                 :  105756000 :     STATEMENT_LIST_HEAD (i->container) = next;
     276                 :  105757000 :   if (next)
     277                 :   19461800 :     next->prev = prev;
     278                 :            :   else
     279                 :   86295700 :     STATEMENT_LIST_TAIL (i->container) = prev;
     280                 :            : 
     281                 :  105757000 :   if (!next && !prev)
     282                 :   86294900 :     TREE_SIDE_EFFECTS (i->container) = 0;
     283                 :            : 
     284                 :  105757000 :   i->ptr = next;
     285                 :  105757000 : }
     286                 :            : 
     287                 :            : /* Return the first expression in a sequence of COMPOUND_EXPRs, or in
     288                 :            :    a STATEMENT_LIST, disregarding DEBUG_BEGIN_STMTs, recursing into a
     289                 :            :    STATEMENT_LIST if that's the first non-DEBUG_BEGIN_STMT.  */
     290                 :            : 
     291                 :            : tree
     292                 :     125136 : expr_first (tree expr)
     293                 :            : {
     294                 :     125988 :   if (expr == NULL_TREE)
     295                 :            :     return expr;
     296                 :            : 
     297                 :     125988 :   if (TREE_CODE (expr) == STATEMENT_LIST)
     298                 :            :     {
     299                 :      72148 :       struct tree_statement_list_node *n = STATEMENT_LIST_HEAD (expr);
     300                 :      72148 :       if (!n)
     301                 :            :         return NULL_TREE;
     302                 :      86347 :       while (TREE_CODE (n->stmt) == DEBUG_BEGIN_STMT)
     303                 :            :         {
     304                 :      14958 :           n = n->next;
     305                 :      14958 :           if (!n)
     306                 :            :             return NULL_TREE;
     307                 :            :         }
     308                 :            :       /* If the first non-debug stmt is not a statement list, we
     309                 :            :          already know it's what we're looking for.  */
     310                 :      71389 :       if (TREE_CODE (n->stmt) != STATEMENT_LIST)
     311                 :            :         return n->stmt;
     312                 :            : 
     313                 :            :       return expr_first (n->stmt);
     314                 :            :     }
     315                 :            : 
     316                 :      53844 :   while (TREE_CODE (expr) == COMPOUND_EXPR)
     317                 :          4 :     expr = TREE_OPERAND (expr, 0);
     318                 :            : 
     319                 :            :   return expr;
     320                 :            : }
     321                 :            : 
     322                 :            : /* Return the last expression in a sequence of COMPOUND_EXPRs, or in a
     323                 :            :    STATEMENT_LIST, disregarding DEBUG_BEGIN_STMTs, recursing into a
     324                 :            :    STATEMENT_LIST if that's the last non-DEBUG_BEGIN_STMT.  */
     325                 :            : 
     326                 :            : tree
     327                 :    1352280 : expr_last (tree expr)
     328                 :            : {
     329                 :    1352360 :   if (expr == NULL_TREE)
     330                 :            :     return expr;
     331                 :            : 
     332                 :    1349460 :   if (TREE_CODE (expr) == STATEMENT_LIST)
     333                 :            :     {
     334                 :     593411 :       struct tree_statement_list_node *n = STATEMENT_LIST_TAIL (expr);
     335                 :     593411 :       if (!n)
     336                 :            :         return NULL_TREE;
     337                 :     595591 :       while (TREE_CODE (n->stmt) == DEBUG_BEGIN_STMT)
     338                 :            :         {
     339                 :     111445 :           n = n->prev;
     340                 :     111445 :           if (!n)
     341                 :            :             return NULL_TREE;
     342                 :            :         }
     343                 :            :       /* If the last non-debug stmt is not a statement list, we
     344                 :            :          already know it's what we're looking for.  */
     345                 :     484146 :       if (TREE_CODE (n->stmt) != STATEMENT_LIST)
     346                 :            :         return n->stmt;
     347                 :            : 
     348                 :            :       return expr_last (n->stmt);
     349                 :            :     }
     350                 :            : 
     351                 :     756425 :   while (TREE_CODE (expr) == COMPOUND_EXPR)
     352                 :        378 :     expr = TREE_OPERAND (expr, 1);
     353                 :            : 
     354                 :            :   return expr;
     355                 :            : }
     356                 :            : 
     357                 :            : #include "gt-tree-iterator.h"

Generated by: LCOV version 1.0

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto --enable-host-shared. GCC test suite is run with the built compiler.