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: (mod_arith) create mod_arith dialect and add initial operation #3218

Merged
merged 13 commits into from
Oct 9, 2024

Conversation

emmau678
Copy link
Contributor

@emmau678 emmau678 commented Sep 26, 2024

Create a mod_arith dialect with a basic initial operation, based on the Mod Arith dialect in HEIR.
(link to the original dialect: https://github.com/google/heir/tree/main/lib/Dialect/ModArith)

@emmau678 emmau678 added the dialects Changes on the dialects label Sep 26, 2024
@emmau678 emmau678 self-assigned this Sep 26, 2024
Copy link
Collaborator

@alexarice alexarice left a comment

Choose a reason for hiding this comment

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

Left a few comments but looks like a good start

xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
xdsl/dialects/mod_arith.py Show resolved Hide resolved
xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
Copy link

codecov bot commented Sep 26, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.94%. Comparing base (4a02c8a) to head (a5ffdf9).
Report is 8 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #3218      +/-   ##
==========================================
+ Coverage   89.92%   89.94%   +0.02%     
==========================================
  Files         442      444       +2     
  Lines       55489    55586      +97     
  Branches     8656     8675      +19     
==========================================
+ Hits        49899    49998      +99     
  Misses       4161     4161              
+ Partials     1429     1427       -2     

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

Copy link
Collaborator

@AntonLydike AntonLydike left a comment

Choose a reason for hiding this comment

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

Welcome @emmau678! How exciting to see the project grow, this is a very strong start already!

xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
xdsl/dialects/mod_arith.py Show resolved Hide resolved
@superlopuh
Copy link
Member

Can you please delete the "Thank you for submitting a PR to xDSL!" bit from the PR description? The PR descriptions get added as commit messages when merged, so it's good to craft these to be helpful when looking at this commit in git history in the future.

@tobiasgrosser
Copy link
Contributor

Can you please delete the "Thank you for submitting a PR to xDSL!" bit from the PR description? The PR descriptions get added as commit messages when merged, so it's good to craft these to be helpful when looking at this commit in git history in the future.

Actually, I believe that everything below the line won't be included. But it probably does not hurt to clean this up.

Copy link
Collaborator

@AntonLydike AntonLydike left a comment

Choose a reason for hiding this comment

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

🚀

@emmau678 emmau678 marked this pull request as ready for review September 30, 2024 10:17
Copy link
Collaborator

@alexarice alexarice left a comment

Choose a reason for hiding this comment

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

Some small comments, probably won't block merging

xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
xdsl/dialects/mod_arith.py Outdated Show resolved Hide resolved
pyproject.toml Outdated Show resolved Hide resolved
@superlopuh
Copy link
Member

Something's off, did a merge go wrong?

@alexarice
Copy link
Collaborator

alexarice commented Oct 8, 2024

Something's off, did a merge go wrong?

image
Kind of looks like you did this (maybe I'm misunderstanding github)

Looks like a merge has gone wrong in any case

@emmau678
Copy link
Contributor Author

emmau678 commented Oct 8, 2024

@superlopuh @alexarice yes, I ran git pull when I should not have, I'm working on it :)

@emmau678
Copy link
Contributor Author

emmau678 commented Oct 9, 2024

@superlopuh @alexarice yes, I ran git pull when I should not have, I'm working on it :)

I think I have fixed it now

@alexarice
Copy link
Collaborator

The merge looks fixed. Just the one comment still up then should be good to merge from my end

emmau678 and others added 3 commits October 9, 2024 11:36
Co-authored-by: Sasha Lopoukhine <superlopuh@gmail.com>
Co-authored-by: Sasha Lopoukhine <superlopuh@gmail.com>
@emmau678 emmau678 merged commit 82dba7d into main Oct 9, 2024
14 checks passed
@emmau678 emmau678 deleted the mod_arith branch October 9, 2024 12:54
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.

6 participants