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

Dead code elimination in JuvixReg #2827

Closed
lukaszcz opened this issue Jun 13, 2024 · 0 comments · Fixed by #2835
Closed

Dead code elimination in JuvixReg #2827

lukaszcz opened this issue Jun 13, 2024 · 0 comments · Fixed by #2835
Assignees
@lukaszcz
Labels
enhancement New feature or request juvix-reg optimization
Milestone
0.6.3

Comments

@lukaszcz
Copy link
Collaborator

lukaszcz commented Jun 13, 2024 •
edited
Loading

Eliminate dead assignments in JuvixReg. Should be performed after copy propagation.
@lukaszcz lukaszcz added this to the 0.6.3 milestone Jun 13, 2024
@lukaszcz lukaszcz self-assigned this Jun 13, 2024
This was referenced Jun 14, 2024
Merged
Merged
Merged
lukaszcz added a commit that referenced this issue Jun 18, 2024
@lukaszcz
Copy propagation in JuvixReg (#2828)
235d88f 
* Closes #1614 
* Implements the copy propagation transformation in JuvixReg and adds
tests for it.
* For this optimization to give any improvement, we need to run dead
code elimination afterwards (#2827).
lukaszcz added a commit that referenced this issue Jun 21, 2024
@lukaszcz
Constant propagation in JuvixReg (#2833)
1410b63 
* Closes #2702 
* For this to give any improvement, we need to run dead code elimination
afterwards (#2827).

Depends on:
* #2828
@lukaszcz lukaszcz added cairo and removed cairo labels Jul 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
enhancement New feature or request juvix-reg optimization
Projects
None yet
Milestone
0.6.3
Development

Successfully merging a pull request may close this issue.

Dead code elimination in JuvixReg anoma/juvix
1 participant
@lukaszcz