Earlier quoted context omitted.
Noob question- must one write avx512 assembly directly by hand, or is this something a c compiler would do for you?
typically if it's available, compilers will use the avx512 register file. This means you'll see things like xmm25 and ymm25 (128 and 256 bit registers) and those are avx512 only. However, compilers using 512-wide instructions is kinda rare from what I've seen
``` void myNotOptimizedThing(my_data* d){ _SPECIAL_CPU_MANUFACTURER_0X3D512(d); } ```
edit: and include some header from the manufacturer most likely?