sgFddlmZmZmZmZmZmZmZmZddl Z ddl m Z ddl m Z ddlmZddlmZmZddlmZmZdd lmZmZmZdd lmZmZmZmZmZm Z m!Z!m"Z"m#Z#m$Z$d ed ed ee%fdZ&d ed edede%de%de%de%de%de%de'de'dee%d efdZ(d edeeee%e%ffdeeee%e%ffdede%d ef dZ)dededed ed!ee jTe+fd"ee jTe'fd#e%d efd$Z,ded%edeeeefd&eded ed'e%ded(ee%eefd eeeeffd)Z-ded&eded ed ef d*Z.d+ed&ed,e'd e/fd-Z0d.eeeefd/eeeeefd+ed&eded'e%d efd0Z1d.eeeefd/eeeeefded&eded'e%d efd1Z2 d7d2e%d&ed3e%ded4ee%eeeffded5e/d(eee%eefd efd6Z3y)8)AnyCallableDictListOptionalSetTupleUnionN)get_node_type_to_io_type_map)get_new_attr_name_with_prefix)_is_activation_post_process) GraphModulemap_arg)GraphNode)NSNodeTargetTypeNSSingleResultValuesType NSSubgraph) get_arg_indices_of_inputs_to_log$get_node_first_input_and_output_typeget_node_input_qparamsget_normalized_nth_inputget_number_of_non_param_argsget_target_type_strgetattr_from_fqnNodeInputOrOutputTypeop_type_supports_shadowingreturn_first_non_observer_nodenodegmreturncd}t|drw|}|jdk(rJt|jtsJt ||j}t |r t||d}|j|jd}|S)N_node_name_to_scope call_moduler) hasattrop isinstancetargetstrrr rr$name)r r!fqnnode_to_use_for_fqnmodules N/var/www/html/venv/lib/python3.12/site-packages/torch/ao/ns/fx/graph_passes.py_maybe_get_fqnr0s Cr()# 77m #dkk3/ //%b$++6F*62&>tR&K#$$%8%=%=>qA J logger_clslogger_node_name_suffix ref_node_name model_nameref_nameref_node_target_type results_typeindex_within_arg index_of_argr,c t|j|z|} t||} |||j||| ||| | | }t|| ||jj d| |fi}|S)z Given a starting graph of prev_node -> node -> next_node This function creates a new logger_cls obj and adds it after node, resulting in prev_node -> node -> logger_obj -> next_node r%)r r+rsetattrgraph create_node)r r!r2r3r4r5r6r7r8r9r:r,logger_node_name target_type logger_obj logger_nodes r/_insert_logger_after_noderC*s24 ++ &dB/K   J B *-**((8H4'SUVK r1*node_to_instrument_inputs_to_ref_node_name+node_to_instrument_outputs_to_ref_node_namect}it|j}fd}|jjD]}|j dk(r'|j tt||d|:||vs||vrt||} ||vr+||\} } t|} | D]} t||| }t|tk(rV|j}t|||d|j|| | tj j"d| |  |j<yt|t$j&j(j*k(rjt-|D]Z\}}|j}t|||d|j|| | tj j"|| |  |j<\|j/|||j<||vs||\} } t|j||d|j|| | tj0j"dd|  |j<|j/|||j<"t3||}|S)z Takes the graph of gm, adds loggers to the output of each node in nodes_to_instrument. Returns a GraphModule with the new graph. c"t|fdS)Nc"|jSNr+)r envs r/z8add_loggers_to_model..load_arg..lss499~r1r)arKs r/load_argz&add_loggers_to_model..load_argksq566r1outputr _ns_logger_r9r:r,)rdict named_modulesr=nodesr'rPrrr0rtyperr+rCr NODE_INPUTvaluetorchfximmutable_collectionsimmutable_list enumerate node_copy NODE_OUTPUTr)r!rDrEr2r5 new_graphmodulesrOr r,r6 ref_node_typearg_indices_to_log node_arg_idxnode_arg prev_nodearg_idxargnew_gmrKs @r/add_loggers_to_modelrjZsIC2##%&G7VA 77h    W%=dB%JHU V  > > ? ? r*CAA*T+'-&Fd%K"$6(L7b,OHH~-$' $6 -F%&) II&$)4??EE-.)5 # .HMM*X%((*H*H*W*WW-6h,?LGS(+CHH I2K ) " * - $ * ( - 8 C C I I18-9$' 3C /"Q(X'00x@C NBB*U+'-"; N!II!,88>>%&!" "DII '00x@C NmVApY 'F Mr1 prev_node_cnode_agm_bgraph_cscale zero_pointdtype_cast_nameclt|jdz|}t||||jd|di|}t|jdz|} t|| ||jd| di| } |jdtj ||| tj fi|S)N _input_scale_get_attr_input_zero_point_ call_function)r r+r<r>rYquantize_per_tensorquint8) rkrlrmrnrorprqscale_node_name scale_nodezero_point_node_namezero_point_nodes r/ _insert_quantize_per_tensor_noder~sS3FKK/4QRSWXO D/5)$$OR_J8 **   D& 3))("b2FO    !! j/5<<@   r1node_cgm_anode_name_prefixnode_type_to_io_type_mapc d} d} d} d} d} d}t||||\}}t||||\}}|tjk(r|tjk(sL|tjk(r|tjk(s&|tjk(r$|tj k(rt j} n||k(r.|tjk7rt jj} n|tjk(r8|tjk(r%t|||}|t j} |\} }np|tjk(r&|tjk(rd} t j} n7td|d|jd|d|jdzt!|t"rt%||}| r+| |t'||||| ||S|j)d| |fi|S| r|j)d| || fi|S| sJ| }t+||||j)d ||fi|St!|t,rg}|D]|}t%||}| r(|j)d| |fi|}|j/|>| sJ| }t+||||j)d ||fi|}|j/|~|Std t1|d ) a Given a starting graph C (derived from graph B) of ... -> prev_node_c -> node_c -> ... And a corresponding related node_a, inserts the correct dtype cast node after prev_node_c to cast into the dtype expected by node_a, resulting in: dtype_cast / ... -> prev_node_c -> node_c -> ... For example, if node_c is an int8 op and node_a is an fp32 op, this function will insert a dequant. Ntozdtype cast from  z to z needs to be implementedrw call_methodr%ztype fz is not handled)rrFP32INT8FP16 FP32_OR_INT8rY dequantizeUNKNOWNnnIdentityrrxfloat16AssertionError format_noder(rr r~r>r<listappendrV)rlrrkrrmrnrr2r dtype_cast_opdtype_cast_mod_clsdtype_cast_methoddtype_cast_method_dtypedtype_cast_scaledtype_cast_zero_pointnode_input_type_a_node_output_type_anode_input_type_c_node_output_type_cnode_a_input_qparamsnew_dtype_cast_namedtype_cast_modresultsprev_node_c_innernew_dtype_cast_nodes r/_insert_dtype_cast_after_noders6M" -Qj":.**.Rj":.** !6!;!; ;!%:%?%?? !6!;!; ;!%:%?%?? !6!;!; ;!%:%G%GG(( .. !6!>!> >"XX..2777 !6!;!; ; 6 D2  +!55M6J 3 32777 !6!;!; ; "'--0163E3E3G2H M"#1V%7%7%9$::RS T  +t$M;&&##   K &!, 4 "Q"?@P"QRV"W &-&9&9#!&(' '#23)))!3!51>B&-&9&9!'&(' '#23/ 40vd;&7%8HIIr1c |jdk(rt|jdz|}t||j}t j |r|j}t||||j|j|di|}|S|jdk(r|jdvsJd|jd|jdk(rctt||d |||}t|jdz|}|j|j|j|fi|}|Stt||d |||}t|jdz|}|j|j|j|t||d fi|}|Std |jd |jd) z+ Simple copy of node_a to graph_c. rt _shadow_copy_rurrrztarget  is not implementedrrrzhandling of node z with op )r'r r+rr)rY is_tensordetachr<r>_copy_node_from_a_to_crrr)rlrrmrnnode_a_copy_name node_a_obj node_a_copyarg_copys r/rrsyyJW89VW  &dFMM: ??: &#**,J& 3)) II'R1A  m #}}!   8V]]O#6 7 8  ==L (-(q94wH < o-   "-- 6==8+r;KK -(q94wH < o-   "--  3FD!DE K  2 2 45YvyykI\ ]  r1 subgraph_anum_non_param_args_node_ac`g}|j}||jk7r.|j|t||d}||jk7r.|j||j d}|D]}||dur|nd}|j |d}||\} } n|j |j} } d} | t| kr3| dk(rn| dk(r|dk(rn|| | |sy| dz } | t| kr3| jD]$} | dk(rn| dk(r|dk(rn || |sy| dz } &y)z This function returns `False` if the input subgraph cannot be copied by `_insert_copy_of_subgraph_a_after_input_node_c`. This usually means that there is a corner case logic for which copy is not yet implemented. rct|tr:t||}|jdk(r|jdvS|jdk(ryyt|t t fr|D]}t|tryy)NrrrtTF)r(rrr'r)rtuple) node_a_argrarg_aels r/ _can_insertz3_can_insert_copy_of_subgraph_a.._can_insertsu j$ '2:tDExx=(||';;;Z'  T5M 2  !!"d+  !r1rTnormalize_to_only_use_kwargsF) end_node start_noderrreversenormalized_argumentsargskwargslenvalues) rrrrUcur_noderrllocal_num_non_param_args_node_anorm_args_kwargs norm_args norm_kwargscur_idx kwarg_vals r/_can_insert_copy_of_subgraph_arsw E""H j++ + X+HdA> j++ + LL MMO "")/58); % ("66 t7   '%5 "I{%+[[&--{II&!|A"AQ"F"9W#5t< qLGI&%++- I!|A"AQ"F"9d3 qLG 3"H r1 input_node_cinput_node_c_2c t|tr |j}n!t|tsJ|dj}|jg}|j}||j k7r/t ||d}|jd|||j k7r/|d} t||| |||} tdt|D]} || } | } t| d| |||} | S)z* TODO(before land): real docblock rrN) r(rr=rrrrinsert)_insert_copy_of_node_a_after_input_node_cranger) rrrrrmrrn nodes_of_ar cur_node_a cur_node_c cur_idx_arks r/-_insert_copy_of_subgraph_a_after_input_node_crs,%$$,---q/''%%&J""H j++ ++HdA>!X& j++ + AJ:nj$>NJ1c*o.   *  >          r1ct|tr |jn!t|tsJ|dj|j d}||\}}n|j |j }}g} i} fd} d} | t|krB| dk(r|} n| dk(r||} n | || } | j| | dz } | t|krB|jD]-\}| dk(r|| |<n| dk(r||| |<n | | |<| dz } /t| } t|}|jdk(rqt|}t|jtsJt|j}t!||j#|j|| | |}|S|jdvsJj#|j|j| | |}|S)a Assume that node_a from graph_a has args (input, (input2)?, arg1, ...), and kwargs {kw0: kwarg0, ...} Note: input2 is optional. If it equals to None, we assume that the op has a single non-param input. If it is specified, we assume that the op has two non-param inputs. Copies the underlying values of arg1..argn and kwarg0..kwargn into gm_b, and creates the corresponding nodes in graph_c. Note: observers are ignored, so if an arg is an observer we navigate up until we find a non-observer parent. If node_a is a call_module, points the module pointed to by node_a to gm_b. Creates the copy of node_a in graph_c, with input as the first arg, and all other args and kwargs pointing to the copies of the objects in gm_b created above. An example in pictures: graph A: ======== input -------------> node_a / / / (input_2)?----------/ / / / / weight -> weight_obs / / bias ---------------- graph C (derived from B): ========================= input_node_c --> node_a_copy / / / (input_node_c_2)? / / / / weight_copy ----/ / / bias_copy ------/ rTrcFt|trt|}t|}|St|tt t jfr|Stttfr D]}t|tsJd|Stdtd)Nz/handling of Node inside list is not implementedzhandling for kwarg of type r) r(rrrintfloatrYdtyperrrrV)rhrrrmrnrs r/ _copy_argz<_insert_copy_of_node_a_after_input_node_c.._copy_args c4 0d;C(dD'BCJ c5%++6 7J  D%= 1 E%EDE EJ -d9o->>QR r1rr%)rwr)r(rr=rrrrrritemsrr r'r)r*rr<r>)rrrlrrmrrrrnew_args new_kwargsrrnew_arg kwarg_namenode_a_shadows_c_namenew_mod_copy_namemod_anode_a_shadows_crnrs `` @@r/rr@s!f,%$$,---q/''22 43#!1 ;!'fmm; HJ&G C N " a<"G \n8$G ' 23G 1  C N ""-!2!2!4 I a<%1Jz " \n8%3Jz "%.y%9Jz "1 XHK9:JKDQ yyM!K9:JKDQ&----- v}}5'/".. II((J@U  yy<<<<".. IIv}}h op0_fp32 -> a1 -> op1_fp32 -> a2 Graph B: b0 -> op0_int8 -> b1 -> op1_int8 -> b2 matched_node_pairs: {'op0': (op0_fp32, op0_int8), 'op1': (op1_fp32, op1_int8)} Graph C (A shadows B): / dequant0 -> op0_fp32 -> logger_a_0 / dequant_1 -> op1_fp32 -> logger_a_1 / / b0 -------------> op0_int8 -> logger_b_0 --------------> op1_int8 -> logger_b_1 In a nutshell, this function does the following for each node pair: * copies the necessary attributes and modules from gm_a to gm_b, keeping names unique * adds a dtype cast op (dequant, quant, etc) * adds a copy of node_a in gm_b's graph * adds loggers to the outputs of node_a and node_b Nc"t|fdS)Nc"|jSrIrJ)r env_cs r/rLz6create_a_shadows_b..load_arg..suTYY'7r1rM)rNrs r/rOz$create_a_shadows_b..load_argsq788r1rPrz$skipping shadow loggers for node_b: z, start_node_a: z , unsupportedz, unknown dtype castz, unknown input qparamsz", unhandled logic in subgraph copy_ns_logger_b_inp_rRztype z is not handled yet _dtype_cast__ns_logger_a_inp_rrr _ns_logger_a_ _ns_logger_b_).r rrSrTrr base_op_noderrr=rUr'rPrrrprintr^r+rrrrrrrrr0rr(rrCrrWrXrr]rrVrrrgetattrr4r_r)5rrrrmrr2rrrnrarO+start_node_b_to_matched_subgraph_a_and_name)end_node_b_to_matched_subgraph_a_and_name match_namematchr subgraph_bref_node_type_aref_node_type_bnode_bnode_b_is_start_nodenode_b_is_end_noder6all_op_types_support_shadowingrnode_output_type_anode_input_type_bnode_output_type_bnode_io_types_known_a_and_brr fqn_base_a fqn_base_b prev_node_brkrhprev_node_c_listrgrdtype_cast_noder4 input_logger new_loggersdtype_cast_idxdtype_cast_node_innerdtype_cast_loggernode_c_second_non_param_argrrinput_logger_modinput_logger_innergm_crs5 @r/create_a_shadows_brs^ H '#?#A gGE4%%'(G935/02-399;  E!& J-j.E.EtL-j.E.EtL     N 3J4I4IJ     J 1*2E2EF "**""aE 99 NN76;;q>8< =  &)TT#'PP #5# @G ##*)) >fE ##.H%%..5,V4 +2:;NvW[;\:]^())F)FFH'*?*G*GG ( /:;NvW[;\:]^())C)CC'=))41I($,>?RSY[_?`>ab,-@AVAVX\-],^_`34 *1):):68)LE&++&(D%%t) %2D";:;NvW[;\:]^()vtQ&O #K6(3' #5S$B' '#@))KK.0, #*%$&M!/48*C+ &/)"$+4??EE-.)* * +AP )/4@@@&( EN+FBAN,A1J 5 $ * 3 - & ( / 8 C C I I1?-.$. 1-(../@A#B$+6'6 /3+,H))4-)-12Ja3/$Q#/KK/1 $ 0@&++,% 0H28T1EU#;HdA#N38T1EU!,5+249J9J+K(9A(6),===2>K./6t=O=T=T/U,=E]],:K 0I*//0#$))#,88>>%&!"" 0&++,("%>&++&#KK#,88>>%&!"" &fkk"0")!2!268!DE&++ C aEF tW %D KK,Tl's ;` `rI)4typingrrrrrrr r rYtorch.ao.ns.fx.mappingsr torch.ao.quantization.fx.utilsr torch.ao.quantization.observerr torch.fxrrtorch.fx.graphrrns_typesrrrutilsrrrrrrrrrrr*r0rrCrjTensorrr~rrboolrrrrrur1r/rs,III @HF)&LL     ; 8C=  - ---! -  -  ------ #- -`mm04T5c?5J0Km26dE#s(O6K1Lm m  m  m`    u$ %  ellC'(  B\J \J \JtT$Z'(\J  \J  \J  \J\J\J#3,<(=#=>\J 4d \J@8 8 8  8  8  8 vHH H #H HV,d4j(),U4d#345,,  ,  ,  , ,^A d4j()A U4d#345A  A   A  A  A  A XLPg g g g  g !eJ ,B&C!CD g  gg'tC5E1F,F'GHggr1