MLIR — Canonicaliseurs et patrons de réécriture déclaratifs

Table des matières Dans un article précédent, nous avons défini les fonctions de pliage et les avons utilisées pour permettre une certaine canonisation et le passage de propagation de constantes sccp pour le dialecte poly. Cette fois, nous allons voir comment ajouter des modèles de canonisation plus généraux. 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. Pourquoi la canonisation est-elle nécessaire ? MLIR fournit le pliage comme un mécanisme pour simplifier un IR, ce qui peut aboutir à des opérations plus simples et plus efficaces (par exemple.