validate-binaries

Narzędzie do walidacji binarek voxtype pod kątem zanieczyszczenia instrukcjami CPU. Używaj go, gdy chcesz sprawdzić wydane binaria pod kątem wycieków instrukcji AVX-512 lub GFNI, które mogłyby spowodować crash na starszych procesorach. Skill automatycznie analizuje binaria AVX2, Vulkan i AVX-512, weryfikując, że każda wersja zawiera tylko dozwolone instrukcje. Zabrania zmm rejestrów, operacji AVX-512 takich jak vpternlog czy vpermt2, oraz instrukcji GFNI, które nie są dostępne na Zen 3.

1. Zdefiniuj wersję binaria, którą chcesz sprawdzić — na przykład 0.4.14. Jeśli nie znasz wersji, zapytaj użytkownika o numer wydania.
2. Zlokalizuj binaria w katalogu releases/${VERSION}/ — powinny tam być pliki dla AVX2, Vulkan i AVX-512.
3. Uruchom objdump na każdym binariu, aby wyszukać zabronione instrukcje: zmm rejestry (512-bitowe rejestry AVX-512), operacje AVX-512 takie jak vpternlog, vpermt2 lub vpblendm, oraz instrukcje GFNI (vgf2p8, gf2p8).
4. Dla binaria AVX2 i Vulkan liczba wyników powinna wynosić 0 — oznacza to, że nie zawierają zabronionych instrukcji. Dla binaria AVX-512 powinny być obecne zmm rejestry, co potwierdza optymalizację.
5. Raportuj wynik dla każdego binaria jako pass (brak zabronionych instrukcji) lub fail (znaleziono niedozwolone instrukcje).
6. Jeśli jakiekolwiek binarium zawiera zabronione instrukcje, wskaż konkretne instrukcje i ich liczbę, aby użytkownik mógł zgłosić problem maintainerom.