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.

Sign up for GitHub

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

Jump to bottom

transformations: (eqsat) add pass to convert non-eclass functions to eclass #3170

Closed
superlopuh opened this issue Sep 16, 2024 · 0 comments
Closed

transformations: (eqsat) add pass to convert non-eclass functions to eclass #3170

superlopuh opened this issue Sep 16, 2024 · 0 comments
Assignees
@jianyicheng

Comments

@superlopuh
Copy link
Member

No description provided.

@superlopuh superlopuh converted this from a draft issue Sep 16, 2024
@jianyicheng jianyicheng self-assigned this Sep 17, 2024
@jianyicheng jianyicheng mentioned this issue Sep 17, 2024
Merged
@jianyicheng jianyicheng moved this to Waiting for review in Equality Saturation Dialect Sep 17, 2024
@jianyicheng jianyicheng mentioned this issue Sep 18, 2024
Merged
2 tasks
jianyicheng added a commit that referenced this issue Sep 18, 2024
@jianyicheng
Added initial eqsat front end pass (#3186)
f5fe8ba 
This PR addresses #3170:
* Added initial front end pass `eqsat-create-eclasses` for the minimal
example
* Updated the test case to match the pass

---------

Co-authored-by: Jianyi Cheng <[email protected]>
@jianyicheng jianyicheng moved this from Waiting for review to In Progress in Equality Saturation Dialect Oct 14, 2024
jianyicheng added a commit that referenced this issue Oct 21, 2024
@jianyicheng
transformations: (eqsat) add pass to convert non-eclass functions to …
002fc52 
…eclass (#3189)

This PR addresses #3170:

- [x] Added initial front end pass `eqsat-create-eclasses` for the
minimal example
- [x] Added an initial test case for the pass
@jianyicheng jianyicheng moved this from In Progress to Done in Equality Saturation Dialect Nov 1, 2024
@jianyicheng jianyicheng closed this as completed by moving to Done in Equality Saturation Dialect Nov 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jianyicheng jianyicheng

Labels
None yet
Projects
Equality Saturation Dialect
Status: Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@superlopuh @jianyicheng