delphi - 我应该做什么或不做什么才能避免 Delphi "push dword"错误。

Question

我发现 Delphi 5 在特定情况下会生成无效的汇编代码。我不明白一般在什么情况下。由于发生了非常奇怪的优化，下面的示例会产生访问冲突。对于记录或数组中的字节，Delphi 生成push dword [...]、pop ebx、mov ..、bl，如果该字节后有数据，则可以正常工作(我们至少需要三个才能正确推送dword)，但会失败如果数据无法访问。我使用 win32 Virtual* 函数模拟了严格的边界

具体来说，当在 FeedBytesToClass 过程内访问 block 的最后一个字节时，会发生错误。如果我尝试更改诸如使用数据数组而不是删除 actionFlag 变量的对象属性之类的内容，Delphi 会生成正确的汇编指令。

const
  BlockSize = 4096;

type
  TSomeClass = class
  private
    fBytes: PByteArray;
  public
    property Bytes: PByteArray read fBytes;
    constructor Create;
    destructor  Destroy;override;
  end;

constructor TSomeClass.Create;
begin
  inherited Create;
  GetMem(fBytes, BlockSize);
end;

destructor TSomeClass.Destroy;
begin
  FreeMem(fBytes);
  inherited;
end;

procedure FeedBytesToClass(SrcDataBytes: PByteArray; Count: integer);
var
  j: integer;
  Ofs: integer;
  actionFlag: boolean;
  AClass: TSomeClass;
begin
  AClass:=TSomeClass.Create;
  try
    actionFlag:=true;

    for j:=0 to Count-1 do
    begin
      Ofs:=j;
      if actionFlag then
      begin
        AClass.Bytes[Ofs]:=SrcDataBytes[j];
      end;
    end;
  finally
    AClass.Free;
  end;
end;

procedure TForm31.Button1Click(Sender: TObject);
var
  SrcDataBytes: PByteArray;
begin
  SrcDataBytes:=VirtualAlloc(Nil, BlockSize, MEM_COMMIT, PAGE_READWRITE);
  try
    if VirtualLock(SrcDataBytes, BlockSize) then
      try
        FeedBytesToClass(SrcDataBytes, BlockSize);
      finally
        VirtualUnLock(SrcDataBytes, BlockSize);
      end;
  finally
    VirtualFree(SrcDataBytes, MEM_DECOMMIT, BlockSize);
  end;
end;

最初，当我访问位图位的 RGB 数据时，发生了错误，但那里的代码太复杂，所以我将其范围缩小到这个片段。

所以问题是这里的具体是什么使得 Delphi 产生了 push、pop、mov 优化。我需要知道这一点才能避免此类副作用。

Answer 1

哎哟，确实是一个痛苦的问题。常量 actionFlag 的存在(与 4 的倍数的常量计数相结合)会触发处理数据的推送/弹出方式。对于那些对实际汇编程序感兴趣的人(在 cpu View 不提供复制/粘贴的日子里手动输入):

AClass.Bytes[Ofs] := SrcDataBytes[j];
  mov exc,[ebp-$04]
  push dword ptr [ecx+eax]   <- ouch
  mov ecx,[ebp-$08]
  mov ecx,[exc+04]
  lea esi,[exc+esi]
  pop ecx
  mov [esi],cl
end;
  inc eax

它执行了 4096 次。我查了一下，Delphi 6 没有这种行为。我认为我们可以放心地假设它在任何更高版本中也已修复。

作为解决方法，我建议简单地将 {$O-}/{$O+} 添加到该方法中。我不会过多地深入研究确切的取证，因为触发 Delphi 执行这种错误优化的条件似乎很少见，而且 Delphi 版本确实相当古老。

常量标志通常不会成为内部循环的一部分，我怀疑您的计数通常也是动态的。然而，您在生产代码中遇到了这个问题，所以也许它并不像看起来那么罕见。我只能说，我从未遇到过，而且我们 90% 的生产代码都是在 Delphi 5 中编写的。也许这只是默认内存分配的安全性。