DŽg)ddlZddlZddlZddlZddlZddlZddlmZddlmZm Z m Z m Z m Z m Z mZmZddlZddlmZddlmZerddlmZddlmZddlmZdd lmZmZdd lmZmZm Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)ejTd ejVd ejXd ejZdej\dej^diZ0 dKdZ1 dLdZ2dejfjhde e5effdZ6de e5efdejfjhddddfdZ7dejfjhfdZ8 dMde e5e5fde5de5d e9fd!Z:d"e ejfjvfd#Z< dNddddd$d%eed&e e d'e e)d(e e5d)e e'd*e e!d+e9ddfd,Z=d-d.d/ejfjvde9fd0Z>d-d.d/ejfjvde ej~j fd1Z@d-d.d/ejfjvde9fd2ZAd-d.d/ejfjvde ejfd3ZCd-d.d/ejfjvde9fd4ZDd-d.d/ejfjvde ejfd5ZEdejfjhdejfjhfd6ZFd7e ejfjvde ejfjvfd8ZG dOd7e ejfjvde ejfjvfd9ZHd7e ejfjvdeIfd:ZJd7e ejfjvde ejfjvfd;ZKdZLd?ejfjvddfd@ZMdej~jfdAZOdBZPdejfjhddfdCZQdejfjhdDddej~jdEe e5efddf dFZRdGe dHe9de fdIZSdejfjhdejjjfdJZWy)PN) Parameter)AnyDictIterableListOptionalTupleType TYPE_CHECKING)detect_fake_mode) FakeTensorConstantAttrMap)ExportedProgram)ExportGraphSignature) InputKind OutputKind) _register_pytree_nodeContext FlattenFuncFromDumpableContextFn GetAttrKeyKeyPathkeystr MappingKey SequenceKeyToDumpableContextFntree_flatten_with_path UnflattenFuncp_b_c_obj_tokenreturncddlm}|}|jDchc]7}|jtj k(r|j s |j9}}|jD]n\}}||vr |} |jd^} } | D]} t| | } | jj| dt| | ||j||p|Scc}w)Nrr.)(torch._export.passes.lift_constants_passr input_specskindrBUFFER persistenttargetitemssplitgetattr_bufferspopsetattradd) graph_signature constantsmodrconstant_attrsspecnon_persistent_buffersnamevalue_modatomsattratoms [/home/mcse/projects/flask_80/flask-venv/lib/python3.12/site-packages/torch/_export/utils.py_collect_and_set_constant_attrsrC0sI$&N$//  99 (( (  !( ( e ) ) zz#  'D4&D ' $%dE"5$' ( #s._getattrgsO"-  !D4&A= = !q%  call_moduleTF)recurseremove_duplicater(get_attr call_function)torchfx GraphModulestrgraphnodesr.metaop isinstancennModulenamed_parameters named_buffers_opsHigherOrderOperator _input_nodesproxy_COPY_META_FIELDS) r8params_buffers_to_node_metarPnoder.r] submoduler<_argentrys rB_collect_param_buffer_metadataro^s#%!,,!! Yyy 77m # f-I)UXX__5(99 5 : LGD!HL/ t0CDL )66 5 7 LGD!HL/ t0CDL 77j  f-Ii)=)=>6:+F3 77o %j KK77/ (( Y66Z'!&!A!AY D=MQRW[7 CEJY Y7YB '&rQrigmcL|jD]&}|jdd|jdd(|jjD]}|jdk(s|j |j vrG|j |j }||vr*||jD]\}}||j|<|j |jvs|j|j }||vs||jD]\}}||j|<y)zq Given that we collected param'buffer metadata before, we put them back in newly traced graph module nn_module_stackN stack_trace placeholder) valuesr3r[r\r^r.inputs_to_parametersr/r]inputs_to_buffers) rirprDmetadatarj param_namekv buffer_names rB)_populate_param_buffer_metadata_to_new_gmr}s0668* &- ]D)* ) 77m #{{g:::$99$++F !<< ;J G M M O)1'( ! ){{g777%77 D "== ;K H N N P)1'( ! ) )rQcJ|jjDcgc]-}|jjdd|jd/}}t |}| |j S|D]4}t |tjs|jj cSycc}w)Nval) r[r\r]get_detect_fake_mode_from_gm shape_envr_rWSymIntrj)rprjvals fake_moder{s rB_get_shape_env_from_gmrsHHNN   99== % 1 % D  *"-I""" $ a &66## #$ s2B Fname_map orig_namer<is_placeholdercZ||jvrtjd|}|r.|s,|jdt |jd}}nd}|d|dzx}|jvr"|dz }|d|dzx}|jvr"|||<||S|||<||S)a Renames nodes to avoid name collisions, with suffixing. name_map: map from original name to new name orig_name: mapping key name: candidate name (potentially suffixed, e.g. mul_2) is_placeholder: if the node is a placeholder, avoid detecting suffix z (.*)_(\d+)rrl)rurematchgroupint)rrr<rrndup_names rB_rename_without_collisionsrs x  - kk!nc%++a.&9!DA"V1QUG,,x1BB FA#V1QUG,,x1BB& I # I rQinput_placeholderscdtdtfd}ddl}ddlm}ddlm}t|t|k7r$tdt|dt|d i}t||D]\\}} } | jjd } t| tryt| tjs td ||d t!| t| j"t| j"k7r/td ||d| j"d| j"d t%t| j"| j"D]\} \} }t|tj&r4t|j(j*j,dk(rt/t1|j(j*j,}||vrH|j(j*j3|}| |k7r td ||d| d|d| t| tj&r!| j(j*j4snt|j(j*|j6rt9| ||<ny||j;|j(j*| |}|9td| j<d| d| d|j(j*d|d t9|d||<|j(j*|vs|||j(j*\}}|dkDr"| |krtd ||d| d|d| |t>j@ks5| |kDs.get_keystrs ({. <<<  # #q (6(12,/01 1  Ii4 44y>!B'DVF8AB<012 2rQr)_convert_range_to_int) try_solvez&Unexpected number of inputs (expected z, got )rzExpected input at z to be a tensor, but got z,Unexpected number of dimensions in input at z.shape (expected rz.shape[z] to be equal to z , but got zExpected input z] = z to be of the form z, where z is an integerrz ] to be >= z ] to be <= z to be equal to )"rrZsympy@torch._export.passes.add_runtime_assertions_for_constraints_passrtorch.utils._sympy.solverlen RuntimeErrorzipr]rr_r rWTensortypeshape enumeraterrjexpr free_symbolsnextitersubs is_numberSymbolrEqr<mathinffloat)rflat_args_with_pathrange_constraintsrrrrunification_maprrmrjnode_valjarg_dimnode_dimsymbol existing_dimsolutionmin_valmax_vals rB"_check_input_constraints_for_graphrs3W33"3 3'9#:: /01>WX\]`XaWbc8>>"c#))n4"B:hCWBXY!!) 0syykD +4C 8>>4R*SH &&GXx6HMM..;;<A!$x}}'9'9'F'F"GHF0'/}}'9'9'>'>'O "l2"."4Z5I4J'RSQTTe#/. 7)!E# 'w =$+LL$5$5$?$? !)(--*<*g, 7+4$)HHX]]-?-?$I6,"$,#3*6*9$))GA3dSZR[\77?}}7I7I6J(SYRZZh)j+&%& ?B(1+>NOF$;}}))->>+@-hmm.@.@A,(#Q;&0&2&8H9M8NgVWUXXc'.iz'%D'"!"#TXX-&0&2&8H9M8NgVWUXXc'.iz'%D'"!" (*&x>$,MM$6$6$@$@%*0H1E0FgaSPa'j 7)=KH R3s"3 4CyDN*cXo"(H)=(>>NxjXbcfbghs[rQ)serialized_type_nameto_dumpable_contextfrom_dumpable_contextreturn_none_fieldscls flatten_fn unflatten_fnrrrrc tjs Jddtdtttt fffd }dt tdt dtffd }dtdtttt fffd } n|||n|}|du|duz rtd d t||| || y) Nz7Only dataclasses can be registered with this function: objr&cg}g}g}tj|D]\}|jt||j}}|r#|j ||j |L|j |^|||gfSN) dataclassesfieldsr<r1append)r flattened flat_names none_namesfr<rrs rBdefault_flatten_fnz=register_dataclass_as_pytree_node..default_flatten_fnls   ##C( (AQVV 4#D"4  %!!$'!!$'  (:z222rQrucontextc n|\}}ditt||tj|S)N)dictrfromkeys)rurrrrs rBdefault_unflatten_fnz?register_dataclass_as_pytree_node..default_unflatten_fnys5!( JPT#j&12PdmmJ6OPPrQc|\}\}}t||Dcgc]\}}t||fc}}|fScc}}wr)rr)rrrrrzr{rs rBdefault_flatten_fn_with_keyszGregister_dataclass_as_pytree_node..default_flatten_fn_with_keys}sC.8o+ +J /2:y/IJtq!A"JJVVJs<z7Both to_dumpable_context and from_dumpable_context for z must be None or registered.)rflatten_with_keys_fnrr) r is_dataclassrr rrr ValueErrorr) rrrrrrrrrrs `` ` rB!register_dataclass_as_pytree_noder^s  # #  G @FG  3 3d3i.@(A 3QXc]QWQQW#W%S 78J2KW *5;MJ#/#;z"sequential_split..s Yt_rQT)keep_original_orderkeep_original_node_name)torch.fx.passes.split_modulerr[r\_codegen recompile)rpnode_call_backrsplit_idrjnew_gmrs @rBsequential_splitrs :IH# $  MH" $#   $ $ FHH--FLL  MrQr\c>|Dcgc] }||s |c}Scc}w)z:Returns the nodes that match the node_call_back as a list.rr\rrjs rB nodes_filterrs" ;TnT&:D ;; ;s cLt||r|nd}t|dkDr|dSy)z Returns the first node that matches the node_call_back. If no node matches, returns None. When node_call_back is None, returns the first node in the node list. cy)NTrrjs rBrznodes_first.. srQrN)rr)r\rrets rB nodes_firstrs, unDU VC 3x!|1v rQc,tt||S)z:Returns the number of nodes that match the node_call_back.)rr)r\rs rB nodes_countr s |E>2 33rQc$|D] }|| |S)z Sequentially visit the nodes list and invoke node_call_back on each element. Returns the nodes list after the node_call_back is invoked on each element. rrs rB nodes_mapr s t LrQold_nodenew_nodec|j||jj|jj |y)z5 Replace all uses of old_node with new_node. N)replace_all_uses_withusersclearr[ erase_node)r rs rB node_replace_r"s4 ""8, NN NNh'rQ call_mod_nodec |jdk(sJ|jj}t|jt sJt ||j}d|jjD}d|jjD}|jjDcgc]}|jdk(s|}}t||jD]7\}}t|tjjsJt||9|jj|5|D])}|jj|} t|| +t!|dkDr4t!|dk(rt!|djdk(sJ|djd t tjjr' j"j%t| nt t&t(fr~ D] }|j"j+|d"t-t'|j"j/d} t1| fd|jj3|n3t5d t7 d |jj3|d d d |j9|j;|Scc}w#1swY0xYw) z Inline the submodule of the given node into the parent module. Note: we only support the case where submodule takes tensors inputs. rRc3@K|]}|jdk(s|yw)rtNr^.0rjs rB znode_inline_..6s KD$'']2J4 Ksc3>K|]}|jdvs|yw))rtoutputNrrs rBrznode_inline_..7s! tww>W/W srrrc^|jdk(xr|jtjk(S)NrV)r^r.operatorgetitemrs rBrznode_inline_..Vs)O!;"8 x'7'77rQc<t||jdS)Nr)rargs) get_item_node new_outputs rBrznode_inline_..\s"-%"=#5#5a#89+rQzUnsupported output type z2. Expect it to be a Node or a list/tuple of Nodes.N)r^r[ owning_moduler_r.rZr1r\rr"rWrXNoderinserting_before node_copyrrrlisttupler3rkeysr rNotImplementedErrorrdelete_all_unused_submodulesr) rrpsub_gmphsbodyrjrphrmrget_item_usersr$s @rB node_inline_r3+s   } ,, ,    * *B m**C 00 0 R-- .F KFLL.. KC ++ D &||11 ItTWW5Hd IF IsM../C#uxx}}---b#  " "= 1': *Dxx))$/H $ ) * v;?v;!#F1INN(;q(@ @@*J*ehhmm4  &&(mZ8Ju 6&.DJJNN6!9-.".,,11348" "##..}=).tJ/?.@@rs    * *= 9O':R##%LLN IcJ ':':s-K*K*3F K//K8ctj|j}|jd}dtj i}g}|j D]d\}}t|j|Dcgc]}|j}}|D]-} | dk(r |jtj| |/ftj|Scc}w)z Get source code and parse argument names using AST. The function returns a signature of the forward() function. # TODO: Directly provide inspect.signature compatible TS-d module. rr"self) parameters) astparsecoder0rPOSITIONAL_OR_KEYWORDr/r1r"rmrinspect Signature) r8ast_mod ast_func_def arg_type_map param_listarg_type param_typea arg_name_listarg_names rB&_get_torch_jit_trace_forward_signaturerFnsii!G$+LLOLI;;>"c)ns;7G&GG  J G  , 388Y .+ . 8 88rQcg}|jjD]p}|jdk(st|jt j jsC|jjdk(r`|j\}}}}|jt||j|f|jt||j|f|jjdk(rG|jd|jdd}}|jt||j|f|jjdk(s7|j\} } } |jt|| j| | zfs|D]\}} i} t|jjD]q\}}|t| kr8| |j| |j<| |jx|_|_Lt| |j|j|_st!||j#y)a0 Propagate placeholder names from the top-level graph into HigherOrderOp subgraphs, and handle collisions with non-placeholders by count suffixing. Different HOO subgraph types have different input schemas, so we first enumerate them and gather the top-level named placeholder nodes. rVcondwrap_with_set_grad_enabledrrNmap_impl)r[r\r^r_r.rWrdre_name_argsrr1rrr<r_name_hoo_subgraph_placeholdersr)rpsubgraph_ph_tuplesrjrl true_graph false_graph cond_argssubgraphr/ body_grapharrayr"hoo_phsris rBrYrYsRT 77o %* KK77+ {{  F*8< 5:{I"))72z7H7H+I9*UV"))72{7I7I+JI*VW""&BB $ 1 tzz!"~#"))72x+G*MN""j0*.**' E4"))R!2!23UT\B&0 '#% !5!56 WGAt3w<&-ajoo#*1!*//9 DK6xDIIV  W (1 rQexport_graph_signaturer7c >d}di}t|||} t| \} } |jD cgc]5} | jtj k(r| j j7} } t| | D]J\\}}}|s t||ttj djfd|DzdL|jD]} | jtj k(r!| jtjk(rd}n || jj}tj dd|}t|| j jt| j|zd|j"j$D]3}|j&d k(rt||j|j5|j"j$D]`}|j&d k(r,|j|vsJ||jx|_|_ >|j|vsM||j|_bt)||j+|jD]} | j j|vsJ|| j j| j _| jtj,k(sc| j|vsr|| jd d | _ |j.D]} | j j|vr(|| j j| j _| jt0j2k(sa| j|vsp|| j| _ t5|j7D]o}||}||vs t9|t:j<r(||}||k7s3tj>d |sJ|ttj,|zk7sh|||<||=qy cc} w) aQ This pass is run at the end of _export_non_strict() to assign better placeholder node names: - User inputs: These follow the signature of mod.forward(), e.g. forward(x, y) produces nodes x, y. For nested inputs from dictionaries, lists, tuples, or dataclasses, the names are a concatenation of the path to the tensor. e.g. x = { 'a': torch.randn(), 'b': [torch.randn(), torch.randn()] } produces nodes x_a, x_b_0, x_b_1. - Parameters/buffers/constants/custom objects: These follow the FQN of the object, prefixed by "p", "b", "c", "obj" respectively. e.g. self.bar.l0.weight produces "p_bar_l0_weight". - Effect tokens: These are named token, token_1, ... c|jdr|tdd}n|jdr|tdd}tjdd|}|S)N L__self___self_ [^a-zA-Z0-9]rl) startswithrrsubxs rB _strip_namez,placeholder_naming_pass.._strip_namesS << %#l#%&A \\' "#g,.!A FF?C +rQc0t|tr,tjddt |j }|St|t rt |jSt|tr |jStdt|d|)NrhrlzPytree key of type z not handled for ) r_rrrjrZkeyrrrr<rrrks rB_extract_pytree_keyz4placeholder_naming_pass.._extract_pytree_keyst a $SZ8AH ; 'quu:  : &66M!4T!WI=NqcRS SrQrlc3JK|]}|jywr)lower)rrlrps rBrz*placeholder_naming_pass..s La.q1779Ls #T)rr rhrtNz arg(\d+)_1) rRrr*r+r USER_INPUTrmr<rrplaceholder_prefixesjoinTOKENr.rrrrjr[r\r^rYr CUSTOM_OBJ output_specsrUSER_INPUT_MUTATIONr)r+r_rWrr)rprcr8rOrPfake_params_buffersr7rmr combined_argsrrlr:user_input_namesarg_pathrmuser_input_name base_namerjr<constantnew_namerps @rBplaceholder_naming_passrs6 T "H.c9kJM3MB+66  99 ,, ,  -00CEU,V(3  &$Y%9%9:((L8LLM#  '22  99 ,, ,  99  'I#DKK0668IFF?C; "  HHMM  +i 7   (C 77m # "8TYY BC , 77m #99( ((&.tyy&9 9DI YY( " +DI ,$B'LLN'224xx}}((( / II-- -$++2I"4;;/3DK 4'330 88==H $$TXX]]3DHHM 99 66 64;;(;R"4;;/DK 0Y^^%& $T? 8 J ell%  ~HD HH]D1 4Y5I5I JT QQ&. (#dO $Us:Prin_placec|r6|jD]!\}}t|dst||d#|Si}|jD]8\}}t|dr"|jj ||<4|||<:|S)z If `in_place` is false, return a new copy of `state_dict` with "proxy" removed from `v.__dict__`. `v` is the values in the dictionary. If `in_place` is true, modify `state_dict` in place. rg)r/hasattrdelattrclonedetach)rrrzr{new_state_dicts rBremove_proxy_from_state_dictrMs $$& 0DAqq'" 1 w/ 0$$& &DAqq'"$%GGI$4$4$6q!$%q!  & rQcDg}g}|jjD]}|jdk(rMd|jvr?|jd}|2t |t j sM|j|_t|dk(snd|jvsd|jvsd}d|jvr|jd}nd|jvr|jd}|t |t j s|j|t||zS)a For a given graph module, we look at the "val" of placeholder nodes to find the fake inputs. Additionally, if gm doesn't have placeholders, we further look at the "example_value" or "val" of other nodes. If no fake mode is found, we return None for fake_mode. rtrNr example_value) r[r\r^r]r_rWrrrr )rp fake_inps fake_valsrjfake_vals rBrrbs%'I$&I+ 77m #(:yy'H# 8U\\(J  * ^q tyy (ETYY,>H$))+99_5$))#99U+# 8U\\(J  *+ I 1 22rQ)r&r)rFrrDr)F)NNr)Xr7rr;rrrrtypingrrrrrr r r rW torch._guardsr torch._subclasses.fake_tensorr r)r torch.exportrtorch.export.graph_signaturerrrtorch.utils._pytreerrrrrrrrrrrrrt PARAMETERr,CONSTANT_TENSORrxrwrurCrGrXrYrZror}rboolrr&rrrr`rrrrrrrrrrr r rr3rarFrRrYrr _subclasses fake_tensorFakeTensorModerrrQrBrs   RRR *4H,A>    ""  d t & OOW <  # .D  3'(<(<3'c3h3'l)!%c3h) )$) )8 $uxx33 $&! 38n  :UXX]]+H)-,04 +/9==A$4 c4%4=)4 #3- 4 ""56 4$$9:44 4nE'Euxx}}EE    ((-- ehh  !  B(B B$B  ((--ell&R R ((--R R  ((--ell$--%((BVBV8<UXX]]+<UXX]]@S< 04     ehhmm 4tEHHMM*4s4 T%((--(T%((--=P(EHHMM(UXX]](t(@ @$@F442 9'(<(<''TJ$ J$2J$ J$CH~J$ J$ZTTd*3 3 ""113rQ