Add xcr0 (os support) check

martin-frbg · web-flow · commit 68eb3146ce4c · 2019-01-05T18:07:14.000+01:00
diff --git a/cpuid_x86.c b/cpuid_x86.c
@@ -239,6 +239,8 @@ int support_avx512(){
       ret=0;  //OS does not even support AVX2
   }
   if((ebx & (1<<31)) != 0){
+    xgetbv(0, &eax, &edx); 
+    if((eax & 0xe0) == 0xe0)
       ret=1;  //OS supports AVX512VL
   }
   return ret;

Original file line number	Diff line number	Diff line change
`@@ -239,6 +239,8 @@ int support_avx512(){`
`239`	`239`	`ret=0; //OS does not even support AVX2`
`240`	`240`	`}`
`241`	`241`	`if((ebx & (1<<31)) != 0){`
	`242`	`+ xgetbv(0, &eax, &edx);`
	`243`	`+ if((eax & 0xe0) == 0xe0)`
`242`	`244`	`ret=1; //OS supports AVX512VL`
`243`	`245`	`}`
`244`	`246`	`return ret;`