/* { dg-do compile } */
/* { dg-options "-O2 -mavx512vl -mno-avx512bw" } */

#include <x86intrin.h>

__m128i
f1 (__m128i a, __m128i b)
{
  return _mm_packs_epi16 (a, b);
}

/* { dg-final { scan-assembler-times "vpacksswb\[^\n\r\]*xmm\[0-9\]" 1 } } */

__m128i
f2 (__m128i a, __m128i b)
{
  return _mm_packs_epi32 (a, b);
}

/* { dg-final { scan-assembler-times "vpackssdw\[^\n\r\]*xmm\[0-9\]" 1 } } */

__m128i
f3 (__m128i a, __m128i b)
{
  return _mm_packus_epi16 (a, b);
}

/* { dg-final { scan-assembler-times "vpackuswb\[^\n\r\]*xmm\[0-9\]" 1 } } */

__m128i
f4 (__m128i a, __m128i b)
{
  return _mm_packus_epi32 (a, b);
}

/* { dg-final { scan-assembler-times "vpackusdw\[^\n\r\]*xmm\[0-9\]" 1 } } */

__m256i
f5 (__m256i a, __m256i b)
{
  return _mm256_packs_epi16 (a, b);
}

/* { dg-final { scan-assembler-times "vpacksswb\[^\n\r\]*ymm\[0-9\]" 1 } } */

__m256i
f6 (__m256i a, __m256i b)
{
  return _mm256_packs_epi32 (a, b);
}

/* { dg-final { scan-assembler-times "vpackssdw\[^\n\r\]*ymm\[0-9\]" 1 } } */

__m256i
f7 (__m256i a, __m256i b)
{
  return _mm256_packus_epi16 (a, b);
}

/* { dg-final { scan-assembler-times "vpackuswb\[^\n\r\]*ymm\[0-9\]" 1 } } */

__m256i
f8 (__m256i a, __m256i b)
{
  return _mm256_packus_epi32 (a, b);
}

/* { dg-final { scan-assembler-times "vpackusdw\[^\n\r\]*ymm\[0-9\]" 1 } } */