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.

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

Deprecate @static #1897

Merged
merged 50 commits into from
Feb 9, 2024
Merged

Deprecate @static #1897

merged 50 commits into from
Feb 9, 2024

Conversation

calebmkim
Copy link
Contributor

@calebmkim calebmkim commented Feb 5, 2024

Roughly follows the plan outlined in #1896. I'm going to wait to merge for two reasons.

  1. I want to make sure people are at least, at a high level, on board with what I specified in Deprecating @static and what to replace it with #1896.
  2. I want to fix the frontends that use @static to use other attributes. This may require some coordination with CIRCT (although I'm not 100% sure?). That's why one of the compiler tests is failing.

(Edit)
This also deletes the compile-empty and attribute-promotion passes, both of which are no longer necessary.

I have made this PR in the Dahlia repo (cucapra/dahlia#415) that will fix the last non-passing test case. Seems like we don't need to make any changes to CIRCT, since it doesn't use the @static attribute anymore.

This Issue (#1896) goes more in-depth about what each attribute means now... I can also update the docs in a subsequent PR.

@rachitnigam
Copy link
Contributor

I think you should forge ahead with the changes to the frontends. The one thing to figure out is whether all the frontends should be emitting promotable or static?

@rachitnigam rachitnigam mentioned this pull request Feb 6, 2024
2 tasks
@calebmkim
Copy link
Contributor Author

I think they should all emit @promotable (after this PR is merged, parsing @static will lead to a warning).

@calebmkim calebmkim marked this pull request as ready for review February 7, 2024 20:43
@calebmkim calebmkim merged commit d94ce93 into main Feb 9, 2024
7 checks passed
@calebmkim calebmkim deleted the attribute-naming branch February 9, 2024 15:54
rachitnigam pushed a commit that referenced this pull request Feb 16, 2024
* replace static w// interval

* change primitives to @interval

* modified tests

* promte_static -> promotable

* get rid of static

* remove attribute_promotion

* py frontend uses promotable

* rewrite exp tests

* corrected some tests

* overwrite tests

* overwrite failing tests

* change interface

* add tests

* add well formed check

* change compile_invoke

* add tests

* compile invoke test

* change iterface

* adjustments

* fix borrow error

* clippy

* move files

* fix test

* rewrite mlir test

* always promote @interval

* interp tests

* documentation

* dummy change

* static->interval

* update tests

* add documentation to compile-static-interface

* well formed check'

* small change

* done

* tests

* rewrite test

* dummy change

* github workflow

* docker file checks out main

* checkout master

* checkout specific version

* go back to og dockerfile

* checkout specific commit

* does this work

* still not working

* dummy change so non-merge commit

* chatgpt no cache

* does this change things

* modify relay tests
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.

2 participants