-
Notifications
You must be signed in to change notification settings - Fork 12.7k
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
Enable constraint-elimination by default #49344
Comments
The following existing issue are handled by
The following issue are candidates that could be handled by |
#58074 is also handled by ConstraintElimination. |
#51358 could also be handled by ConstraintElimination, modulo the fact that GEP indices are treated as signed with respect to |
Hi @fhahn! Are there any presentations or docs I can read to learn more about (Apologies if this is the wrong forum for a question like this!) |
I did a presentation during a previous LLLVM Dev meeting: https://www.youtube.com/watch?v=1hm5ZVmBEvo |
This reverts commit 695ce48. The compile-time regression causing the revert has been fixed. Recommit the original patch. Original commit message: The pass should help to close a functional gap when it comes to reasoning about related conditions in a relatively general way. It addresses multiple existing issues (linked below) and the need for a more powerful reasoning system was also discussed recently in https://discourse.llvm.org/t/rfc-alternative-approach-of-dealing-with-implications-from-comparisons-through-pos-analysis/65601/7 On AArch64, the new pass performs ~2000 simplifications on MultiSource,SPEC2006,SPEC2017 with -O3. Compile-time impact: NewPM-O3: +0.20% NewPM-ReleaseThinLTO: +0.32% NewPM-ReleaseLTO-g: +0.28% https://llvm-compile-time-tracker.com/compare.php?from=f01a3a893c147c1594b9a3fbd817456b209dabbf&to=577688758ef64fb044215ec3e497ea901bb2db28&stat=instructions:u Fixes #49344. Fixes #47888. Fixes #48253. Fixes #49229. Fixes #58074. Reviewed By: asbirlea Differential Revision: https://reviews.llvm.org/D135915
Extended Description
An umbrella bug to keep track of work towards enabling -constraint-elimination by default.
The text was updated successfully, but these errors were encountered: