Integerüberlauf bei Cardinalmultiplikation?

[Flocke]

Zitat von Himitsu:

Dat is'n Problem des DelphiCompilers ... es wird oftmals nicht wirklich darauf geachtet, ob signed, oder unsigned Integerroutinen verwendet werden.

Der einzige Grund könnte sein, dass vielleicht imul ein wenig schneller ist als mul. Wenn nur 32-Bits benötigt werden ist die Instruktion egal (s.u.). Allerdings brauchen laut Intel Spec. beide Instruktionen 3 µ-Ops, sollten also gleiche Laufzeit haben; auch werden beide in der U-Pipe ausgeführt. Vielleicht eine Optimierung für Prä-P4 CPUs (die Specs hab' ich nicht).

Zitat von Christian Seehase:

Der Fehler eine vorzeichenbehaftete Multiplikation bei vorzeichenlosen Operanden durchzuführen, wurde bei SP1 also behoben.

Die vorzeichenbehaftete Multiplikation ist ja nicht der Fehler - da eh nur die unteren 32 Bits interessieren ist das Ergebnis gleich.

Beispiel (für 4-Bit x 4-Bit => 8-Bit):

Code:

1010 x 0101 = (10 x 5) =  50 = 0011[b]0010[/b]
1010 x 0101 = (-6 x 5) = -30 = 1110[b]0010[/b]

(die unteren 4 Bits sind gleich)

Das Problem ist, dass er danach über das Carry-Flag prüft ob ein Überlauf eingetreten ist (was bei imul der Fall ist, bei mul aber nicht) - und das ist falsch.

Aber wenn's mit Service Packs behoben wird, dann ist's ja in Ordnung.
IMHO ist aber durchaus sinnvoll, für ein Release die Überlaufprüfung auszuschalten.

(Edit: Tippfehler korrigiert)