From e1574fa2b4a2a781be70d8d521bb3b80a572ca9d Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Sat, 5 Jan 2019 18:08:02 +0100
Subject: [PATCH] Add xcr0 (os support) check

---
 driver/others/dynamic.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/driver/others/dynamic.c b/driver/others/dynamic.c
index 7cc911d32..4c966260d 100644
--- 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;