RFR: 8303374: Compiler Implementation for Primitive types in patterns, instanceof, and switch (Preview) [v11]

Aggelos Biboudis abimpoudis at openjdk.org
Thu Oct 5 15:24:40 UTC 2023


> This is the first draft of a patch for Primitive types in patterns, instanceof, and switch (Preview).
> 
> Draft spec here: https://cr.openjdk.org/~abimpoudis/instanceof/instanceof-20230913/specs/instanceof-jls.html

Aggelos Biboudis has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains 12 additional commits since the last revision:

 - Merge branch 'master' into primitive-patterns
 - Fix `checkUnconditionallyExact` and adjust the type of numeric constants (to primitive type)
 - Use sun.invoke.util.Wrapper in SwitchBootstraps
 - Declutter Lower.visitTypeTest
 - Simplify TypePairs
 - Rename exactness methods
 - Remove unnecessary disambiguation in TransPatterns and simplify Lower.visitTypeTest
 - Fix exhausts and equals in SwitchBootstraps
 - Merge branch 'master' into primitive-patterns
 - Implement type pairs to exactnessMethod name
 - ... and 2 more: https://git.openjdk.org/jdk/compare/228a2389...ff07aef9

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/15638/files
  - new: https://git.openjdk.org/jdk/pull/15638/files/c041d208..ff07aef9

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=15638&range=10
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=15638&range=09-10

  Stats: 7735 lines in 265 files changed: 3202 ins; 1731 del; 2802 mod
  Patch: https://git.openjdk.org/jdk/pull/15638.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/15638/head:pull/15638

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


More information about the compiler-dev mailing list