PUSHP

PUSH APX_F x86_64

2 encoding forms.

X86_PUSHP_X86_LEGACY_ONEBYTE_00_735914
r64
X86_LEGACY 00 APX_F
XED_PUSHP_GPR64
REG0=GPR64_SB():r REG1=XED_REG_STACKPUSH:rw:spw:SUPP
X86_LEGACY 00 APX_F