From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 1AE693858CDB; Fri, 28 Apr 2023 18:12:42 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1AE693858CDB DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1682705562; bh=rXYLSCccgc+o+jF2t+npDwAQepIQhzWc4sl8lJmkEfk=; h=From:To:Subject:Date:From; b=i1C3YEXAPJPAVswVrT26QGScFULrD2q4ziKaTzlwGqO7juK6gNrs5YPSHetBM0Rea 1WxYeZUKGhRlw+3LXgAaE2Psaa/tI08HOe7Mro4A5GKjwP5a+8PEiMUlz5kwJHBNaX WdYrUR7O3MEH5jVlP5qrwBxLszkxfp5WPOdwAeYE= From: "seurer at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b Date: Fri, 28 Apr 2023 18:12:41 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: other X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: seurer at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D109672 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 comp= iler error: verify_gimple failed) FAIL: gcc.dg/vect/bb-slp-layout-17.c -flto -ffat-lto-objects (test for exce= ss 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 err= or: verify_gimple failed) FAIL: gcc.dg/vect/pr103864.c -flto -ffat-lto-objects (test for excess error= s) FAIL: gcc.dg/vect/pr103864.c 15 blank line(s) in output FAIL: gcc.dg/vect/pr52252-ld.c (internal compiler error: verify_gimple fail= ed) 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 err= ors) 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 fail= ed) 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 err= ors) 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_gi= mple 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_gi= mple 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[)]* >=3D 8" FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-= dump vect "run-time check [^\\n]* abs \\([^*]* \\* 4[)]* >=3D 16" FAIL: gcc.dg/vect/vect-alias-check-11.c -flto -ffat-lto-objects scan-tree-= dump vect "run-time check [^\\n]* abs \\([^*]* \\* 8[)]* >=3D 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 betwe= en [^\\n]* when [^\\n]* step[^ ]* \\* 2[)]* is outside \\(-4, 4\\)" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias betwe= en [^\\n]* when [^\\n]* step[^ ]* \\* 2[)]* is outside \\(-6, 6\\)" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias betwe= en [^\\n]* when [^\\n]* step[^ ]* \\* 2[)]* is outside \\(-8, 8\\)" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias betwe= en [^\\n]* when [^\\n]* step[^ ]* \\* 4[)]* is outside \\(-12, 12\\)" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias betwe= en [^\\n]* when [^\\n]* step[^ ]* \\* 4[)]* is outside \\(-16, 16\\)" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias betwe= en [^\\n]* when [^\\n]* step[^ ]* \\* 4[)]* is outside \\(-8, 8\\)" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias betwe= en [^\\n]* when [^\\n]* step[^ ]* \\* 8[)]* is outside \\(-16, 16\\)" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias betwe= en [^\\n]* when [^\\n]* step[^ ]* \\* 8[)]* is outside \\(-24, 24\\)" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "no alias betwe= en [^\\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[)]* >=3D 8" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "run-time check [^\\n]* abs \\([^*]* \\* 4[)]* >=3D 16" FAIL: gcc.dg/vect/vect-alias-check-11.c scan-tree-dump vect "run-time check [^\\n]* abs \\([^*]* \\* 8[)]* >=3D 32" FAIL: gcc.dg/vect/vect-alias-check-12.c (internal compiler error: verify_gi= mple 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[)]* >=3D 8" FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-= dump vect "run-time check [^\\n]* unsigned \\([^*]* \\* 4[)]* >=3D 16" FAIL: gcc.dg/vect/vect-alias-check-12.c -flto -ffat-lto-objects scan-tree-= dump vect "run-time check [^\\n]* unsigned \\([^*]* \\* 8[)]* >=3D 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 betwe= en [^\\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 betwe= en [^\\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 betwe= en [^\\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 betwe= en [^\\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 betwe= en [^\\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 betwe= en [^\\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 betwe= en [^\\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 betwe= en [^\\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 betwe= en [^\\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[)]* >=3D 8" FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "run-time check [^\\n]* unsigned \\([^*]* \\* 4[)]* >=3D 16" FAIL: gcc.dg/vect/vect-alias-check-12.c scan-tree-dump vect "run-time check [^\\n]* unsigned \\([^*]* \\* 8[)]* >=3D 32" FAIL: gcc.dg/vect/vect-alias-check-14.c (internal compiler error: verify_gi= mple 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_gimp= le 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 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(vect__1.17_10);^M ^M _12 =3D VIEW_CONVERT_EXPR(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(_11);^M ^M _13 =3D VIEW_CONVERT_EXPR(_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(_19);^M ^M _20 =3D VIEW_CONVERT_EXPR(_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=