StableHLO 상태

MHLO에서 StableHLO를 부트스트랩할 때 Prettyprinting, 검증, 도형 추론을 비롯한 여러 가지에 관한 MHLO의 구현을 상속했습니다. 덕분에 이미 상당한 추천이 처리되고 있지만 기존 구현이 완전한지 검토하고 존재하지 않는 경우 새로운 구현을 제공하기 위해서는 여전히 해야 할 일이 많이 있습니다.

이 실시간 문서는 개발자와 사용자가 사양, 인증, 유형 추론, Pretty Print, 인터프리터 등 다양한 측면의 opset에서 진행 상황을 추적할 수 있도록 작성되었습니다.

활용 방법

해당 열에서 언급된 특정 측면의 StableHLO 작업의 진행 상황은 다음 추적 라벨 중 하나를 사용하여 추적됩니다.

  • 일반 라벨
    • 예: 포괄적인 구현이 있습니다.
    • 아니요: 구현은 없지만 이를 위한 작업은 로드맵의 일부입니다. ODS에서 이미 일부 인증을 구현하므로 인증 도구에 '아니요'라는 라벨을 지정할 수 없습니다.
  • 인증 도구 및 유형 추론을 위한 맞춤설정된 라벨
    • yes: 구현이 있으며 StableHLO 시맨틱스와 동기화됩니다.
    • yes*: 구현이 있으며 XLA 시맨틱과 동기화됩니다. XLA 의미 체계는 문서화되지 않는 경우가 많으므로 hlo_verifier.cc 및 shape_inference.cc를 참조로 사용합니다.
    • revisit: 구현이 있지만 'yes' 또는 'yes*'에 해당하지 않습니다. 아직 감사하지 않았거나 문제를 발견하여 발견했기 때문입니다.
    • infeasible: 실행할 수 없으므로 구현이 없습니다. 예를 들어 작업의 결과 유형은 피연산자와 속성에서 추론할 수 없기 때문입니다.

상태

StableHLO 작업 사양 인증 유형 추론 프리티 프린트 통역
abs 예 예 예 예 예
add 예 예 예 예 예
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 예 예 예 예 예
콜레스키 예 예 예 예 다시
고정하다 예 다시 예 예 예
collective_permute 예 다시 예 아니요 예
compare 예 예 예 예 예
복잡한 예 예 예 예 예
compute_reshape_shape 아니요 다시 아니요 예 아니요
concatenate 예 예 예 예 예
상수 예 예 예 예 예
전환 예 예 실행할 수 없는 예 예
컨볼루션 예 예 실행할 수 없는 다시 아니요
코사인 예 예 예 예 예
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 예 다시 예 예 아니요
floor 예 예 예 예 예
수집하다 예 예 예 아니요 예
get_dimension_size 예 예 예 예 예
get_tuple_element 예 예 예 예 예
if 예 다시 예 아니요 예
이미지 예 예 예 예 예
인피드 예 예 실행할 수 없는 아니요 예
아이오타 예 예 실행할 수 없는 예 예
is_finite 예 예 예 예 예
로그 예 예 예 예 예
log_plus_one 예 예 예 예 예
로지스틱 예 예 예 예 예
지도 예 다시 예 아니요 예
최대 예 예 예 예 예
최소 예 예 예 예 예
곱하기 예 예 예 예 예
negate 예 예 예 예 예
않는 예 예 예 예 예
optimization_barrier 예 예 예 예 예
또는 예 예 예 예 예
아웃피드 예 예 예 아니요 예
패드 예 예 예 예 예
partition_id 예 예 예 예 예
팝컨트 예 예 예 예 예
전력 예 예 예 예 예
real 예 예 예 예 예
real_dynamic_slice 아니요 다시 아니요 예 아니요
Recv 예 예 실행할 수 없는 아니요 예
reduce 예 다시 예 다시 예
reduce_precision 예 예 예 예 예
reduce_scatter 예 다시 아니요 아니요 예
reduce_window 예 다시 예 아니요 예
나머지 예 예 예 예 예
replica_id 예 예 예 예 예
형태 변경 예 예 실행할 수 없는 예 예
return 아니요 다시 실행할 수 없는 예 예
reverse 예 예 예 예 예
RN 예 예 예 예 다시
rng_bit_generator 예 다시 실행할 수 없는 예 다시
round_nearest_afz 예 예 예 예 예
round_nearest_even 예 예 예 예 예
rsqrt 예 예 예 예 예
scatter 예 다시 예 아니요 예
select 예 예 예 예 예
select_and_scatter 예 다시 예 아니요 예
보내기 예 예 예 아니요 예
set_dimension_size 아니요 예* 예* 예 아니요
shift_left 예 예 예 예 예
shift_right_arithmetic 예 예 예 예 예
shift_right_logical 예 예 예 예 예
표지판 예 예 예 예 예
사인 예 예 예 예 예
slice 예 예 예 아니요 예
sort 예 예 예 아니요 예
sqrt 예 예 예 예 예
빼기 예 예 예 예 예
Tanh 예 예 예 예 예
torch_index_select 아니요 다시 아니요 아니요 다시
trace 아니요 다시 아니요 예 다시
전치 예 예 예 예 예
triangular_solve 예 다시 예 아니요 다시
tuple 예 예 예 예 예
unary_einsum 아니요 다시 아니요 예 다시
uniform_dequantize 예 예 예 예 아니요
uniform_quantize 예 다시 실행할 수 없는 예 아니요
동안 예 다시 예 다시 예
XOR 예 예 예 예 예