diff options
| author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-02-08 17:31:20 +0000 |
|---|---|---|
| committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-02-08 17:31:20 +0000 |
| commit | 708dacc2a03e511e95eabce2bea0c274cdffd857 (patch) | |
| tree | be8c4a530754806ccf74ab5242dd79cba2bb4d50 | |
| parent | 8584fa8e2a946a17738ff7f979c7a0a24c549d25 (diff) | |
| download | ppe42-gcc-708dacc2a03e511e95eabce2bea0c274cdffd857.tar.gz ppe42-gcc-708dacc2a03e511e95eabce2bea0c274cdffd857.zip | |
* tree-vrp.c (execute_vrp): Perform any queued SSA updates before
threading jumps.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110758 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 8 |
2 files changed, 14 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a165f5ec9c3..224642c314e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-02-08 Jeff Law <law@redhat.com> + + PR tree-optimization/26169 + * tree-vrp.c (execute_vrp): Perform any queued SSA updates before + threading jumps. + 2006-02-08 Zdenek Dvorak <dvorakz@suse.cz> * df.h (DF_REG_SIZE): Return the length of the initialized diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 9fa311b3c5e..80dcf39ac4e 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4499,6 +4499,14 @@ execute_vrp (void) as finalizing jump threads calls the CFG cleanup code which does not properly handle ASSERT_EXPRs. */ remove_range_assertions (); + + /* If we exposed any new variables, go ahead and put them into + SSA form now, before we handle jump threading. This simplifies + interactions between rewriting of _DECL nodes into SSA form + and rewriting SSA_NAME nodes into SSA form after block + duplication and CFG manipulation. */ + update_ssa (TODO_update_ssa); + finalize_jump_threads (); } |
