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

[InstCombine] Commuted pattern is not handled #121696

Open
dtcxzyw opened this issue Jan 5, 2025 · 5 comments
Open

[InstCombine] Commuted pattern is not handled #121696

dtcxzyw opened this issue Jan 5, 2025 · 5 comments
Assignees
Labels
llvm:instcombine metabug Issue to collect references to a group of similar or related issues. missed-optimization

Comments

@dtcxzyw
Copy link
Member

dtcxzyw commented Jan 5, 2025

This issue lists all the missed optimization issues related to commutative patterns in InstCombine.

@dtcxzyw

This comment has been minimized.

@dtcxzyw

This comment has been minimized.

@dtcxzyw

This comment has been minimized.

@dtcxzyw dtcxzyw added the metabug Issue to collect references to a group of similar or related issues. label Jan 5, 2025
@dtcxzyw
Copy link
Member Author

dtcxzyw commented Jan 5, 2025

@nikic @goldsteinn
What is the policy for these issues? There is no reason not to support the commuted versions of these patterns.
However, as these issues have existed for a long time and there are no reports from downstream users, can we just delete the code entirely if there is no evidence of real-world usefulness?

@nikic
Copy link
Contributor

nikic commented Jan 5, 2025

I don't think it's possible to answer this in general. Adding support for the commuted pattern is always safe. To drop the transform we should do some investigation (like try to find out why it was added in the first place) on a case by case basis.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
llvm:instcombine metabug Issue to collect references to a group of similar or related issues. missed-optimization
Projects
None yet
Development

No branches or pull requests

2 participants