État StableHLO

Lors de l'amorçage de StableHLO à partir de MHLO, nous avons hérité de l'implémentation de MHLO pour de nombreux éléments, y compris l'impression élégante, la vérification et l'inférence de forme. Grâce à cela, nous disposons déjà d'une couverture significative de l'opération, mais il reste encore beaucoup à faire pour vérifier l'exhaustivité des implémentations existantes et fournir de nouvelles implémentations lorsqu'il n'en existe aucune.

Ce document en ligne permet aux développeurs et aux utilisateurs de suivre l'état d'avancement de divers aspects de l'opération : spécifications, vérification, inférence de type, impression élégante, interprète, etc.

Comment l'utiliser ?

La progression d'une opération StableHLO, comme indiqué dans la ligne correspondante, sur un aspect particulier, comme indiqué dans la colonne correspondante, est suivie à l'aide de l'un des libellés de suivi suivants.

• Étiquettes génériques
  • yes: la mise en œuvre est complète.
  • no: il n'y a pas d'implémentation, mais l'élaboration de ce plan fait partie de la feuille de route. Notez que l'option "Verifier" ne peut jamais être associée à la valeur "no", car l'ODS implémente déjà certaines vérifications.
• Libellés personnalisés pour le vérificateur et l'inférence de type
  • yes: il existe une implémentation qui est synchronisée avec la sémantique StableHLO.
  • yes*: il existe une implémentation qui est synchronisée avec la sémantique XLA. Étant donné que la sémantique XLA est souvent sous-documentée, nous utilisons hlo_verifier.cc et shape_inference.cc comme référence.
  • revisit: il existe une implémentation, mais elle n'est associée à aucune option "oui" ou "oui*", soit parce que nous n'avons pas encore procédé à l'audit, soit parce que nous avons détecté et détecté des problèmes.
  • infaisable (infaisable) : il n'y a pas d'implémentation, car c'est impossible. Par exemple, parce que le type de résultat d'une opération ne peut pas être déduit de ses opérandes et de ses attributs.

État