#!/usr/bin/awk -f

# thanks Greg!

# output and return code changed by me
# TODO do something for non x86-64

BEGIN {
    while (!/flags/) if (getline < "/proc/cpuinfo" != 1) exit 99
    level = 0
    if (/lm/&&/cmov/&&/cx8/&&/fpu/&&/fxsr/&&/mmx/&&/syscall/&&/sse2/) level = 1
    if (level == 1 && /cx16/&&/lahf/&&/popcnt/&&/sse4_1/&&/sse4_2/&&/ssse3/) level = 2
    if (level == 2 && /avx/&&/avx2/&&/bmi1/&&/bmi2/&&/f16c/&&/fma/&&/abm/&&/movbe/&&/xsave/) level = 3
    if (level == 3 && /avx512f/&&/avx512bw/&&/avx512cd/&&/avx512dq/&&/avx512vl/) level = 4
    if (level >= 0) { print "x86-64-v" level; exit level }
    exit 0
}