RFR: 8323220: Reassociate loop invariants involved in Cmps and Add/Subs [v9]

[Emanuel Peter]

On Fri, 16 Feb 2024 07:18:37 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> If I have a random size input, the loop is actually not a `CountedLoop`, and this transformation only applies to `CountedLoop`. I don't know all the details of `CountedLoop`, but this feels like a miss. Maybe `CountedLoop` can only handle loops with multiple exits of the limit is a constant.
>
> Ha, yes, this would be a heavy miss. Can you post a small `Test.java` where such a loop does not get turned into a `CountedLoop`? I'd like to investigate.

Might it be that sometimes the size was too small, so that the loop was simply fully unrolled?

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/17375#discussion_r1492051108