Routage d'appel de fonction en ligne

Question

Donc je fais un peu d'expérimentation avec le compilateur (j'en suis à ce point de ma carrière en C++) et j'ai remarqué qu'un appel à _rotl est compilé/assemblé directement; par cela, je veux dire qu'au lieu de l'ensemble effectuant un call, les opcodes (bien que seulement 2) sont apparemment coupés/collés directement où l'appel est.

Quel est le raisonnement derrière cela? Je crois que le terme est "fonction inline" mais je pourrais me tromper.

Answer 1

Ce n'est pas une fonction inline, c'est un intrinsic function. Conçu pour tirer parti des capacités spécifiques du processeur cible. Il s'inline inconditionnellement et sans déclarer la fonction inline, produisant typiquement une seule instruction de code machine. Dans le cas de _rotl(), en utilisant l'instruction x86 ROL.

Answer 2

Le mot-clé inline en C++ suggère au compilateur de rendre certaines fonctions (généralement courtes) en ligne, afin de réduire le temps système causé par la commande d'assemblage call (instruction du processeur).

Cependant, ce n'est qu'une suggestion, donc d'autres fonctions courtes qui ne sont pas explicitement marquées inline peuvent aussi être insérées, et elles peuvent aussi ignorer votre demande d'inline, surtout si la fonction est assez grande.

L'opération inline elle-même copie fondamentalement le corps de la fonction dans chaque endroit où elle est utilisée, sans avoir à l'appeler.

Vous pouvez toujours google à ce sujet et trouver plus d'informations.

EDIT: L'inline se produit généralement uniquement avec les optimisations activées; essayez de les allumer et de les éteindre et de comparer le démontage.

Answer 3

L'intégration est faite à des fins d'efficacité. Premièrement, il économise le coût d'un call en insérant essentiellement la fonction «en ligne». C'est-à-dire, faire une copie de cette fonction et l'insérer là où l'appel était à l'origine. Deuxièmement, le code à exécuter est plus proche, ce qui facilite la mise en cache en raison de la localisation spatiale.

Les fonctions sont généralement en ligne si elles sont appelées dans une boucle, où cette surcharge devient plus importante. Vous pouvez utiliser le mot-clé inline pour indice pour le compilateur que vous voulez une fonction inline, mais il n'y a aucune obligation pour le compilateur de le faire. Vous pouvez parfois utiliser des mots-clés spécifiques au compilateur pour forcer les lignes. Par exemple, __forceinline avec VC++.