EIntOverflow bei LongWord, nicht aber bei Word

[Stevie]

Zitat von Der schöne Günther:

Ich kann mit Assembler nichts anfangen, glaube das jetzt aber (Weißkittel-Syndrom).

Ist das irgendwo dokumentiert? Wie verhält sich das auf Win64? Wie verhält sich das, sollte ich (Gott bewahre!) etwas auf iOS oder Android kompilieren wollen? Ist das immer noch alles 32 Bit?

Es verhält sich irgendwie, bis es jemand als Bug reported und dann ist dieses Verhalten as designed

Aber mal ehrlich - keine Ahnung.

[gammatester]

Für 16-Bit wird der 'falsche' Opcode benutzt (eigentlich der richtige aber wg. der 32-Bit Arithmetik wird in beiden Fällen das Overflow-Bit nicht gesetzt, also netto falscher Code)

Code:

Unit2.pas.38: a := 1000;
005CE68A 66C745FEE803     mov word ptr [ebp-$02],$03e8
Unit2.pas.39: b := 10000;
005CE690 66C745FC1027     mov word ptr [ebp-$04],$2710
Unit2.pas.40: acceptDouble(a-b);
005CE696 0FB745FE         movzx eax,[ebp-$02]
005CE69A 0FB755FC         movzx edx,[ebp-$04]
005CE69E 2BC2             sub eax,edx
005CE6A0 7105             jno $005ce6a7
005CE6A2 E80595E3FF       call @IntOver

Da OF nicht gesetzt ist, gibt's keinen Int-Overflow. Bei 32-Bitwird nicht OF getestet sondern CF, und das ist in beiden Fällen gesetzt.

Code:

Unit2.pas.44: acceptDouble(x-y); // << EIntOverflow
005CE6CA 8B45F8           mov eax,[ebp-$08]
005CE6CD 2B45F4           sub eax,[ebp-$0c]
005CE6D0 7305             jnb $005ce6d7
005CE6D2 E8D594E3FF        call @IntOver

[Zacherl]

Würde ich definitiv als Compiler-Bug einstufen.

[Der schöne Günther]

Das ist doch bestimmt seit 20 Jahren so. Den Bug behebt sicher keiner mehr.

Eine Warnung wäre bei so etwas vielleicht auch angebracht, aber wir wissen ja:

Zitat von MEissing:

Wenn Delphi (der Delphi-Compiler) alles testen würde, was eventuell schief gehen könnte, dann wären die Übersetzungszeiten länger.

[samso]

Bei

Delphi-Quellcode:

  a := 1000;
  b := 10000;
  dec(a, b);
  acceptDouble(a);

kommt die Überlaufmeldung. Dann wird auch korrekt mit 16 Bit Registern gerechnet.

Code:

0041C554 66C7051C484200E803 mov word ptr [$0042481c],$03e8
0041C55D 66C7051E4842001027 mov word ptr [$0042481e],$2710
0041C566 66A11E484200     mov ax,[$0042481e]
0041C56C 6629051C484200   sub [$0042481c],ax
0041C573 7305             jnb $0041c57a
0041C575 E84E8EFEFF       call @IntOver