[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-10-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #23 from Andrew Pinski --- Note even though the optimization was in GCC 11+ (r11-2550-gca2b8c082c4f added it), only GCC 13+ hits it in this case as GCC 13 lowers the vector comparison and uses the scalar for the one element signed 64

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-10-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 Andrew Pinski changed: What|Removed |Added Resolution|--- |MOVED Status|WAITING

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-10-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #21 from Andrew Pinski --- That is the code in IsInf causes the difference ...

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-10-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #20 from Andrew Pinski --- With -fwrapv: _87 = _92 * 2; NativeSet___trans_tmp_3 = { -2 }; _84 = _87 == -2; Without: _84 = _92 == -1; I think that is correct ...

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-10-04 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #19 from Andrew Pinski --- Hmm, adding -fwrapv allows the testcase to pass ...

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-10-04 Thread alice at ayaya dot dev via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #18 from psykose --- > Could you please run a regression to identify which commit along GCC-13 > branch introduce the change at least to get the ball rolling ? note that it might not actually be a regression; it's possible the cv

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-10-04 Thread malat at debian dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #17 from Mathieu Malaterre --- (In reply to Andrew Pinski from comment #15) > That returns a address to a local variable ... Sorry I am having a hard time driving cvise correctly. Here is the latest version: g++-13 -g -o works inf

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-10-04 Thread malat at debian dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 Mathieu Malaterre changed: What|Removed |Added Attachment #56015|0 |1 is obsolete|

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-09-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #15 from Andrew Pinski --- Well the cvise reduced testcase is undefined code: template __tuple_element_t<__i, tuple<_Elements...>> get(tuple<_Elements...>) { double __trans_tmp_23{}; double *__trans_tmp_21 = &__trans_tmp_23; r

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-09-28 Thread malat at debian dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #14 from Mathieu Malaterre --- Here is a first reproducer. Using GCC-13.2.0 % g++ -O0 -o works tu.cc && ./works % g++ -O1 -o fails tu.cc && ./fails zsh: abort ./fails

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-09-28 Thread malat at debian dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #13 from Mathieu Malaterre --- Created attachment 56015 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56015&action=edit cvise reduced

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-09-05 Thread malat at debian dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #12 from Mathieu Malaterre --- regression started today % cvise check.sh math_test.cc 00:00:27 INFO ===< 3971165 >=== 00:00:27 INFO running 4 interestingness tests in parallel 00:00:27 INFO INITIAL PAS

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-07-27 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 Richard Biener changed: What|Removed |Added Target Milestone|13.2|13.3 --- Comment #11 from Richard Bien

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-07-25 Thread alice at ayaya dot dev via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 psykose changed: What|Removed |Added CC||alice at ayaya dot dev --- Comment #10 from p

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-07-13 Thread malat at debian dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 --- Comment #9 from Mathieu Malaterre --- (In reply to Richard Biener from comment #8) > I wonder if you can try a recent GCC 13 snapshot or the head of the branch > and also confirm with GCC 14 trunk? Could you suggest a docker image I could u

[Bug target/110643] [13/14 Regression] aarch64: Miscompilation at O1 level (O0 is working)

2023-07-13 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110643 Richard Biener changed: What|Removed |Added Known to fail||13.1.0 Summary|aarch64: Mis