Mélange de C et les fichiers d'Assemblage

Je veux utiliser un nu fonction dans mon programme en C++ à l'aide de g++. Malheureusement, g++, contrairement à VC++ ne prend pas en charge nu fonctions et la seule façon de gérer cela est d'écrire votre propre code assembleur dans un fichier séparé et lien avec vos fichiers C++. J'ai essayé de trouver quelques bon tutoriel pour x86 de mélanger de l'assemblée et C/C++, les fichiers, mais ne pouvais pas trouver tout bon.

Bien vouloir me faire savoir si vous savez à propos de tout. Notez que je ne suis pas de demander à propos de assembly en ligne mais la liaison C et de l'assemblée des fichiers et des façons de déclarer des variables extern C dans l'assemblée, et vice-versa d'ailleurs de les utiliser en C ou de l'assemblée, et aussi des façons de lier le C et l'asm fichiers à l'aide de Makefile.

  • Essayer de le faire plus précis, c'est plutôt large et vague comme il est - dans le cas contraire, il sera probablement fermé comme "pas une vraie question". Rappelons également la les conseils antérieurs à vos questions sur l'utilisation de gcc -S ... pour produire de l'asm modèles etc.
  • gcc dans la même veine a __attribute__((naked)) mais pas pour x86 🙁
  • avez-vous jamais trouver comment accomplir ce que vous avez demandé? Je vais avoir le même problème.
  • gcc a pris en charge __attribute__((naked)) sur x86 pour un couple de versions, peut-être depuis gcc6.
InformationsquelleAutor MetallicPriest | 2011-11-08
  1. 17

    En C++ fichier:

    extern "C" void foo(); //Stop name mangling games

int main() {
  foo();
}

    en "nu" fichier asm, pour x86:

    # modified from http://asm.sourceforge.net/howto/hello.html

.text                   # section declaration
    .global foo

foo:

# write our string to stdout

    movl    $len,%edx   # third argument: message length
    movl    $msg,%ecx   # second argument: pointer to message to write
    movl    $1,%ebx     # first argument: file handle (stdout)
    movl    $4,%eax     # system call number (sys_write)
    int $0x80       # call kernel

# and exit

    movl    $0,%ebx     # first argument: exit code
    movl    $1,%eax     # system call number (sys_exit)
    int $0x80       # call kernel

.data                   # section declaration

msg:
    .ascii  "Hello, world!\n"   # our dear string
    len = . - msg           # length of our dear string

    Compiler, de les assembler et de lien (avec g++ plutôt que ld, car il est beaucoup plus facile de le faire de cette façon pour le C++) et de l'exécution:

    ajw@rapunzel:/tmp > g++ -Wall -Wextra test.cc -c -o test.o
ajw@rapunzel:/tmp > as -o asm.o asm.S
ajw@rapunzel:/tmp > g++ test.o asm.o
ajw@rapunzel:/tmp > ./a.out
Hello, world!

    Si vous voulez passer des arguments à votre fonction ou de retour de tout ce que vous devez respecter les conventions d'appel.

    InformationsquelleAutor Flexo
  2. 5

    Voici un exemple de truc pour atteindre le "nu fonction" effet.

    #include <stdio.h>

extern "C" int naked_func ();

static void
dummy ()
{
  __asm__ __volatile__
    (
     "  .global naked_func\n"
     "naked_func:\n"
     "  movq    $3141569, %rax\n"
     "  ret\n"
     );
}

int
main ()
{
  printf ("%d\n", naked_func ());
  return 0;
}
    • Vous n'avez même pas besoin de la fonction factice de l'enveloppe de base assembly en ligne peut être placé à portée globale.
    InformationsquelleAutor chill
  3. 1

    Je veux juste ajouter une chose pour le post précédent.
    Imaginez que vous voulez une fonction, qui acceptent des arguments:
    (quelque chose comme

    int add(int,int);

    prototype)

    segment .text
