kniffliges Rätsel - Compileroptimierung

[haentschman]

Hallo alle...

...erst mal, das Konstrukt stammt nicht von mir

Delphi-Quellcode:

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

Frage: warum wird das mit X gekennzeichnete wegoptimiert.

...bitte keine doofen Fragen. Ich muß mich damit quälen. Ist auch schon umgestellt.

[Bummi]

weil blablaimmer true ergibt, oder blabla1 nie true ergibt ?

[sx2008]

Das kann man auch so schreiben:

Delphi-Quellcode:

function bla: Boolean
begin
  for i = 0 to 10 do
  begin
    if blabla or blabla1 then
       Exit(False); // entspricht Result:=False; Exit;
  end;
  Result:= True;
end

Dadurch dass das Result (CPU-Register AX) nicht von Anfang an belegt wird,
kann der Kompiler (falls er smart genug ist) das Register für Zwischenergebnisse benützen.

[haentschman]

Sooo... endlich wieder ne vernünftige Tastatur unter den Fingern...

In der Schleife wird ein String Zeichenweise geprüft. BlaBla und BlaBla1 sind Funktionen die auf vorhandene Zeichen prüfen. Diese funktionieren. Entweder True oder False.
PS: Dieses Phänomen habe ich auch schon an anderer Stelle, anderem Zusammenhang gesehen. Dabei betrifft das immer das letzte Exit. selbst ein begin/end Block ändert nix. Nur wenn man vor das letzte Exit im Block noch einen sinnlosen Befehl schreibt wird das Exit mit einkompilliert.

Merkwürden...

[Furtbichler]

Müsste man doch im Assembler sehen

Delphi-Quellcode:

i := 0;
1: if i>10 then goto 2;
   if blabla then exit
   inc(i);
   if not blabla1 then goto 1;
2:

Wäre es denkbar, das die For-Schleife so optimiert wird?

[haentschman]

Was willst du im Assembler sehen wenn das Exit nicht eincompiliert ist ? Ich habe einen, der das versteht, gucken lassen... Nach dem letzten Vergleich gehts direkt weiter.

[Furtbichler]

Zitat von haentschman:

Was willst du im Assembler sehen wenn das Exit nicht eincompiliert ist ?

Na ja, wo und wie blabla1 verwendet wird.

[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