Interessante Optimierung

[CalganX]

Hi,
ich bin gerade ein wenig über die Compileroptimierung verwundert. Folgender Source (die mit * markierten Zeilen haben einen blauen Punkt von Delphi bekommen):

Delphi-Quellcode:

     repeat
{*}    frmSelectDrive.ShowModal;
{*}    FDrive := frmSelectDrive.DriveLetter;
{*}    FDatabaseFilename := FDrive + szDatabasePath;
{*}    FFilebase := FDrive + szFilebasePath;
{*}    if FileExists(FDatabaseFilename) then
         break;
{*}    case MessageDlg(szNoHDD060, mtError, [mbAbort, mbRetry], 0) of
         mrAbort:
           begin
{*}          Close;
             break; {<--}
           end;
       end;
   until false;

Die mit dem Pfeil markierte Zeile hat keinen Punkt, also könnte man sie doch eigentlich aus dem SourceCode rausnehmen, weil sie eigentlich ausgeführt wird. Wenn ich das aber machen, verfängt sich das Programm in der Endlosschleife (auch die Message-Box wird nicht immer angezeigt und das angezeigte Formular flackert).
Irgendwie optimiert der Compiler hier auf zwei verschiedene Art und Weisen. Aber wenn er die Zeile sowieso übergeht, dann ändert sie doch nichts, oder?

Chris

[mirage228]

Hi,

wie sieht denn der Assemblercode der beiden Varianten aus? Da wird wohl der Unterschied liegen...

mfG
mirage228

[CalganX]

Hi,
jetzt musst du mir aber auf die Sprünge helfen. ;) Wie zeige ich den an?

Chris

[mirage228]

Zitat:

Zitat von Chakotay1308

Hi,
jetzt musst du mir aber auf die Sprünge helfen. ;) Wie zeige ich den an?

Chris

Haltepunkt setzen oder manuell Anhalten -> Strg + Alt + C (oder Ansicht -> Debug -> CPU)

mfG
mirage228

[CalganX]

Hi,
achso. ;)

Mit break:

Code:

mov eax,esi
call TCustomForm.Close
lea edx,[ebp-$1c]
mov eax,$004c0e4c

Ohne break:

Code:

mov eax,esi
call TCustomForm.Close
[color=#ff0000]jmp $004c1993[/color]
lea edx,[ebp-$1c]
mov eax,$004c0e4c

Das heißt, es wird zwar wegoptimiert, aber trotzdem berücksichtigt? :gruebel: Das ist eben das, was ich nicht verstehe.

Chris

[mirage228]

Hi,

also die Punkte am Rand bedeuten nicht, dass die Anweisung (nicht) übernommen wurde.
Wenn da keine Punkte auftauchen, heisst es für den Compiler, dass die Anweisung "keinen Sinn macht" (sie zeigen also grobe Fehler)
Sprachkonstrukte und Keywords werden auch nicht gezählt. *

mfG
mirage228

*: Hat mir Robert_G gerade im Chat erzählt ;)

[Robert_G]

Mit grobe Fehler meinte ich Statements, die keinen Sinn machen. (Nach einer Minute schon alles verdreht. :lol: )
also:

Delphi-Quellcode:

  a := 1;// das macht keinen Sinn
  a := 2; //Es wird ja komplett von der zeile ersetzt

Eigentlich sollen sie dir nur zeigen, wo du einen funktionierenden Breakpoint setzen kannst.
Ein Breakpoint bei Break macht wohl nicht viel Sinn. :gruebel:

[CalganX]

Hi,
achso... ich dachte eigentlich, dass es sich bei den Punkten nur um übernommene Anweisungen handelt. :wall:

Na gut. Wieder was gelernt. ;)
Danke,
Chris

[moritz]

Mal eine Frage: Ich kenn diese Optimierung gar nicht :| Ich kenn nur die Warnungen à la "Auf * zugewiesener Wert wird nicht benutzt". Oder ist das neu in D8 / D2005?

:wiejetzt:

[Robert_G]

Achte mal in deinem D7 auf diese blauen Pünktchen neben dem Code Editor. ;)

[moritz]

Aaaaah :D Danke.
Kann ich mir die "Nicht-Blauen" Zeilen irgendwie zusammenfassen lassen?

[Robert_G]

Zitat:

Zitat von moritz

Aaaaah :D Danke.
Kann ich mir die "Nicht-Blauen" Zeilen irgendwie zusammenfassen lassen?

Da sollten eigentlich warnungen kommen und nunja ein Begin, end, else,... sind ja auch keine wirklichen Zeilen ;)

[moritz]

Okay, wieder was gelernt. Danke und sorry für Off-Topic.

[fkerber]

Hi!

Zitat:

Zitat von Robert_G

Da sollten eigentlich warnungen kommen und nunja ein Begin, end, else,... sind ja auch keine wirklichen Zeilen ;)

Seltsamerweise wird bei mir das end bei diesem Code mit Punkt versehen, dass begin allerdings nicht.

Delphi-Quellcode:

procedure TForm1.Button1Click(Sender: TObject);
begin
Showmessage('Te'+#39+'st');
end;

Ciao Frederic

[Robert_G]

stimmt, dort kannst du ja auch einen Breakpoint setzen.

[fkerber]

Hi!

Ja, klar, nur welchen Sinn hat es?
Und warum darf ich vor Ausführen der Showmessage keinen setzen?


Ciao Frederic

[LarsMiddendorf]

Die IF Anweisung würde ja einen Sprung bewirken um über den nicht ausgeführten Block zu springen, falls die Bedingung false ist. Die Break Anweisung erzeugt auch einen Sprung und der Compiler faßt die beiden Sprünge einfach zusammen.