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

---
 cpuid_x86.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cpuid_x86.c b/cpuid_x86.c
index ddc09857b..377267fcc 100644
--- 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;