8333725: Compiler Prototyping for Deconstructors #94

biboudis · 2024-05-13T14:10:31Z

Work-in-progress prototyping of deconstructors.

Progress

Change must be properly reviewed (1 review required, with at least 1 Reviewer)
Change must not contain extraneous whitespace
Commit message must refer to an issue

Issue

JDK-8333725: Compiler Prototyping for Deconstructors (Enhancement - P4)

Reviewing

Using git

Checkout this PR locally:
$ git fetch https://git.openjdk.org/amber.git pull/94/head:pull/94
$ git checkout pull/94

Update a local copy of the PR:
$ git checkout pull/94
$ git pull https://git.openjdk.org/amber.git pull/94/head

Using Skara CLI tools

Checkout this PR locally:
$ git pr checkout 94

View PR using the GUI difftool:
$ git pr show -t 94

Using diff file

Download this PR as a diff file:
https://git.openjdk.org/amber/pull/94.diff

bridgekeeper · 2024-05-13T14:11:17Z

👋 Welcome back abimpoudis! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.

openjdk · 2024-05-13T14:11:29Z

❗ This change is not yet ready to be integrated.
See the Progress checklist in the description for automated requirements.

openjdk · 2024-05-13T14:12:11Z

@biboudis this pull request can not be integrated into master due to one or more merge conflicts. To resolve these merge conflicts and update this pull request you can run the following commands in the local repository for your personal fork:

git checkout matchers-experiment
git fetch https://git.openjdk.org/amber.git master
git merge FETCH_HEAD
# resolve conflicts and follow the instructions given by git merge
git commit -m "Merge master"
git push

openjdk · 2024-05-13T14:23:28Z

⚠️ @biboudis This pull request contains merges that bring in commits not present in the target repository. Since this is not a "merge style" pull request, these changes will be squashed when this pull request in integrated. If this is your intention, then please ignore this message. If you want to preserve the commit structure, you must change the title of this pull request to Merge <project>:<branch> where <project> is the name of another project in the OpenJDK organization (for example Merge jdk:master).

vicente-romero-oracle · 2024-06-01T00:18:38Z

src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java

@@ -4286,6 +4366,70 @@ public void visitRecordPattern(JCRecordPattern tree) {
        matchBindings = new MatchBindings(outBindings.toList(), List.nil());
    }

+    // todo: follow the protocol in Resolve::selectBest


this method I think belongs in Resolve

vicente-romero-oracle · 2024-06-01T00:23:48Z

src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Lower.java

@@ -2779,6 +2779,32 @@ public void visitMethodDef(JCMethodDecl tree) {
                syms.methodClass);
        }

