Found these while poking at loop versioning. Most importantly, we no
longer have tree_ssa_loop_version, so I removed it from the docs.
OK?
gcc/
* doc/loop.texi (Loop manipulation): Remove nonexistent
tree_ssa_loop_version from the documentation.
* cfgloopmanip.c (loop_version): Document CONDITION_BB argument.
diff --git a/gcc/cfgloopmanip.c b/gcc/cfgloopmanip.c
index a0e3e30..3e34aad 100644
--- a/gcc/cfgloopmanip.c
+++ b/gcc/cfgloopmanip.c
@@ -1689,10 +1689,13 @@ lv_adjust_loop_entry_edge (basic_block first_head,
basic_block second_head,
This transformation given a condition and a loop, creates
-if (condition) { loop_copy1 } else { loop_copy2 },
where loop_copy1 is the loop transformed in one way, and loop_copy2
- is the loop transformed in another way (or unchanged). 'condition'
+ is the loop transformed in another way (or unchanged). COND_EXPR
may be a run time test for things that were not resolved by static
analysis (overlapping ranges (anti-aliasing), alignment, etc.).
+ If non-NULL, CONDITION_BB is set to the basic block containing the
+ condition.
+
THEN_PROB is the probability of the then edge of the if. THEN_SCALE
is the ratio by that the frequencies in the original loop should
be scaled. ELSE_SCALE is the ratio by that the frequencies in the
diff --git a/gcc/doc/loop.texi b/gcc/doc/loop.texi
index b607e95..8535769 100644
--- a/gcc/doc/loop.texi
+++ b/gcc/doc/loop.texi
@@ -258,12 +258,11 @@ one of the edges entering loop header, thus performing
either loop
unrolling or loop peeling. @code{can_duplicate_loop_p}
(@code{can_unroll_loop_p} on GIMPLE) must be true for the duplicated
loop.
-@item @code{loop_version}, @code{tree_ssa_loop_version}: These function
-create a copy of a loop, and a branch before them that selects one of
-them depending on the prescribed condition. This is useful for
-optimizations that need to verify some assumptions in runtime (one of
-the copies of the loop is usually left unchanged, while the other one is
-transformed in some way).
+@item @code{loop_version}: This function creates a copy of a loop, and
+a branch before them that selects one of them depending on the
+prescribed condition. This is useful for optimizations that need to
+verify some assumptions in runtime (one of the copies of the loop is
+usually left unchanged, while the other one is transformed in some way).
@item @code{tree_unroll_loop}: Unrolls the loop, including peeling the
extra iterations to make the number of iterations divisible by unroll
factor, updating the exit condition, and removing the exits that now
