[Bug tree-optimization/101756] New: [12 Regression] ICE: verify_gimple failed (error: non-trivial conversion in 'ssa_name')

[asolokha at gmx dot com]

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

            Bug ID: 101756
           Summary: [12 Regression] ICE: verify_gimple failed (error:
                    non-trivial conversion in 'ssa_name')
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-12.0.0-alpha20210801 snapshot (g:6f0c43e97825ee54e3779afbedcd0def12443001)
ICEs when compiling the following testcase w/ -O2 -ftree-slp-vectorize
-fvect-cost-model=unlimited:

__attribute__ ((simd)) int
tq (long int ea, int of, int kk)
{
  int bc;

  for (bc = 0; bc < 2; ++bc)
    {
      ++ea;
      of |= !!kk < !!!!ea;
    }

  return of;
}

% gcc-12.0.0 -O2 -ftree-slp-vectorize -fvect-cost-model=unlimited -c ivnmfzgz.c
ivnmfzgz.c: In function 'tq.simdclone.2':
ivnmfzgz.c:2:1: error: non-trivial conversion in 'ssa_name'
    2 | tq (long int ea, int of, int kk)
      | ^~
_Bool
<signed-boolean:64>
_36 = _52;
during GIMPLE pass: slp
ivnmfzgz.c:2:1: internal compiler error: verify_gimple failed
0xe94f88 verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/tree-cfg.c:5531
0xd5b857 execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/passes.c:2042
0xd5c25e execute_todo
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/passes.c:2096