; AVX512 · real CPUID leaf7 probe · system processor iron
; LANGUAGE TRAVEL L→R · READ R←L · word end GO FIRE SHOOT
; LAW      present-mark when AVX512F (leaf7 ebx bit16) · not rewrite BGS
; LINE     BGS → BGF(+atoms) → BGL → SDF · SPV free · free thrift
; OP       avx512_have() → 1 if AVX512F else 0
; ABI      → eax
        global  avx512_have
avx512_have:
        push    rbx
        mov     eax, 7
        xor     ecx, ecx
        cpuid
        test    ebx, 1<<16      ; AVX512F
        setnz   al
        movzx   eax, al
        pop     rbx
        ret