diff options
| author | kenner <kenner@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-08-31 22:28:44 +0000 |
|---|---|---|
| committer | kenner <kenner@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-08-31 22:28:44 +0000 |
| commit | 051287642318be30d1a54f0c07fca12f4e6acb03 (patch) | |
| tree | 364c3bbaa6a3d5a7c6377b0c8fe299b0e9f34921 /gcc | |
| parent | e48549f64717d71b4fb2fca70e66b0a61f47de14 (diff) | |
| download | gcc-051287642318be30d1a54f0c07fca12f4e6acb03.tar.gz | |
* tree-cfg.c (cfg_remove_useless_stmts_bb): Also invalidate if VAL
gets modified.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@86847 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-cfg.c | 8 |
2 files changed, 12 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index af60798b7c6..1cddc302288 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-08-31 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> + Jeff Law <law@redhat.com> + + * tree-cfg.c (cfg_remove_useless_stmts_bb): Also invalidate if VAL + gets modified. + 2004-08-31 Mark Mitchell <mark@codesourcery.com> * hooks.c (hook_bool_void_true): New function. diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index dab912550d6..ae9521e0d0d 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -1738,10 +1738,14 @@ cfg_remove_useless_stmts_bb (basic_block bb) continue; } - /* Invalidate the var if we encounter something that could modify it. */ + /* Invalidate the var if we encounter something that could modify it. + Likewise for the value it was previously set to. Note that we only + consider values that are either a VAR_DECL or PARM_DECL so we + can test for conflict very simply. */ if (TREE_CODE (stmt) == ASM_EXPR || (TREE_CODE (stmt) == MODIFY_EXPR - && TREE_OPERAND (stmt, 0) == var)) + && (TREE_OPERAND (stmt, 0) == var + || TREE_OPERAND (stmt, 0) == val))) return; bsi_next (&bsi); |