[ASM] While-Schleife tut was sie will

[glkgereon]

Hi,

Ich spiele gerade was mit dem Delphi-Inline-Assembler rum (Mit der Absicht dann irgendwann einen anderen Quellcode etwas optimieren zu können.

Ich habe mir einfach mal folgenden Code genommen:

Delphi-Quellcode:

begin
  Akt:=0;
  while Akt<>5 do
  begin
    if Random(2)=1 then Inc(Akt);
  end;
  Memo1.Lines.Add(IntToStr(Akt));  
end;

das ist zwar ziemlich Sinnfrei...aber egal ;-)

Also ab in ASM damit...

Code:

procedure Add(I: Integer);
begin
  Form1.Memo1.Lines.Add(IntToStr(I));
end;

function Rand(N: Integer): Integer;
begin //Hier hatte ich ein Problem mit dem Optionalen Parameter...
  Result:=Random(N);
end;

asm
  MOV EDX,0 //Erstmal nullen

  @start: //Schleifenanfang
  CMP EDX,5 //Ist es 5?
  JE @ende //JMP ende

  MOV EAX,2 //1. Param für Rand
  CALL Rand //Rand Callen
  CMP EAX,1 //ist Ergebnis 1?
  JE @doinc //Dann JMP doinc
  JMP @endeinnen //Sonst JMP schleifenende

  @doinc: //doinc
  ADD EDX,1 //EDX erhöhen

  @endeinnen: //Schleife zuende
  JMP @start //Zum Schleifenanfang

  @ende: //Am Ende
  CALL Add //Add Callen
end;

Was nun passiert ist folgendes (Haltepunkte...)
+ 0 nach EDX
+ übergeht JE @ende
+ 2 nach EAX
+ Call Rand
Aber dann, bei JE @doinc springt er auf einmal nach CMP EDX,5
Und das versteh ich überhaupt nicht....

kann mir da mal irgendwer auf die Sprünge helfen? (im wahrsten sinne des wortes^^)

[sirius]

"call system.@RandInt"

Dann kannst du dir deine Zwischenfunktion sparen.

[glkgereon]

Zitat:

Zitat von sirius

"call system.@RandInt"

Dann kannst du dir deine Zwischenfunktion sparen.

Öhm, das gibt es bei mir nicht :wall:
D2k5 Pers...

BTW: Es scheint so als würde Delphi einfach bei jumps nicht anhalten, oder?

aber jetzt wird EDX regemäßig geleert :-/
Immer beim Aufruf von Rand...

[sirius]

Zitat:

Zitat von glkgereon

Zitat:

Zitat von sirius

"call system.@RandInt"

Dann kannst du dir deine Zwischenfunktion sparen.

Öhm, das gibt es bei mir nicht :wall:
D2k5 Pers...

BTW: Es scheint so als würde Delphi einfach bei jumps nicht anhalten, oder?

aber jetzt wird EDX regemäßig geleert :-/
Immer beim Aufruf von Rand...

Klar, das gibts schon immer, z.B. in Delphi 7

Tja, macht Delphi etwa auch bei IASM Code-Optimierung? Drück doch mal Strg+Alt+C beim Debuggen und schau mal, ob sich etwas geändert hat

Und schau mal hier den vorletzten Beitrag

[Neutral General]

Zitat:

Zitat von glkgereon

aber jetzt wird EDX regemäßig geleert :-/
Immer beim Aufruf von Rand...

Das hab ich auch grad festgestellt.. wahrscheinlich schreibt rand,bzw random was ins edx rein.. benutz doch mal ecx... ;)

Bei mir siehts jetzt so aus:

Delphi-Quellcode:

procedure KA;
asm
         mov ecx,0
         cmp ecx,5
         je @end
  @loop: mov eax,2
         call rand
         cmp eax,1
         jne @loop
         inc ecx
         cmp ecx,5
         jne @loop
         mov eax,ecx
         call Add
  @end:  ret
end;

[glkgereon]

Zitat:

Zitat von sirius

Klar, das gibts schon immer, z.B. in Delphi 7

Meins kennt das aber nicht :?

