RFR: 8275202: C2: optimize out more redundant conditions

[Roland Westrelin]

On Wed, 11 Oct 2023 03:55:59 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

> Can the inspection be made in retrospect. In other word, can it infer this:
> 
> ```
> if (i < j) {
>     if (i > 4) {
>         // then j >= 6 here
>     }
> }
> ```
> 
> Thanks.

It can't do that.

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

PR Comment: https://git.openjdk.org/jdk/pull/14586#issuecomment-1757730618