public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/102318] New: [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1)
@ 2021-09-14 6:23 asolokha at gmx dot com
2021-09-14 6:43 ` [Bug tree-optimization/102318] " pinskia at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: asolokha at gmx dot com @ 2021-09-14 6:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102318
Bug ID: 102318
Summary: [12 Regression] ICE: verify_gimple failed (error:
incompatible types in 'PHI' argument 1)
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc-12.0.0-alpha20210912 snapshot (g:53a4def0dc1aac39d592a0d20e9ec16e8b5574ac)
ICEs when compiling the following testcase, extracted from
gcc/testsuite/gcc.target/aarch64/sve/slp_7.c, w/ -O1 -ftree-loop-vectorize:
void
vec_slp_int16_t (short int *restrict a, short int *restrict b, int n)
{
short int x0 = b[0];
short int x1 = b[1];
short int x2 = b[2];
short int x3 = b[3];
for (int i = 0; i < n; ++i)
{
x0 += a[i * 4];
x1 += a[i * 4 + 1];
x2 += a[i * 4 + 2];
x3 += a[i * 4 + 3];
}
b[0] = x0;
b[1] = x1;
b[2] = x2;
b[3] = x3;
}
% aarch64-linux-gnu-gcc-12.0.0 -O1 -ftree-loop-vectorize -c n8srjast.c
n8srjast.c: In function 'vec_slp_int16_t':
n8srjast.c:2:1: error: incompatible types in 'PHI' argument 1
2 | vec_slp_int16_t (short int *restrict a, short int *restrict b, int n)
| ^~~~~~~~~~~~~~~
vector(4) unsigned short
vector(4) short int
_196 = PHI <_195(17), _188(11)>
during GIMPLE pass: vect
n8srjast.c:2:1: internal compiler error: verify_gimple failed
0xf76827 verify_gimple_in_cfg(function*, bool)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210912/work/gcc-12-20210912/gcc/tree-cfg.c:5576
0xe33bc6 execute_function_todo
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210912/work/gcc-12-20210912/gcc/passes.c:2042
0xe3418b execute_todo
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210912/work/gcc-12-20210912/gcc/passes.c:2096
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/102318] [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1)
2021-09-14 6:23 [Bug tree-optimization/102318] New: [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) asolokha at gmx dot com
@ 2021-09-14 6:43 ` pinskia at gcc dot gnu.org
2021-09-14 7:09 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-09-14 6:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102318
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |12.0
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/102318] [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1)
2021-09-14 6:23 [Bug tree-optimization/102318] New: [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) asolokha at gmx dot com
2021-09-14 6:43 ` [Bug tree-optimization/102318] " pinskia at gcc dot gnu.org
@ 2021-09-14 7:09 ` rguenth at gcc dot gnu.org
2021-09-14 7:30 ` [Bug tree-optimization/102318] [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) since r12-3381-g843068149ec8fcaa marxin at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-09-14 7:09 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102318
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2021-09-14
Target|aarch64-linux-gnu |aarch64-linux-gnu,
| |x86_64-*-*
Status|UNCONFIRMED |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
Ever confirmed|0 |1
Priority|P3 |P1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed also on x86_64-linux. The reduction value re-use in the epilogue
goes wrong.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/102318] [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) since r12-3381-g843068149ec8fcaa
2021-09-14 6:23 [Bug tree-optimization/102318] New: [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) asolokha at gmx dot com
2021-09-14 6:43 ` [Bug tree-optimization/102318] " pinskia at gcc dot gnu.org
2021-09-14 7:09 ` rguenth at gcc dot gnu.org
@ 2021-09-14 7:30 ` marxin at gcc dot gnu.org
2021-09-15 9:13 ` cvs-commit at gcc dot gnu.org
2021-09-15 9:58 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-09-14 7:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102318
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[12 Regression] ICE: |[12 Regression] ICE:
|verify_gimple failed |verify_gimple failed
|(error: incompatible types |(error: incompatible types
|in 'PHI' argument 1) |in 'PHI' argument 1) since
| |r12-3381-g843068149ec8fcaa
CC| |marxin at gcc dot gnu.org
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-3381-g843068149ec8fcaa.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/102318] [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) since r12-3381-g843068149ec8fcaa
2021-09-14 6:23 [Bug tree-optimization/102318] New: [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) asolokha at gmx dot com
` (2 preceding siblings ...)
2021-09-14 7:30 ` [Bug tree-optimization/102318] [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) since r12-3381-g843068149ec8fcaa marxin at gcc dot gnu.org
@ 2021-09-15 9:13 ` cvs-commit at gcc dot gnu.org
2021-09-15 9:58 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-09-15 9:13 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102318
--- Comment #3 from CVS 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:b6d8fa66e1bf08756cb4134735b5034e171f49d1
commit r12-3544-gb6d8fa66e1bf08756cb4134735b5034e171f49d1
Author: Richard Biener <rguenther@suse.de>
Date: Wed Sep 15 10:20:34 2021 +0200
tree-optimization/102318 - reduction epilogue re-use
This refines the fix for PR102226 to do the mode conversion
from V2DI to VNx2DI separately from the sign-conversion, retaining
the signedness of the saved accumulator as before the original fix.
2021-09-15 Richard Biener <rguenther@suse.de>
PR tree-optimization/102318
* tree-vect-loop.c (vect_transform_cycle_phi): Revert
previous change and do the mode conversion separately from
the sign conversion.
* gcc.dg/vect/pr102318.c: New testcase.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/102318] [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) since r12-3381-g843068149ec8fcaa
2021-09-14 6:23 [Bug tree-optimization/102318] New: [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) asolokha at gmx dot com
` (3 preceding siblings ...)
2021-09-15 9:13 ` cvs-commit at gcc dot gnu.org
@ 2021-09-15 9:58 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-09-15 9:58 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102318
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2021-09-15 9:58 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-09-14 6:23 [Bug tree-optimization/102318] New: [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) asolokha at gmx dot com
2021-09-14 6:43 ` [Bug tree-optimization/102318] " pinskia at gcc dot gnu.org
2021-09-14 7:09 ` rguenth at gcc dot gnu.org
2021-09-14 7:30 ` [Bug tree-optimization/102318] [12 Regression] ICE: verify_gimple failed (error: incompatible types in 'PHI' argument 1) since r12-3381-g843068149ec8fcaa marxin at gcc dot gnu.org
2021-09-15 9:13 ` cvs-commit at gcc dot gnu.org
2021-09-15 9:58 ` 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).