/* { dg-do compile } */
/* { dg-options "-march=skylake-avx512 -O2" } */
/* { dg-final { scan-assembler-times "cmp" 2 } } */
/* { dg-final { scan-assembler-not "and" } } */

typedef long vec __attribute__((vector_size(16)));
vec f(vec x, vec y){
  return (x < 5) & (y < 8);
}

/* On x86_64, currently
	vpcmpq	$2, .LC1(%rip), %xmm1, %k1
	vpcmpq	$2, .LC0(%rip), %xmm0, %k0{%k1}
	vpmovm2q	%k0, %xmm0
*/