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

Update rewrite rule synth to discover more (all) IR patterns #82

Open
rdaly525 opened this issue Jul 7, 2022 · 1 comment
Open

Update rewrite rule synth to discover more (all) IR patterns #82

rdaly525 opened this issue Jul 7, 2022 · 1 comment
Assignees
@rdaly525 @jack-melchert

Comments

@rdaly525
Copy link
Owner

rdaly525 commented Jul 7, 2022

Given an IR rule, find all equivalent IR patterns
Will be Implemented using technique from Buchwald
This should solve any commutativity and associativity issues.
@rdaly525
Copy link
Owner Author

rdaly525 commented Jul 7, 2022

@jack-melchert could you create a PR with inefficiently mapped kernels to test this on?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rdaly525 rdaly525

@jack-melchert jack-melchert

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rdaly525 @jack-melchert