StableHLO 狀態

透過 MHLO 啟動 StableHLO 時，我們繼承了 MHLO 的許多實作項目，包括美化排版、驗證和形狀推論。有鑑於此，我們已提供大量的運算技術，但還有很多機會來檢查現有的實作內容是否完整，並在不存在的地方提供新的實作內容。

這份即時文件可讓開發人員和使用者追蹤各種操作集的進度，例如規格、驗證、類型推論、美化排版、解譯等。

使用方式

如對應欄中所說，在對應資料列中提到的 StableHLO 運算進度，會使用下列其中一種追蹤標籤進行追蹤。

• 一般標籤
  • 是：有完善的導入方法。
  • no：應用程式未提供實作，但我們正努力進行，這屬於發展藍圖的一部分。請注意，驗證器永遠不得加上「no」標籤，因為 ODS 已導入部分驗證程序。
• 驗證者和類型推論的自訂標籤
  • yes：有一個實作項目，而且會與 StableHLO 語意保持同步。
  • yes*：已有實作，且會與 XLA 語意保持同步。XLA 語意通常是未記載的，因此我們使用 hlo_verifier.cc 和 shape_inference.cc 做為參考。
  • revisit：有實作程序，但並未歸類到「是」或「是*」，原因可能在於我們尚未稽核，或是系統偵測到問題。
  • 不可行：沒有實作，因為不可能。舉例來說，因為系統無法根據運算元和屬性推論運算的結果類型。

狀態

量化運算的型別推論

上表的 Type Inference 欄主要用於非量化作業。在大部分的量化運算中，結果類型的量化參數可能與運算元不同，因此無法推論結果類型。除了「few」與 {1, 2, 3}/ 2, 3}/ 2, 3}/ 2, 3}/ 2, 3}/ 2, 3}/ 2, 2, 3}/7}/7}/7}/7all_gatherall_to_allcasecollective_permutecompareconcatenateconstantdynamic_slicedynamic_update_slicegatherget_tuple_elementifinfeedis_finitemapoptimization_barrieroutfeedpadrecvreducereduce_scatterreduce_windowreversescatterselect_and_scattersendslicesorttransposetupleuniform_dequantizedwhile