1  /* PR rtl-optimization/70596 */
       2  /* { dg-do compile { target avx512f } } */
       3  /* { dg-options "-O2 -fno-dce -fschedule-insns -fno-tree-coalesce-vars -fno-tree-dce -fno-tree-fre -fno-tree-pre -fcompare-debug -mavx512f" } */
       4  
       5  typedef char V __attribute__((vector_size (64)));
       6  
       7  int
       8  foo (V u, V v)
       9  {
      10    v /= u | 1;
      11    v[18] = 1 | v[8];
      12    return v[1] + v[6] + v[0] + v[1] + v[18] +  v[2] + v[7];
      13  }