[Bug tree-optimization/115843] [14/15 Regression] 531.deepsjeng_r fails to verify with -O3 -march=znver4 --param vect-partial-vector-usage=2

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115843

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
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2024-07-15

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
bitboard.o is miscompiled.  All of the following individually

bitboard.cpp:466:19: optimized: loop vectorized using 64 byte vectors
bitboard.cpp:456:19: optimized: loop vectorized using 64 byte vectors
bitboard.cpp:301:19: optimized: loop vectorized using 64 byte vectors

but not

bitboard.cpp:395:23: optimized: loop vectorized using 32 byte vectors
bitboard.cpp:391:23: optimized: loop vectorized using 64 byte vectors
bitboard.cpp:369:23: optimized: loop vectorized using 32 byte vectors
bitboard.cpp:369:23: optimized: loop vectorized using 16 byte vectors

are enough to trigger failure.