Was macht dieser Assembler-Code?

[Ally]

Hallo zusammen,

ich habe hier ein Stückchen Assembler-Code, den ich gerne als normalen Pascal-Code hätte.
Da ich von Assembler so ziemlich überhaupt keine Ahnung habe, meine Frage an euch: kann das jemand übersetzen?

Code: Alles auswählen

  function rech(i, j: Integer): Integer;
  asm
    add eax, edx
    sub eax, $40
    cmp eax, 0
    jge @weiter
    xor eax, eax
    jmp @fertig
   @weiter:
    cmp eax, $FF
    jle @fertig
    mov eax, $FF
    @fertig:
  end;

[kupferstecher]

Ohne Gewähr

Code: Alles auswählen

function rech(i, j: Integer): Integer;

  Result:= i+j;
  Result:= Result - $40;
  
  if Result <= 0
  then Result:= 0
  else
  if Result > $FF
  then Result:= $FF;
  
end;

[Ally]

Hallo kupferstecher,

vielen Dank.
Funktioniert super.

Gruß Roland

[theo]

Ich hätte mal noch eine Frage dazu:

Wenn ich das in Lazarus nachvollziehen möchte, bekomme ich immer 0.

Code: Alles auswählen

  function rech(i, j: Integer): Integer;
    {$asmMode intel}
    begin
      asm
        add eax, edx
        sub eax, $40
        cmp eax, 0
        jge @weiter
        xor eax, eax
        jmp @fertig
       @weiter:
        cmp eax, $FF
        jle @fertig
        mov eax, $FF
        @fertig:
      end
    end;

    { TForm1 }

    procedure TForm1.Button1Click(Sender: TObject);
    begin
      Caption:=rech(100,28).ToString;
    end; 

Wie bekomme ich den Rückgabewert?
mov result, eax geht auch nicht.

[fliegermichl]

Diesen Code kannst du nur für 32 Bit einsetzen.
Das Ergebnis wird normalerweise im EAX Register zurückgegeben.

[theo]

Diesen Code kannst du nur für 32 Bit einsetzen.
Das Ergebnis wird normalerweise im EAX Register zurückgegeben.

OK, Danke! Dass es noch 32 bit BS gibt, hatte ich gar nicht auf dem Schirm.
Wie wäre dann der Code für 64bit?
So grundlegend anders kann der ja nicht sein, oder?

[theo]

Habe mal ein bisschen rumgespielt.
So scheint es zu gehen auf 64bit Linux.
Habe allerdings kaum eine Ahnung davon und nehme auch vernichtende Kritik dankend entgegen, wenn sie dem Erkenntnisgewinn dient.

Code: Alles auswählen

function recha(i, j: Integer): Integer; assembler; register; nostackframe;
      asm
        add rsi, rdi
        sub rsi, $40
        cmp rsi, 0
        jge @weiter
        xor rsi, rsi
        jmp @fertig
       @weiter:
        cmp rsi, $FF
        jle @fertig
        mov rsi, $FF
        @fertig:
        mov result, rsi
    end;     

[PascalDragon]

So scheint es zu gehen auf 64bit Linux.
Habe allerdings kaum eine Ahnung davon und nehme auch vernichtende Kritik dankend entgegen, wenn sie dem Erkenntnisgewinn dient.

Unter Win64 wird das nicht funktionieren, das Windows ein andere Calling Convention verwendet. Man kann das aber so anpassen, dass es auf beiden Platformen läuft (und ja, die Verwendung von eax statt rax in den ersten beiden Zeilen ist Absicht):

Code: Alles auswählen

function recha(i, j: Integer): Integer; assembler; register; nostackframe;
{$asmmode intel}
      asm
        mov eax, i
        add eax, j
        sub rax, $40
        cmp rax, 0
        jge @weiter
        xor rax, rax
        jmp @fertig
       @weiter:
        cmp rax, $FF
        jle @fertig
        mov rax, $FF
        @fertig:
    end;

[fliegermichl]

So scheint es zu gehen auf 64bit Linux.
Habe allerdings kaum eine Ahnung davon und nehme auch vernichtende Kritik dankend entgegen, wenn sie dem Erkenntnisgewinn dient.

Unter Win64 wird das nicht funktionieren, das Windows ein andere Calling Convention verwendet. Man kann das aber so anpassen, dass es auf beiden Platformen läuft (und ja, die Verwendung von eax statt rax in den ersten beiden Zeilen ist Absicht):

