Introduction
LLVM 23 a marqué un tournant en matière d'optimisation des temps de compilation, avec une réduction notable de -6,75% dans les builds -O3, particulièrement sur sqlite3 avec un impressionnant -10,53%. Ces gains de performance sont cruciaux pour les développeurs cherchant à optimiser leur cycle de développement et à réduire les coûts opérationnels. Plongeons dans les détails des améliorations majeures qui ont rendu cela possible.
Améliorations des Structures de Données
ADT Hash Maps/Sets
L'une des principales sources d'amélioration réside dans les hash maps et sets utilisés par LLVM. Trois changements significatifs y ont été apportés :
- Passage à un Probing Linéaire : L'abandon des tables de hachage à probing quadratique au profit d'un probing linéaire a permis une amélioration directe, réduisant le besoin de clés tombstone.
- Tableau de Bits Compact : La densité des hash maps est désormais stockée dans un tableau de bits compact, évitant ainsi l'utilisation de clés vides.
- Fonction de Hachage XXH3 : Le passage de CityHash à XXH3 a non seulement amélioré la performance, mais a également permis les modifications précédentes.
SmallVector et BumpAllocator
Dans SmallVector, les opérations triviales de copie ont été optimisées pour permettre une optimisation d'appel de queue, réduisant ainsi les instructions et augmentant le potentiel d'inlining.
Le BumpAllocator a également été simplifié, améliorant la performance globale malgré quelques variations de temps de compilation dues aux heuristiques d'inlining.
Améliorations de la Traversée et de la Représentation
Traversée Post-Order
La réécriture de la traversée post-order, bien qu'encore non idéale, a permis de rendre les déplacements d'itérateur moins coûteux, ouvrant la voie à une plus grande optimisation de l'inlining.
Arbre des Dominantes
La représentation de l'arbre des dominantes a été modifiée pour utiliser une représentation enfant-frère, ce qui a réduit le nombre d'allocations et les appels à malloc()/free(), crucial pour les nombreuses constructions d'arbres dominants durant la compilation.
Conclusion
Les améliorations de LLVM 23 ne sont pas seulement des chiffres. Elles représentent une avancée significative vers une compilation plus rapide et plus efficace, ce qui est essentiel dans un monde où chaque seconde compte pour les développeurs et les entreprises tech. Discutons de ton projet en 15 minutes.