MLIR — Une optimisation globale et une analyse de flux de données

Table des matières Dans cet article, nous allons mettre en œuvre un passage d'optimisation globale et montrer comment utiliser le cadre d'analyse de flux de données pour vérifier les résultats de notre optimisation. Le code de cet article se trouve dans cette demande de tirage, et comme d'habitude, les validations sont organisées pour être lues dans l'ordre. Le problème d'arithmétique bruyante Cette démonstration est basée sur un modèle de calcul simplifié pertinent pour le projet HEIR. Vous n'avez pas besoin de connaître ce projet pour suivre cet article, mais si vous vous demandez pourquoi quelqu'un voudrait ce type d'optimisation que je vais écrire, c'est à cause de ce projet.