[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 Jakub Jelinek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 --- Comment #9 from CVS Commits --- The master branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:a1544878966020d1f7a640b35d1f7a5f0e055624 commit r12-6931-ga1544878966020d1f7a640b35d1f7a5f0e055624 Author: Jakub Jelinek Date: S

[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread hjl.tools at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 H.J. Lu changed: What|Removed |Added CC||hjl.tools at gmail dot com --- Comment #8 fro

[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 Jakub Jelinek changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org

[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 --- Comment #6 from Jakub Jelinek --- Actually you're right, we in fact enforce this: /* The resulting type of a comparison may be an effective boolean type. */ if (INTEGRAL_TYPE_P (type) && (TREE_CODE (type) == BOOLEAN_TYPE

[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 --- Comment #5 from Jakub Jelinek --- (In reply to Andrew Pinski from comment #3) > (In reply to Jakub Jelinek from comment #2) > > To me this looks like a bug in gimple-fold.cc. > > The r12-6924-gc2b610e7c6c89fd4 simplifies > > _5 = 1 / c.0_4;

[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 --- Comment #4 from Andrew Pinski --- (eq @1 { build_one_cst (type); }) Should be: (convert (eq:boolean_type_node @1 { build_one_cst (type); })) The other part of the match pattern needs a similar fix too.

[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 --- Comment #3 from Andrew Pinski --- (In reply to Jakub Jelinek from comment #2) > To me this looks like a bug in gimple-fold.cc. > The r12-6924-gc2b610e7c6c89fd4 simplifies > _5 = 1 / c.0_4; > into > _5 = c.0_4 == 1; No this is not valid gimp

[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 Jakub Jelinek changed: What|Removed |Added Priority|P3 |P1 Last reconfirmed|

[Bug tree-optimization/104280] [12 Regression] wrong code at -O1 and above

2022-01-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104280 Andrew Pinski changed: What|Removed |Added Version|unknown |12.0 Target Milestone|---