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

Use invariants provided by assertions #26

Open
athas opened this issue Mar 5, 2015 · 0 comments
Open

Use invariants provided by assertions #26

athas opened this issue Mar 5, 2015 · 0 comments
Assignees
@athas
Labels
optimisation

Comments

@athas
Copy link
Member

athas commented Mar 5, 2015

If you have an expression like assert(x > 10), the compiler is currently not able to take advantage of this fact to optimise away the branch in e.g. if x > 10 then ....

Modify the simplifier to refine the ranges in the symbol table whenever it encounters assertions. Do it the naive way.
@athas athas self-assigned this Mar 5, 2015
Munksgaard added a commit to Munksgaard/futhark that referenced this issue Apr 22, 2020
@Munksgaard
Add invariants provided by assertions
775ace7 
This is an attempt to fix diku-dk#26.
Munksgaard added a commit to Munksgaard/futhark that referenced this issue Apr 22, 2020
@Munksgaard
Use invariants provided by assertions
f09ab3a 
This is an attempt to fix diku-dk#26.
@Munksgaard Munksgaard mentioned this issue Apr 22, 2020
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@athas athas

Labels
optimisation
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Use invariants provided by assertions Munksgaard/futhark
1 participant
@athas