diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2012-07-19 21:35:12 +0000 |
---|---|---|
committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2012-07-19 21:35:12 +0000 |
commit | 9402220cecec63a6e7d26ab0767a569f48a0385b (patch) | |
tree | 690fb10d1738f67c49fec46cc3c844fa7255f80b /gcc/tree-ssa-forwprop.c | |
parent | a3628196ec3dee889444cce725c810e84e36b670 (diff) | |
download | gcc-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.c | 5 |
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 |