global add

   add:
   enter 0,0
   mov eax,[ebp+8]  ; first argument
   mov ebx,[ebp+12]  ; second argument
   add eax,ebx
   leave
   ret
    • oui, sauf de ne pas utiliser le lent enter instruction. agner.org/optimize. Il n'y a aucune raison de construire un cadre de pile ici. Juste mov eax, [esp+4] / add eax, [esp+8] / ret. Aussi, ne pas tabasser ebx; c'est un appel préservé enregistrer dans toutes les conventions d'appel. Downvoting pour une dangereuse (et inefficace), par exemple, et que vous n'avez pas de montrer comment construire + le lien avec des MSNA.
    InformationsquelleAutor Andro
  4. 0

    C'est ma façon de définir une fonction dans l'assemblée, il n'a pas besoin d'avoir un autre assembleur fichier, ni vous avez besoin pour échapper à chaque retour à la ligne. Vous pouvez simplement copier le contenu de l'assemblée des fichiers dans la chaîne de caractères littérale. Remarque: La raw multiligne littéral de chaîne est un C++11 fonctionnalité (vous aussi marqués C++). C'est utile, si vous voulez compiler le tout dans un .c-/.cpp-fichier.

    extern"C" int rand_byte(void);
asm (R"(
    .globl rand_byte
rand_byte:
    call rand
    and eax, 255
    ret
)");

    Vous ne pouvez utiliser qu'un assemblage de base-déclaration sans paramètres supplémentaires à portée globale.
    Lors de l'utilisation de GCC ou Clang et d'un processeur arm, vous êtes en mesure d'utiliser [[gnu::naked]]/__attribute__((naked)).

        [[gnu::naked]]
int rand_byte(void) {
    asm volatile (R"(
        push {lr}
        bl rand
        and r0, #255
        pop {pc}
    )");
};

    La première façon toujours permet de définir nu fonctions.
    Cela permet également de rendre plus portable code.

        extern"C" int _cdecl rand_byte(void);
    #if defined __x86__
        //NOTE: the names are decorated with a '_' on windows 32-bit
        //You can use extern"C" int _cdecl rand_byte() asm("rand_byte");
        //to make the asm symbol name always be rand_byte, without an _
        asm volatile (R"(
            .globl _rand_byte
        _rand_byte:
            call rand
            and eax, 255
            ret
        )");
    #elif defined __x86_64__
        asm volatile (R"(
            .globl rand_byte
        rand_byte:
            call rand
            and rax, 255    # eax works here, too.  x86-32 and -64 could share the same source.
            ret
        )");
    #elif defined __arm__
        asm (R"(
            .global rand_byte
        rand_byte:
            push {lr}
            bl rand
            and r0, #255
            pop {pc}
        )");
    #else
        #error There is no code for your platform yet...
    #endif
    • Vous pouvez utiliser une base ASM déclaration à la portée globale dans GCC/G++. Vous ne pouvez pas utiliser étendu assembly en ligne à la portée globale. Une base de la déclaration de l'assemblée est toujours implicitement volatils par la documentation.
    • Votre x86 vs x86-64 exemple est un peu idiot. and eax, 255 fait ce que vous voulez sur x86-32 et x86-64, et est un octet plus courte que and rax, 255. Aussi, movzx eax, al est un peu mieux sur les deux, parce que c'est plus court. Êtes-vous sûr que cette même assemble? La directive sur le gaz est .globl ou .global, pas global. À l'aide de gcc -masm=intel utilise toujours les directives sur le GAZ, pas de MSNA. (Il compile bien, mais pas de les assembler. Sur godbolt, utiliser "binaire" mode assurez-vous qu'il assemble ainsi que les compilations.) Aussi, le BRAS n'a pas eax, il a r0.
    • Bien sûr, l'asm pour rand_byte est stupide de toute façon. Beaucoup mieux de faire juste uint8_t rand_byte un faible alias pour rand lorsque la convention d'appel permet à l'étroit valeurs de retour élevée de déchets (comme sur x86 mais pas de BRAS), et laisser l'appelant inline le zéro-extension si elle en a besoin. Il est presque impossible de venir avec des exemples en ligne de l'asm où il ne serait pas mieux de simplement les gcc.gnu.org/wiki/DontUseInlineAsm, mais, mais vous pouvez au moins le mentionner. (Sauf peut-être privilégié des instructions qui n'ont pas builtin / intrinsèque des wrappers).
    • Ne pas assembler: godbolt.org/g/fP3p1j. Vous ne pouvez pas utiliser les MSNA directives comme global dans GNU C inline-asm. Il semble que vous seulement, il fixe pour les BRAS.
    • Je pense que cette réponse est correcte maintenant, mais vous devez le tester sur godbolt. Je ne suis pas sûr R"(...)" travaille en C11, donc, la suggestion de l'utiliser dans les deux .c et .cpp fichiers peuvent être faux. Utilisation -xc -std=gnu11 sur Godbolt pour compiler C.
    InformationsquelleAutor cmdLP