all: add GFNI instructions (#344)
Adds support for the GFNI "Galois Field New Instructions" instruction set. These instructions are not included in the Opcodes database, therefore they're added using the "extras" mechanism introduced in #345. For simplicity, the loading phase is updated slightly so that AVX-512 form expansion rules are applied after extras are added to the list. This greatly reduces the number of forms that have to be specified by hand. Based on #343 Fixes #335 Co-authored-by: Klaus Post <klauspost@gmail.com>
This commit is contained in:
Michael McLoughlin
committed by
GitHub
GitHub
parent
a0ea0f3e6f
commit
946323570a
@@ -40,6 +40,13 @@ func (i Instruction) IsConditionalBranch() bool {
|
||||
return i.IsBranch() && i.Opcode != "JMP"
|
||||
}
|
||||
|
||||
// Clone the instruction.
|
||||
func (i Instruction) Clone() Instruction {
|
||||
c := i
|
||||
c.Forms = i.Forms.Clone()
|
||||
return c
|
||||
}
|
||||
|
||||
// Forms is a collection of instruction forms.
|
||||
type Forms []Form
|
||||
|
||||
@@ -78,6 +85,15 @@ func (fs Forms) IsNiladic() bool {
|
||||
return len(a) == 1 && a[0] == 0
|
||||
}
|
||||
|
||||
// Clone the instruction forms.
|
||||
func (fs Forms) Clone() Forms {
|
||||
cs := make(Forms, 0, len(fs))
|
||||
for _, f := range fs {
|
||||
cs = append(cs, f.Clone())
|
||||
}
|
||||
return cs
|
||||
}
|
||||
|
||||
// Form specifies one accepted set of operands for an instruction.
|
||||
type Form struct {
|
||||
// Instruction sets this instruction form requires.
|
||||
|
||||
@@ -50572,6 +50572,816 @@ var Instructions = []Instruction{
|
||||
},
|
||||
},
|
||||
},
|
||||
{
|
||||
Opcode: "VGF2P8AFFINEINVQB",
|
||||
Summary: "Galois Field Affine Transformation Inverse",
|
||||
Forms: []Form{
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m128", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m256", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m512", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m512", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m512", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m128", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m128", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m256", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m256", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
},
|
||||
},
|
||||
{
|
||||
Opcode: "VGF2P8AFFINEQB",
|
||||
Summary: "Galois Field Affine Transformation",
|
||||
Forms: []Form{
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m128", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m256", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m512", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m512", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m512", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m128", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m128", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m256", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m256", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "m64", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Broadcast: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "imm8", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
},
|
||||
},
|
||||
{
|
||||
Opcode: "VGF2P8MULB",
|
||||
Summary: "Galois Field Multiply Bytes",
|
||||
Forms: []Form{
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "m128", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "m256", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x3,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "m512", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "m512", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "m512", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x1},
|
||||
{Type: "zmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "m128", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "m128", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "m256", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "m256", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "xmm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x3},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
},
|
||||
{
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
Operands: []Operand{
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x1},
|
||||
{Type: "k", Action: 0x1},
|
||||
{Type: "ymm", Action: 0x2},
|
||||
},
|
||||
EncodingType: 0x4,
|
||||
Zeroing: true,
|
||||
},
|
||||
},
|
||||
},
|
||||
{
|
||||
Opcode: "VHADDPD",
|
||||
Summary: "Packed Double-FP Horizontal Add",
|
||||
|
||||
@@ -80,8 +80,7 @@ func (l *Loader) Load() ([]inst.Instruction, error) {
|
||||
Summary: i.Summary,
|
||||
}
|
||||
}
|
||||
forms := l.forms(opcode, f)
|
||||
im[opcode].Forms = append(im[opcode].Forms, forms...)
|
||||
im[opcode].Forms = append(im[opcode].Forms, l.form(opcode, f))
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -91,6 +90,11 @@ func (l *Loader) Load() ([]inst.Instruction, error) {
|
||||
im[e.Opcode] = e
|
||||
}
|
||||
|
||||
// Generate additional AVX-512 forms.
|
||||
for _, i := range im {
|
||||
i.Forms = avx512forms(i.Opcode, i.Forms)
|
||||
}
|
||||
|
||||
// Merge aliased forms. This is primarily for MOVQ (issue #50).
|
||||
for _, a := range aliases {
|
||||
if existing, found := im[a.From]; found {
|
||||
@@ -122,6 +126,7 @@ func (l *Loader) Load() ([]inst.Instruction, error) {
|
||||
// Convert to a slice. Sort instructions and forms for reproducibility.
|
||||
is := make([]inst.Instruction, 0, len(im))
|
||||
for _, i := range im {
|
||||
sortforms(i.Forms)
|
||||
is = append(is, *i)
|
||||
}
|
||||
|
||||
@@ -129,10 +134,6 @@ func (l *Loader) Load() ([]inst.Instruction, error) {
|
||||
return is[i].Opcode < is[j].Opcode
|
||||
})
|
||||
|
||||
for _, i := range im {
|
||||
sortforms(i.Forms)
|
||||
}
|
||||
|
||||
return is, nil
|
||||
}
|
||||
|
||||
@@ -309,7 +310,7 @@ func (l Loader) gonames(f opcodesxml.Form) []string {
|
||||
return []string{n}
|
||||
}
|
||||
|
||||
func (l Loader) forms(opcode string, f opcodesxml.Form) []inst.Form {
|
||||
func (l Loader) form(opcode string, f opcodesxml.Form) inst.Form {
|
||||
// Map operands to avo format and ensure correct order.
|
||||
ops := operands(f.Operands)
|
||||
|
||||
@@ -366,34 +367,14 @@ func (l Loader) forms(opcode string, f opcodesxml.Form) []inst.Form {
|
||||
}
|
||||
sort.Strings(isas)
|
||||
|
||||
// Initialize form.
|
||||
form := inst.Form{
|
||||
// Build form.
|
||||
return inst.Form{
|
||||
ISA: isas,
|
||||
Operands: ops,
|
||||
ImplicitOperands: implicits,
|
||||
EncodingType: enctype(f),
|
||||
CancellingInputs: f.CancellingInputs,
|
||||
}
|
||||
|
||||
// Apply modification stages to produce final list of forms.
|
||||
stages := []func(string, inst.Form) []inst.Form{
|
||||
avx512rounding,
|
||||
avx512sae,
|
||||
avx512bcst,
|
||||
avx512masking,
|
||||
avx512zeroing,
|
||||
}
|
||||
|
||||
forms := []inst.Form{form}
|
||||
for _, stage := range stages {
|
||||
var next []inst.Form
|
||||
for _, f := range forms {
|
||||
next = append(next, stage(opcode, f)...)
|
||||
}
|
||||
forms = next
|
||||
}
|
||||
|
||||
return forms
|
||||
}
|
||||
|
||||
// operands maps Opcodes XML operands to avo format. Returned in Intel order.
|
||||
@@ -414,6 +395,31 @@ func operand(op opcodesxml.Operand) inst.Operand {
|
||||
}
|
||||
}
|
||||
|
||||
// avx512forms processes AVX-512 operands and expands them into additional
|
||||
// instruction forms as expected by the Go assembler.
|
||||
//
|
||||
// See: https://go.dev/wiki/AVX512
|
||||
func avx512forms(opcode string, forms []inst.Form) []inst.Form {
|
||||
// Apply modification stages to produce final list of forms.
|
||||
stages := []func(string, inst.Form) []inst.Form{
|
||||
avx512rounding,
|
||||
avx512sae,
|
||||
avx512bcst,
|
||||
avx512masking,
|
||||
avx512zeroing,
|
||||
}
|
||||
|
||||
for _, stage := range stages {
|
||||
var next []inst.Form
|
||||
for _, f := range forms {
|
||||
next = append(next, stage(opcode, f)...)
|
||||
}
|
||||
forms = next
|
||||
}
|
||||
|
||||
return forms
|
||||
}
|
||||
|
||||
// avx512rounding handles AVX-512 embedded rounding. Opcodes database represents
|
||||
// these as {er} operands, whereas Go uses instruction suffixes. Remove the
|
||||
// operand if present and set the corresponding flag.
|
||||
@@ -825,7 +831,6 @@ func vexevex(fs []inst.Form) ([]inst.Form, error) {
|
||||
}
|
||||
|
||||
if group[0].EncodingType != inst.EncodingTypeVEX || group[1].EncodingType != inst.EncodingTypeEVEX {
|
||||
fmt.Println(group)
|
||||
return nil, errors.New("expected pair of VEX/EVEX encoded forms")
|
||||
}
|
||||
|
||||
|
||||
283
internal/opcodesextra/gfni.go
Normal file
283
internal/opcodesextra/gfni.go
Normal file
@@ -0,0 +1,283 @@
|
||||
package opcodesextra
|
||||
|
||||
import "github.com/mmcloughlin/avo/internal/inst"
|
||||
|
||||
// gfni is the "Galois Field New Instructions" instruction set.
|
||||
var gfni = []*inst.Instruction{
|
||||
// Reference: https://github.com/golang/go/blob/go1.19.3/src/cmd/internal/obj/x86/avx_optabs.go#L2250-L2269
|
||||
//
|
||||
// {as: AVGF2P8AFFINEINVQB, ytab: _yvgf2p8affineinvqb, prefix: Pavx, op: opBytes{
|
||||
// avxEscape | vex128 | vex66 | vex0F3A | vexW1, 0xCF,
|
||||
// avxEscape | vex256 | vex66 | vex0F3A | vexW1, 0xCF,
|
||||
// avxEscape | evex128 | evex66 | evex0F3A | evexW1, evexN16 | evexBcstN8 | evexZeroingEnabled, 0xCF,
|
||||
// avxEscape | evex256 | evex66 | evex0F3A | evexW1, evexN32 | evexBcstN8 | evexZeroingEnabled, 0xCF,
|
||||
// avxEscape | evex512 | evex66 | evex0F3A | evexW1, evexN64 | evexBcstN8 | evexZeroingEnabled, 0xCF,
|
||||
// }},
|
||||
// {as: AVGF2P8AFFINEQB, ytab: _yvgf2p8affineinvqb, prefix: Pavx, op: opBytes{
|
||||
// avxEscape | vex128 | vex66 | vex0F3A | vexW1, 0xCE,
|
||||
// avxEscape | vex256 | vex66 | vex0F3A | vexW1, 0xCE,
|
||||
// avxEscape | evex128 | evex66 | evex0F3A | evexW1, evexN16 | evexBcstN8 | evexZeroingEnabled, 0xCE,
|
||||
// avxEscape | evex256 | evex66 | evex0F3A | evexW1, evexN32 | evexBcstN8 | evexZeroingEnabled, 0xCE,
|
||||
// avxEscape | evex512 | evex66 | evex0F3A | evexW1, evexN64 | evexBcstN8 | evexZeroingEnabled, 0xCE,
|
||||
// }},
|
||||
// {as: AVGF2P8MULB, ytab: _yvandnpd, prefix: Pavx, op: opBytes{
|
||||
// avxEscape | vex128 | vex66 | vex0F38 | vexW0, 0xCF,
|
||||
// avxEscape | vex256 | vex66 | vex0F38 | vexW0, 0xCF,
|
||||
// avxEscape | evex128 | evex66 | evex0F38 | evexW0, evexN16 | evexZeroingEnabled, 0xCF,
|
||||
// avxEscape | evex256 | evex66 | evex0F38 | evexW0, evexN32 | evexZeroingEnabled, 0xCF,
|
||||
// avxEscape | evex512 | evex66 | evex0F38 | evexW0, evexN64 | evexZeroingEnabled, 0xCF,
|
||||
//
|
||||
{
|
||||
Opcode: "VGF2P8AFFINEQB",
|
||||
Summary: "Galois Field Affine Transformation",
|
||||
Forms: vgf2p8affineqb,
|
||||
},
|
||||
{
|
||||
Opcode: "VGF2P8AFFINEINVQB",
|
||||
Summary: "Galois Field Affine Transformation Inverse",
|
||||
Forms: vgf2p8affineqb,
|
||||
},
|
||||
{
|
||||
Opcode: "VGF2P8MULB",
|
||||
Summary: "Galois Field Multiply Bytes",
|
||||
Forms: vgf2p8mulb,
|
||||
},
|
||||
}
|
||||
|
||||
// VGF2P8AFFINEQB and VGF2P8AFFINEINVQB forms.
|
||||
//
|
||||
// See: https://www.felixcloutier.com/x86/gf2p8affineqb
|
||||
//
|
||||
// Reference: https://github.com/golang/go/blob/go1.19.3/src/cmd/internal/obj/x86/avx_optabs.go#L483-L492
|
||||
//
|
||||
// var _yvgf2p8affineinvqb = []ytab{
|
||||
// {zcase: Zvex_i_rm_v_r, zoffset: 2, args: argList{Yu8, Yxm, Yxr, Yxr}},
|
||||
// {zcase: Zvex_i_rm_v_r, zoffset: 2, args: argList{Yu8, Yym, Yyr, Yyr}},
|
||||
// {zcase: Zevex_i_rm_v_r, zoffset: 0, args: argList{Yu8, YxmEvex, YxrEvex, YxrEvex}},
|
||||
// {zcase: Zevex_i_rm_v_k_r, zoffset: 3, args: argList{Yu8, YxmEvex, YxrEvex, Yknot0, YxrEvex}},
|
||||
// {zcase: Zevex_i_rm_v_r, zoffset: 0, args: argList{Yu8, YymEvex, YyrEvex, YyrEvex}},
|
||||
// {zcase: Zevex_i_rm_v_k_r, zoffset: 3, args: argList{Yu8, YymEvex, YyrEvex, Yknot0, YyrEvex}},
|
||||
// {zcase: Zevex_i_rm_v_r, zoffset: 0, args: argList{Yu8, Yzm, Yzr, Yzr}},
|
||||
// {zcase: Zevex_i_rm_v_k_r, zoffset: 3, args: argList{Yu8, Yzm, Yzr, Yknot0, Yzr}},
|
||||
// }
|
||||
var vgf2p8affineqb = inst.Forms{
|
||||
// VEX.128.66.0F3A.W1 CE /r /ib VGF2P8AFFINEQB xmm1, xmm2, xmm3/m128, imm8
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeVEX,
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "m128", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeVEX,
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
},
|
||||
// VEX.256.66.0F3A.W1 CE /r /ib VGF2P8AFFINEQB ymm1, ymm2, ymm3/m256, imm8
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeVEX,
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "m256", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeVEX,
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
},
|
||||
// EVEX.128.66.0F3A.W1 CE /r /ib VGF2P8AFFINEQB xmm1{k1}{z}, xmm2, xmm3/m128/m64bcst, imm8
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "m128/m64bcst", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
},
|
||||
// EVEX.256.66.0F3A.W1 CE /r /ib VGF2P8AFFINEQB ymm1{k1}{z}, ymm2, ymm3/m256/m64bcst, imm8
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "m256/m64bcst", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
},
|
||||
// EVEX.512.66.0F3A.W1 CE /r /ib VGF2P8AFFINEQB zmm1{k1}{z}, zmm2, zmm3/m512/m64bcst, imm8
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "zmm", Action: inst.R},
|
||||
{Type: "zmm", Action: inst.R},
|
||||
{Type: "zmm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "imm8", Action: inst.R},
|
||||
{Type: "m512/m64bcst", Action: inst.R},
|
||||
{Type: "zmm", Action: inst.R},
|
||||
{Type: "zmm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
},
|
||||
}
|
||||
|
||||
// VGF2P8MULB forms.
|
||||
//
|
||||
// See: https://www.felixcloutier.com/x86/gf2p8mulb
|
||||
//
|
||||
// Reference: https://github.com/golang/go/blob/go1.19.3/src/cmd/internal/obj/x86/avx_optabs.go#L137-L146
|
||||
//
|
||||
// var _yvandnpd = []ytab{
|
||||
// {zcase: Zvex_rm_v_r, zoffset: 2, args: argList{Yxm, Yxr, Yxr}},
|
||||
// {zcase: Zvex_rm_v_r, zoffset: 2, args: argList{Yym, Yyr, Yyr}},
|
||||
// {zcase: Zevex_rm_v_r, zoffset: 0, args: argList{YxmEvex, YxrEvex, YxrEvex}},
|
||||
// {zcase: Zevex_rm_v_k_r, zoffset: 3, args: argList{YxmEvex, YxrEvex, Yknot0, YxrEvex}},
|
||||
// {zcase: Zevex_rm_v_r, zoffset: 0, args: argList{YymEvex, YyrEvex, YyrEvex}},
|
||||
// {zcase: Zevex_rm_v_k_r, zoffset: 3, args: argList{YymEvex, YyrEvex, Yknot0, YyrEvex}},
|
||||
// {zcase: Zevex_rm_v_r, zoffset: 0, args: argList{Yzm, Yzr, Yzr}},
|
||||
// {zcase: Zevex_rm_v_k_r, zoffset: 3, args: argList{Yzm, Yzr, Yknot0, Yzr}},
|
||||
// }
|
||||
var vgf2p8mulb = inst.Forms{
|
||||
// VEX.128.66.0F38.W0 CF /r VGF2P8MULB xmm1, xmm2, xmm3/m128
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeVEX,
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "m128", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeVEX,
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
},
|
||||
// VEX.256.66.0F38.W0 CF /r VGF2P8MULB ymm1, ymm2, ymm3/m256
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeVEX,
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "m256", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeVEX,
|
||||
ISA: []string{"AVX", "GFNI"},
|
||||
},
|
||||
// EVEX.128.66.0F38.W0 CF /r VGF2P8MULB xmm1{k1}{z}, xmm2, xmm3/m128
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "m128", Action: inst.R},
|
||||
{Type: "xmm", Action: inst.R},
|
||||
{Type: "xmm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
},
|
||||
// EVEX.256.66.0F38.W0 CF /r VGF2P8MULB ymm1{k1}{z}, ymm2, ymm3/m256
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "m256", Action: inst.R},
|
||||
{Type: "ymm", Action: inst.R},
|
||||
{Type: "ymm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512VL", "GFNI"},
|
||||
},
|
||||
// EVEX.512.66.0F38.W0 CF /r VGF2P8MULB zmm1{k1}{z}, zmm2, zmm3/m512
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "zmm", Action: inst.R},
|
||||
{Type: "zmm", Action: inst.R},
|
||||
{Type: "zmm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
},
|
||||
{
|
||||
Operands: []inst.Operand{
|
||||
{Type: "m512", Action: inst.R},
|
||||
{Type: "zmm", Action: inst.R},
|
||||
{Type: "zmm{k}{z}", Action: inst.W},
|
||||
},
|
||||
EncodingType: inst.EncodingTypeEVEX,
|
||||
ISA: []string{"AVX512F", "GFNI"},
|
||||
},
|
||||
}
|
||||
@@ -6,13 +6,28 @@ import "github.com/mmcloughlin/avo/internal/inst"
|
||||
// sets of extra instructions.
|
||||
var sets = [][]*inst.Instruction{
|
||||
movlqzx,
|
||||
gfni,
|
||||
}
|
||||
|
||||
// Instructions returns a list of extras to add to the instructions database.
|
||||
//
|
||||
// Note that instructions returned are expected to be injected into the loading
|
||||
// process, as if they had been read out of the Opcodes database. As such, they
|
||||
// are not expected to be in the final form required for the instruction
|
||||
// database. For example, AVX-512 instruction form transformations do not need
|
||||
// to be applied, and operand types such as xmm{k}{z} or m256/m64bcst may be
|
||||
// used for brevity.
|
||||
func Instructions() []*inst.Instruction {
|
||||
// Concatenate and clone the instruction lists. It can be convenient for
|
||||
// forms lists and other data structures to be shared in the curated lists,
|
||||
// but we want to return distinct copies here to avoid subtle bugs in
|
||||
// consumers.
|
||||
var is []*inst.Instruction
|
||||
for _, set := range sets {
|
||||
is = append(is, set...)
|
||||
for _, i := range set {
|
||||
c := i.Clone()
|
||||
is = append(is, &c)
|
||||
}
|
||||
}
|
||||
return is
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user