2013-01-20 17:23:36 +00:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <utils.h>
|
|
|
|
#include <cpuid.h>
|
|
|
|
|
|
|
|
int
|
|
|
|
main(void)
|
|
|
|
{
|
|
|
|
processor_info_t pc;
|
|
|
|
cpuid_basic_identify(&pc);
|
2013-01-24 18:40:12 +00:00
|
|
|
if (pc.sse_level == 3 && pc.sse_sub_level == 1) {
|
|
|
|
printf("ssse%d", pc.sse_level);
|
|
|
|
pc.sse_sub_level = 0;
|
|
|
|
} else {
|
|
|
|
printf("sse%d", pc.sse_level);
|
|
|
|
}
|
2013-01-20 17:23:36 +00:00
|
|
|
if (pc.sse_sub_level > 0)
|
|
|
|
printf(".%d\n", pc.sse_sub_level);
|
|
|
|
else
|
|
|
|
printf("\n");
|
|
|
|
return (0);
|
|
|
|
}
|
|
|
|
|