RFR: 8349139: C2: Div looses dependency on condition that guarantees divisor not null in counted loop [v2]

[Roland Westrelin]

On Tue, 25 Feb 2025 08:19:59 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

> Are you saying this is another test? I'd really be happy if we had more tests for this case, because the current version seems fragile, since it is an almost perfect copy of a previous test that became ineffective this makes me even more nervous 😅

I added that test case.

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

PR Comment: https://git.openjdk.org/jdk/pull/23617#issuecomment-2760707077