public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b
@ 2023-04-28 18:12 seurer at gcc dot gnu.org
2023-04-28 18:34 ` [Bug other/109672] [14 " pinskia at gcc dot gnu.org
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: seurer at gcc dot gnu.org @ 2023-04-28 18:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109672
Bug ID: 109672
Summary: [143 regression] many ICEs after
r14-323-g977a43f5ba778b
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: other
Assignee: unassigned at gcc dot gnu.org
Reporter: seurer at gcc dot gnu.org
Target Milestone: ---
g:977a43f5ba778b5c5cf9c56ba04ed4fde5d1ae78, r14-323-g977a43f5ba778b
FAIL: gcc.dg/vect/bb-slp-layout-17.c (internal compiler error: verify_gimple
failed)
FAIL: gcc.dg/vect/bb-slp-layout-17.c (test for excess errors)
FAIL: gcc.dg/vect/bb-slp-layout-17.c -flto -ffat-lto-objects 3 blank line(s)
in output
FAIL: gcc.dg/vect/bb-slp-layout-17.c -flto -ffat-lto-objects (internal compiler
error: verify_gimple failed)
FAIL: gcc.dg/vect/bb-slp-layout-17.c -flto -ffat-lto-objects (test for excess
errors)
FAIL: gcc.dg/vect/bb-slp-layout-17.c 3 blank line(s) in output
FAIL: gcc.dg/vect/pr103864.c (internal compiler error: verify_gimple failed)
FAIL: gcc.dg/vect/pr103864.c (test for excess errors)
FAIL: gcc.dg/vect/pr103864.c -flto -ffat-lto-objects 15 blank line(s) in
output
FAIL: gcc.dg/vect/pr103864.c -flto -ffat-lto-objects (internal compiler error:
verify_gimple failed)
FAIL: gcc.dg/vect/pr103864.c -flto -ffat-lto-objects (test for excess errors)
FAIL: gcc.dg/vect/pr103864.c 15 blank line(s) in output
FAIL: gcc.dg/vect/pr52252-ld.c (internal compiler error: verify_gimple failed)
FAIL: gcc.dg/vect/pr52252-ld.c (test for excess errors)
FAIL: gcc.dg/vect/pr52252-ld.c -flto -ffat-lto-objects 6 blank line(s) in
output
FAIL: gcc.dg/vect/pr52252-ld.c -flto -ffat-lto-objects (internal compiler
error: verify_gimple failed)
FAIL: gcc.dg/vect/pr52252-ld.c -flto -ffat-lto-objects (test for excess errors)
FAIL: gcc.dg/vect/pr52252-ld.c 6 blank line(s) in output
FAIL: gcc.dg/vect/slp-perm-9.c (internal compiler error: verify_gimple failed)
FAIL: gcc.dg/vect/slp-perm-9.c (test for excess errors)
FAIL: gcc.dg/vect/slp-perm-9.c -flto -ffat-lto-objects 2 blank line(s) in
output
FAIL: gcc.dg/vect/slp-perm-9.c -flto -ffat-lto-objects (internal compiler
error: verify_gimple failed)
FAIL: gcc.dg/vect/slp-perm-9.c -flto -ffat-lto-objects (test for excess errors)
FAIL: gcc.dg/vect/slp-perm-9.c 2 blank line(s) in output
FAIL: gcc.dg/vect/vect-alias-check-10.c (internal compiler error: verify_gimple
failed)
FAIL: gcc.dg/vect/vect-alias-check-10.c (test for excess errors)
FAIL: gcc.dg/vect/vect-alias-check-10.c -flto -ffat-lto-objects 4 blank
line(s) in output
FAIL: gcc.dg/vect/vect-alias-check-10.c -flto -ffat-lto-objects (internal
compiler error: verify_gimple failed)
FAIL: gcc.dg/vect/vect-alias-check-10.c -flto -ffat-lto-objects (test for
excess errors)
FAIL: gcc.dg/vect/vect-alias-check-10.c 4 blank line(s) in output
FAIL: gcc.dg/vect/vect-alias-check-11.c (internal compiler error: verify_gimple
failed)
FAIL: gcc.dg/vect/vect-alias-check-11.c (test for excess errors)
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects 4 blank
line(s) in output
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* step[^ ]* \\* 2[)]* is outside
\\(-4, 4\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* step[^ ]* \\* 2[)]* is outside
\\(-6, 6\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* step[^ ]* \\* 2[)]* is outside
\\(-8, 8\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* step[^ ]* \\* 4[)]* is outside
\\(-12, 12\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* step[^ ]* \\* 4[)]* is outside
\\(-16, 16\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* step[^ ]* \\* 4[)]* is outside
\\(-8, 8\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* step[^ ]* \\* 8[)]* is outside
\\(-16, 16\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* step[^ ]* \\* 8[)]* is outside
\\(-24, 24\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* step[^ ]* \\* 8[)]* is outside
\\(-32, 32\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "run-time check [^\\n]* abs \\([^*]* \\* 2[)]* >= 8"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "run-time check [^\\n]* abs \\([^*]* \\* 4[)]* >= 16"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-dump
vect "run-time check [^\\n]* abs \\([^*]* \\* 8[)]* >= 32"
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects (internal
compiler error: verify_gimple failed)
FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects (test for
excess errors)
FAIL: gcc.dg/vect/vect-alias-check-11.c 4 blank line(s) in output
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* step[^ ]* \\* 2[)]* is outside \\(-4, 4\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* step[^ ]* \\* 2[)]* is outside \\(-6, 6\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* step[^ ]* \\* 2[)]* is outside \\(-8, 8\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* step[^ ]* \\* 4[)]* is outside \\(-12, 12\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* step[^ ]* \\* 4[)]* is outside \\(-16, 16\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* step[^ ]* \\* 4[)]* is outside \\(-8, 8\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* step[^ ]* \\* 8[)]* is outside \\(-16, 16\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* step[^ ]* \\* 8[)]* is outside \\(-24, 24\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* step[^ ]* \\* 8[)]* is outside \\(-32, 32\\)"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "run-time check
[^\\n]* abs \\([^*]* \\* 2[)]* >= 8"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "run-time check
[^\\n]* abs \\([^*]* \\* 4[)]* >= 16"
FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "run-time check
[^\\n]* abs \\([^*]* \\* 8[)]* >= 32"
FAIL: gcc.dg/vect/vect-alias-check-12.c (internal compiler error: verify_gimple
failed)
FAIL: gcc.dg/vect/vect-alias-check-12.c (test for excess errors)
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects 4 blank
line(s) in output
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* [_a-z][^ ]* \\* 2[)]* is outside
\\[0, 4\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* [_a-z][^ ]* \\* 2[)]* is outside
\\[0, 6\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* [_a-z][^ ]* \\* 2[)]* is outside
\\[0, 8\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* [_a-z][^ ]* \\* 4[)]* is outside
\\[0, 12\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* [_a-z][^ ]* \\* 4[)]* is outside
\\[0, 16\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* [_a-z][^ ]* \\* 4[)]* is outside
\\[0, 8\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* [_a-z][^ ]* \\* 8[)]* is outside
\\[0, 16\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* [_a-z][^ ]* \\* 8[)]* is outside
\\[0, 24\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "no alias between [^\\n]* when [^\\n]* [_a-z][^ ]* \\* 8[)]* is outside
\\[0, 32\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "run-time check [^\\n]* unsigned \\([^*]* \\* 2[)]* >= 8"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "run-time check [^\\n]* unsigned \\([^*]* \\* 4[)]* >= 16"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-dump
vect "run-time check [^\\n]* unsigned \\([^*]* \\* 8[)]* >= 32"
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects (internal
compiler error: verify_gimple failed)
FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects (test for
excess errors)
FAIL: gcc.dg/vect/vect-alias-check-12.c 4 blank line(s) in output
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* [_a-z][^ ]* \\* 2[)]* is outside \\[0, 4\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* [_a-z][^ ]* \\* 2[)]* is outside \\[0, 6\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* [_a-z][^ ]* \\* 2[)]* is outside \\[0, 8\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* [_a-z][^ ]* \\* 4[)]* is outside \\[0, 12\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* [_a-z][^ ]* \\* 4[)]* is outside \\[0, 16\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* [_a-z][^ ]* \\* 4[)]* is outside \\[0, 8\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* [_a-z][^ ]* \\* 8[)]* is outside \\[0, 16\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* [_a-z][^ ]* \\* 8[)]* is outside \\[0, 24\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "no alias between
[^\\n]* when [^\\n]* [_a-z][^ ]* \\* 8[)]* is outside \\[0, 32\\)"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "run-time check
[^\\n]* unsigned \\([^*]* \\* 2[)]* >= 8"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "run-time check
[^\\n]* unsigned \\([^*]* \\* 4[)]* >= 16"
FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "run-time check
[^\\n]* unsigned \\([^*]* \\* 8[)]* >= 32"
FAIL: gcc.dg/vect/vect-alias-check-14.c (internal compiler error: verify_gimple
failed)
FAIL: gcc.dg/vect/vect-alias-check-14.c (test for excess errors)
FAIL: gcc.dg/vect/vect-alias-check-14.c -flto -ffat-lto-objects 2 blank
line(s) in output
FAIL: gcc.dg/vect/vect-alias-check-14.c -flto -ffat-lto-objects (internal
compiler error: verify_gimple failed)
FAIL: gcc.dg/vect/vect-alias-check-14.c -flto -ffat-lto-objects (test for
excess errors)
FAIL: gcc.dg/vect/vect-alias-check-14.c 2 blank line(s) in output
FAIL: gcc.dg/vect/vect-cselim-1.c (internal compiler error: verify_gimple
failed)
FAIL: gcc.dg/vect/vect-cselim-1.c (test for excess errors)
FAIL: gcc.dg/vect/vect-cselim-1.c -flto -ffat-lto-objects 6 blank line(s) in
output
FAIL: gcc.dg/vect/vect-cselim-1.c -flto -ffat-lto-objects (internal compiler
error: verify_gimple failed)
FAIL: gcc.dg/vect/vect-cselim-1.c -flto -ffat-lto-objects (test for excess
errors)
FAIL: gcc.dg/vect/vect-cselim-1.c 6 blank line(s) in output
FAIL: gcc.dg/vect/vect-vfa-slp.c (internal compiler error: verify_gimple
failed)
FAIL: gcc.dg/vect/vect-vfa-slp.c (test for excess errors)
FAIL: gcc.dg/vect/vect-vfa-slp.c -flto -ffat-lto-objects 2 blank line(s) in
output
FAIL: gcc.dg/vect/vect-vfa-slp.c -flto -ffat-lto-objects (internal compiler
error: verify_gimple failed)
FAIL: gcc.dg/vect/vect-vfa-slp.c -flto -ffat-lto-objects (test for excess
errors)
FAIL: gcc.dg/vect/vect-vfa-slp.c 2 blank line(s) in output
FAIL: gcc.target/powerpc/pr104015-1.c (internal compiler error: verify_gimple
failed)
FAIL: gcc.target/powerpc/pr104015-1.c (test for excess errors)
FAIL: gcc.target/powerpc/pr104015-1.c 2 blank line(s) in output
commit 977a43f5ba778b5c5cf9c56ba04ed4fde5d1ae78 (HEAD)
Author: Richard Biener <rguenther@suse.de>
Date: Fri Apr 28 09:25:16 2023 +0200
Avoid more invalid GIMPLE with register bases
spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test/gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test/gcc/
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/vect/bb-slp-layout-17.c
-fdiagnostics-plain-output -maltivec -mpower9-vector -ftree-vectorize
-fno-tree-loop-distribute-patterns -fno-vect-cost-model -fno-common -O2
-fdump-tree-slp-details -S -o bb-slp-layout-17.s^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/vect/bb-slp-layout-17.c: In
function 'f2':^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/vect/bb-slp-layout-17.c:18:6:
error: conversion of register to a different size in 'view_convert_expr'^M
VIEW_CONVERT_EXPR<unsigned long>(vect__1.17_10);^M
^M
_12 = VIEW_CONVERT_EXPR<unsigned long>(vect__1.17_10);^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/vect/bb-slp-layout-17.c:18:6:
error: conversion of register to a different size in 'view_convert_expr'^M
VIEW_CONVERT_EXPR<unsigned long>(_11);^M
^M
_13 = VIEW_CONVERT_EXPR<unsigned long>(_11);^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/vect/bb-slp-layout-17.c:18:6:
error: conversion of register to a different size in 'view_convert_expr'^M
VIEW_CONVERT_EXPR<vector(2) short unsigned int>(_19);^M
^M
_20 = VIEW_CONVERT_EXPR<vector(2) short unsigned int>(_19);^M
during GIMPLE pass: slp^M
dump file: bb-slp-layout-17.c.184t.slp2^M
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/vect/bb-slp-layout-17.c:18:6:
internal compiler error: verify_gimple failed^M
0x10d1cbb3 verify_gimple_in_cfg(function*, bool, bool)^M
/home/seurer/gcc/git/gcc-test/gcc/tree-cfg.cc:5639^M
0x10b182af execute_function_todo^M
/home/seurer/gcc/git/gcc-test/gcc/passes.cc:2098^M
0x10b1928b do_per_function^M
/home/seurer/gcc/git/gcc-test/gcc/passes.cc:1694^M
0x10b194ab execute_todo^M
/home/seurer/gcc/git/gcc-test/gcc/passes.cc:2152^M
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug other/109672] [14 regression] many ICEs after r14-323-g977a43f5ba778b
2023-04-28 18:12 [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b seurer at gcc dot gnu.org
@ 2023-04-28 18:34 ` pinskia at gcc dot gnu.org
2023-04-29 14:51 ` [Bug tree-optimization/109672] " law at gcc dot gnu.org
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-04-28 18:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109672
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |14.0
Summary|[143 regression] many ICEs |[14 regression] many ICEs
|after |after
|r14-323-g977a43f5ba778b |r14-323-g977a43f5ba778b
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/109672] [14 regression] many ICEs after r14-323-g977a43f5ba778b
2023-04-28 18:12 [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b seurer at gcc dot gnu.org
2023-04-28 18:34 ` [Bug other/109672] [14 " pinskia at gcc dot gnu.org
@ 2023-04-29 14:51 ` law at gcc dot gnu.org
2023-05-02 6:22 ` rguenth at gcc dot gnu.org
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: law at gcc dot gnu.org @ 2023-04-29 14:51 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109672
Jeffrey A. Law <law at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2023-04-29
CC| |law at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Similar failures on arc-elf:
arc-sim: gcc.c-torture/execute/pr36691.c -O3 -fomit-frame-pointer
-funroll-loops -fpeel-loops -ftracer -finline-functions (test for excess
errors)
arc-sim: gcc.c-torture/execute/pr36691.c -O3 -g (test for excess errors)
arc-sim: gcc.dg/pr53749.c (test for excess errors)
arc-sim: gcc.dg/pr83480.c (test for excess errors)
arc-sim: gcc.dg/torture/pr98117.c -O3 -fomit-frame-pointer -funroll-loops
-fpeel-loops -ftracer -finline-functions (test for excess errors)
arc-sim: gcc.dg/torture/pr98117.c -O3 -fomit-frame-pointer -funroll-loops
-fpeel-loops -ftracer -finline-functions (test for excess errors)
arc-sim: gcc.dg/torture/pr98117.c -O3 -g (test for excess errors)
arc-sim: gcc.dg/torture/pr98117.c -O3 -g (test for excess errors)
If you dig inside, they're tripping the new checking for conversions too.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/109672] [14 regression] many ICEs after r14-323-g977a43f5ba778b
2023-04-28 18:12 [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b seurer at gcc dot gnu.org
2023-04-28 18:34 ` [Bug other/109672] [14 " pinskia at gcc dot gnu.org
2023-04-29 14:51 ` [Bug tree-optimization/109672] " law at gcc dot gnu.org
@ 2023-05-02 6:22 ` rguenth at gcc dot gnu.org
2023-05-02 8:35 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-05-02 6:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109672
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 #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/109672] [14 regression] many ICEs after r14-323-g977a43f5ba778b
2023-04-28 18:12 [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b seurer at gcc dot gnu.org
` (2 preceding siblings ...)
2023-05-02 6:22 ` rguenth at gcc dot gnu.org
@ 2023-05-02 8:35 ` rguenth at gcc dot gnu.org
2023-05-02 8:42 ` [Bug tree-optimization/109672] [14 regression] many ICEs after r14-322-g821ef93976e750 rguenth at gcc dot gnu.org
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-05-02 8:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109672
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
I think the issue is rev. r14-322-g821ef93976e750.
We enter with vector(2) short using SImode and a PLUS_EXPR. Then
bool using_emulated_vectors_p = vect_emulated_vector_p (vectype);
yields true, but we've figured there's target support for SImode add so
fail to hit
/* Check only during analysis. */
if (maybe_ne (GET_MODE_SIZE (vec_mode), UNITS_PER_WORD)
|| (!vec_stmt && !vect_can_vectorize_without_simd_p (code)))
return false;
that we mash bit operations and arithmetics in the used predicates makes
things a bit iffy - for bit operations we can really let things go. In
theory we could also handle this SImode case (no need to always use
word_mode - but at least for some targets subword operations might be
more expensive).
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/109672] [14 regression] many ICEs after r14-322-g821ef93976e750
2023-04-28 18:12 [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b seurer at gcc dot gnu.org
` (3 preceding siblings ...)
2023-05-02 8:35 ` rguenth at gcc dot gnu.org
@ 2023-05-02 8:42 ` rguenth at gcc dot gnu.org
2023-05-02 9:56 ` cvs-commit at gcc dot gnu.org
2023-05-02 9:57 ` rguenth at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-05-02 8:42 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109672
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[14 regression] many ICEs |[14 regression] many ICEs
|after |after
|r14-323-g977a43f5ba778b |r14-322-g821ef93976e750
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
I am testing a patch.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/109672] [14 regression] many ICEs after r14-322-g821ef93976e750
2023-04-28 18:12 [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b seurer at gcc dot gnu.org
` (4 preceding siblings ...)
2023-05-02 8:42 ` [Bug tree-optimization/109672] [14 regression] many ICEs after r14-322-g821ef93976e750 rguenth at gcc dot gnu.org
@ 2023-05-02 9:56 ` cvs-commit at gcc dot gnu.org
2023-05-02 9:57 ` rguenth at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2023-05-02 9:56 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109672
--- Comment #5 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:f385252b2336a4a57a30fddf82e558c73bcc85cc
commit r14-391-gf385252b2336a4a57a30fddf82e558c73bcc85cc
Author: Richard Biener <rguenther@suse.de>
Date: Tue May 2 10:34:48 2023 +0200
tree-optimization/109672 - properly check emulated plus during vect
The following refactors the check for emulated vector support for
the cases of plus, minus and negate. In the PR we end up with
a SImode plus, supported by the target but emulated and in this
context fail to verify we are dealing with exactly word_mode.
PR tree-optimization/109672
* tree-vect-stmts.cc (vectorizable_operation): For plus,
minus and negate always check the vector mode is word mode.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug tree-optimization/109672] [14 regression] many ICEs after r14-322-g821ef93976e750
2023-04-28 18:12 [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b seurer at gcc dot gnu.org
` (5 preceding siblings ...)
2023-05-02 9:56 ` cvs-commit at gcc dot gnu.org
@ 2023-05-02 9:57 ` rguenth at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-05-02 9:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109672
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Should be fixed.
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2023-05-02 9:57 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-04-28 18:12 [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b seurer at gcc dot gnu.org
2023-04-28 18:34 ` [Bug other/109672] [14 " pinskia at gcc dot gnu.org
2023-04-29 14:51 ` [Bug tree-optimization/109672] " law at gcc dot gnu.org
2023-05-02 6:22 ` rguenth at gcc dot gnu.org
2023-05-02 8:35 ` rguenth at gcc dot gnu.org
2023-05-02 8:42 ` [Bug tree-optimization/109672] [14 regression] many ICEs after r14-322-g821ef93976e750 rguenth at gcc dot gnu.org
2023-05-02 9:56 ` cvs-commit at gcc dot gnu.org
2023-05-02 9:57 ` 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).