[WIP] Experiments in e-graphs in IR #3113
Conversation
…ng input example (#3185) This PR tries to address #3180 * Uncommented non-working examples (which require features from future PRs * Minimized the example for swapping inputs * Formatted the code --------- Co-authored-by: Jianyi Cheng <[email protected]>
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #3113 +/- ##
==========================================
+ Coverage 90.33% 90.34% +0.01%
==========================================
Files 464 468 +4
Lines 58076 58374 +298
Branches 5552 5572 +20
==========================================
+ Hits 52463 52740 +277
- Misses 4184 4198 +14
- Partials 1429 1436 +7 ☔ View full report in Codecov by Sentry. 🚨 Try these New Features:
|
- [x] Add initial Python rewrite (for learning & documentation) - [ ] Add the corresponding PDL rewrite --------- Co-authored-by: Jianyi Cheng <[email protected]> Co-authored-by: Sasha Lopoukhine <[email protected]>
| ): | ||
| owner = xdsl_val.owner | ||
| assert isinstance(owner, eqsat.EClassOp) | ||
| assert ( |
There was a problem hiding this comment.
I guess this will no longer be true after the first rewrite, i.e. an eclass may have more than one operand?
|
Not sure if I am looking at the right PR but it seems there is no test on eqsatpdl... Is this expected? @superlopuh Happy to write one by myself if there isn't one. |
|
This is the everything PR, it would definitely be useful to add tests, but especially in the PRs that take bits of code from here that we think are ready and merge to main |
CC @tobiasgrosser @jianyicheng