Inline-Assembler, Zugriff auf Pchar

[Mathias]

Ich wollte ein kleines Hello World mit Inline-assembler probieren.

Code: Alles auswählen

  procedure print2;
  const
    hello: PChar = 'Hello World ! '#10;
  begin
    asm
             Mov     Rax, 1
             Mov     Rdi,1
             Mov     Rsi, hello ; PIC-safe
             Mov     Rdx,14
             Syscall
    end;
  end;    

Nur bekomme ich da einen Fehler:

Code: Alles auswählen

project1.lpr(62,27) Error: Generating PIC, but reference is not PIC-safe

Mache ich aber einen Umweg über einen Pointer, dann läuft es Fehlerfrei.

Code: Alles auswählen

  procedure print1;
  const
    hello: PChar = 'Hello World ! '#10;
  var
    p: Pointer;
  begin
    p := hello;
    asm
             Mov     Rax, 1
             Mov     Rdi,1
             Mov     Rsi, p  ; io.
             Mov     Rdx,14
             Syscall
    end;
  end;

Gibt es da eine Möglichkeit, das man direkt auf den PChar zugreifen kann, ohne Umweg über den Pointer ?

[theo]

Das liegt wohl eher an "const" als am PChar.

Code: Alles auswählen

{$asmMode intel}

procedure print2;
var hello: PChar;
begin
  hello:= 'Hello World ! '+LineEnding;
  asm
           Mov     Rax, 1
           Mov     Rdi,1
           Mov     Rsi, hello ;
           Mov     Rdx,14
           Syscall
  end;
end;  

[Mathias]

Das liegt wohl eher an "const" als am PChar.

Danke, es lag an const, mit var geht es.
Aber auch nur, wen es lokal deklariert ist.

Aber global deklariert, kommt auch ein PIC Fehler.

Code: Alles auswählen

var
  hello2: PChar = 'Hello World ! '#10;

  procedure print2;
  begin
    asm
             Mov     Rax, 1
             Mov     Rdi,1
             Mov     Rsi, hello2; // PIC Fehler
             Mov     Rdx,15
             Syscall
    end;
  end;

Hängt dies indirekt mit folgendem Problem zusammen ?
viewtopic.php?f=10&t=15007

[PascalDragon]

Nur bekomme ich da einen Fehler:

Code: Alles auswählen

project1.lpr(62,27) Error: Generating PIC, but reference is not PIC-safe

Weil eine lokal deklarierte, typisierte Konstante letztlich eine statische Variable ist, welche nur innerhalb der Funktion zugreifbar ist. Daher gelten für diese die gleichen Regeln wie für globale Variablen und unter Linux musst du eben PIC-kompatiblen Assemblercode schreiben, weil das für diese Plattform notwendig ist.

In der Intel Syntax schaut dies dann wie folgt aus:

Code: Alles auswählen

program tasm;

{$asmmode intel}

procedure print2;
const
  hello: PChar = 'Hello World ! '#10;
begin
  asm
           // load PIC relative address into RAX
           MOV    RAX, [hello WRT ..GOTPCREL]
           // load value at RAX into RSI
           MOV     RSI, QWORD PTR [RAX]
           Mov     Rax, 1
           Mov     Rdi,1
           Mov     Rdx,14
           Syscall
  end;
end;

begin
  print2;
end.

[PascalDragon]

Nur bekomme ich da einen Fehler:

Code: Alles auswählen

project1.lpr(62,27) Error: Generating PIC, but reference is not PIC-safe

Weil eine lokal deklarierte, typisierte Konstante letztlich eine statische Variable ist, welche nur innerhalb der Funktion zugreifbar ist. Daher gelten für diese die gleichen Regeln wie für globale Variablen und unter Linux musst du für solche eben PIC-kompatiblen Assemblercode schreiben, weil das für diese Plattform notwendig ist.

In der Intel Syntax schaut dies dann wie folgt aus:

Code: Alles auswählen

program tasm;

{$asmmode intel}

procedure print2;
const
  hello: PChar = 'Hello World ! '#10;
begin
  asm
           // load PIC relative address into RAX
           MOV    RAX, [hello WRT ..GOTPCREL]
           // load value at RAX into RSI
           MOV     RSI, QWORD PTR [RAX]
           Mov     Rax, 1
           Mov     Rdi,1
           Mov     Rdx,14
           Syscall
  end;
end;

begin
  print2;
end.

