1  /* PR target/95713 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -Wno-psabi -w" } */
       4  /* { dg-additional-options "-mavx512bw" { target i?86-*-* x86_64-*-* } } */
       5  
       6  typedef int v2si __attribute__((vector_size (8)));
       7  typedef short int v2hi __attribute__((vector_size (4)));
       8  void foo (v2hi);
       9  
      10  void
      11  bar (v2si x)
      12  {
      13    v2hi a = (v2hi) { (short) x[0], (short) x[1] };
      14    foo (4 > a);
      15  }