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

dialects: (llvm) Add support for overflow flags #3269

Merged
merged 7 commits into from
Oct 11, 2024
Merged

Conversation

lfrenot
Copy link
Collaborator

@lfrenot lfrenot commented Oct 9, 2024

No description provided.

@lfrenot lfrenot added the dialects Changes on the dialects label Oct 9, 2024
@lfrenot lfrenot self-assigned this Oct 9, 2024
Comment on lines +461 to +463
flags = attributes.pop("overflowFlags")
if isinstance(flags, OverflowAttr):
overflowFlags = flags
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What's MLIR's behaviour here?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't know
And I'm not sure how to check for that

Copy link

codecov bot commented Oct 11, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.00%. Comparing base (adbbb86) to head (7daa80f).
Report is 1 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #3269   +/-   ##
=======================================
  Coverage   89.99%   90.00%           
=======================================
  Files         445      445           
  Lines       55749    55801   +52     
  Branches     5367     5371    +4     
=======================================
+ Hits        50173    50225   +52     
  Misses       4166     4166           
  Partials     1410     1410           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@lfrenot
Copy link
Collaborator Author

lfrenot commented Oct 11, 2024

@tobiasgrosser Are we good to merge?

@tobiasgrosser
Copy link
Contributor

@tobiasgrosser Are we good to merge?

Yes

@lfrenot lfrenot merged commit 51bc3dc into main Oct 11, 2024
14 checks passed
@lfrenot lfrenot deleted the llvm-overflow-flags branch October 11, 2024 11:54
@superlopuh
Copy link
Member

I'm afraid it wasn't ready, the IR doesn't roundtrip, and there are still some questions about printing and parsing the overflow flags when they are specified both in the custom syntax and in the attribute dictionary. I would have appreciated a ping.

@tobiasgrosser
Copy link
Contributor

Oh sorry, I confused this with the lean-mlir repo.

@tobiasgrosser
Copy link
Contributor

Reverts are easy. I suggest to revert it and continue the review.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dialects Changes on the dialects
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants