BNDSTX
MEM0:w:bnd32 REG0=BND_R():r MEM0:w:bnd64 REG0=BND_R():r MEM0:w:bnd64 REG0=BND_R():r MEM0:w:bnd64 REG0=BND_R():r
x86_64 X86_LEGACY MPX MPX source: xed
XED_BNDSTX_X86_LEGACY_0F_1B_571651
Encoding
| encoding_kind | X86_LEGACY |
| opcode_bytes | 1B 0F 1B 0F 1B 0F 1B |
| opcode_map | 0F |
| mandatory_prefix | - |
| has_modrm | True |
| requires_mode | long |
| attributes | EXCEPTION_BR SPECIAL_AGEN_REQUIRED INDEX_REG_IS_POINTER NO_RIP_REL |
| cpl | 3 |
| raw_encoding | 0x0F 0x1B MPXMODE=1 MOD[mm] MOD!=3 REG[rrr] RM[nnn] MODRM() no_refining_prefix not64 eamode32 0x0F 0x1B MPXMODE=1 MOD[mm] MOD=0 REG[rrr] RM[nnn] MODRM() no_refining_prefix mode64 0x0F 0x1B MPXMODE=1 MOD[mm] MOD=1 REG[rrr] RM[nnn] MODRM() no_refining_prefix mode64 0x0F 0x1B MPXMODE=1 MOD[mm] MOD=2 REG[rrr] RM[nnn] MODRM() no_refining_prefix mode64 |
Operands (8)
| # | Role | Kind | Class / Reg | Width | Access | Visibility | Encoded in |
|---|---|---|---|---|---|---|---|
| 0 | MEM0 | MEM | w | W | EXPLICIT | MODRM_RM | |
| 1 | REG0 | REG | R | EXPLICIT | MODRM_REG | ||
| 2 | MEM1 | MEM | w | W | EXPLICIT | MODRM_RM | |
| 3 | REG1 | REG | R | EXPLICIT | MODRM_REG | ||
| 4 | MEM2 | MEM | w | W | EXPLICIT | MODRM_RM | |
| 5 | REG2 | REG | R | EXPLICIT | MODRM_REG | ||
| 6 | MEM3 | MEM | w | W | EXPLICIT | MODRM_RM | |
| 7 | REG3 | REG | R | EXPLICIT | MODRM_REG |
Micro-ops sequence (0)
No micro-ops authored for this encoding. Emulator semantics not yet defined — decoder still works.