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

[Roland Westrelin]

On Fri, 21 Mar 2025 17:40:51 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> @merykitty see above my late reply to your comments if you missed it.
>
> @rwestrel I have thought about this issue for a while and come to the conclusion that we do depend on a loop phi being a pinned node when doing optimizations (e.g `init <= iv < limit`). As a result, it seems logical to insert a pinned cast here so that the `Phi` does not freely float away when the loop disappears. I agree with your patch then.

@merykitty @eme64 thanks for the reviews.
Can one of you approve the latest change (with the extra whitespaces removed)?

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

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