Schnelle Alternativen für Multiplikation mit 2

[Namenloser]

Wieso macht der Compiler das? Alignment? Ich hab’s mal getestet, und es ist (auf meinem Core 2) sowohl langsamer als die echte Multiplikation als auch das Shifting:

Code:

Add, Add, Add: 1435
Shl: 421
IMul: 1264

(das ganze sind Millisekunden für jeweils 1 000 000 000 Durchläufe)

[Mavarik]

Zitat von NamenLozer:

Wieso macht der Compiler das?

Habe aufgegeben eine Antwort auf diese Frage zu suchen...

Mavarik

[Delphi-Laie]

Ich erlaube mir, dieses leicht angetagte Thema noch einmal aufzuwärmen.

Der (bzw. die) Delphicompiler optmiert (optimieren) also in mehrerlei Hinsicht. Da dieses Forum auch ein Lazarusforum ist: Vermutlich stecken im Freepascalcompiler bzw. in Lazarus noch mehr Optmierungspotential. Doch Vorsicht bei den Eliminationen mit vermeintlich oder tatsächlich schnelleren Alternativen: Die Ergebnisse sind nicht immer denen in/mit Delphi gleich und können auch inkonsistent sein, siehe http://bugs.freepascal.org/view.php?id=20853.

[gammatester]

Wenn überhaupt ist der sog. "Freepascal-Bug" ein Delphi-Bug: pred und succ sollten den gleichen Ergebnistyp haben wie das Argument. FreePascal, BorlandPascal und VirtualPascal machen das auch, nur Delphi in seiner unendlichen Weisheit definiert
function Pred(X: Ordinal): Integer; und behauptet dann noch frech:

Zitat:

The result, of the same type as X, is the predecessor of X.

(Quelle: http://docwiki.embarcadero.com/Libraries/en/System.Pred) Mit folgendem Programm

Delphi-Quellcode:

{$Q-,R-}
var
  b,c: byte;
begin
  b := 0;
  c := pred(b);
  writeln(c:6, pred(b):6);
end.

liefern FPC, BP7 und VP2.1 jeweils 255 255, die Delphi-Versionen D2 .. D12 allerdings 255 -1

[Delphi-Laie]

Also auch Delphis Ergebnisse können inkonsistent sein, das war mir neu, danke!

Was von beiden ist nun aber der Fehler?

0 - 1 = -1, also mathematisch stimmt das mithin. Ist man sich jedoch gewahr, welchen Bereich eine Bytevariable (oder eine andere integre Variable mit und ohne Vorzeichen) hat, dann erscheinen die 255 konsistent, logisch und "richtig".

[Medium]

Richtig wäre, bei einem vorzeichenlosen Typen, Pred(0) mit einem Ausnahmefehler zu quittieren, auch ohne Bereichsprüfung. Doof dürfte nur, wie immer sein, dass es vermutlich schon hunderte Prgrämmchen gibt, die sich auf die jeweiligen auch z.T. falschen Verhaltensweisen verlassen, und mit einem nachträglichen Fix "kaputt" gingen. Daher wird eher alles bleiben wie es ist, und bestenfalls die Doku ergänzt/korrigiert.