Withdrawn: 8308504: C2: "malformed control flow" after JDK-8303466

[duke]

On Fri, 21 Jul 2023 12:04:12 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> I took that bug over from Emanuel because he's away:
> https://github.com/openjdk/jdk/pull/14331
> 
> I tried adding a `CastII` to narrow the limit of the loop as I
> suggested in a comment on the PR but I found that doesn't work in all
> cases: if the type of the initial value for the loop variable is not
> narrow enough, then the narrower type for the limit doesn't help
> narrow the loop phi type.
> 
> What I propose instead is to add an assert predicate that catches when
> the main loop is unreachable but the zero trip count doesn't constant
> fold. For that to work, the order of predicates must be preserved when
> they are copied or updated. I had to make some small changes to
> guarantee that.

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.org/jdk/pull/14973