PUSH
REG0=GPRv_SB():r REG1=XED_REG_STACKPUSH:rw:spw:SUPP REG0=GPRv_SB():r REG1=XED_REG_STACKPUSH:rw:spw:SUPP
x86_64 X86_LEGACY PUSH I86 source: xed
XED_PUSH_GPRv_50 PUSH_GPRv_50
Encoding
| encoding_kind | X86_LEGACY |
| opcode_bytes | 00 |
| opcode_map | ONEBYTE |
| mandatory_prefix | - |
| has_modrm | False |
| cpl | 3 |
| raw_encoding | 0b0101_0 SRM[rrr] norex2_prefix DF64() 0b0101_0 SRM[rrr] rex2_refining_prefix norexw_prefix DF64() |
Operands (4)
| # | Role | Kind | Class / Reg | Width | Access | Visibility | Encoded in |
|---|---|---|---|---|---|---|---|
| 0 | REG0 | REG | R | EXPLICIT | MODRM_REG | ||
| 1 | REG1 | REG | RW | SUPPRESSED | MODRM_REG | ||
| 2 | REG2 | REG | R | EXPLICIT | MODRM_REG | ||
| 3 | REG3 | REG | RW | SUPPRESSED | MODRM_REG |
Micro-ops sequence (0)
No micro-ops authored for this encoding. Emulator semantics not yet defined — decoder still works.