x86: Add Cooper Lake detection with AVX512BF16

All Sky Lake family processors have the same CPUID model number, 0x55.
The differences are Cascade Lake has AVX512VNNI and Cooper Lake has
AVX512VNNI + AVX512BF16.  Check AVX512BF16 for Cooper Lake.

	PR target/95774
	* common/config/i386/cpuinfo.h (get_intel_cpu): Add Cooper Lake
	detection with AVX512BF16.

diff --git a/gcc/common/config/i386/cpuinfo.h b/gcc/common/config/i386/cpuinfo.h
index 2d72b3b60fd0ed0fc85c36015bd9e6bfa6a2bfed..27b7b4d8581f74c683c09ae50f576567d27625cf 100644 (file)
--- a/gcc/common/config/i386/cpuinfo.h
+++ b/gcc/common/config/i386/cpuinfo.h
@@ -398,7 +398,15 @@ get_intel_cpu (struct __processor_model *cpu_model,
       CHECK___builtin_cpu_is ("corei7");
       cpu_model->__cpu_type = INTEL_COREI7;
       if (has_cpu_feature (cpu_model, cpu_features2,
-                          FEATURE_AVX512VNNI))
+                          FEATURE_AVX512BF16))
+       {
+         /* Cooper Lake.  */
+         cpu = "cooperlake";
+         CHECK___builtin_cpu_is ("cooperlake");
+         cpu_model->__cpu_subtype = INTEL_COREI7_COOPERLAKE;
+       }
+      else if (has_cpu_feature (cpu_model, cpu_features2,
+                               FEATURE_AVX512VNNI))
        {
          /* Cascade Lake.  */
          cpu = "cascadelake";