public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu
@ 2024-04-01 19:31 zhendong.su at inf dot ethz.ch
2024-04-01 20:45 ` [Bug tree-optimization/114551] [14 Regression] " pinskia at gcc dot gnu.org
` (9 more replies)
0 siblings, 10 replies; 11+ messages in thread
From: zhendong.su at inf dot ethz.ch @ 2024-04-01 19:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
Bug ID: 114551
Summary: wrong code at -O3 on x86_64-linux-gnu
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: zhendong.su at inf dot ethz.ch
Target Milestone: ---
It appears to be a recent regression as it does not reproduce for 13.2 and
earlier.
Compiler Explorer: https://godbolt.org/z/q3hrz8MW1
[587] % gcctk -v
Using built-in specs.
COLLECT_GCC=gcctk
COLLECT_LTO_WRAPPER=/local/suz-local/software/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/14.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-trunk/configure --disable-bootstrap
--enable-checking=yes --prefix=/local/suz-local/software/local/gcc-trunk
--enable-sanitizers --enable-languages=c,c++ --disable-werror --enable-multilib
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.1 20240401 (experimental) (GCC)
[588] %
[588] % gcctk -O2 small.c; ./a.out
[589] %
[589] % gcctk -O3 small.c
[590] % ./a.out
Segmentation fault
[591] %
[591] % cat small.c
int a, b[4], c, d, e, f;
int main() {
a--;
for (f = 3; f >= 0; f--) {
for (e = 0; e < 4; e++)
c = 0;
for (; c < 4; c++) {
d = f && a > 0 && f > (2147483647 - a) ? 0 : b[f];
continue;
}
}
return 0;
}
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
@ 2024-04-01 20:45 ` pinskia at gcc dot gnu.org
2024-04-02 11:33 ` rguenth at gcc dot gnu.org
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-04-01 20:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |14.0
Target| |x86_64-linux-gnu
Summary|wrong code at -O3 on |[14 Regression] wrong code
|x86_64-linux-gnu |at -O3 on x86_64-linux-gnu
Ever confirmed|0 |1
Keywords| |needs-bisection, wrong-code
Last reconfirmed| |2024-04-01
Status|UNCONFIRMED |NEW
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
2024-04-01 20:45 ` [Bug tree-optimization/114551] [14 Regression] " pinskia at gcc dot gnu.org
@ 2024-04-02 11:33 ` rguenth at gcc dot gnu.org
2024-04-02 13:22 ` jakub at gcc dot gnu.org
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-04-02 11:33 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
Version|unknown |14.0
Known to work| |13.2.0
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
2024-04-01 20:45 ` [Bug tree-optimization/114551] [14 Regression] " pinskia at gcc dot gnu.org
2024-04-02 11:33 ` rguenth at gcc dot gnu.org
@ 2024-04-02 13:22 ` jakub at gcc dot gnu.org
2024-04-02 23:43 ` [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944 pinskia at gcc dot gnu.org
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: jakub at gcc dot gnu.org @ 2024-04-02 13:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r14-2944-g3d48c11ad082def8ee237e5778d8a5d569bff96d
a is -1, so the testcase shouldn't do much except almost empty loops with a few
iterations.
The continue in there seems to be important, but dunno why, it is effectively
just a goto to the immediately next statement; perhaps the continue predictor
affects it?
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
` (2 preceding siblings ...)
2024-04-02 13:22 ` jakub at gcc dot gnu.org
@ 2024-04-02 23:43 ` pinskia at gcc dot gnu.org
2024-04-03 3:44 ` pinskia at gcc dot gnu.org
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-04-02 23:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The first major difference with/without continue is the moving of `f >
(2147483647 - a)` checkout of the loop via lim2 in the case of not having the
continue.
You can replace the inner most loop with:
```
for (; c < 4; c++) {
[[unlikely]];
d = f && a > 0 && f > (2147483647 - a) ? 0 : b[f];
}
```
Also so yes it is the continue predictor that is coming into play.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
` (3 preceding siblings ...)
2024-04-02 23:43 ` [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944 pinskia at gcc dot gnu.org
@ 2024-04-03 3:44 ` pinskia at gcc dot gnu.org
2024-04-03 3:46 ` pinskia at gcc dot gnu.org
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-04-03 3:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu.org
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Note you can remove continue/[[unlikely]]` and reproduce it with `-O3
-fdisable-tree-lim2`.
Also note disabling VRP2, `-fdisable-tree-vrp2` allows the code to pass which
gets me the feeling like maybe lsplit is not rewriting the check to be overflow
safe.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
` (4 preceding siblings ...)
2024-04-03 3:44 ` pinskia at gcc dot gnu.org
@ 2024-04-03 3:46 ` pinskia at gcc dot gnu.org
2024-04-03 12:27 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-04-03 3:46 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Found potential split point: if (f.12_35 <= _25)
{ 3 + I*-1 } le_expr 2147483647 - _2
Applying pattern match.pd:6064, generic-match-4.cc:1699
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
` (5 preceding siblings ...)
2024-04-03 3:46 ` pinskia at gcc dot gnu.org
@ 2024-04-03 12:27 ` rguenth at gcc dot gnu.org
2024-04-04 7:00 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-04-03 12:27 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
It can be reproduced with -O2 -funswitch-loops -fsplit-loops.
Loop splitting emits
<bb 2> [local count: 14598063]:
a.0_1 = a;
_2 = a.0_1 + -1;
a = _2;
_24 = _2 <= 0;
_10 = 2147483647 - _2;
if (_10 <= 2)
and the 2147483647 - _2 expression then overflows, so that's definitely
wrong. This is built here:
/* Build a condition that will skip the first loop when the
guard condition won't ever be true (or false). */
gimple_seq stmts2;
border = force_gimple_operand (border, &stmts2, true, NULL_TREE);
if (stmts2)
or rather in split_at_bb_p and put into '*border'
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
` (6 preceding siblings ...)
2024-04-03 12:27 ` rguenth at gcc dot gnu.org
@ 2024-04-04 7:00 ` cvs-commit at gcc dot gnu.org
2024-04-04 7:01 ` [Bug tree-optimization/114551] [13 " rguenth at gcc dot gnu.org
2024-05-06 12:06 ` [Bug tree-optimization/114551] [14 " rguenth at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2024-04-04 7:00 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:e152177b362143465e2b9d721ea632cae3f13445
commit r14-9781-ge152177b362143465e2b9d721ea632cae3f13445
Author: Richard Biener <rguenther@suse.de>
Date: Wed Apr 3 14:53:30 2024 +0200
tree-optimization/114551 - loop splitting and undefined overflow
When loop splitting hoists a guard computation it needs to make sure
that can be safely evaluated at this place when it was previously
only conditionally evaluated. The following fixes this for the
case of undefined overflow.
PR tree-optimization/114551
* tree-ssa-loop-split.cc (split_loop): If the guard is
only conditionally evaluated rewrite computations with
possibly undefined overflow to unsigned arithmetic.
* gcc.dg/torture/pr114551.c: New testcase.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [13 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
` (7 preceding siblings ...)
2024-04-04 7:00 ` cvs-commit at gcc dot gnu.org
@ 2024-04-04 7:01 ` rguenth at gcc dot gnu.org
2024-05-06 12:06 ` [Bug tree-optimization/114551] [14 " rguenth at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-04-04 7:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P1 |P2
Known to work| |14.0
Summary|[14 Regression] wrong code |[13 Regression] wrong code
|at -O3 on x86_64-linux-gnu |at -O3 on x86_64-linux-gnu
|since r14-2944 |since r14-2944
Target Milestone|14.0 |13.3
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk, but the problem is surely latent. I'm queueing for a GCC 13
backport but will not bother with it further.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
` (8 preceding siblings ...)
2024-04-04 7:01 ` [Bug tree-optimization/114551] [13 " rguenth at gcc dot gnu.org
@ 2024-05-06 12:06 ` rguenth at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-05-06 12:06 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114551
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[13 Regression] wrong code |[14 Regression] wrong code
|at -O3 on x86_64-linux-gnu |at -O3 on x86_64-linux-gnu
|since r14-2944 |since r14-2944
Resolution|--- |FIXED
Target Milestone|13.3 |14.0
Status|ASSIGNED |RESOLVED
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Too awkward to backport, depend on rewrite_to_defined_overflow API re-org.
Fixed in GCC 14.
^ permalink raw reply [flat|nested] 11+ messages in thread
end of thread, other threads:[~2024-05-06 12:06 UTC | newest]
Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-04-01 19:31 [Bug tree-optimization/114551] New: wrong code at -O3 on x86_64-linux-gnu zhendong.su at inf dot ethz.ch
2024-04-01 20:45 ` [Bug tree-optimization/114551] [14 Regression] " pinskia at gcc dot gnu.org
2024-04-02 11:33 ` rguenth at gcc dot gnu.org
2024-04-02 13:22 ` jakub at gcc dot gnu.org
2024-04-02 23:43 ` [Bug tree-optimization/114551] [14 Regression] wrong code at -O3 on x86_64-linux-gnu since r14-2944 pinskia at gcc dot gnu.org
2024-04-03 3:44 ` pinskia at gcc dot gnu.org
2024-04-03 3:46 ` pinskia at gcc dot gnu.org
2024-04-03 12:27 ` rguenth at gcc dot gnu.org
2024-04-04 7:00 ` cvs-commit at gcc dot gnu.org
2024-04-04 7:01 ` [Bug tree-optimization/114551] [13 " rguenth at gcc dot gnu.org
2024-05-06 12:06 ` [Bug tree-optimization/114551] [14 " rguenth at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).