aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicklas Bo Jensen <nbjensen@gmail.com>2016-02-08 16:35:24 +0000
committerJeff Law <law@gcc.gnu.org>2016-02-08 09:35:24 -0700
commit98c39652100e103cebcc963c4e91fb8e808f64f8 (patch)
tree0d1c77d873ad453ce45f7bdaaa0ffe7cca4da852
parenteba9e839de0a585e55a92b4815e78a781ce32abb (diff)
downloadgcc-98c39652100e103cebcc963c4e91fb8e808f64f8.zip
gcc-98c39652100e103cebcc963c4e91fb8e808f64f8.tar.gz
gcc-98c39652100e103cebcc963c4e91fb8e808f64f8.tar.bz2
tree-ssa.texi (Preserving the virtual SSA form): Remove outdated section.
* doc/tree-ssa.texi (Preserving the virtual SSA form): Remove outdated section. From-SVN: r233221
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/doc/tree-ssa.texi36
2 files changed, 6 insertions, 35 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e5e85f3..b0dd2c3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-02-08 Nicklas Bo Jensen <nbjensen@gmail.com>
+
+ * doc/tree-ssa.texi (Preserving the virtual SSA form): Remove
+ outdated section.
+
2016-02-08 Jason Merrill <jason@redhat.com>
PR c++/69631
diff --git a/gcc/doc/tree-ssa.texi b/gcc/doc/tree-ssa.texi
index d795090..7ca607d 100644
--- a/gcc/doc/tree-ssa.texi
+++ b/gcc/doc/tree-ssa.texi
@@ -432,7 +432,7 @@ dominator optimizations currently do this.
When lazy updating is being used, the immediate use information is out of date
and cannot be used reliably. Lazy updating is achieved by simply marking
-statements modified via calls to @code{mark_stmt_modified} instead of
+statements modified via calls to @code{gimple_set_modified} instead of
@code{update_stmt}. When lazy updating is no longer required, all the
modified statements must have @code{update_stmt} called in order to bring them
up to date. This must be done before the optimization is finished, or
@@ -654,40 +654,6 @@ are explicitly destroyed and only the symbols marked for
renaming are processed@.
@end itemize
-@subsection Preserving the virtual SSA form
-@cindex preserving virtual SSA form
-
-The virtual SSA form is harder to preserve than the non-virtual SSA form
-mainly because the set of virtual operands for a statement may change at
-what some would consider unexpected times. In general, statement
-modifications should be bracketed between calls to
-@code{push_stmt_changes} and @code{pop_stmt_changes}. For example,
-
-@smallexample
- munge_stmt (tree stmt)
- @{
- push_stmt_changes (&stmt);
- @dots{} rewrite STMT @dots{}
- pop_stmt_changes (&stmt);
- @}
-@end smallexample
-
-The call to @code{push_stmt_changes} saves the current state of the
-statement operands and the call to @code{pop_stmt_changes} compares
-the saved state with the current one and does the appropriate symbol
-marking for the SSA renamer.
-
-It is possible to modify several statements at a time, provided that
-@code{push_stmt_changes} and @code{pop_stmt_changes} are called in
-LIFO order, as when processing a stack of statements.
-
-Additionally, if the pass discovers that it did not need to make
-changes to the statement after calling @code{push_stmt_changes}, it
-can simply discard the topmost change buffer by calling
-@code{discard_stmt_changes}. This will avoid the expensive operand
-re-scan operation and the buffer comparison that determines if symbols
-need to be marked for renaming.
-
@subsection Examining @code{SSA_NAME} nodes
@cindex examining SSA_NAMEs