Ссылка на инструкцию PUSH, воспроизведенную ниже из документации Intel (том 2B), показывает код операции 50 + rd для инструкции PUSH r64 , когда она должна быть 50 + ro , насколько я понимаю, раздел 3.1.1.1 в томе 2A.
Также онлайн-извлечение HTML записи push.
