EVEXプリフィックス

従来のIntel AVXに対し、512ビット対応やレジスターの32本対応などのために、新しい命令プリフィックスとして定義された。

従来のVEXプリフィックスは2バイト長と3バイト長があったが、今回のEVEXプリフィックスは4バイト長として定義されている。

Intel AVX-512を用いていても、従来のAVX命令相当の範囲内であれば2バイト長または3バイト長のVEXプリフィックスを用いて命令を短く符号化することができ、新しい機能を使う場合のみ4バイト長のEVEXプリフィックスを用いる使い分けが可能である。

使用するレジスターの範囲等によりオペコード自体が変化する。4バイトEVEXの他、3バイトVEX、2バイトVEXで表現できることもあるため、16進形式で書かれることがない。

命令とオペコードは、例えば次のように書かれる。

VADDSD xmm1 {k1}{z}, xmm2, xmm3/m64{er}

EVEX.NDS.LIG.F2.0F.W1 58 /r

凡例は次の通り。

EVEX.[NDS/NDD/DDS].[128,256,512,LIG].[66,F2,F3].0F/0F3A/0F38.[W0,W1,WIG] opcode [/r] [ib,/is4]

EVEXは、4バイトのEVEXプリフィックスを表わす。2または3バイトのVEXプリフィックスは含まれない。

NDS、NDD、DDSは、レジスターオペランドの符号化のために有効なVEX.vvvvフィールドの種類を表わす。

• VEX.NDS: VEX.vvvvは、ソースレジスターが保存される命令の場合に、最初のソースレジスターを符号化する
• VEX.NDD: VEX.vvvvは、ModR/M:regフィールドで符号化できなかったデスティネーションレジスターを符号化する
• VEX.DDS: VEX.vvvvは、最初のソースレジスターが結果で上書きされる命令を3オペランド命令にする場合に、2番目のソースレジスターを符号化する

NDS、NDD、DDSのいずれも無い場合、EVEX.vvvvは1111b(すなわち、EVEX.vvvvはオペランドを符号化しない)にしなければならない。

128,256,512は、EVEX.L'Lフィールドの00,01,10を表わす。Lフィールドの解釈は命令によって幾通りかあり、特定のビット長の命令しか定義されていないものもある。

66,F2,F3は、VEX.ppフィールドの内容を表わす。従来のオペコード形式で、プリフィックスとして66,F2,F3が存在する命令は、このフィールドで表わす。このいずれのプリフィックスもない命令の場合は、VEX.pp=00bとなり、この場合は記述しない。

0F/0F3A/0F38は、従来のオペコード形式で、どのオペコードで表現されるかを表わし、EVEX.mmフィールドの内容となる。現状は、0F/0F3A/0F38のいずれかであるため、このいずれかを記述することになるが、将来的に命令が拡張された場合にはその命令セットの名前がここに書かれることになるだろう。

opcodeは、オペコードである。ニーモニックやオペランドに応じた内容となる。

/rは、ModR/Mバイトである。3オペランド命令の場合、DEST,SRC1,SRC2の場合はDESTとSRC2を表わす。

/ib,/is4などは、それぞれイミディエイトが続くことを表わす。

• /ibはバイト、/idはダブルワード、となる。
• /is4は、8ビットのイミディエイトがあり、うち、imm[7:4]でソースレジスター、imm[3:0]で4ビットの即値を表わす。