[Mathias]

Danke scheint, scheint bis auf einen Hinweis zu funktionieren.

Code: Alles auswählen

MOV    RAX, [hello WRT ..GOTPCREL]

Code: Alles auswählen

project1.lpr(56,40) Warning: @GOTPCREL is useless and potentially dangerous for local symbols

Auf deutsch:

Code: Alles auswählen

Warnung: @GOTPCREL ist nutzlos und potenziell gefährlich für lokale Symbole

Wieso nutzlos, wen es ohne nicht geht ?

Wo findet man solche Hilfen ?
Wen ich nach "..gotpcrel" google, kommt kein einziger genauer Treffer.

[sstvmaster]

hier gibt es die Fehlermeldungen: https://gitlab.com/freepascal.org/lazar ... ge=3#L2782

hier eine Erklärung zum Thema: https://stackoverflow.com/questions/667 ... elrip-mean

[PascalDragon]

Danke scheint, scheint bis auf einen Hinweis zu funktionieren.

Code: Alles auswählen

MOV    RAX, [hello WRT ..GOTPCREL]

Code: Alles auswählen

project1.lpr(56,40) Warning: @GOTPCREL is useless and potentially dangerous for local symbols

Auf deutsch:

Code: Alles auswählen

Warnung: @GOTPCREL ist nutzlos und potenziell gefährlich für lokale Symbole

Wieso nutzlos, wen es ohne nicht geht ?

Ich bekomme da keine Warnung, nur einen Fehler, wenn ich es mit einer lokalen Variable (statt Konstante) nutze.

Bitte zeige ein vollständiges Beispiel, für den Fall, um zu überprüfen, ob du kleine, unerwartete Unterschiede hast. Und bitte gib auch an, mit welchen Parametern das Beispiel kompiliert wird.

[Mathias]

Ich bekomme da keine Warnung, nur einen Fehler, wenn ich es mit einer lokalen Variable (statt Konstante) nutze.

Bitte zeige ein vollständiges Beispiel, für den Fall, um zu überprüfen, ob du kleine, unerwartete Unterschiede hast. Und bitte gib auch an, mit welchen Parametern das Beispiel kompiliert wird.

Ich habe das im Anhang, als neues "einfaches Programm" in Lazarus erzeugt und habe es mit der truc und stable von Lazarus/FPC probiert. In beiden Fällen kommt die Warnung.

Somit sind spezielle Parameter ausgeschlossen.

Auf der Kommandozeile, kommt die Warnung nicht.

Code: Alles auswählen

$ fpc project1.lpr
Free Pascal Compiler version 3.2.2 [2021/07/09] for x86_64
Copyright (c) 1993-2021 by Florian Klaempfl and others
Target OS: Linux for x86-64
Compiling project1.lpr
Linking project1
23 lines compiled, 0.1 sec

[PascalDragon]

Ich habe das im Anhang, als neues "einfaches Programm" in Lazarus erzeugt und habe es mit der truc und stable von Lazarus/FPC probiert. In beiden Fällen kommt die Warnung.

Somit sind spezielle Parameter ausgeschlossen.

Zeige mal bitte die Parameter, die Lazarus an FPC übergibt (Projekteinstellungen -> Einstellungen anzeigen), ich kann das weder mit 3.0.4, 3.2.0, 3.2.2 noch 3.3.1 nachvollziehen.

[Mathias]

Zeige mal bitte die Parameter, die Lazarus an FPC übergibt (Projekteinstellungen -> Einstellungen anzeigen), ich kann das weder mit 3.0.4, 3.2.0, 3.2.2 noch 3.3.1 nachvollziehen.

Code: Alles auswählen

/home/tux/fpcupdeluxe_trunk/fpc/bin/x86_64-linux/fpc.sh
-MObjFPC
-Scghi
-Cg
-O1
-gw3
-gl
-l
-vewnhibq
-Filib/x86_64-linux
-Fu.
-FUlib/x86_64-linux
-FE.
-oproject1

[Mathias]

Ich bin wieder mal ein wenig mir assembler am probieren.

Ich habe folgenden Minicode, welcher funktioniert.

Code: Alles auswählen

program project1;

  {$asmmode intel}

