DŽgK]ddlZddlZddlZddlZddlZddlZddlZddlZddlZddl m Z m Z ddl m Z mZmZddlmZddlmZmZmZmZmZmZmZddlmZmZmZmZmZddl m!Z!dd l"m#Z#ddl$m%cm&Z'gd Z(ejRe*Z+e!d Gd dZ,e!d GddZ-gdZ.e!d GddZ/e!d Gdde/Z0e!d dZ1e!d Gdde2Z3e!d GddZ4e!d Gdde4Z5e!d Gdde4Z6e D] Z7d Z8e8e7d!Z9eD] Z:e9e: y)"N) is_dataclassfields) magic_methodsreflectable_magic_methodsGraph)CapturedTraceback)TupleDict OrderedDictOptionalAnyIteratorCallable)TargetNodeArgument base_types map_aggregate) compatibility)check_for_mutable_operation) TracerBaseGraphAppendingTracer TraceErrorProxy AttributeParameterProxyScopeScopeContextManagerFis_backward_compatiblec,eZdZdZdedeffd ZxZS)ra7 Scope object that records the module path and the module type of a module. Scope is used to track the information of the module that contains a Node in a Graph of GraphModule. For example:: class Sub(torch.nn.Module): def forward(self, x): # This will be a call_method Node in GraphModule, # scope for this would be (module_path="sub", module_type=Sub) return x.transpose(1, 2) class M(torch.nn.Module): def __init__(self) -> None: self.sub = Sub() def forward(self, x): # This will be a call_method Node as well, # scope for this would be (module_path="", None) x = x.transpose(1, 2) x = self.sub(x) return x module_path module_typec>t|||_||_yN)super__init__r#r$)selfr#r$ __class__s V/home/mcse/projects/flask_80/flask-venv/lib/python3.12/site-packages/torch/fx/proxy.pyr(zScope.__init__9s &&)__name__ __module__ __qualname____doc__strrr( __classcell__r*s@r+rr s .'C'c''r,rc8eZdZdZdedeffd ZdZdZxZS)rz A context manager to track the Scope of Node during symbolic tracing. When entering a forward function of a Module, we'll update the scope information of the current module, and when we exit, we'll restore the previous scope information. scope current_scopect|tj||_|j|_|j |_||_yr&)r'r(copy _prev_scoper#r$_scope)r)r5r6r*s r+r(zScopeContextManager.__init__FsD 99U+)55)55 r,c|jSr&)r:r)s r+ __enter__zScopeContextManager.__enter__Ts {{r,c|jj|j_|jj|j_yr&)r9r#r:r$)r)argss r+__exit__zScopeContextManager.__exit__Ws5"&"2"2">"> "&"2"2">"> r,) r-r.r/r0rr(r=r@r2r3s@r+rr?s)   r,r) nn_module_stacktorch_fnsource_fn_stack original_aten recompute ac_graph_id from_nodequantization_tag_numeric_debug_handlecustompartitioner_tagTcBeZdZUeed<dZeed<dZeed<dZeed<dZ eed<dZ e ed<e ed <e e ee effed <ee ee effed <ed  d$de dedeedfdee efdee deedefdZed deddfdZed  d%de dedeedfdee efdee deedeegdffdZdZed dedefdZed d ddefd!Zed d ddefd"Zed d ddefd#Z y)&rgraphFrecord_stack_tracescheck_mutable_operations trace_assertsproxy_buffer_attributesforwardtraced_func_namer5 module_stacknode_name_to_scopeTr Nkindtargetr?.kwargsname type_exprreturnc.|dk(r|jr t||||jj||||||}|jj |jj f|j|j<tjrtj}|jd} | r| |_ tD],} | |vstj|| |j | <.t"j$j'dz } |jdddkDr|dd} | |j d<n8|j(r,tj|j(|j d <t*j-d ||S) a' Inserts a graph node given target, args, kwargs, and name. This method can be overridden to do extra checking, validation, or modification of values used in node creation. For example, one might want to disallow in-place operations from being recorded. call_function stack_tracer in_grad_fnrgrad_fn_seq_nrseq_nrrAzcreate_node %s)rOrrM create_noder5r#r$rUrY fx_tracebackhas_preserved_node_metaget_current_metagetr^_COPY_META_FIELDSr8metatorchautograd_get_sequence_nrrTlogdebug) r)rVrWr?rXrYrZnode current_metar^field new_seq_nrs r+rczTracerBase.create_nodesg ? "t'D'D 'f =zz%%dFD&$ R JJ " " JJ " ".  *  / / 1+7+H+H+JL&**=9K#. + FL('+yye1D'EDIIe$ F 88:Q>J a014)*:;B? ",DIIh    +/99T5F5F+GDII' ( "D) r,rorct||Sr&)r)r)ros r+proxyzTracerBase.proxysT4  r,proxy_factory_fnc|j|}|j|} t|tsJt| tsJ|j |||| ||} |s|j | } n|| } |j rV| jjs@djtjj| j_| S)ao Create a Node from the given arguments, then return the Node wrapped in a Proxy object. If kind = 'placeholder', then we're creating a Node that represents the parameter of a function. If we need to encode a default parameter, we use the ``args`` tuple. ``args`` is otherwise empty for ``placeholder`` Nodes. ) create_arg isinstancetupledictrcrtrNror^joinr extractformat) r)rVrWr?rXrYrZruargs_kwargs_rorts r+ create_proxyzTracerBase.create_proxys%//&)%''''4(((feWdINJJt$E$T*E  # #EJJ,B,B%'WW->-F-F-H-O-O-Q%REJJ " r,ctjgd}r&jrtfd|Drnr&syS)zf Find the Python stack frame executing the user code during symbolic tracing. ) ztorch/fx/proxy.pyztorch/fx/_symbolic_trace.pyz%torch/fx/experimental/proxy_tensor.pyz torch/_ops.pyztorch/_tensor.pyztorch/utils/_python_dispatch.pyztorch/_prims_common/wrappers.pyztorch/_refs/__init__.pyz%torch/_refs/nn/functional/__init__.pyztorch/utils/_stats.pyc3jK|]*}jjj| ,ywr&)f_code co_filenameendswith).0fileframes r+ z.TracerBase._find_user_frame..s)^T!9!9!B!B4!HH^s03N)inspect currentframef_backall)r)pt_filesrs @r+_find_user_framezTracerBase._find_user_framesN$$& LLE^U]^^  r,ac t|tst|dr|jSt|tr.t|dr"t fd|D}t ||St|tt frt |fd|DSt|trRi}|jD];\}jfd}t|j||<=|St|trXtj|jj|jj|jSt|trXtj|jj|jj|jSt|t j"j$t j"j&fr|St|tr |j(St+|rdt-|Dcic]2}|j.jt1||j.4}}j3d|j4d|St|gt6t8j:s||dur|St=d t |cc}w) z A method that lowers the objects seen as arguments during symbolic evaluation into Argument types that can be stored in IR. Can be override to support more trace-specific types. __fx_create_arg___fieldsc3@K|]}j|ywr&rxrelemr)s r+rz(TracerBase.create_arg..s=4.=c3@K|]}j|ywr&rrs r+rz(TracerBase.create_arg..s?T4??40?rcBt|trtdy)NzJKeys for dictionaries used as an argument cannot contain a Node. Got key: )ryr RuntimeError)argks r+no_nodez&TracerBase.create_arg..no_nodes1!#t,*,==>C,ABB-r,r].zargument of type: )ryrhasattrrrztypelistr{itemsrxrslicestartstopsteprangerj_ops OpOverloadHigherOrderOperatorrorrrYgetattrrcr*renumEnumNotImplementedError) r)rr?rvrrqrXrs ` @r+rxzTracerBase.create_argsE!U#3F(G&&t, , 5 !ga&;=1==D47D> ! E4= )47?Q?? ? 4 A *1OOA&Ba)q)! *H 5 !14??1663JDOO\]\b\bLcd d 5 !14??1663JDOO\]\b\bLcd d EJJ115::3Q3QR SH a 66M ?W]^_W`aeejj$//'!UZZ2H"IIaFa##OQ[["fM M 3Z33 4 Q#XH!$6tAwi"@AA bs7Kobjctd)aFCalled when a proxy object is being converted to a boolean, such as when used in control flow. Normally we don't know what to do because we don't know the value of the proxy, but a custom tracer can attach more information to the graph node using create_node and can choose to return a value. zFsymbolically traced variables cannot be used as inputs to control flowrr)rs r+to_boolzTracerBase.to_bool7sabbr,ctd)aACalled when a proxy object is being iterated over, such as when used in control flow. Normally we don't know what to do because we don't know the value of the proxy, but a custom tracer can attach more information to the graph node using create_node and can choose to return an iterator. aHProxy object cannot be iterated. This can be attempted when the Proxy is used in a loop or as a *args or **kwargs function argument. See the torch.fx docs on pytorch.org for a more detailed explanation of what types of control flow can be traced, and check out the Proxy docstring for help troubleshooting Proxy iteration errorsrrs r+iterzTracerBase.iter@s23 3r,c$t|dS)zCalled when a proxy object is has the keys() method called. This is what happens when ** is called on a proxy. This should return an iterator it ** is suppose to work in your custom tracer. keysrrs r+rzTracerBase.keysPs &yf%''r,NN)NNN)!r-r.r/r__annotations__rNboolrOrPrQrSr1rr r rr rrrrr rrcrtrrrrxrrrrrr,r+rrls9 L!&$&',t+ MD %*d*&c% Mc5c?233S%T "2233$/fj0444v4 3/4:>sH}:M4V^_bVc4 ( 49=404l$/!$!7!0!$/MQCGfE#s(OUYZ]_bZbUc#C==Ec]'/'@0>>$/5BC5BH5B05Bn$/c7ctc0c$/ 3 3H 30 3$/((C(0(r,rc$eZdZdeffd ZxZS)rrMct|||_tdd|_t j |_i|_y)Nrw) r'r(rMrr5 collectionsr rTrU)r)rMr*s r+r(zGraphAppendingTracer.__init__\s;  2t_ '335"$r,)r-r.r/rr(r2r3s@r+rrZs%e%%r,rc |sJyr&rxs r+ assert_fnrcs H1r,c eZdZy)rN)r-r.r/rr,r+rrgsr,rceZdZdZedddeddfdZd efd Zdd Z d e fd Z d e fd Z dZ ddZd edfdZdZd efdZeddZdZeddZy)ra ``Proxy`` objects are ``Node`` wrappers that flow through the program during symbolic tracing and record all the operations (``torch`` function calls, method calls, operators) that they touch into the growing FX Graph. If you're doing graph transforms, you can wrap your own ``Proxy`` method around a raw ``Node`` so that you can use the overloaded operators to add additional things to a ``Graph``. ``Proxy`` objects cannot be iterated. In other words, the symbolic tracer will throw an error if a ``Proxy`` is used in a loop or as an ``*args``/``**kwargs`` function argument. There are two main ways around this: 1. Factor out the untraceable logic into a top-level function and use ``fx.wrap`` on it. 2. If the control flow is static (i.e. the loop trip count is based on some hyperparameter), the code can be kept in its original position and refactored into something like:: for i in range(self.some_hyperparameter): indexed_item = proxied_value[i] For a more detailed description into the Proxy internals, check out the "Proxy" section in `torch/fx/README.md` Tr NrotracerzOptional[TracerBase]cN|t|j}||_||_yr&)rrMrro)r)rors r+r(zProxy.__init__s# >)$**5F  r,r[c6d|jjdS)NzProxy())rorYr<s r+__repr__zProxy.__repr__s 'q))r,ct||Sr&r)r)rs r+ __getattr__zProxy.__getattr__sq!!r,c|jSr&__dict__r<s r+ __getstate__zProxy.__getstate__s }}r,cddl}i}|jjD]\}} |j||}|||< d|vsJd|vsJt|d|d}|jD]\}}||j|<|S#t$r@t j d||jj|j|}YwxYw)NrzVShallow copy %s of Proxy because it cannot be deepcopied. Proxy is created for node %sror) r8rrdeepcopy ExceptionrmwarningrorYr)r)memor8new_dictrrnew_obj new_proxys r+ __deepcopy__zProxy.__deepcopy__s MM'') "DAq ''$--40 "HQK "!!!8###(6*HX,>? NN$ &DAq$%I  q ! & ' 345tyy~~G$$))A,  'sB  ACCc||_yr&r)r)ds r+ __setstate__zProxy.__setstate__s  r,cF|jjdd|f|z|S)N call_method__call__)rrr)r?rXs r+rzProxy.__call__s${{'' zD7T>SYZZr,ctj}|J|j}|Jtt j |j }tjdk\rddl m }|||jd}n|jdz}||}|jdk(rfdt|jDSjj!S) N r bisect_leftc|jSr&offsetrs r+z Proxy.__iter__..s STS[S[r,keyUNPACK_SEQUENCEc3(K|] }| ywr&r)rir)s r+rz!Proxy.__iter__..s8DG8s)rrrrdisget_instructionsrsys version_infobisectrf_lastiopnamerargvalrr)r)r calling_frame inst_listrinst_idxinsts` r+__iter__zProxy.__iter__s$$&    (((--m.B.BCD   w & *"9m.C.CI[\H$,,1H" ;;+ +8U4;;%78 8{{%%r,c\|jjdtj|fiSNr])rroperatorabsr<s r+__abs__z Proxy.__abs__s${{''wPRSSr,c|jjr4tj}|J|j}|Jt t j|j}tjdk\rddl m }|||jd}n|jdz}||}|jdk(r||dz}|jJ||jdzdz }|jd k(xr|j d k(xs|jd k(} | r3|jd k(r$|jj#d t$|fiy|jj'|S)Nrrrc|jSr&rrs r+rz Proxy.__bool__..s ahhr,rrPOP_JUMP_IF_TRUEr LOAD_GLOBALAssertionErrorLOAD_ASSERTION_ERROR RAISE_VARARGSr]T)rrPrrrrrrrrrrrrrrrrrr) r)rrinstsrcurrfirstlaststarts_with_asserts r+__bool__zProxy.__bool__sO ;; $ $((*E$ $$!LLM , ,,--m.B.BCDE7*.!%)>)>DVW#++q0:D{{00cAgxx+++TXX]Q./&+llm&C&h XhHh'P).9O)O#%$++*HKK,,_i$RTU{{""4((r,c8|jj|Sr&)rrr<s r+rz Proxy.keyss{{%%r,ctd)Nz'len' is not supported in symbolic tracing by default. If you want this call to be recorded, please call torch.fx.wrap('len') at module scope)rr<s r+__len__z Proxy.__len__s*+ +r,c t|r|nd}|r|ni}ifd}tjjj||tjjj||t dkDr(t dt jd|ttj}t|tjjr.|jf|z}|jd|j||Stj j#|r|jd|j$||St|tj&j(r t d|jd||||j*j-|j$ S) Nrc>t|rd|j<yyr&)ryr)rclstracerss r+ find_tracerz-Proxy.__torch_function__..find_tracers !S!$(!"r,rz!Found multiple different tracers z" while trying to trace operations rz1Unable to symbolically trace HigherOrderOperatorsr]rY)rjfxrorlenrrrnextrry_C ScriptMethodownerrrY overridesis_tensor_method_or_propertyr-rrrM_target_to_str)r orig_methodtypesr?rXrrrs` @r+__torch_function__zProxy.__torch_function__sst!r$& )  ##D+6  ##FK8 w*+ k588#8#8 9%%'$.D&&}k6F6FfU U ?? 7 7 D&&}k6J6JDRXY Y+uzz'E'EF"#VWW&& T6,2LL,G,G H\H\,]'_ _r,r&)r[r)r[rr)r-r.r/r0rrr(r1rrr rrrrrrrrrrr classmethodr'rr,r+rrks8$/T+A0*#*" dD,[&(7+&"T)$)8$/&0&+ __r,rcJeZdZeddedefdZedZdZ y) rTr rootattrcP||_||_|j|_d|_yr&)r*r+r_node)r)r*r+s r+r(zAttribute.__init__s"  kk %) r,c|jG|jjdt|j|j fij |_|jSr)r-rrrr*r+ror<s r+rozAttribute.nodesK :: 11/7TYYX\XaXaLbdfgllDJzzr,cn|jjd|j|jf|z|S)Nr)rrr+r*rs r+rzAttribute.__call__"s.{{'' tyy499,QUBUW]^^r,N) r-r.r/rrr1r(propertyrorrr,r+rrsA$/*U*#*0* _r,rcpeZdZdZdedeffd ZdefdZe dZ dZ d Z e d Z d Zd ZxZS) rz A special proxy which lets "shape", "size", "dim", and a few other attribute accesses pass through to the underlying module parameter object, so that conditional tests on these attributes will not throw exception during tracing rroct|||t|tjj sJ||_||_yr&)r'r(ryrjnn ParameterparamrY)r)rrorYr5r*s r+r(zParameterProxy.__init__-s: v&%!3!3444  r,r[c"d|jdS)NzParameterProxy(rrr<s r+rzParameterProxy.__repr__3s  1--r,c.|jjSr&)r5shaper<s r+r8zParameterProxy.shape6szzr,c6|jjSr&)r5sizer<s r+r:zParameterProxy.size:szz  r,c6|jjSr&)r5dimr<s r+r<zParameterProxy.dim=szz~~r,c.|jjSr&)r5ndimr<s r+r>zParameterProxy.ndim@szzr,c6|jjSr&)r5numelr<s r+r@zParameterProxy.numelDszz!!r,c6|jjSr&)r5nelementr<s r+rBzParameterProxy.nelementGszz""$$r,)r-r.r/r0rrr(r1rr0r8r:r<r>r@rBr2r3s@r+rr&sc z .#.  ! "%r,rcjfd}|_djdd}tt||y)Ncj|dj}tt}|jd|||S)Nrr])rrrr)r?rXrrWmethods r+implz_scope..implMs3!W^^FXv.F&&fM Mr,___)r-stripsetattrr)rErFas_magics` r+r:r:Ls6 N  S)*"-x&r,cxdjdd}fd}||_||_tt||y)N__rrHrGcdtt}|jjd|||fiSr)rrrr)r)rhsrWorig_method_names r+rFz!_define_reflectable..implYs/#34{{''#tbQQr,)rIr-r/rJr)rP method_namerFs` r+_define_reflectablerRVsA(..s34B7KR DM#D E;%r,);rrr8rrjrrrlogging dataclassesrrrMrrrtorch.utils._tracebackr typingr r r r rrrrorrrrr_compatibilityroperator_schemasrtorch.fx.tracebackr tracebackrd__all__ getLoggerr-rmrrrhrrr ValueErrorrrrrrEr:rRrPrr,r+r^s ,CB4NNNCC)9)) " g!e,''-'<e,-: d+i(i(,i(Zd+%:%,%e, - d+  , d+b_b_,b_Jd+__,_(e,!%U!%-!%H F' 6N &2*()*r,