addq (%rbx), %rax
и
movl (%rbx), %ecx addq %rcx, %rax
Я предполагаю, что старшие 32 бита% rbx отбрасываются при этом movl (%rbx), %ecx.
movl (%rbx), %ecx
Так что %rax во втором примереимеет только младшие 32 бита из %rbx. Это правильно?
%rax
%rbx