CHECK_C_SOURCE_RUNS("
  int main()
  {
    asm volatile (\"pclmulqdq \\$0x00, %%xmm1, %%xmm0\":::\"cc\");
    return 0;
  }"  HAVE_CLMUL_INSTRUCTION)