/* { dg-do compile } */
/* { dg-options "-O2 -mcrc32" } */
/* { dg-final { scan-assembler "crc32b\[^\\n\]*eax" } } */
/* { dg-final { scan-assembler "crc32w\[^\\n\]*eax" } } */
/* { dg-final { scan-assembler "crc32l\[^\\n\]*eax" } } */

unsigned int
crc32b (unsigned int x, unsigned char y)
{
  return __builtin_ia32_crc32qi (x, y);
}

unsigned int
crc32w (unsigned int x, unsigned short y)
{
  return __builtin_ia32_crc32hi (x, y);
}

unsigned int
crc32d (unsigned int x, unsigned int y)
{
  return __builtin_ia32_crc32si (x, y);
}