RFR: 8369258: C2: enable ReassociateInvariants for all loop types [v2]

[Roland Westrelin]

On Wed, 15 Oct 2025 15:19:55 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Without reassociate invariants, RCE elimination doesn't happen. With it, it does happen. So the loop becomes empty and that's why there's no `CountedLoop`. No problem here with `CountedLoop` recognition.
>> The IR framework is not powerful enough to test this sort of things so I have to rely on some side effect that can be observed by the IR framework. In that case, reassociate invariants -> RCE optimization -> empty loop -> no `CountedLoop`.
>
> Ah, nice explanation! Can you add that in a comment in the test code?

Done.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/27666#discussion_r2433085907