1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mxop -mno-avx512vl" } */
       3  typedef int v4si __attribute__ ((vector_size (16)));
       4  
       5  v4si foo(v4si c, v4si t, v4si f)
       6  {
       7      return (c&t)|(~c&f);
       8  }
       9  
      10  /* { dg-final { scan-assembler "vpcmov" } } */