#include <cpuid.h>
#include <x86intrin.h>

bool IsAVXSupported(void) {
    uint32_t eax, ebx, ecx, edx;
    __get_cpuid(1, &eax, &ebx, &ecx, &edx);
    return static_cast<bool>(ecx & bit_AVX);
}