Code: Alles auswählen

function recha(i, j: Integer): Integer; assembler; register; nostackframe;
{$asmmode intel}
      asm
        mov eax, i
        add eax, j
        sub rax, $40
        cmp rax, 0
        jge @weiter
        xor rax, rax
        jmp @fertig
       @weiter:
        cmp rax, $FF
        jle @fertig
        mov rax, $FF
        @fertig:
    end;

Das kompiliert natürlich wieder nicht auf 32 Bit Targets.

[theo]

Unter Win64 wird das nicht funktionieren, das Windows ein andere Calling Convention verwendet. Man kann das aber so anpassen, dass es auf beiden Platformen läuft (und ja, die Verwendung von eax statt rax in den ersten beiden Zeilen ist Absicht):

Danke, wieder was gelernt!

Das kompiliert natürlich wieder nicht auf 32 Bit Targets.

Aber so geht es auch auf 64bit (rax -> eax).
Müsste das nicht auch auf 32 bit laufen? Oder wo ist der Haken?

Code: Alles auswählen

function recha(i, j: Integer): Integer; assembler; register; nostackframe;
{$asmmode intel}
      asm
        mov eax, i
        add eax, j
        sub eax, $40
        cmp eax, 0
        jge @weiter
        xor eax, eax
        jmp @fertig
       @weiter:
        cmp eax, $FF
        jle @fertig
        mov eax, $FF
        @fertig:
    end;

[Horst_h]

Hallo,

wenn man die Funktion von kupferstecher mit Ausgabe des Assemblers kompiliert kommt doch schon der gleiche passende Assembler-Code raus.
Reicht da nicht ein simples inline um dann genau so schnell zu sein?
Unter 64-Bit linux fpc -O3 -al -Xs kompiliert:

Code: Alles auswählen

function rech(i, j: Integer): Integer;
begin
  Result:= i+j;
  Result:= Result - $40;

  if Result <= 0
  then Result:= 0
  else
  if Result > $FF
  then Result:= $FF;
end;

Asmstyle ATT ist das, vermute ich:

Code: Alles auswählen

.Lc1:
# Var $result located in register eax
# Var i located in register edi
# Var j located in register esi
# [ErdoesNumb.pas]
# [44] begin
# [45] Result:= i+j;
	leal	(%edi,%esi),%eax
# Var $result located in register eax
# [46] Result:= Result - $40;
	subl	$64,%eax
# Var $result located in register eax
# [48] if Result <= 0
	testl	%eax,%eax
	jnle	.Lj6
# [49] then Result:= 0
	xorl	%eax,%eax
	ret
.Lj6:
# [51] if Result > $FF
	cmpl	$255,%eax
	jng	.Lj9
# [52] then Result:= $FF;
	movl	$255,%eax
.Lj9:
# [54] end;
	ret

Gruß Horst

[Ally]

Hallo zusammen,

anbei ein kleines Testprogramm das den Pascal- und den Assembler-Code vergleicht.
Der Unterschied ist eher marginal und das bei 65535 x 65535 Durchläufen.
Ich verwende das Ganze zur Berechnung von Farbwerten in der Bildbearbeitung. Und dabei ist bei Fotos, die eine Größe von z.B. 6000 x 4000 Pixeln haben, kein Unterschied wahrnehmbar.
Dafür ist der Code plattformunabhängig.

Das hilft euch zwar nicht bei eurer Lösungssuche weiter, zeigt aber das der Free Pascal Compiler gar nicht so schlecht ist.

Gruß Roland

[theo]

Vielleicht braucht es auch gar spezielle keine Funktion dafür.

Code: Alles auswählen

uses Math;
..
k:=Min(Max(i+j-$40,0),$FF);

[theo]

Hallo Ally.

Habe mal deinen Code getestet.

Assembler ist am langsamsten bei mir.
Am Schnellsten ist bei mir:

Code: Alles auswählen

Min(Max(a+b-$40,0),$FF);

Das könnte sich aber um ein Optimierungs Artefakt handeln, da wir das Resultat nicht benutzen.

[Ally]

Hallo theo,

Habe mal deinen Code getestet. Assembler ist am langsamsten bei mir.

Interessant.

Also bei mir (Win10 64Bit - Intel i5-6400 CPU) erhalte ich folgende Ergebnisse:

Assembler: 9296 milliseconds
Pascal: 9719 milliseconds
Pascal Min(Max(..)): 11859 milliseconds

Gruß Roland