[lworld] [Rev 01] RFR: 8244339: [lworld] JIT support for inline types with abstract class supertypes

[Tobias Hartmann]

> C1 and C2 do not correctly handle and optimize inline types with abstract class supertypes and corresponding array
> covariance. I've fixed and refactored related code. Added lots of tests and IR verification of optimizations.

Tobias Hartmann has updated the pull request incrementally with one additional commit since the last revision:

  C1 implementation of acmp needs to check for abstract class as well

Thanks Roland!

This pull request has now been integrated.

Changeset: 6742fab8
Author:    Tobias Hartmann <thartmann at openjdk.org>
URL:       https://git.openjdk.java.net/valhalla/commit/6742fab8
Stats:     1017 lines in 18 files changed: 19 ins; 918 del; 80 mod

8244339: [lworld] JIT support for inline types with abstract class supertypes

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

Changes:
  - all: https://git.openjdk.java.net/valhalla/pull/33/files
  - new: https://git.openjdk.java.net/valhalla/pull/33/files/f58a1388..feefc748

Webrevs:
 - full: https://webrevs.openjdk.java.net/valhalla/33/webrev.01
 - incr: https://webrevs.openjdk.java.net/valhalla/33/webrev.00-01

  Stats: 5 lines in 1 file changed: 0 ins; 3 del; 2 mod
  Patch: https://git.openjdk.java.net/valhalla/pull/33.diff
  Fetch: git fetch https://git.openjdk.java.net/valhalla pull/33/head:pull/33

PR: https://git.openjdk.java.net/valhalla/pull/33