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 <rguent...@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
