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

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

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

--- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> ---
Created attachment 52496
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52496&action=edit
GIMPLE testcase for the ICE

This is a GIMPLE testcase for the ICE:

> ./cc1 -quiet t2.c -O -fgimple -mavx512f -ftree-vectorize -fno-vect-cost-model
t2.c: In function 'bar':
t2.c:7:1: error: conversion of register to a different size in
'view_convert_expr'
    7 | bar (int * restrict a, int * restrict d, int * restrict e)
      | ^~~
VIEW_CONVERT_EXPR<vector(16) <signed-boolean:1>>(vect_patt_36.13_6);

_151 = VIEW_CONVERT_EXPR<vector(16) <signed-boolean:1>>(vect_patt_36.13_6);
during GIMPLE pass: slp