2004-05-13 08:41:07 +02:00
|
|
|
/* SSA-PRE for trees.
|
|
|
|
Copyright (C) 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
|
2004-06-12 02:18:35 +02:00
|
|
|
Contributed by Daniel Berlin <dan@dberlin.org> and Steven Bosscher
|
|
|
|
<stevenb@suse.de>
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
This file is part of GCC.
|
|
|
|
|
|
|
|
GCC is free software; you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation; either version 2, or (at your option)
|
|
|
|
any later version.
|
|
|
|
|
|
|
|
GCC is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with GCC; see the file COPYING. If not, write to
|
|
|
|
the Free Software Foundation, 59 Temple Place - Suite 330,
|
|
|
|
Boston, MA 02111-1307, USA. */
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-05-13 08:41:07 +02:00
|
|
|
#include "config.h"
|
|
|
|
#include "system.h"
|
|
|
|
#include "coretypes.h"
|
|
|
|
#include "tm.h"
|
|
|
|
#include "errors.h"
|
|
|
|
#include "ggc.h"
|
|
|
|
#include "tree.h"
|
|
|
|
#include "basic-block.h"
|
|
|
|
#include "diagnostic.h"
|
|
|
|
#include "tree-inline.h"
|
|
|
|
#include "tree-flow.h"
|
tree-gimple.c: Rename from tree-simple.c.
* tree-gimple.c: Rename from tree-simple.c.
* tree-gimple.h: Rename from tree-simple.h.
* c-gimplify.c: Rename from c-simplify.c
* Makefile.in, c-decl.c, gimple-low.c, gimplify.c,
langhooks.c, tree-alias-ander.c, tree-alias-common.c,
tree-complex.c, tree-dfa.c, tree-flow.h, tree-inline.c,
tree-into-ssa.c, tree-iterator.c, tree-mudflap.c,
tree-nested.c, tree-nomudflap.c, tree-outof-ssa.c, tree-sra.c,
tree-ssa-alias.c, tree-ssa-ccp.c, tree-ssa-copyrename.c,
tree-ssa-dce.c, tree-ssa-live.c, tree-ssa-pre.c, tree-ssa.c:
Update.
cp/ChangeLog
* cp-gimplify.c: Rename from cp-simplify.c.
* Make-lang.in, optimize.c: Update.
fortran/ChangeLog
* Make-lang.in, f95-lang.c, trans-array.c, trans-decl.c,
trans-expr.c, trans-intrinsic.c, trans-io.c, trans-stmt.c,
trans.c: Rename tree-simple.[ch] to tree-gimple.[ch].
java/ChangeLog
* Make-lang.in, expr.c, java-gimplify.c: Rename
tree-simple.[ch] to tree-gimple.[ch].
From-SVN: r81829
2004-05-14 04:29:32 +02:00
|
|
|
#include "tree-gimple.h"
|
2004-05-13 08:41:07 +02:00
|
|
|
#include "tree-dump.h"
|
|
|
|
#include "timevar.h"
|
|
|
|
#include "fibheap.h"
|
|
|
|
#include "hashtab.h"
|
|
|
|
#include "tree-iterator.h"
|
|
|
|
#include "real.h"
|
|
|
|
#include "alloc-pool.h"
|
|
|
|
#include "tree-pass.h"
|
|
|
|
#include "flags.h"
|
2004-06-12 02:18:35 +02:00
|
|
|
#include "splay-tree.h"
|
|
|
|
#include "bitmap.h"
|
|
|
|
#include "langhooks.h"
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* TODO:
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
1. Implement load value numbering.
|
|
|
|
2. Speed up insert_aux so that we can use it all the time. It
|
|
|
|
spends most of it's time in quadratic value replacement.
|
|
|
|
3. Avail sets can be shared by making an avail_find_leader that
|
|
|
|
walks up the dominator tree and looks in those avail sets.
|
|
|
|
This might affect code optimality, it's unclear right now.
|
|
|
|
4. Load motion can be performed by value numbering the loads the
|
|
|
|
same as we do other expressions. This requires iterative
|
|
|
|
hashing the vuses into the values. Right now we simply assign
|
|
|
|
a new value every time we see a statement with a vuse.
|
|
|
|
5. Strength reduction can be performed by anticipating expressions
|
|
|
|
we can repair later on.
|
2004-06-21 23:57:33 +02:00
|
|
|
6. Our canonicalization of expressions during lookups don't take
|
|
|
|
constants into account very well. In particular, we don't fold
|
|
|
|
anywhere, so we can get situations where we stupidly think
|
|
|
|
something is a new value (a + 1 + 1 vs a + 2). This is somewhat
|
|
|
|
expensive to fix, but it does expose a lot more eliminations.
|
|
|
|
It may or not be worth it, depending on how critical you
|
|
|
|
consider PRE vs just plain GRE.
|
2004-06-12 02:18:35 +02:00
|
|
|
*/
|
|
|
|
|
|
|
|
/* For ease of terminology, "expression node" in the below refers to
|
|
|
|
every expression node but MODIFY_EXPR, because MODIFY_EXPR's represent
|
|
|
|
the actual statement containing the expressions we care about, and
|
|
|
|
we cache the value number by putting it in the expression. */
|
|
|
|
|
|
|
|
/* Basic algorithm
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-21 23:57:33 +02:00
|
|
|
First we walk the statements to generate the AVAIL sets, the
|
|
|
|
EXP_GEN sets, and the tmp_gen sets. EXP_GEN sets represent the
|
|
|
|
generation of values/expressions by a given block. We use them
|
|
|
|
when computing the ANTIC sets. The AVAIL sets consist of
|
|
|
|
SSA_NAME's that represent values, so we know what values are
|
|
|
|
available in what blocks. AVAIL is a forward dataflow problem. In
|
|
|
|
SSA, values are never killed, so we don't need a kill set, or a
|
|
|
|
fixpoint iteration, in order to calculate the AVAIL sets. In
|
|
|
|
traditional parlance, AVAIL sets tell us the downsafety of the
|
2004-06-12 02:18:35 +02:00
|
|
|
expressions/values.
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-21 23:57:33 +02:00
|
|
|
Next, we generate the ANTIC sets. These sets represent the
|
|
|
|
anticipatable expressions. ANTIC is a backwards dataflow
|
|
|
|
problem.An expression is anticipatable in a given block if it could
|
|
|
|
be generated in that block. This means that if we had to perform
|
|
|
|
an insertion in that block, of the value of that expression, we
|
|
|
|
could. Calculating the ANTIC sets requires phi translation of
|
|
|
|
expressions, because the flow goes backwards through phis. We must
|
|
|
|
iterate to a fixpoint of the ANTIC sets, because we have a kill
|
|
|
|
set. Even in SSA form, values are not live over the entire
|
|
|
|
function, only from their definition point onwards. So we have to
|
|
|
|
remove values from the ANTIC set once we go past the definition
|
|
|
|
point of the leaders that make them up.
|
|
|
|
compute_antic/compute_antic_aux performs this computation.
|
2004-06-12 02:18:35 +02:00
|
|
|
|
|
|
|
Third, we perform insertions to make partially redundant
|
|
|
|
expressions fully redundant.
|
|
|
|
|
|
|
|
An expression is partially redundant (excluding partial
|
|
|
|
anticipation) if:
|
|
|
|
|
|
|
|
1. It is AVAIL in some, but not all, of the predecessors of a
|
|
|
|
given block.
|
|
|
|
2. It is ANTIC in all the predecessors.
|
|
|
|
|
|
|
|
In order to make it fully redundant, we insert the expression into
|
|
|
|
the predecessors where it is not available, but is ANTIC.
|
|
|
|
insert/insert_aux performs this insertion.
|
|
|
|
|
|
|
|
Fourth, we eliminate fully redundant expressions.
|
|
|
|
This is a simple statement walk that replaces redundant
|
|
|
|
calculations with the now available values. */
|
|
|
|
|
|
|
|
/* Representations of value numbers:
|
|
|
|
|
|
|
|
Value numbers are represented using the "value handle" approach.
|
|
|
|
This means that each SSA_NAME (and for other reasons to be
|
2004-06-21 23:57:33 +02:00
|
|
|
disclosed in a moment, expression nodes) has a value handle that
|
|
|
|
can be retrieved through get_value_handle. This value handle, *is*
|
|
|
|
the value number of the SSA_NAME. You can pointer compare the
|
|
|
|
value handles for equivalence purposes.
|
2004-06-12 02:18:35 +02:00
|
|
|
|
|
|
|
For debugging reasons, the value handle is internally more than
|
|
|
|
just a number, it is a VAR_DECL named "value.x", where x is a
|
|
|
|
unique number for each value number in use. This allows
|
|
|
|
expressions with SSA_NAMES replaced by value handles to still be
|
|
|
|
pretty printed in a sane way. They simply print as "value.3 *
|
|
|
|
value.5", etc.
|
|
|
|
|
|
|
|
Expression nodes have value handles associated with them as a
|
|
|
|
cache. Otherwise, we'd have to look them up again in the hash
|
|
|
|
table This makes significant difference (factor of two or more) on
|
2004-06-21 23:57:33 +02:00
|
|
|
some test cases. They can be thrown away after the pass is
|
|
|
|
finished. */
|
2004-06-12 02:18:35 +02:00
|
|
|
|
|
|
|
/* Representation of expressions on value numbers:
|
|
|
|
|
|
|
|
In some portions of this code, you will notice we allocate "fake"
|
|
|
|
analogues to the expression we are value numbering, and replace the
|
|
|
|
operands with the values of the expression. Since we work on
|
|
|
|
values, and not just names, we canonicalize expressions to value
|
|
|
|
expressions for use in the ANTIC sets, the EXP_GEN set, etc.
|
|
|
|
|
|
|
|
This is theoretically unnecessary, it just saves a bunch of
|
|
|
|
repeated get_value_handle and find_leader calls in the remainder of
|
|
|
|
the code, trading off temporary memory usage for speed. The tree
|
|
|
|
nodes aren't actually creating more garbage, since they are
|
|
|
|
allocated in a special pools which are thrown away at the end of
|
|
|
|
this pass.
|
|
|
|
|
|
|
|
All of this also means that if you print the EXP_GEN or ANTIC sets,
|
|
|
|
you will see "value.5 + value.7" in the set, instead of "a_55 +
|
|
|
|
b_66" or something. The only thing that actually cares about
|
|
|
|
seeing the value leaders is phi translation, and it needs to be
|
|
|
|
able to find the leader for a value in an arbitrary block, so this
|
|
|
|
"value expression" form is perfect for it (otherwise you'd do
|
|
|
|
get_value_handle->find_leader->translate->get_value_handle->find_leader).*/
|
|
|
|
|
|
|
|
|
|
|
|
/* Representation of sets:
|
|
|
|
|
|
|
|
Sets are represented as doubly linked lists kept in topological
|
|
|
|
order, with an optional supporting bitmap of values present in the
|
2004-06-21 23:57:33 +02:00
|
|
|
set. The sets represent values, and the elements can be values or
|
|
|
|
expressions. The elements can appear in different sets, but each
|
|
|
|
element can only appear once in each set.
|
2004-06-12 02:18:35 +02:00
|
|
|
|
|
|
|
Since each node in the set represents a value, we also want to be
|
|
|
|
able to map expression, set pairs to something that tells us
|
|
|
|
whether the value is present is a set. We use a per-set bitmap for
|
|
|
|
that. The value handles also point to a linked list of the
|
|
|
|
expressions they represent via a tree annotation. This is mainly
|
|
|
|
useful only for debugging, since we don't do identity lookups. */
|
|
|
|
|
|
|
|
|
|
|
|
/* A value set element. Basically a single linked list of
|
2004-06-21 23:57:33 +02:00
|
|
|
expressions/values. */
|
2004-06-12 02:18:35 +02:00
|
|
|
typedef struct value_set_node
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-17 14:53:33 +02:00
|
|
|
/* An expression. */
|
2004-06-12 02:18:35 +02:00
|
|
|
tree expr;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* A pointer to the next element of the value set. */
|
2004-06-12 02:18:35 +02:00
|
|
|
struct value_set_node *next;
|
|
|
|
} *value_set_node_t;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* A value set. This is a singly linked list of value_set_node
|
|
|
|
elements with a possible bitmap that tells us what values exist in
|
|
|
|
the set. This set must be kept in topologically sorted order. */
|
2004-06-12 02:18:35 +02:00
|
|
|
typedef struct value_set
|
|
|
|
{
|
2004-06-17 14:53:33 +02:00
|
|
|
/* The head of the list. Used for iterating over the list in
|
|
|
|
order. */
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t head;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The tail of the list. Used for tail insertions, which are
|
|
|
|
necessary to keep the set in topologically sorted order because
|
|
|
|
of how the set is built. */
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t tail;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The length of the list. */
|
2004-06-12 02:18:35 +02:00
|
|
|
size_t length;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* True if the set is indexed, which means it contains a backing
|
|
|
|
bitmap for quick determination of whether certain values exist in the
|
|
|
|
set. */
|
2004-06-12 02:18:35 +02:00
|
|
|
bool indexed;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The bitmap of values that exist in the set. May be NULL in an
|
|
|
|
empty or non-indexed set. */
|
2004-06-12 02:18:35 +02:00
|
|
|
bitmap values;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
} *value_set_t;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* All of the following sets, except for TMP_GEN, are indexed.
|
|
|
|
TMP_GEN is only ever iterated over, we never check what values
|
|
|
|
exist in it. */
|
2004-06-17 14:53:33 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
typedef struct bb_value_sets
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-17 14:53:33 +02:00
|
|
|
/* The EXP_GEN set, which represents expressions/values generated in
|
|
|
|
a basic block. */
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_t exp_gen;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The PHI_GEN set, which represents PHI results generated in a
|
|
|
|
basic block. */
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_t phi_gen;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The TMP_GEN set, which represents results/temporaries genererated
|
|
|
|
in a basic block. IE the LHS of an expression. */
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_t tmp_gen;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The AVAIL_OUT set, which represents which values are available in
|
|
|
|
a given basic block. */
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_t avail_out;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The ANTIC_IN set, which represents which values are anticiptable
|
|
|
|
in a given basic block. */
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_t antic_in;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The NEW_SETS set, which is used during insertion to augment the
|
|
|
|
AVAIL_OUT set of blocks with the new insertions performed during
|
|
|
|
the current iteration. */
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_t new_sets;
|
|
|
|
} *bb_value_sets_t;
|
|
|
|
|
|
|
|
#define EXP_GEN(BB) ((bb_value_sets_t) ((BB)->aux))->exp_gen
|
|
|
|
#define PHI_GEN(BB) ((bb_value_sets_t) ((BB)->aux))->phi_gen
|
|
|
|
#define TMP_GEN(BB) ((bb_value_sets_t) ((BB)->aux))->tmp_gen
|
|
|
|
#define AVAIL_OUT(BB) ((bb_value_sets_t) ((BB)->aux))->avail_out
|
|
|
|
#define ANTIC_IN(BB) ((bb_value_sets_t) ((BB)->aux))->antic_in
|
|
|
|
#define NEW_SETS(BB) ((bb_value_sets_t) ((BB)->aux))->new_sets
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* This structure is used to keep track of statistics on what
|
|
|
|
optimization PRE was able to perform. */
|
2004-06-12 02:18:35 +02:00
|
|
|
static struct
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-17 14:53:33 +02:00
|
|
|
/* The number of RHS computations eliminated by PRE. */
|
2004-06-12 02:18:35 +02:00
|
|
|
int eliminations;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The number of new expressions/temporaries generated by PRE. */
|
2004-06-12 02:18:35 +02:00
|
|
|
int insertions;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The number of new PHI nodes added by PRE. */
|
2004-06-12 02:18:35 +02:00
|
|
|
int phis;
|
|
|
|
} pre_stats;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static tree find_leader (value_set_t, tree);
|
|
|
|
static void value_insert_into_set (value_set_t, tree);
|
|
|
|
static void insert_into_set (value_set_t, tree);
|
|
|
|
static value_set_t set_new (bool);
|
|
|
|
static bool is_undefined_value (tree);
|
2004-06-21 23:57:33 +02:00
|
|
|
static tree create_expression_by_pieces (basic_block, tree, tree);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* We can add and remove elements and entries to and from sets
|
|
|
|
and hash tables, so we use alloc pools for them. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static alloc_pool value_set_pool;
|
|
|
|
static alloc_pool value_set_node_pool;
|
|
|
|
static alloc_pool binary_node_pool;
|
|
|
|
static alloc_pool unary_node_pool;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* The phi_translate_table caches phi translations for a given
|
|
|
|
expression and predecessor. */
|
2004-06-17 14:53:33 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static htab_t phi_translate_table;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* A three tuple {e, pred, v} used to cache phi translations in the
|
|
|
|
phi_translate_table. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
typedef struct expr_pred_trans_d
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-17 14:53:33 +02:00
|
|
|
/* The expression. */
|
2004-06-12 02:18:35 +02:00
|
|
|
tree e;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The predecessor block along which we translated the expression. */
|
2004-06-12 02:18:35 +02:00
|
|
|
basic_block pred;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The value that resulted from the translation. */
|
2004-06-12 02:18:35 +02:00
|
|
|
tree v;
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* The hashcode for the expression, pred pair. This is cached for
|
|
|
|
speed reasons. */
|
2004-06-12 02:18:35 +02:00
|
|
|
hashval_t hashcode;
|
|
|
|
} *expr_pred_trans_t;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Return the hash value for a phi translation table entry. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static hashval_t
|
|
|
|
expr_pred_trans_hash (const void *p)
|
|
|
|
{
|
|
|
|
const expr_pred_trans_t ve = (expr_pred_trans_t) p;
|
|
|
|
return ve->hashcode;
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* Return true if two phi translation table entries are the same.
|
|
|
|
P1 and P2 should point to the expr_pred_trans_t's to be compared.*/
|
2004-06-12 02:18:35 +02:00
|
|
|
|
|
|
|
static int
|
|
|
|
expr_pred_trans_eq (const void *p1, const void *p2)
|
|
|
|
{
|
|
|
|
const expr_pred_trans_t ve1 = (expr_pred_trans_t) p1;
|
|
|
|
const expr_pred_trans_t ve2 = (expr_pred_trans_t) p2;
|
|
|
|
basic_block b1 = ve1->pred;
|
|
|
|
basic_block b2 = ve2->pred;
|
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
/* If they are not translations for the same basic block, they can't
|
|
|
|
be equal. */
|
2004-06-12 02:18:35 +02:00
|
|
|
if (b1 != b2)
|
2004-05-13 08:41:07 +02:00
|
|
|
return false;
|
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* If they are for the same basic block, determine if the
|
|
|
|
expressions are equal. */
|
|
|
|
if (expressions_equal_p (ve1->e, ve2->e))
|
2004-06-12 02:18:35 +02:00
|
|
|
return true;
|
|
|
|
|
|
|
|
return false;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* Search in the phi translation table for the translation of
|
|
|
|
expression E in basic block PRED. Return the translated value, if
|
|
|
|
found, NULL otherwise. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static inline tree
|
2004-06-12 02:18:35 +02:00
|
|
|
phi_trans_lookup (tree e, basic_block pred)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
void **slot;
|
2004-06-17 14:53:33 +02:00
|
|
|
struct expr_pred_trans_d ept;
|
|
|
|
ept.e = e;
|
|
|
|
ept.pred = pred;
|
2004-06-29 03:53:04 +02:00
|
|
|
ept.hashcode = vn_compute (e, (unsigned long) pred, NULL);
|
2004-06-17 14:53:33 +02:00
|
|
|
slot = htab_find_slot_with_hash (phi_translate_table, &ept, ept.hashcode,
|
2004-06-12 02:18:35 +02:00
|
|
|
NO_INSERT);
|
|
|
|
if (!slot)
|
|
|
|
return NULL;
|
|
|
|
else
|
|
|
|
return ((expr_pred_trans_t) *slot)->v;
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* Add the tuple mapping from {expression E, basic block PRED} to
|
|
|
|
value V, to the phi translation table. */
|
2004-06-12 02:18:35 +02:00
|
|
|
|
|
|
|
static inline void
|
|
|
|
phi_trans_add (tree e, tree v, basic_block pred)
|
|
|
|
{
|
|
|
|
void **slot;
|
|
|
|
expr_pred_trans_t new_pair = xmalloc (sizeof (*new_pair));
|
|
|
|
new_pair->e = e;
|
|
|
|
new_pair->pred = pred;
|
|
|
|
new_pair->v = v;
|
2004-06-29 03:53:04 +02:00
|
|
|
new_pair->hashcode = vn_compute (e, (unsigned long) pred, NULL);
|
2004-06-12 02:18:35 +02:00
|
|
|
slot = htab_find_slot_with_hash (phi_translate_table, new_pair,
|
|
|
|
new_pair->hashcode, INSERT);
|
|
|
|
if (*slot)
|
|
|
|
free (*slot);
|
|
|
|
*slot = (void *) new_pair;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* Add expression E to the expression set of value V. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-23 22:12:44 +02:00
|
|
|
void
|
2004-06-12 02:18:35 +02:00
|
|
|
add_to_value (tree v, tree e)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-21 23:57:33 +02:00
|
|
|
/* For values representing non-CST nodes, but still function
|
|
|
|
invariant things we mark TREE_CONSTANT as true and set the tree
|
|
|
|
chain to the actual constant. This is because unlike values
|
|
|
|
involving expressions, which are only available to use where the
|
|
|
|
expressions are live, a function invariant can be remade
|
|
|
|
anywhere, and thus, is available everywhere, just like a constant. */
|
|
|
|
if (TREE_CODE_CLASS (TREE_CODE (v)) == 'c')
|
|
|
|
return;
|
|
|
|
else if (is_gimple_min_invariant (v))
|
2004-06-14 00:52:34 +02:00
|
|
|
{
|
|
|
|
TREE_CONSTANT (v) = true;
|
|
|
|
TREE_CHAIN (v) = e;
|
2004-06-21 23:57:33 +02:00
|
|
|
return;
|
2004-06-14 00:52:34 +02:00
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-23 22:12:44 +02:00
|
|
|
if (VALUE_HANDLE_EXPR_SET (v) == NULL)
|
|
|
|
VALUE_HANDLE_EXPR_SET (v) = set_new (false);
|
2004-06-12 02:18:35 +02:00
|
|
|
|
2004-06-23 22:12:44 +02:00
|
|
|
insert_into_set (VALUE_HANDLE_EXPR_SET (v), e);
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* Return true if value V exists in the bitmap for SET. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static inline bool
|
2004-06-17 14:53:33 +02:00
|
|
|
value_exists_in_set_bitmap (value_set_t set, tree v)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
if (!set->values)
|
|
|
|
return false;
|
2004-06-23 22:12:44 +02:00
|
|
|
|
|
|
|
return bitmap_bit_p (set->values, VALUE_HANDLE_ID (v));
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* Remove value V from the bitmap for SET. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static void
|
2004-06-17 14:53:33 +02:00
|
|
|
value_remove_from_set_bitmap (value_set_t set, tree v)
|
2004-06-12 02:18:35 +02:00
|
|
|
{
|
|
|
|
#ifdef ENABLE_CHECKING
|
|
|
|
if (!set->indexed)
|
|
|
|
abort ();
|
|
|
|
#endif
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (!set->values)
|
|
|
|
return;
|
2004-06-23 22:12:44 +02:00
|
|
|
|
|
|
|
bitmap_clear_bit (set->values, VALUE_HANDLE_ID (v));
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* Insert the value number V into the bitmap of values existing in
|
2004-06-12 02:18:35 +02:00
|
|
|
SET. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static inline void
|
2004-06-17 14:53:33 +02:00
|
|
|
value_insert_into_set_bitmap (value_set_t set, tree v)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
#ifdef ENABLE_CHECKING
|
|
|
|
if (!set->indexed)
|
|
|
|
abort ();
|
|
|
|
#endif
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (set->values == NULL)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
set->values = BITMAP_GGC_ALLOC ();
|
|
|
|
bitmap_clear (set->values);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-23 22:12:44 +02:00
|
|
|
|
|
|
|
bitmap_set_bit (set->values, VALUE_HANDLE_ID (v));
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Create a new set. */
|
|
|
|
|
|
|
|
static value_set_t
|
|
|
|
set_new (bool indexed)
|
|
|
|
{
|
|
|
|
value_set_t ret;
|
|
|
|
ret = pool_alloc (value_set_pool);
|
|
|
|
ret->head = ret->tail = NULL;
|
|
|
|
ret->length = 0;
|
|
|
|
ret->indexed = indexed;
|
|
|
|
ret->values = NULL;
|
2004-05-13 08:41:07 +02:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Insert EXPR into SET. */
|
|
|
|
|
|
|
|
static void
|
|
|
|
insert_into_set (value_set_t set, tree expr)
|
|
|
|
{
|
|
|
|
value_set_node_t newnode = pool_alloc (value_set_node_pool);
|
|
|
|
tree val = get_value_handle (expr);
|
|
|
|
|
|
|
|
if (val == NULL)
|
|
|
|
abort ();
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* For indexed sets, insert the value into the set value bitmap.
|
|
|
|
For all sets, add it to the linked list and increment the list
|
|
|
|
length. */
|
|
|
|
if (set->indexed)
|
|
|
|
value_insert_into_set_bitmap (set, val);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
newnode->next = NULL;
|
|
|
|
newnode->expr = expr;
|
|
|
|
set->length ++;
|
|
|
|
if (set->head == NULL)
|
|
|
|
{
|
|
|
|
set->head = set->tail = newnode;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
set->tail->next = newnode;
|
|
|
|
set->tail = newnode;
|
|
|
|
}
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Copy the set ORIG to the set DEST. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static void
|
|
|
|
set_copy (value_set_t dest, value_set_t orig)
|
|
|
|
{
|
|
|
|
value_set_node_t node;
|
|
|
|
|
|
|
|
if (!orig || !orig->head)
|
|
|
|
return;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
for (node = orig->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
|
|
|
{
|
|
|
|
insert_into_set (dest, node->expr);
|
|
|
|
}
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Remove EXPR from SET. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static void
|
2004-06-12 02:18:35 +02:00
|
|
|
set_remove (value_set_t set, tree expr)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t node, prev;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Remove the value of EXPR from the bitmap, decrement the set
|
|
|
|
length, and remove it from the actual double linked list. */
|
|
|
|
value_remove_from_set_bitmap (set, get_value_handle (expr));
|
|
|
|
set->length--;
|
|
|
|
prev = NULL;
|
|
|
|
for (node = set->head;
|
|
|
|
node != NULL;
|
|
|
|
prev = node, node = node->next)
|
|
|
|
{
|
|
|
|
if (node->expr == expr)
|
|
|
|
{
|
|
|
|
if (prev == NULL)
|
|
|
|
set->head = node->next;
|
|
|
|
else
|
|
|
|
prev->next= node->next;
|
|
|
|
|
|
|
|
if (node == set->tail)
|
|
|
|
set->tail = prev;
|
|
|
|
pool_free (value_set_node_pool, node);
|
|
|
|
return;
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Return true if SET contains the value VAL. */
|
|
|
|
|
|
|
|
static bool
|
|
|
|
set_contains_value (value_set_t set, tree val)
|
|
|
|
{
|
2004-06-21 23:57:33 +02:00
|
|
|
/* All true constants are in every set. */
|
|
|
|
if (TREE_CODE_CLASS (TREE_CODE (val)) == 'c')
|
|
|
|
return true;
|
2004-06-12 02:18:35 +02:00
|
|
|
/* This is only referring to the flag above that we set on
|
2004-06-21 23:57:33 +02:00
|
|
|
values referring to invariants, because we know that we
|
2004-06-12 02:18:35 +02:00
|
|
|
are dealing with one of the value handles we created. */
|
2004-06-21 23:57:33 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (TREE_CONSTANT (val))
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if (set->length == 0)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
return value_exists_in_set_bitmap (set, val);
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Replace the leader for the value LOOKFOR in SET with EXPR. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static void
|
2004-06-12 02:18:35 +02:00
|
|
|
set_replace_value (value_set_t set, tree lookfor, tree expr)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t node = set->head;
|
|
|
|
|
|
|
|
/* The lookup is probably more expensive than walking the linked
|
|
|
|
list when we have only a small number of nodes. */
|
|
|
|
if (!set_contains_value (set, lookfor))
|
|
|
|
return;
|
|
|
|
|
|
|
|
for (node = set->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
if (get_value_handle (node->expr) == lookfor)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
node->expr = expr;
|
|
|
|
return;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Return true if the set contains expression (not value) EXPR. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static bool
|
2004-06-12 02:18:35 +02:00
|
|
|
set_contains (value_set_t set, tree expr)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t node;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
for (node = set->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
if (operand_equal_p (node->expr, expr, 0))
|
|
|
|
return true;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Subtract set B from set A, and return the new set. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static value_set_t
|
|
|
|
set_subtract (value_set_t a, value_set_t b, bool indexed)
|
|
|
|
{
|
|
|
|
value_set_t ret = set_new (indexed);
|
|
|
|
value_set_node_t node;
|
|
|
|
for (node = a->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
|
|
|
{
|
|
|
|
if (!set_contains (b, node->expr))
|
|
|
|
insert_into_set (ret, node->expr);
|
|
|
|
}
|
|
|
|
return ret;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Return true if two sets are equal. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static bool
|
|
|
|
set_equal (value_set_t a, value_set_t b)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t node;
|
|
|
|
|
|
|
|
if (a->length != b->length)
|
|
|
|
return false;
|
|
|
|
for (node = a->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
|
|
|
{
|
|
|
|
if (!set_contains_value (b, get_value_handle (node->expr)))
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return true;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Replace the value for EXPR in SET with EXPR. */
|
|
|
|
static void
|
|
|
|
value_replace_in_set (value_set_t set, tree expr)
|
|
|
|
{
|
|
|
|
tree val = get_value_handle (expr);
|
|
|
|
|
|
|
|
if (set->length == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
set_replace_value (set, val, expr);
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Insert the value for EXPR into SET, if it doesn't exist already. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static void
|
|
|
|
value_insert_into_set (value_set_t set, tree expr)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
tree val = get_value_handle (expr);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-21 23:57:33 +02:00
|
|
|
/* Constant and invariant values exist everywhere, and thus,
|
|
|
|
actually keeping them in the sets is pointless. */
|
2004-06-12 02:18:35 +02:00
|
|
|
if (TREE_CONSTANT (val))
|
|
|
|
return;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (!set_contains_value (set, val))
|
|
|
|
insert_into_set (set, expr);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Print out the value_set SET to OUTFILE. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static void
|
|
|
|
print_value_set (FILE *outfile, value_set_t set,
|
|
|
|
const char *setname, int blockindex)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t node;
|
|
|
|
fprintf (outfile, "%s[%d] := { ", setname, blockindex);
|
|
|
|
if (set)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
for (node = set->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
print_generic_expr (outfile, node->expr, 0);
|
2004-06-17 14:53:33 +02:00
|
|
|
|
|
|
|
fprintf (outfile, " (");
|
|
|
|
print_generic_expr (outfile, get_value_handle (node->expr), 0);
|
|
|
|
fprintf (outfile, ") ");
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (node->next)
|
|
|
|
fprintf (outfile, ", ");
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
fprintf (outfile, " }\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Print out the expressions that have VAL to OUTFILE. */
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
void
|
|
|
|
print_value_expressions (FILE *outfile, tree val)
|
|
|
|
{
|
2004-06-23 22:12:44 +02:00
|
|
|
if (VALUE_HANDLE_EXPR_SET (val))
|
|
|
|
{
|
|
|
|
char s[10];
|
|
|
|
sprintf (s, "VH.%04d", VALUE_HANDLE_ID (val));
|
|
|
|
print_value_set (outfile, VALUE_HANDLE_EXPR_SET (val), s, 0);
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
void
|
|
|
|
debug_value_expressions (tree val)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
print_value_expressions (stderr, val);
|
|
|
|
}
|
|
|
|
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
void debug_value_set (value_set_t, const char *, int);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
void
|
|
|
|
debug_value_set (value_set_t set, const char *setname, int blockindex)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
print_value_set (stderr, set, setname, blockindex);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Translate EXPR using phis in PHIBLOCK, so that it has the values of
|
|
|
|
the phis in PRED. Return NULL if we can't find a leader for each
|
|
|
|
part of the translated expression. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static tree
|
2004-06-29 03:53:04 +02:00
|
|
|
phi_translate (tree expr, value_set_t set, basic_block pred,
|
2004-06-12 02:18:35 +02:00
|
|
|
basic_block phiblock)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
tree phitrans = NULL;
|
|
|
|
tree oldexpr = expr;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (expr == NULL)
|
|
|
|
return NULL;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Phi translations of a given expression don't change, */
|
|
|
|
phitrans = phi_trans_lookup (expr, pred);
|
|
|
|
if (phitrans)
|
|
|
|
return phitrans;
|
|
|
|
|
|
|
|
|
|
|
|
switch (TREE_CODE_CLASS (TREE_CODE (expr)))
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
case '2':
|
|
|
|
{
|
|
|
|
tree oldop1 = TREE_OPERAND (expr, 0);
|
|
|
|
tree oldop2 = TREE_OPERAND (expr, 1);
|
|
|
|
tree newop1;
|
|
|
|
tree newop2;
|
|
|
|
tree newexpr;
|
|
|
|
|
|
|
|
newop1 = phi_translate (find_leader (set, oldop1),
|
|
|
|
set, pred, phiblock);
|
|
|
|
if (newop1 == NULL)
|
|
|
|
return NULL;
|
|
|
|
newop2 = phi_translate (find_leader (set, oldop2),
|
|
|
|
set, pred, phiblock);
|
|
|
|
if (newop2 == NULL)
|
|
|
|
return NULL;
|
|
|
|
if (newop1 != oldop1 || newop2 != oldop2)
|
|
|
|
{
|
|
|
|
newexpr = pool_alloc (binary_node_pool);
|
|
|
|
memcpy (newexpr, expr, tree_size (expr));
|
2004-06-18 16:05:20 +02:00
|
|
|
create_tree_ann (newexpr);
|
2004-06-12 02:18:35 +02:00
|
|
|
TREE_OPERAND (newexpr, 0) = newop1 == oldop1 ? oldop1 : get_value_handle (newop1);
|
|
|
|
TREE_OPERAND (newexpr, 1) = newop2 == oldop2 ? oldop2 : get_value_handle (newop2);
|
2004-06-29 03:53:04 +02:00
|
|
|
vn_lookup_or_add (newexpr, NULL);
|
2004-06-12 02:18:35 +02:00
|
|
|
expr = newexpr;
|
|
|
|
phi_trans_add (oldexpr, newexpr, pred);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
2004-06-21 23:57:33 +02:00
|
|
|
/* XXX: Until we have PRE of loads working, none will be ANTIC.
|
|
|
|
*/
|
|
|
|
case 'r':
|
|
|
|
return NULL;
|
|
|
|
break;
|
2004-06-12 02:18:35 +02:00
|
|
|
case '1':
|
|
|
|
{
|
|
|
|
tree oldop1 = TREE_OPERAND (expr, 0);
|
|
|
|
tree newop1;
|
|
|
|
tree newexpr;
|
|
|
|
|
|
|
|
newop1 = phi_translate (find_leader (set, oldop1),
|
|
|
|
set, pred, phiblock);
|
|
|
|
if (newop1 == NULL)
|
|
|
|
return NULL;
|
|
|
|
if (newop1 != oldop1)
|
|
|
|
{
|
2004-06-17 14:53:33 +02:00
|
|
|
newexpr = pool_alloc (unary_node_pool);
|
2004-06-12 02:18:35 +02:00
|
|
|
memcpy (newexpr, expr, tree_size (expr));
|
2004-06-18 16:05:20 +02:00
|
|
|
create_tree_ann (newexpr);
|
2004-06-12 02:18:35 +02:00
|
|
|
TREE_OPERAND (newexpr, 0) = get_value_handle (newop1);
|
2004-06-29 03:53:04 +02:00
|
|
|
vn_lookup_or_add (newexpr, NULL);
|
2004-06-12 02:18:35 +02:00
|
|
|
expr = newexpr;
|
|
|
|
phi_trans_add (oldexpr, newexpr, pred);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case 'd':
|
|
|
|
abort ();
|
|
|
|
case 'x':
|
|
|
|
{
|
|
|
|
tree phi = NULL;
|
|
|
|
int i;
|
|
|
|
if (TREE_CODE (expr) != SSA_NAME)
|
|
|
|
abort ();
|
|
|
|
if (TREE_CODE (SSA_NAME_DEF_STMT (expr)) == PHI_NODE)
|
|
|
|
phi = SSA_NAME_DEF_STMT (expr);
|
|
|
|
else
|
|
|
|
return expr;
|
|
|
|
|
|
|
|
for (i = 0; i < PHI_NUM_ARGS (phi); i++)
|
|
|
|
if (PHI_ARG_EDGE (phi, i)->src == pred)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
tree val;
|
|
|
|
if (is_undefined_value (PHI_ARG_DEF (phi, i)))
|
|
|
|
return NULL;
|
2004-06-29 03:53:04 +02:00
|
|
|
val = vn_lookup_or_add (PHI_ARG_DEF (phi, i), NULL);
|
2004-06-12 02:18:35 +02:00
|
|
|
return PHI_ARG_DEF (phi, i);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
|
|
|
break;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
return expr;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2004-06-12 02:18:35 +02:00
|
|
|
phi_translate_set (value_set_t dest, value_set_t set, basic_block pred,
|
|
|
|
basic_block phiblock)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t node;
|
|
|
|
for (node = set->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
tree translated;
|
|
|
|
translated = phi_translate (node->expr, set, pred, phiblock);
|
|
|
|
phi_trans_add (node->expr, translated, pred);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (translated != NULL)
|
|
|
|
value_insert_into_set (dest, translated);
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
/* Find the leader for a value (i.e., the name representing that
|
2004-06-12 02:18:35 +02:00
|
|
|
value) in a given set, and return it. Return NULL if no leader is
|
|
|
|
found. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static tree
|
|
|
|
find_leader (value_set_t set, tree val)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t node;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (val == NULL)
|
|
|
|
return NULL;
|
2004-06-29 03:53:04 +02:00
|
|
|
|
2004-06-21 23:57:33 +02:00
|
|
|
/* True constants represent themselves. */
|
|
|
|
if (TREE_CODE_CLASS (TREE_CODE (val)) == 'c')
|
|
|
|
return val;
|
2004-06-29 03:53:04 +02:00
|
|
|
|
2004-06-21 23:57:33 +02:00
|
|
|
/* Invariants are still represented by values, since they may be
|
|
|
|
more than a single _CST node. */
|
2004-06-12 02:18:35 +02:00
|
|
|
if (TREE_CONSTANT (val))
|
|
|
|
return TREE_CHAIN (val);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (set->length == 0)
|
|
|
|
return NULL;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (value_exists_in_set_bitmap (set, val))
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
for (node = set->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
if (get_value_handle (node->expr) == val)
|
|
|
|
return node->expr;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
}
|
2004-06-29 03:53:04 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
return NULL;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Determine if the expression EXPR is valid in SET. This means that
|
|
|
|
we have a leader for each part of the expression (if it consists of
|
|
|
|
values), or the expression is an SSA_NAME.
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
NB: We never should run into a case where we have SSA_NAME +
|
|
|
|
SSA_NAME or SSA_NAME + value. The sets valid_in_set is called on,
|
|
|
|
the ANTIC sets, will only ever have SSA_NAME's or binary value
|
|
|
|
expression (IE VALUE1 + VALUE2) */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static bool
|
2004-06-12 02:18:35 +02:00
|
|
|
valid_in_set (value_set_t set, tree expr)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
switch (TREE_CODE_CLASS (TREE_CODE (expr)))
|
|
|
|
{
|
|
|
|
case '2':
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
tree op1 = TREE_OPERAND (expr, 0);
|
|
|
|
tree op2 = TREE_OPERAND (expr, 1);
|
|
|
|
return set_contains_value (set, op1) && set_contains_value (set, op2);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
break;
|
|
|
|
case '1':
|
|
|
|
{
|
|
|
|
tree op1 = TREE_OPERAND (expr, 0);
|
|
|
|
return set_contains_value (set, op1);
|
|
|
|
}
|
|
|
|
break;
|
2004-06-21 23:57:33 +02:00
|
|
|
/* XXX: Until PRE of loads works, no reference nodes are ANTIC.
|
|
|
|
*/
|
|
|
|
case 'r':
|
|
|
|
{
|
|
|
|
return false;
|
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
case 'x':
|
|
|
|
{
|
|
|
|
if (TREE_CODE (expr) == SSA_NAME)
|
|
|
|
return true;
|
|
|
|
abort ();
|
|
|
|
}
|
|
|
|
case 'c':
|
|
|
|
abort ();
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2004-06-17 14:53:33 +02:00
|
|
|
/* Clean the set of expressions that are no longer valid in SET. This
|
|
|
|
means expressions that are made up of values we have no leaders for
|
|
|
|
in SET. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static void
|
2004-06-12 02:18:35 +02:00
|
|
|
clean (value_set_t set)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t node;
|
|
|
|
value_set_node_t next;
|
|
|
|
node = set->head;
|
|
|
|
while (node)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
next = node->next;
|
|
|
|
if (!valid_in_set (set, node->expr))
|
|
|
|
set_remove (set, node->expr);
|
|
|
|
node = next;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Compute the ANTIC set for BLOCK.
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
ANTIC_OUT[BLOCK] = intersection of ANTIC_IN[b] for all succ(BLOCK), if
|
|
|
|
succs(BLOCK) > 1
|
|
|
|
ANTIC_OUT[BLOCK] = phi_translate (ANTIC_IN[succ(BLOCK)]) if
|
|
|
|
succs(BLOCK) == 1
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
ANTIC_IN[BLOCK] = clean(ANTIC_OUT[BLOCK] U EXP_GEN[BLOCK] -
|
|
|
|
TMP_GEN[BLOCK])
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
Iterate until fixpointed.
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
XXX: It would be nice to either write a set_clear, and use it for
|
|
|
|
antic_out, or to mark the antic_out set as deleted at the end
|
|
|
|
of this routine, so that the pool can hand the same memory back out
|
|
|
|
again for the next antic_out. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
|
|
|
|
static bool
|
|
|
|
compute_antic_aux (basic_block block)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
basic_block son;
|
|
|
|
edge e;
|
|
|
|
bool changed = false;
|
|
|
|
value_set_t S, old, ANTIC_OUT;
|
|
|
|
value_set_node_t node;
|
|
|
|
|
|
|
|
ANTIC_OUT = S = NULL;
|
|
|
|
/* If any edges from predecessors are abnormal, antic_in is empty, so
|
|
|
|
punt. Remember that the block has an incoming abnormal edge by
|
|
|
|
setting the BB_VISITED flag. */
|
|
|
|
if (! (block->flags & BB_VISITED))
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
for (e = block->pred; e; e = e->pred_next)
|
|
|
|
if (e->flags & EDGE_ABNORMAL)
|
|
|
|
{
|
|
|
|
block->flags |= BB_VISITED;
|
|
|
|
break;
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
if (block->flags & BB_VISITED)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
S = NULL;
|
|
|
|
goto visit_sons;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
old = set_new (false);
|
|
|
|
set_copy (old, ANTIC_IN (block));
|
|
|
|
ANTIC_OUT = set_new (true);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* If the block has no successors, ANTIC_OUT is empty, because it is
|
|
|
|
the exit block. */
|
|
|
|
if (block->succ == NULL);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* If we have one successor, we could have some phi nodes to
|
|
|
|
translate through. */
|
|
|
|
else if (block->succ->succ_next == NULL)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
phi_translate_set (ANTIC_OUT, ANTIC_IN(block->succ->dest),
|
|
|
|
block, block->succ->dest);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
/* If we have multiple successors, we take the intersection of all of
|
|
|
|
them. */
|
|
|
|
else
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
varray_type worklist;
|
|
|
|
edge e;
|
|
|
|
size_t i;
|
|
|
|
basic_block bprime, first;
|
|
|
|
|
|
|
|
VARRAY_BB_INIT (worklist, 1, "succ");
|
|
|
|
e = block->succ;
|
|
|
|
while (e)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
VARRAY_PUSH_BB (worklist, e->dest);
|
|
|
|
e = e->succ_next;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
first = VARRAY_BB (worklist, 0);
|
|
|
|
set_copy (ANTIC_OUT, ANTIC_IN (first));
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
for (i = 1; i < VARRAY_ACTIVE_SIZE (worklist); i++)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
bprime = VARRAY_BB (worklist, i);
|
|
|
|
node = ANTIC_OUT->head;
|
|
|
|
while (node)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
tree val;
|
|
|
|
value_set_node_t next = node->next;
|
|
|
|
val = get_value_handle (node->expr);
|
|
|
|
if (!set_contains_value (ANTIC_IN (bprime), val))
|
|
|
|
set_remove (ANTIC_OUT, node->expr);
|
|
|
|
node = next;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
VARRAY_CLEAR (worklist);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Generate ANTIC_OUT - TMP_GEN */
|
|
|
|
S = set_subtract (ANTIC_OUT, TMP_GEN (block), false);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Start ANTIC_IN with EXP_GEN - TMP_GEN */
|
|
|
|
ANTIC_IN (block) = set_subtract (EXP_GEN (block),TMP_GEN (block), true);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Then union in the ANTIC_OUT - TMP_GEN values, to get ANTIC_OUT U
|
|
|
|
EXP_GEN - TMP_GEN */
|
|
|
|
for (node = S->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_insert_into_set (ANTIC_IN (block), node->expr);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
clean (ANTIC_IN (block));
|
2004-06-17 14:53:33 +02:00
|
|
|
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (!set_equal (old, ANTIC_IN (block)))
|
|
|
|
changed = true;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
visit_sons:
|
|
|
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
|
|
|
{
|
|
|
|
if (ANTIC_OUT)
|
|
|
|
print_value_set (dump_file, ANTIC_OUT, "ANTIC_OUT", block->index);
|
|
|
|
print_value_set (dump_file, ANTIC_IN (block), "ANTIC_IN", block->index);
|
|
|
|
if (S)
|
|
|
|
print_value_set (dump_file, S, "S", block->index);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
for (son = first_dom_son (CDI_POST_DOMINATORS, block);
|
|
|
|
son;
|
|
|
|
son = next_dom_son (CDI_POST_DOMINATORS, son))
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
changed |= compute_antic_aux (son);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
return changed;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Compute ANTIC sets. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static void
|
2004-06-12 02:18:35 +02:00
|
|
|
compute_antic (void)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
bool changed = true;
|
|
|
|
basic_block bb;
|
|
|
|
int num_iterations = 0;
|
|
|
|
FOR_ALL_BB (bb)
|
|
|
|
{
|
|
|
|
ANTIC_IN (bb) = set_new (true);
|
2004-06-20 23:12:55 +02:00
|
|
|
if (bb->flags & BB_VISITED)
|
|
|
|
abort ();
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
while (changed)
|
|
|
|
{
|
|
|
|
num_iterations++;
|
|
|
|
changed = false;
|
|
|
|
changed = compute_antic_aux (EXIT_BLOCK_PTR);
|
|
|
|
}
|
2004-06-20 23:12:55 +02:00
|
|
|
FOR_ALL_BB (bb)
|
|
|
|
{
|
|
|
|
bb->flags &= ~BB_VISITED;
|
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
if (num_iterations > 2 && dump_file && (dump_flags & TDF_STATS))
|
|
|
|
fprintf (dump_file, "compute_antic required %d iterations\n", num_iterations);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-21 23:57:33 +02:00
|
|
|
|
|
|
|
/* Find a leader for an expression, or generate one using
|
|
|
|
create_expression_by_pieces if it's ANTIC but
|
|
|
|
complex.
|
|
|
|
BLOCK is the basic_block we are looking for leaders in.
|
|
|
|
EXPR is the expression to find a leader or generate for.
|
|
|
|
STMTS is the statement list to put the inserted expressions on.
|
|
|
|
Returns the SSA_NAME of the LHS of the generated expression or the
|
|
|
|
leader. */
|
|
|
|
|
|
|
|
static tree
|
|
|
|
find_or_generate_expression (basic_block block, tree expr, tree stmts)
|
|
|
|
{
|
|
|
|
tree genop;
|
|
|
|
genop = find_leader (AVAIL_OUT (block), expr);
|
|
|
|
/* Depending on the order we process DOM branches in, the value
|
|
|
|
may not have propagated to all the dom children yet during
|
|
|
|
this iteration. In this case, the value will always be in
|
c-typeck.c, [...]: Fix comment typos.
* c-typeck.c, cfgexpand.c, ddg.c, ddg.h, df.c, fold-const.c,
gcov.c, gimplify.c, modulo-sched.c, passes.c, tree-cfg.c,
tree-mudflap.c, tree-nrv.c, tree-outof-ssa.c, tree-ssa-dom.c,
tree-ssa-dse.c, tree-ssa-operands.c, tree-ssa-pre.c,
tree-tailcall.c: Fix comment typos. Follow spelling
conventions.
From-SVN: r83703
2004-06-26 07:03:55 +02:00
|
|
|
the NEW_SETS for us already, having been propagated from our
|
2004-06-21 23:57:33 +02:00
|
|
|
dominator. */
|
|
|
|
if (genop == NULL)
|
|
|
|
genop = find_leader (NEW_SETS (block), expr);
|
|
|
|
/* If it's still NULL, see if it is a complex expression, and if
|
|
|
|
so, generate it recursively, otherwise, abort, because it's
|
|
|
|
not really . */
|
|
|
|
if (genop == NULL)
|
|
|
|
{
|
2004-06-23 22:12:44 +02:00
|
|
|
genop = VALUE_HANDLE_EXPR_SET (expr)->head->expr;
|
2004-06-21 23:57:33 +02:00
|
|
|
if (TREE_CODE_CLASS (TREE_CODE (genop)) != '1'
|
|
|
|
&& TREE_CODE_CLASS (TREE_CODE (genop)) != '2')
|
|
|
|
abort ();
|
|
|
|
genop = create_expression_by_pieces (block, genop, stmts);
|
|
|
|
}
|
|
|
|
return genop;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* Create an expression in pieces, so that we can handle very complex
|
|
|
|
expressions that may be ANTIC, but not necessary GIMPLE.
|
|
|
|
BLOCK is the basic block the expression will be inserted into,
|
|
|
|
EXPR is the expression to insert (in value form)
|
|
|
|
STMTS is a statement list to append the necessary insertions into.
|
|
|
|
|
|
|
|
This function will abort if we hit some value that shouldn't be
|
|
|
|
ANTIC but is (IE there is no leader for it, or its components).
|
|
|
|
This function may also generate expressions that are themselves
|
|
|
|
partially or fully redundant. Those that are will be either made
|
|
|
|
fully redundant during the next iteration of insert (for partially
|
|
|
|
redundant ones), or eliminated by eliminate (for fully redundant
|
|
|
|
ones). */
|
|
|
|
|
|
|
|
static tree
|
|
|
|
create_expression_by_pieces (basic_block block, tree expr, tree stmts)
|
|
|
|
{
|
|
|
|
tree name = NULL_TREE;
|
|
|
|
tree newexpr = NULL_TREE;
|
|
|
|
tree v;
|
|
|
|
|
|
|
|
switch (TREE_CODE_CLASS (TREE_CODE (expr)))
|
|
|
|
{
|
|
|
|
case '2':
|
|
|
|
{
|
|
|
|
tree_stmt_iterator tsi;
|
|
|
|
tree genop1, genop2;
|
|
|
|
tree temp;
|
|
|
|
tree op1 = TREE_OPERAND (expr, 0);
|
|
|
|
tree op2 = TREE_OPERAND (expr, 1);
|
|
|
|
genop1 = find_or_generate_expression (block, op1, stmts);
|
|
|
|
genop2 = find_or_generate_expression (block, op2, stmts);
|
|
|
|
temp = create_tmp_var (TREE_TYPE (expr), "pretmp");
|
|
|
|
add_referenced_tmp_var (temp);
|
|
|
|
newexpr = build (TREE_CODE (expr), TREE_TYPE (expr),
|
|
|
|
genop1, genop2);
|
|
|
|
newexpr = build (MODIFY_EXPR, TREE_TYPE (expr),
|
|
|
|
temp, newexpr);
|
|
|
|
name = make_ssa_name (temp, newexpr);
|
|
|
|
TREE_OPERAND (newexpr, 0) = name;
|
|
|
|
tsi = tsi_last (stmts);
|
|
|
|
tsi_link_after (&tsi, newexpr, TSI_CONTINUE_LINKING);
|
|
|
|
pre_stats.insertions++;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case '1':
|
|
|
|
{
|
|
|
|
tree_stmt_iterator tsi;
|
|
|
|
tree genop1;
|
|
|
|
tree temp;
|
|
|
|
tree op1 = TREE_OPERAND (expr, 0);
|
|
|
|
genop1 = find_or_generate_expression (block, op1, stmts);
|
|
|
|
temp = create_tmp_var (TREE_TYPE (expr), "pretmp");
|
|
|
|
add_referenced_tmp_var (temp);
|
|
|
|
newexpr = build (TREE_CODE (expr), TREE_TYPE (expr),
|
|
|
|
genop1);
|
|
|
|
newexpr = build (MODIFY_EXPR, TREE_TYPE (expr),
|
|
|
|
temp, newexpr);
|
|
|
|
name = make_ssa_name (temp, newexpr);
|
|
|
|
TREE_OPERAND (newexpr, 0) = name;
|
|
|
|
tsi = tsi_last (stmts);
|
|
|
|
tsi_link_after (&tsi, newexpr, TSI_CONTINUE_LINKING);
|
|
|
|
pre_stats.insertions++;
|
|
|
|
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
abort ();
|
|
|
|
|
|
|
|
}
|
|
|
|
v = get_value_handle (expr);
|
2004-06-29 03:53:04 +02:00
|
|
|
vn_add (name, v, NULL);
|
2004-06-21 23:57:33 +02:00
|
|
|
insert_into_set (NEW_SETS (block), name);
|
|
|
|
value_insert_into_set (AVAIL_OUT (block), name);
|
|
|
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
|
|
|
{
|
|
|
|
fprintf (dump_file, "Inserted ");
|
|
|
|
print_generic_expr (dump_file, newexpr, 0);
|
|
|
|
fprintf (dump_file, " in predecessor %d\n", block->index);
|
|
|
|
}
|
|
|
|
return name;
|
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Perform insertion of partially redundant values.
|
|
|
|
For BLOCK, do the following:
|
|
|
|
1. Propagate the NEW_SETS of the dominator into the current block.
|
|
|
|
If the block has multiple predecessors,
|
|
|
|
2a. Iterate over the ANTIC expressions for the block to see if
|
|
|
|
any of them are partially redundant.
|
|
|
|
2b. If so, insert them into the necessary predecessors to make
|
|
|
|
the expression fully redundant.
|
|
|
|
2c. Insert a new PHI merging the values of the predecessors.
|
|
|
|
2d. Insert the new PHI, and the new expressions, into the
|
|
|
|
NEW_SETS set.
|
|
|
|
3. Recursively call ourselves on the dominator children of BLOCK.
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
*/
|
|
|
|
static bool
|
|
|
|
insert_aux (basic_block block)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
basic_block son;
|
|
|
|
bool new_stuff = false;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (block)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t e;
|
|
|
|
basic_block dom;
|
|
|
|
dom = get_immediate_dominator (CDI_DOMINATORS, block);
|
|
|
|
if (dom)
|
2004-06-10 23:41:08 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
e = NEW_SETS (dom)->head;
|
|
|
|
while (e)
|
2004-06-10 23:41:08 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
insert_into_set (NEW_SETS (block), e->expr);
|
|
|
|
value_replace_in_set (AVAIL_OUT (block), e->expr);
|
|
|
|
e = e->next;
|
2004-06-10 23:41:08 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
if (block->pred->pred_next)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_node_t node;
|
|
|
|
for (node = ANTIC_IN (block)->head;
|
|
|
|
node;
|
|
|
|
node = node->next)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
if (TREE_CODE_CLASS (TREE_CODE (node->expr)) == '2'
|
|
|
|
|| TREE_CODE_CLASS (TREE_CODE (node->expr)) == '1')
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
tree *avail;
|
|
|
|
tree val;
|
|
|
|
bool by_some = false;
|
2004-06-17 14:53:33 +02:00
|
|
|
bool cant_insert = false;
|
2004-06-12 02:18:35 +02:00
|
|
|
bool all_same = true;
|
|
|
|
tree first_s = NULL;
|
|
|
|
edge pred;
|
|
|
|
basic_block bprime;
|
|
|
|
tree eprime;
|
2004-06-14 03:27:57 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
val = get_value_handle (node->expr);
|
|
|
|
if (set_contains_value (PHI_GEN (block), val))
|
|
|
|
continue;
|
|
|
|
if (set_contains_value (AVAIL_OUT (dom), val))
|
|
|
|
{
|
|
|
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
|
|
|
fprintf (dump_file, "Found fully redundant value\n");
|
|
|
|
continue;
|
|
|
|
}
|
2004-06-14 03:27:57 +02:00
|
|
|
|
|
|
|
avail = xcalloc (last_basic_block, sizeof (tree));
|
2004-06-12 02:18:35 +02:00
|
|
|
for (pred = block->pred;
|
|
|
|
pred;
|
|
|
|
pred = pred->pred_next)
|
|
|
|
{
|
|
|
|
tree vprime;
|
|
|
|
tree edoubleprime;
|
|
|
|
bprime = pred->src;
|
|
|
|
eprime = phi_translate (node->expr,
|
|
|
|
ANTIC_IN (block),
|
|
|
|
bprime, block);
|
2004-06-14 03:27:57 +02:00
|
|
|
|
|
|
|
/* eprime will generally only be NULL if the
|
|
|
|
value of the expression, translated
|
|
|
|
through the PHI for this predecessor, is
|
|
|
|
undefined. If that is the case, we can't
|
|
|
|
make the expression fully redundant,
|
|
|
|
because its value is undefined along a
|
|
|
|
predecessor path. We can thus break out
|
|
|
|
early because it doesn't matter what the
|
|
|
|
rest of the results are. */
|
2004-06-12 02:18:35 +02:00
|
|
|
if (eprime == NULL)
|
2004-06-14 03:27:57 +02:00
|
|
|
{
|
|
|
|
cant_insert = true;
|
|
|
|
break;
|
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
|
|
|
|
vprime = get_value_handle (eprime);
|
|
|
|
if (!vprime)
|
|
|
|
abort ();
|
|
|
|
edoubleprime = find_leader (AVAIL_OUT (bprime),
|
|
|
|
vprime);
|
|
|
|
if (edoubleprime == NULL)
|
|
|
|
{
|
|
|
|
avail[bprime->index] = eprime;
|
|
|
|
all_same = false;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
avail[bprime->index] = edoubleprime;
|
2004-06-17 14:53:33 +02:00
|
|
|
by_some = true;
|
2004-06-12 02:18:35 +02:00
|
|
|
if (first_s == NULL)
|
|
|
|
first_s = edoubleprime;
|
|
|
|
else if (first_s != edoubleprime)
|
|
|
|
all_same = false;
|
|
|
|
if (first_s != edoubleprime
|
|
|
|
&& operand_equal_p (first_s, edoubleprime, 0))
|
|
|
|
abort ();
|
|
|
|
}
|
|
|
|
}
|
2004-06-17 14:53:33 +02:00
|
|
|
/* If we can insert it, it's not the same value
|
|
|
|
already existing along every predecessor, and
|
|
|
|
it's defined by some predecessor, it is
|
|
|
|
partially redundant. */
|
2004-06-14 03:27:57 +02:00
|
|
|
if (!cant_insert && !all_same && by_some)
|
2004-06-12 02:18:35 +02:00
|
|
|
{
|
|
|
|
tree type = TREE_TYPE (avail[block->pred->src->index]);
|
2004-06-17 14:53:33 +02:00
|
|
|
tree temp;
|
2004-06-12 02:18:35 +02:00
|
|
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
|
|
|
{
|
|
|
|
fprintf (dump_file, "Found partial redundancy for expression ");
|
|
|
|
print_generic_expr (dump_file, node->expr, 0);
|
|
|
|
fprintf (dump_file, "\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Make the necessary insertions. */
|
|
|
|
for (pred = block->pred;
|
|
|
|
pred;
|
|
|
|
pred = pred->pred_next)
|
|
|
|
{
|
2004-06-21 23:57:33 +02:00
|
|
|
tree stmts = alloc_stmt_list ();
|
|
|
|
tree builtexpr;
|
2004-06-12 02:18:35 +02:00
|
|
|
bprime = pred->src;
|
|
|
|
eprime = avail[bprime->index];
|
2004-06-21 23:57:33 +02:00
|
|
|
if (TREE_CODE_CLASS (TREE_CODE (eprime)) == '2'
|
|
|
|
|| TREE_CODE_CLASS (TREE_CODE (eprime)) == '1')
|
2004-06-12 02:18:35 +02:00
|
|
|
{
|
2004-06-21 23:57:33 +02:00
|
|
|
builtexpr = create_expression_by_pieces (bprime,
|
|
|
|
eprime,
|
|
|
|
stmts);
|
|
|
|
bsi_insert_on_edge (pred, stmts);
|
2004-06-12 02:18:35 +02:00
|
|
|
bsi_commit_edge_inserts (NULL);
|
2004-06-21 23:57:33 +02:00
|
|
|
avail[bprime->index] = builtexpr;
|
|
|
|
}
|
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Now build a phi for the new variable. */
|
|
|
|
temp = create_tmp_var (type, "prephitmp");
|
|
|
|
add_referenced_tmp_var (temp);
|
|
|
|
temp = create_phi_node (temp, block);
|
2004-06-29 03:53:04 +02:00
|
|
|
vn_add (PHI_RESULT (temp), val, NULL);
|
2004-06-12 02:18:35 +02:00
|
|
|
|
|
|
|
#if 0
|
|
|
|
if (!set_contains_value (AVAIL_OUT (block), val))
|
|
|
|
insert_into_set (AVAIL_OUT (block),
|
|
|
|
PHI_RESULT (temp));
|
|
|
|
else
|
|
|
|
#endif
|
|
|
|
value_replace_in_set (AVAIL_OUT (block),
|
|
|
|
PHI_RESULT (temp));
|
|
|
|
for (pred = block->pred;
|
|
|
|
pred;
|
|
|
|
pred = pred->pred_next)
|
|
|
|
{
|
|
|
|
add_phi_arg (&temp, avail[pred->src->index],
|
|
|
|
pred);
|
|
|
|
}
|
|
|
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
|
|
|
{
|
|
|
|
fprintf (dump_file, "Created phi ");
|
|
|
|
print_generic_expr (dump_file, temp, 0);
|
|
|
|
fprintf (dump_file, " in block %d\n", block->index);
|
|
|
|
}
|
|
|
|
pre_stats.phis++;
|
|
|
|
new_stuff = true;
|
|
|
|
insert_into_set (NEW_SETS (block),
|
|
|
|
PHI_RESULT (temp));
|
|
|
|
insert_into_set (PHI_GEN (block),
|
|
|
|
PHI_RESULT (temp));
|
|
|
|
}
|
|
|
|
|
|
|
|
free (avail);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
for (son = first_dom_son (CDI_DOMINATORS, block);
|
|
|
|
son;
|
|
|
|
son = next_dom_son (CDI_DOMINATORS, son))
|
|
|
|
{
|
|
|
|
new_stuff |= insert_aux (son);
|
|
|
|
}
|
|
|
|
|
|
|
|
return new_stuff;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Perform insertion of partially redundant values. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static void
|
|
|
|
insert (void)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
bool new_stuff = true;
|
2004-05-13 08:41:07 +02:00
|
|
|
basic_block bb;
|
2004-06-12 02:18:35 +02:00
|
|
|
int num_iterations = 0;
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
FOR_ALL_BB (bb)
|
|
|
|
NEW_SETS (bb) = set_new (true);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
while (new_stuff)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
num_iterations++;
|
|
|
|
new_stuff = false;
|
|
|
|
new_stuff = insert_aux (ENTRY_BLOCK_PTR);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
if (num_iterations > 2 && dump_file && (dump_flags & TDF_STATS))
|
|
|
|
fprintf (dump_file, "insert required %d iterations\n", num_iterations);
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
/* Return true if VAR is an SSA variable with no defining statement in
|
|
|
|
this procedure, *AND* isn't a live-on-entry parameter. */
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static bool
|
|
|
|
is_undefined_value (tree expr)
|
2004-06-29 03:53:04 +02:00
|
|
|
{
|
|
|
|
return (TREE_CODE (expr) == SSA_NAME
|
|
|
|
&& IS_EMPTY_STMT (SSA_NAME_DEF_STMT (expr))
|
|
|
|
/* PARM_DECLs and hard registers are always defined. */
|
|
|
|
&& TREE_CODE (SSA_NAME_VAR (expr)) != PARM_DECL
|
|
|
|
&& !DECL_HARD_REGISTER (SSA_NAME_VAR (expr)));
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* Given an SSA variable VAR and an expression EXPR, compute the value
|
|
|
|
number for EXPR and create a value handle (VAL) for it. If VAR and
|
|
|
|
EXPR are not the same, associate VAL with VAR. Finally, add VAR to
|
|
|
|
S1 and its value handle to S2.
|
|
|
|
|
|
|
|
VUSES represent the virtual use operands associated with EXPR (if
|
|
|
|
any). They are used when computing the hash value for EXPR. */
|
|
|
|
|
|
|
|
static inline void
|
|
|
|
add_to_sets (tree var, tree expr, vuse_optype vuses, value_set_t s1,
|
|
|
|
value_set_t s2)
|
|
|
|
{
|
|
|
|
tree val = vn_lookup_or_add (expr, vuses);
|
|
|
|
|
|
|
|
/* VAR and EXPR may be the same when processing statements for which
|
|
|
|
we are not computing value numbers (e.g., non-assignments, or
|
|
|
|
statements that make aliased stores). In those cases, we are
|
|
|
|
only interested in making VAR available as its own value. */
|
|
|
|
if (var != expr)
|
|
|
|
vn_add (var, val, vuses);
|
|
|
|
|
|
|
|
insert_into_set (s1, var);
|
|
|
|
value_insert_into_set (s2, var);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* Given a unary or binary expression EXPR, create and return a new
|
|
|
|
expresion with the same structure as EXPR but with its operands
|
|
|
|
replaced with the value handles of each of the operands of EXPR.
|
|
|
|
Insert EXPR's operands into the EXP_GEN set for BLOCK.
|
|
|
|
|
|
|
|
VUSES represent the virtual use operands associated with EXPR (if
|
|
|
|
any). They are used when computing the hash value for EXPR. */
|
|
|
|
|
|
|
|
static inline tree
|
|
|
|
create_value_expr_from (tree expr, basic_block block, vuse_optype vuses)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
enum tree_code code = TREE_CODE (expr);
|
|
|
|
tree vexpr;
|
|
|
|
|
|
|
|
#if defined ENABLE_CHECKING
|
|
|
|
if (TREE_CODE_CLASS (code) != '1'
|
|
|
|
&& TREE_CODE_CLASS (code) != '2')
|
2004-06-12 02:18:35 +02:00
|
|
|
abort ();
|
|
|
|
#endif
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
if (TREE_CODE_CLASS (code) == '1')
|
|
|
|
vexpr = pool_alloc (unary_node_pool);
|
|
|
|
else
|
|
|
|
vexpr = pool_alloc (binary_node_pool);
|
|
|
|
|
|
|
|
memcpy (vexpr, expr, tree_size (expr));
|
|
|
|
|
|
|
|
for (i = 0; i < TREE_CODE_LENGTH (code); i++)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-29 03:53:04 +02:00
|
|
|
tree op = TREE_OPERAND (expr, i);
|
|
|
|
tree val = vn_lookup_or_add (op, vuses);
|
|
|
|
if (!is_undefined_value (op))
|
|
|
|
value_insert_into_set (EXP_GEN (block), op);
|
|
|
|
TREE_OPERAND (vexpr, i) = val;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
return vexpr;
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Compute the AVAIL set for BLOCK.
|
|
|
|
This function performs value numbering of the statements in BLOCK.
|
|
|
|
The AVAIL sets are built from information we glean while doing this
|
2004-06-29 03:53:04 +02:00
|
|
|
value numbering, since the AVAIL sets contain only one entry per
|
2004-06-12 02:18:35 +02:00
|
|
|
value.
|
|
|
|
|
|
|
|
AVAIL_IN[BLOCK] = AVAIL_OUT[dom(BLOCK)].
|
2004-06-29 03:53:04 +02:00
|
|
|
AVAIL_OUT[BLOCK] = AVAIL_IN[BLOCK] U PHI_GEN[BLOCK] U TMP_GEN[BLOCK]. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
static void
|
|
|
|
compute_avail (basic_block block)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
|
|
|
basic_block son;
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* For arguments with default definitions, we pretend they are
|
|
|
|
defined in the entry block. */
|
|
|
|
if (block == ENTRY_BLOCK_PTR)
|
|
|
|
{
|
|
|
|
tree param;
|
|
|
|
for (param = DECL_ARGUMENTS (current_function_decl);
|
|
|
|
param;
|
|
|
|
param = TREE_CHAIN (param))
|
|
|
|
{
|
|
|
|
if (default_def (param) != NULL)
|
|
|
|
{
|
|
|
|
tree val;
|
|
|
|
tree def = default_def (param);
|
2004-06-29 03:53:04 +02:00
|
|
|
val = vn_lookup_or_add (def, NULL);
|
2004-06-12 02:18:35 +02:00
|
|
|
insert_into_set (TMP_GEN (block), def);
|
|
|
|
value_insert_into_set (AVAIL_OUT (block), def);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (block)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
block_stmt_iterator bsi;
|
|
|
|
tree stmt, phi;
|
|
|
|
basic_block dom;
|
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
/* Initially, the set of available values in BLOCK is that of
|
|
|
|
its immediate dominator. */
|
2004-06-12 02:18:35 +02:00
|
|
|
dom = get_immediate_dominator (CDI_DOMINATORS, block);
|
|
|
|
if (dom)
|
|
|
|
set_copy (AVAIL_OUT (block), AVAIL_OUT (dom));
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
/* Generate values for PHI nodes. */
|
tree.h (PHI_CHAIN): New.
* tree.h (PHI_CHAIN): New.
* (tree-cfg.c, tree-dfa.c, tree-flow-inline.h, tree-into-ssa.c,
tree-outof-ssa.c, tree-phinodes.c, tree-pretty-print.c,
tree-ssa-alias.c, tree-ssa-ccp.c, tree-ssa-dom.c, tree-ssa-dse.c,
tree-ssa-live.c, tree-ssa-loop.c, tree-ssa-phiopt.c, tree-ssa-pre.c,
tree-ssa.c, tree-tailcall.c): Use PHI_CHAIN instead of TREE_CHAIN
when traversing a list of PHI_NODEs.
From-SVN: r83273
2004-06-17 01:03:34 +02:00
|
|
|
for (phi = phi_nodes (block); phi; phi = PHI_CHAIN (phi))
|
2004-06-29 03:53:04 +02:00
|
|
|
add_to_sets (PHI_RESULT (phi), PHI_RESULT (phi), NULL,
|
|
|
|
PHI_GEN (block), AVAIL_OUT (block));
|
2004-06-12 02:18:35 +02:00
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
/* Now compute value numbers and populate value sets with all
|
|
|
|
the expressions computed in BLOCK. */
|
2004-06-12 02:18:35 +02:00
|
|
|
for (bsi = bsi_start (block); !bsi_end_p (bsi); bsi_next (&bsi))
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-29 03:53:04 +02:00
|
|
|
stmt_ann_t ann;
|
|
|
|
size_t j;
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
stmt = bsi_stmt (bsi);
|
2004-06-29 03:53:04 +02:00
|
|
|
ann = stmt_ann (stmt);
|
2004-06-12 02:18:35 +02:00
|
|
|
get_stmt_operands (stmt);
|
2004-06-29 03:53:04 +02:00
|
|
|
|
|
|
|
/* We are only interested in assignments of the form
|
|
|
|
X_i = EXPR, where EXPR represents an "interesting"
|
|
|
|
computation, it has no volatile operands and X_i
|
|
|
|
doesn't flow through an abnormal edge. */
|
|
|
|
if (TREE_CODE (stmt) == MODIFY_EXPR
|
|
|
|
&& !ann->has_volatile_ops
|
|
|
|
&& TREE_CODE (TREE_OPERAND (stmt, 0)) == SSA_NAME
|
|
|
|
&& !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (TREE_OPERAND (stmt, 0)))
|
2004-06-12 02:18:35 +02:00
|
|
|
{
|
2004-06-29 03:53:04 +02:00
|
|
|
tree lhs = TREE_OPERAND (stmt, 0);
|
|
|
|
tree rhs = TREE_OPERAND (stmt, 1);
|
|
|
|
vuse_optype vuses = STMT_VUSE_OPS (stmt);
|
|
|
|
|
|
|
|
STRIP_USELESS_TYPE_CONVERSION (rhs);
|
|
|
|
|
|
|
|
if (TREE_CODE_CLASS (TREE_CODE (rhs)) == '1'
|
|
|
|
|| TREE_CODE_CLASS (TREE_CODE (rhs)) == '2')
|
2004-06-12 02:18:35 +02:00
|
|
|
{
|
2004-06-29 03:53:04 +02:00
|
|
|
/* For binary and unary expressions, create a duplicate
|
|
|
|
expression with the operands replaced with the value
|
|
|
|
handles of the original RHS. */
|
|
|
|
tree newt = create_value_expr_from (rhs, block, vuses);
|
|
|
|
add_to_sets (lhs, newt, vuses, TMP_GEN (block),
|
|
|
|
AVAIL_OUT (block));
|
|
|
|
value_insert_into_set (EXP_GEN (block), newt);
|
|
|
|
continue;
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
2004-06-29 03:53:04 +02:00
|
|
|
else if (TREE_CODE (rhs) == SSA_NAME
|
|
|
|
|| is_gimple_min_invariant (rhs))
|
2004-06-17 04:46:43 +02:00
|
|
|
{
|
2004-06-29 03:53:04 +02:00
|
|
|
/* Compute a value number for the RHS of the statement
|
|
|
|
and add its value to the AVAIL_OUT set for the block.
|
|
|
|
Add the LHS to TMP_GEN. */
|
|
|
|
add_to_sets (lhs, rhs, vuses, TMP_GEN (block),
|
|
|
|
AVAIL_OUT (block));
|
|
|
|
|
|
|
|
if (TREE_CODE (rhs) == SSA_NAME
|
|
|
|
&& !is_undefined_value (rhs))
|
|
|
|
value_insert_into_set (EXP_GEN (block), rhs);
|
|
|
|
continue;
|
2004-06-17 04:46:43 +02:00
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
2004-06-21 23:57:33 +02:00
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
/* For any other statement that we don't recognize, simply
|
|
|
|
make the names generated by the statement available in
|
|
|
|
AVAIL_OUT and TMP_GEN. */
|
|
|
|
for (j = 0; j < NUM_DEFS (STMT_DEF_OPS (stmt)); j++)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-29 03:53:04 +02:00
|
|
|
tree def = DEF_OP (STMT_DEF_OPS (stmt), j);
|
|
|
|
add_to_sets (def, def, NULL, TMP_GEN (block),
|
|
|
|
AVAIL_OUT (block));
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
2004-06-29 03:53:04 +02:00
|
|
|
|
|
|
|
for (j = 0; j < NUM_USES (STMT_USE_OPS (stmt)); j++)
|
2004-06-12 02:18:35 +02:00
|
|
|
{
|
2004-06-29 03:53:04 +02:00
|
|
|
tree use = USE_OP (STMT_USE_OPS (stmt), j);
|
|
|
|
add_to_sets (use, use, NULL, TMP_GEN (block),
|
|
|
|
AVAIL_OUT (block));
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
/* Compute available sets for the dominator children of BLOCK. */
|
2004-05-13 08:41:07 +02:00
|
|
|
for (son = first_dom_son (CDI_DOMINATORS, block);
|
|
|
|
son;
|
|
|
|
son = next_dom_son (CDI_DOMINATORS, son))
|
2004-06-12 02:18:35 +02:00
|
|
|
compute_avail (son);
|
|
|
|
}
|
|
|
|
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Eliminate fully redundant computations. */
|
|
|
|
|
|
|
|
static void
|
|
|
|
eliminate (void)
|
|
|
|
{
|
|
|
|
basic_block b;
|
|
|
|
|
|
|
|
FOR_EACH_BB (b)
|
|
|
|
{
|
|
|
|
block_stmt_iterator i;
|
|
|
|
|
|
|
|
for (i = bsi_start (b); !bsi_end_p (i); bsi_next (&i))
|
|
|
|
{
|
|
|
|
tree stmt = bsi_stmt (i);
|
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
/* Lookup the RHS of the expression, see if we have an
|
|
|
|
available computation for it. If so, replace the RHS with
|
2004-06-12 02:18:35 +02:00
|
|
|
the available computation. */
|
2004-06-29 03:53:04 +02:00
|
|
|
if (TREE_CODE (stmt) == MODIFY_EXPR
|
|
|
|
&& TREE_CODE (TREE_OPERAND (stmt, 0)) == SSA_NAME
|
|
|
|
&& TREE_CODE (TREE_OPERAND (stmt ,1)) != SSA_NAME
|
|
|
|
&& !is_gimple_min_invariant (TREE_OPERAND (stmt, 1))
|
|
|
|
&& !stmt_ann (stmt)->has_volatile_ops)
|
|
|
|
{
|
|
|
|
tree lhs = TREE_OPERAND (stmt, 0);
|
|
|
|
tree *rhs_p = &TREE_OPERAND (stmt, 1);
|
|
|
|
tree sprime;
|
|
|
|
vuse_optype vuses = STMT_VUSE_OPS (stmt);
|
|
|
|
|
|
|
|
sprime = find_leader (AVAIL_OUT (b), vn_lookup (lhs, vuses));
|
|
|
|
if (sprime
|
|
|
|
&& sprime != lhs
|
|
|
|
&& (TREE_CODE (*rhs_p) != SSA_NAME
|
|
|
|
|| may_propagate_copy (*rhs_p, sprime)))
|
|
|
|
{
|
|
|
|
if (sprime == *rhs_p)
|
|
|
|
abort ();
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
|
|
|
{
|
|
|
|
fprintf (dump_file, "Replaced ");
|
2004-06-29 03:53:04 +02:00
|
|
|
print_generic_expr (dump_file, *rhs_p, 0);
|
2004-06-12 02:18:35 +02:00
|
|
|
fprintf (dump_file, " with ");
|
|
|
|
print_generic_expr (dump_file, sprime, 0);
|
|
|
|
fprintf (dump_file, " in ");
|
|
|
|
print_generic_stmt (dump_file, stmt, 0);
|
|
|
|
}
|
|
|
|
pre_stats.eliminations++;
|
2004-06-29 03:53:04 +02:00
|
|
|
propagate_tree_value (rhs_p, sprime);
|
|
|
|
modify_stmt (stmt);
|
|
|
|
}
|
|
|
|
}
|
2004-06-12 02:18:35 +02:00
|
|
|
}
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-23 22:12:44 +02:00
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
/* Initialize data structures used by PRE. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
|
|
|
static void
|
2004-06-29 03:53:04 +02:00
|
|
|
init_pre (void)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
size_t tsize;
|
|
|
|
basic_block bb;
|
2004-06-29 03:53:04 +02:00
|
|
|
|
|
|
|
vn_init ();
|
2004-06-12 02:18:35 +02:00
|
|
|
memset (&pre_stats, 0, sizeof (pre_stats));
|
|
|
|
FOR_ALL_BB (bb)
|
2004-06-29 03:53:04 +02:00
|
|
|
bb->aux = xcalloc (1, sizeof (struct bb_value_sets));
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
phi_translate_table = htab_create (511, expr_pred_trans_hash,
|
2004-06-29 03:53:04 +02:00
|
|
|
expr_pred_trans_eq, free);
|
2004-06-12 02:18:35 +02:00
|
|
|
value_set_pool = create_alloc_pool ("Value sets",
|
|
|
|
sizeof (struct value_set), 30);
|
|
|
|
value_set_node_pool = create_alloc_pool ("Value set nodes",
|
2004-06-29 03:53:04 +02:00
|
|
|
sizeof (struct value_set_node), 30);
|
2004-06-12 02:18:35 +02:00
|
|
|
calculate_dominance_info (CDI_POST_DOMINATORS);
|
2004-05-13 08:41:07 +02:00
|
|
|
calculate_dominance_info (CDI_DOMINATORS);
|
2004-06-29 03:53:04 +02:00
|
|
|
tsize = tree_size (build (PLUS_EXPR, void_type_node, NULL_TREE, NULL_TREE));
|
2004-06-12 02:18:35 +02:00
|
|
|
binary_node_pool = create_alloc_pool ("Binary tree nodes", tsize, 30);
|
|
|
|
tsize = tree_size (build1 (NEGATE_EXPR, void_type_node, NULL_TREE));
|
|
|
|
unary_node_pool = create_alloc_pool ("Unary tree nodes", tsize, 30);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
FOR_ALL_BB (bb)
|
|
|
|
{
|
|
|
|
EXP_GEN (bb) = set_new (true);
|
|
|
|
PHI_GEN (bb) = set_new (true);
|
|
|
|
TMP_GEN (bb) = set_new (false);
|
|
|
|
AVAIL_OUT (bb) = set_new (true);
|
|
|
|
}
|
2004-06-29 03:53:04 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* Deallocate data structures used by PRE. */
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
static void
|
|
|
|
fini_pre (void)
|
|
|
|
{
|
|
|
|
basic_block bb;
|
|
|
|
|
|
|
|
free_alloc_pool (value_set_pool);
|
|
|
|
free_alloc_pool (value_set_node_pool);
|
|
|
|
free_alloc_pool (binary_node_pool);
|
|
|
|
free_alloc_pool (unary_node_pool);
|
|
|
|
htab_delete (phi_translate_table);
|
|
|
|
|
|
|
|
FOR_ALL_BB (bb)
|
|
|
|
{
|
|
|
|
free (bb->aux);
|
|
|
|
bb->aux = NULL;
|
|
|
|
}
|
|
|
|
free_dominance_info (CDI_POST_DOMINATORS);
|
|
|
|
vn_delete ();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* Main entry point to the SSA-PRE pass. DO_FRE is true if the caller
|
|
|
|
only wants to do full redundancy elimination. */
|
|
|
|
|
|
|
|
static void
|
|
|
|
execute_pre (bool do_fre)
|
|
|
|
{
|
|
|
|
init_pre ();
|
|
|
|
|
|
|
|
/* Collect and value number expressions computed in each basic
|
|
|
|
block. */
|
2004-06-12 02:18:35 +02:00
|
|
|
compute_avail (ENTRY_BLOCK_PTR);
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
|
|
|
{
|
2004-06-29 03:53:04 +02:00
|
|
|
basic_block bb;
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
FOR_ALL_BB (bb)
|
|
|
|
{
|
|
|
|
print_value_set (dump_file, EXP_GEN (bb), "exp_gen", bb->index);
|
|
|
|
print_value_set (dump_file, TMP_GEN (bb), "tmp_gen", bb->index);
|
|
|
|
print_value_set (dump_file, AVAIL_OUT (bb), "avail_out", bb->index);
|
|
|
|
}
|
|
|
|
}
|
2004-05-13 08:41:07 +02:00
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
/* Insert can get quite slow on an incredibly large number of basic
|
|
|
|
blocks due to some quadratic behavior. Until this behavior is
|
|
|
|
fixed, don't run it when he have an incredibly large number of
|
|
|
|
bb's. If we aren't going to run insert, there is no point in
|
|
|
|
computing ANTIC, either, even though it's plenty fast. */
|
2004-06-29 03:53:04 +02:00
|
|
|
if (!do_fre && n_basic_blocks < 4000)
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
2004-06-12 02:18:35 +02:00
|
|
|
compute_antic ();
|
|
|
|
insert ();
|
|
|
|
}
|
2004-06-29 03:53:04 +02:00
|
|
|
|
|
|
|
/* Remove all the redundant expressions. */
|
2004-06-12 02:18:35 +02:00
|
|
|
eliminate ();
|
|
|
|
|
|
|
|
if (dump_file && (dump_flags & TDF_STATS))
|
|
|
|
{
|
|
|
|
fprintf (dump_file, "Insertions:%d\n", pre_stats.insertions);
|
|
|
|
fprintf (dump_file, "New PHIs:%d\n", pre_stats.phis);
|
|
|
|
fprintf (dump_file, "Eliminated:%d\n", pre_stats.eliminations);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
2004-06-29 03:53:04 +02:00
|
|
|
fini_pre ();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* Gate and execute functions for PRE. */
|
|
|
|
|
|
|
|
static void
|
|
|
|
do_pre (void)
|
|
|
|
{
|
|
|
|
execute_pre (false);
|
2004-05-13 08:41:07 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool
|
|
|
|
gate_pre (void)
|
|
|
|
{
|
|
|
|
return flag_tree_pre != 0;
|
|
|
|
}
|
|
|
|
|
2004-06-12 02:18:35 +02:00
|
|
|
struct tree_opt_pass pass_pre =
|
2004-05-13 08:41:07 +02:00
|
|
|
{
|
|
|
|
"pre", /* name */
|
|
|
|
gate_pre, /* gate */
|
2004-06-29 03:53:04 +02:00
|
|
|
do_pre, /* execute */
|
2004-05-13 08:41:07 +02:00
|
|
|
NULL, /* sub */
|
|
|
|
NULL, /* next */
|
|
|
|
0, /* static_pass_number */
|
|
|
|
TV_TREE_PRE, /* tv_id */
|
|
|
|
PROP_no_crit_edges | PROP_cfg | PROP_ssa,/* properties_required */
|
|
|
|
0, /* properties_provided */
|
|
|
|
0, /* properties_destroyed */
|
|
|
|
0, /* todo_flags_start */
|
2004-06-12 02:18:35 +02:00
|
|
|
TODO_dump_func | TODO_ggc_collect | TODO_verify_ssa /* todo_flags_finish */
|
2004-05-13 08:41:07 +02:00
|
|
|
};
|
2004-06-29 03:53:04 +02:00
|
|
|
|
|
|
|
|
|
|
|
/* Gate and execute functions for FRE. */
|
|
|
|
|
|
|
|
static void
|
|
|
|
do_fre (void)
|
|
|
|
{
|
|
|
|
execute_pre (true);
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool
|
|
|
|
gate_fre (void)
|
|
|
|
{
|
|
|
|
return flag_tree_fre != 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
struct tree_opt_pass pass_fre =
|
|
|
|
{
|
|
|
|
"fre", /* name */
|
|
|
|
gate_fre, /* gate */
|
|
|
|
do_fre, /* execute */
|
|
|
|
NULL, /* sub */
|
|
|
|
NULL, /* next */
|
|
|
|
0, /* static_pass_number */
|
|
|
|
TV_TREE_FRE, /* tv_id */
|
|
|
|
PROP_no_crit_edges | PROP_cfg | PROP_ssa,/* properties_required */
|
|
|
|
0, /* properties_provided */
|
|
|
|
0, /* properties_destroyed */
|
|
|
|
0, /* todo_flags_start */
|
|
|
|
TODO_dump_func | TODO_ggc_collect | TODO_verify_ssa /* todo_flags_finish */
|
|
|
|
};
|