1  /* { dg-do compile } */
       2  /* { dg-options "-march=skylake-avx512 -O2" } */
       3  /* { dg-final { scan-assembler-times "cmp" 2 } } */
       4  /* { dg-final { scan-assembler-not "and" } } */
       5  
       6  typedef long vec __attribute__((vector_size(16)));
       7  vec f(vec x, vec y){
       8    return (x < 5) & (y < 8);
       9  }
      10  
      11  /* On x86_64, currently
      12  	vpcmpq	$2, .LC1(%rip), %xmm1, %k1
      13  	vpcmpq	$2, .LC0(%rip), %xmm0, %k0{%k1}
      14  	vpmovm2q	%k0, %xmm0
      15  */