Code assembleur d'une fonction ,algorithme de compilation

Version imprimable

28/12/2016, 17h04
fs1985

Code assembleur d'une fonction ,algorithme de compilation

Bonjour,

Lorsque l'on compile un code source c , pour chaque fonction et opérateur , il y a bien une correspondance en code assembleur , qui ce dernier est traduit en opcodes(langage machine).

Si on prend la fonction printf() par exemple du header stdio.h , le code assembleur ne peut pas être présent dans le fichier de la librairie std glibc car ce dernier est un fichier compilé ( ne contient donc que des opcodes).

Alors comment le compilateur remonte-t-il le code assembleur correspondant à chaque fonction et opérateur ( exemple + < >= ;) lors de l'étape de compilation?
28/12/2016, 17h19
picodev

Citation:

Envoyé par fs1985

Bonjour,

Lorsque l'on compile un code source c , pour chaque fonction et opérateur , il y a bien une correspondance en code assembleur , qui ce dernier est traduit en opcodes(langage machine).

Bonjour,
En gros, oui mais la réponse précise est non. Le compilateur ne fait pas (ou plus) que traduire bêtement un source C en assembleur pour produire du code machine.
Cela dépend évidemment des options que tu donnes à ton compilateur, de la plateforme ciblée, …
Pour te donner quelques exemples : si tu déclares une variable locale dont tu ne prends jamais l'adresse alors cette variable pourra ne jamais exister en mémoire mais uniquement dans les registres ; si dans ton source le compilateur arrive à prouver qu'une partie ne sera jamais exécutée alors il ne produira simplement pas de code pour cette partie ; si tu fais une division entière par 10 (par exemple) il pourra ne jamais produire l'opcode qui calcule une division mais utiliser un autre calcul qui est plus adapté à la plateforme ; si dans le source tu appelles une fonction que le compilateur sait constante alors il se pourrait que le code produit ne l'appelle qu'une seule fois même si dans le code tu l'appelles plusieurs fois ; il peut substituer une fonction par une autre (surtout celles de la libc), suivant les paramètres que tu donnes à printf il va transformer cet appel en appel à puts ou putchar ; les exemple peuvent être nombreux …

Citation:

Envoyé par fs1985

Si on prend la fonction printf() par exemple du header stdio.h , le code assembleur ne peut pas être présent dans le fichier de la librairie std glibc car ce dernier est un fichier compilé ( ne contient donc que des opcodes).

Alors comment le compilateur remonte-t-il le code assembleur correspondant à chaque fonction et opérateur ( exemple + < >= ;) lors de l'étape de compilation?

Là on parle de l'édition des liens (quand tu compiles) voire du loader (quand tu exécutes). Quand tu as créé ton exécutable, le compilateur «sait» que le printf que tu appelles est dans la libc et que tu désires ne pas lier statiquement ton exécutable avec la libc mais dynamiquement.
Lorsque l'OS va charger ton exécutable, il voit qu'il aura besoin de la libc donc il la charge d'abord si elle n'est pas déjà présente en mémoire et quand ton exécutable aura besoin de printf il en trouvera le code en mémoire : le tour est joué.
30/12/2016, 21h00
fs1985

J'ai saisi le ce que tu mentionnes mais prenons alors exemple d'une édition de lien statique ainsi que du codage de base des fonctions de la librairie std c.

Si on prend toutes les fonctions(routines)du language c , elles ont bien étaient codé en assembleur à la base , puis compiler en librairie partagée.Les développeurs du c concoivent bien les fonctions en assembleur à la racine?

Lorsque l'on compile un programme en statique utilisant ces fonctions , le compilateur va alors directement chercher le code machine correspondant pour l implémenter dans le fichier contenant le programme.?
30/12/2016, 21h59
picodev

Citation:

Envoyé par fs1985

J'ai saisi le ce que tu mentionnes mais prenons alors exemple d'une édition de lien statique ainsi que du codage de base des fonctions de la librairie std c.

Si on prend toutes les fonctions(routines)du language c , elles ont bien étaient codé en assembleur à la base , puis compiler en librairie partagée.Les développeurs du c concoivent bien les fonctions en assembleur à la racine?

C'est une idée reçue. La bibliothèque standard C est écrite majoritairement en C, il y a des parties écrites en assembleur, mais principalement pour des raisons de performances. Tu peux par exemple consulter les sources de la GNU LibC ou celles de Musl (bien plus accessibles).
Pour la petite note historique, la libC a été implémentée en C (dans la mesure du possible) très tôt. Par exemple tu peux retrouver les souces utilisées pour la «première vraie version d'UNIX».

Citation:

Envoyé par fs1985

Lorsque l'on compile un programme en statique utilisant ces fonctions , le compilateur va alors directement chercher le code machine correspondant pour l implémenter dans le fichier contenant le programme.?

Une bibliothèque statique n'est rien d'autre (en gros) qu'une archive de fichiers objets.
Il faut surtout comprendre qu'un exécutable n'est pas simplement un fichier binaire qui est chargé en mémoire et directement exécuté (je parle des plateformes modernes classiques linux/windows/mac). Il s'agit d'un fichier avec un format particulier (ELF/PE/MACHO) que l'OS va lire et interpréter pour créer l'image d'un processus.