>
> We seem to peel one iteration for no good reason. The loop is
> a do-while loop already. The key is we see the first iteration
> exit condition is known not taken and then:
>
> Registering value_relation (path_oracle) (iter.24_6 > iter.24_5) (root:
> bb2)
> Stmt is static (constant in the first iteration)
> Analyzing: if (iter.24_6 != 16)
> Registering killing_def (path_oracle) iter.24_6
> Registering value_relation (path_oracle) (iter.24_6 > iter.24_5) (root:
> bb2)
> Will eliminate peeled conditional in bb 3.
> Duplicating bb 3 is a win; it has zero cost
> Not duplicating bb 5: it is single succ.
> Copying headers of loop 1
> Will duplicate bb 3
> Duplicating header of the loop 1 up to edge 3->4
> Loop 1 is do-while loop
> Loop 1 is now do-while loop.
> Exit count: 0 (estimated locally)
> Entry count: 10631108 (estimated locally)
> Peeled all exits: decreased number of iterations of loop 1 by 1.
>
> and that's because of
>
> /* If the static exit fully optimize out, it is win to "duplicate"
> it.
>
> TODO: Even if duplication costs some size we may opt to do so in case
> exit probability is significant enough (do partial peeling). */
> if (static_exit)
> return code_size_cost ? ch_possible_zero_cost : ch_win;
>
> IMHO we're over aggressively apply early peeling here. That holds
> generally, not only for OMP simd loops (which we could identify).
>
> Why are we doing this game for single-block do-while loops?
It seems I just wrongly updated the old conditional. Sorry for that.
It should be:
diff --git a/gcc/tree-ssa-loop-ch.cc b/gcc/tree-ssa-loop-ch.cc
index 6cdb87a762f..8142add4bec 100644
--- a/gcc/tree-ssa-loop-ch.cc
+++ b/gcc/tree-ssa-loop-ch.cc
@@ -464,7 +464,7 @@ should_duplicate_loop_header_p (basic_block header, class
loop *loop,
TODO: Even if duplication costs some size we may opt to do so in case
exit probability is significant enough (do partial peeling). */
if (static_exit)
- return code_size_cost ? ch_possible_zero_cost : ch_win;
+ return !code_size_cost ? ch_possible_zero_cost : ch_possible;
/* We was not able to prove that conditional will be eliminated. */
int insns = estimate_num_insns (last, &eni_size_weights);
So the heuristics knows that if there is no code produced "peeling" is
good idea since it eliminates one conditional for free. Otherwise it
should know that peeling is possible but only done if it produces
do-while-loop
As TODO says it would make to duplicate also if the exit likely avoids
entering the loop (which would be cheaper than peeling full first
iteration), but that can be done incrementally.
I am testing the fix.
Honza
