-
Notifications
You must be signed in to change notification settings - Fork 47
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
Replace HEIR polynomial dialect with upstream dialect #675
Conversation
This was disabled in google#616 but re-enabling does not seem to cause any issues. TODO: the reference to heir::polynomial should be removed as part of google#675
9a4df11
to
dbd20b4
Compare
5ec4acd
to
cff59c3
Compare
Main remaining problem is that the openfhe end_to_end tests don't build. heir-translate is apparently not able to load the Polynomial dialect's attributes, despite the fact that it's properly loaded upstream.
|
All the fixes are in, and now we just need to wait until the upstream changes are integrated into HEIR, probably will happen on Monday. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you!!! Just a handful of small nits. So cool that it's on MLIR upstream now
c617b74
to
1c43c68
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you!!
This does not upstream any of the polynomial conversion passes, just the types, ops, attributes, canonicalization patterns, and related verifiers, etc.
We're still missing the last upstream PR that will fix the remaining test failure |
Fixes #256
Pending