/* Forward propagation of expressions for single use variables.
|
/* Forward propagation of expressions for single use variables.
|
Copyright (C) 2004, 2005, 2007 Free Software Foundation, Inc.
|
Copyright (C) 2004, 2005, 2007 Free Software Foundation, Inc.
|
|
|
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 "tm.h"
|
#include "tm.h"
|
#include "ggc.h"
|
#include "ggc.h"
|
#include "tree.h"
|
#include "tree.h"
|
#include "rtl.h"
|
#include "rtl.h"
|
#include "tm_p.h"
|
#include "tm_p.h"
|
#include "basic-block.h"
|
#include "basic-block.h"
|
#include "timevar.h"
|
#include "timevar.h"
|
#include "diagnostic.h"
|
#include "diagnostic.h"
|
#include "tree-flow.h"
|
#include "tree-flow.h"
|
#include "tree-pass.h"
|
#include "tree-pass.h"
|
#include "tree-dump.h"
|
#include "tree-dump.h"
|
#include "langhooks.h"
|
#include "langhooks.h"
|
|
|
/* This pass propagates the RHS of assignment statements into use
|
/* This pass propagates the RHS of assignment statements into use
|
sites of the LHS of the assignment. It's basically a specialized
|
sites of the LHS of the assignment. It's basically a specialized
|
form of tree combination. It is hoped all of this can disappear
|
form of tree combination. It is hoped all of this can disappear
|
when we have a generalized tree combiner.
|
when we have a generalized tree combiner.
|
|
|
Note carefully that after propagation the resulting statement
|
Note carefully that after propagation the resulting statement
|
must still be a proper gimple statement. Right now we simply
|
must still be a proper gimple statement. Right now we simply
|
only perform propagations we know will result in valid gimple
|
only perform propagations we know will result in valid gimple
|
code. One day we'll want to generalize this code.
|
code. One day we'll want to generalize this code.
|
|
|
One class of common cases we handle is forward propagating a single use
|
One class of common cases we handle is forward propagating a single use
|
variable into a COND_EXPR.
|
variable into a COND_EXPR.
|
|
|
bb0:
|
bb0:
|
x = a COND b;
|
x = a COND b;
|
if (x) goto ... else goto ...
|
if (x) goto ... else goto ...
|
|
|
Will be transformed into:
|
Will be transformed into:
|
|
|
bb0:
|
bb0:
|
if (a COND b) goto ... else goto ...
|
if (a COND b) goto ... else goto ...
|
|
|
Similarly for the tests (x == 0), (x != 0), (x == 1) and (x != 1).
|
Similarly for the tests (x == 0), (x != 0), (x == 1) and (x != 1).
|
|
|
Or (assuming c1 and c2 are constants):
|
Or (assuming c1 and c2 are constants):
|
|
|
bb0:
|
bb0:
|
x = a + c1;
|
x = a + c1;
|
if (x EQ/NEQ c2) goto ... else goto ...
|
if (x EQ/NEQ c2) goto ... else goto ...
|
|
|
Will be transformed into:
|
Will be transformed into:
|
|
|
bb0:
|
bb0:
|
if (a EQ/NEQ (c2 - c1)) goto ... else goto ...
|
if (a EQ/NEQ (c2 - c1)) goto ... else goto ...
|
|
|
Similarly for x = a - c1.
|
Similarly for x = a - c1.
|
|
|
Or
|
Or
|
|
|
bb0:
|
bb0:
|
x = !a
|
x = !a
|
if (x) goto ... else goto ...
|
if (x) goto ... else goto ...
|
|
|
Will be transformed into:
|
Will be transformed into:
|
|
|
bb0:
|
bb0:
|
if (a == 0) goto ... else goto ...
|
if (a == 0) goto ... else goto ...
|
|
|
Similarly for the tests (x == 0), (x != 0), (x == 1) and (x != 1).
|
Similarly for the tests (x == 0), (x != 0), (x == 1) and (x != 1).
|
For these cases, we propagate A into all, possibly more than one,
|
For these cases, we propagate A into all, possibly more than one,
|
COND_EXPRs that use X.
|
COND_EXPRs that use X.
|
|
|
Or
|
Or
|
|
|
bb0:
|
bb0:
|
x = (typecast) a
|
x = (typecast) a
|
if (x) goto ... else goto ...
|
if (x) goto ... else goto ...
|
|
|
Will be transformed into:
|
Will be transformed into:
|
|
|
bb0:
|
bb0:
|
if (a != 0) goto ... else goto ...
|
if (a != 0) goto ... else goto ...
|
|
|
(Assuming a is an integral type and x is a boolean or x is an
|
(Assuming a is an integral type and x is a boolean or x is an
|
integral and a is a boolean.)
|
integral and a is a boolean.)
|
|
|
Similarly for the tests (x == 0), (x != 0), (x == 1) and (x != 1).
|
Similarly for the tests (x == 0), (x != 0), (x == 1) and (x != 1).
|
For these cases, we propagate A into all, possibly more than one,
|
For these cases, we propagate A into all, possibly more than one,
|
COND_EXPRs that use X.
|
COND_EXPRs that use X.
|
|
|
In addition to eliminating the variable and the statement which assigns
|
In addition to eliminating the variable and the statement which assigns
|
a value to the variable, we may be able to later thread the jump without
|
a value to the variable, we may be able to later thread the jump without
|
adding insane complexity in the dominator optimizer.
|
adding insane complexity in the dominator optimizer.
|
|
|
Also note these transformations can cascade. We handle this by having
|
Also note these transformations can cascade. We handle this by having
|
a worklist of COND_EXPR statements to examine. As we make a change to
|
a worklist of COND_EXPR statements to examine. As we make a change to
|
a statement, we put it back on the worklist to examine on the next
|
a statement, we put it back on the worklist to examine on the next
|
iteration of the main loop.
|
iteration of the main loop.
|
|
|
A second class of propagation opportunities arises for ADDR_EXPR
|
A second class of propagation opportunities arises for ADDR_EXPR
|
nodes.
|
nodes.
|
|
|
ptr = &x->y->z;
|
ptr = &x->y->z;
|
res = *ptr;
|
res = *ptr;
|
|
|
Will get turned into
|
Will get turned into
|
|
|
res = x->y->z;
|
res = x->y->z;
|
|
|
Or
|
Or
|
|
|
ptr = &x[0];
|
ptr = &x[0];
|
ptr2 = ptr + <constant>;
|
ptr2 = ptr + <constant>;
|
|
|
Will get turned into
|
Will get turned into
|
|
|
ptr2 = &x[constant/elementsize];
|
ptr2 = &x[constant/elementsize];
|
|
|
Or
|
Or
|
|
|
ptr = &x[0];
|
ptr = &x[0];
|
offset = index * element_size;
|
offset = index * element_size;
|
offset_p = (pointer) offset;
|
offset_p = (pointer) offset;
|
ptr2 = ptr + offset_p
|
ptr2 = ptr + offset_p
|
|
|
Will get turned into:
|
Will get turned into:
|
|
|
ptr2 = &x[index];
|
ptr2 = &x[index];
|
|
|
We also propagate casts into SWITCH_EXPR and COND_EXPR conditions to
|
We also propagate casts into SWITCH_EXPR and COND_EXPR conditions to
|
allow us to remove the cast and {NOT_EXPR,NEG_EXPR} into a subsequent
|
allow us to remove the cast and {NOT_EXPR,NEG_EXPR} into a subsequent
|
{NOT_EXPR,NEG_EXPR}.
|
{NOT_EXPR,NEG_EXPR}.
|
|
|
This will (of course) be extended as other needs arise. */
|
This will (of course) be extended as other needs arise. */
|
|
|
|
|
/* Set to true if we delete EH edges during the optimization. */
|
/* Set to true if we delete EH edges during the optimization. */
|
static bool cfg_changed;
|
static bool cfg_changed;
|
|
|
|
|
/* Given an SSA_NAME VAR, return true if and only if VAR is defined by
|
/* Given an SSA_NAME VAR, return true if and only if VAR is defined by
|
a comparison. */
|
a comparison. */
|
|
|
static bool
|
static bool
|
ssa_name_defined_by_comparison_p (tree var)
|
ssa_name_defined_by_comparison_p (tree var)
|
{
|
{
|
tree def = SSA_NAME_DEF_STMT (var);
|
tree def = SSA_NAME_DEF_STMT (var);
|
|
|
if (TREE_CODE (def) == MODIFY_EXPR)
|
if (TREE_CODE (def) == MODIFY_EXPR)
|
{
|
{
|
tree rhs = TREE_OPERAND (def, 1);
|
tree rhs = TREE_OPERAND (def, 1);
|
return COMPARISON_CLASS_P (rhs);
|
return COMPARISON_CLASS_P (rhs);
|
}
|
}
|
|
|
return 0;
|
return 0;
|
}
|
}
|
|
|
/* Forward propagate a single-use variable into COND once. Return a
|
/* Forward propagate a single-use variable into COND once. Return a
|
new condition if successful. Return NULL_TREE otherwise. */
|
new condition if successful. Return NULL_TREE otherwise. */
|
|
|
static tree
|
static tree
|
forward_propagate_into_cond_1 (tree cond, tree *test_var_p)
|
forward_propagate_into_cond_1 (tree cond, tree *test_var_p)
|
{
|
{
|
tree new_cond = NULL_TREE;
|
tree new_cond = NULL_TREE;
|
enum tree_code cond_code = TREE_CODE (cond);
|
enum tree_code cond_code = TREE_CODE (cond);
|
tree test_var = NULL_TREE;
|
tree test_var = NULL_TREE;
|
tree def;
|
tree def;
|
tree def_rhs;
|
tree def_rhs;
|
|
|
/* If the condition is not a lone variable or an equality test of an
|
/* If the condition is not a lone variable or an equality test of an
|
SSA_NAME against an integral constant, then we do not have an
|
SSA_NAME against an integral constant, then we do not have an
|
optimizable case.
|
optimizable case.
|
|
|
Note these conditions also ensure the COND_EXPR has no
|
Note these conditions also ensure the COND_EXPR has no
|
virtual operands or other side effects. */
|
virtual operands or other side effects. */
|
if (cond_code != SSA_NAME
|
if (cond_code != SSA_NAME
|
&& !((cond_code == EQ_EXPR || cond_code == NE_EXPR)
|
&& !((cond_code == EQ_EXPR || cond_code == NE_EXPR)
|
&& TREE_CODE (TREE_OPERAND (cond, 0)) == SSA_NAME
|
&& TREE_CODE (TREE_OPERAND (cond, 0)) == SSA_NAME
|
&& CONSTANT_CLASS_P (TREE_OPERAND (cond, 1))
|
&& CONSTANT_CLASS_P (TREE_OPERAND (cond, 1))
|
&& INTEGRAL_TYPE_P (TREE_TYPE (TREE_OPERAND (cond, 1)))))
|
&& INTEGRAL_TYPE_P (TREE_TYPE (TREE_OPERAND (cond, 1)))))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
/* Extract the single variable used in the test into TEST_VAR. */
|
/* Extract the single variable used in the test into TEST_VAR. */
|
if (cond_code == SSA_NAME)
|
if (cond_code == SSA_NAME)
|
test_var = cond;
|
test_var = cond;
|
else
|
else
|
test_var = TREE_OPERAND (cond, 0);
|
test_var = TREE_OPERAND (cond, 0);
|
|
|
/* Now get the defining statement for TEST_VAR. Skip this case if
|
/* Now get the defining statement for TEST_VAR. Skip this case if
|
it's not defined by some MODIFY_EXPR. */
|
it's not defined by some MODIFY_EXPR. */
|
def = SSA_NAME_DEF_STMT (test_var);
|
def = SSA_NAME_DEF_STMT (test_var);
|
if (TREE_CODE (def) != MODIFY_EXPR)
|
if (TREE_CODE (def) != MODIFY_EXPR)
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
def_rhs = TREE_OPERAND (def, 1);
|
def_rhs = TREE_OPERAND (def, 1);
|
|
|
/* If TEST_VAR is set by adding or subtracting a constant
|
/* If TEST_VAR is set by adding or subtracting a constant
|
from an SSA_NAME, then it is interesting to us as we
|
from an SSA_NAME, then it is interesting to us as we
|
can adjust the constant in the conditional and thus
|
can adjust the constant in the conditional and thus
|
eliminate the arithmetic operation. */
|
eliminate the arithmetic operation. */
|
if (TREE_CODE (def_rhs) == PLUS_EXPR
|
if (TREE_CODE (def_rhs) == PLUS_EXPR
|
|| TREE_CODE (def_rhs) == MINUS_EXPR)
|
|| TREE_CODE (def_rhs) == MINUS_EXPR)
|
{
|
{
|
tree op0 = TREE_OPERAND (def_rhs, 0);
|
tree op0 = TREE_OPERAND (def_rhs, 0);
|
tree op1 = TREE_OPERAND (def_rhs, 1);
|
tree op1 = TREE_OPERAND (def_rhs, 1);
|
|
|
/* The first operand must be an SSA_NAME and the second
|
/* The first operand must be an SSA_NAME and the second
|
operand must be a constant. */
|
operand must be a constant. */
|
if (TREE_CODE (op0) != SSA_NAME
|
if (TREE_CODE (op0) != SSA_NAME
|
|| !CONSTANT_CLASS_P (op1)
|
|| !CONSTANT_CLASS_P (op1)
|
|| !INTEGRAL_TYPE_P (TREE_TYPE (op1)))
|
|| !INTEGRAL_TYPE_P (TREE_TYPE (op1)))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
/* Don't propagate if the first operand occurs in
|
/* Don't propagate if the first operand occurs in
|
an abnormal PHI. */
|
an abnormal PHI. */
|
if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op0))
|
if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op0))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
if (has_single_use (test_var))
|
if (has_single_use (test_var))
|
{
|
{
|
enum tree_code new_code;
|
enum tree_code new_code;
|
tree t;
|
tree t;
|
|
|
/* If the variable was defined via X + C, then we must
|
/* If the variable was defined via X + C, then we must
|
subtract C from the constant in the conditional.
|
subtract C from the constant in the conditional.
|
Otherwise we add C to the constant in the
|
Otherwise we add C to the constant in the
|
conditional. The result must fold into a valid
|
conditional. The result must fold into a valid
|
gimple operand to be optimizable. */
|
gimple operand to be optimizable. */
|
new_code = (TREE_CODE (def_rhs) == PLUS_EXPR
|
new_code = (TREE_CODE (def_rhs) == PLUS_EXPR
|
? MINUS_EXPR : PLUS_EXPR);
|
? MINUS_EXPR : PLUS_EXPR);
|
t = int_const_binop (new_code, TREE_OPERAND (cond, 1), op1, 0);
|
t = int_const_binop (new_code, TREE_OPERAND (cond, 1), op1, 0);
|
if (!is_gimple_val (t))
|
if (!is_gimple_val (t))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
new_cond = build2 (cond_code, boolean_type_node, op0, t);
|
new_cond = build2 (cond_code, boolean_type_node, op0, t);
|
}
|
}
|
}
|
}
|
|
|
/* These cases require comparisons of a naked SSA_NAME or
|
/* These cases require comparisons of a naked SSA_NAME or
|
comparison of an SSA_NAME against zero or one. */
|
comparison of an SSA_NAME against zero or one. */
|
else if (TREE_CODE (cond) == SSA_NAME
|
else if (TREE_CODE (cond) == SSA_NAME
|
|| integer_zerop (TREE_OPERAND (cond, 1))
|
|| integer_zerop (TREE_OPERAND (cond, 1))
|
|| integer_onep (TREE_OPERAND (cond, 1)))
|
|| integer_onep (TREE_OPERAND (cond, 1)))
|
{
|
{
|
/* If TEST_VAR is set from a relational operation
|
/* If TEST_VAR is set from a relational operation
|
between two SSA_NAMEs or a combination of an SSA_NAME
|
between two SSA_NAMEs or a combination of an SSA_NAME
|
and a constant, then it is interesting. */
|
and a constant, then it is interesting. */
|
if (COMPARISON_CLASS_P (def_rhs))
|
if (COMPARISON_CLASS_P (def_rhs))
|
{
|
{
|
tree op0 = TREE_OPERAND (def_rhs, 0);
|
tree op0 = TREE_OPERAND (def_rhs, 0);
|
tree op1 = TREE_OPERAND (def_rhs, 1);
|
tree op1 = TREE_OPERAND (def_rhs, 1);
|
|
|
/* Both operands of DEF_RHS must be SSA_NAMEs or
|
/* Both operands of DEF_RHS must be SSA_NAMEs or
|
constants. */
|
constants. */
|
if ((TREE_CODE (op0) != SSA_NAME
|
if ((TREE_CODE (op0) != SSA_NAME
|
&& !is_gimple_min_invariant (op0))
|
&& !is_gimple_min_invariant (op0))
|
|| (TREE_CODE (op1) != SSA_NAME
|
|| (TREE_CODE (op1) != SSA_NAME
|
&& !is_gimple_min_invariant (op1)))
|
&& !is_gimple_min_invariant (op1)))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
/* Don't propagate if the first operand occurs in
|
/* Don't propagate if the first operand occurs in
|
an abnormal PHI. */
|
an abnormal PHI. */
|
if (TREE_CODE (op0) == SSA_NAME
|
if (TREE_CODE (op0) == SSA_NAME
|
&& SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op0))
|
&& SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op0))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
/* Don't propagate if the second operand occurs in
|
/* Don't propagate if the second operand occurs in
|
an abnormal PHI. */
|
an abnormal PHI. */
|
if (TREE_CODE (op1) == SSA_NAME
|
if (TREE_CODE (op1) == SSA_NAME
|
&& SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op1))
|
&& SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op1))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
if (has_single_use (test_var))
|
if (has_single_use (test_var))
|
{
|
{
|
/* TEST_VAR was set from a relational operator. */
|
/* TEST_VAR was set from a relational operator. */
|
new_cond = build2 (TREE_CODE (def_rhs),
|
new_cond = build2 (TREE_CODE (def_rhs),
|
boolean_type_node, op0, op1);
|
boolean_type_node, op0, op1);
|
|
|
/* Invert the conditional if necessary. */
|
/* Invert the conditional if necessary. */
|
if ((cond_code == EQ_EXPR
|
if ((cond_code == EQ_EXPR
|
&& integer_zerop (TREE_OPERAND (cond, 1)))
|
&& integer_zerop (TREE_OPERAND (cond, 1)))
|
|| (cond_code == NE_EXPR
|
|| (cond_code == NE_EXPR
|
&& integer_onep (TREE_OPERAND (cond, 1))))
|
&& integer_onep (TREE_OPERAND (cond, 1))))
|
{
|
{
|
new_cond = invert_truthvalue (new_cond);
|
new_cond = invert_truthvalue (new_cond);
|
|
|
/* If we did not get a simple relational
|
/* If we did not get a simple relational
|
expression or bare SSA_NAME, then we can
|
expression or bare SSA_NAME, then we can
|
not optimize this case. */
|
not optimize this case. */
|
if (!COMPARISON_CLASS_P (new_cond)
|
if (!COMPARISON_CLASS_P (new_cond)
|
&& TREE_CODE (new_cond) != SSA_NAME)
|
&& TREE_CODE (new_cond) != SSA_NAME)
|
new_cond = NULL_TREE;
|
new_cond = NULL_TREE;
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
/* If TEST_VAR is set from a TRUTH_NOT_EXPR, then it
|
/* If TEST_VAR is set from a TRUTH_NOT_EXPR, then it
|
is interesting. */
|
is interesting. */
|
else if (TREE_CODE (def_rhs) == TRUTH_NOT_EXPR)
|
else if (TREE_CODE (def_rhs) == TRUTH_NOT_EXPR)
|
{
|
{
|
enum tree_code new_code;
|
enum tree_code new_code;
|
|
|
def_rhs = TREE_OPERAND (def_rhs, 0);
|
def_rhs = TREE_OPERAND (def_rhs, 0);
|
|
|
/* DEF_RHS must be an SSA_NAME or constant. */
|
/* DEF_RHS must be an SSA_NAME or constant. */
|
if (TREE_CODE (def_rhs) != SSA_NAME
|
if (TREE_CODE (def_rhs) != SSA_NAME
|
&& !is_gimple_min_invariant (def_rhs))
|
&& !is_gimple_min_invariant (def_rhs))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
/* Don't propagate if the operand occurs in
|
/* Don't propagate if the operand occurs in
|
an abnormal PHI. */
|
an abnormal PHI. */
|
if (TREE_CODE (def_rhs) == SSA_NAME
|
if (TREE_CODE (def_rhs) == SSA_NAME
|
&& SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def_rhs))
|
&& SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def_rhs))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
if (cond_code == SSA_NAME
|
if (cond_code == SSA_NAME
|
|| (cond_code == NE_EXPR
|
|| (cond_code == NE_EXPR
|
&& integer_zerop (TREE_OPERAND (cond, 1)))
|
&& integer_zerop (TREE_OPERAND (cond, 1)))
|
|| (cond_code == EQ_EXPR
|
|| (cond_code == EQ_EXPR
|
&& integer_onep (TREE_OPERAND (cond, 1))))
|
&& integer_onep (TREE_OPERAND (cond, 1))))
|
new_code = EQ_EXPR;
|
new_code = EQ_EXPR;
|
else
|
else
|
new_code = NE_EXPR;
|
new_code = NE_EXPR;
|
|
|
new_cond = build2 (new_code, boolean_type_node, def_rhs,
|
new_cond = build2 (new_code, boolean_type_node, def_rhs,
|
fold_convert (TREE_TYPE (def_rhs),
|
fold_convert (TREE_TYPE (def_rhs),
|
integer_zero_node));
|
integer_zero_node));
|
}
|
}
|
|
|
/* If TEST_VAR was set from a cast of an integer type
|
/* If TEST_VAR was set from a cast of an integer type
|
to a boolean type or a cast of a boolean to an
|
to a boolean type or a cast of a boolean to an
|
integral, then it is interesting. */
|
integral, then it is interesting. */
|
else if (TREE_CODE (def_rhs) == NOP_EXPR
|
else if (TREE_CODE (def_rhs) == NOP_EXPR
|
|| TREE_CODE (def_rhs) == CONVERT_EXPR)
|
|| TREE_CODE (def_rhs) == CONVERT_EXPR)
|
{
|
{
|
tree outer_type;
|
tree outer_type;
|
tree inner_type;
|
tree inner_type;
|
|
|
outer_type = TREE_TYPE (def_rhs);
|
outer_type = TREE_TYPE (def_rhs);
|
inner_type = TREE_TYPE (TREE_OPERAND (def_rhs, 0));
|
inner_type = TREE_TYPE (TREE_OPERAND (def_rhs, 0));
|
|
|
if ((TREE_CODE (outer_type) == BOOLEAN_TYPE
|
if ((TREE_CODE (outer_type) == BOOLEAN_TYPE
|
&& INTEGRAL_TYPE_P (inner_type))
|
&& INTEGRAL_TYPE_P (inner_type))
|
|| (TREE_CODE (inner_type) == BOOLEAN_TYPE
|
|| (TREE_CODE (inner_type) == BOOLEAN_TYPE
|
&& INTEGRAL_TYPE_P (outer_type)))
|
&& INTEGRAL_TYPE_P (outer_type)))
|
;
|
;
|
else if (INTEGRAL_TYPE_P (outer_type)
|
else if (INTEGRAL_TYPE_P (outer_type)
|
&& INTEGRAL_TYPE_P (inner_type)
|
&& INTEGRAL_TYPE_P (inner_type)
|
&& TREE_CODE (TREE_OPERAND (def_rhs, 0)) == SSA_NAME
|
&& TREE_CODE (TREE_OPERAND (def_rhs, 0)) == SSA_NAME
|
&& ssa_name_defined_by_comparison_p (TREE_OPERAND (def_rhs,
|
&& ssa_name_defined_by_comparison_p (TREE_OPERAND (def_rhs,
|
0)))
|
0)))
|
;
|
;
|
else
|
else
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
/* Don't propagate if the operand occurs in
|
/* Don't propagate if the operand occurs in
|
an abnormal PHI. */
|
an abnormal PHI. */
|
if (TREE_CODE (TREE_OPERAND (def_rhs, 0)) == SSA_NAME
|
if (TREE_CODE (TREE_OPERAND (def_rhs, 0)) == SSA_NAME
|
&& SSA_NAME_OCCURS_IN_ABNORMAL_PHI (TREE_OPERAND
|
&& SSA_NAME_OCCURS_IN_ABNORMAL_PHI (TREE_OPERAND
|
(def_rhs, 0)))
|
(def_rhs, 0)))
|
return NULL_TREE;
|
return NULL_TREE;
|
|
|
if (has_single_use (test_var))
|
if (has_single_use (test_var))
|
{
|
{
|
enum tree_code new_code;
|
enum tree_code new_code;
|
tree new_arg;
|
tree new_arg;
|
|
|
if (cond_code == SSA_NAME
|
if (cond_code == SSA_NAME
|
|| (cond_code == NE_EXPR
|
|| (cond_code == NE_EXPR
|
&& integer_zerop (TREE_OPERAND (cond, 1)))
|
&& integer_zerop (TREE_OPERAND (cond, 1)))
|
|| (cond_code == EQ_EXPR
|
|| (cond_code == EQ_EXPR
|
&& integer_onep (TREE_OPERAND (cond, 1))))
|
&& integer_onep (TREE_OPERAND (cond, 1))))
|
new_code = NE_EXPR;
|
new_code = NE_EXPR;
|
else
|
else
|
new_code = EQ_EXPR;
|
new_code = EQ_EXPR;
|
|
|
new_arg = TREE_OPERAND (def_rhs, 0);
|
new_arg = TREE_OPERAND (def_rhs, 0);
|
new_cond = build2 (new_code, boolean_type_node, new_arg,
|
new_cond = build2 (new_code, boolean_type_node, new_arg,
|
fold_convert (TREE_TYPE (new_arg),
|
fold_convert (TREE_TYPE (new_arg),
|
integer_zero_node));
|
integer_zero_node));
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
*test_var_p = test_var;
|
*test_var_p = test_var;
|
return new_cond;
|
return new_cond;
|
}
|
}
|
|
|
/* COND is a condition of the form:
|
/* COND is a condition of the form:
|
|
|
x == const or x != const
|
x == const or x != const
|
|
|
Look back to x's defining statement and see if x is defined as
|
Look back to x's defining statement and see if x is defined as
|
|
|
x = (type) y;
|
x = (type) y;
|
|
|
If const is unchanged if we convert it to type, then we can build
|
If const is unchanged if we convert it to type, then we can build
|
the equivalent expression:
|
the equivalent expression:
|
|
|
|
|
y == const or y != const
|
y == const or y != const
|
|
|
Which may allow further optimizations.
|
Which may allow further optimizations.
|
|
|
Return the equivalent comparison or NULL if no such equivalent comparison
|
Return the equivalent comparison or NULL if no such equivalent comparison
|
was found. */
|
was found. */
|
|
|
static tree
|
static tree
|
find_equivalent_equality_comparison (tree cond)
|
find_equivalent_equality_comparison (tree cond)
|
{
|
{
|
tree op0 = TREE_OPERAND (cond, 0);
|
tree op0 = TREE_OPERAND (cond, 0);
|
tree op1 = TREE_OPERAND (cond, 1);
|
tree op1 = TREE_OPERAND (cond, 1);
|
tree def_stmt = SSA_NAME_DEF_STMT (op0);
|
tree def_stmt = SSA_NAME_DEF_STMT (op0);
|
|
|
while (def_stmt
|
while (def_stmt
|
&& TREE_CODE (def_stmt) == MODIFY_EXPR
|
&& TREE_CODE (def_stmt) == MODIFY_EXPR
|
&& TREE_CODE (TREE_OPERAND (def_stmt, 1)) == SSA_NAME)
|
&& TREE_CODE (TREE_OPERAND (def_stmt, 1)) == SSA_NAME)
|
def_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (def_stmt, 1));
|
def_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (def_stmt, 1));
|
|
|
/* OP0 might have been a parameter, so first make sure it
|
/* OP0 might have been a parameter, so first make sure it
|
was defined by a MODIFY_EXPR. */
|
was defined by a MODIFY_EXPR. */
|
if (def_stmt && TREE_CODE (def_stmt) == MODIFY_EXPR)
|
if (def_stmt && TREE_CODE (def_stmt) == MODIFY_EXPR)
|
{
|
{
|
tree def_rhs = TREE_OPERAND (def_stmt, 1);
|
tree def_rhs = TREE_OPERAND (def_stmt, 1);
|
|
|
/* If either operand to the comparison is a pointer to
|
/* If either operand to the comparison is a pointer to
|
a function, then we can not apply this optimization
|
a function, then we can not apply this optimization
|
as some targets require function pointers to be
|
as some targets require function pointers to be
|
canonicalized and in this case this optimization would
|
canonicalized and in this case this optimization would
|
eliminate a necessary canonicalization. */
|
eliminate a necessary canonicalization. */
|
if ((POINTER_TYPE_P (TREE_TYPE (op0))
|
if ((POINTER_TYPE_P (TREE_TYPE (op0))
|
&& TREE_CODE (TREE_TYPE (TREE_TYPE (op0))) == FUNCTION_TYPE)
|
&& TREE_CODE (TREE_TYPE (TREE_TYPE (op0))) == FUNCTION_TYPE)
|
|| (POINTER_TYPE_P (TREE_TYPE (op1))
|
|| (POINTER_TYPE_P (TREE_TYPE (op1))
|
&& TREE_CODE (TREE_TYPE (TREE_TYPE (op1))) == FUNCTION_TYPE))
|
&& TREE_CODE (TREE_TYPE (TREE_TYPE (op1))) == FUNCTION_TYPE))
|
return NULL;
|
return NULL;
|
|
|
/* Now make sure the RHS of the MODIFY_EXPR is a typecast. */
|
/* Now make sure the RHS of the MODIFY_EXPR is a typecast. */
|
if ((TREE_CODE (def_rhs) == NOP_EXPR
|
if ((TREE_CODE (def_rhs) == NOP_EXPR
|
|| TREE_CODE (def_rhs) == CONVERT_EXPR)
|
|| TREE_CODE (def_rhs) == CONVERT_EXPR)
|
&& TREE_CODE (TREE_OPERAND (def_rhs, 0)) == SSA_NAME)
|
&& TREE_CODE (TREE_OPERAND (def_rhs, 0)) == SSA_NAME)
|
{
|
{
|
tree def_rhs_inner = TREE_OPERAND (def_rhs, 0);
|
tree def_rhs_inner = TREE_OPERAND (def_rhs, 0);
|
tree def_rhs_inner_type = TREE_TYPE (def_rhs_inner);
|
tree def_rhs_inner_type = TREE_TYPE (def_rhs_inner);
|
tree new;
|
tree new;
|
|
|
if (TYPE_PRECISION (def_rhs_inner_type)
|
if (TYPE_PRECISION (def_rhs_inner_type)
|
> TYPE_PRECISION (TREE_TYPE (def_rhs)))
|
> TYPE_PRECISION (TREE_TYPE (def_rhs)))
|
return NULL;
|
return NULL;
|
|
|
/* If the inner type of the conversion is a pointer to
|
/* If the inner type of the conversion is a pointer to
|
a function, then we can not apply this optimization
|
a function, then we can not apply this optimization
|
as some targets require function pointers to be
|
as some targets require function pointers to be
|
canonicalized. This optimization would result in
|
canonicalized. This optimization would result in
|
canonicalization of the pointer when it was not originally
|
canonicalization of the pointer when it was not originally
|
needed/intended. */
|
needed/intended. */
|
if (POINTER_TYPE_P (def_rhs_inner_type)
|
if (POINTER_TYPE_P (def_rhs_inner_type)
|
&& TREE_CODE (TREE_TYPE (def_rhs_inner_type)) == FUNCTION_TYPE)
|
&& TREE_CODE (TREE_TYPE (def_rhs_inner_type)) == FUNCTION_TYPE)
|
return NULL;
|
return NULL;
|
|
|
/* What we want to prove is that if we convert OP1 to
|
/* What we want to prove is that if we convert OP1 to
|
the type of the object inside the NOP_EXPR that the
|
the type of the object inside the NOP_EXPR that the
|
result is still equivalent to SRC.
|
result is still equivalent to SRC.
|
|
|
If that is true, the build and return new equivalent
|
If that is true, the build and return new equivalent
|
condition which uses the source of the typecast and the
|
condition which uses the source of the typecast and the
|
new constant (which has only changed its type). */
|
new constant (which has only changed its type). */
|
new = fold_build1 (TREE_CODE (def_rhs), def_rhs_inner_type, op1);
|
new = fold_build1 (TREE_CODE (def_rhs), def_rhs_inner_type, op1);
|
STRIP_USELESS_TYPE_CONVERSION (new);
|
STRIP_USELESS_TYPE_CONVERSION (new);
|
if (is_gimple_val (new) && tree_int_cst_equal (new, op1))
|
if (is_gimple_val (new) && tree_int_cst_equal (new, op1))
|
return build2 (TREE_CODE (cond), TREE_TYPE (cond),
|
return build2 (TREE_CODE (cond), TREE_TYPE (cond),
|
def_rhs_inner, new);
|
def_rhs_inner, new);
|
}
|
}
|
}
|
}
|
return NULL;
|
return NULL;
|
}
|
}
|
|
|
/* STMT is a COND_EXPR
|
/* STMT is a COND_EXPR
|
|
|
This routine attempts to find equivalent forms of the condition
|
This routine attempts to find equivalent forms of the condition
|
which we may be able to optimize better. */
|
which we may be able to optimize better. */
|
|
|
static void
|
static void
|
simplify_cond (tree stmt)
|
simplify_cond (tree stmt)
|
{
|
{
|
tree cond = COND_EXPR_COND (stmt);
|
tree cond = COND_EXPR_COND (stmt);
|
|
|
if (COMPARISON_CLASS_P (cond))
|
if (COMPARISON_CLASS_P (cond))
|
{
|
{
|
tree op0 = TREE_OPERAND (cond, 0);
|
tree op0 = TREE_OPERAND (cond, 0);
|
tree op1 = TREE_OPERAND (cond, 1);
|
tree op1 = TREE_OPERAND (cond, 1);
|
|
|
if (TREE_CODE (op0) == SSA_NAME && is_gimple_min_invariant (op1))
|
if (TREE_CODE (op0) == SSA_NAME && is_gimple_min_invariant (op1))
|
{
|
{
|
/* First see if we have test of an SSA_NAME against a constant
|
/* First see if we have test of an SSA_NAME against a constant
|
where the SSA_NAME is defined by an earlier typecast which
|
where the SSA_NAME is defined by an earlier typecast which
|
is irrelevant when performing tests against the given
|
is irrelevant when performing tests against the given
|
constant. */
|
constant. */
|
if (TREE_CODE (cond) == EQ_EXPR || TREE_CODE (cond) == NE_EXPR)
|
if (TREE_CODE (cond) == EQ_EXPR || TREE_CODE (cond) == NE_EXPR)
|
{
|
{
|
tree new_cond = find_equivalent_equality_comparison (cond);
|
tree new_cond = find_equivalent_equality_comparison (cond);
|
|
|
if (new_cond)
|
if (new_cond)
|
{
|
{
|
COND_EXPR_COND (stmt) = new_cond;
|
COND_EXPR_COND (stmt) = new_cond;
|
update_stmt (stmt);
|
update_stmt (stmt);
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
/* Forward propagate a single-use variable into COND_EXPR as many
|
/* Forward propagate a single-use variable into COND_EXPR as many
|
times as possible. */
|
times as possible. */
|
|
|
static void
|
static void
|
forward_propagate_into_cond (tree cond_expr)
|
forward_propagate_into_cond (tree cond_expr)
|
{
|
{
|
gcc_assert (TREE_CODE (cond_expr) == COND_EXPR);
|
gcc_assert (TREE_CODE (cond_expr) == COND_EXPR);
|
|
|
while (1)
|
while (1)
|
{
|
{
|
tree test_var = NULL_TREE;
|
tree test_var = NULL_TREE;
|
tree cond = COND_EXPR_COND (cond_expr);
|
tree cond = COND_EXPR_COND (cond_expr);
|
tree new_cond = forward_propagate_into_cond_1 (cond, &test_var);
|
tree new_cond = forward_propagate_into_cond_1 (cond, &test_var);
|
|
|
/* Return if unsuccessful. */
|
/* Return if unsuccessful. */
|
if (new_cond == NULL_TREE)
|
if (new_cond == NULL_TREE)
|
break;
|
break;
|
|
|
/* Dump details. */
|
/* Dump details. */
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
if (dump_file && (dump_flags & TDF_DETAILS))
|
{
|
{
|
fprintf (dump_file, " Replaced '");
|
fprintf (dump_file, " Replaced '");
|
print_generic_expr (dump_file, cond, dump_flags);
|
print_generic_expr (dump_file, cond, dump_flags);
|
fprintf (dump_file, "' with '");
|
fprintf (dump_file, "' with '");
|
print_generic_expr (dump_file, new_cond, dump_flags);
|
print_generic_expr (dump_file, new_cond, dump_flags);
|
fprintf (dump_file, "'\n");
|
fprintf (dump_file, "'\n");
|
}
|
}
|
|
|
COND_EXPR_COND (cond_expr) = new_cond;
|
COND_EXPR_COND (cond_expr) = new_cond;
|
update_stmt (cond_expr);
|
update_stmt (cond_expr);
|
|
|
if (has_zero_uses (test_var))
|
if (has_zero_uses (test_var))
|
{
|
{
|
tree def = SSA_NAME_DEF_STMT (test_var);
|
tree def = SSA_NAME_DEF_STMT (test_var);
|
block_stmt_iterator bsi = bsi_for_stmt (def);
|
block_stmt_iterator bsi = bsi_for_stmt (def);
|
bsi_remove (&bsi, true);
|
bsi_remove (&bsi, true);
|
}
|
}
|
}
|
}
|
|
|
/* There are further simplifications that can be performed
|
/* There are further simplifications that can be performed
|
on COND_EXPRs. Specifically, when comparing an SSA_NAME
|
on COND_EXPRs. Specifically, when comparing an SSA_NAME
|
against a constant where the SSA_NAME is the result of a
|
against a constant where the SSA_NAME is the result of a
|
conversion. Perhaps this should be folded into the rest
|
conversion. Perhaps this should be folded into the rest
|
of the COND_EXPR simplification code. */
|
of the COND_EXPR simplification code. */
|
simplify_cond (cond_expr);
|
simplify_cond (cond_expr);
|
}
|
}
|
|
|
/* We've just substituted an ADDR_EXPR into stmt. Update all the
|
/* We've just substituted an ADDR_EXPR into stmt. Update all the
|
relevant data structures to match. */
|
relevant data structures to match. */
|
|
|
static void
|
static void
|
tidy_after_forward_propagate_addr (tree stmt)
|
tidy_after_forward_propagate_addr (tree stmt)
|
{
|
{
|
/* We may have turned a trapping insn into a non-trapping insn. */
|
/* We may have turned a trapping insn into a non-trapping insn. */
|
if (maybe_clean_or_replace_eh_stmt (stmt, stmt)
|
if (maybe_clean_or_replace_eh_stmt (stmt, stmt)
|
&& tree_purge_dead_eh_edges (bb_for_stmt (stmt)))
|
&& tree_purge_dead_eh_edges (bb_for_stmt (stmt)))
|
cfg_changed = true;
|
cfg_changed = true;
|
|
|
if (TREE_CODE (TREE_OPERAND (stmt, 1)) == ADDR_EXPR)
|
if (TREE_CODE (TREE_OPERAND (stmt, 1)) == ADDR_EXPR)
|
recompute_tree_invariant_for_addr_expr (TREE_OPERAND (stmt, 1));
|
recompute_tree_invariant_for_addr_expr (TREE_OPERAND (stmt, 1));
|
|
|
mark_new_vars_to_rename (stmt);
|
mark_new_vars_to_rename (stmt);
|
}
|
}
|
|
|
/* STMT defines LHS which is contains the address of the 0th element
|
/* STMT defines LHS which is contains the address of the 0th element
|
in an array. USE_STMT uses LHS to compute the address of an
|
in an array. USE_STMT uses LHS to compute the address of an
|
arbitrary element within the array. The (variable) byte offset
|
arbitrary element within the array. The (variable) byte offset
|
of the element is contained in OFFSET.
|
of the element is contained in OFFSET.
|
|
|
We walk back through the use-def chains of OFFSET to verify that
|
We walk back through the use-def chains of OFFSET to verify that
|
it is indeed computing the offset of an element within the array
|
it is indeed computing the offset of an element within the array
|
and extract the index corresponding to the given byte offset.
|
and extract the index corresponding to the given byte offset.
|
|
|
We then try to fold the entire address expression into a form
|
We then try to fold the entire address expression into a form
|
&array[index].
|
&array[index].
|
|
|
If we are successful, we replace the right hand side of USE_STMT
|
If we are successful, we replace the right hand side of USE_STMT
|
with the new address computation. */
|
with the new address computation. */
|
|
|
static bool
|
static bool
|
forward_propagate_addr_into_variable_array_index (tree offset, tree lhs,
|
forward_propagate_addr_into_variable_array_index (tree offset, tree lhs,
|
tree stmt, tree use_stmt)
|
tree stmt, tree use_stmt)
|
{
|
{
|
tree index;
|
tree index;
|
|
|
/* The offset must be defined by a simple MODIFY_EXPR statement. */
|
/* The offset must be defined by a simple MODIFY_EXPR statement. */
|
if (TREE_CODE (offset) != MODIFY_EXPR)
|
if (TREE_CODE (offset) != MODIFY_EXPR)
|
return false;
|
return false;
|
|
|
/* The RHS of the statement which defines OFFSET must be a gimple
|
/* The RHS of the statement which defines OFFSET must be a gimple
|
cast of another SSA_NAME. */
|
cast of another SSA_NAME. */
|
offset = TREE_OPERAND (offset, 1);
|
offset = TREE_OPERAND (offset, 1);
|
if (!is_gimple_cast (offset))
|
if (!is_gimple_cast (offset))
|
return false;
|
return false;
|
|
|
offset = TREE_OPERAND (offset, 0);
|
offset = TREE_OPERAND (offset, 0);
|
if (TREE_CODE (offset) != SSA_NAME)
|
if (TREE_CODE (offset) != SSA_NAME)
|
return false;
|
return false;
|
|
|
/* Get the defining statement of the offset before type
|
/* Get the defining statement of the offset before type
|
conversion. */
|
conversion. */
|
offset = SSA_NAME_DEF_STMT (offset);
|
offset = SSA_NAME_DEF_STMT (offset);
|
|
|
/* The statement which defines OFFSET before type conversion
|
/* The statement which defines OFFSET before type conversion
|
must be a simple MODIFY_EXPR. */
|
must be a simple MODIFY_EXPR. */
|
if (TREE_CODE (offset) != MODIFY_EXPR)
|
if (TREE_CODE (offset) != MODIFY_EXPR)
|
return false;
|
return false;
|
|
|
/* The RHS of the statement which defines OFFSET must be a
|
/* The RHS of the statement which defines OFFSET must be a
|
multiplication of an object by the size of the array elements.
|
multiplication of an object by the size of the array elements.
|
This implicitly verifies that the size of the array elements
|
This implicitly verifies that the size of the array elements
|
is constant. */
|
is constant. */
|
offset = TREE_OPERAND (offset, 1);
|
offset = TREE_OPERAND (offset, 1);
|
if (TREE_CODE (offset) != MULT_EXPR
|
if (TREE_CODE (offset) != MULT_EXPR
|
|| TREE_CODE (TREE_OPERAND (offset, 1)) != INTEGER_CST
|
|| TREE_CODE (TREE_OPERAND (offset, 1)) != INTEGER_CST
|
|| !simple_cst_equal (TREE_OPERAND (offset, 1),
|
|| !simple_cst_equal (TREE_OPERAND (offset, 1),
|
TYPE_SIZE_UNIT (TREE_TYPE (TREE_TYPE (lhs)))))
|
TYPE_SIZE_UNIT (TREE_TYPE (TREE_TYPE (lhs)))))
|
return false;
|
return false;
|
|
|
/* The first operand to the MULT_EXPR is the desired index. */
|
/* The first operand to the MULT_EXPR is the desired index. */
|
index = TREE_OPERAND (offset, 0);
|
index = TREE_OPERAND (offset, 0);
|
|
|
/* Replace the pointer addition with array indexing. */
|
/* Replace the pointer addition with array indexing. */
|
TREE_OPERAND (use_stmt, 1) = unshare_expr (TREE_OPERAND (stmt, 1));
|
TREE_OPERAND (use_stmt, 1) = unshare_expr (TREE_OPERAND (stmt, 1));
|
TREE_OPERAND (TREE_OPERAND (TREE_OPERAND (use_stmt, 1), 0), 1) = index;
|
TREE_OPERAND (TREE_OPERAND (TREE_OPERAND (use_stmt, 1), 0), 1) = index;
|
|
|
/* That should have created gimple, so there is no need to
|
/* That should have created gimple, so there is no need to
|
record information to undo the propagation. */
|
record information to undo the propagation. */
|
fold_stmt_inplace (use_stmt);
|
fold_stmt_inplace (use_stmt);
|
tidy_after_forward_propagate_addr (use_stmt);
|
tidy_after_forward_propagate_addr (use_stmt);
|
return true;
|
return true;
|
}
|
}
|
|
|
/* STMT is a statement of the form SSA_NAME = ADDR_EXPR <whatever>.
|
/* STMT is a statement of the form SSA_NAME = ADDR_EXPR <whatever>.
|
|
|
Try to forward propagate the ADDR_EXPR into the use USE_STMT.
|
Try to forward propagate the ADDR_EXPR into the use USE_STMT.
|
Often this will allow for removal of an ADDR_EXPR and INDIRECT_REF
|
Often this will allow for removal of an ADDR_EXPR and INDIRECT_REF
|
node or for recovery of array indexing from pointer arithmetic.
|
node or for recovery of array indexing from pointer arithmetic.
|
|
|
CHANGED is an optional pointer to a boolean variable set to true if
|
CHANGED is an optional pointer to a boolean variable set to true if
|
either the LHS or RHS was changed in the USE_STMT.
|
either the LHS or RHS was changed in the USE_STMT.
|
|
|
Return true if the propagation was successful (the propagation can
|
Return true if the propagation was successful (the propagation can
|
be not totally successful, yet things may have been changed). */
|
be not totally successful, yet things may have been changed). */
|
|
|
static bool
|
static bool
|
forward_propagate_addr_expr_1 (tree stmt, tree use_stmt, bool *changed)
|
forward_propagate_addr_expr_1 (tree stmt, tree use_stmt, bool *changed)
|
{
|
{
|
tree name = TREE_OPERAND (stmt, 0);
|
tree name = TREE_OPERAND (stmt, 0);
|
tree lhs, rhs, array_ref;
|
tree lhs, rhs, array_ref;
|
|
|
/* Strip away any outer COMPONENT_REF/ARRAY_REF nodes from the LHS.
|
/* Strip away any outer COMPONENT_REF/ARRAY_REF nodes from the LHS.
|
ADDR_EXPR will not appear on the LHS. */
|
ADDR_EXPR will not appear on the LHS. */
|
lhs = TREE_OPERAND (use_stmt, 0);
|
lhs = TREE_OPERAND (use_stmt, 0);
|
while (TREE_CODE (lhs) == COMPONENT_REF || TREE_CODE (lhs) == ARRAY_REF)
|
while (TREE_CODE (lhs) == COMPONENT_REF || TREE_CODE (lhs) == ARRAY_REF)
|
lhs = TREE_OPERAND (lhs, 0);
|
lhs = TREE_OPERAND (lhs, 0);
|
|
|
/* Now see if the LHS node is an INDIRECT_REF using NAME. If so,
|
/* Now see if the LHS node is an INDIRECT_REF using NAME. If so,
|
propagate the ADDR_EXPR into the use of NAME and fold the result. */
|
propagate the ADDR_EXPR into the use of NAME and fold the result. */
|
if (TREE_CODE (lhs) == INDIRECT_REF && TREE_OPERAND (lhs, 0) == name)
|
if (TREE_CODE (lhs) == INDIRECT_REF && TREE_OPERAND (lhs, 0) == name)
|
{
|
{
|
/* This should always succeed in creating gimple, so there is
|
/* This should always succeed in creating gimple, so there is
|
no need to save enough state to undo this propagation. */
|
no need to save enough state to undo this propagation. */
|
TREE_OPERAND (lhs, 0) = unshare_expr (TREE_OPERAND (stmt, 1));
|
TREE_OPERAND (lhs, 0) = unshare_expr (TREE_OPERAND (stmt, 1));
|
fold_stmt_inplace (use_stmt);
|
fold_stmt_inplace (use_stmt);
|
tidy_after_forward_propagate_addr (use_stmt);
|
tidy_after_forward_propagate_addr (use_stmt);
|
if (changed)
|
if (changed)
|
*changed = true;
|
*changed = true;
|
}
|
}
|
|
|
/* Trivial case. The use statement could be a trivial copy. We
|
/* Trivial case. The use statement could be a trivial copy. We
|
go ahead and handle that case here since it's trivial and
|
go ahead and handle that case here since it's trivial and
|
removes the need to run copy-prop before this pass to get
|
removes the need to run copy-prop before this pass to get
|
the best results. Also note that by handling this case here
|
the best results. Also note that by handling this case here
|
we can catch some cascading effects, ie the single use is
|
we can catch some cascading effects, ie the single use is
|
in a copy, and the copy is used later by a single INDIRECT_REF
|
in a copy, and the copy is used later by a single INDIRECT_REF
|
for example. */
|
for example. */
|
else if (TREE_CODE (lhs) == SSA_NAME && TREE_OPERAND (use_stmt, 1) == name)
|
else if (TREE_CODE (lhs) == SSA_NAME && TREE_OPERAND (use_stmt, 1) == name)
|
{
|
{
|
TREE_OPERAND (use_stmt, 1) = unshare_expr (TREE_OPERAND (stmt, 1));
|
TREE_OPERAND (use_stmt, 1) = unshare_expr (TREE_OPERAND (stmt, 1));
|
tidy_after_forward_propagate_addr (use_stmt);
|
tidy_after_forward_propagate_addr (use_stmt);
|
if (changed)
|
if (changed)
|
*changed = true;
|
*changed = true;
|
return true;
|
return true;
|
}
|
}
|
|
|
/* Strip away any outer COMPONENT_REF, ARRAY_REF or ADDR_EXPR
|
/* Strip away any outer COMPONENT_REF, ARRAY_REF or ADDR_EXPR
|
nodes from the RHS. */
|
nodes from the RHS. */
|
rhs = TREE_OPERAND (use_stmt, 1);
|
rhs = TREE_OPERAND (use_stmt, 1);
|
while (TREE_CODE (rhs) == COMPONENT_REF
|
while (TREE_CODE (rhs) == COMPONENT_REF
|
|| TREE_CODE (rhs) == ARRAY_REF
|
|| TREE_CODE (rhs) == ARRAY_REF
|
|| TREE_CODE (rhs) == ADDR_EXPR)
|
|| TREE_CODE (rhs) == ADDR_EXPR)
|
rhs = TREE_OPERAND (rhs, 0);
|
rhs = TREE_OPERAND (rhs, 0);
|
|
|
/* Now see if the RHS node is an INDIRECT_REF using NAME. If so,
|
/* Now see if the RHS node is an INDIRECT_REF using NAME. If so,
|
propagate the ADDR_EXPR into the use of NAME and fold the result. */
|
propagate the ADDR_EXPR into the use of NAME and fold the result. */
|
if (TREE_CODE (rhs) == INDIRECT_REF && TREE_OPERAND (rhs, 0) == name)
|
if (TREE_CODE (rhs) == INDIRECT_REF && TREE_OPERAND (rhs, 0) == name)
|
{
|
{
|
/* This should always succeed in creating gimple, so there is
|
/* This should always succeed in creating gimple, so there is
|
no need to save enough state to undo this propagation. */
|
no need to save enough state to undo this propagation. */
|
TREE_OPERAND (rhs, 0) = unshare_expr (TREE_OPERAND (stmt, 1));
|
TREE_OPERAND (rhs, 0) = unshare_expr (TREE_OPERAND (stmt, 1));
|
fold_stmt_inplace (use_stmt);
|
fold_stmt_inplace (use_stmt);
|
tidy_after_forward_propagate_addr (use_stmt);
|
tidy_after_forward_propagate_addr (use_stmt);
|
if (changed)
|
if (changed)
|
*changed = true;
|
*changed = true;
|
return true;
|
return true;
|
}
|
}
|
|
|
/* The remaining cases are all for turning pointer arithmetic into
|
/* The remaining cases are all for turning pointer arithmetic into
|
array indexing. They only apply when we have the address of
|
array indexing. They only apply when we have the address of
|
element zero in an array. If that is not the case then there
|
element zero in an array. If that is not the case then there
|
is nothing to do. */
|
is nothing to do. */
|
array_ref = TREE_OPERAND (TREE_OPERAND (stmt, 1), 0);
|
array_ref = TREE_OPERAND (TREE_OPERAND (stmt, 1), 0);
|
if (TREE_CODE (array_ref) != ARRAY_REF
|
if (TREE_CODE (array_ref) != ARRAY_REF
|
|| TREE_CODE (TREE_TYPE (TREE_OPERAND (array_ref, 0))) != ARRAY_TYPE
|
|| TREE_CODE (TREE_TYPE (TREE_OPERAND (array_ref, 0))) != ARRAY_TYPE
|
|| !integer_zerop (TREE_OPERAND (array_ref, 1)))
|
|| !integer_zerop (TREE_OPERAND (array_ref, 1)))
|
return false;
|
return false;
|
|
|
/* If the use of the ADDR_EXPR must be a PLUS_EXPR, or else there
|
/* If the use of the ADDR_EXPR must be a PLUS_EXPR, or else there
|
is nothing to do. */
|
is nothing to do. */
|
if (TREE_CODE (rhs) != PLUS_EXPR)
|
if (TREE_CODE (rhs) != PLUS_EXPR)
|
return false;
|
return false;
|
|
|
/* Try to optimize &x[0] + C where C is a multiple of the size
|
/* Try to optimize &x[0] + C where C is a multiple of the size
|
of the elements in X into &x[C/element size]. */
|
of the elements in X into &x[C/element size]. */
|
if (TREE_OPERAND (rhs, 0) == name
|
if (TREE_OPERAND (rhs, 0) == name
|
&& TREE_CODE (TREE_OPERAND (rhs, 1)) == INTEGER_CST)
|
&& TREE_CODE (TREE_OPERAND (rhs, 1)) == INTEGER_CST)
|
{
|
{
|
tree orig = unshare_expr (rhs);
|
tree orig = unshare_expr (rhs);
|
TREE_OPERAND (rhs, 0) = unshare_expr (TREE_OPERAND (stmt, 1));
|
TREE_OPERAND (rhs, 0) = unshare_expr (TREE_OPERAND (stmt, 1));
|
|
|
/* If folding succeeds, then we have just exposed new variables
|
/* If folding succeeds, then we have just exposed new variables
|
in USE_STMT which will need to be renamed. If folding fails,
|
in USE_STMT which will need to be renamed. If folding fails,
|
then we need to put everything back the way it was. */
|
then we need to put everything back the way it was. */
|
if (fold_stmt_inplace (use_stmt))
|
if (fold_stmt_inplace (use_stmt))
|
{
|
{
|
tidy_after_forward_propagate_addr (use_stmt);
|
tidy_after_forward_propagate_addr (use_stmt);
|
if (changed)
|
if (changed)
|
*changed = true;
|
*changed = true;
|
return true;
|
return true;
|
}
|
}
|
else
|
else
|
{
|
{
|
TREE_OPERAND (use_stmt, 1) = orig;
|
TREE_OPERAND (use_stmt, 1) = orig;
|
update_stmt (use_stmt);
|
update_stmt (use_stmt);
|
return false;
|
return false;
|
}
|
}
|
}
|
}
|
|
|
/* Try to optimize &x[0] + OFFSET where OFFSET is defined by
|
/* Try to optimize &x[0] + OFFSET where OFFSET is defined by
|
converting a multiplication of an index by the size of the
|
converting a multiplication of an index by the size of the
|
array elements, then the result is converted into the proper
|
array elements, then the result is converted into the proper
|
type for the arithmetic. */
|
type for the arithmetic. */
|
if (TREE_OPERAND (rhs, 0) == name
|
if (TREE_OPERAND (rhs, 0) == name
|
&& TREE_CODE (TREE_OPERAND (rhs, 1)) == SSA_NAME
|
&& TREE_CODE (TREE_OPERAND (rhs, 1)) == SSA_NAME
|
/* Avoid problems with IVopts creating PLUS_EXPRs with a
|
/* Avoid problems with IVopts creating PLUS_EXPRs with a
|
different type than their operands. */
|
different type than their operands. */
|
&& lang_hooks.types_compatible_p (TREE_TYPE (name), TREE_TYPE (rhs)))
|
&& lang_hooks.types_compatible_p (TREE_TYPE (name), TREE_TYPE (rhs)))
|
{
|
{
|
bool res;
|
bool res;
|
tree offset_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (rhs, 1));
|
tree offset_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (rhs, 1));
|
|
|
res = forward_propagate_addr_into_variable_array_index (offset_stmt, lhs,
|
res = forward_propagate_addr_into_variable_array_index (offset_stmt, lhs,
|
stmt, use_stmt);
|
stmt, use_stmt);
|
if (res && changed)
|
if (res && changed)
|
*changed = true;
|
*changed = true;
|
return res;
|
return res;
|
}
|
}
|
|
|
/* Same as the previous case, except the operands of the PLUS_EXPR
|
/* Same as the previous case, except the operands of the PLUS_EXPR
|
were reversed. */
|
were reversed. */
|
if (TREE_OPERAND (rhs, 1) == name
|
if (TREE_OPERAND (rhs, 1) == name
|
&& TREE_CODE (TREE_OPERAND (rhs, 0)) == SSA_NAME
|
&& TREE_CODE (TREE_OPERAND (rhs, 0)) == SSA_NAME
|
/* Avoid problems with IVopts creating PLUS_EXPRs with a
|
/* Avoid problems with IVopts creating PLUS_EXPRs with a
|
different type than their operands. */
|
different type than their operands. */
|
&& lang_hooks.types_compatible_p (TREE_TYPE (name), TREE_TYPE (rhs)))
|
&& lang_hooks.types_compatible_p (TREE_TYPE (name), TREE_TYPE (rhs)))
|
{
|
{
|
bool res;
|
bool res;
|
tree offset_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (rhs, 0));
|
tree offset_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (rhs, 0));
|
res = forward_propagate_addr_into_variable_array_index (offset_stmt, lhs,
|
res = forward_propagate_addr_into_variable_array_index (offset_stmt, lhs,
|
stmt, use_stmt);
|
stmt, use_stmt);
|
if (res && changed)
|
if (res && changed)
|
*changed = true;
|
*changed = true;
|
return res;
|
return res;
|
}
|
}
|
return false;
|
return false;
|
}
|
}
|
|
|
/* STMT is a statement of the form SSA_NAME = ADDR_EXPR <whatever>.
|
/* STMT is a statement of the form SSA_NAME = ADDR_EXPR <whatever>.
|
SOME is a pointer to a boolean value indicating whether we
|
SOME is a pointer to a boolean value indicating whether we
|
propagated the address expression anywhere.
|
propagated the address expression anywhere.
|
|
|
Try to forward propagate the ADDR_EXPR into all uses of the SSA_NAME.
|
Try to forward propagate the ADDR_EXPR into all uses of the SSA_NAME.
|
Often this will allow for removal of an ADDR_EXPR and INDIRECT_REF
|
Often this will allow for removal of an ADDR_EXPR and INDIRECT_REF
|
node or for recovery of array indexing from pointer arithmetic.
|
node or for recovery of array indexing from pointer arithmetic.
|
Returns true, if all uses have been propagated into. */
|
Returns true, if all uses have been propagated into. */
|
|
|
static bool
|
static bool
|
forward_propagate_addr_expr (tree stmt, bool *some)
|
forward_propagate_addr_expr (tree stmt, bool *some)
|
{
|
{
|
int stmt_loop_depth = bb_for_stmt (stmt)->loop_depth;
|
int stmt_loop_depth = bb_for_stmt (stmt)->loop_depth;
|
tree name = TREE_OPERAND (stmt, 0);
|
tree name = TREE_OPERAND (stmt, 0);
|
imm_use_iterator iter;
|
imm_use_iterator iter;
|
tree use_stmt;
|
tree use_stmt;
|
bool all = true;
|
bool all = true;
|
|
|
FOR_EACH_IMM_USE_STMT (use_stmt, iter, name)
|
FOR_EACH_IMM_USE_STMT (use_stmt, iter, name)
|
{
|
{
|
bool result;
|
bool result;
|
|
|
/* If the use is not in a simple assignment statement, then
|
/* If the use is not in a simple assignment statement, then
|
there is nothing we can do. */
|
there is nothing we can do. */
|
if (TREE_CODE (use_stmt) != MODIFY_EXPR)
|
if (TREE_CODE (use_stmt) != MODIFY_EXPR)
|
{
|
{
|
all = false;
|
all = false;
|
continue;
|
continue;
|
}
|
}
|
|
|
/* If the use is in a deeper loop nest, then we do not want
|
/* If the use is in a deeper loop nest, then we do not want
|
to propagate the ADDR_EXPR into the loop as that is likely
|
to propagate the ADDR_EXPR into the loop as that is likely
|
adding expression evaluations into the loop. */
|
adding expression evaluations into the loop. */
|
if (bb_for_stmt (use_stmt)->loop_depth > stmt_loop_depth)
|
if (bb_for_stmt (use_stmt)->loop_depth > stmt_loop_depth)
|
{
|
{
|
all = false;
|
all = false;
|
continue;
|
continue;
|
}
|
}
|
|
|
/* If the use_stmt has side-effects, don't propagate into it. */
|
/* If the use_stmt has side-effects, don't propagate into it. */
|
if (stmt_ann (use_stmt)->has_volatile_ops)
|
if (stmt_ann (use_stmt)->has_volatile_ops)
|
{
|
{
|
all = false;
|
all = false;
|
continue;
|
continue;
|
}
|
}
|
|
|
result = forward_propagate_addr_expr_1 (stmt, use_stmt, some);
|
result = forward_propagate_addr_expr_1 (stmt, use_stmt, some);
|
*some |= result;
|
*some |= result;
|
all &= result;
|
all &= result;
|
}
|
}
|
|
|
return all;
|
return all;
|
}
|
}
|
|
|
/* If we have lhs = ~x (STMT), look and see if earlier we had x = ~y.
|
/* If we have lhs = ~x (STMT), look and see if earlier we had x = ~y.
|
If so, we can change STMT into lhs = y which can later be copy
|
If so, we can change STMT into lhs = y which can later be copy
|
propagated. Similarly for negation.
|
propagated. Similarly for negation.
|
|
|
This could trivially be formulated as a forward propagation
|
This could trivially be formulated as a forward propagation
|
to immediate uses. However, we already had an implementation
|
to immediate uses. However, we already had an implementation
|
from DOM which used backward propagation via the use-def links.
|
from DOM which used backward propagation via the use-def links.
|
|
|
It turns out that backward propagation is actually faster as
|
It turns out that backward propagation is actually faster as
|
there's less work to do for each NOT/NEG expression we find.
|
there's less work to do for each NOT/NEG expression we find.
|
Backwards propagation needs to look at the statement in a single
|
Backwards propagation needs to look at the statement in a single
|
backlink. Forward propagation needs to look at potentially more
|
backlink. Forward propagation needs to look at potentially more
|
than one forward link. */
|
than one forward link. */
|
|
|
static void
|
static void
|
simplify_not_neg_expr (tree stmt)
|
simplify_not_neg_expr (tree stmt)
|
{
|
{
|
tree rhs = TREE_OPERAND (stmt, 1);
|
tree rhs = TREE_OPERAND (stmt, 1);
|
tree rhs_def_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (rhs, 0));
|
tree rhs_def_stmt = SSA_NAME_DEF_STMT (TREE_OPERAND (rhs, 0));
|
|
|
/* See if the RHS_DEF_STMT has the same form as our statement. */
|
/* See if the RHS_DEF_STMT has the same form as our statement. */
|
if (TREE_CODE (rhs_def_stmt) == MODIFY_EXPR
|
if (TREE_CODE (rhs_def_stmt) == MODIFY_EXPR
|
&& TREE_CODE (TREE_OPERAND (rhs_def_stmt, 1)) == TREE_CODE (rhs))
|
&& TREE_CODE (TREE_OPERAND (rhs_def_stmt, 1)) == TREE_CODE (rhs))
|
{
|
{
|
tree rhs_def_operand = TREE_OPERAND (TREE_OPERAND (rhs_def_stmt, 1), 0);
|
tree rhs_def_operand = TREE_OPERAND (TREE_OPERAND (rhs_def_stmt, 1), 0);
|
|
|
/* Verify that RHS_DEF_OPERAND is a suitable SSA_NAME. */
|
/* Verify that RHS_DEF_OPERAND is a suitable SSA_NAME. */
|
if (TREE_CODE (rhs_def_operand) == SSA_NAME
|
if (TREE_CODE (rhs_def_operand) == SSA_NAME
|
&& ! SSA_NAME_OCCURS_IN_ABNORMAL_PHI (rhs_def_operand))
|
&& ! SSA_NAME_OCCURS_IN_ABNORMAL_PHI (rhs_def_operand))
|
{
|
{
|
TREE_OPERAND (stmt, 1) = rhs_def_operand;
|
TREE_OPERAND (stmt, 1) = rhs_def_operand;
|
update_stmt (stmt);
|
update_stmt (stmt);
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
/* STMT is a SWITCH_EXPR for which we attempt to find equivalent forms of
|
/* STMT is a SWITCH_EXPR for which we attempt to find equivalent forms of
|
the condition which we may be able to optimize better. */
|
the condition which we may be able to optimize better. */
|
|
|
static void
|
static void
|
simplify_switch_expr (tree stmt)
|
simplify_switch_expr (tree stmt)
|
{
|
{
|
tree cond = SWITCH_COND (stmt);
|
tree cond = SWITCH_COND (stmt);
|
tree def, to, ti;
|
tree def, to, ti;
|
|
|
/* The optimization that we really care about is removing unnecessary
|
/* The optimization that we really care about is removing unnecessary
|
casts. That will let us do much better in propagating the inferred
|
casts. That will let us do much better in propagating the inferred
|
constant at the switch target. */
|
constant at the switch target. */
|
if (TREE_CODE (cond) == SSA_NAME)
|
if (TREE_CODE (cond) == SSA_NAME)
|
{
|
{
|
def = SSA_NAME_DEF_STMT (cond);
|
def = SSA_NAME_DEF_STMT (cond);
|
if (TREE_CODE (def) == MODIFY_EXPR)
|
if (TREE_CODE (def) == MODIFY_EXPR)
|
{
|
{
|
def = TREE_OPERAND (def, 1);
|
def = TREE_OPERAND (def, 1);
|
if (TREE_CODE (def) == NOP_EXPR)
|
if (TREE_CODE (def) == NOP_EXPR)
|
{
|
{
|
int need_precision;
|
int need_precision;
|
bool fail;
|
bool fail;
|
|
|
def = TREE_OPERAND (def, 0);
|
def = TREE_OPERAND (def, 0);
|
|
|
#ifdef ENABLE_CHECKING
|
#ifdef ENABLE_CHECKING
|
/* ??? Why was Jeff testing this? We are gimple... */
|
/* ??? Why was Jeff testing this? We are gimple... */
|
gcc_assert (is_gimple_val (def));
|
gcc_assert (is_gimple_val (def));
|
#endif
|
#endif
|
|
|
to = TREE_TYPE (cond);
|
to = TREE_TYPE (cond);
|
ti = TREE_TYPE (def);
|
ti = TREE_TYPE (def);
|
|
|
/* If we have an extension that preserves value, then we
|
/* If we have an extension that preserves value, then we
|
can copy the source value into the switch. */
|
can copy the source value into the switch. */
|
|
|
need_precision = TYPE_PRECISION (ti);
|
need_precision = TYPE_PRECISION (ti);
|
fail = false;
|
fail = false;
|
if (! INTEGRAL_TYPE_P (ti))
|
if (! INTEGRAL_TYPE_P (ti))
|
fail = true;
|
fail = true;
|
else if (TYPE_UNSIGNED (to) && !TYPE_UNSIGNED (ti))
|
else if (TYPE_UNSIGNED (to) && !TYPE_UNSIGNED (ti))
|
fail = true;
|
fail = true;
|
else if (!TYPE_UNSIGNED (to) && TYPE_UNSIGNED (ti))
|
else if (!TYPE_UNSIGNED (to) && TYPE_UNSIGNED (ti))
|
need_precision += 1;
|
need_precision += 1;
|
if (TYPE_PRECISION (to) < need_precision)
|
if (TYPE_PRECISION (to) < need_precision)
|
fail = true;
|
fail = true;
|
|
|
if (!fail)
|
if (!fail)
|
{
|
{
|
SWITCH_COND (stmt) = def;
|
SWITCH_COND (stmt) = def;
|
update_stmt (stmt);
|
update_stmt (stmt);
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
/* Main entry point for the forward propagation optimizer. */
|
/* Main entry point for the forward propagation optimizer. */
|
|
|
static unsigned int
|
static unsigned int
|
tree_ssa_forward_propagate_single_use_vars (void)
|
tree_ssa_forward_propagate_single_use_vars (void)
|
{
|
{
|
basic_block bb;
|
basic_block bb;
|
unsigned int todoflags = 0;
|
unsigned int todoflags = 0;
|
|
|
cfg_changed = false;
|
cfg_changed = false;
|
|
|
FOR_EACH_BB (bb)
|
FOR_EACH_BB (bb)
|
{
|
{
|
block_stmt_iterator bsi;
|
block_stmt_iterator bsi;
|
|
|
/* Note we update BSI within the loop as necessary. */
|
/* Note we update BSI within the loop as necessary. */
|
for (bsi = bsi_start (bb); !bsi_end_p (bsi); )
|
for (bsi = bsi_start (bb); !bsi_end_p (bsi); )
|
{
|
{
|
tree stmt = bsi_stmt (bsi);
|
tree stmt = bsi_stmt (bsi);
|
|
|
/* If this statement sets an SSA_NAME to an address,
|
/* If this statement sets an SSA_NAME to an address,
|
try to propagate the address into the uses of the SSA_NAME. */
|
try to propagate the address into the uses of the SSA_NAME. */
|
if (TREE_CODE (stmt) == MODIFY_EXPR)
|
if (TREE_CODE (stmt) == MODIFY_EXPR)
|
{
|
{
|
tree lhs = TREE_OPERAND (stmt, 0);
|
tree lhs = TREE_OPERAND (stmt, 0);
|
tree rhs = TREE_OPERAND (stmt, 1);
|
tree rhs = TREE_OPERAND (stmt, 1);
|
|
|
|
|
if (TREE_CODE (lhs) != SSA_NAME)
|
if (TREE_CODE (lhs) != SSA_NAME)
|
{
|
{
|
bsi_next (&bsi);
|
bsi_next (&bsi);
|
continue;
|
continue;
|
}
|
}
|
|
|
if (TREE_CODE (rhs) == ADDR_EXPR)
|
if (TREE_CODE (rhs) == ADDR_EXPR)
|
{
|
{
|
bool some = false;
|
bool some = false;
|
if (forward_propagate_addr_expr (stmt, &some))
|
if (forward_propagate_addr_expr (stmt, &some))
|
bsi_remove (&bsi, true);
|
bsi_remove (&bsi, true);
|
else
|
else
|
bsi_next (&bsi);
|
bsi_next (&bsi);
|
if (some)
|
if (some)
|
todoflags |= TODO_update_smt_usage;
|
todoflags |= TODO_update_smt_usage;
|
}
|
}
|
else if ((TREE_CODE (rhs) == BIT_NOT_EXPR
|
else if ((TREE_CODE (rhs) == BIT_NOT_EXPR
|
|| TREE_CODE (rhs) == NEGATE_EXPR)
|
|| TREE_CODE (rhs) == NEGATE_EXPR)
|
&& TREE_CODE (TREE_OPERAND (rhs, 0)) == SSA_NAME)
|
&& TREE_CODE (TREE_OPERAND (rhs, 0)) == SSA_NAME)
|
{
|
{
|
simplify_not_neg_expr (stmt);
|
simplify_not_neg_expr (stmt);
|
bsi_next (&bsi);
|
bsi_next (&bsi);
|
}
|
}
|
else
|
else
|
bsi_next (&bsi);
|
bsi_next (&bsi);
|
}
|
}
|
else if (TREE_CODE (stmt) == SWITCH_EXPR)
|
else if (TREE_CODE (stmt) == SWITCH_EXPR)
|
{
|
{
|
simplify_switch_expr (stmt);
|
simplify_switch_expr (stmt);
|
bsi_next (&bsi);
|
bsi_next (&bsi);
|
}
|
}
|
else if (TREE_CODE (stmt) == COND_EXPR)
|
else if (TREE_CODE (stmt) == COND_EXPR)
|
{
|
{
|
forward_propagate_into_cond (stmt);
|
forward_propagate_into_cond (stmt);
|
bsi_next (&bsi);
|
bsi_next (&bsi);
|
}
|
}
|
else
|
else
|
bsi_next (&bsi);
|
bsi_next (&bsi);
|
}
|
}
|
}
|
}
|
|
|
if (cfg_changed)
|
if (cfg_changed)
|
cleanup_tree_cfg ();
|
cleanup_tree_cfg ();
|
return todoflags;
|
return todoflags;
|
}
|
}
|
|
|
|
|
static bool
|
static bool
|
gate_forwprop (void)
|
gate_forwprop (void)
|
{
|
{
|
return 1;
|
return 1;
|
}
|
}
|
|
|
struct tree_opt_pass pass_forwprop = {
|
struct tree_opt_pass pass_forwprop = {
|
"forwprop", /* name */
|
"forwprop", /* name */
|
gate_forwprop, /* gate */
|
gate_forwprop, /* gate */
|
tree_ssa_forward_propagate_single_use_vars, /* execute */
|
tree_ssa_forward_propagate_single_use_vars, /* execute */
|
NULL, /* sub */
|
NULL, /* sub */
|
NULL, /* next */
|
NULL, /* next */
|
0, /* static_pass_number */
|
0, /* static_pass_number */
|
TV_TREE_FORWPROP, /* tv_id */
|
TV_TREE_FORWPROP, /* tv_id */
|
PROP_cfg | PROP_ssa
|
PROP_cfg | PROP_ssa
|
| PROP_alias, /* properties_required */
|
| PROP_alias, /* properties_required */
|
0, /* properties_provided */
|
0, /* properties_provided */
|
PROP_smt_usage, /* properties_destroyed */
|
PROP_smt_usage, /* properties_destroyed */
|
0, /* todo_flags_start */
|
0, /* todo_flags_start */
|
TODO_dump_func /* todo_flags_finish */
|
TODO_dump_func /* todo_flags_finish */
|
| TODO_ggc_collect
|
| TODO_ggc_collect
|
| TODO_update_ssa | TODO_verify_ssa,
|
| TODO_update_ssa | TODO_verify_ssa,
|
0 /* letter */
|
0 /* letter */
|
};
|
};
|
|
|
