https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100887
--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> ---
Probably related issue:
$ cat testcase.c
typedef unsigned long long __attribute__((__vector_size__ (16))) U;
typedef unsigned long long __attribute__((__vector_size__ (32))) V;
typedef unsigned long long __attribute__((__vector_size__ (64))) W;
U
foo (V v)
{
return __builtin_shufflevector ((W){}, v, 0, 8);
}
$ x86_64-pc-linux-gnu-gcc -mavx512f testcase.c
testcase.c: In function 'foo':
testcase.c:6:1: error: not allowed type combination in 'bit_insert_expr'
6 | foo (V v)
| ^~~
W
V
_2 = BIT_INSERT_EXPR <{ 0, 0, 0, 0, 0, 0, 0, 0 }, v, 64>;
testcase.c:6:1: internal compiler error: 'verify_gimple' failed
0x10b85ad verify_gimple_in_seq(gimple*)
/repo/gcc-trunk/gcc/tree-cfg.c:5161
0xdaf5e6 gimplify_body(tree_node*, bool)
/repo/gcc-trunk/gcc/gimplify.c:15404
0xdaf75d gimplify_function_tree(tree_node*)
/repo/gcc-trunk/gcc/gimplify.c:15475
0xbd9127 cgraph_node::analyze()
/repo/gcc-trunk/gcc/cgraphunit.c:670
0xbdbc57 analyze_functions
/repo/gcc-trunk/gcc/cgraphunit.c:1234
0xbdc8ed symbol_table::finalize_compilation_unit()
/repo/gcc-trunk/gcc/cgraphunit.c:2508
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
