Add xcr0 (os support) check

diff --git a/driver/others/dynamic.c b/driver/others/dynamic.c
index 7cc911d..4c96626 100644 (file)
--- a/driver/others/dynamic.c
+++ b/driver/others/dynamic.c
@@ -332,6 +332,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;