Trong tài liệu này, chúng tôi tóm tắt các nguyên tắc xem xét các thay đổi đối với quy cách. Hiện tại, những thay đổi này thường liên quan đến việc kiểm tra nhiều nội dung ở nhiều nguồn. Vì vậy, tài liệu này tóm tắt tất cả để đơn giản hoá việc xem xét:
- Kiểm tra để đảm bảo cột "Thông số kỹ thuật" trong status.md hiển thị "yes" (có), hãy thêm một hàng nếu bạn thêm một hoạt động mới.
- Kiểm tra xem tên phần có khớp với phần ghi nhớ của hoạt động trong ODS hay không.
- Kiểm tra xem phần "Ngữ nghĩa" có khớp với Ngữ nghĩa hoạt động của XLA hay không.
- Kiểm tra xem các mục "Inputs" (Đầu vào) và "Outputs" (Đầu ra) hay không:
- Liệt kê các mục giống với ODS.
- Liệt kê các mục giống như HloInstruction::CreateFromProto.
- Được sắp xếp theo thứ tự giống hệt như ODS.
- Nếu có thông tin không khớp, hãy kiểm tra để đảm bảo có các phiếu yêu cầu hỗ trợ tương ứng.
- Kiểm tra xem phần "Quy tắc ràng buộc":
- Khớp với shape_inference.cc của XLA.
- Khớp với hlo_verifier.cc của XLA.
- Khớp với ODS.
- Khớp với StablehloOps.cpp.
- Nếu có thông tin không khớp, hãy kiểm tra để đảm bảo có các phiếu yêu cầu hỗ trợ tương ứng. Liên kết tất cả các phiếu yêu cầu hỗ trợ đó trong quy cách, ở những vị trí cụ thể nhất có thể (ví dụ: nếu một phiếu yêu cầu hỗ trợ có một điều kiện ràng buộc chưa được triển khai, hãy liên kết phiếu yêu cầu hỗ trợ ngay trong quy tắc ràng buộc đó).
- Nếu các phần tương ứng của ODS và StablehloOps.cpp khớp với thông số kỹ thuật, hãy kiểm tra để đảm bảo các cột "Xác minh" và "Dự đoán kiểu" trong status.md có nội dung là "có".
- Kiểm tra xem phần "Ví dụ":
- Chỉ có một ví dụ. (Trong tương lai, chúng tôi sẽ liên kết đến nhiều ví dụ hơn từ bộ kiểm thử trình phiên dịch StableHLO).
- Sử dụng cú pháp MLIR hợp lệ bằng cách chạy
stablehlo-opttrên mã ví dụ. - Sử dụng cú pháp MLIR chung có thể lấy được bằng cách chạy
stablehlo-opt -mlir-print-op-generic(chúng tôi sử dụng cú pháp chung trong phần thông số kỹ thuật để tránh phải thay đổi thông số kỹ thuật khi thực hiện các thay đổi của đẹpprinter).
- Kiểm tra để đảm bảo rằng
descriptiontrong ODS của chiến dịch:- Bao gồm câu đầu tiên của quy cách.
- Sau đó, liên kết đến phần tương ứng của thông số kỹ thuật.
- Sau đó, sử dụng ví dụ tương tự như quy cách nhưng thông qua cú pháp đẹp có thể lấy được bằng cách chạy
stablehlo-opt.
- Kiểm tra để đảm bảo các tệp liên quan đến việc triển khai các quy tắc ràng buộc đối với quy trình xác minh và suy luận kiểu dữ liệu đều tuân thủ các nguyên tắc nêu dưới đây:
- Làm theo nguyên tắc #1 đối với StablehloOps.td.
- Làm theo nguyên tắc #2 cho TypeInference.cpp và StablehloOps.cpp.
- Làm theo nguyên tắc #5 đối với ops_stablehlo.mlir.
- Làm theo nguyên tắc #6 đối với infer_stablehlo.mlir.
- Đánh giá op về các tác động phụ và tính suy đoán.
- Nếu tác vụ không có tác dụng phụ và luôn có thể suy đoán, hãy cung cấp cho tác vụ đó
trait
Pure. Trường hợp này hiếm khi xảy ra vì hầu hết các hoạt động đều cho phép hình dạng động, từ đó có thể dẫn đến việc hình dạng không khớp trong thời gian chạy. Đây là hành vi không xác định. Một số hoạt động cũng có thể có hành vi không xác định trong các tình huống khác. Hầu hết các hoạt động đều không có tác dụng phụ (các hoạt động đó phải có đặc điểmNoMemoryEffect). - Hầu hết hoạt động đều thuộc một trong các đặc điểm
HLO_SpeculatableIf*. Nếu hoạt động không phù hợp với bất kỳ hoạt động nào trong số đó, hãy cung cấp tính năngConditionallySpeculatablevà triển khai các phương thức giao diện. Thêm chương trình kiểm thử vàostablehlo/tests/ops_speculatability.mlirđể kiểm thử logic suy đoán.
- Nếu tác vụ không có tác dụng phụ và luôn có thể suy đoán, hãy cung cấp cho tác vụ đó
trait