diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2017-02-21 15:37:18 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2017-02-21 15:37:18 +0000 |
| commit | 5daaf2d5d971bdd3db733fc041bdd4bad674c65c (patch) | |
| tree | 3731ccaafedf5adfe617a9a603c033dcbb009416 /gcc | |
| parent | 2f3ec56d606df6665d93599b2a018db631a13113 (diff) | |
| download | gcc-5daaf2d5d971bdd3db733fc041bdd4bad674c65c.zip gcc-5daaf2d5d971bdd3db733fc041bdd4bad674c65c.tar.gz gcc-5daaf2d5d971bdd3db733fc041bdd4bad674c65c.tar.bz2 | |
loop.texi (Loop manipulation): Remove nonexistent tree_ssa_loop_version from the documentation.
* doc/loop.texi (Loop manipulation): Remove nonexistent
tree_ssa_loop_version from the documentation.
* cfgloopmanip.c (loop_version): Document CONDITION_BB argument.
From-SVN: r245630
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cfgloopmanip.c | 5 | ||||
| -rw-r--r-- | gcc/doc/loop.texi | 11 |
3 files changed, 15 insertions, 7 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0d39438..05bdf01 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-02-21 Aldy Hernandez <aldyh@redhat.com> + + * doc/loop.texi (Loop manipulation): Remove nonexistent + tree_ssa_loop_version from the documentation. + * cfgloopmanip.c (loop_version): Document CONDITION_BB argument. + 2017-02-21 Jakub Jelinek <jakub@redhat.com> PR target/79494 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 |