Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[WIP] [GR-32682] Bytecode DSL. #6697

Open
wants to merge 493 commits into
base: master
Choose a base branch
from
Open

[WIP] [GR-32682] Bytecode DSL. #6697

wants to merge 493 commits into from

Conversation

graalvmbot
Copy link
Collaborator

@graalvmbot graalvmbot commented May 29, 2023 •
edited by chumer

This is experimental and undocumented code shared with the community for feedback. It contains an implementation of the new Truffle Operation DSL, which generates complete bytecode interpreters.

Documentation can be found here:
https://github.com/oracle/graal/blob/fbe50d80ac90bd3072a91e5689e7f4b79ed23cc8/truffle/docs/OperationDSL.md

There is a talk available to explain its rationale: https://www.youtube.com/watch?v=8cNvs7Ff2Ic

Continuation from: #4734

@oracle-contributor-agreement oracle-contributor-agreement bot added the OCA Verified All contributors have signed the Oracle Contributor Agreement. label May 29, 2023
@chumer chumer mentioned this pull request May 29, 2023
Closed
@graalvmbot graalvmbot force-pushed the mdsouza/operations_dsl branch 2 times, most recently from 4a9956e to b0c5b43 Compare July 5, 2023 17:58
@graalvmbot graalvmbot force-pushed the mdsouza/operations_dsl branch 2 times, most recently from 50c4076 to 9e67de6 Compare August 21, 2023 18:09
@chumer chumer changed the title [WIP] [GR-32682] Operation DSL. [WIP] [GR-32682] Bytecode DSL. Dec 12, 2023
@graalvmbot graalvmbot force-pushed the mdsouza/operations_dsl branch 2 times, most recently from 177f032 to 6be1c20 Compare January 24, 2024 13:58
@graalvmbot graalvmbot force-pushed the mdsouza/operations_dsl branch 2 times, most recently from 3e836b2 to 776d7b3 Compare February 21, 2024 15:02
@DSouzaM DSouzaM mentioned this pull request Feb 29, 2024
Open
@oracle-contributor-agreement oracle-contributor-agreement bot added OCA Required At least one contributor does not have an approved Oracle Contributor Agreement. and removed OCA Verified All contributors have signed the Oracle Contributor Agreement. labels Mar 13, 2024
@graalvmbot graalvmbot force-pushed the mdsouza/operations_dsl branch 2 times, most recently from 05713ef to 8763900 Compare May 30, 2024 20:55
@graalvmbot graalvmbot force-pushed the mdsouza/operations_dsl branch 2 times, most recently from 13fd0fc to 4d22d33 Compare July 25, 2024 01:41
chumer and others added 29 commits August 13, 2024 17:53
@chumer
Fix unreachable continuation locations should not produce invalid byt…
8dd994e 
…ecode locations.
@chumer
One more fix for unreachable continuation locations.
fb90c4c
@chumer
Cleanup constant names.
a9dd637
@chumer
Refactor factories to element subclasses in bytecode dsl factory.
c753d2e
@chumer
Refactor bytecode dsl root node element.
ac78c32
@chumer
Fix builder generation.
2ca9503
@chumer
Minor improvments; Docs.
d6ddfc9
@chumer
Fix accidentally using safe frame accessors instead of unsafe.
00a15c4
@chumer
Avoid materialization of sources during stack walking.
f4e8d74
@chumer
Revert "Simplify notifyTransferToInterpreter further."
ece9788 
This reverts commit 053fcaa.
@chumer
Fix invalid intrinsics.
244206d
@chumer
Cleanup leftover code.
1fc3973
@chumer
Fix also update bytecode root node clones when updating bytecodes. Im…
e720387 
…plement efficient weak list for root node clones.
@chumer
Fix invalid bytecode node adoption.
4f0bc54
@chumer
Cleanups.
b7c2efc
@chumer
Fix overload handling of splitting methods.
425c3c7
@chumer
Remove unnecessary testing code.
d837f5a
@chumer
Fix split updating.
31eaa85
@chumer
Improve and cleanup javadoc; Use retention policy SOURCE instead of R…
80fb0e7 
…UNTIME for most annotations.
@DSouzaM
Improve coverage for BytecodeNode methods
5f7ff6e
@chumer
Add introspection invariant tests.
3e0de0a
@chumer
Fix truffle project config.
b72a9cc
@DSouzaM
Fixes: short/int byte read helpers should use short/int; assert shoul…
a9df309 
…d be explicit checks; constants should be encoded as int
@DSouzaM
Actually generate LocalIndex introspection type; improve coverage of …
b52785d 
…introspection and local APIs
@DSouzaM
LocalSetterRange: add missing setter methods
65f99e9
@chumer
Fix SL instrument redo test.
390d6ff
@DSouzaM
Cleanup: remove dead code, simplify some code, undo random file changes
cd8a868
@DSouzaM
Updated changelog, removed reference to GraalPy implementation for now
ec46e54
@DSouzaM
Fixes: re-add EarlyReturn op for compiler tests, don't intrinsify rem…
d165e96 
…oved unsafeSwap method"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
OCA Required At least one contributor does not have an approved Oracle Contributor Agreement.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@graalvmbot @chumer @DSouzaM