The machine command will copy the content of %edx
to the address given by %rbp + 4 * %rax - 0x80
. It seems %rax
is holding the index to that array and %rbp - 0x80
is the base address.
Take a look here to get a better understanding for the AT&T syntax.