[lworld] RFR: 8366743: [lworld]: Verifier adjustments for operations on 'uninitialized' [v2]

[Matias Saavedra Silva]

> The updated spec places more restrictions on the use of uninitialized and uninitializedThis with certain bytecodes. Those spec changes are implemented with this patch and tested with a new set of tests. Verified with the new test as well as tiers 1-5.

Matias Saavedra Silva has updated the pull request incrementally with two additional commits since the last revision:

 - Merge pull request #1 from liach/feature/cf-verify-acmp
   
   Restrict acmp etc. in classfile verifier
 - Restrict acmp etc. in classfile verifier

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

Changes:
  - all: https://git.openjdk.org/valhalla/pull/1566/files
  - new: https://git.openjdk.org/valhalla/pull/1566/files/e1325573..e7e2d94b

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=valhalla&pr=1566&range=01
 - incr: https://webrevs.openjdk.org/?repo=valhalla&pr=1566&range=00-01

  Stats: 74 lines in 2 files changed: 70 ins; 2 del; 2 mod
  Patch: https://git.openjdk.org/valhalla/pull/1566.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1566/head:pull/1566

PR: https://git.openjdk.org/valhalla/pull/1566