+        if (tree.sym.isPattern()) {
+            tree.sym.flags_field  |= STATIC;
+            tree.sym.flags_field  |= SYNTHETIC;


we are making synthetic an AST that actually appears in the source?

src/jdk.compiler/share/classes/com/sun/tools/javac/parser/JavacParser.java

test/test/Point.class

vicente-romero-oracle · 2024-06-04T15:20:30Z

src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java

+                expectedRecordTypes = record.getRecordComponents()
+                                            .stream()
+                                            .map(rc -> types.memberType(site, rc))
+                                            .map(t -> types.upward(t, types.captures(t)).baseType())


not sure why the upward projection is used here

src/java.base/share/classes/java/lang/Class.java

src/jdk.compiler/share/classes/com/sun/tools/javac/code/Symbol.java

src/jdk.compiler/share/classes/com/sun/tools/javac/comp/MemberEnter.java

src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/ClassReader.java

src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Items.java

vicente-romero-oracle · 2024-06-06T21:04:11Z

src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/PoolWriter.java

@@ -201,7 +202,7 @@ int putName(Name name) {
     * Puts a name and type pair into the pool and returns its index.
     */
    int putNameAndType(Symbol s) {
-        return pool.writeIfNeeded(new NameAndType(s.name, descriptorType(s)));
+        return pool.writeIfNeeded(new NameAndType(s instanceof MethodSymbol ms ? ms.externalName(types) : s.name, descriptorType(s)));


same not sure why you need this change

Co-authored-by: Angelos Bimpoudis <[email protected]> Co-authored-by: Jan Lahoda <[email protected]> Co-authored-by: Vicente Romero <[email protected]>

…o matchers-experiment # Conflicts: # src/java.base/share/classes/java/lang/Class.java

…periment # Conflicts: # src/java.base/share/classes/java/lang/reflect/Constructor.java

…periment # Conflicts: # src/java.base/share/classes/java/lang/Class.java # src/jdk.compiler/share/classes/com/sun/tools/javac/code/Source.java

…periment # Conflicts: # test/jdk/jdk/classfile/helpers/RebuildingTransformation.java

bridgekeeper · 2024-12-04T12:50:24Z

@biboudis This pull request has been inactive for more than 8 weeks and will be automatically closed if another 8 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration!

biboudis · 2024-12-04T12:57:36Z

Most definitely keep it open :D

…periment # Conflicts: # src/java.base/share/classes/java/lang/Class.java # test/jdk/jdk/classfile/helpers/RebuildingTransformation.java

Reviewed-by: dfenacci, vlivanov, kvn

Reviewed-by: azvegint, prr

Reviewed-by: egahlin

Reviewed-by: vlivanov, dlong

…terpreter Reviewed-by: fyang, fjiang

Reviewed-by: jsjolen, matsaave

…a leaves Caret is not complete Reviewed-by: azvegint

Reviewed-by: amenkov, sspitsyn, shade

Reviewed-by: dholmes

Reviewed-by: matsaave, sspitsyn, dholmes

* An experiment on PatternType. * Fixing test. * Fixing build. * Fixing tests. * Cleanup.

# Conflicts: # src/java.base/share/classes/java/lang/classfile/Attributes.java

openjdk bot added the merge-conflict The pull request has a merge conflict with the target branch label May 13, 2024

biboudis marked this pull request as draft May 13, 2024 14:20

openjdk bot removed the merge-conflict The pull request has a merge conflict with the target branch label May 13, 2024

biboudis force-pushed the matchers-experiment branch from d635684 to ccc44d4 Compare May 27, 2024 11:24

vicente-romero-oracle reviewed Jun 1, 2024

View reviewed changes

src/jdk.compiler/share/classes/com/sun/tools/javac/parser/JavacParser.java Outdated Show resolved Hide resolved

vicente-romero-oracle reviewed Jun 1, 2024

View reviewed changes

test/test/Point.class Outdated Show resolved Hide resolved

openjdk bot added the merge-conflict The pull request has a merge conflict with the target branch label Jun 3, 2024

vicente-romero-oracle reviewed Jun 4, 2024

View reviewed changes

openjdk bot removed the merge-conflict The pull request has a merge conflict with the target branch label Jun 6, 2024

biboudis force-pushed the matchers-experiment branch from 6138923 to 5246297 Compare June 6, 2024 13:46

biboudis changed the title ~~Pattern Declarations~~ Compiler Prototyping for Deconstructors Jun 6, 2024

biboudis changed the title ~~Compiler Prototyping for Deconstructors~~ 8333725: Compiler Prototyping for Deconstructors Jun 6, 2024

biboudis force-pushed the matchers-experiment branch 2 times, most recently from bf45138 to 250d702 Compare June 6, 2024 14:12

vicente-romero-oracle reviewed Jun 6, 2024

View reviewed changes

biboudis force-pushed the matchers-experiment branch from 250d702 to a19eff9 Compare June 6, 2024 21:13

8333725: Compiler Prototyping for Deconstructors

4c7b0ba

Co-authored-by: Angelos Bimpoudis <[email protected]> Co-authored-by: Jan Lahoda <[email protected]> Co-authored-by: Vicente Romero <[email protected]>

biboudis force-pushed the matchers-experiment branch from a19eff9 to 4c7b0ba Compare June 7, 2024 07:42

Fix translation of dtors with primitives and array types

61327bf

openjdk bot added the merge-conflict The pull request has a merge conflict with the target branch label Jun 17, 2024

Merge remote-tracking branch 'refs/remotes/upstream-amber/master' int…

80a3f46

…o matchers-experiment # Conflicts: # src/java.base/share/classes/java/lang/Class.java

openjdk bot removed the merge-conflict The pull request has a merge conflict with the target branch label Jun 17, 2024

biboudis added 2 commits June 17, 2024 16:14

Restore JTreg flag

875eb34

Address review 1/n

0eab5db

biboudis and others added 5 commits November 4, 2024 13:40

Invoke Patterns through PatternBootstraps

4b4a760

Fix imports

b71d7ef

Merge remote-tracking branch 'upstream-amber/master' into matchers-ex…

d7c8539

…periment # Conflicts: # src/java.base/share/classes/java/lang/reflect/Constructor.java

Merge remote-tracking branch 'upstream-amber/master' into matchers-ex…

78e849b

…periment # Conflicts: # src/java.base/share/classes/java/lang/Class.java # src/jdk.compiler/share/classes/com/sun/tools/javac/code/Source.java

Initial support for pattern in ct.sym. (#11)

f0f9b58

openjdk bot added the merge-conflict The pull request has a merge conflict with the target branch label Dec 3, 2024

Merge remote-tracking branch 'upstream-amber/master' into matchers-ex…

c14bbc8

…periment # Conflicts: # test/jdk/jdk/classfile/helpers/RebuildingTransformation.java

openjdk bot removed the merge-conflict The pull request has a merge conflict with the target branch label Dec 3, 2024

openjdk bot added the merge-conflict The pull request has a merge conflict with the target branch label Dec 5, 2024

Merge remote-tracking branch 'upstream-amber/master' into matchers-ex…

a78ebd9

…periment # Conflicts: # src/java.base/share/classes/java/lang/Class.java # test/jdk/jdk/classfile/helpers/RebuildingTransformation.java

openjdk bot removed the merge-conflict The pull request has a merge conflict with the target branch label Dec 10, 2024

Quan Anh Mai and others added 11 commits January 17, 2025 02:05

8347481: C2: Remove the control input of some nodes

aa21de5

Reviewed-by: dfenacci, vlivanov, kvn

8347911: Limit the length of inflated text chunks

398a580

Reviewed-by: azvegint, prr

8346875: Test jdk/jdk/jfr/event/os/TestCPULoad.java fails on macOS

a3eef6c

Reviewed-by: egahlin

8330851: C2: More efficient TypeFunc creation

f5573f5

Reviewed-by: vlivanov, dlong

8342881: RISC-V: secondary_super_cache does not scale well: C1 and in…

8460072

…terpreter Reviewed-by: fyang, fjiang

8347924: Replace SIZE_FORMAT in memory and metaspace

3ab521e

Reviewed-by: jsjolen, matsaave

8345618: javax/swing/text/Caret/8163124/CaretFloatingPointAPITest.jav…

15e06b6

…a leaves Caret is not complete Reviewed-by: azvegint

8347959: ThreadDumper leaks memory

2c41f5a

Reviewed-by: amenkov, sspitsyn, shade

8347840: Fix testlibrary compilation warnings

2ca1b4d

Reviewed-by: dholmes

8347733: Replace SIZE_FORMAT in runtime code

baca7da

Reviewed-by: matsaave, sspitsyn, dholmes

Adjust Overloading (#12)

77a1ffe

openjdk bot added the merge-conflict The pull request has a merge conflict with the target branch label Jan 17, 2025

lahodaj and others added 3 commits January 17, 2025 18:03

Separate PatternType from MethodType (#13)

f0ec972

* An experiment on PatternType. * Fixing test. * Fixing build. * Fixing tests. * Cleanup.

Merge branch 'master' into matchers-experiment

061d021

# Conflicts: # src/java.base/share/classes/java/lang/classfile/Attributes.java

Fix in Flow

dacb173

openjdk bot removed the merge-conflict The pull request has a merge conflict with the target branch label Jan 17, 2025

Fix whitespaces

2d58793

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

8333725: Compiler Prototyping for Deconstructors #94

8333725: Compiler Prototyping for Deconstructors #94

biboudis commented May 13, 2024 •

edited by openjdk bot

Loading

bridgekeeper bot commented May 13, 2024

openjdk bot commented May 13, 2024

openjdk bot commented May 13, 2024

openjdk bot commented May 13, 2024

vicente-romero-oracle Jun 1, 2024

vicente-romero-oracle Jun 1, 2024

vicente-romero-oracle Jun 4, 2024

vicente-romero-oracle Jun 6, 2024

bridgekeeper bot commented Dec 4, 2024

biboudis commented Dec 4, 2024

8333725: Compiler Prototyping for Deconstructors #94

Are you sure you want to change the base?

8333725: Compiler Prototyping for Deconstructors #94

Conversation

biboudis commented May 13, 2024 • edited by openjdk bot Loading

Progress

Issue

Reviewing

bridgekeeper bot commented May 13, 2024

openjdk bot commented May 13, 2024

openjdk bot commented May 13, 2024

openjdk bot commented May 13, 2024

vicente-romero-oracle Jun 1, 2024

Choose a reason for hiding this comment

vicente-romero-oracle Jun 1, 2024

Choose a reason for hiding this comment

vicente-romero-oracle Jun 4, 2024

Choose a reason for hiding this comment

vicente-romero-oracle Jun 6, 2024

Choose a reason for hiding this comment

bridgekeeper bot commented Dec 4, 2024

biboudis commented Dec 4, 2024

biboudis commented May 13, 2024 •

edited by openjdk bot

Loading