aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-ssa-forwprop.c
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2012-07-19 21:35:12 +0000
committerEric Botcazou <ebotcazou@gcc.gnu.org>2012-07-19 21:35:12 +0000
commit9402220cecec63a6e7d26ab0767a569f48a0385b (patch)
tree690fb10d1738f67c49fec46cc3c844fa7255f80b /gcc/tree-ssa-forwprop.c
parenta3628196ec3dee889444cce725c810e84e36b670 (diff)
downloadgcc-9402220cecec63a6e7d26ab0767a569f48a0385b.zip
gcc-9402220cecec63a6e7d26ab0767a569f48a0385b.tar.gz
gcc-9402220cecec63a6e7d26ab0767a569f48a0385b.tar.bz2
tree-ssa-forwprop.c (combine_conversions): Punt if the RHS of the defining statement is a SSA name that occurs in abnormal...
* tree-ssa-forwprop.c (combine_conversions): Punt if the RHS of the defining statement is a SSA name that occurs in abnormal PHIs. From-SVN: r189687
Diffstat (limited to 'gcc/tree-ssa-forwprop.c')
-rw-r--r--gcc/tree-ssa-forwprop.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c
index 2ab4b23..c265f71 100644
--- a/gcc/tree-ssa-forwprop.c
+++ b/gcc/tree-ssa-forwprop.c
@@ -2584,6 +2584,11 @@ combine_conversions (gimple_stmt_iterator *gsi)
unsigned int final_prec = TYPE_PRECISION (type);
int final_unsignedp = TYPE_UNSIGNED (type);
+ /* Don't propagate ssa names that occur in abnormal phis. */
+ if (TREE_CODE (defop0) == SSA_NAME
+ && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (defop0))
+ return 0;
+
/* In addition to the cases of two conversions in a row
handled below, if we are converting something to its own
type via an object of identical or wider precision, neither