Index: util/cpuid.c |
diff --git a/util/cpuid.c b/util/cpuid.c |
index 94e245b11d080eb0f56db7ecb656da6a407b76f5..9716f11573d9ef25b7bd3bd9848e9cd16a541857 100644 |
--- a/util/cpuid.c |
+++ b/util/cpuid.c |
@@ -79,6 +79,7 @@ int main(int argc, const char* argv[]) { |
int has_avx3 = TestCpuFlag(kCpuHasAVX3); |
int has_erms = TestCpuFlag(kCpuHasERMS); |
int has_fma3 = TestCpuFlag(kCpuHasFMA3); |
+ int has_f16c = TestCpuFlag(kCpuHasF16C); |
printf("Has SSE2 %x\n", has_sse2); |
printf("Has SSSE3 %x\n", has_ssse3); |
printf("Has SSE4.1 %x\n", has_sse41); |
@@ -88,6 +89,7 @@ int main(int argc, const char* argv[]) { |
printf("Has AVX3 %x\n", has_avx3); |
printf("Has ERMS %x\n", has_erms); |
printf("Has FMA3 %x\n", has_fma3); |
+ printf("Has F16C %x\n", has_f16c); |
} |
return 0; |
} |