Skip to content

Simplify Var.t representation#15

Merged
bmourad01 merged 3 commits intomasterfrom
simplify-var-repr
Apr 6, 2026
Merged

Simplify Var.t representation#15
bmourad01 merged 3 commits intomasterfrom
simplify-var-repr

Conversation

@bmourad01
Copy link
Copy Markdown
Owner

No description provided.

Because pseudo-instructions were being treated as barriers,
this could cause the x86 peephole optimizations to miss instances
where one block was intended to fall through to another.
We can use the same representation as `Label.t`, which is just an
`Int63.t`.

The old representation was very allocation-heavy and tried to serve
use-cases that ended up not being very important.
@bmourad01 bmourad01 force-pushed the simplify-var-repr branch from a973ec8 to 029984c Compare April 6, 2026 00:13
@bmourad01 bmourad01 merged commit 8556c4b into master Apr 6, 2026
2 checks passed
@bmourad01 bmourad01 deleted the simplify-var-repr branch April 6, 2026 00:19
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.

1 participant