https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121602
Bug ID: 121602
Summary: [15/16 Regression] ICE (verify_gimple failed): type
mismatch in 'vec_cond_expr' with SVE intrinsics
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: acoplan at gcc dot gnu.org
Target Milestone: ---
The following fails:
$ cat t.c
#include <arm_sve.h>
svint8_t foo(int8_t v32, svbool_t v16) {
return svmul_n_s8_z(v16, svdup_s8(1), v32);
}
$ gcc/xgcc -B gcc -c t.c -S -o /dev/null -O2 -march=armv8.2-a+sve
t.c: In function ‘foo’:
t.c:4:1: error: type mismatch in ‘vec_cond_expr’
4 | }
| ^
svint8_t
int8_t
svint8_t
_4 = VEC_COND_EXPR <v16_2(D), v32_3(D), { 0, ... }>;
during GIMPLE pass: ccp
t.c:4:1: internal compiler error: verify_gimple failed
0x232d8cb internal_error(char const*, ...)
/home/alecop01/toolchain/src/gcc/gcc/diagnostic-global-context.cc:534
0x10b174b verify_gimple_in_cfg(function*, bool, bool)
/home/alecop01/toolchain/src/gcc/gcc/tree-cfg.cc:5588
0xf129bf execute_function_todo
/home/alecop01/toolchain/src/gcc/gcc/passes.cc:2097
0xf12fbf execute_todo
/home/alecop01/toolchain/src/gcc/gcc/passes.cc:2149
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
