diff options
| author | Richard Kenner <kenner@vlsi1.ultra.nyu.edu> | 2004-08-31 22:28:44 +0000 |
|---|---|---|
| committer | Richard Kenner <kenner@gcc.gnu.org> | 2004-08-31 18:28:44 -0400 |
| commit | 631b67ce1f819a4122eaf8b46f725dc5ff5ebd1d (patch) | |
| tree | 364c3bbaa6a3d5a7c6377b0c8fe299b0e9f34921 /gcc | |
| parent | 149a42dd2de169de9252db751ec1200db50c23aa (diff) | |
| download | gcc-631b67ce1f819a4122eaf8b46f725dc5ff5ebd1d.zip gcc-631b67ce1f819a4122eaf8b46f725dc5ff5ebd1d.tar.gz gcc-631b67ce1f819a4122eaf8b46f725dc5ff5ebd1d.tar.bz2 | |
tree-cfg.c (cfg_remove_useless_stmts_bb): Also invalidate if VAL gets modified.
* tree-cfg.c (cfg_remove_useless_stmts_bb): Also invalidate if VAL
gets modified.
Co-Authored-By: Jeff Law <law@redhat.com>
From-SVN: r86847
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 af60798..1cddc30 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 dab9125..ae9521e 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); |