Int64-Überlauf erkennen / Registerabfrage

[archimedix]

Hallo,

gibt es eine Möglichkeit zu erkennen, ob bei einer Rechenoperation mit Int64-Typen ein Überlauf aufgetreten ist?

Und zwar das ganze nicht über den Overflowcheck des Compilers, sondern z.B. über eine Auswertung der Prozessorregister.

Ich kenne mich mit asm leider nicht aus und weiß daher nicht, was die CPU in irgendwelchen Flag-Registern im Falle eines Überlaufs hinterlässt und wie man das abfragen kann. Wer kann mir hier weiterhelfen?

[gammatester]

Knifflig. Wenn Du überhaupt eine Chance haben will, mußt Du wahrscheinlich Deine ganzen Rechnungen in elementare Schritte aufteilen und nach jeden Schritt prüfen. Beispiel:

Delphi-Quellcode:

var
  x,y: int64;
begin
  x := $7fffffffabcd1234;
  y := x + $7890abcd;  // Overflow erkennbar
  y := ((x+ $7890abcd) - $7890abcd) + 1; //**
end;

In ** ist nach der Zuweisung kein Overflow erkennbar, effektiv ist das ja y := x +1. Aber es sind ja eigentlich zwei Overflows aufgetreten.

[archimedix]

Aufteilung in elementare Schritte und Prüfung nach jedem Schritt wäre kein Problem, ist genau das, was ich machen möchte!

(wollte man erst am Ende einer längeren Rechung festellen, ob irgendwo ein Überlauf aufgetreten ist, wäre wahrscheinlich die try-Except-Variante bei eingeschalteter Überlaufprüfung durch den Compiler das praktischste...)

[sirius]

über Register wäre so:

Delphi-Quellcode:

function getFlags:Integer;
asm
  pushfd
  pop eax
end;



procedure TForm1.Button1Click(Sender: TObject);
var x:int64;
begin
  x:=$7FFFFFFFFFFFFFFF;
  x:=x+1;
  if (getFlags and ($800))<>0 then   //$800 : Testen der Flags ob OL gesetzt ist
    showmessage('Überlauf: '+inttostr(x));
end;

[archimedix]

Danke, das sieht schon ganz gut aus.

Kann man das auch als inline-Funktion mit boolschem Rückgabewert realisieren?

[sirius]

Delphi-Quellcode:

function isOLFlag:boolean;
asm
  pushfd
  pop eax
  and eax,$800
  shr eax,11
end;

inline hat mein D7 nicht, musst du mal testen.

[Memnarch]

Delphi-Quellcode:

function IsOverFlow(): Boolean;
begin
  Result := (getFlags and ($800))<>0;
end;

So sollte es klappen, wen man GetFlags hier wiederverwendet.

EDIT: mist sirius war schneller^^

MFG
Memnarch

[archimedix]

Hallo !

Danke, Problem gelöst!!