-
Notifications
You must be signed in to change notification settings - Fork 46
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.
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
Unused port removal #1200
Labels
C: calyx-opt
Optimization or analysis pass
good first issue
Good issue to start contributing on Calyx
Status: Available
Can be worked upon
Milestone
Comments
rachitnigam
added
C: Calyx
Extension or change to the Calyx IL
Status: Available
Can be worked upon
labels
Oct 5, 2022
Super dumb question: is this a whole-program analysis? That is, does it need to make a closed-world assumption—that we know all the instantiations of every component, so we can tell that a given port is never used via any of them? |
Yup, definitely a whole program analysis |
Awesome; thanks for clarifying. |
rachitnigam
added
C: calyx-opt
Optimization or analysis pass
and removed
C: Calyx
Extension or change to the Calyx IL
labels
Dec 24, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
C: calyx-opt
Optimization or analysis pass
good first issue
Good issue to start contributing on Calyx
Status: Available
Can be worked upon
Add a pass that eliminates unused ports of a component. In doing this, we also get rid of any assignments to those ports and allow the various dead-cell elimination passes to work better.
TODO
@internal
or something to state that a component's signature does not need to be maintained to the outside world.The text was updated successfully, but these errors were encountered: