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

[Joshua Cao]

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

>> 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?

My mistake. I was reading from a class member variable `size`. Probably cannot be a counted loop because the `size` can change by iteration.

Should be fine if I just pass a `size` variable.

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

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