sgL VddlmZddlmZddlmZmZdZdZdZ dZ dZ d Z d Z y ) )Refine) TensorType)Varunifyct|}|jt|j}t |j |y)z- Calls our symbolic inferencer once. N)rrefineunify_eq constraintssubstitute_all_typesgraphtracedrmgus Z/var/www/html/venv/lib/python3.12/site-packages/torch/fx/experimental/unify_refinements.py infer_symbolic_types_single_passrs2 vAHHJ 1== !Cs+c<t|}|jt|j}t |j |t|}|jt|j}t |j ||j y)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)rrr r r r symbolic_relationsr s rinfer_symbolic_typesrsl vAHHJ 1== !Cs+vAHHJ 1== !Cs+rcg}g}|D]8}|j|j|j|j:t|t|fS)za Convert equality constraints in the right format to be used by unification library. )appendlhsrhstuple) list_of_eqrreqs r convert_eqr#sR C C 266 266 :uSz !!rc6t|\}}t||S)z@ Apply unification to a set of equality constraints )rr)rrrs rr r 0s *%HC c?rc t|tr||jvr||S|St|tr_g}|jD]:}||jvr|j ||*|j |<tt |St|tr&g}|D]}|j t|||St|t r/g}|D]}|j t||t |S|S)z2 Apply the most general unifier to a type ) isinstancerkeysr__args__rrlistsubstitute_solution_one_type)mappingtnew_typetyps rr%r%9s!S   1: H Az ":: %Cglln$ -$  % %/** At  HC OO8#F G H Au  HC OO8#F G HXrcd}|r>d}|D]4}||}|||jvr ||}||||<|||k7s3d}6|r>|jD]}t||j|_y)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)r"nodesr%type)r r&flagkold_mapping_valnew_keyns rr r \s D  A%ajOqzW\\^+!!*$W- '!*,   [[?-gqvv>?rct|j|jD] \}}|j|jk7s yy)zv A check equality to be used in fixed points. We do not use graph equality but instead type equality. FT)zipr+r,)g1g2r1ms rcheck_for_type_equalityr7ps> BHHbhh'1 66QVV  rN)/torch.fx.experimental.graph_gradual_typecheckerrtorch.fx.tensor_typer!torch.fx.experimental.unificationrrrrrr r%r r7rrr<s2B+8,& " F?( r