[Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b

[Bug other/109672] New: [143 regression] many ICEs after r14-323-g977a43f5ba778b

[seurer at gcc dot gnu.org]

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

[Bug other/109672] [14 regression] many ICEs after r14-323-g977a43f5ba778b

[pinskia at gcc dot gnu.org]

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

[Bug tree-optimization/109672] [14 regression] many ICEs after r14-323-g977a43f5ba778b

[law at gcc dot gnu.org]

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.

[Bug tree-optimization/109672] [14 regression] many ICEs after r14-323-g977a43f5ba778b

[rguenth at gcc dot gnu.org]

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.

[Bug tree-optimization/109672] [14 regression] many ICEs after r14-323-g977a43f5ba778b

[rguenth at gcc dot gnu.org]

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).

[Bug tree-optimization/109672] [14 regression] many ICEs after r14-322-g821ef93976e750

[rguenth at gcc dot gnu.org]

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.

[Bug tree-optimization/109672] [14 regression] many ICEs after r14-322-g821ef93976e750

[cvs-commit at gcc dot gnu.org]

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.

[Bug tree-optimization/109672] [14 regression] many ICEs after r14-322-g821ef93976e750

[rguenth at gcc dot gnu.org]

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.