[Bug tree-optimization/114277] [11/12/13/14 Regression] Missed optimization: x*(x||b) => x

2024-03-11 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114277 Andrew Pinski changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot gnu.org

[Bug tree-optimization/114277] [11/12/13/14 Regression] Missed optimization: x*(x||b) => x

2024-03-11 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114277 --- Comment #5 from Andrew Pinski --- Thinking about this a little more. ((convert)boolean)*a is not Canonical But `boolean?a:0` is. Due to one expression vs 2. But `zero_one * a` is still Canonical if there is no cast from the boolean type.

[Bug tree-optimization/114277] [11/12/13/14 Regression] Missed optimization: x*(x||b) => x

2024-03-11 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114277 --- Comment #4 from Andrew Pinski --- (In reply to Raphael M Zinsly from comment #3) > Created attachment 57670 [details] > proposed patch > > I created this patch using the approach Jeff mentioned, I tested and it > fixes this bug. As I menti

[Bug tree-optimization/114277] [11/12/13/14 Regression] Missed optimization: x*(x||b) => x

2024-03-11 Thread rzinsly at ventanamicro dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114277 --- Comment #3 from Raphael M Zinsly --- Created attachment 57670 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57670&action=edit proposed patch I created this patch using the approach Jeff mentioned, I tested and it fixes this bug.

[Bug tree-optimization/114277] [11/12/13/14 Regression] Missed optimization: x*(x||b) => x

2024-03-08 Thread law at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114277 Jeffrey A. Law changed: What|Removed |Added CC||law at gcc dot gnu.org,

[Bug tree-optimization/114277] [11/12/13/14 Regression] Missed optimization: x*(x||b) => x

2024-03-08 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114277 Richard Biener changed: What|Removed |Added Priority|P3 |P2

[Bug tree-optimization/114277] [11/12/13/14 Regression] Missed optimization: x*(x||b) => x

2024-03-07 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114277 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |11.5 Last reconfirmed|