subject:"\[Bug target\/113255\] \[11\/12\/13\/14 Regression\] wrong code with \-O2 \-mtune=k8"

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-22 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 --- Comment #12 from GCC Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:a98d5130a6dcff2ed4db371e500550134777b8cf commit r14-8346-ga98d5130a6dcff2ed4db371e500550134777b8cf Author: Richard Biener Date:

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-12 Thread rguenth at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 --- Comment #11 from Richard Biener --- diff --git a/gcc/alias.cc b/gcc/alias.cc index b2ec4806d22..0150dd699db 100644 --- a/gcc/alias.cc +++ b/gcc/alias.cc @@ -2272,6 +2272,8 @@ static bool base_alias_check (rtx x, rtx x_base, rtx y, rtx

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 --- Comment #10 from Richard Biener --- Hmm, trying to fix find_base_term isn't enough, init_alias_analysis find_base_value needs to be adjusted as well. One "obvious" mistake there is a missing diff --git a/gcc/alias.cc b/gcc/alias.cc index

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-09 Thread rguenth at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 --- Comment #9 from Richard Biener --- So this: static void expand_set_or_cpymem_prologue_epilogue_by_misaligned_moves (rtx destmem, rtx srcmem, ... /* See how many bytes we skipped. */ saveddest = expand_simple_binop (GET_MODE

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-09 Thread rguenth at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 Richard Biener changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-09 Thread jakub at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 --- Comment #7 from Jakub Jelinek --- Slightly cleaned up testcase: struct S { unsigned a[10]; unsigned y; unsigned b[6]; } g[2]; __attribute__((noinline, noclone)) int test (int x) { struct S e[2] = { g[0], g[1] }; int r = 0; if (x >=

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-09 Thread ubizjak at gmail dot com via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 Uroš Bizjak changed: What|Removed |Added CC||hubicka at gcc dot gnu.org --- Comment

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-08 Thread jakub at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 --- Comment #5 from Jakub Jelinek --- (In reply to Richard Biener from comment #4) > I'm unsure the above parallel is valid, isn't parallel executing stmts > in "parallel" (unspecified order)? I don't see anything invalid on it. In addition

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-08 Thread rguenth at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 --- Comment #4 from Richard Biener --- DSE thinks the store is dead because it falls off the function. (insn 41 40 46 4 (set (mem/c:SI (plus:DI (reg/f:DI 19 frame) (const_int -36 [0xffdc])) [2 e[1].y+0 S4 A32])

[Bug target/113255] [11/12/13/14 Regression] wrong code with -O2 -mtune=k8

2024-01-07 Thread ubizjak at gmail dot com via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113255 --- Comment #3 from Uroš Bizjak --- _.dse1 pass is removing the store for some reason, -fno-dse "fixes" the testcase. Before _.dse1 pass, we have: (insn 41 40 46 4 (set (mem/c:SI (plus:DI (reg/f:DI 19 frame) (const_int -36