U yhL @sdddlmZddlmZddlmZmZddZddZdd Z d d Z d d Z ddZ ddZ dS))Refine) TensorType)VarunifycCs*t|}|t|j}t|j|dS)z- Calls our symbolic inferencer once. N)rrefineunify_eq constraintssubstitute_all_typesgraphZtracedrZmgur Y/var/www/html/venv/lib/python3.8/site-packages/torch/fx/experimental/unify_refinements.py infer_symbolic_types_single_passs rcCsXt|}|t|j}t|j|t|}|t|j}t|j||dS)z Calls our symbolic inferencer twice. This is useful when one pass is not enough to infer all the information such as the case for braodcasting. N)rrrrr r Zsymbolic_relationsr r r rinfer_symbolic_typess    rcCs:g}g}|D]}||j||jq t|t|fS)za Convert equality constraints in the right format to be used by unification library. )appendlhsrhstuple) list_of_eqrreqr r r convert_eq#s  rcCst|\}}t||S)z@ Apply unification to a set of equality constraints )rr)rrrr r rr0s rcCst|tr$||kr||S|Snt|trpg}|jD]*}||krX|||q8||q8tt|St|trg}|D]}|t||q|St|trg}|D]}|t||qt|S|SdS)z2 Apply the most general unifier to a type N) isinstancerkeysr__args__rrlistsubstitute_solution_one_type)mappingtnew_typetypr r rr9s,         rcCsrd}|rTd}|D]@}||}|||kr@||}||||<|||krd}qq|jD]}t||j|_qZdS)z Apply the most general unifier to all types in a graph till reaching a fixed point. If the input and output graph are the same, we converge. TFN)rnodesrtype)r rflagkZold_mapping_valZnew_keynr r rr \s   r cCs.t|j|jD]\}}|j|jkrdSqdS)zv A check equality to be used in fixed points. We do not use graph equality but instead type equality. FT)zipr!r")g1g2r%mr r rcheck_for_type_equalityps r*N)Z/torch.fx.experimental.graph_gradual_typecheckerrZtorch.fx.tensor_typerZ!torch.fx.experimental.unificationrrrrrrrr r*r r r rs     #