XE2 neue calling convention

[Uwe Raabe]

Zitat von Schorschi5566:

Und er kennt sich mit dem Thema Kryptografie offenbar so gut aus, dass er teilweise Delphifunktionen der Sicherheit wegen umgeschrieben/neugeschrieben hat (siehe Kommentare im Code). Dabei sind eben auch einige Assemblerfunktionen eingeflossen.

In diesem Fall würde ich vorrangig versuchen festzustellen, ob dieses Umschreiben Delphi-eigener Funktionen in XE2 überhaupt noch notwendig ist oder hier sogar kontraproduktiv wirkt. Spätestens bei der Portierung auf MacOS, iOS oder mit den bei XE3 zusätzlichen Zielplattformen wird das wohl kaum zu vermeiden sein. Wenn ich mich recht erinnere, war Assembler in XE2 für x64 anfangs gar nicht vorgesehen...

[Schorschi5566]

Wenn ich viel Zeit hätte würde ich das sicherlich machen.

Ich brauche 'ne Lösung für ein Win64-Projekt und ich möchte dazu DEC verwenden.

Im Übrigen ist Plattformunabhängigkeit nicht das Ende von Assembler, so wie das hier manchmal klingt. Bei DEC spielt Performance sehr wohl eine Rolle, wie man an diversen Tabellen in Hagens Code sehen kann. Pure Pascal ist hier nur eine langsame aber saubere Alternative.

Wenn einer DEC für iOS benötigt, wird er entweder die Assemblerroutinen portieren oder in Pascal schreiben müssen.


Ach und hatte ich gesagt, dass es mir eigentlich nur darum geht, was es für Besonderheiten bei der calling convention des neuen 64-Bit-Compilers gibt? Mir war so.

[jaenicke]

In der Hilfe steht das so:

Zitat:

The first four parameters to inline assembler functions are passed via RCX, RDX, R8, and R9 respectively, except for floating-point arguments which use XMMO, XMM1, XMM2, XMM3. The math coprocessor is not normally used from x64 code. Registers used for function parameters can be modified freely.

Nebenbei kannst du statt das Register für das Ergebnis direkt anzusprechen auch @Result benutzen.

Ich habe es gerade kurz ausprobiert, bei mir geht es auch mit RCX und RDX und deine Variante knallt. Auswertung:

XE2ParameterAsm.jpg

Das geht bei mir:

Delphi-Quellcode:

  function IsClass(AObject: Pointer; AClass: TClass): Boolean;
  asm // safer replacement for Delphi's "is" operator
          MOV @Result,0
  @@1: TEST RCX,RCX
          JE @@3
          MOV RCX,[RCX]
          TEST RCX,RCX
          JE @@3
          CMP RCX,RDX
          JE @@2
          MOV RCX,[RCX].vmtParent
          JMP @@1
  @@2: MOV @Result,1
  @@3:
  end;

[Schorschi5566]

Hallo Sebastian,

danke für den Test.

Es passt schon so. Im Original ist die Funktion innerhalb einer anderen deklariert und dann wird in RCX RBP abgelegt (hab's gerade geprüft). Damit verschieben sich die anderen Parameter nach RDX und R8. Fragt sich nur warum er das macht. Immerhin passiert das bei Win32 nicht.

[JamesTKirk]

Zitat von Schorschi5566:

Es passt schon so. Im Original ist die Funktion innerhalb einer anderen deklariert und dann wird in RCX RBP abgelegt (hab's gerade geprüft). Damit verschieben sich die anderen Parameter nach RDX und R8. Fragt sich nur warum er das macht. Immerhin passiert das bei Win32 nicht.

Das dient dazu, damit du in der Funktion auf die Parameter und Variablen der äußeren Funktion zugreifen kannst. In X86 wird das auch gemacht, nur eben mit anderen Registern (ich hatte bei Free Pascal vor einiger Zeit was darüber gelesen, aber ich finde den Teil gerade nicht mehr).

Gruß,
Sven