RFR: 8275202: C2: optimize out more redundant conditions

[Roland Westrelin]

On Fri, 6 Oct 2023 02:01:45 GMT, Dean Long <dlong at openjdk.org> wrote:

> I see that `Parse::sharpen_type_after_if` is already doing what I suggested, so I guess I don't understand why that isn't enough.

It's true but for integer types, it's only for `BoolTest::eq`, that is:

if (i == 10) {
  // use 10 instead of i here

but not:

if (i < 10) {
  // use (CastII i [min, 9]) here
}

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

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