สถานะ StableHLO

เมื่อเริ่มต้นระบบ StableHLO จาก MHLO เราได้ถ่ายทอดการนำ MHLO ไปใช้งานหลายอย่าง รวมถึงการใช้ Pretprint, การยืนยัน และการอนุมานรูปร่าง ด้วยเหตุนี้ เราจึงมีทางเลือกที่ครอบคลุมอยู่แล้ว แต่ยังมีเรื่องอื่นๆ อีกมากที่ต้องทำเพื่อตรวจสอบความสมบูรณ์ของการติดตั้งใช้งานในปัจจุบัน และมอบการติดตั้งใช้งานใหม่ในส่วนที่ไม่มีอยู่จริง

เอกสารแบบเรียลไทม์นี้มีไว้สำหรับนักพัฒนาซอฟต์แวร์และผู้ใช้ในการติดตามความคืบหน้าในแง่มุมต่างๆ ของตัวเลือก เช่น ข้อกำหนด การยืนยัน การอนุมานประเภท การพิมพ์ตามความสวยงาม ล่าม ฯลฯ

วิธีการใช้งาน

จะมีการติดตามความคืบหน้าของการดำเนินการของ StableHLO ในด้านใดด้านหนึ่งโดยเฉพาะตามที่ระบุไว้ในคอลัมน์ที่เกี่ยวข้องโดยใช้ป้ายกำกับการติดตามอย่างใดอย่างหนึ่งต่อไปนี้

  • ป้ายกำกับทั่วไป
    • yes: มีการติดตั้งใช้งานที่ครอบคลุม
    • no: ไม่มีการติดตั้งใช้งาน แต่การดำเนินการดังกล่าวเป็นส่วนหนึ่งของแผนกลยุทธ์ โปรดทราบว่าผู้ตรวจสอบจะติดป้ายกำกับว่า "ไม่" ไม่ได้ เนื่องจาก ODS ได้ใช้การยืนยันบางรายการอยู่แล้ว
  • ป้ายกำกับที่กำหนดเองสำหรับผู้ตรวจสอบและการอนุมานประเภท
    • yes: มีการนำไปใช้และซิงค์กับความหมายของ SttableHLO
    • yes*: มีการนำไปใช้งานและซิงค์กับความหมายของ XLA เนื่องจากอรรถศาสตร์ XLA มักได้รับการจัดทำบันทึกน้อยกว่าความเป็นจริง เราจึงใช้ hlo_verifier.cc และ shape_inference.cc เป็นข้อมูลอ้างอิง
    • revisit: มีการติดตั้งใช้งานแต่ไม่อยู่ภายใต้ "ใช่" หรือ "ใช่*" ซึ่งอาจเป็นเพราะเรายังไม่ได้ตรวจสอบหรือเนื่องจากเราพบและพบปัญหา
    • ทำไม่ได้: ไม่มีการติดตั้งใช้งาน เพราะเป็นไปไม่ได้ ตัวอย่างเช่น เนื่องจากประเภทของผลลัพธ์ของ op นั้นอนุมานจากตัวถูกดำเนินการและแอตทริบิวต์ไม่ได้

สถานะ

