https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121072
Bug ID: 121072
Summary: [16 Regression] RISC-V: ICE verify_gimple failed
incompatible types in 'PHI' argument 0
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: ewlu at rivosinc dot com
Target Milestone: ---
Created attachment 61865
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61865&action=edit
freport-bug output
Testcase:
_Bool a;
void b(int c, long ak[], int al) {
for (int ay = 0; ay < c; ay += 7)
for (signed az = 0; az < 18; az++)
a = al ? ak[az] : 0;
}
Commands/backtrace:
$
/scratch/ewlu/daily-upstream-build/build-gcv/bin/riscv64-unknown-linux-gnu-gcc
-I/scratch/ewlu/ci/compiler-fuzz-ci/csmith-build/include -fsigned-char
-fno-strict-aliasing -fwrapv -march=rv64gcv_zvl256b -O3 red.c -o rv64gcv.out -w
-freport-bug
red.c: In function 'b':
red.c:2:6: error: incompatible types in 'PHI' argument 0
2 | void b(int c, long ak[], int al) {
| ^
vector([4,4]) unsigned char
vector([4,4]) <signed-boolean:1>
vect_iftmp.10_85 = PHI <mask__17.9_84(3)>
during GIMPLE pass: vect
red.c:2:6: internal compiler error: verify_gimple failed
0x2ea4806 internal_error(char const*, ...)
../../../gcc/gcc/diagnostic-global-context.cc:517
0x15347a2 verify_gimple_in_cfg(function*, bool, bool)
../../../gcc/gcc/tree-cfg.cc:5588
0x13a91ea execute_function_todo
../../../gcc/gcc/passes.cc:2097
0x13a96ce execute_todo
../../../gcc/gcc/passes.cc:2149
Please submit a full bug report, with preprocessed source.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Preprocessed source stored into /tmp/ccMNmWxW.out file, please attach this to
your bugreport.
godbolt: https://godbolt.org/z/91Y9esr74
