[Bug tree-optimization/81987] [8 Regression] ICE in verify_ssa with -O3 -march=skylake-avx512

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2017-08-28
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |rguenth at gcc dot gnu.org
            Summary|ICE in verify_ssa with -O3  |[8 Regression] ICE in
                   |-march=skylake-avx512       |verify_ssa with -O3
                   |                            |-march=skylake-avx512
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed, started with r251264. Bit reduced test-case:

short b, c, d, f, k, l, s;
int e, g, h, i, j, m, n, o, p, q, r, t;
long u;
void
v ()
{
  int a = c <= 602154393864UL;
  if (n ? 0 : c && e)
    ;
  else
    {
      o = 0;
      if (c && f || d)
        {
          if (f)
            p = 0;
          short w ((2364461588881776511UL + c) * (2 ? d : 0) || b);
          s = w;
          if (g)
            {
              if (n)
                if (j)
                  ;
                else if (i)
                  q = 0;
            }
          else
            {
              if (i)
                m = 0;
              if (k)
                {
                  if (h)
                    r = 0;
                  else
                    l = 0;
                  u = (2364461588881776511UL + c) * (2 ? d : 0);
                }
            }
          if ((2364461588881776511UL + c) * (2 ? d : 0))
            t = 0;
        }
    }
}