public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/103527] New: [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68
@ 2021-12-02 10:11 marxin at gcc dot gnu.org
2021-12-02 10:11 ` [Bug tree-optimization/103527] " marxin at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-12-02 10:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103527
Bug ID: 103527
Summary: [12 Regression] verify_gimple failed since
r12-5613-g32ede1083fad4b68
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: marxin at gcc dot gnu.org
CC: rsandifo at gcc dot gnu.org
Target Milestone: ---
Created attachment 51919
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51919&action=edit
Test-case
The following fails, it's reduced from SPEC benchmarks:
$ gfortran -Ofast -march=znver3 -g -flto=auto -w -std=legacy 1.f 2.f
/usr/bin/ld: /tmp/cc9dOvFO.o (symbol from plugin): in function `hfprop_':
(.text+0x0): multiple definition of `main'; /tmp/cc414jER.o (symbol from
plugin):(.text+0x0): first defined here
1.f: In function 'intefl.constprop':
1.f:15:23: error: invalid types in nop conversion
15 | SUBROUTINE INTEFL(LIT,LJT,IJ,IJX,IJY,IJZ,DIJ,WINT,AA,AX,AY,AZ)
| ^
float
bool
_383 = (float) _209;
1.f:15:23: error: invalid types in nop conversion
float
bool
_672 = (float) _209;
during GIMPLE pass: vect
1.f:15:23: internal compiler error: verify_gimple failed
0xe30b05 verify_gimple_in_cfg(function*, bool)
/home/marxin/Programming/gcc/gcc/tree-cfg.c:5578
0xcf947e execute_function_todo
/home/marxin/Programming/gcc/gcc/passes.c:2084
0xcf9a9b execute_todo
/home/marxin/Programming/gcc/gcc/passes.c:2138
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
make: *** [/tmp/ccEYd2W3.mk:2: /tmp/ccv2S7vc.ltrans0.ltrans.o] Error 1
lto-wrapper: fatal error: make returned 2 exit status
compilation terminated.
/usr/bin/ld: error: lto-wrapper failed
collect2: error: ld returned 1 exit status
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/103527] [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68
2021-12-02 10:11 [Bug tree-optimization/103527] New: [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68 marxin at gcc dot gnu.org
@ 2021-12-02 10:11 ` marxin at gcc dot gnu.org
2021-12-02 11:10 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-12-02 10:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103527
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Priority|P3 |P1
Target Milestone|--- |12.0
Last reconfirmed| |2021-12-02
Status|UNCONFIRMED |NEW
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/103527] [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68
2021-12-02 10:11 [Bug tree-optimization/103527] New: [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68 marxin at gcc dot gnu.org
2021-12-02 10:11 ` [Bug tree-optimization/103527] " marxin at gcc dot gnu.org
@ 2021-12-02 11:10 ` rguenth at gcc dot gnu.org
2021-12-02 12:32 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-12-02 11:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103527
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
Status|NEW |ASSIGNED
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
1.f:18:16: note: ------>vectorizing statement: xin0_12 = .MASK_LOAD (_210,
32B, _209);
1.f:18:16: note: transform statement.
1.f:18:16: note: vect_is_simple_use: operand nm_31(D) > 1, type of def:
external
1.f:18:16: note: vect_is_simple_use: operand (int) _199, type of def: internal
1.f:18:16: note: vect_is_simple_use: vectype vector(8) int
1.f:18:16: note: transform load. ncopies = 1
1.f:18:16: note: vect_get_vec_defs_for_operand: indx_5
1.f:18:16: note: vect_is_simple_use: operand (int) _199, type of def: internal
1.f:18:16: note: def_stmt = indx_5 = (int) _199;
1.f:18:16: note: vect_get_vec_defs_for_operand: _209
1.f:18:16: note: vect_is_simple_use: operand nm_31(D) > 1, type of def:
external
1.f:18:16: note: def_stmt = _209 = nm_31(D) > 1;
1.f:18:16: note: created new init_stmt: _383 = (float) _209;
1.f:18:16: note: created new init_stmt: vect_cst__384 = {_383, _383, _383,
_383, _383, _383, _383, _383};
and vect_build_gather_load_calls passes down vector(8) float as masktype to
vect_get_vec_defs_for_operand for the mask. The builtins function type of
__builtin_ia32_gathersiv8sf is
vector(8) float <T5ef> (vector(8) float, const <float:32> *, vector(8) int,
vector(8) float, int)
so the masktype is indeed vector(8) float here.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/103527] [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68
2021-12-02 10:11 [Bug tree-optimization/103527] New: [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68 marxin at gcc dot gnu.org
2021-12-02 10:11 ` [Bug tree-optimization/103527] " marxin at gcc dot gnu.org
2021-12-02 11:10 ` rguenth at gcc dot gnu.org
@ 2021-12-02 12:32 ` cvs-commit at gcc dot gnu.org
2021-12-02 12:32 ` rguenth at gcc dot gnu.org
2021-12-06 15:17 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-12-02 12:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103527
--- Comment #2 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:70ece2d4ca403dfc6a837d876642378a8d4d3dce
commit r12-5708-g70ece2d4ca403dfc6a837d876642378a8d4d3dce
Author: Richard Biener <rguenther@suse.de>
Date: Thu Dec 2 12:21:19 2021 +0100
tree-optimization/103527 - always use thruth type forgather mask
This makes sure to always use a truth type to build the gather
mask argument even when the target builtin prototype in the end
wants a float vector.
2021-12-02 Richard Biener <rguenther@suse.de>
PR tree-optimization/103527
* tree-vect-stmts.c (vect_build_gather_load_calls): Always
use a truth type for building the vector mask.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/103527] [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68
2021-12-02 10:11 [Bug tree-optimization/103527] New: [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68 marxin at gcc dot gnu.org
` (2 preceding siblings ...)
2021-12-02 12:32 ` cvs-commit at gcc dot gnu.org
@ 2021-12-02 12:32 ` rguenth at gcc dot gnu.org
2021-12-06 15:17 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-12-02 12:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103527
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/103527] [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68
2021-12-02 10:11 [Bug tree-optimization/103527] New: [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68 marxin at gcc dot gnu.org
` (3 preceding siblings ...)
2021-12-02 12:32 ` rguenth at gcc dot gnu.org
@ 2021-12-06 15:17 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-12-06 15:17 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103527
Bug 103527 depends on bug 103581, which changed state.
Bug 103581 Summary: [12 Regression] 403.gcc miscompiled since r12-5708-g70ece2d4ca403dfc6a837d876642378a8d4d3dce
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103581
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2021-12-06 15:17 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-12-02 10:11 [Bug tree-optimization/103527] New: [12 Regression] verify_gimple failed since r12-5613-g32ede1083fad4b68 marxin at gcc dot gnu.org
2021-12-02 10:11 ` [Bug tree-optimization/103527] " marxin at gcc dot gnu.org
2021-12-02 11:10 ` rguenth at gcc dot gnu.org
2021-12-02 12:32 ` cvs-commit at gcc dot gnu.org
2021-12-02 12:32 ` rguenth at gcc dot gnu.org
2021-12-06 15:17 ` 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).