#include <types.h>

#ifdef __NEW_INTRINSICS_

bool cpu_supports_sse2(void)
{
    int k = __buildin_cpu_supports("sse2");
    return k > 0 ? true : false
}

bool cpu_supports_sse(void)
{
    return __buildin_cpu_supports("sse") > 0 ? true : false;
}

#endif