[Bug tree-optimization/85934] New: [8/9 Regression] ICE: verify_gimple failed (error: type mismatch in vector pack expression)

[asolokha at gmx dot com]

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

            Bug ID: 85934
           Summary: [8/9 Regression] ICE: verify_gimple failed (error:
                    type mismatch in vector pack expression)
           Product: gcc
           Version: 8.1.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: ---
            Target: x86_64-unknown-linux-gnu

gcc-9.0.0-alpha20180520 snapshot (r260425) and 8.1 ICE (differently) when
compiling the following snippet w/ -mavx512vbmi -O1 (-O2)
-ftree-loop-vectorize:

int uf;

int
l7 (int wk, int sv)
{
  while (sv < 1)
    {
      int me;

      for (me = 0; me < 64; ++me)
        wk += !!((unsigned char) sv) && (!!uf == !!me);

      ++sv;
    }

  return wk;
}

% x86_64-unknown-linux-gnu-gcc-9.0.0-alpha20180520 -mavx512vbmi -O1
-ftree-loop-vectorize -c qfoifajc.c
qfoifajc.c: In function 'l7':
qfoifajc.c:4:1: error: type mismatch in vector pack expression
 l7 (int wk, int sv)
 ^~
<unnamed type>
<unnamed type>
<unnamed type>
_84 = VEC_PACK_TRUNC_EXPR <_131, _85>;
during GIMPLE pass: veclower2
qfoifajc.c:4:1: internal compiler error: verify_gimple failed
0xce6f99 verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/tree-cfg.c:5347
0xbc198f execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/passes.c:1994
0xbc28de execute_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/passes.c:2048

and gcc 8.1:

during RTL pass: expand
<source>: In function 'l7':
<source>:4:1: internal compiler error: in emit_move_insn, at expr.c:3722
 l7 (int wk, int sv)
 ^~