[Bug tree-optimization/101636] [11/12 Regression] ICE: verify_gimple failed (error: conversion of register to a different size in 'view_convert_expr')

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

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

--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> ---
I can still reproduce it with the current master
(g:b7cd3946062e034bcc644db2569cd750041a2ee3):

$ gcc pr101636.c -c -mavx512f -O1 -ftree-vectorize -fno-vect-cost-model
pr101636.c: In function ‘bar’:
pr101636.c:8:1: error: conversion of register to a different size in
‘view_convert_expr’
    8 | bar (int *__restrict a, int *__restrict d, int *__restrict e, int i)
      | ^~~
VIEW_CONVERT_EXPR<vector(16) <signed-boolean:1>>(vect_patt_38.28_172);

_151 = VIEW_CONVERT_EXPR<vector(16) <signed-boolean:1>>(vect_patt_38.28_172);
during GIMPLE pass: slp
pr101636.c:8:1: internal compiler error: verify_gimple failed
0xf60445 verify_gimple_in_cfg(function*, bool)
        /home/marxin/Programming/gcc/gcc/tree-cfg.c:5577
0xe20c6e execute_function_todo
        /home/marxin/Programming/gcc/gcc/passes.c:2042
0xe2125b execute_todo
        /home/marxin/Programming/gcc/gcc/passes.c:2096
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.