Как процессоры узнают порядок значений регистров?

В ассемблере можно передавать значения через менее изменчивые регистры или изменчивые регистры. Например, я могу передать аргументы printf, используя edi и esi. Вместо этого я могу использовать ebx и ecx. Этот пример — очень простой надуманный. Мне больше любопытно, как это работает с гораздо более сложными программами, вызывающими несколько функций из libc.

Например, в атаках с возвратно-ориентированным программированием злоумышленник может использовать гаджеты для использования тех же регистров, которые использовались для предыдущей функции, чтобы вставлять в них новые значения из стека, а затем возвращаться к другой функции libc, которая использует те же регистры, например с write и read можно использовать pop rsi в атаках ROP, чтобы использовать любую функцию, если они просочились в глобальную таблицу смещений. Мой общий вопрос можно задать так:

Если злоумышленник наследует регистры от предыдущего вызова read следующим образом:

    0x00005555555552d0 <+107>:   lea    rcx,[rbp-0xd0] <- Memory address of buffer "msg"
    0x00005555555552d7 <+114>:   mov    eax,DWORD PTR [rbp-0xe4] <- contains client fd 0x4
    0x00005555555552dd <+120>:   mov    edx,0x400 <- 1024 (size of bytes to write to memory location/buffer)
    0x00005555555552e2 <+125>:   mov    rsi,rcx
    0x00005555555552e5 <+128>:   mov    edi,eax
    0x00005555555552e7 <+130>:   call   0x5555555550d0 <read@plt>

Как процессор узнает, какие аргументы передать для записи, если регистры, переданные для записи, различны:

    0x00005555555552b1 <+76>:    call   0x555555555080 <strlen@plt>
    0x00005555555552b6 <+81>:    mov    rdx,rax <- store return value from strlen into rdx
    0x00005555555552b9 <+84>:    lea    rcx,[rbp-0xe0] <- message to write
    0x00005555555552c0 <+91>:    mov    eax,DWORD PTR [rbp-0xe4] <- client file descriptor
    0x00005555555552c6 <+97>:    mov    rsi,rcx
    0x00005555555552c9 <+100>:   mov    edi,eax
    0x00005555555552cb <+102>:   call   0x555555555060 <write@plt>  

Понятно, что read не использует rdx, а write не использует edx, так как же процессор узнает, что выбрать, например, если злоумышленник использовал только гаджет, который вставляет значение в rsi?

Я не могу понять, как процессор знает, из каких регистров выбирать (rdx или edx). Как процессоры выбирают значения для передачи libc функциям или функциям/процедурам, если уж на то пошло?