[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #22 from Aldy Hernandez --- Author: aldyh Date: Wed Sep 13 17:36:05 2017 New Revision: 252605 URL: https://gcc.gnu.org/viewcvs?rev=252605=gcc=rev Log: [gcc] 2017-08-29 Bill Schmidt Jakub

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 Bill Schmidt changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #20 from Bill Schmidt --- Author: wschmidt Date: Tue Sep 5 21:52:01 2017 New Revision: 251745 URL: https://gcc.gnu.org/viewcvs?rev=251745=gcc=rev Log: [gcc] 2017-09-05 Bill Schmidt Backport

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #19 from Bill Schmidt --- Author: wschmidt Date: Tue Sep 5 21:50:38 2017 New Revision: 251744 URL: https://gcc.gnu.org/viewcvs?rev=251744=gcc=rev Log: [gcc] 2017-09-05 Bill Schmidt Backport

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #18 from Bill Schmidt --- Author: wschmidt Date: Tue Sep 5 21:49:01 2017 New Revision: 251743 URL: https://gcc.gnu.org/viewcvs?rev=251743=gcc=rev Log: [gcc] 2017-09-05 Bill Schmidt Backport

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #17 from Bill Schmidt --- Fixed in trunk so far. Although this test case succeeds on GCC 7, the bug is latent there, so I'll keep this open and backport the fix to other releases in a week or so.

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #16 from Bill Schmidt --- Author: wschmidt Date: Tue Aug 29 14:41:53 2017 New Revision: 251414 URL: https://gcc.gnu.org/viewcvs?rev=251414=gcc=rev Log: [gcc] 2017-08-29 Bill Schmidt Jakub

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #15 from Bill Schmidt --- Proposed patch awaiting approval: https://gcc.gnu.org/ml/gcc-patches/2017-08/msg00347.html

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #14 from Bill Schmidt --- Created attachment 41899 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41899=edit Patch under test This is the patch I'm currently looking at. I am unhappy at having to use a tree to get maxval, but

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #13 from Bill Schmidt --- (In reply to Jakub Jelinek from comment #12) > I had in mind something like > wi::eq_p (wi::ext (w, TYPE_PRECISION (type), TYPE_SIGN (type)), w) > or so. Ah, good, thank you.

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #12 from Jakub Jelinek --- I had in mind something like wi::eq_p (wi::ext (w, TYPE_PRECISION (type), TYPE_SIGN (type)), w) or so.

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #11 from Bill Schmidt --- (In reply to Jakub Jelinek from comment #10) > The TREE_INT_CST_LOW part looks suspicious. Also, wide-int.h should provide > enough infrastructure so that you should be able to do everything on > wide-int,

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #9 from Bill Schmidt --- This is overkill, it has some test case fallout. Will have to look a bit deeper.

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #8 from Bill Schmidt --- Patch under test that fixes this case: Index: gcc/gimple-ssa-strength-reduction.c === ---

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #7 from Bill Schmidt --- Try -fno-slsr.

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #6 from Dmitry Babokin --- How can I switch off optimization phases to workaround the bug? I have another instances of wrong code bugs, so I'd like to make sure that I don't create duplicate reports for the same problem.

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 Bill Schmidt changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |wschmidt at gcc dot gnu.org ---

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 --- Comment #4 from Marc Glisse --- if (a + b * -2) c = (b-1073741824)*-2; might let you find an earlier culprit.

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 Martin Liška changed: What|Removed |Added CC||marxin at gcc dot gnu.org --- Comment #3

[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81503 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|