MLIR — Dossiers et propagation de constantes

Table des matières La dernière fois, nous avons vu comment utiliser les traits MLIR prédéfinis pour permettre aux passes MLIR en amont comme loop-invariant-code-motion de s'appliquer aux programmes poly. Nous avons laissé de côté -sccp (propagation conditionnelle de constantes éparses), et donc cette fois, nous allons ajouter ce qui est nécessaire pour que cette passe fonctionne. Cela nécessite le concept de pliage. Le code pour cet article se trouve dans cette demande de tirage, et comme d'habitude, les commits sont organisés pour être lus dans l'ordre.