Integrated: 8274145: C2: condition incorrectly made redundant with dominating main loop exit condition

[Roland Westrelin]

On Mon, 27 Sep 2021 08:57:25 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> The bug happens because an If node that follows a CountedLoop is
> replaced by the CountedLoopEnd node of the main loop. Further
> unrolling happens after the If is replaced which causes the condition
> of the CountedLoopEnd node to change. This is made possible by
> JDK-8269752. The fix I propose is to detect that corner case and
> prevent the If to be replaced in that case.

This pull request has now been integrated.

Changeset: 2aacd422
Author:    Roland Westrelin <roland at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/2aacd4220a01b467de671212c7a74e6c81a2ad3c
Stats:     149 lines in 3 files changed: 148 ins; 0 del; 1 mod

8274145: C2: condition incorrectly made redundant with dominating main loop exit condition

Reviewed-by: kvn, neliasso

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

PR: https://git.openjdk.java.net/jdk/pull/5712