EVEX v tomto kontextu znamená AVX-512 s použitím pouze YMM registrů. To by ve zprávičce mohlo být, protože EVEX je normálně jen název prefixu v AVX-512 kódování a nijak neomezuje použití registrů.
Tak ještě jednou - EVEX je název prefixu, který používá celá rodina rozšíření AVX-512. AVX/AVX2 používá jiný prefix - VEX. Označovat jako EVEX instrukce je nesmysl, proto jsem to uvedl.
Takže prostě Vám vadí slovo instrukce před EVEX? Moc dobře nechápu o co Vám jde, v závorce to bylo podle mě celkem vysvětleno. Slovo instrukce můžu oddělat.