FSTP

REG0=X87():w:f80 REG1=XED_REG_ST0:r:IMPL:f80 REG2=XED_REG_X87POP:r:SUPP REG3=XED_REG_X87STATUS:w:SUPP REG0=X87():w:f80 REG1=XED_REG_ST0:r:IMPL:f80 REG2=XED_REG_X87POP:r:SUPP REG3=XED_REG_X87STATUS:w:SUPP

x86_64 X86_LEGACY X87_ALU X87 source: xed

XED_FSTP_X87_ST0_DFD0 FSTP_X87_ST0_DFD1

Encoding

encoding_kindX86_LEGACY
opcode_bytesDF DF
opcode_mapONEBYTE
mandatory_prefix-
has_modrmTrue
modrm.reg = /3/3
attributesNOTSX UNDOCUMENTED
cpl3
raw_encoding0xDF MOD[0b11] MOD=3 REG[0b010] RM[nnn] 0xDF MOD[0b11] MOD=3 REG[0b011] RM[nnn]

Operands (8)

# Role Kind Class / Reg Width Access Visibility Encoded in
0 REG0 REG w W EXPLICIT MODRM_REG
1 REG1 REG (=ST0) f80 R IMPLICIT MODRM_REG
2 REG2 REG R SUPPRESSED MODRM_REG
3 REG3 REG w W SUPPRESSED MODRM_REG
4 REG4 REG w W EXPLICIT MODRM_REG
5 REG5 REG (=ST0) f80 R IMPLICIT MODRM_REG
6 REG6 REG R SUPPRESSED MODRM_REG
7 REG7 REG w W SUPPRESSED MODRM_REG

Micro-ops sequence (0)

No micro-ops authored for this encoding. Emulator semantics not yet defined — decoder still works.