Skip to content

Direct style2 - #1421

Open
b-studios wants to merge 97 commits into
mainfrom
direct-style2
Open

b-studios wants to merge 97 commits into
mainfrom
direct-style2

Conversation

@b-studios

Copy link
Copy Markdown
Collaborator

No description provided.

@b-studios

Copy link
Copy Markdown
Collaborator Author

It is starting to look good!

image image image image

There is some performance regressions in the case studies that I need to investigate.

@b-studios
b-studios force-pushed the direct-style2 branch 2 times, most recently from 35c1672 to 4cf0bf2 Compare September 18, 2026 09:17
@jiribenes

Copy link
Copy Markdown
Contributor

It would be nice to know whether #1385 and other programs like it tagged with label:area:js AND label:bug are working after these changes 👀

Represent calls with explicit Bind, Tail, and Jump return points across CPS analyses and JS/Chez translation.

Fix residual CPS boundaries, zero-result call-site identity, native join selection, unused direct definitions, and monovariant pattern bindings. Add regression coverage and avoid redundant loop-update temporaries.
Preserve latent captures on generated dispatchers, reconstruct represented objects at residual block boundaries, and compare representation types modulo alpha-renaming.

Add regression coverage for effectful specialization, boxed objects, and alpha-equivalent block types.
Use insertion-ordered storage so symbol hashes cannot change definition order and subsequent inlining. Update lexer VM counts for the consistently eliminated temporary tuples.
Reference dispatchers by ID, select valid hosts directly, and traverse components with one visited set. Make selection and tag assignment follow definition order and cover independent dispatches with a regression test.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants