delphi – 为什么eax如果包含自我,则为零？

  begin
005A9414 55               push ebp
005A9415 8BEC             mov ebp,esp
005A9417 83C4E4           add esp,-$1c
005A941A 33C9             xor ecx,ecx
005A941C 894DEC           mov [ebp-$14],ecx
005A941F 894DE8           mov [ebp-$18],ecx
005A9422 894DE4           mov [ebp-$1c],ecx
005A9425 8955F0           mov [ebp-$10],edx
005A9428 8945F4           mov [ebp-$0c],eax
005A942B 33C0             xor eax,eax
005A942D 55               push ebp
005A942E 6890945A00       push $005a9490
005A9433 64FF30           push dword ptr fs:[eax]
005A9436 648920           mov fs:[eax],esp
  mov X,eax
005A9439 8945FC           mov [ebp-$04],eax
  mov Y,edx
005A943C 8955F8           mov [ebp-$08],edx

当代码开始执行时,eax确实是自我指针.但编译器已经选择将其保存到ebp- $0c,然后将其清零.这完全取决于编译器.

发布设置下的代码非常相似.编译器仍然选择使eax归零.当然,你不能依赖这个编译器.

  begin
005A82A4 55               push ebp
005A82A5 8BEC             mov ebp,esp
005A82A7 33C9             xor ecx,ecx
005A82A9 51               push ecx
005A82AA 51               push ecx
005A82AB 51               push ecx
005A82AC 51               push ecx
005A82AD 51               push ecx
005A82AE 33C0             xor eax,eax
005A82B0 55               push ebp
005A82B1 6813835A00       push $005a8313
005A82B6 64FF30           push dword ptr fs:[eax]
005A82B9 648920           mov fs:[eax],eax
005A82BC 8945FC           mov [ebp-$04],edx
005A82BF 8955F8           mov [ebp-$08],edx

记住参数传递定义函数开始执行时的寄存器和堆栈的状态.接下来会发生什么,功能如何解码参数是编译器.没有义务保留用于参数传递的寄存器和堆栈.

如果您将asm注入函数的中间,则不能指望像eax这样的易失性寄存器具有特定的值.他们最近将持有编译器发生的任何事情.

如果要在函数执行开始时检查寄存器,则需要使用纯asm函数来确保编译器修改用于参数传递的寄存器：

var
  X,Y: Pointer;
asm
  mov X,edx
  // .... do something with X and Y
end;

编译器将使其选择非常依赖于其余功能中的代码.对于您的代码,组合字符串传递给ShowMessage的复杂性将导致相当大的前导.考虑这个代码：

type
  TForm1 = class(TForm)
    procedure FormCreate(Sender: TObject);
  private
    i: Integer;
    function Sum(j: Integer): Integer;
  end;
....
procedure TForm1.FormCreate(Sender: TObject);
begin
  i := 624;
  Caption := IntToStr(Sum(42));
end;

function TForm1.Sum(j: Integer): Integer;
var
  X: Pointer;
begin
  asm
    mov X,eax
  end;
  Result := TForm1(X).i + j;
end;

在这种情况下,代码很简单,编译器可以单独离开eax. Sum的优化版本生成代码是：

  begin
005A8298 55               push ebp
005A8299 8BEC             mov ebp,esp
005A829B 51               push ecx
  mov X,eax
005A829C 8945FC           mov [ebp-$04],eax
  Result := TForm4(X).i + j;
005A829F 8B45FC           mov eax,[ebp-$04]
005A82A2 8B80A0030000     mov eax,[eax+$000003a0]
005A82A8 03C2             add eax,edx
  end;
005A82AA 59               pop ecx
005A82AB 5D               pop ebp
005A82AC C3               ret 

当您运行代码时,表单的标题将更改为预期值.

完全诚实地,在Pascal函数中作为asm块放置的内联汇编并不是很有用.编写程序集的事情是你需要充分了解寄存器和堆栈的状态.在ABI定义的函数的开始和结束处有很好的定义.

但在函数的中间,该状态完全取决于编译器做出的决定.在其中注入asm块需要您了解编译器所做的决定.这也意味着编译器不能理解你所做的决定.这通常是不切实际的.实际上对于x64编译器,Embarcadero禁止这样的内嵌asm块.我个人从来没有在我的代码中使用内嵌asm块.如果我写的asm我总是写纯粹的asm函数.