StableHLO 状态

从 MHLO 引导 StableHLO 时，我们继承了 MHLO 的许多功能实现，包括美观打印、验证和形状推理。因此，我们已经充分涵盖相应操作集，但仍有许多工作要检查现有实现的完整性，并提供不存在任何新实现的新实现。

此实时文档供开发者和用户跟踪操作集各个方面（规范、验证、类型推断、美观打印、解释器等）的进度。

使用方法

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

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

状态

量化运算的类型推断

上表中的 Type Inference 列旨在侧重于非量化运算。对于大多数量化运算，推断结果类型是不可行的，因为结果类型的量化参数可能与运算数的量化参数不同。除了运算数和结果类型必须完全相同的少数情况，或者运算具有可用于推断结果类型的约束条件之外，下文列出了此类运算：all_gather、all_to_all、case、collective_permute、compare、concatenate、constant、dynamic_slice、dynamic_update_slice、gather、get_tuple_element、if、infeed、is_finite、is_finite、is_finite、、、is_finite、is_finite、、、{1、}、is_finite、 /}。mapoptimization_barrieroutfeedpadrecvreducereduce_scatterreduce_windowreversescatterselect_and_scattersendslicesorttransposetupleuniform_dequantizedwhile