kniffliges Rätsel - Compileroptimierung

[haentschman]

Es war soviel zu sehen, daß das BlaBla1 True war und normalerweise der nächste Befehl das Exit sein sollte, was einfach nicht da war. Auch in der IDE konnte man keinen Breakpoint auf das Exit setzen. Kein Blauer Punkt und ungültiger Breakpoint.

Ich weis schon warum ich darum einen Bogen mache...

[p80286]

Ich verstehe Dein Problem nicht:

Code:

call blabla
test al,al
jnz +$18 ; spring nach ende entspricht exit
...
call blabla1
test al,al
jnz +$08  ; spring nach ende entspricht exit
...
xor eax,eax ;hier ist ende
pop ecx
...

Man könnte bemängeln, daß der Debugger nicht ordentlich funktioniert, mit optimieren hat das aber meiner Meinung nach nichts zu tun.

Gruß
K-H

[Sir Rufo]

Zitat von p80286:

Ich verstehe Dein Problem nicht:

Code:

call blabla
test al,al
jnz +$18 ; spring nach ende entspricht exit
...
call blabla1
test al,al
jnz +$08  ; spring nach ende entspricht exit
...
xor eax,eax ;hier ist ende
pop ecx
...

Man könnte bemängeln, daß der Debugger nicht ordentlich funktioniert, mit optimieren hat das aber meiner Meinung nach nichts zu tun.

Gruß
K-H

jepp, das Kompilat ist ok, allerdings sind beim Exit keine blauen Punkte zum Markieren eines Haltepunkts.

So bekommt man die aber doch (ich habe jetzt nur mal ein WriteLn dazu geschrieben)

Delphi-Quellcode:

function bla: Boolean
begin
    Result:= False
     for i = 0 to 10 do 
     begin
        if blabla then
        begin 
          WriteLn;
          exit;
        end;
        if blabla1 then
        begin 
          WriteLn;
          exit; //X
        end;
     end;
     Result:= True;
end

[CCRDude]

Bei if then mit Anweisung in nächster Zeile sind die "blauen Punkte" oft nicht als Haltepunkt zu gebrauchen, weil sie komplett in der ersten Zeile arbeiten, das ist schon ewig so.

Bemängeln würde ich dies nicht, weil spätestens beim QA-Audit das if x then dosomething; zu einem if x then begin dosomething; end; würde/sollte (und das funktioniert bei mir im Debugger immer).

Zumindest bei uns ist das Pflicht, und ich glaube die QA-Audits, die Delphi anbietet (evtl. erst ab der Enterprise? bei mir sind die Menüpunkte gerade ausgegraut, verwende aber auch nur noch die Pro), bemängeln ein if then ohne begin end; ebenfalls.

[Sir Rufo]

Zitat von CCRDude:

Bei if then mit Anweisung in nächster Zeile sind die "blauen Punkte" oft nicht als Haltepunkt zu gebrauchen, weil sie komplett in der ersten Zeile arbeiten, das ist schon ewig so.

Bemängeln würde ich dies nicht, weil spätestens beim QA-Audit das if x then dosomething; zu einem if x then begin dosomething; end; würde/sollte (und das funktioniert bei mir im Debugger immer).

Zumindest bei uns ist das Pflicht, und ich glaube die QA-Audits, die Delphi anbietet (evtl. erst ab der Enterprise? bei mir sind die Menüpunkte gerade ausgegraut, verwende aber auch nur noch die Pro), bemängeln ein if then ohne begin end; ebenfalls.

Das hilft in diesem Falle aber nicht, denn bei

Delphi-Quellcode:

if foo then
begin
  Exit;
end;

gibt es auch keine blauen Punkte

[CCRDude]

Hmmm interessant! Das scheint ein wenig vom Kontext abhängig. Siehe Anhang.

[haentschman]

Moin...

Schön, daß ihr die Zeit findet Euch damit zu beschäftigen. Interessant ist das Thema allemal. Wenn man nicht explizit drauf achtet ist mal schnell was wegoptimiert von dem man ausgeht (logischerweise) daß es funktioniert... wer achtet schon wirklich auf die blauen Punkte

Der Knackpunkt liegt ja hier:

Delphi-Quellcode:

function bla: Boolean
begin
    Result:= False
     for i = 0 to 10 do
     begin
        if blabla then
        begin
          WriteLn;
          exit;
        end;
        if blabla1 then
        begin
          WriteLn;
          exit; // wird eincompiliert
        end;
     end;
     Result:= True;
end

zu:

Delphi-Quellcode:

function bla: Boolean
begin
    Result:= False
     for i = 0 to 10 do
     begin
        if blabla then
        begin
          WriteLn;
          exit;
        end;
        if blabla1 then
        begin
          exit; // wird nicht eincompiliert
        end;
     end;
     Result:= True;
end

...das kann wahrscheinlich nur der Programmierer der Optimierung des Compilers beantworten.