Question

如果激活溢出检查和优化，Delphi 2006中存在一个错误。该错误似乎只出现在自身添加了32位整数的特定情况下，然后按此特定顺序将一个字节添加到此前一个总和中，如下面的程序所示。

program OptimizationBug;
{$OPTIMIZATION ON}
{$APPTYPE CONSOLE}

{$OVERFLOWCHECKS ON}
function f: integer;
var i: integer;
    b: byte;
begin
    i:=0;
    b:=1;
    Result:=i+i+b;  
end;

{$OVERFLOWCHECKS OFF}
function g: integer;
var i: integer;
    b: byte;
begin
    i:=0;
    b:=1;
    Result:=i+i+b;
end;

begin
    writeLn(f);  //wrong, prints "2" in D2006
    writeLn(g);  //good,  prints "1"
    readLn;
end.

注意：溢出检查必须在源文件中编码，而不是通过项目选项编码。这导致我们另一个错误：通过项目选项进行溢出检测无效。

如在CPU窗口中看到的那样，优化器被移动分散注意力，扩展名为movzx （将8位值扩展为32位值），并且通过溢出检查，忘记加载字节 b 在一个单独的寄存器上，覆盖以前的内容，其结果是将 b 添加到自身而不是 2i 。下面的汇编代码的上半部分属于bugged函数，而下半部分属于sane构造。

OptimizationBug.dpr.20: i:=0;
00403EAC 33C0             xor eax,eax
OptimizationBug.dpr.21: b:=1;
00403EAE B201             mov dl,$01
OptimizationBug.dpr.22: Result:=i+i+b;  
00403EB0 03C0             add eax,eax
00403EB2 7105             jno $00403eb9
00403EB4 E82BF5FFFF       call @IntOver
00403EB9 0FB6C2           movzx eax,dl    //BUG: should have x-moved DL to EDX register!
00403EBC 03C0             add eax,eax     //     (and added EDX to EAX)
00403EBE 7105             jno $00403ec5
00403EC0 E81FF5FFFF       call @IntOver
OptimizationBug.dpr.23: end;
00403EC5 C3               ret 
00403EC6 8BC0             mov eax,eax
OptimizationBug.dpr.30: i:=0;
00403EC8 33C0             xor eax,eax
OptimizationBug.dpr.31: b:=1;
00403ECA B201             mov dl,$01
OptimizationBug.dpr.32: Result:=i+i+b;
00403ECC 03C0             add eax,eax
00403ECE 0FB6D2           movzx edx,dl    //OK!
00403ED1 03C2             add eax,edx     //ok
OptimizationBug.dpr.33: end;
00403ED3 C3               ret

顺便说一句，这段代码不是一个病态的例子，我在适应D.Knuth时发现了它。现代Pascal的宏伟TeX计划。当检查启用优化的效果以及关闭最终* .exe大小的所有编译器检查时，它无法正确解释磁盘保存的哈希表（这是通过关闭优化生成的），我追溯到上面的bug，它是生成表格的部分。

问题很简单，有人可以在较新版本的Delphi上检查程序吗？

Answer 1

即使在最新版本的Delphi，XE6中，该错误也未得到修复。该错误不会影响64位Windows编译器。这个错误早在Delphi 6就已存在，这是我可以运行的最老版本。

我强烈建议您提交质量控制报告。

Delphi 2006优化bug

1 个答案: