reynosa - Error de optimización Delphi 2006

delphi technologies mexico

Question

Existe un error en Delphi 2006 si se activa tanto la verificación de desbordamiento como la optimización. El error parece aparecer solo en la situación particular donde se agrega un entero de 32 bits a sí mismo, y luego se agrega un byte a esta suma anterior, en este orden particular, como se ve en el programa a continuación.

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.

Nota: La verificación de desbordamiento debe estar codificada en el archivo fuente, no a través de las opciones del proyecto. Esto nos lleva a otro error: la detección de desbordamiento a través de las opciones del proyecto no tiene ningún efecto.

Como se ve en la ventana de la CPU, el optimizador se distrae con un movimiento con la extensión movzx cero (extendiendo un valor de 8 bits a un valor de 32 bits) y mediante la verificación de desbordamiento, olvidando cargar el byte b en un registro separado, sobrescribiendo los contenidos anteriores , con el efecto neto de agregar b a sí mismo en lugar de 2i . La mitad superior del código de ensamblaje inferior pertenece a la función con errores, mientras que la mitad inferior a la construcción sana.

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 

Por cierto, este código no es un ejemplo patológico, lo encontré al adaptar el magnífico programa TeX de D.Knuth al moderno Pascal. Al comprobar el efecto de habilitar la optimización y desactivar todas las comprobaciones del compilador en el tamaño * .exe final, no fue posible interpretar correctamente las tablas hash guardadas en disco (que se generaron con la optimización desactivada), que tracé de vuelta a error anterior, que es la parte que genera las tablas.

La pregunta es simple: ¿alguien puede verificar el programa en una versión más nueva de Delphi?

Answer 1

El error no se ha corregido ni siquiera en la última versión de Delphi, XE6. El error no afecta al compilador de Windows de 64 bits. El error está presente desde Delphi 6, la versión más antigua que puedo ejecutar.

Recomiendo encarecidamente que envíe un informe de control de calidad.