Регистр EBP

[ABCDEF1551]

BP привязан к сегменту стека? Т.е. mov eax, [BP] получится как mov eax, [SS:BP]?

[DiemonStar]

Сообщение от ABCDEF1551

BP привязан к сегменту стека? Т.е. mov eax, [BP] получится как mov eax, [SS:BP]?

компилятор сделает именно так, если явно не указать другой сегмент.

[Mikl___]

BP привязан к сегменту стека? Т.е. mov eax, [BP] получится как mov eax, [SS:BP]?

для use16
mov ax,[BP+disp]==mov ax,ss:[BP+disp]
mov ax,[BP+DI]==mov ax,ss:[BP+DI]
mov ax,[BP+SI]==mov ax,ss:[BP+SI]
mov ax,[BP+DI+disp]==mov ax,ss:[BP+DI+disp]
mov ax,[BP+SI+disp]==mov ax,ss:[BP+SI+disp]
как написано здесь раздел 4.6.2.4 Based Indexed Addressing Modes

The addressing modes that do not involve bp use the data segment by default. Those that have bp as an operand use the stack segment by default.

для use32 не актуально, так как cs=ds=ss=es

[VintProg]

А какая разница какой регистр?
На практике от них не какой роли, за исключением ESP (указатель верхушки стека, так как на прямую нельзя обращатся к EIP) просто EBP обычно используют компиляторы, как для локальных переменных, а ECX для передачи "this-ов" объекта. Это компиляторы у них такое правило. А регистры все одинаковые (за исключением ESP).

Есть книжка "Красного дракона" можете почитать....

[ABCDEF1551]

Наверное разобрался.
EBP заносится в стек для сохранения значения SP, если я правильно понял, для сохранения смещения параметров предыдущей процедуры.

    push eax <!--сохраняем регистр на всякий случай, т.к. высокоуровневый компилятор--> 
    push 03 <!-- параметры -->
    push 02
    push 01
    call @proc1
    jmp @exit 
@proc1:
    push ebp
    mov ebp, esp 
    mov eax, [ebp+8] <!-- 0-ebp,4-call,8-param1 -->
    push 02 <!-- параметры второй процедуры -->
    push 01
    call @proc2
    pop ebp
    ret 12 <!-- по идее освобождаем стек от параметров -->
@proc2:
    push ebp <!-- нужно -->
    mov ebp, esp
    add eax, [ebp+12] <!-- плюсуем второй параметр, т.е. 02 -->
    pop ebp <!-- восстанавливаем для продолжения предыдущей процедуры -->
    ret 8 <!-- освобождаем стек от параметров -->
@exit:
    mov [i], eax <!-- пишем значение eax в переменную типа integer 4 байта-->
    pop eax

Благодарю всех за помощь!