เกม StableHLO Op ข้อมูลจำเพาะ การยืนยัน การอนุมานประเภท การพิมพ์ด้วยเครื่องพิมพ์ ล่าม
abs ใช่ ใช่ ใช่ ใช่ ใช่
เพิ่ม ใช่ ใช่ ใช่ ใช่ ใช่
after_all ใช่ ใช่ ใช่ ใช่ ใช่
all_gather ใช่ อีกครั้ง ไม่ ไม่ ใช่
all_reduce ใช่ อีกครั้ง ใช่ ไม่ ใช่
all_to_all ใช่ อีกครั้ง ใช่ ไม่ ใช่
และ ใช่ ใช่ ใช่ ใช่ ใช่
atan2 ใช่ ใช่ ใช่ ใช่ ใช่
batch_norm_grad ใช่ อีกครั้ง ใช่ ไม่ อีกครั้ง
batch_norm_inference ใช่ อีกครั้ง ใช่ ไม่ อีกครั้ง
batch_norm_training ใช่ อีกครั้ง ใช่ ไม่ อีกครั้ง
bitcast_convert ใช่ ใช่ ดำเนินการไม่ได้ ใช่ ใช่
ประกาศ ไม่ ใช่* ใช่* ใช่ อีกครั้ง
broadcast_in_dim ใช่ ใช่ ดำเนินการไม่ได้ ใช่ ใช่
เคส ใช่ อีกครั้ง ใช่ ไม่ ใช่
Cbrt ใช่ ใช่ ใช่ ใช่ ใช่
Ceil ใช่ ใช่ ใช่ ใช่ ใช่
Cholesky ใช่ ใช่ ใช่ ใช่ อีกครั้ง
ที่ยึด ใช่ อีกครั้ง ใช่ ใช่ ใช่
collective_permute ใช่ อีกครั้ง ใช่ ไม่ ใช่
เปรียบเทียบ ใช่ ใช่ ใช่ ใช่ ใช่
ซับซ้อน ใช่ ใช่ ใช่ ใช่ ใช่
compute_reshape_shape ไม่ อีกครั้ง ไม่ ใช่ ไม่
concatenate ใช่ ใช่ ใช่ ใช่ ใช่
ค่าคงที่ ใช่ ใช่ ใช่ ใช่ ใช่
ทำให้เกิด Conversion ใช่ ใช่ ดำเนินการไม่ได้ ใช่ ใช่
Convolution ใช่ ใช่ ดำเนินการไม่ได้ อีกครั้ง ไม่
โคไซน์ ใช่ ใช่ ใช่ ใช่ ใช่
count_leading_zeros ใช่ ใช่ ใช่ ใช่ ใช่
create_token ไม่ ใช่* ใช่* ใช่ อีกครั้ง
ผลรวมการจำลองข้าม ไม่ อีกครั้ง ใช่* ไม่ อีกครั้ง
cstr_reshapable ไม่ อีกครั้ง ไม่ ใช่ ไม่
custom_call ใช่ ใช่ ดำเนินการไม่ได้ ใช่ ใช่
หาร ใช่ ใช่ ใช่ ใช่ ใช่
จุด ไม่ อีกครั้ง ดำเนินการไม่ได้ ใช่ อีกครั้ง
dot_general ใช่ อีกครั้ง ดำเนินการไม่ได้ ไม่ ใช่
dynamic_broadcast_in_dim ไม่ อีกครั้ง ดำเนินการไม่ได้ ไม่ ไม่
dynamic_conv ไม่ อีกครั้ง ไม่ ไม่ใช่ค่ะ ไม่
dynamic_gather ไม่ อีกครั้ง อีกครั้ง ไม่ ไม่
dynamic_iota ไม่ อีกครั้ง ดำเนินการไม่ได้ ใช่ ไม่
dynamic_pad ไม่ อีกครั้ง ไม่ ใช่ ไม่
dynamic_reshape ไม่ อีกครั้ง ดำเนินการไม่ได้ ใช่ ไม่
dynamic_slice ใช่ ใช่ ใช่ ใช่ ใช่
dynamic_update_slice ใช่ ใช่ ใช่ ใช่ ใช่
einsum ไม่ อีกครั้ง ไม่ ใช่ อีกครั้ง
เลขชี้กำลัง ใช่ ใช่ ใช่ ใช่ ใช่
exponential_minus_one ใช่ ใช่ ใช่ ใช่ ใช่
FFT ใช่ อีกครั้ง ใช่ ใช่ ไม่
ชั้น ใช่ ใช่ ใช่ ใช่ ใช่
รวบรวม ใช่ ใช่ ใช่ ไม่ ใช่
get_dimension_size ใช่ ใช่ ใช่ ใช่ ใช่
get_tuple_element ใช่ ใช่ ใช่ ใช่ ใช่
if ใช่ อีกครั้ง ใช่ ไม่ ใช่
ภาพ ใช่ ใช่ ใช่ ใช่ ใช่
ในฟีด ใช่ ใช่ ดำเนินการไม่ได้ ไม่ ใช่
Iota ใช่ ใช่ ดำเนินการไม่ได้ ใช่ ใช่
is_finite ใช่ ใช่ ใช่ ใช่ ใช่
log ใช่ ใช่ ใช่ ใช่ ใช่
log_plus_one ใช่ ใช่ ใช่ ใช่ ใช่
โลจิสติกส์ ใช่ ใช่ ใช่ ใช่ ใช่
map ใช่ อีกครั้ง ใช่ ไม่ ใช่
สูงสุด ใช่ ใช่ ใช่ ใช่ ใช่
ขั้นต่ำ ใช่ ใช่ ใช่ ใช่ ใช่
คูณ ใช่ ใช่ ใช่ ใช่ ใช่
สลับเครื่องหมาย ใช่ ใช่ ใช่ ใช่ ใช่
ไม่ใช่ ใช่ ใช่ ใช่ ใช่ ใช่
optimization_barrier ใช่ ใช่ ใช่ ใช่ ใช่
หรือ ใช่ ใช่ ใช่ ใช่ ใช่
ฟีดนอก ใช่ ใช่ ใช่ ไม่ ใช่
Pad ใช่ ใช่ ใช่ ใช่ ใช่
partition_id ใช่ ใช่ ใช่ ใช่ ใช่
Popcnt ใช่ ใช่ ใช่ ใช่ ใช่
พาวเวอร์ ใช่ ใช่ ใช่ ใช่ ใช่
จริง ใช่ ใช่ ใช่ ใช่ ใช่
real_dynamic_slice ไม่ อีกครั้ง ไม่ ใช่ ไม่
recv ใช่ ใช่ ดำเนินการไม่ได้ ไม่ ใช่
ลด ใช่ อีกครั้ง ใช่ อีกครั้ง ใช่
reduce_precision ใช่ ใช่ ใช่ ใช่ ใช่
reduce_scatter ใช่ อีกครั้ง ไม่ ไม่ ใช่
reduce_window ใช่ อีกครั้ง ใช่ ไม่ ใช่
เศษ ใช่ ใช่ ใช่ ใช่ ใช่
replica_id ใช่ ใช่ ใช่ ใช่ ใช่
ปรับรูปร่าง ใช่ ใช่ ดำเนินการไม่ได้ ใช่ ใช่
return ไม่ อีกครั้ง ดำเนินการไม่ได้ ใช่ ใช่
ย้อนกลับ ใช่ ใช่ ใช่ ใช่ ใช่
คำตอบ ใช่ ใช่ ใช่ ใช่ อีกครั้ง
rng_bit_generator ใช่ อีกครั้ง ดำเนินการไม่ได้ ใช่ อีกครั้ง
round_nearest_afz ใช่ ใช่ ใช่ ใช่ ใช่
round_nearest_even ใช่ ใช่ ใช่ ใช่ ใช่
rsqrt ใช่ ใช่ ใช่ ใช่ ใช่
scatter ใช่ อีกครั้ง ใช่ ไม่ ใช่
เลือก ใช่ ใช่ ใช่ ใช่ ใช่
select_and_scatter ใช่ อีกครั้ง ใช่ ไม่ ใช่
ส่ง ใช่ ใช่ ใช่ ไม่ ใช่
set_dimension_size ไม่ ใช่* ใช่* ใช่ ไม่
shift_left ใช่ ใช่ ใช่ ใช่ ใช่
shift_right_arithmetic ใช่ ใช่ ใช่ ใช่ ใช่
shift_right_logical ใช่ ใช่ ใช่ ใช่ ใช่
เครื่องหมาย ใช่ ใช่ ใช่ ใช่ ใช่
ไซน์ ใช่ ใช่ ใช่ ใช่ ใช่
ส่วนแบ่ง ใช่ ใช่ ใช่ ไม่ ใช่
จัดเรียง ใช่ ใช่ ใช่ ไม่ ใช่
sqrt ใช่ ใช่ ใช่ ใช่ ใช่
ลบ ใช่ ใช่ ใช่ ใช่ ใช่
Tanh ใช่ ใช่ ใช่ ใช่ ใช่
torch_index_select ไม่ อีกครั้ง ไม่ ไม่ อีกครั้ง
trace ไม่ อีกครั้ง ไม่ ใช่ อีกครั้ง
สลับตำแหน่ง ใช่ ใช่ ใช่ ใช่ ใช่
triangular_solve ใช่ อีกครั้ง ใช่ ไม่ อีกครั้ง
tuple ใช่ ใช่ ใช่ ใช่ ใช่
unary_einsum ไม่ อีกครั้ง ไม่ ใช่ อีกครั้ง
uniform_dequantize ใช่ ใช่ ใช่ ใช่ ไม่
uniform_quantize ใช่ อีกครั้ง ดำเนินการไม่ได้ ใช่ ไม่
ฟังขณะ ใช่ อีกครั้ง ใช่ อีกครั้ง ใช่
Xor ใช่ ใช่ ใช่ ใช่ ใช่