Optimisation du compilateur LLVM assistée par l'IA : une histoire de sérialisation ASN.1

Lors de la maintenance d'une bibliothèque Rust pour la sérialisation ASN.1 DER, l'auteur a découvert du code inefficace dans le calcul de la longueur des entiers. Il a expérimenté avec Claude IA pour optimiser le code et a utilisé l'outil de vérification formelle Alive2 pour valider les résultats. Étonnamment, Claude IA a même aidé à générer un correctif pour une optimisation du compilateur LLVM, qui a passé la revue de code et a finalement été soumis au projet LLVM. Cela démontre l'immense potentiel de l'IA dans le développement de logiciels, en particulier dans l'optimisation des compilateurs, tout en soulignant l'importance de la revue manuelle lors de l'utilisation d'outils d'IA.