StableHLO 状态

从 MHLO 引导 StableHLO 时，我们继承了 MHLO 的许多功能实现，包括美观打印、验证和形状推断。因此，我们已经有了大量的优化机会，但审查现有实现的完整性，以及提供不存在的新实现仍任重而道远。

此实时文档旨在帮助开发者和用户跟踪运算各个方面（规范、验证、类型推断、美观输出、解释器等）的进度。

使用方法

如相应行中提到的，SableHLO 操作在特定方面（如相应列中所述）的进度通过以下某个跟踪标签进行跟踪。

• 通用标签
  • 是：已全面实施。
  • no：无需实施，但实施这项工作是路线图的一部分。 请注意，验证商永远无法标记为“否”，因为 ODS 已实现某些验证。
• 验证程序和类型推断的自定义标签
  • yes：存在实现，并且与 StableHLO 语义同步。
  • yes*：有实现，并且与 XLA 语义同步。由于 XLA 语义经常缺乏文档记录，因此我们使用 hlo_verifier.cc 和 shape_inference.cc 作为参考。
  • 回顾：存在某个实现，但它不属于“是”或“是*”的范畴，因为我们尚未对其进行审核，或者我们发现并发现了问题。
  • infeasible（不可行）：没有实现，因为这是不可行的。 例如，因为无法通过其运算数和属性推断出操作的结果类型。

状态