Zitat:

Zitat von sirius

Tja, macht Delphi etwa auch bei IASM Code-Optimierung? Drück doch mal Strg+Alt+C beim Debuggen und schau mal, ob sich etwas geändert hat

Und schau mal hier den vorletzten Beitrag

Im CPU-Fenster steht der selbe ASM-Code wie im Code.
gut, 1 und 5 sind nun $01 und $05 usw, aber der rest is gleich

den forenpost guck ich grad

[glkgereon]

Zitat:

Zitat von Neutral General

Zitat:

Zitat von glkgereon

aber jetzt wird EDX regemäßig geleert :-/
Immer beim Aufruf von Rand...

Das hab ich auch grad festgestellt.. wahrscheinlich schreibt rand,bzw random was ins edx rein.. benutz doch mal ecx... ;)

Könnte man nicht auch einfach PUSH EDX und POP EDX nehmen?

*quellcode vergleich*

[Cöster]

Zitat:

Zitat von glkgereon

Aber dann, bei JE @doinc springt er auf einmal nach CMP EDX,5

Ich nehme an, dass

Delphi-Quellcode:

JE @doinc
JMP @endeinnen
{...}
@endeinnen:
JMP @start

durch

Delphi-Quellcode:

JNE @Start

o.ä. optimiert wird.

[glkgereon]

Hurra :bouncing4:
Ich habe das ganze noch etwas erweitert...

Delphi-Quellcode:

begin 
  Akt:=0; 
  Cnt:=0;
  while Akt<>5 do 
  begin 
    if Random(2)=1 then Inc(Akt); 
    Inc(Cnt);
  end; 
  Memo1.Lines.Add(IntToStr(CNt));  
end;

Delphi-Quellcode:

procedure Add(I: Integer);
begin
  Form1.Memo1.Lines.Add(IntToStr(I));
end;

function Rand(N: Integer): Integer;
begin
  Result:=Random(N);
end;

procedure Gen;
begin
  asm
    MOV EBX,0
    MOV ECX,0

    @start:
    CMP EBX,5
    JE @ende

    ADD ECX,1

    PUSH EBX
    PUSH ECX
    MOV EAX,2
    CALL Rand
    POP ECX
    POP EBX

    CMP EAX,1
    JNE @start

    ADD EBX,1
    JMP @start

    @ende:
    MOV EAX,ECX
    CALL Add
  end;
end;

und es tut! :dp:

auf zum nächsten (mehr oder weniger sinnlosen) asm-projekt :-)

[sirius]

Zitat:

Zitat von Neutral General

Das hab ich auch grad festgestellt.. wahrscheinlich schreibt rand,bzw random was ins edx rein.. benutz doch mal ecx... ;)

Ja richtig, randint benutzt edx.
Da muss man auch aufpassen. In Delphi ist es o, dass alle Register AUSSER EAX, ECX und EDX nach dem Funktionsaufruf gleich sind. Aber diese 3 Register solltest du selber sichern. Häufig missbraucht Delphi ESI zum zählen.

[jbg]

Zitat:

Zitat von glkgereon

MOV EBX,0

Wenn das mal nicht tötlich endet.

EBX ist eins der Register, die man nicht verändern darf. Und wenn man es doch macht, muss man sie vorher sichern und nach der Nutzung wiederherstellen.

[Cöster]

Zitat:

Zitat von jbg

EBX ist eins der Register, die man nicht verändern darf.

Warum nicht? Was wird da gespeichert, was man überschreiben könnte? Bei welchen Registern ist das noch so (außer ESP, EBP und EIP)?

[pitti platsch]

EBX wird ausgiebig von der Windows-API benutzt:

Zitat:

Bei der Programmierung in Windows ist zu beachten, dass Windows intern die Register EBX, EDI, ESI und EBP verwendet. Sie können diese Register in Ihren Prozeduren verwenden, sollten aber darauf achten, dass die Inhalte dieser Register nach dem Funktionsaufruf die gleichen wie vor dem Funktionsaufruf sind.

(von http://andremueller.gmxhome.de/winintro.html)