diff options
| author | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-17 18:42:51 +0000 |
|---|---|---|
| committer | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-17 18:42:51 +0000 |
| commit | efbde115d30502ae873c40336438d05b9f80318f (patch) | |
| tree | 27e1b430d361c79a35303c66e5546cdc110af717 /gcc/tree-ssa.c | |
| parent | 70dd11f7e9e827334144431853540ccf261151e6 (diff) | |
| download | gcc-efbde115d30502ae873c40336438d05b9f80318f.tar.gz | |
PR tree-optimization/17273
* tree-ssa.c (replace_immediate_uses): Call fold_stmt if the
replacement is a constant.
testsuite/ChangeLog
PR tree-optimization/17273
* gcc.c-torture/compile/pr17273.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@87662 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 3e9b2134f9a..f79466da38a 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -1018,6 +1018,25 @@ replace_immediate_uses (tree var, tree repl) propagate_value (use_p, repl); } + /* FIXME. If REPL is a constant, we need to fold STMT. + However, fold_stmt wants a pointer to the statement, because + it may happen that it needs to replace the whole statement + with a new expression. Since the current def-use machinery + does not return pointers to statements, we call fold_stmt + with the address of a local temporary, if that call changes + the temporary then we fall on our swords. + + Note that all this will become unnecessary soon. This + pass is being replaced with a proper copy propagation pass + for 4.1 (dnovillo, 2004-09-17). */ + if (TREE_CODE (repl) != SSA_NAME) + { + tree tmp = stmt; + fold_stmt (&tmp); + if (tmp != stmt) + abort (); + } + /* If REPL is a pointer, it may have different memory tags associated with it. For instance, VAR may have had a name tag while REPL only had a type tag. In these cases, the virtual operands (if |