MLIR - Vérificateurs

Table des matières La dernière fois, nous avons défini les dossiers et les avons utilisés pour permettre une certaine canonisation et la propagation constante de sccp pour le dialecte poly. Cette fois, nous allons ajouter des vérifications de sécurité supplémentaires au dialecte sous la forme de vérificateurs. Le code pour cet article se trouve dans cette demande de tirage, et comme d'habitude, les validations sont organisées pour être lues dans l'ordre. But d'un vérificateur Les vérificateurs garantissent que les types et les opérations dans un programme MLIR concret sont bien formés.