public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug rtl-optimization/112995] New: sel-sched2 ICE without checking verify_changes
@ 2023-12-13 6:35 linkw at gcc dot gnu.org
2023-12-13 6:38 ` [Bug rtl-optimization/112995] " linkw at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: linkw at gcc dot gnu.org @ 2023-12-13 6:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112995
Bug ID: 112995
Summary: sel-sched2 ICE without checking verify_changes
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: rtl-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: linkw at gcc dot gnu.org
Target Milestone: ---
With selective scheduling 2 enabled by default, I failed to build gcc with
non-bootstrap on Power10, one reduced test case is listed below:
int a[];
int b(__ieee128 e) {
int c;
__ieee128 d;
c = e;
d = c;
d = a[c] + d;
return d;
}
option: -O2 -S -fselective-scheduling2 -mcpu=power10 (or -mcpu=power9)
ICE reason:
test.c:9:1: error: insn does not satisfy its constraints:
9 | }
| ^
(insn 48 0 0 (set (reg:DI 32 0)
(sign_extend:DI (reg/v:SI 64 0 [orig:119 c ] [119]))) 31 {extendsidi2}
(nil))
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/112995] sel-sched2 ICE without checking verify_changes
2023-12-13 6:35 [Bug rtl-optimization/112995] New: sel-sched2 ICE without checking verify_changes linkw at gcc dot gnu.org
@ 2023-12-13 6:38 ` linkw at gcc dot gnu.org
2023-12-13 6:46 ` linkw at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: linkw at gcc dot gnu.org @ 2023-12-13 6:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112995
Kewen Lin <linkw at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to fail| |11.4.0
Last reconfirmed| |2023-12-13
Status|UNCONFIRMED |ASSIGNED
Keywords| |ice-on-valid-code
CC| |amonakov at gcc dot gnu.org,
| |bergner at gcc dot gnu.org,
| |segher at gcc dot gnu.org
Target| |powerpc64le-linux-gnu
Ever confirmed|0 |1
Assignee|unassigned at gcc dot gnu.org |linkw at gcc dot gnu.org
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/112995] sel-sched2 ICE without checking verify_changes
2023-12-13 6:35 [Bug rtl-optimization/112995] New: sel-sched2 ICE without checking verify_changes linkw at gcc dot gnu.org
2023-12-13 6:38 ` [Bug rtl-optimization/112995] " linkw at gcc dot gnu.org
@ 2023-12-13 6:46 ` linkw at gcc dot gnu.org
2023-12-13 7:03 ` pinskia at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: linkw at gcc dot gnu.org @ 2023-12-13 6:46 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112995
--- Comment #1 from Kewen Lin <linkw at gcc dot gnu.org> ---
Initially we have:
(insn 31 6 10 2 (set (reg/v:SI 9 9 [orig:119 c ] [119])
(reg/v:SI 64 0 [orig:119 c ] [119])) "test.i":5:5 555
{*movsi_internal1}
(expr_list:REG_DEAD (reg/v:SI 64 0 [orig:119 c ] [119])
(nil)))
(insn 10 31 25 2 (set (reg:DI 10 10 [128])
(ashift:DI (sign_extend:DI (reg/v:SI 9 9 [orig:119 c ] [119]))
(const_int 2 [0x2]))) "test.i":7:8 278 {ashdi3_extswsli}
(nil))
(insn 25 10 27 2 (set (reg:DI 64 0 [135])
(sign_extend:DI (reg/v:SI 9 9 [orig:119 c ] [119]))) "test.i":6:5 31
{extendsidi2}
(expr_list:REG_DEAD (reg/v:SI 9 9 [orig:119 c ] [119])
(nil)))
with moving up, we have:
(insn 46 0 0 (set (reg:DI 64 0 [135])
(sign_extend:DI (reg/v:SI 64 0 [orig:119 c ] [119]))) 31 {extendsidi2}
(expr_list:REG_DEAD (reg/v:SI 9 9 [orig:119 c ] [119])
(nil)))
in try_replace_dest_reg, we updated the above EXPR_INSN_RTX to:
(insn 48 0 0 (set (reg:DI 32 0)
(sign_extend:DI (reg/v:SI 64 0 [orig:119 c ] [119]))) 31 {extendsidi2}
(nil))
This doesn't match any constraint and it's an unexpected modification.
Unfortunately function try_replace_dest_reg just checks the orig insn with:
if (REGNO (best_reg) != REGNO (INSN_LHS (orig_insn))
&& (! replace_src_with_reg_ok_p (orig_insn, best_reg)
|| ! replace_dest_with_reg_ok_p (orig_insn, best_reg)))
But it doesn't check EXPR_INSN_RTX, I think it's under the assumption that if
the original insn is able to be replaced then the change on EXPR_INSN_RTX is
fine, but this isn't true as the given test case shows.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/112995] sel-sched2 ICE without checking verify_changes
2023-12-13 6:35 [Bug rtl-optimization/112995] New: sel-sched2 ICE without checking verify_changes linkw at gcc dot gnu.org
2023-12-13 6:38 ` [Bug rtl-optimization/112995] " linkw at gcc dot gnu.org
2023-12-13 6:46 ` linkw at gcc dot gnu.org
@ 2023-12-13 7:03 ` pinskia at gcc dot gnu.org
2023-12-13 7:30 ` linkw at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-12-13 7:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112995
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
fselective-scheduling has so many issues.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/112995] sel-sched2 ICE without checking verify_changes
2023-12-13 6:35 [Bug rtl-optimization/112995] New: sel-sched2 ICE without checking verify_changes linkw at gcc dot gnu.org
` (2 preceding siblings ...)
2023-12-13 7:03 ` pinskia at gcc dot gnu.org
@ 2023-12-13 7:30 ` linkw at gcc dot gnu.org
2023-12-21 5:32 ` cvs-commit at gcc dot gnu.org
2023-12-21 6:30 ` linkw at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: linkw at gcc dot gnu.org @ 2023-12-13 7:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112995
--- Comment #3 from Kewen Lin <linkw at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #2)
> fselective-scheduling has so many issues.
ah, thanks a lot for pointing this out.
I was testing the impact of my proposed scheduling change and found this
feature didn't work well on Power (turning on it by default and failed to build
even without bootstrap). I thought it's able to specify these
selective-scheduling related options on Power, maybe we need to ensure some
quality there. I just know Power is not alone ;-), by scanning those PRs under
meta-bug I noticed at least more than three had the same/similar ICE traces as
what I found in those exposed failures. As noticing this
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110526#c4, I wonder if they have
become in low priority?
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/112995] sel-sched2 ICE without checking verify_changes
2023-12-13 6:35 [Bug rtl-optimization/112995] New: sel-sched2 ICE without checking verify_changes linkw at gcc dot gnu.org
` (3 preceding siblings ...)
2023-12-13 7:30 ` linkw at gcc dot gnu.org
@ 2023-12-21 5:32 ` cvs-commit at gcc dot gnu.org
2023-12-21 6:30 ` linkw at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2023-12-21 5:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112995
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Kewen Lin <linkw@gcc.gnu.org>:
https://gcc.gnu.org/g:5fbc77726f68a35a938c829fe259d6c376d608ca
commit r14-6768-g5fbc77726f68a35a938c829fe259d6c376d608ca
Author: Kewen Lin <linkw@linux.ibm.com>
Date: Wed Dec 20 23:20:19 2023 -0600
sel-sched: Verify change before replacing dest in EXPR_INSN_RTX [PR112995]
PR112995 exposed one issue in current try_replace_dest_reg
that the result rtx insn after replace_dest_with_reg_in_expr
is probably unable to match any constraints. Although there
are some checks on the changes onto dest or src of orig_insn,
none is performed on the EXPR_INSN_RTX.
Initially we have:
(insn 31 6 10 2 (set (reg/v:SI 9 9 [orig:119 c ] [119])
(reg/v:SI 64 0 [orig:119 c ] [119]))
"test.i":5:5 555 {*movsi_internal1} ... )
...
(insn 25 10 27 2 (set (reg:DI 64 0 [135])
(sign_extend:DI
(reg/v:SI 9 9 [orig:119 c ] [119])))
"test.i":6:5 31 {extendsidi2} ...)
with moving up, we have:
(insn 46 0 0 (set (reg:DI 64 0 [135])
(sign_extend:DI
(reg/v:SI 64 0 [orig:119 c ] [119])))
31 {extendsidi2} ...)
in try_replace_dest_reg, we updated the above EXPR_INSN_RTX to:
(insn 48 0 0 (set (reg:DI 32 0)
(sign_extend:DI
(reg/v:SI 64 0 [orig:119 c ] [119])))
31 {extendsidi2} ...)
The dest (reg 64) is a VR (also VSX REG), the updating makes
it become to (reg 32) which is a FPR (also VSX REG), we have
an alternative to match "VR,VR" but no one to match "FPR/VSX,
VR/VSX", so it fails with ICE.
This patch is to add the check before actually replacing dest
in expr with reg.
PR rtl-optimization/112995
gcc/ChangeLog:
* sel-sched.cc (try_replace_dest_reg): Check the validity of the
replaced insn before actually replacing dest in expr.
gcc/testsuite/ChangeLog:
* gcc.target/powerpc/pr112995.c: New test.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/112995] sel-sched2 ICE without checking verify_changes
2023-12-13 6:35 [Bug rtl-optimization/112995] New: sel-sched2 ICE without checking verify_changes linkw at gcc dot gnu.org
` (4 preceding siblings ...)
2023-12-21 5:32 ` cvs-commit at gcc dot gnu.org
@ 2023-12-21 6:30 ` linkw at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: linkw at gcc dot gnu.org @ 2023-12-21 6:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112995
Kewen Lin <linkw at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
Target Milestone|--- |14.0
--- Comment #5 from Kewen Lin <linkw at gcc dot gnu.org> ---
Should be fixed on trunk, guessing we don't want a backport, so closing.
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2023-12-21 6:30 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-12-13 6:35 [Bug rtl-optimization/112995] New: sel-sched2 ICE without checking verify_changes linkw at gcc dot gnu.org
2023-12-13 6:38 ` [Bug rtl-optimization/112995] " linkw at gcc dot gnu.org
2023-12-13 6:46 ` linkw at gcc dot gnu.org
2023-12-13 7:03 ` pinskia at gcc dot gnu.org
2023-12-13 7:30 ` linkw at gcc dot gnu.org
2023-12-21 5:32 ` cvs-commit at gcc dot gnu.org
2023-12-21 6:30 ` linkw 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).