/* Iterator routines for manipulating GENERIC and GIMPLE tree statements.
|
/* Iterator routines for manipulating GENERIC and GIMPLE tree statements.
|
Copyright (C) 2003, 2004, 2007 Free Software Foundation, Inc.
|
Copyright (C) 2003, 2004, 2007 Free Software Foundation, Inc.
|
Contributed by Andrew MacLeod <amacleod@redhat.com>
|
Contributed by Andrew MacLeod <amacleod@redhat.com>
|
|
|
This file is part of GCC.
|
This file is part of GCC.
|
|
|
GCC is free software; you can redistribute it and/or modify
|
GCC is free software; you can redistribute it and/or modify
|
it under the terms of the GNU General Public License as published by
|
it under the terms of the GNU General Public License as published by
|
the Free Software Foundation; either version 3, or (at your option)
|
the Free Software Foundation; either version 3, or (at your option)
|
any later version.
|
any later version.
|
|
|
GCC is distributed in the hope that it will be useful,
|
GCC is distributed in the hope that it will be useful,
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
GNU General Public License for more details.
|
GNU General Public License for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with GCC; see the file COPYING3. If not see
|
along with GCC; see the file COPYING3. If not see
|
<http://www.gnu.org/licenses/>. */
|
<http://www.gnu.org/licenses/>. */
|
|
|
#include "config.h"
|
#include "config.h"
|
#include "system.h"
|
#include "system.h"
|
#include "coretypes.h"
|
#include "coretypes.h"
|
#include "tree.h"
|
#include "tree.h"
|
#include "tree-gimple.h"
|
#include "tree-gimple.h"
|
#include "tree-iterator.h"
|
#include "tree-iterator.h"
|
#include "ggc.h"
|
#include "ggc.h"
|
|
|
|
|
/* This is a cache of STATEMENT_LIST nodes. We create and destroy them
|
/* This is a cache of STATEMENT_LIST nodes. We create and destroy them
|
fairly often during gimplification. */
|
fairly often during gimplification. */
|
|
|
static GTY ((deletable (""))) tree stmt_list_cache;
|
static GTY ((deletable (""))) tree stmt_list_cache;
|
|
|
tree
|
tree
|
alloc_stmt_list (void)
|
alloc_stmt_list (void)
|
{
|
{
|
tree list = stmt_list_cache;
|
tree list = stmt_list_cache;
|
if (list)
|
if (list)
|
{
|
{
|
stmt_list_cache = TREE_CHAIN (list);
|
stmt_list_cache = TREE_CHAIN (list);
|
gcc_assert (stmt_list_cache != list);
|
gcc_assert (stmt_list_cache != list);
|
memset (list, 0, sizeof(struct tree_common));
|
memset (list, 0, sizeof(struct tree_common));
|
TREE_SET_CODE (list, STATEMENT_LIST);
|
TREE_SET_CODE (list, STATEMENT_LIST);
|
}
|
}
|
else
|
else
|
list = make_node (STATEMENT_LIST);
|
list = make_node (STATEMENT_LIST);
|
TREE_TYPE (list) = void_type_node;
|
TREE_TYPE (list) = void_type_node;
|
return list;
|
return list;
|
}
|
}
|
|
|
void
|
void
|
free_stmt_list (tree t)
|
free_stmt_list (tree t)
|
{
|
{
|
gcc_assert (!STATEMENT_LIST_HEAD (t));
|
gcc_assert (!STATEMENT_LIST_HEAD (t));
|
gcc_assert (!STATEMENT_LIST_TAIL (t));
|
gcc_assert (!STATEMENT_LIST_TAIL (t));
|
/* If this triggers, it's a sign that the same list is being freed
|
/* If this triggers, it's a sign that the same list is being freed
|
twice. */
|
twice. */
|
gcc_assert (t != stmt_list_cache || stmt_list_cache == NULL);
|
gcc_assert (t != stmt_list_cache || stmt_list_cache == NULL);
|
TREE_CHAIN (t) = stmt_list_cache;
|
TREE_CHAIN (t) = stmt_list_cache;
|
stmt_list_cache = t;
|
stmt_list_cache = t;
|
}
|
}
|
|
|
/* Links a statement, or a chain of statements, before the current stmt. */
|
/* Links a statement, or a chain of statements, before the current stmt. */
|
|
|
void
|
void
|
tsi_link_before (tree_stmt_iterator *i, tree t, enum tsi_iterator_update mode)
|
tsi_link_before (tree_stmt_iterator *i, tree t, enum tsi_iterator_update mode)
|
{
|
{
|
struct tree_statement_list_node *head, *tail, *cur;
|
struct tree_statement_list_node *head, *tail, *cur;
|
|
|
/* Die on looping. */
|
/* Die on looping. */
|
gcc_assert (t != i->container);
|
gcc_assert (t != i->container);
|
|
|
if (TREE_CODE (t) == STATEMENT_LIST)
|
if (TREE_CODE (t) == STATEMENT_LIST)
|
{
|
{
|
head = STATEMENT_LIST_HEAD (t);
|
head = STATEMENT_LIST_HEAD (t);
|
tail = STATEMENT_LIST_TAIL (t);
|
tail = STATEMENT_LIST_TAIL (t);
|
STATEMENT_LIST_HEAD (t) = NULL;
|
STATEMENT_LIST_HEAD (t) = NULL;
|
STATEMENT_LIST_TAIL (t) = NULL;
|
STATEMENT_LIST_TAIL (t) = NULL;
|
|
|
free_stmt_list (t);
|
free_stmt_list (t);
|
|
|
/* Empty statement lists need no work. */
|
/* Empty statement lists need no work. */
|
if (!head || !tail)
|
if (!head || !tail)
|
{
|
{
|
gcc_assert (head == tail);
|
gcc_assert (head == tail);
|
return;
|
return;
|
}
|
}
|
}
|
}
|
else
|
else
|
{
|
{
|
head = ggc_alloc (sizeof (*head));
|
head = ggc_alloc (sizeof (*head));
|
head->prev = NULL;
|
head->prev = NULL;
|
head->next = NULL;
|
head->next = NULL;
|
head->stmt = t;
|
head->stmt = t;
|
tail = head;
|
tail = head;
|
}
|
}
|
|
|
TREE_SIDE_EFFECTS (i->container) = 1;
|
TREE_SIDE_EFFECTS (i->container) = 1;
|
|
|
cur = i->ptr;
|
cur = i->ptr;
|
|
|
/* Link it into the list. */
|
/* Link it into the list. */
|
if (cur)
|
if (cur)
|
{
|
{
|
head->prev = cur->prev;
|
head->prev = cur->prev;
|
if (head->prev)
|
if (head->prev)
|
head->prev->next = head;
|
head->prev->next = head;
|
else
|
else
|
STATEMENT_LIST_HEAD (i->container) = head;
|
STATEMENT_LIST_HEAD (i->container) = head;
|
tail->next = cur;
|
tail->next = cur;
|
cur->prev = tail;
|
cur->prev = tail;
|
}
|
}
|
else
|
else
|
{
|
{
|
head->prev = STATEMENT_LIST_TAIL (i->container);
|
head->prev = STATEMENT_LIST_TAIL (i->container);
|
if (head->prev)
|
if (head->prev)
|
head->prev->next = head;
|
head->prev->next = head;
|
else
|
else
|
STATEMENT_LIST_HEAD (i->container) = head;
|
STATEMENT_LIST_HEAD (i->container) = head;
|
STATEMENT_LIST_TAIL (i->container) = tail;
|
STATEMENT_LIST_TAIL (i->container) = tail;
|
}
|
}
|
|
|
/* Update the iterator, if requested. */
|
/* Update the iterator, if requested. */
|
switch (mode)
|
switch (mode)
|
{
|
{
|
case TSI_NEW_STMT:
|
case TSI_NEW_STMT:
|
case TSI_CONTINUE_LINKING:
|
case TSI_CONTINUE_LINKING:
|
case TSI_CHAIN_START:
|
case TSI_CHAIN_START:
|
i->ptr = head;
|
i->ptr = head;
|
break;
|
break;
|
case TSI_CHAIN_END:
|
case TSI_CHAIN_END:
|
i->ptr = tail;
|
i->ptr = tail;
|
break;
|
break;
|
case TSI_SAME_STMT:
|
case TSI_SAME_STMT:
|
break;
|
break;
|
}
|
}
|
}
|
}
|
|
|
/* Links a statement, or a chain of statements, after the current stmt. */
|
/* Links a statement, or a chain of statements, after the current stmt. */
|
|
|
void
|
void
|
tsi_link_after (tree_stmt_iterator *i, tree t, enum tsi_iterator_update mode)
|
tsi_link_after (tree_stmt_iterator *i, tree t, enum tsi_iterator_update mode)
|
{
|
{
|
struct tree_statement_list_node *head, *tail, *cur;
|
struct tree_statement_list_node *head, *tail, *cur;
|
|
|
/* Die on looping. */
|
/* Die on looping. */
|
gcc_assert (t != i->container);
|
gcc_assert (t != i->container);
|
|
|
if (TREE_CODE (t) == STATEMENT_LIST)
|
if (TREE_CODE (t) == STATEMENT_LIST)
|
{
|
{
|
head = STATEMENT_LIST_HEAD (t);
|
head = STATEMENT_LIST_HEAD (t);
|
tail = STATEMENT_LIST_TAIL (t);
|
tail = STATEMENT_LIST_TAIL (t);
|
STATEMENT_LIST_HEAD (t) = NULL;
|
STATEMENT_LIST_HEAD (t) = NULL;
|
STATEMENT_LIST_TAIL (t) = NULL;
|
STATEMENT_LIST_TAIL (t) = NULL;
|
|
|
free_stmt_list (t);
|
free_stmt_list (t);
|
|
|
/* Empty statement lists need no work. */
|
/* Empty statement lists need no work. */
|
if (!head || !tail)
|
if (!head || !tail)
|
{
|
{
|
gcc_assert (head == tail);
|
gcc_assert (head == tail);
|
return;
|
return;
|
}
|
}
|
}
|
}
|
else
|
else
|
{
|
{
|
head = ggc_alloc (sizeof (*head));
|
head = ggc_alloc (sizeof (*head));
|
head->prev = NULL;
|
head->prev = NULL;
|
head->next = NULL;
|
head->next = NULL;
|
head->stmt = t;
|
head->stmt = t;
|
tail = head;
|
tail = head;
|
}
|
}
|
|
|
TREE_SIDE_EFFECTS (i->container) = 1;
|
TREE_SIDE_EFFECTS (i->container) = 1;
|
|
|
cur = i->ptr;
|
cur = i->ptr;
|
|
|
/* Link it into the list. */
|
/* Link it into the list. */
|
if (cur)
|
if (cur)
|
{
|
{
|
tail->next = cur->next;
|
tail->next = cur->next;
|
if (tail->next)
|
if (tail->next)
|
tail->next->prev = tail;
|
tail->next->prev = tail;
|
else
|
else
|
STATEMENT_LIST_TAIL (i->container) = tail;
|
STATEMENT_LIST_TAIL (i->container) = tail;
|
head->prev = cur;
|
head->prev = cur;
|
cur->next = head;
|
cur->next = head;
|
}
|
}
|
else
|
else
|
{
|
{
|
gcc_assert (!STATEMENT_LIST_TAIL (i->container));
|
gcc_assert (!STATEMENT_LIST_TAIL (i->container));
|
STATEMENT_LIST_HEAD (i->container) = head;
|
STATEMENT_LIST_HEAD (i->container) = head;
|
STATEMENT_LIST_TAIL (i->container) = tail;
|
STATEMENT_LIST_TAIL (i->container) = tail;
|
}
|
}
|
|
|
/* Update the iterator, if requested. */
|
/* Update the iterator, if requested. */
|
switch (mode)
|
switch (mode)
|
{
|
{
|
case TSI_NEW_STMT:
|
case TSI_NEW_STMT:
|
case TSI_CHAIN_START:
|
case TSI_CHAIN_START:
|
i->ptr = head;
|
i->ptr = head;
|
break;
|
break;
|
case TSI_CONTINUE_LINKING:
|
case TSI_CONTINUE_LINKING:
|
case TSI_CHAIN_END:
|
case TSI_CHAIN_END:
|
i->ptr = tail;
|
i->ptr = tail;
|
break;
|
break;
|
case TSI_SAME_STMT:
|
case TSI_SAME_STMT:
|
gcc_assert (cur);
|
gcc_assert (cur);
|
break;
|
break;
|
}
|
}
|
}
|
}
|
|
|
/* Remove a stmt from the tree list. The iterator is updated to point to
|
/* Remove a stmt from the tree list. The iterator is updated to point to
|
the next stmt. */
|
the next stmt. */
|
|
|
void
|
void
|
tsi_delink (tree_stmt_iterator *i)
|
tsi_delink (tree_stmt_iterator *i)
|
{
|
{
|
struct tree_statement_list_node *cur, *next, *prev;
|
struct tree_statement_list_node *cur, *next, *prev;
|
|
|
cur = i->ptr;
|
cur = i->ptr;
|
next = cur->next;
|
next = cur->next;
|
prev = cur->prev;
|
prev = cur->prev;
|
|
|
if (prev)
|
if (prev)
|
prev->next = next;
|
prev->next = next;
|
else
|
else
|
STATEMENT_LIST_HEAD (i->container) = next;
|
STATEMENT_LIST_HEAD (i->container) = next;
|
if (next)
|
if (next)
|
next->prev = prev;
|
next->prev = prev;
|
else
|
else
|
STATEMENT_LIST_TAIL (i->container) = prev;
|
STATEMENT_LIST_TAIL (i->container) = prev;
|
|
|
if (!next && !prev)
|
if (!next && !prev)
|
TREE_SIDE_EFFECTS (i->container) = 0;
|
TREE_SIDE_EFFECTS (i->container) = 0;
|
|
|
i->ptr = next;
|
i->ptr = next;
|
}
|
}
|
|
|
/* Move all statements in the statement list after I to a new
|
/* Move all statements in the statement list after I to a new
|
statement list. I itself is unchanged. */
|
statement list. I itself is unchanged. */
|
|
|
tree
|
tree
|
tsi_split_statement_list_after (const tree_stmt_iterator *i)
|
tsi_split_statement_list_after (const tree_stmt_iterator *i)
|
{
|
{
|
struct tree_statement_list_node *cur, *next;
|
struct tree_statement_list_node *cur, *next;
|
tree old_sl, new_sl;
|
tree old_sl, new_sl;
|
|
|
cur = i->ptr;
|
cur = i->ptr;
|
/* How can we possibly split after the end, or before the beginning? */
|
/* How can we possibly split after the end, or before the beginning? */
|
gcc_assert (cur);
|
gcc_assert (cur);
|
next = cur->next;
|
next = cur->next;
|
|
|
old_sl = i->container;
|
old_sl = i->container;
|
new_sl = alloc_stmt_list ();
|
new_sl = alloc_stmt_list ();
|
TREE_SIDE_EFFECTS (new_sl) = 1;
|
TREE_SIDE_EFFECTS (new_sl) = 1;
|
|
|
STATEMENT_LIST_HEAD (new_sl) = next;
|
STATEMENT_LIST_HEAD (new_sl) = next;
|
STATEMENT_LIST_TAIL (new_sl) = STATEMENT_LIST_TAIL (old_sl);
|
STATEMENT_LIST_TAIL (new_sl) = STATEMENT_LIST_TAIL (old_sl);
|
STATEMENT_LIST_TAIL (old_sl) = cur;
|
STATEMENT_LIST_TAIL (old_sl) = cur;
|
cur->next = NULL;
|
cur->next = NULL;
|
next->prev = NULL;
|
next->prev = NULL;
|
|
|
return new_sl;
|
return new_sl;
|
}
|
}
|
|
|
/* Move all statements in the statement list before I to a new
|
/* Move all statements in the statement list before I to a new
|
statement list. I is set to the head of the new list. */
|
statement list. I is set to the head of the new list. */
|
|
|
tree
|
tree
|
tsi_split_statement_list_before (tree_stmt_iterator *i)
|
tsi_split_statement_list_before (tree_stmt_iterator *i)
|
{
|
{
|
struct tree_statement_list_node *cur, *prev;
|
struct tree_statement_list_node *cur, *prev;
|
tree old_sl, new_sl;
|
tree old_sl, new_sl;
|
|
|
cur = i->ptr;
|
cur = i->ptr;
|
/* How can we possibly split after the end, or before the beginning? */
|
/* How can we possibly split after the end, or before the beginning? */
|
gcc_assert (cur);
|
gcc_assert (cur);
|
prev = cur->prev;
|
prev = cur->prev;
|
|
|
old_sl = i->container;
|
old_sl = i->container;
|
new_sl = alloc_stmt_list ();
|
new_sl = alloc_stmt_list ();
|
TREE_SIDE_EFFECTS (new_sl) = 1;
|
TREE_SIDE_EFFECTS (new_sl) = 1;
|
i->container = new_sl;
|
i->container = new_sl;
|
|
|
STATEMENT_LIST_HEAD (new_sl) = cur;
|
STATEMENT_LIST_HEAD (new_sl) = cur;
|
STATEMENT_LIST_TAIL (new_sl) = STATEMENT_LIST_TAIL (old_sl);
|
STATEMENT_LIST_TAIL (new_sl) = STATEMENT_LIST_TAIL (old_sl);
|
STATEMENT_LIST_TAIL (old_sl) = prev;
|
STATEMENT_LIST_TAIL (old_sl) = prev;
|
cur->prev = NULL;
|
cur->prev = NULL;
|
if (prev)
|
if (prev)
|
prev->next = NULL;
|
prev->next = NULL;
|
|
|
return new_sl;
|
return new_sl;
|
}
|
}
|
|
|
/* Return the first expression in a sequence of COMPOUND_EXPRs,
|
/* Return the first expression in a sequence of COMPOUND_EXPRs,
|
or in a STATEMENT_LIST. */
|
or in a STATEMENT_LIST. */
|
|
|
tree
|
tree
|
expr_first (tree expr)
|
expr_first (tree expr)
|
{
|
{
|
if (expr == NULL_TREE)
|
if (expr == NULL_TREE)
|
return expr;
|
return expr;
|
|
|
if (TREE_CODE (expr) == STATEMENT_LIST)
|
if (TREE_CODE (expr) == STATEMENT_LIST)
|
{
|
{
|
struct tree_statement_list_node *n = STATEMENT_LIST_HEAD (expr);
|
struct tree_statement_list_node *n = STATEMENT_LIST_HEAD (expr);
|
return n ? n->stmt : NULL_TREE;
|
return n ? n->stmt : NULL_TREE;
|
}
|
}
|
|
|
while (TREE_CODE (expr) == COMPOUND_EXPR)
|
while (TREE_CODE (expr) == COMPOUND_EXPR)
|
expr = TREE_OPERAND (expr, 0);
|
expr = TREE_OPERAND (expr, 0);
|
return expr;
|
return expr;
|
}
|
}
|
|
|
/* Return the last expression in a sequence of COMPOUND_EXPRs,
|
/* Return the last expression in a sequence of COMPOUND_EXPRs,
|
or in a STATEMENT_LIST. */
|
or in a STATEMENT_LIST. */
|
|
|
tree
|
tree
|
expr_last (tree expr)
|
expr_last (tree expr)
|
{
|
{
|
if (expr == NULL_TREE)
|
if (expr == NULL_TREE)
|
return expr;
|
return expr;
|
|
|
if (TREE_CODE (expr) == STATEMENT_LIST)
|
if (TREE_CODE (expr) == STATEMENT_LIST)
|
{
|
{
|
struct tree_statement_list_node *n = STATEMENT_LIST_TAIL (expr);
|
struct tree_statement_list_node *n = STATEMENT_LIST_TAIL (expr);
|
return n ? n->stmt : NULL_TREE;
|
return n ? n->stmt : NULL_TREE;
|
}
|
}
|
|
|
while (TREE_CODE (expr) == COMPOUND_EXPR)
|
while (TREE_CODE (expr) == COMPOUND_EXPR)
|
expr = TREE_OPERAND (expr, 1);
|
expr = TREE_OPERAND (expr, 1);
|
return expr;
|
return expr;
|
}
|
}
|
|
|
/* If EXPR is a single statement return it. If EXPR is a
|
/* If EXPR is a single statement return it. If EXPR is a
|
STATEMENT_LIST containing exactly one statement S, return S.
|
STATEMENT_LIST containing exactly one statement S, return S.
|
Otherwise, return NULL. */
|
Otherwise, return NULL. */
|
|
|
tree
|
tree
|
expr_only (tree expr)
|
expr_only (tree expr)
|
{
|
{
|
if (expr == NULL_TREE)
|
if (expr == NULL_TREE)
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
if (TREE_CODE (expr) == STATEMENT_LIST)
|
if (TREE_CODE (expr) == STATEMENT_LIST)
|
{
|
{
|
struct tree_statement_list_node *n = STATEMENT_LIST_TAIL (expr);
|
struct tree_statement_list_node *n = STATEMENT_LIST_TAIL (expr);
|
if (n && STATEMENT_LIST_HEAD (expr) == n)
|
if (n && STATEMENT_LIST_HEAD (expr) == n)
|
return n->stmt;
|
return n->stmt;
|
else
|
else
|
return NULL_TREE;
|
return NULL_TREE;
|
}
|
}
|
|
|
if (TREE_CODE (expr) == COMPOUND_EXPR)
|
if (TREE_CODE (expr) == COMPOUND_EXPR)
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
return expr;
|
return expr;
|
}
|
}
|
|
|
#include "gt-tree-iterator.h"
|
#include "gt-tree-iterator.h"
|
|
|
