pub struct EvexInstruction { /* private fields */ }
x86
only.Expand description
Constructs an EVEX-encoded instruction using a builder pattern. This approach makes it visually
easier to transform something the manual’s syntax, EVEX.256.66.0F38.W1 1F /r
to code:
EvexInstruction::new().length(...).prefix(...).map(...).w(true).opcode(0x1F).reg(...).rm(...)
.
Implementations§
Source§impl EvexInstruction
impl EvexInstruction
Sourcepub fn length(self, length: EvexVectorLength) -> Self
pub fn length(self, length: EvexVectorLength) -> Self
Set the length of the instruction . Note that there are sets of instructions (i.e. rounding, memory broadcast) that modify the same underlying bits–at some point (TODO) we can add a way to set those context bits and verify that both are not used (e.g. rounding AND length). For now, this method is very convenient.
Sourcepub fn prefix(self, prefix: LegacyPrefixes) -> Self
pub fn prefix(self, prefix: LegacyPrefixes) -> Self
Set the legacy prefix byte of the instruction: None | 66 | F0 | F2 | F3. EVEX instructions pack these into the prefix, not as separate bytes.
Sourcepub fn map(self, map: OpcodeMap) -> Self
pub fn map(self, map: OpcodeMap) -> Self
Set the opcode map byte of the instruction: None | 0F | 0F38 | 0F3A. EVEX instructions pack these into the prefix, not as separate bytes.
Sourcepub fn w(self, w: bool) -> Self
pub fn w(self, w: bool) -> Self
Set the W bit, typically used to indicate an instruction using 64 bits of an operand (e.g. 64 bit lanes). EVEX packs this bit in the EVEX prefix; previous encodings used the REX prefix.
Sourcepub fn tuple_type(self, tt: Avx512TupleType) -> Self
pub fn tuple_type(self, tt: Avx512TupleType) -> Self
Set the “tuple type” which is used for 8-bit scaling when a memory operand is used.
Sourcepub fn reg(self, reg: impl Into<Register>) -> Self
pub fn reg(self, reg: impl Into<Register>) -> Self
Set the register to use for the reg
bits; many instructions use this as the write operand.
Setting this affects both the ModRM byte (reg
section) and the EVEX prefix (the extension
bits for register encodings > 8).
Sourcepub fn mask(self, mask: EvexMasking) -> Self
pub fn mask(self, mask: EvexMasking) -> Self
Set the mask to use. See section 2.6 in the Intel Software Developer’s Manual, volume 2A for more details.
Sourcepub fn vvvvv(self, reg: impl Into<Register>) -> Self
pub fn vvvvv(self, reg: impl Into<Register>) -> Self
Set the vvvvv
register; some instructions allow using this as a second, non-destructive
source register in 3-operand instructions (e.g. 2 read, 1 write).
Sourcepub fn rm(self, reg: impl Into<RegisterOrAmode>) -> Self
pub fn rm(self, reg: impl Into<RegisterOrAmode>) -> Self
Set the register to use for the rm
bits; many instructions use this
as the “read from register/memory” operand. Setting this affects both
the ModRM byte (rm
section) and the EVEX prefix (the extension bits
for register encodings > 8).
Sourcepub fn encode(&self, sink: &mut MachBuffer<Inst>)
pub fn encode(&self, sink: &mut MachBuffer<Inst>)
Emit the EVEX-encoded instruction to the code sink:
- the 4-byte EVEX prefix;
- the opcode byte;
- the ModR/M byte
- SIB bytes, if necessary
- an optional immediate, if necessary (not currently implemented)
Trait Implementations§
Source§impl Default for EvexInstruction
Because some of the bit flags in the EVEX prefix are reversed and users of EvexInstruction
may
choose to skip setting fields, here we set some sane defaults. Note that:
impl Default for EvexInstruction
Because some of the bit flags in the EVEX prefix are reversed and users of EvexInstruction
may
choose to skip setting fields, here we set some sane defaults. Note that:
- the first byte is always
0x62
but you will notice it at the end of the defaultbits
value implemented–remember the little-endian order - some bits are always set to certain values: bits 10-11 to 0, bit 18 to 1
- the other bits set correspond to reversed bits: R, X, B, R’ (byte 1), vvvv (byte 2), V’ (byte 3).
See the default_emission
test for what these defaults are equivalent to (e.g. using RAX,
unsetting the W bit, etc.)