Status do StableHLO

Ao inicializar o StableHLO do MHLO, herdamos a implementação da MHLO de muitos elementos, incluindo estilização, verificação e inferência de formas. Por isso, já temos uma cobertura significativa da opset, mas ainda há muito o que fazer para analisar a integridade das implementações atuais e fornecer novas implementações quando não houver nenhuma.

Esse documento ativo é para que os desenvolvedores e os usuários acompanhem o progresso em vários aspectos da opset: especificação, verificação, inferência de tipo, impressão avançada, intérprete etc.

Como usar

O progresso de uma operação StableHLO, como mencionado na linha correspondente, em um aspecto específico, como mencionado na coluna correspondente, é rastreado com um dos rótulos de acompanhamento a seguir.

• Rótulos genéricos
  • yes: há uma implementação abrangente.
  • no: não há implementação, mas trabalhar nisso faz parte do roteiro. O verificador nunca pode ser rotulado como "não" porque o ODS já implementa alguma verificação.
• Rótulos personalizados para verificador e inferência de tipo
  • yes: há uma implementação e ela está sincronizada com a semântica do StableHLO.
  • yes*: há uma implementação e está sincronizada com a semântica do XLA. Como a semântica do XLA costuma ser subdocumentada, estamos usando hlo_verifier.cc e shape_inference.cc como referência.
  • revisit: há uma implementação, mas não se enquadra em "sim" ou "sim*", seja porque ainda não a auditamos ou porque encontramos e encontramos problemas.
  • inviável: não há implementação, porque é inviável. Por exemplo, porque o tipo de resultado de uma op não pode ser inferido de acordo com os operandos e atributos dela.

Status