type
  TVector4f = array[0..3] of single;
  PVector4f = ^TVector4f;

  procedure PrintTXM128(v: TVector4f);
  begin
    WriteLn('[', v[0]: 4: 2, ', ', v[1]: 4: 2, ', ', v[2]: 4: 2, ', ', v[3]: 4: 2, ']');
  end;

  function AddXMM(A, B: PVector4f): TVector4f assembler nostackframe register;
  asm
           Movdqu  Xmm0, [A]
           Movdqu  Xmm1, [B]
           Addps   Xmm0, Xmm1
           Movdqu  [result], Xmm0
  end;

  function SubXMM(const A, B: TVector4f): TVector4f; assembler; register;
  asm
           Movdqu  Xmm0, [A]
           Movdqu  Xmm1, [B]
           Subps   Xmm0, Xmm1
           Movdqu  [Result], Xmm0
  end;

var
  v1: TVector4f = (5.5, 6.6, 7.7, 8.8);
  v2: TVector4f = (1.1, 2.2, 3.3, 4.4);
  vo: TVector4f;

begin
  vo := AddXMM(@v1, @v2);
  PrintTXM128(vo);
  vo := SubXMM(v1, v2);
  PrintTXM128(vo);
end.        

Dazu habe ich 2 Fragen. Wieso gibt es keine Fehler, obwohl ich die ";" bei ADDXMM vergessen habe. Am Editor selbst sieht es fast so aus, als ob der dies als Fehler interpretiert, assembler in nicht fett geschrieben.
Und wieso bekomme ich bei AddXMM diese Warnung ?
Ich dachte immer intern ist var oder eine Pointerübergabe das selbe. Das sieht man gut, wen man eine clib extern anbindet.

Code: Alles auswählen

project1.lpr(16,28) Warning: Check size of memory operand "[movdqu mem,xmmreg0]: memory-operand-size is 64 bits, but expected [128 bits]"
project1.lpr(17,28) Warning: Check size of memory operand "[movdqu mem,xmmreg1]: memory-operand-size is 64 bits, but expected [128 bits]"

Und so nebenbei, was bedeuten diese beiden Schlüsselwöörter "nostackframe; register;" ?

Gibt es irgendwo ein Tutorial mit Assembler und Lazarus ?

[Zvoni]

Und so nebenbei, was bedeuten diese beiden Schlüsselwöörter "nostackframe; register;" ?

Gibt es irgendwo ein Tutorial mit Assembler und Lazarus ?

https://www.freepascal.org/docs-html/cu ... fsu85.html
Nostackframe: https://www.freepascal.org/docs-html/cu ... fsu85.html
Register: https://www.freepascal.org/docs-html/cu ... 00014.9.18

[PascalDragon]

Dazu habe ich 2 Fragen. Wieso gibt es keine Fehler, obwohl ich die ";" bei ADDXMM vergessen habe. Am Editor selbst sieht es fast so aus, als ob der dies als Fehler interpretiert, assembler in nicht fett geschrieben.

FPC ist da nachsichtig, was die Strickpunkte angeht. Zumindest in den Nicht-Delphi Modi.

Und wieso bekomme ich bei AddXMM diese Warnung ?
Ich dachte immer intern ist var oder eine Pointerübergabe das selbe. Das sieht man gut, wen man eine clib extern anbindet.

Code: Alles auswählen

project1.lpr(16,28) Warning: Check size of memory operand "[movdqu mem,xmmreg0]: memory-operand-size is 64 bits, but expected [128 bits]"
project1.lpr(17,28) Warning: Check size of memory operand "[movdqu mem,xmmreg1]: memory-operand-size is 64 bits, but expected [128 bits]"

Nachdem der gleiche Assembly Code bei rauskommt, melde am Besten einen Bug. Keiner sagt. dass die Prüfungen diesbezüglich perfekt sind...

Und so nebenbei, was bedeuten diese beiden Schlüsselwöörter "nostackframe; register;" ?

nostackframe teilt dem Compiler mit, dass er nicht den Framepointer reservieren muss und damit kompakteren Code generiert, allerdings kann man dann auch keine lokalen Variablen verwenden und wenn nötig muss man unter x86_64-win64 und aarch64-win64 manuell die SEH Direktiven hinzufügen, wenn man selbst den Framepointer einrichtet, um dann korrekte Exceptionbehandlung zu haben.

register ist eine Direktive für die Aufrufkonvention register, welche unter i386 und m68k eine spezielle Bedeutung hat, auf anderen Plattformen jedoch einfach nur die Standardaufrufkonvention bezeichnet (wie auch stdcall, cdecl, etc. auf diesen Plattformen).