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.

Reply via email to