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