8000 Eliminate redundant copies · Issue #326 · GaloisInc/daedalus · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Eliminate redundant copies #326

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
Open
yav opened this issue Jul 5, 2023 · 1 comment
Open

Eliminate redundant copies #326

yav opened this issue Jul 5, 2023 · 1 comment

Comments

@yav
Copy link
Member
yav commented Jul 5, 2023

When generating "copy" instructions we sometimes generate redundant copies, which is bad because it can interfere with the "data reuse" optimization (e.g., for builders).
yav added a commit that referenced this issue Jul 5, 2023
@yav
More precise reference counting.
da2634f 
Working towards #326
@yav
Copy link
Member Author
yav commented Jul 20, 2023

I've made some improvements to this for the important cases that arise in many loops. It looks like there is another opportunity for improvement: we can reuse a variable without a copy if the uses are in different case branches

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yav
0