jQ UddlmZ ddlZddlZddlZddlZddlZddlZddlZddl Z ddl Z ddl Z ddl Z ddl Z ddlZddlZddlmZddlmZmZddlmZmZddlmZddlmZmZmZmZmZmZm Z m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)m*Z*m+Z+ddl,m-Z-m.Z.m/Z/ddl0Z0ddl1Z0ddl2m3cmZ4ddl5m6cm7Z8dd l0m9Z9m:Z:m;Z;dd lZ>m?Z?m@Z@dd lAmBZBmCZCmDZDmEZEdd lFmGZGdd lHmIZIddlJmKZLddlMmNZNmOZOmPZPmQZQmRZRddlSmTZTmUZUddlVmWZWddlXmYZYddlZm[Z[m\Z\m]Z]m^Z^m_Z_m`Z`maZambZbddlcmdZdddlemfZfddlgmhZhddlimjZjddlkmlZlmmZmmnZnddlompZpmqZqmrZrmsZsddltmuZumvZve)rddlwZwddl0mxZxddlymzZzddl{m|Z|e!Z}e!Z~ejeZddlZddlmZGdd eZGd!d"eZe0jjjZgd#Zd$Zd%Zd-d*Zd+Zd,ed-<e*d.Ze*d/ejeejZGd0d1Zd.d5Zd/d9Zedd0d;ZGd<d=eZd1dAZe+e0j;efZd,edB<d2dFZd3d4dKZe+e0j;e0j:e0j9eeefZd,edL<d5dMZd6dOZd7dQZd8dTZd9dXZd:d[Zd;d`Ze+e0jxe'e0jxdaffZd,edb<ddiZ d?d@dsZdAdtZdBduZdCdwZdDdzZe+e;e:e9eeeeje0jxfZd,ed{<e+ee%efZd,ed|<dEdZdFdZdGdZdHdZdIdZdJdZdKdZedjGddZedjGddZedjGddZedjGddZ dLdMdZdNdZdNdZdOdZdPdZdQdZÐdRdZĐdSdZ dTdUdZdddUdZǐdVdZȐdWdXdZɐdYdZʐdZdZːd[dZ̐d\dZ͐d]d„ZdjdÜd^dƄZϐd_dȄZGdɄdeZedjGd˄d̦ZedjGd̈́deҦZedjGdτdeҦZe+eedfZedjGdфdeҦZ֐d`dՄZאdadքZؐdbd؄ZedjGdلdڦZedjGdۄdeڦZedjGd݄deۦZedjGd߄deܦZݐdcdZe`fZߐdddZdedZeddfdZeddgdZdhdZdidZdjdZdkdZdldZeee dZ d3dmdZedjGddZGddefZGddejZGddeefZe-d e Gd d eZGd deZGddefZGddZejZedjGddZeGddZedndZGddZdodZdpdZGdde0j3jZdqd!Zdrd&ZGd'd(efZdsd+Zdtd,ZdS(u) annotationsN) defaultdict)_GeneratorContextManagercontextmanager) dataclassfield)Enum)AnyCallablecastCounter DefaultDictDictIteratorListMappingNoReturnOptionalSequenceSetTupleType TYPE_CHECKINGTypeVarUnion) deprecated TypeAlias TypeGuard)SymBoolSymFloatSymInt) ShapeGuardSLocSourceTracingContext)dtrace_structured LazyString structuredtrace_structured) is_sparse_any)signpost_event)_config)FakeTensorMetarecord_shapeenv_eventreplay_shape_env_eventsshape_env_check_state_equal ShapeEnvEvent)SymNodeSymTypes) OrderedSet)is_traceable_wrapper_subclass) Application CeilToIntCleanDivFloorDiv FloorToInt!IsNonOverlappingAndDenseIndicatorMod PythonMod)int_oo) PythonPrinter SingletonInt) try_solve) make_symbolsymbol_is_typeSymT) bound_sympySymPyValueRangeAnalysisValueRangeError ValueRanges)CapturedTraceback format_frame)Tensor FakeTensor) BoolLikeType)Sc,eZdZUded<dfd ZxZS) GuardOnDataDependentSymNode sympy.Basiccondargsr returnNonecBtj|||_dSN)super__init__rT)selfrTrU __class__s VC:\Projects\Historical\venv\Lib\site-packages\torch/fx/experimental/symbolic_shapes.pyr[z$GuardOnDataDependentSymNode.__init__vs"$ )rTrSrUr rVrW)__name__ __module__ __qualname____annotations__r[ __classcell__r]s@r^rRrRssKr_rRceZdZdS)PendingUnbackedSymbolNotFoundNr`rarbr_r^rgrg{Dr_rg)"has_symbolic_sizes_stridescreate_contiguousShapeEnvis_concrete_intis_concrete_float guard_int guard_float guard_scalarcanonicalize_bool_exprhint_int SYMPY_INTERP free_symbolsis_symbol_binding_fx_nodeis_concrete_bool is_nested_intSHAPEENV_EVENT_KEYCURRENT_NODE_KEYhas_free_symbolshas_free_unbacked_symbolssym_eqSymbolicContextStatelessSymbolicContextStatefulSymbolicContextSubclassSymbolicContextstatically_known_trueguard_size_obliviouscheck_consistentcompute_unbacked_bindings ConvertIntKeyrebind_unbackedresolve_unbacked_bindingsis_accessor_nodeValueRangesSLocSymIntEqByExprshapeenv_event current_node wrapped_f$functools._lru_cache_wrapper[object]rVrWcltd|j|dS)Nzlru_cache_stats %s: %s)logdebugr`cumulative_cache_info)rs r^log_lru_cache_statsrs8II )"4i6U6U6W6Wr_zsympy.logic.boolalg.Booleanr SympyBoolean_T_SympyTcFeZdZUdZded<ddZddZdd ZddZddZ dS)ra This is a wrapper around SymInt which has alternative semantics for equality. Specifically, instead of erroring or guarding, we instead will hash/compare equality based on the underlying sympy expression; e.g., s0 and s1 will always compare as False. NB: This does NOT do fancy analysis that maybe_evaluate_static does; we can only reason through equalities that occur because to expressions canonicalize to the same expression via regular simplification. Union[torch.SymInt, int]valrVrWc||_dSrYr)r\rs r^r[zSymIntEqByExpr.__init__s r_strc*t|jSrY)reprrr\s r^__repr__zSymIntEqByExpr.__repr__sDH~~r_ sympy.Exprct|jtjr|jjjSt j|jSrY) isinstancertorchr!nodeexprsympyIntegerrs r^_extractzSymIntEqByExpr._extracts7 dh - - +8=% %=** *r_otherobjectboolct|tsJt|jtur+t|jtur|j|jkS||kSrY)rrtyperintr)r\rs r^__eq__zSymIntEqByExpr.__eq__sk%00000 >>S T%)__%;%;8uy( (}}%.."2"222r_rcDt|SrY)hashrrs r^__hash__zSymIntEqByExpr.__hash__sDMMOO$$$r_N)rrrVrWrVr)rVr)rrrVrrVr) r`rarb__doc__rcr[rrrrrir_r^rrs  "!!!++++ 3333%%%%%%r_rtupTuple[Union[SymInt, int], int]#Tuple[int, Union[SymInt, int], int]ct|dr(d|dj|dfndg|RSNr)ryrnested_int_coeff)rs r^_nested_int_aware_sortrsJ Q  CFK ( ( * *CF33Y#YY r_maxsize Optional[int]?Callable[[Callable[..., _T]], functools._lru_cache_wrapper[_T]]cdfd }|S)NfCallable[..., _T]rV functools._lru_cache_wrapper[_T]ctj|jdddfd }dfd }|_|_tt jrtj tS) NrrVfunctools._CacheInfoc}tj|jz|jz|j|jSrY) cache_info functools _CacheInfohitsmissesrcurrsize)cur prev_hits prev_missesrs r^rz7lru_cache..inner..cumulative_cache_infosG&&((C'CH$cj(   r_rWcl}|jz |jz dSrY)rrr)rold_cache_clearrrrs r^new_cache_clearz1lru_cache..inner..new_cache_clears@&&((C  !I 3: %K O     r_)rVrrVrW) r lru_cache cache_clearrr isEnabledForloggingDEBUGatexitregisterr)rrrrrrrrs @@@@r^innerzlru_cache..inners0I'0033 #/                   !0 *? '   GM * * < O/ ; ; ;r_)rrrVrri)rrs` r^rrs)@ Lr_Set[str]c ddl}ddl}ddl}ddl}ddl}ddl}t jt|j j j |j j j |j j ||jj|jj|jj|jj|jj|jjg }ddl}d|D|jjzS)Nrc6h|]}tj|Sri)inspectgetfile).0ms r^ z&uninteresting_files..:s/       r_)torch._dynamo.eval_frametorch._inductor.sizevarstorch._library.custom_opstorch._library.fake_impltorch._subclasses.fake_tensortorch._subclasses.meta_utilssysmodulesr`fx experimental recordingsym_node interpreter_dynamo eval_frame _inductorsizevars_library custom_ops fake_impl _subclasses meta_utils fake_tensortorch._dynamo.guardsguardsuninteresting_files)rmodss r^rr"s########$$$$####(((('''' H ' &       !   $ % D   $(    0022 33r_ceZdZdS)ConstraintViolationErrorNrhrir_r^rr?rjr_relem torch.Tensorrc|jSrY)_has_symbolic_sizes_strides)rs r^rkrkCs  ++r_Intshape Sequence[Int] List[Int]cdg}t|ddD] }|||dz!tt|S)Nr)reversedappendlist)r stridesdims r^rlrlJs\Gcrc ##**sWR[()))) !! " ""r_arfallbackrct|tjr|j|St |t us J||S)z Retrieve the hint for an int (based on the underlying real values as observed at runtime). If no hint is available (e.g., because data dependent shapes), if fallback is not None, use that instead (otherwise raise an error). )rrr!r require_hintrr)rrs r^rtrtQsL !U\""-v""8,,, 77c>>>1>>> Hr_Scalarcbt|tr|jSdS)NT)rr3rhas_hintrs r^rr`s+!X!v   4r_Union[int, SymInt]ct|ttfsJt|trdSt|jjt jjjrdSdS)z Utility to check if underlying object in SymInt is concrete value. Also returns true if integer is passed in. Args: a (SymInt or int): Object to test if it int TF) rr!rrrrcorenumbersrrs r^rnrnfs] a&# ' ''' '!St!&+uz19::t 5r_Union[float, SymFloat]ct|ttfsJt|trdSt|jjt jjjrdSdS)zUtility to check if underlying object in SymInt is concrete value. Also returns true if integer is passed in. Args: a (SymInt or float): Object to test if it float TF) rr floatrrrrrFloatrs r^rorozs^ a(E* + +++ +!Ut!&+uz1788t 5r_rUnion[torch.SymBool, bool]ct|tjr|jddSt|t s J||S)a Perform a guard on a symbolic boolean expression in a size oblivious way. This is typically used when a non-oblivious test would result in a guard on a data dependent value of which we don't know the value of at compile time. When a guard is tested this way, we may diverge in behavior from how regular PyTorch semantics would treat it. For more information, see https://github.com/pytorch/pytorch/pull/118579 r)rrrrrrrs r^rrsS$ &&y--b!444$%%++t++% r_ lhs_sizes#Sequence[Union[torch.SymInt, bool]] rhs_sizesct|t|ko&tdt||DS)z Leverage guard_size_oblivious to compare if two lists of int/symint are equal. Useful to compare sizes, strides etc. c3BK|]\}}t||kVdSrY)r)rlhs_itemrhs_items r^ z)_guard_sizes_oblivious..sG44 Hh X122444444r_)lenallzip)r(r*s r^_guard_sizes_obliviousr3sT y>>S^^ + 44"%i";";44411r_newoldctjtjttf}t tjrt tjsJtjkfdtj j D]"\}}tj||kfd#dSt |rht tsUt |rt trJdtjkfddSdSdS)z Test that two "meta" values (typically either Tensor or SymInt) have the same values, e.g., after retracing. If we don't understand the quantities in question, we'll just skip the consistency check. c(jdjdSN != z (old != new)r r4r5sr^z"check_consistent..ssy,V,Vci,V,V,Vr_c(jdjdSr8r:r;sr^r<z"check_consistent..sCI)S)S39)S)S)Sr_r9cddSr8rir;sr^r<z"check_consistent..sC)G)GS)G)G)Gr_N) rr!r rr"rrL_checkrr2r r)r4r5 scalar_typesijs`` r^rrsL%.#u=L#u|$$I#u|,,,,, GGII "$V$V$V$V$V    39-- U UDAq La!S!S!S!S!S T T T T U U C & &Iz#t/D/DI#|,, Z 6 6     s       SCZ!G!G!G!G!GHHHHH IIIIr_ shape_envOptional[ShapeEnv]bindings,Optional[Dict[sympy.Symbol, pytree.KeyPath]]cT|dSJfd|DS)NcNi|]!\}}j|||"Sri)unbacked_renamingsget)rkvrCs r^ z-resolve_unbacked_bindings..s2 S S S$!QI ( , ,Q 2 2A S S Sr_)items)rCrEs` r^rrs@t  S S S S(..BRBR S S SSr_.Resultn torch.fx.Noderesultc"|jdkrdSt||jdx}rT|J|D]<\}}t j||}t|tr$t d|j |||T|j j a|j j}t|tjrYt#|jdkr@t't(tjtjf|jdx}r|ddkrt|dx} tjrt| jx} tjr|j| t7ddr| jdkryt't(tjtjf|jddkr9t;tj| d} | |ksJ| d || }t|tjs|jr Jd |||ks J|d ||| %srrrTr9z#should have been constant, but got z possible memo disaster) oprmetarJrNpytreekey_getrrrinfotargetrhintrr Piecewiser0rUr rBasicEqlhsSymbol var_to_rangeissubsetrIrhs'_sympy_cast_symbool_to_symint_guardlessrv_rename_unbacked_to) rCrPrRrEraw_u0pathu1raw_u1 raw_u1_args0eq new_raw_u1repackeds r^rrs t},16::122xa:$$$$NN,,] :] :LFD--BT"c"" =H w|'W\F65?33 $ $$))$(ek5;67Q%%L* !Oq((\!_4reh??)RV3zU\BB)*:6?? Aq@Q@QRR)FaKKu{EK78&+a.IIYVVCHZ++ 6)))h+D+DF+D+D)))$fel33 +BBAAABB+V###%G%G%G###  ) )&& 9 9 9 9Ca:a:] :] :r_rc |jdkrrt|jdtjjrHt|jdjdtjr |j dvrdS|jdkr|j tj j j tj j j j tj j j jtj j jtj j jj tj j jjtj j jtj j jj tj j jj f vrdSdS)N call_methodr example_value)sizestridestorage_offsetitemT call_functionF)rXrrUrrNoderYrJrLr]opsatensym_sizedefaultr sym_stridesym_storage_offset sym_numelrs r^rrOs =  ty|UX] 3 3 ! ty|(,,_==u| L L ! KG G Gt w/!!dk  ' # ! !) !% ) )1  ( 6 ' 't 5r_c rt|tjtjtjtjtjtjfs|St|tjtjtjfr$tjj |}t|S)a Canonicalize a boolean expression by transforming it into a lt / le inequality and moving all the non-constant terms to the rhs. We canonicalize And / Ors / Not via cnf and then canonicalize their subexpr recursively nb. sympy.Rel.canonical is not good enough https://github.com/sympy/sympy/issues/25924 Args: expr (sympy.Expr): Expression to canonicalize ) rrRelAndOrNotraNelogicboolalgto_cnf_canonicalize_bool_expr_implr's r^rsrsgs"  uy%)UXuy%(EHM   $EHei8990{"))$// ' - --r_Tcls'Union[Type[sympy.Add], Type[sympy.Mul]]rUList[sympy.Expr]sortis_commutativeOptional[bool]rc|s|jS|r|tjurtjjj}n7|tjurtjjj}ntd||dusJ|dj r6|dd}||| |dg|z|S| }||| ||S| ||S)Nz Unknown cls: Trrr) identityrAddradd_addsortMulmul_mulsort ValueError is_Number _from_argscopy)rrUrrsort_fnrests r^_sympy_from_argsrs | C %)  jn-GG EI  jn-GG2S2233 3%%%% 7  G8D GDMMM>>47)d"2>>RR R99;;D GDMMM>>$~>FF F~~d>~BBBr_c t|tjtjfr*t |t t |jStjtj tj tj i}t|t| r%|j|jz }|t |}n\t|tj tj tjtjfsJ|j|jz }t |}d d}t$j}t)|}t|tjrg}g}|jD]9}||r|| $||:t/tj|dd}t/tj|dd}n||r| t$j}}|||d S) z After canonicalization, we are guaranteed to have eliminated Ge/Gt relations (rewriting them to Le/Lt, respectively). trrVrc|jr|jp=t|tjo#|jdjo|jdjSNr)r is_negativerrrrUrs r^is_negz,_canonicalize_bool_expr_impl..is_negsC -  q%) $ $ V)< VAV r_FTrrevaluate)rrrVr)rrrrrmaprsrUGtLtGeLetuplekeysrbrfrarrPZero_reduce_to_lowest_termsrrr) roppositerfrrrbposnegterms r^rrs $EH-..CtDzz35tyAABB%(EHeh7H$hmmoo..//h! T$ZZ $58UXux HIIIIIh! JJ    &C !# & &C#uy!! H ! !Dvd|| ! D5!!!! 4    uy#E$OOOuy#DNNN  4S 1S# & & &&r_cd d}d d|jrtttj|j}t jtj t||dkr|Sfd |D}ttj |d |j S|jr tjS|jr|||S|S)z Eliminates any integer factor from a given expression. E.g., 6x + 4y reduces to 3x + 2y. Useful when an expression is == or != to 0. xrrVrc|jrtt|S|jr;|jdjr'tt|jdndSdSr) is_Integerabsris_MulrUrs r^integer_coefficientz4_reduce_to_lowest_terms..integer_coefficients\ < s1vv;;  X +,&)*>E3s16!9~~&&&A E1r_factorcN|jr||z S|jr|jd|kr3|jdtj|z g|jdd}nt |jdd}t tj||jStd|)Nrrrzillegal arg to div_by_factor: ) rrrUrrrrrrAssertionError)rrrUs r^ div_by_factorz._reduce_to_lowest_terms..div_by_factors < Gv:  X GvayF""q EM&$9$99GAF122JGAF122J''#EItADTUUU U !E!!E!EFF Fr_rc(g|]}|Sriri)rrrrs r^ z+_reduce_to_lowest_terms..s%999aq&))999r_Tr)rrrVr)rrrrrVr)is_Addr rrExprrUrreducemathgcdrrrrrrPOner)rratomsrrs @@r^rrs G G G G { >Xej)4955!$(C0CU,K,KLL Q;;K999995999 Iu48K     >u >}T#6#6t#<#<=== Kr_Union[bool, SymBool]ct|ttfsJt|trdSt|jjt jjjt jjj frdSdS)z Utility to check if underlying object in SymBool is concrete value. Also returns true if integer is passed in. Args: a (SymBool or bool): Object to test if it bool TF) rrrrrrrr BooleanTrue BooleanFalsers r^rxrxsq a'4 ) ))) )!Tt  ek)5u{7J7WXt 5r_sTypeGuard[SymInt]cht|tjo|jSrY)rrr!rryrs r^ryrys' a & & A16+?+?+A+AAr_IterateExprsAtom IterateExprsrIterator[sympy.Basic]c#HKt|tr!t|r|jjVdSdSt|t jr|VdSt|tttfrdSt|ttfr|D]}t|Ed{VdSt|r)t|Ed{VdSt|tjrwt|Ed{Vt|Ed{Vt|Ed{VdS|dSt'd|dt)|)Nz&cannot extract sympy expressions from  )rr3 is_symbolicrrrr`rr"rrr_iterate_exprsr*rtrrLrurvrr)rrs r^rr s#x  Y s   (-       C % %Y C#ud+ , ,Y  C% ' ' Y ) )A%a(( ( ( ( ( ( ( ( ( ) ) s   Y!#((**----------- C & &Y!#((**---------!#**,,/////////!#"4"4"6"677777777777  WcWWDQTIIWWXXXr_OrderedSet[sympy.Symbol]c|tSt|} t|}n#t$rtcYSwxYw|jjd|DS)Nc3$K|] }|jV dSrY)rvres r^r/zfree_symbols..Es$*G*Ga1>*G*G*G*G*G*Gr_)r4rnext StopIterationrvunion)ritr first_exprs r^rvrv9s {||   C#YY || ): " (*G*G3*G*G*G HHs1A  A cPtdt|D S)z)Faster version of bool(free_symbols(val))c3$K|] }|jV dSrY) is_numberrs r^r/z#has_free_symbols..Js$<<11;<<<<<.]sQ !d/1DE F F r_)r4rvrs r^free_unbacked_symbolsr[s6 a  r_Optional[sympy.Symbol]cLd|jvrt|jdtjrut|jdjjt jrF|jdks$t|jdjjr|jdjjSdS)NrrT) rYrrr!rrrrcrXrrs r^rwrwfs  ty' 6 6  ty',15< @ @  G} $ $$TYu%5%:%?@@ %y$)) 4r_graphtorch.fx.Graph!Dict[sympy.Symbol, torch.fx.Node]cRi}|jD]}t|x} ||vr|||<|SrY)nodesrw)rrrrs r^find_symbol_binding_fx_nodesrtsD A *400 0A =!1**AaD Hr_frozenceZdZd dZd dZdS) rrVrcdS)Nz#.cast_symbool_to_symint_guardless()rirs r^__str__zConvertIntKey.__str__s44r_brrc t|S)zGet the int value from bool) cast_symbool_to_symint_guardless)r\rs r^rJzConvertIntKey.gets/222r_Nr)rrrVr)r`rarbrrJrir_r^rrs<5555333333r_rc*eZdZUded<d dZd dZdS) CallMethodKeyrnamerVcd|jdS)N.z()rrs r^rzCallMethodKey.__str__s 49    r_or c<t||jS)zCall the method on object)getattrrr\r s r^rJzCallMethodKey.gets$wq$)$$&&&r_Nrr r rVr r`rarbrcrrJrir_r^rrsG III!!!!''''''r_rc*eZdZUded<d dZd dZdS) InnerTensorKeyr inner_namerVcd|jSNr )rrs r^rzInnerTensorKey.__str__s$4?$$$r_r r c,t||jS)zGet the inner tensor attribute)rrrs r^rJzInnerTensorKey.getsq$/***r_Nrrrrir_r^rrsGOOO%%%%++++++r_rc*eZdZUded<d dZd dZdS) DivideByKeyrdivisorrVrcd|jdS)Nz.__floordiv__()rrs r^rzDivideByKey.__str__s/ ////r_r c||jzS)zDivide object by divisorrrs r^rJzDivideByKey.getsDL  r_Nr)r rrVrrrir_r^rrsGLLL0000!!!!!!r_rFrsrold_example_valueOptional[object]peekc   dSj}t| sdS|s/td|| dd fd  |d }|sl rjt |t jr5t| | fnd }td d|d|d|*| D]}tj||}tj||} t | trt | jjx} t$jrt |trZ|jjx} | krHt | t$jr| | | | t |ts(| t%j||S)a After having run fake tensor propagation and producing example_value result, traverse example_value looking for freshly bound unbacked symbols and record their paths for later. It is an error if we have allocated an unbacked SymInt but it cannot be found in example_value. (NB: this means if you have a multi-output function, you must call this on the tuple of tensor output, you cannot wait!) The peek parameter lets you check out what the bindings are without changing the affected list. This is primarily useful for ensuring unbacked_var_to_val is promptly populated when propagate_real_tensors is on. Nzcompute_unbacked_bindings %srrrjpytree.KeyPathrealr rV"Dict[sympy.Symbol, pytree.KeyPath]c  Ji}t|ttfrhtt |D]I}| |||t j|fz|||ndJnwt|r^| \}}|D]B}t||}| ||t|fzCn t|tj rFddlm} t|| sJ| ||t#dfz|j|jnd| ||t#dfz|j|jnd| ||t#dfz|j|jndnt|tjtjfr|t|jjx} t2jrV| vrR||| <|4t|t6t8fsJ| || nt|tjrt|jjx} t2jrt | j dkrt| j dx} t2j!rt| j dx} t2jr|| vrx|tEt7| fz|| <|=t|t6sJ| |t7| z| nt|tj#rt|jjx} t2j$rt| j%t2jr| j&dkrz| j%vrq|tOfz|| j%<|;tQ|tRusJ| t7|| j%|S) N)r$rrMrtrurvrVr)*rrrranger0updaterZ SequenceKeyr5__tensor_flatten__rrrrLrrNrtr real_tensorrurvr!r r_exprrrcrr"set_unbacked_var_to_valremoverrUrrrrarbrfrrr)rrjr$rrAattrs_attrsubrNrrbrffree_unbacked_symbols_with_pathpendingrCs r^r3zBcompute_unbacked_bindings..free_unbacked_symbols_with_paths#$$$  a% ' '] "3q66]]  33! 21 5 577(,(8T!WWd +1 - -R "++--HE1  a&&33CPTAUAU@W9WXX  5< ( (J " @ @ @ @ @ @a,, , ,, HH//FFHHM&1133121J++---PT    HH//HHJJM(335534=3L--///RV    HH//$$&&M*:;;==}055777      q5<8 9 9, " ,1el;;, "W AaD!$e 5555511!T::: NN1     q%, ' ' " ,1ei88 "AF q  !&)+3U];;!!&)+3U\::!w[S2244AcF!$,,,,,11#ts3xx7GHHH NN3     q%- ( ( " ,1eh77 "15%,// "    }00AaeHDzzT))))11!SYY??? NN15 ! ! !r_rir&zPending unbacked symbols z not in returned outputs rz. Did you accidentally call new_dynamic_size() or item() more times than you needed to in your fake implementation? For more help, see https://docs.google.com/document/d/1RWrH-3wLEpzR9kCS6gGBNen_-Fs-8PVbWWFE5AcgeWE/editrY)rrrjr#r$r rVr%)pending_fresh_unbacked_symbolssetrr\clearrrrLrrurvrgvaluesrZr[r3rrrrcrh_eliminate_unbackedsympify)rCrsrr!fssymbol_to_pathextrakeypathold_symnew_symnew_sold_sr3r4s` @@r^rrsy&t  1B"ggG t  /444  CGdddddddddL54]BGGN   G  -66 D-&&((-*F*F*H*HI J J J  , v v v- v vZ_ v v v   ($%,,.. Q QGn%6@@Gn]G<=A>ycDt|trt|ts*t|trkt|trVt|t|krdSt jt jtt||dSt|ttj fr't|ttj fr||kStdt|dt|)z Like ==, but when run on list/tuple, it will recursively test equality and use sym_and to join the results together, without guarding. FTzunexpected sym_eq between r)rrrr0rroperatorand_rr~rrr!rr)rrMs r^r~r~s 1e OAu!5!5 O1d O *1d 3 3 O q66SVV  5 s61a/@/@$GGG AU\* + +O 1sEL>Q0R0ROAv M$q''MMDGGMMNNNr_2Union[SymBool, SymInt, SymFloat, int, bool, float]Union[bool, int, float]c(t|ttfrt|St|tt frt |St|ttfrt|Std|)Nzunrecognized scalar ) rrrrEr!rrpr r"rqrrs r^rrrrs!gt_%%9!}} A} % %9|| A%( ) )91~~7A77888r_rm sympy.Symbol compiler_min compiler_maxc4||||dSrY)constrain_symbol_range)rCrrUrVs r^_constrain_symbol_rangerYs"$$Q lCCCCCr_r!c,t|trxt|jtr`t|jjt jr>|jj|jjrt|dSdSdSdSdS)ax Don't use this directly; use torch._check_is_size instead. This is a softer version of _constrain_range_for_size (with min=0, max=Inf). Instead of forcibly constraining a variable (and erroring if we failed to constrain it), it will simply advise us that a size is constrained in some way. We will always defer a runtime assert for this constraint if we cannot prove it at compile-time, but we we only *sometimes* learn useful extra information at compile-time with this information. This is in contrast to constrain_range_for_size, where if you don't call that on a fresh unbacked symint, chances are we will choke. TODO: Make Dynamo handle this appropriately if this is seen in Dynamo-ed code. Right now this is only really used in code with AOTAutograd trace through, so it is not a big problem that this isn't supported, but in principle all of this code should be Dynamo'able too. TODO: I didn't support min/max because I didn't have a use case where this actually helped. In principle we can support it, it just makes the implementation below more complicated. N) rr!rr2rrrcrCis_unbacked_symint_constrain_range_for_sizers r^_advise_is_sizer]sD 1f% qvw ' '% qv{EL 1 1% F  / / < < % "!$$$$$ %%%%%%%%r_minmaxcRt|ttfrtdt|ts Jdt|jjtjs Jd||jj |jj||dS)z= This function is NOT INTENDED to be used by itself. z$Constraining SymFloat/SymBool is nyiz#can only constrain range for SymIntzconstraining non-Symbols NYI: N) rr rrr!rrrrcrCr\rr^r_s r^r\r\s!h())A?@@@ a GG"GGG afk5< 0 0VV2VST2V2VVV 0F..qv{CEEEEEr_r_c *|t }|t}||krtdt|tr*||cxkr|ksntd|d|d|ddS|jj|jj||dS)a Applies a constraint that the passed in SymInt must lie between min-max inclusive-inclusive, WITHOUT introducing a guard on the SymInt (meaning that it can be used on unbacked SymInts). If min/max are None, we assume that the dimension is unbounded in that direction. Repeated application of constrain_range intersects the ranges. This is a fairly low level API that doesn't have a lot of safety guarantees (TODO: provide higher level APIs). Currently, we use this API in the following circumstance: when we allocate an unbacked SymInt, denoting an integer quantity which is data dependent, we ordinarily do not know anything about what values it may take. This means that any sort of guard on it will immediately fail. However, in many cases, we know something about the unbacked SymInt: for example, we know that nonzero(x).size(0) must be >= 0. We use constrain_range to narrow the possible range, declaring that negative symbols are impossible. This permits to definitely answer True to queries like 'nnz >= 0', even if we don't know what the actual (hinted) value of 'nnz' is. In fact, we actually use constrain_range to unsoundly discharge common guards: for an unbacked SymInt produced by nonzero, we will also assume that it is not equal to 0/1 (even though these are perfectly possible values at runtime), because we generally expect graphs that are valid for N=2 to also be valid for N=1. NoMaximum value to constrain_as_size can't be less than the specified min value, received min={min} and max={max}Invalid value for range [:])r>rrrrrC_constrain_rangerras r^constrain_rangerjs6 {g { Syy /   !SqCIaIISII3IIIJJ JF%%afk3<<<<>>1>>> Hr_Union[SymFloat, float]r"ct|tr|jddSt|ts J||Srz)rr rrqr"rs r^rqrqsO!X)v!!"a((( a  """"  Hr_gmtorch.fx.GraphModule List[object]c.d|jjDS)Nc>g|]}|jdk |jdS)rTr)rXrYrrPs r^rz'fx_placeholder_vals..s* K K KaQT]5J5JAF5M5J5J5Jr_rrrs r^fx_placeholder_valsrs K K28> K K KKr_ List[str]c.d|jjDS)Nc2g|]}|jdk |jS)rT)rXr]rs r^rz*fx_placeholder_targets..s& F F F 0E0EAH0E0E0Er_rrs r^fx_placeholder_targetsrs F Fbhn F F FFr_ ignore_staticrLrcV|jt|||S)Nr)rCevaluate_guards_for_argsr)rrrUs r^ eval_guardsrs2 < 0 0B] 1  r_Dict[sympy.Symbol, int]cR|jt||SrY)rC bind_symbolsr)rrUs r^rrs# < $ $%8%<%>#(DM%  >r_srcrc||}||jvr |j|Stj|SrY)rrrrcr)r\rs r^rzEqualityConstraint._rewritedsFjjoo $*  :c? "< ++ +r_rrrc||x}|jvp;||x}|jvp||kp|||dS)Nc|SrYrirs r^r<z-EqualityConstraint.is_equal..xs1r_)rr is_derived)r\rrsrc1src2s r^is_equalzEqualityConstraint.is_equalpsnZZ(( (TT-A A > 7+++0DD >t| >w== r_ symbol_srcr"Callable[[sympy.Expr], sympy.Expr]cl|||||kSrY)r)r\rrrs r^rzEqualityConstraint.is_derived{s1}}S!!RR j(A(A%B%BBBr_Nr)rr$rVr$)rr$rr$rVrW)rr$rVr)rr$rr$rVr)rr$rr$rrrVr)r`rarbrrcrrrrrrrrrrir_r^rrs$.---('''    %*U%6%6%6H6666&+e&7&7&7E7777!I!I!I!IF)))) , , , ,     CCCCCCr_rsymbolic_contextTypeGuard[SymbolicContext]ct|ts Jdt|tus JddS)NzInvalid symbolic_context objectz%Illegal usage of symbolic_context ABCT)rrrrs r^_assert_symbol_contextrs\ /  ))())  o555. 655 4r_cnt|tjtjfrvt |jdkrdS|j\}}t |rt|tjp(t|tjot |St|tjS)NrVF) rrrrr0rU_is_supported_equivalencerrc)rrbrfs r^rrs$EI.// ty>>A  59S)#..Q:c5=3Q3Q sEM * * M/H/M/M  dEL ) ))r_rSc|tjjjjtjjjjtjjjjS)zL Add functions that our sympy interpreter can't reify into FX nodes )hasrutils_sympy functionsToFloat TruncToIntr7r's r^#_has_uninterpretable_sympy_functionrsD 88 $, $/ $.  r_ceZdZdZdS)raS Data structure specifying how we should create symbols in ``create_symbolic_sizes_strides_storage_offset``; e.g., should they be static or dynamic. This is an abstract base class because we are probably going to add another version of this that says "use exactly these SymInts, don't allocate fresh symbols." N)r`rarbrrir_r^rrsr_rc^eZdZUdZded<dZded<dZded<dZded<dZd ed <dd Z dS)rz Create symbols in ``create_symbolic_sizes_strides_storage_offset`` via a symbolic_context determination as given by ``DimDynamic`` and ``DimConstraint``. This will cause fresh symbols to be allocated zDimList[DimDynamic] dynamic_sizesNdynamic_strideszDimList[DimConstraint]constraint_sizesconstraint_stridesOptional[SymbolicContext]view_base_contextrVrWc|j.sJ   z. 0BJOT T      r_) rrrrrr0rrrr1rs r^rz&StatelessSymbolicContext.__post_init__s   '   !()C0B,C,CC     (   (4&3t7I3J3J*J     " *   *TFS9K5L5L,L     .          r_r) r`rarbrrcrrrrrrir_r^rrs '&&&+/O/////33333155555487777      r_rcBeZdZUdZdZded<dZded<d fd ZxZS) ra  Create symbols in ``create_symbolic_sizes_strides_storage_offset`` via a symbolic_context determination as given by a cache of Source:Symbol. A cache hit will reuse a stored symbol, and a cache miss will write to this cache. This behaves like StatelessSymbolicContext, except the cache supersedes the other values - dynamic_sizes and constraint_sizes will not be read if we cache hit. It is the cache owners responsibility to maintain the lifecycle of the cache w/r/t different shape_envs, clearing, etc. Nr$ tensor_sourcez Dict[int, Dict[str, sympy.Expr]]#shape_env_to_source_to_symbol_cacherVrWct|jJ|jst|didSdS)Nr)rZrrrrrr\r]s r^rz%StatefulSymbolicContext.__post_init__ s_ !---7 P   t%JB O O O O O P Pr_r) r`rarbrrrcrrrdres@r^rrs|  !M    MQ'PPPPPPPPPPPPPPr_rc4eZdZUdZdZded<dfd ZxZS) ra The correct symbolic context for a given inner tensor of a traceable tensor subclass may differ from that of the outer symbolic context. This structure allows for this flexibility, with inner symbolic contexts mapped via attr -> symbolic context. NzDict[str, SymbolicContext]inner_contextsrVrWcht|j i|_dSdSrY)rZrrrs r^rz%SubclassSymbolicContext.__post_init__s8    &"$D    ' &r_r)r`rarbrrrcrrdres@r^rrs\ 26N5555%%%%%%%%%%r_r2Union[int, SymInt, float, SymFloat, bool, SymBool]+TypeGuard[Union[SymInt, SymFloat, SymBool]]c|t|tttfrdS|jSNF)rrr"rrrrs r^rr"s6#UD)**u 8   ! !!r_Tuple[sympy.Expr, bool]czgg}}|D]4}|jr||||5tj|g}|D]&}dt j||jD}'tj|}|t|dkp%t|dkot|dkfS)Ncg|] \}}||z Sriri)rrrs r^rz_expandsums..7s HHHDAq!a%HHHr_rr) rrrr itertoolsproductrUrr0)rUaddsrrrRrs r^ _expandsumsr-sb%D :  KK     LL    i FIIHHI$5fch$G$GHHH Y F 3t99q=FSYY]%Es5zzA~ FFr_cd|jD}tdt|j|Drt|j|S|jrk|j\}}|jrY|jrR|dkrtj |dS|dkr0tj tj tj |z dz Sn|j rg}g}|jD]R}|jr4|jddkr#| tj |z =| |St|\}}t|\}}|s|r||z S|S)Nc,g|]}t|Sri) _fast_expandrrs r^rz _fast_expand..Ds 777c S!!777r_c3$K|] \}}||uV dSrYri)rrnew_args r^r/z_fast_expand..Es+ K K,#w3g  K K K K K Kr_rF)deeprr)rUanyr2rfuncis_Powrrrexpand_multinomialrPrrrr) rnew_argsbaseexpnumdenr num_changed den_changeds r^rr=s87TY777H K K#di2J2J K K KKK2IDIx0111 {I c > Rdk RQww/5AAAAquu7 5QQQQQ   " "9  Cz chqkR// 153;'''' 3&s++[&s++[  + 9  Kr_rct|dr= t|S#t$r td||cYSwxYw|S)a Expand the given symbolic expression by recursively rewriting product of sums into sum of products (with the product being either a multiplication or exponentiation). NOTE: using this on an intermediate expression may prevent simplification down the line, e.g., if we eagerly expand `(a + b)^2` into `a^2 + 2ab + b^2`, we won't be able to simplify `(a^2 + 2ab + b^2) / (a + b)` as easily. expandz"RecursionError in _fast_expand(%s))hasattrrRecursionErrorrwarning)rs r^ safe_expandrbsgq( ?? "    KKis_intrrcrrGrxreplacerrrrsrrrF is_singleton)rrrr new_shape_env new_range_envidxsinforKrr is_size_likerrroffsetnew_exprouts r^_maybe_evaluate_static_workerr-wsMM ,,5D5D U#( 2sL c< ( (    l 28$$Erx((E~~ ..HE VG   #/")/!M!   L7#77$PT U U UUQYv: a26rF7CC a==//  >mTTTtt&k(&;&;<int_syms r^rrs'4  #"qq"5gl6GHHG < ! 3 3(7:K:KUc',3355666QU 4  r_)r;rrrrrct||dtjr%dtj|d fd }n!tj|d fd }j|_j|_|S) a Wrapper around lru_cache that clears when new info about shapes has been updated. Use lru_cache if the output is always the same, regardless of the constraints we know now (i.e. evaluate_expr) Use _lru_cache otherwise. Also note that this depends on _update_version_counter being called on the shape environment whenever the constraints are updated, otherwise the cache will not be cleared. rNr\rmrUr kwargsrVrc||jkr0|j|n"|ks Jd|g|Ri|S)Nz9ShapeEnv cache key changed without version being updated!)_get_key_version_counterr)r\rUrFfn_cache prior_key prior_versions r^wrapperz_lru_cache..wrapper*s  MMOO  555$$&&& $ 5  MMOO 000N1008D24222622 2r_ch|jkr|j|g|Ri|SrY)rIr)r\rUrFrJrLs r^rMz_lru_cache..wrapper=sM 555$$&&& $ 5 8D24222622 2r_)r\rmrUr rFr rVr)rconfigvalidate_shape_env_version_keyrwrapsrr)rrrMrJrKrLs @@@r^ _lru_cacherRs "y!!"%%HM ,3    3 3 3 3 3 3 3   3 3$    3 3 3 3 3 3   3#.G!,G Nr_c^eZdZUded<edZded<edZded<d S) RuntimeAssertrrF)rrmsgrJstackN)r`rarbrcrrUrVrir_r^rTrTOsZu%   C    $u%000E000000r_rTceZdZddZdS)SymExprPrinterr sympy.FloatrVrc:tt|SrYrr"r\rs r^ _print_FloatzSymExprPrinter._print_FloatX5;;r_NrrYrVr)r`rarbr]rir_r^rXrXWs(      r_rXcReZdZdfd Zdd ZddZejddZxZ S)_ShapeGuardPrintersymbol_to_source#Mapping[sympy.Symbol, List[Source]] source_refCallable[[Source], str]var_to_sourcesrVrWcr||_||_||_tdSrY)rbrdrfrZr[)r\rbrdrfr]s r^r[z_ShapeGuardPrinter.__init__]s8 !1$, r_rrYrc:tt|SrYr[r\s r^r]z_ShapeGuardPrinter._print_Floathr^r_rTclt|tjs$Jtt |d fd }j|s0J|ddj|Dd|dj|dS) NrVrcdtdjDS)Nc.i|]\}}|d|DS)c6g|]}|Srir rs r^rz^_ShapeGuardPrinter._print_Symbol..repr_symbol_to_source...qs 777!QVVXX777r_ri)rsymbolsourcess r^rMzS_ShapeGuardPrinter._print_Symbol..repr_symbol_to_source..ps='77w777r_)rrbrNrsr^repr_symbol_to_sourcez?_ShapeGuardPrinter._print_Symbol..repr_symbol_to_sourcens@+/+@+F+F+H+H r_z (could be from c6g|]}|Srir rs r^rz4_ShapeGuardPrinter._print_Symbol..ws %R%R%R1affhh%R%R%Rr_z ) not in zu. If this assert is failing, it could be due to the issue described in https://github.com/pytorch/pytorch/pull/90665rr) rrrcrrrbrJrf print_source)r\rros` r^ _print_Symbolz _ShapeGuardPrinter._print_Symbolks$ -->>s4::>>-      $((..   Z Z%R%R8KD8Q%R%R%R Z Z++-- Z Z Z  .   !6t!.s16688r_rz)r\rfr]s r^r[z!LoggingShapeGuardPrinter.__init__s) ););^LLLLLr_)rfrc)r`rarbr[rdres@r^rrsGMMMMMMMMMMr_rc,eZdZdZd fd Zd d ZxZS)DynamicDimConstraintPrinterz Printer for dynamic dim constraints. - Instead of symbol s_k it prints its source t.size()[i] - Instead of Eq(_, _), Mod(_, _), etc. it prints _ == _, _ % _, etc. We use this to suggest code for specifying dynamic dim constraints. rb Dict[sympy.Symbol, List[Source]]source_name_to_debug_nameMapping[str, str]cdt||_||_dSrY)rZr[rbr)r\rbrr]s r^r[z$DynamicDimConstraintPrinter.__init__s1  0)B&&&r_rrTrVrct|tjs$Jtt ||j|sJd|d|j|dS)NzUnknown symbol z created by constraints solverr)rrrcrrrbrJrr\s r^rrz)DynamicDimConstraintPrinter._print_Symbols$ -->>s4::>>-$((    B B AT A A A B B $T*1-22444r_)rbrrrrtr`rarbrr[rrrdres@r^rrsaCCCCCC55555555r_rceZdZdZd9d Zd:dZd;dZddZ d?dZ d;dZ d;dZ e d@d!ZdAd#ZdBd'ZdCd)ZdDd.ZdEd7Zd8S)FDimConstraintsz Custom solver for a system of constraints on symbolic dimensions. Solutions are "static" values or simplified "dynamic" constraints. rbr var_to_val$Mapping[sympy.Symbol, sympy.Integer]marked_dynamicSet[sympy.Symbol]rrrVrWctt|_t|_i|_||_tt|_t|_g|_t|_ t|_ t|||_ g|_ ||_tt t"t$h|_|dSrY)rr6_univariate_inequalities_symbols_with_equalities_substitutions _var_to_val _congruences_multivariate_inequalities_symbolic_equivalences_static_results_dynamic_resultsr_dcp_inconsistencies_marked_dynamicr6r<r=r9_supported_sympy_functions_enumerate_sympy_functions)r\rbrrrs r^r[zDimConstraints.__init__s    % AUU'HJ# *-*-%%0 7   ,. .     @ ' '')))))r_rrTrrcddfd }dfd }|tr|t|}|tr|t|}|tr|t|}|S)aA Eliminate expressions of the form b // d and b % d while adding congruences of the form b % d == k. This leaves rational operators (in particular of the form b / d) that our inequality solver can handle. We solve the added congruences separately (using our congruence solver, see below). rUrrVc0|\}}||}}|j|jz}||z |z}|dkr j||Srrewrite_with_congruencesr#rrrrUr r mod_reduced congruencerr\s r^ mod_handlerz.mod_handlers0!MD' 994,,Q88D--(899G.floor_div_handler s!MD' 994,,Q88D--(899G ?  $ $ %A%A4%A%A B B B B B  ' . .~ > > > > >r_#Dict[sympy.Symbol, Set[sympy.Expr]]c i}|jD]d\}}g}t}|D]}|j\}}t jdd} t j||| zz |g\} } || krytjj | | \} } t| tj r7t| tj r| | z} | | | f| ||rnt jjj|\} } || z | zh||<|| t jddz| zi||fd|D_|||<f|S)Nreduce_congruences_tmpTr )symbolstmpc3FK|]}tj||VdSrY)rchecksol)rr substitutions r^r/z5DimConstraints._reduce_congruences.. sI.." >*lCC.......r_)rrNr6rUrrc solve_linearpolys polytoolsdivrrrrntheorymodularsolve_congruencer()r\reduced_congruencesr congruencesremainder_modulus_pairscongruences_to_checkrr rrrmsolutionmodulus remainderrs @r^_reduce_congruencesz"DimConstraints._reduce_congruences sCE"/5577* >* >NA{&( ##&55 ) 5 5 * gl#;TJJJ#(#5dWs]6JUVTW#X#X#X ;;).)>)B)B8S)Q)Q&GY!'5=99!j!5=??!%.$7 /66 77KLLL %((4444' >%*]%:%K,&" 7,-y=G*C)D#A&weT!B!B!BBYN  $A&--....&:... *>#A&&""r_c|jrEd|j}|jtd|dS)N z*The following inconsistencies were found: )rjoinr7r)r\rUs r^_raise_inconsistenciesz%DimConstraints._raise_inconsistencies sZ   R))D122C  ! ' ' ) ) )P3PPQQ Q R Rr_c  jrj}j|}tjj||}t|tj rtd|j D|}t|tj sJd|d||j \}}||ksJd|d|j jj|dd||j|<j}t)_|D]7}||j|i8j}|D]\}} | D]y} |jvs#t j| |j|isJ| r4| j \} } dt5jjjj|djj|dz} t j| d }dd lm}|| gjj|<tAt j | | |z|}|Jj!j"t j ||d {jD]l\}} tjj||}t|tj#r-ttIfd|j D}t|tj r=|j D]4}j!j"|5n2j!j"|#tJtLf$r]}tN(d||D]4}j!j"|5Yd }~fd }~wwxYwj)}g_)|D]3\}}*||j4j)D]N\}}j!|dj"|Od S)zGSolve the system of constraint equations to find simplified constraintsc3NK|] }t|tj|V!dSrY)rrrars r^r/z'DimConstraints.solve.. s3OOSZUX5N5NOSOOOOOOr_z$Expected an equality constraint for z, got zExpected a constraint on z instead of on rrr0Tr)ConstantSourceNrc3PK|] }|j|V!dSrY)r#r)rrr\s r^r/z'DimConstraints.solve.. sL #"||D,<==r_z!Failed to reduce inequalities: %s)+rrpoprrsolvers inequalitiesreduce_inequalitiesrrrrUrarrrrbrrrr6r#rrNr_is_supported_congruencerrrJrctorch._dynamo.sourcerrBrdoprintrrNotImplementedErrorrrrrr)r\rexprsrrmrmultivariate_inequalitiesrrrrr rtmp_namerrrrrexpr2symbolic_equivalencesrexpr3s` r^solvezDimConstraints.solve s ##%%%+ *-1133A155a88E}1EEeQOOH(EI.. OOHMOOO%( J JIaIIxII J J#-KFCQ;;; VA V Vf V V;;;  $ $9-a0388::EEEE   &)D  ")-(G %.1eeD +1 E E4+>q+A'BCCDDDD  ' ' ) ) )5+ *<#668817799 X XNA{) X X D///u~D$7$: ;88/44Z@@X(2 g#& I?CC $ :1 =a @ E E G G $ :1 =a @ E E G G**$ $l8TBBBGGGGGG;I>(;S;S:T 237%ehtWs]&C&CQGG }}}-11$)2C2CEHQPQRSPTDUDU2V2VWWW' X,5;;== H HHAu H =5II%QRSSh11#'/}  Hh 22K'}JJ-11$)2C2CC2H2HIIIIJ)--di.?.?.I.IJJJ'8 H H H ?CCC"HHE)--di.?.?.F.FGGGGHHHHH H !% ;&(#2 K KMFE   fennT5H&I&I J J J J"8 X XMFE  ! % %&V&VDI.debug_name+ s@88::Dy2 )=dCNNNNN r_cli|]0\}}|jvjj|d|1Sr)rrrb)rrrrr\s r^rMz9DimConstraints.forced_specializations..2 sP   3D((( Jty1!4Q7 8 8#(((r_)rr$rVr)rrN)r\rs`@r^forced_specializationsz%DimConstraints.forced_specializations( sa           -3355    r_rr2TypeGuard[torch.export.dynamic_shapes._DerivedDim]cJt|tjjjSrY)rrexportdynamic_shapes _DerivedDimr\rs r^_is_derived_dimzDimConstraints._is_derived_dim8 s#u|:FGGGr_+TypeGuard[torch.export.dynamic_shapes._Dim]ct|tjjjo$t|tjjj SrY)rrrr_Dimrrs r^_is_dimzDimConstraints._is_dim= sB#u|:?@@  ,8J J F  r_resultsDict[str, Dict[str, Any]] name_to_dimDict[str, Any]c B ddlm}dfd }i}t|D]v\}}d |vrkt |d t jrJtt|d j }t||vr||t|<t j j |d |\} } |d d } tj| | z | z } |d t"} tj| | z | z }| |d|t|<|t|| ||t|<|d d|d dx|D]}t|D]\}}d |vrt |d t jrwttt|d j x}|kr=|t|d }|d ||i}||d <t-}|D]\}}||vr ||rd |vsd |vr||Cd |vrmt |d t jrMtt|d j }|J|t|||}i}|D]K}d}||vrD||}d |vsd |vst |d t4r||||s|||<d}|r|D]\}}||vr ||}|jjdkr|jj|krd |vsd |vrt j|}tt|j }t?t j ||d |dt?t j ||d |dd}||||s|||<nMt|!D])}||vr"||s||vr||=*|#|dS)a Here we resolve 2 concerns with derived dims suggested fixes: 1) newly introduced roots, and 2) root swapping. 1) Newly introduced roots appear with modulo guards, e.g. Mod(dx, 2) = 0 suggests dx is a derived dim equal to 2 * _dx, introducing a new root _dx. Currently the final suggested fixes handle this correctly, but we can get intermediate results that look like {"dy": {"eq": "dx + 1"}, "dx": {"eq": "2 * _dx + 1, "min": 3, "max": 15}} and this routine prettifies this by unifying to a single root, and making each suggestion either a derived dim or min/max range, not both. 2) With suggested fixes for derived dims, roots can be swapped, e.g. dx, dx - 1 -> dy + 1, dy. Here we don't want to print out the attached name, since this leads to messages like "dx - 1 = Dim("dx - 1", ...)". Instead we evaluate the new root value, and remove results for its derivations. First we find all the original roots (specified in dynamic_shapes), that are found in the values of results (i.e. used for computing suggesting fix values). These original roots (suppose `dx`) are either specialized, unchanged, refined, or swapped (expressed as a derived dim). If any of the first 3 cases happen, we suggest `dx`'s value in results, and remove suggestions for derivations of `dx`, assuming the derived relation is valid. If swapped, we find the new root, and use the fix to evaluate `dx`'s new value, and then do the same with `dx`'s derivations. Assuming the originally specified derived relations are correct is valid, because: 1) if the relations are plain wrong (e.g. input shape = (6, 4) with spec (dx, dx - 1)) produce_guards() will catch this and crash before hand. 2) if the relations are numerically correct but do not match the emitted guard, for example: def forward(self, x, y): return x.reshape([-1]) + y # guard: s0 * 2 = s1 inputs = (torch.randn(6, 2), torch.randn(12)) dx = Dim("dx", min=2, max=32) dynamic_shapes={"x": (dx, 2), "y": (dx + 6, )} # this matches values but not op then this leads to 2 linear equations, and a) produce_guards() is able to solve for the unique solution of dx = 6 and specialize, and b) the export constraint solver will raise an issue due to range constraints (a unique solution means not all values in a range satisfy a guard) and also force specializations. r)DimcMapping[str, int]rrrVrc|ood|vpd|vog|jdkr|dddkp|j|ddko#|j|dtkS)Nr^r_rV)rr^rJr_r>)r rr\s r^_check_same_rangezDDimConstraints._process_derived_dim_roots.._check_same_ranger s S!!4aZ-5A:4Wq[9QUU5!__%9XcguVW>X4 GquuUF333  r_rnr^rVr_)r^r_NTFrr)r r rrrVr)$torch.export.dynamic_shapesr rrNrrrrrrvrrrrrJrceilr>floorrr8subsr6rrrrr]r`rr:rBrarrr()r\rrr r introduced_rootsrKr rrrc_minmin_c_maxmax_old_rootrm new_root_exprr+modified_rootsmodified_root_valuesmroot swapped_rootrrrrRs` r^_process_derived_dim_rootsz)DimConstraints._process_derived_dim_rootsB sq\ 433333      *,.)) ' 'DAqqyyZ$<)B)B1T7D)Q)Q&GYEE%OOE9ei&77%BCCDEE%00E:uy'8G&CDDD15d)C)CGCII&-0ST$-O-O-OKD *EE%&&&EE%&&&)//11 ' 'HW]]__-- ' '1AII"1T7EJ77d4$0D+E+E&F&FFFGG8SS$+CMM$:4$@M w||V],CDDH&AdG '$'55MMOO . .DAq ##||KN++ .!uzz""1%%%%z!D'5:>>D4!56677'''""3t99---(223CDD ;=#' &' &ELENQJJ%1**dGS22* -,;u-878,U3#(L &$MMOO&&DAq ++ %a.C .-??H-66!A::!#(=#3#3D $T$*;%<%< = =A'0$%1I1I1'M'Ma'P'0$%1I1I1'M'Ma'P&&F$5#4 & E(:$$&?E 4U ; % gllnn%%  A ####KN33 qN7J7JAJ +,,,,,r_original_signatureinspect.Signaturer,Union[Dict[str, Any], Tuple[Any], List[Any]]constraint_violation_errorrDict[str, str]rc 2ddlm}jjsdSd-d.fd t t |i}d/d }d0fd }||}jjD]} | } | | krtj d| \} } } | } | dkr| | krN| r|| | t| }| r$|| || t| | dks J|  tj| | d<#t $r }Yd }~d }~wwxYwfdt#dDd}rt'}D]r}|| dd}|r ||jjX||js|ddt#|dz }D]\} }|d| d|dz }|g}g}fd t#fd!D}|D]$\}}d|vrb|d}t7|tr||d|Bt;|r||d|l|d"d }|d#krd }|d$d }|$|"||d%|d&|d'|d(|||d%|d&|d(| ||d%|d)|d( ||d%|d*&|s|r |d+z }|d,||zz }|S)1z/Format a message for constraint violation errosr)_get_dim_name_mappingr&FrrinverserrVcjjD]3\}}|s|||n|||}4|SrY)rrrNr)rr%rKrLr\s r^ transformz2DimConstraints.prettify_results..transform sV ;AACC H H1+2GAIIaOOO !QHr_NrXcV|dkrdS|dkrdS|dkrdS|dkrdS|dksJ|S)N<=>=<>==ri)rXs r^flipz-DimConstraints.prettify_results..flip sLTzztTzztSyysSyys::::Ir_rdigitrrWc|dkr ||d<dS|dkr|dz |d<dS|dkr ||d<dS|dkr|dz|d<dS|dksJ||d <dS) Nr)r_r+rr*r^r,r-rnri)rrXr/rs r^relation_with_digitz.relation_with_digit sTzz', e$$$s',qy e$$$t', e$$$s',qy e$$$Tzzzz&+ d###r_z( == | <= | >= | < | > )r-rnc"i|] }|| Sriri)rrKrs r^rMz3DimConstraints.prettify_results..> s1" " "  %a(" " " r_c8|ddS)Nrr)splitrs r^r<z1DimConstraints.prettify_results..B saggennQ/r_r6rz'Specializations unexpectedly required (, 9)! For more information, run with TORCH_LOGS="+dynamic". z% - solving the guards generated for z$ resulted in a specialized value of z. c"i|] }|| Sriri)rrKrs r^rMz3DimConstraints.prettify_results..] s/    wqz   r_c|dS)NT)r%ri)rr's r^r<z1DimConstraints.prettify_results..a sii4888r_r^rVr_z = Dim('z', min=z, max=rz', max=z')z Suggested fixes:  F)rrr%rrVr)rXrrVr)rrrXrr/rrVrW)rr$rrrdictrrrrer4stripisdigitrrr: TypeErrorr8rr6rrrr`rrNrrrrrJ)r\rrr!rr$r.r1rrrleftrXrightrbuf debug_namesrKrrdimsothersresults2r rrrrr's` ` @@r^prettify_resultszDimConstraints.prettify_results sy FEEEEEy2 2        5@4E4E  !N     , , , , , ,,+N;; %++D,ABB  A ! AAvv h'BAFFOD"eBTzzdemm}} ##D"c%jj9999 ##E4488SYY????Tzzz1zzz*/-*>*>GDM$'' DDDD" " " " &++--//" " "  ! o%%K+ 2 2!!''%.."34'',,2OOCH$56666OOCL1111 J$))F;DWDW:X:XJJJ C16688 o o3nqnnfinnnn ''===     8888   NN$$ 5 5DAqqyy$eS))4MMQ"2"25"2"23333.u554MMQ"2"25"2"2333uuUD))199DuuUD))#(8KK1 K Ka K K K KD K K KLLLL%KK1 ? ?a ? ? ? ? ?@@@@%KK1 ? ?a ? ? ? ? ?@@@@KK1 3 3a 3 3 34444  .6 . + +C 6;;tf}-- -C s2E E$E$N) rbrrrrrrrrVrW)rrTrrrVrrrrSrVr)rrrVr)rr$rrrVrW)rVr)rrrVr)rVr)rrrVr)rrrVr)rrrrrVrW) rrrr r!rrr"rVr)r`rarbrr[rrrrrrrr classmethodrrrrrrGrir_r^rrsz ;*;*;*;*zIIIIV    <<<< ++++Z????.#.#.#.#`RRRR YXYXYXYXv[     HHHH     s-s-s-s-jIIIIIIr_rcZeZdZUdZded<ded<ded<ded<ded<ded<ded <d S) ShapeEnvSettingsz Encapsulates all shape env settings that could potentially affect FakeTensor dispatch. Used when creating dispatch cache keys. rallow_scalar_outputsallow_dynamic_output_shape_opsassume_static_by_defaultspecialize_zero_one duck_shape+prefer_deferred_runtime_asserts_over_guards'allow_complex_guards_as_runtime_assertsNr`rarbrrcrir_r^rKrK sr ((((""""5555111111r_rKc(eZdZUdZded<ded<dS)rzG Locations of the guards that triggered lower and upper bound. r#rrNrSrir_r^rr s.KKKKKKKKr_rIterator[None]c#K| dV|dS#|wxYwrY)_suppress_guards_enter_suppress_guards_exit)rCs r^_suppress_guardsrY sV $$&&&* ''))))) ''))))s 2Ac  eZdZddddd Zd d d d ddd d dddZeddZeddZeddZeddZ eddZ eddZ edd Z dd"Z dd#Zdd%Zedd'Zedd,Zedd/Zedd0Ze ddd5Zedd6Zedd9Zdd:Zed d;Zedd<Zed!d=Zed!d>Zd"dBZd#dFZd$dIZ d$dJZ!d!dKZ"ed%dQZ#d&dSZ$d'dUZ%d(dWZ&ddXZ'ed!dYZ(ed!dZZ)d)d\Z*d*d^Z+d!d_Z,d+deZ-d,dgZ.ddhd-dmZ/d.dpZ0eddhd/duZ1eddvd0dzZ2eddvd1d|Z3ed2dZ4d3dZ5 d4d5dZ6ed6dZ7ed4d7dZ8d8dZ9ed9dZ:ee;j<ddfd:dZ=ee;j<dd d dfd;dZ>ddZAd?dZBdfdddd d dd@dZCdd ddAdZDdBdZEdCdZFdDdZGd ddEdZHdFdZIdGd„ZJdHdĄZKdIdJdƄZL dIdKdȄZMeN dLdMd̈́ZOePddNdЄZQeNd d d dddќdOdلZReNdPdۄZSeNd!d܄ZTeNdPd݄ZUePdަd dߜdQdZVePdަdRdZWdddSdZX d4d ddTdZYdUdZZdVdZ[eNedWdZ\ePdަdXdZ]dYdZ^dYdZ_eNdZdZ`d[dZa d\d]dZbd4d^dZcd_dZdePdަed  d`d ddadZe d`d ddbd Zfd!d ZgePdަed  d4dcd Zhd$d ZiePd edddZjdS(ermN)should_record_events tracked_fakesr[rr\Optional[List[Any]]rFr rVrWc 2|jdi|d|d<ddlm}||_||n|jo tj |_|jo tj|_d|_ ||_ |jrtt|gng|_ i|_dS)NFr[rtranslation_validation_enabled)rFri)_inittorch.fx.experimental.validatorr`_translation_validation_enabledrO translation_validation_no_bisectr[check_shape_env_recorded_eventscheck_recorded_events is_recordingr\r1rmeventsfake_tensor_cache)r\r[r\rFr`s r^r[zShapeEnv.__init__ s  V*/%&RRRRRR/M/M/O/O,$/ ! 4@?? !  % P&*P " "*( ]8F 3 3 3 4 4  r_TF)rLrMrNrOrP co_fieldsrQrRrLrrMrNrOrPrjOptional[Dict[str, str]]rQrRc | tj}t||||||||_g|_i|_i|_i|_i|_i|_ i|_ i|_ i|_ i|_ i|_i|_i|_i|_t%|_t%|_i|_|r(t,jjt,jjd|_t5j|_t5j|_i|_d|_t@|_ |j !dd|_"d|_#d|_$tKj&|_'tKj&|_(|r|ni|_)g|_*|+|_,d|_-d|_.i|_/i|_0i|_1ddl2m3} | |_4|j4rsddl2m5} | |_6tnj89|_:|j:;|j:<di|_=dSdS) N)rLrMrNrOrPrQrRrrr create_envFTr_)TranslationValidator)>rOuse_duck_shaperKsettingsraxiomsrunbacked_var_to_valoblivious_var_to_valrdvar_to_range_slocrrf var_to_stack source_to_var replacementsreplacements_slocsrIr6 divisible size_like val_to_varrrPrrrcountunbacked_symfloat_counterunbacked_symint_counterdeferred_runtime_assertsnum_deferred_runtime_assertsrr\rruntime_asserts_frozendim_constraints collectionsr countersymbol_guard_counterrjr5rH_prev_cache_keyrI_resimplify_floor_div_axioms fx_node_cachesource_to_symbolunbacked_alloc_orderrbr`rcro validatorrrGraphrinserting_beforeoutput name_to_node) r\rLrMrNrOrPrjrQrRr`ros r^razShapeEnv._init sR  .J(!5+I%= 3!8c4[     )+ 46 >@GI HJ! >@FH9;&@BCE68=?<>DF*-%%-0EE46  @"'',57;??DO)2):):&'0'8'8$>  % -.)  l### &+#9=%0%8%:%: @!RRRRRR/M/M/O/O,  / = L L L L L L1133DN))DJ J ' ' (9(9$(?(? @ @ @;=D   # = =r_c|jjSrY)rqrLrs r^rLzShapeEnv.allow_scalar_outputs s }11r_c|jjSrY)rqrMrs r^rMz'ShapeEnv.allow_dynamic_output_shape_ops s };;r_c|jjSrY)rqrNrs r^rNz!ShapeEnv.assume_static_by_default s }55r_c|jjSrY)rqrOrs r^rOzShapeEnv.specialize_zero_one s }00r_c|jjSrY)rqrPrs r^rPzShapeEnv.duck_shape s }''r_c|jjSrY)rqrQrs r^rQz4ShapeEnv.prefer_deferred_runtime_asserts_over_guards s }HHr_c|jjSrY)rqrRrs r^rRz0ShapeEnv.allow_complex_guards_as_runtime_asserts s }DDr_rc6d}d d}t||||dS) z(Compare another ShapeEnv for equivalence)rrrvrrrrfr[rgr\rhrrrIrruryrr7rvaluer rVc|dvrddlm}t||S|dkr d|DS|dkrd|DS|dkr!t|S|d vrdS|S) N)r~rr)rrcg|] }|j Srir'rgs r^rz;ShapeEnv.check_equal..map_value..$ s...1...r_rc.i|]\}}|d|DS)cg|] }|j Srir')rras r^rzFShapeEnv.check_equal..map_value...' s222BG222r_ri)rrrass r^rMz;ShapeEnv.check_equal..map_value..' s-OOOvq#22c222OOOr_r)rr5ri)rrrNr6r)r7rrs r^ map_valuez'ShapeEnv.check_equal..map_value sNNN%%%%%% DDKK(((......222OOOOOO&&5::<<((( tLr_N)r7rrr rVr )r0)r\rnon_state_variable_namesrs r^ check_equalzShapeEnv.check_equal s;$  :    4 $D%1I9UUUUUr_cV|jdSddlmdfd fd|jDS) Nr) TrackedFakefakerrVct|jtjtjfr|jnt j|j}||j|jSrY) rrrr!r r- from_fakerr)r inner_fakers r^maybe_transform_fakez>ShapeEnv._snapshot_tracked_fakes..maybe_transform_fake< sXdi%,)GHH9 #-di88 ;z4;8MNN Nr_c&g|] }|Sriri)rrrs r^rz4ShapeEnv._snapshot_tracked_fakes..H s%JJJt$$T**JJJr_)rrrVr)r\torch._dynamo.variables.builderr)r\rrs @@r^_snapshot_tracked_fakesz ShapeEnv._snapshot_tracked_fakes6 sh   %4?????? O O O O O OKJJJt7IJJJJr_rc0t|jdz SNr)r0rhrs r^_last_event_indexzShapeEnv._last_event_indexJ s4;!##r_rUc#HKd|_ dVd|_dS#d|_wxYwNTF)rgrs r^ _recordingzShapeEnv._recordingM s>  & EEE %D   D  % % % %s !orig_srTrArc4|||ddS)Neliminate_unbacked)_set_replacement)r\rrAs r^r9zShapeEnv._eliminate_unbackedU s! fe-ABBBBBr_rKrLcvtd||tj||j|<dS)zUsed only when propagate_real_tensors; registers a value for an unbacked symbol, which can be used last resort to resolve hints.zset_unbacked_var_to_val %s = %sN)rr\rr:rs)r\rKrLs r^r-z ShapeEnv.set_unbacked_var_to_valY s8 2Aq999&+mA&6&6 ###r_ct|tjs J|t|tjs J|t|s J|t|s J||j|}|t|rJ|d||||d||j|<||||ddSdS)Nz -> rename_unbacked_torename_unbacked_to_dest)rrrcrrxrJrrI)r\rrAdests r^rhzShapeEnv._rename_unbacked_toa s&%,//7777/%..5555.$U++22U22+$V,,44f44, $$V,,  ,T22 I Iv4I4I44I4I I I2 fe-ABBB*/'    ! !%/H I I I I I  r_rr^rr_c|d}|t}||krtd|||||j|dS)NrrdrUrV)r>rrXr{rr\rr^r_s r^r\z"ShapeEnv._constrain_range_for_sizeo s~ ;C ;C 993  ##  $   1r_c *t|tjrD|t|cxkr|ks(nt dt|d|d|ddSt|tjr||||dSdS)Nrerfrgrhr)rrrrrHrcrXrs r^rizShapeEnv._constrain_range s a ' ' 3q66((((S((((%&Ws1vv&W&W3&W&WQT&W&W&WXXX F a & &   ' '   (       r_r!rc&t|tst|ts ||ksJdSt|jjtjs Jd|jj|usJt j||j|jj<dSt|jjtjs Jd|jj|usJt|ts(t j||j|jj<dS|jj|jjusJt|jjtjs Jd| |jj}||j|jj<dS)z Given two SymInts, constrain them so that they must be equal. NB: this will not work with SymInts that represent nontrivial expressions (yet!) zconstraining non-Symbols NYIN) rr!rrrrcrCrrxr)r\rrnew_vars r^rmzShapeEnv._constrain_unify s!V$$ 9a(( BAvvvvvv!FK22122v'4////16q1A1A!!&+... afk5<88 X X:X X X86#t++++a(( 916q1A1A!!&+...v'16+;;;;;!FK22122**QV[1118!!&+...r_c.ttddS)Nignore_fresh_unbacked_symbolsFrTLSrs r^"_ignore_fresh_unbacked_symbols_tlsz+ShapeEnv._ignore_fresh_unbacked_symbols_tls ss;UCCCr_cF|}|t_|SrY)rrr)r\rprevs r^"_ignore_fresh_unbacked_symbols_setz+ShapeEnv._ignore_fresh_unbacked_symbols_set s 6688,-) r_c#K|d} dV||dS#||wxYw)za Indicates that the newly allocated unbacked SymInts are being discarded TN)r)r\rs r^rz&ShapeEnv.ignore_fresh_unbacked_symbols s] 66t<< : EEE  3 3D 9 9 9 9 9D 3 3D 9 9 9 9s 4A cd|_dS)zFreeze this ShapeEnv to stop accumulating guards A frozen ShapeEnv will ignore any further guards generated on it and only emit a warning which may lead to accuracy problems. TNrrs r^freezezShapeEnv.freeze s r_cd|_dS)a_Freeze this ShapeEnv to stop adding deferred runtime asserts. We will error if you try to install a new runtime assert when it is frozen. This would indicate a lowering violation, or perhaps something we know statically is already True but we are checking it again in a way that is not clearly dischargeable. TN)rrs r^freeze_runtime_assertszShapeEnv.freeze_runtime_asserts s'+###r_rr$rc|jsdS|}||jvrtj|d|j|<|j|S)NTr)rcrrrrc)r\rsrcnames r^_create_symbol_for_sourcez"ShapeEnv._create_symbol_for_source sW3 4++-- . . .-2\'4-P-P-PD !' *$W--r_rmrrcN|jr|j||dSdSrY)rcradd_var)r\rmrs r^ _add_z3varzShapeEnv._add_z3var s5  / 1 N " "64 0 0 0 0 0 1 1r_rrcL|jr|j|dSdSrY)rcradd_target_exprr\s r^_add_target_exprzShapeEnv._add_target_expr s3  / 1 N * *4 0 0 0 0 0 1 1r_cL|jr|j|dSdSrY)rcr add_assertionr\s r^_add_assertionzShapeEnv._add_assertion s3  / / N ( ( . . . . . / /r_cJ|jr|jdSdSrY)rcrvalidaters r^_check_translation_validatez$ShapeEnv._check_translation_validate s1  / & N # # % % % % % & &r_rXr rUr$Tuple[Optional[torch.fx.Node], bool]c||f}d}|jr||jvrtd|Drtd|DsJd|fSd}td|DsJd|jd||j||x}|j|<||j|j<|j |d|fS)NFc3K|]}|duV dSrYrirrs r^r/z4ShapeEnv._create_fx_call_function.. s&++19++++++r_c3VK|]$}t|tjj V%dSrY)rrrryrs r^r/z4ShapeEnv._create_fx_call_function..s3JJz!UX];;;JJJJJJr_Tc3K|]}|duV dSrYrirs r^r/z4ShapeEnv._create_fx_call_function..s7"# r_zmissing arg in FX graph (z): ) rcrrr1r`rrxrrrJ)r\rXrUnode_keyfreshrs r^_create_fx_call_functionz!ShapeEnv._create_fx_call_function s-:  / 0HDDV4V4V++d+++++ #JJTJJJJJJJJU{"E'+ B BA2;AA4AA B B37*2J2J2t2T2T TD4%h/+/D di (!%%h55u<.s>  %( C        r_z0Expect size to be a plain tuple of ints but got rTensorPropertyTensorPropertySourcer) r1rr r rrrr!r create_symbolSIZE) r\rrrr r  dynamic_dimsconstraint_dimsrtrArs r^rz*ShapeEnv._produce_dyn_sizes_from_int_tuples   ,7      L L Kk K K L L  NMMMMMMM/000'5 *; ,,  FAs KK""((1DaHH O#A&%5 #     r_rexrrYTuple[Tuple[Union[int, SymInt], ...], Tuple[Union[int, SymInt], ...], Union[int, SymInt]]c tfdD}tfdD}}|||fdt D||S)z Returns a list of symbolic sizes and strides for the given tensor. We try our best to express stride in terms of the sizes, so as to not introduce new symbolic variables. c3BK|]}|VdSrY#_maybe_specialize_sym_int_with_hint)rszr\s r^r/zHShapeEnv.create_symbolic_sizes_strides_storage_offset..sB  =?D 4 4R 8 8      r_c3BK|]}|VdSrYr)rsdr\s r^r/zHShapeEnv.create_symbolic_sizes_strides_storage_offset..sB  =?D 4 4R 8 8      r_c0g|]}t|Sri)_is_dim_dynamic)rrArs r^rzIShapeEnv.create_symbolic_sizes_strides_storage_offset..s# = = =_R # # = = =r_r)rrtrurrv-_create_symbolic_sizes_strides_storage_offsetr'r)r\rrrr ex_strideex_storage_offsets`` r^,create_symbolic_sizes_strides_storage_offsetz5ShapeEnv.create_symbolic_sizes_strides_storage_offsets"    CE7799         CE99;;     !DD       AA    = = = =U26688__ = = = - B   r_ maybe_symrct|ttjfsJt |r1|jj|us Jd|jS|S)NzFexpect the symbol is created from an shape env other than current one.)rrrr!rrrCr)r\r s r^rz,ShapeEnv._maybe_specialize_sym_int_with_hintsl)c5<%899999 y ! ! 1(444W544>..00 0r_rris_dim_dynamicSequence[bool]c  t}|dg|z}dg|z} g} g} t|D]a} || r tj} n jr tj} n tj} | | | | btjg|z} tjg|z} t| | || }t||j }|j } |j }|j} td|Dr tjn tj}td|D}t||ksJt|d|t| |ksJt|d|t||ksJt| |ksJddlmm|dgtzt)D] \} }|dvrt+j|| <!t/dDrfd ttD}t1fd ttDt2 }|D]a\}} | T| | tjkr>| |vr4|| | <| | z|| | z<bt/d Drt5fd ttDt2 \}} | | }| | tjkr|r tjn tj}|j| || | || <t/dDtdDsJfdt)t;D}g}t)D]J\} }|J||| j| K|j|d||j}tA|tA||fS)Nrrrrc36K|]}|tjkVdSrYrrrrs r^r/zIShapeEnv._create_symbolic_sizes_strides_storage_offset../s*AAa1 ))AAAAAAr_c36K|]}|tjkVdSrYr'r(s r^r/zIShapeEnv._create_symbolic_sizes_strides_storage_offset..2s*MM!qJ$55MMMMMMr_r9rr rmc3K|]}|duV dSrYrirrs r^r/zIShapeEnv._create_symbolic_sizes_strides_storage_offset..Bs&,,!t),,,,,,r_cbi|]+}| ||z||z,SrYri)rrArrrtrus r^rMzJShapeEnv._create_symbolic_sizes_strides_storage_offset..CsI!9( Yq\)47VAY+>(((r_c4g|]}| ||fSrYrirrArrus r^rzJShapeEnv._create_symbolic_sizes_strides_storage_offset..Ks+TTTq&)BS)A,"BSBSBSr_r6c3K|]}|duV dSrYrir+s r^r/zIShapeEnv._create_symbolic_sizes_strides_storage_offset..Xs&--19------r_c4g|]}| ||fSrYrir.s r^rzJShapeEnv._create_symbolic_sizes_strides_storage_offset..[s6!!9,#1q),,,r_) dynamic_dimconstraint_dimrc3K|]}|duV dSrYrir+s r^r/zIShapeEnv._create_symbolic_sizes_strides_storage_offset..os&11Q1D=111111r_c lg|]0\}\}}||j|1S)r^r)rCr)rrAsymr^r r r\rs r^rzJShapeEnv._create_symbolic_sizes_strides_storage_offset..qsc   ;C  " "++FN4GKK #     r_r5)!r0r'rrrNrrrrrrrrrrr1rr r rr!rrrr8rr^r STRIDEr2rCSTORAGE_OFFSETr)r\rrrr"rrrrrrrrArrdynamic_offsetare_sizes_staticr candidatesval_listr0 dyn_stride sym_sizesr~ stride_exprrr r rtrus``` ` @@@@r^rz6ShapeEnv._create_symbolic_sizes_strides_storage_offsetsS"'ll  #59FSL 7;fsl L O3ZZ * *"!$("*AA2(")AA"A##A&&&&&q))))&O,s2L)67#=O7* /!1#5      /000+<-@(6 *:AA=AAAAA !J    MM}MMMMM=!!S(((S-?-?*J*JS*J*J(((?##s***s=/A/A,L,Ls,L,L***#$$++++%&&#----MMMMMMMM!%!G!G V-" " /3Vc$ii-? ** / /FAsf}}!M#..q ,,V,,,,,, s4yy))JTTTTTE#f++,>,>TTT*H! P P11I%'*j.EEE!! 22 *9Q< 8F1I<@GfQi,>"?"?     '//  NA{***   &&"1//8MqQQ'    "33   !$$V^-JKK*#!1   #''0MNN4   Yz!2!24FFFr_)rr6r^Optional[Source]c |jr_|]||}|J||t}|t j||nd}t|t jr'|t||ksJt|}n7t|rd}tt||t||}|S)zCreate a SymInt value from a symbolic expression If you know what the current hint value of the SymInt to be created is, pass it into hint. Otherwise, pass None and we will make our best guess Nfx_node) rcrrrrrrarrrr!r2r\r6r^rrmrCr,s r^rCzShapeEnv.create_symintnodes  / F4F33F;;F%%%;;FCHHG    5 5 6 6 6 6G c5= ) ) I3xx4''''c((CC%S)) dCwGGGHHC r_r c |jr_|]||}|J||t}|t j||nd}t|t jr'|t||ksJt|}nAt|r | J|tt||t||}|S)z2Create a SymFloat value from a symbolic expressionNrB) rcrrr"rrrarr#rr r2rDs r^create_symfloatnodezShapeEnv.create_symfloatnodes  / F4F33F;;F%%%;;FEJJG    5 5 6 6 6 6G c5; ' ' MSzzT))))**CC %S)) )||S|||73eT7KKKLLC r_rr1rc^|||||||S)z1Create a SymInt wrapping a new unspecified symbol)rr1r5)rCcreate_unspecified_symbol)r\rrr1s r^$create_unspecified_symint_and_symbolz-ShapeEnv.create_unspecified_symint_and_symbolsJ %%  * *' +   &   r_rcJtt||tdS)z7Create a SymBool object from a sympy boolean expressionN)rr2rr\r6s r^create_symboolnodezShapeEnv.create_symboolnodes wsD$55666r_prefixrrrIc ftjduo-ttjdv}|||\}}n|d}}t d|jj |||tdfddS)N,r&z%s %s [%s, %s] %s%s stack_infocreate_unbacked_symbolctdjdjdtjt jtjtjd dS)N[r5rhrrp)rmr user_stackrV) rrrr(from_tracebackr% extract_stackrJextractsummary)rmrsr^r<z6ShapeEnv._log_create_unbacked_symbol..svf++1"(11bh111(78T8V8VWW#2%-1555==?? !!r_ metadata_fn) rOextended_debug_create_symbolrr4_get_stack_summaryrrr\rrr))r\rMrmrris_debugslocmaybe_extra_debugs `` r^_log_create_unbacked_symbolz$ShapeEnv._log_create_unbacked_symbols6dB&*&=&=h&G&G #D##&,kkmmR#D  !   H H      $ r_r c nttjt|j}|jdxxdz cc<|s|j|tj d|j |<tj x}|j|<|jsJ|}t#|||j|<||t(}|d||t-t/||t(d|S)z,Create a symbolic float without a hint valuerRrrUcreate_unbacked_symfloatNrB)rCrErrr~rrr5rrJrYrvrIunknownrdis_float _get_slocrrurr"rbr r2r\rmrr`rCs r^rdz!ShapeEnv.create_unbacked_symfloats, +  d&D!E!E   -...!3...6688 ?  / 6 6v > > >$5$=1$E$E$E&!)4)<)>)>>T v &{{~~)8t)D)Dv&77FF (()CVRPPPeT7KKKLLLr_c vttjt|jd}|s|j||jdxxdz cc<tj d|j |<| x}|j |<|jsJ|}t!|||j|<||t&}|d|||t+t-||t&d|S) z.Create a symbolic integer without a hint valueTrrRrrUcreate_unbacked_symintNrB)rCrErrrrr5rrrJrYrv _default_unspecified_value_rangerdr"rgrrurrrbr!r2)r\rrmrr`rCs r^rjzShapeEnv.create_unbacked_symint3s8 +  tD$@AA4   6688 ?  / 6 6v > > > -...!3...$5$=1$E$E$E&!)-)N)N)P)PPT v &yy~~)8t)D)Dv&77DD (()A62vVVVgfdCwGGGHHHr_c6t|tjS)zJCheck if a sympy symbol matches the naming convention for unbacked symbolsrDrEr)r\rms r^r[zShapeEnv.is_unbacked_symintIsfd&7888r_c ttjt|jd}|s|j||jdxxdz cc<tj d|j |<tddx}|j |<|jsJ|d}t!|||j|<||t&}|d||t+t-t/j|d|t&d | S) z.Create a symbolic boolean without a hint valueTrrRrrUrz(default value range for unbacked SymBoolcreate_unbacked_symboolNrB)rCrErrrrr5rrrJrYrvrIrdr"rgrrurrrbrr2rrarhs r^roz ShapeEnv.create_unbacked_symboolMsC +  tD$@AA4   6688 ?  / 6 6v > > > -...!3...$5$=1$E$E$E&!)4Q):)::T v &yy~~HII)8t)D)Dv&77EE (()BFBOOOwux22D$gVVVWWWr_r#Union[int, SymInt, float, SymFloat]r2 DimConstraint"Optional[StatelessSymbolicContext]c :|||||dd|S)z Create a symbol with an unspecified value Compared to standard symbols we do not assume the value is positive, nor do we specialze on zero or one values. NT)rdo_not_specialize_zero_oner)r )r\rrr1r2rs r^rHz"ShapeEnv.create_unspecified_symbolcs6(!!    '+-"   r_rrtc dt|tr|jj|jjkrt j}|jjkr4td|jjdd|r?ddl m }t|sJj J||j j <d|j j <d}} t|tr-t||jvri|jt|<t|tr>| r<| |jt|vr |jt|| S|t jt jfvr|jj} || t|tr| r| |jt|| <|t jur |j| <| S|rd} n|j} tt2sJt5d|rdkr Jd | t j}|t jurJt9j} t|tr| r| |jt|| <| S|t jur|j} n#|t jurd} ntAd ||!} d vr| r|j"}nK| r |j"vrt5tFustIr0tKtLj'tQ|j)|d n/tKtLj*tQ|j)|d |j+| <ttFrt9j|j)<nyttXrt9j-|j)<nGt]j/j0|j)<g|j1<|2tF| r |j"<ttFr&|rj|3dk|4|j5<tm|!|jrdnd| |j7<n4|8|j5<tm| | |j7<t|tr!| rJ|9|jd |j5}|j:sJ|vr"td|jd|jdd|jd|jdn{ttXrdtwt8j< t8j<x|j5<}tm| | |j7<d|jd|jd|j=sJnd}t|j?duo-tt|j?Adv}d}|stjCdddvrdd}|D|\} }|jEFd| ||| td fd!"|jHd xxdz cc<nE|j"}||j+| <|jEId#|t|t8jJrq|j1|}|KLs1|dLr|d$|dc|d<|d$<d|jM|<t|tr| r||jt|| <|S)%z5Create a new symbol which is tracked by this ShapeEnvzStatic shape constraint of z does not match input size of z, for r)r NFrz!positive set for negative value: zunhandled dynamic_dim rmTr)rr$)coeffrzuser code shown is first use of this value--the guard itself is not due user code but due to 0/1 specialization in the framework; to avoid specialization try torch._dynamo.mark_unbacked(tensor, dim) is_constraintz not in range [r5rhrTr&rOTORCHDYNAMO_EXTENDED_ADVICE1)0r&zC, for more info run with TORCHDYNAMO_EXTENDED_DEBUG_CREATE_SYMBOL="zF" or to suppress this message run with TORCHDYNAMO_EXTENDED_ADVICE="0"z&create_symbol %s = %s for %s %s %s%s%srPr c "tttjt jtjtjd dS)NrrU)rmrrrrVrV) rrrr(rWr%rXrJrYrZ) range_strr sympy_exprrsr^r<z(ShapeEnv.create_symbol..Tsz!*oo99#$kkmm",";&466##(6)1q999AACC % %r_r[zcreate_symbol %s duck sized %sr)Nrrrrrrrrrrr r'rrridrrrrjrrr\rtrOr$rrrrrrPrrgr|rryrCrErr0rFLOATrwr"r#rA nested_intrrfrr_default_value_rangerdrrurk_update_var_to_ranger"rIoorfrOr]rr4osgetenvr^rr\r)rrrcr is_ephemeralr)r\rrr1r2rrtrr  source_namer,rOduckr`rrr_maybe_more_infora r_sourcesr}r~s `` @@r^r zShapeEnv.create_symbolsf  ~'= > > "!'>+<+BBB$+K &#--.+.2C2I++il++!;;==++  EEEEEEE!&*>?????z---=H .vz:@D 1&*=!Nkkmm ')@ A A P4 0 TTTMO  @D J ')@ A A  #G4QRR$G4Q  :8*:ST T T--f55:?C  * *3 / / /*,CDD  !DRXXNj77714)#.J % ;"'  "&": &&))EEd6ll+E+EV+E+EEE)Tq+Ts+T+T)  %$,K *+ + +-$$C*,CDD  !DRXXNJ JO + +?DD J. . .DD !G+!G!GHH H~~ &==0=$AAE ODO33CyyC=#5#5(Is4?33hPT )JDO 4 4xd /9D { +#s## .3mC.@.@ ++C'' .3k#.>.> ++/;H''))1J1J1L1L/// + /1D  + OOJ , , , 2'1$#s##0 U'' Q777594M4M4O4OD%j19H $7&``"&  : :D*:66==??%":It9T9TD*:6n.DEE#OO8--"N$5T.&z2y  yb==2FFrxFF28FFF877BH777 C'' 5@%(EH5U5UU!*-5DT45P5P&z2777BH777 {""{" A:$F@3LL4::3??L@H!O  *G M MV!! 6AK666 '+&=&=h&G&G #D# HMM8 !#                 L ) ) )Q . ) ) ) )$A./D { + HNN;Q N N N a & & -+A.I   V $ $ $&&(( JYq\-F-F-H-H J.7mYq\+ ! im ,-D %a ( &(? @ @ [   @D J r_ctd||d||jvs J|dtj||j|<dS)z.Adds a new symbol to the symbolic environment.zadd_var_to_val %s %sTrPz already existsN)rrrrr)r\rrs r^add_var_to_valzShapeEnv.add_var_to_val|s] ($ EEE4?***t,D,D,D*** % c 2 2r_c`|}|j||SrY)rrrJ)r\rsrc_names r^ _debug_namezShapeEnv._debug_names(;;==-11(HEEEr_r 6Union[StrictMinMaxConstraint, RelaxedUnspecConstraint]ct|tr|jj|jj}}|}||jkrd}||jkrd}||d|d}|$|"|d|d||d|z }nE|!||d||d|z }n"| ||d|d||z }|S||S)Nrz in the specified rangerr) rrrrrrrrr)r\rr rrr}c_renders r^&_render_range_for_constraint_violationz/ShapeEnv._render_range_for_constraint_violationsK a/ 0 0 4:qtz5E//11G %% %%##F++VV VVV  U%6PPP4+;+;F+C+CPPPPP5#4E 0 0 8 8EEeEEE"u}EEE4+;+;F+C+CEEEOxxr_rc(|j|i|dS)z Like produce_guards_verbose, but only returns the non-verbose guard expressions (no verbose guards produced.) r)produce_guards_verbose)r\rUrFs r^produce_guardszShapeEnv.produce_guardss! +t*D;F;;A>>r_c*|SrYr rs r^r<zShapeEnv.sr_)rinput_contextsequalities_inputs _simplifiedr placeholdersSequence[FakeTensor]rnSequence[Source]rdrerOptional[List[ShapeGuard]]r"Optional[DimList[SymbolicContext]]rOptional[EqualityConstraint]rrTuple[List[str], List[str]]c$&GHIJKLMNOPQRSTUVWjdjr)tj} | t t |ksJdd|dtjtfId\d J|IJfd D}nt |t ksJtt|D]j\} \} } t| Ir| J| || <)t| tttt fsJt| t"rJkd d lmGmHgMt+jt"Vt+jt.UgKt1V|jP d]d^Kfd Rd_GHfd N|r}iSt|D]\} } | S| <d`Sfd }|jD]\}}||||}}t;j||}|st?|dt|tr|n| j!d |dt|tr|n| j!|j"D]&\}}}||}t|t:j#r'|j|d fn||$|f\}}||}t;j||}|s{t?d!|d"|t;j#|d#|d| j!d$| j! (|j%D](}V|&j|) d]daMPRUVfd* }dbMVfd, }t||D]\} }} t|tNrd d-lm(}||}t|tRsJ| Gt| ttfr ||| pt| tt fr ||| t| IsJtU| rd d.lm+}t| tXsJ|| | j-| j.fg}| /\} }!| D]L}"ta| |"}#| j1|"}$|2|||"|#|$j-|$j.fMn|| | j-| j.fg}|D])\} }%}&}'tg|%rMt|%4D]*\} }(H| Gj5| })||)|(|&| +dt|%4D]*\} }(H| Gj5| })||)|(|&| +t|%6D]*\} }(H| Gj7| })||)|(|'| +|H| Gj8|%9+gQgWtuVj!t/U;j<_=|soMD]k\}L|}*j>r<|*j?vr3@t;jj?|*LtLt:j#r(VALr|VLd kr|rAt|Hr1LjBr*jCd/||d0LN|rj=D|LPE|d0PFL}+Q2|+jGA|*x},|j|,d kr'W2|+d1j!|,d2nnjHA|,x}-W2|+d3|-n7W2|+d4|,d5nW2|+d6|*d5t|HrH|jIGj5ur9|r6t LjJd7krttLjJTtLt:j#rLUvr|M|VLd sd8$|d|d9$VLd dVLd d: }.R|jN$||.tLt:j#s TUvr|O|VTd LTfd;s߉VTd } d8$|d|d<$| d| d=$|dL Tt;jP$| id> }.R|jN$||.mt/OdcNOPQRUVWf dA }/||njQD]*}0R|0jSdBC|/|0+jTAd gD]S}1R|1jSdBCU|1jSLj=VLTVWD]\T}jXAT}2|2#jYT}3|sJg}4||d }5|2jZt:j[ t fvrtNfdD|Dr2j=Vt;j^T|2jZ|r"|2jZ_jZkr/|42t;j`|2jZTdEFW2|2jZdG|5d3|3jZ|2jat:j[tfvrtNfdH|Dr2j=Vt;j`T|2ja|42t;j`T|2jadEFW2|5dG|2jad3|3ja|4r/t;jb|4dIdEi}6Q2PF|6UT}7|7D]}8t|8tr|8jd_ze|2s|d }t;jbt;j`|2jZTt;j`T|2jaLPFL}9f||8}:dJ|:dK|9}.R|8jN$||.tTtjirLdLPE|d d}+Q2|+W2|+dMKr$g};g}}}?|>r6dNt |;d7zdO|?}@|;2|@>dP|?}@|<2|@|=V|vt |<d krLdQjt|=}AdRj|<}Bt?dS|AdT|Bt |;d kr(tCdUt |;tdVdijmjnt QtdWVpDtjqpdXYdZj>rCd d[lrms}CjTpD]!}D|DD]}1@|1jS"jXWD]\}E}F|FjZt:j[ t fvr-@t;j`|FjZ|E|Fjat:j[tfvr-@t;j`|E|Fjatju5|Cjvjwxd d d n #1swxYwY|yQWfS)da} Generates a list of guards strings which, when evaluated in a context that defines tensors for all the sources, returns True or False depending on if the guards in the list evaluated to True or not. Primarily used by Dynamo, but this is also helpful for manual testing of guards (see evaluate_guards_for_args) For convenience in testing, a source is allowed to be a str, in which case we will assume it is a LocalSource simplified lets you omit duck sizing, equality and 0/1 guards. This is useful for testing when you don't care about the boilerplate guards, and it may be helpful for user output too (be careful though; some equality guards are nontrivial! It would be nice to get simplified output to print them too). It's private because it's not intended for normal use rzlen(z ) != len(rrrLrVrcttjg|ztjg|zdg|zdg|zS)Nr%)rrrrrrs r^_create_no_constraints_contextzGShapeEnv.produce_guards_verbose.._create_no_constraints_contextsi+)12QUUWW.sK6@:5N5NX..q111TXr_rr rrrrrUr^Optional[Callable[[], str]]rWcD||fdfdS)Nc(rnSrYri)r^rUsr^r<zVShapeEnv.produce_guards_verbose..record_constraint_violation..Es"D0Q30@0@0@0@cr_)r)rrrUr^constraint_violationss ``r^record_constraint_violationzDShapeEnv.produce_guards_verbose..record_constraint_violation>s@ " ( (J(Q(Q(Q(Q(QR     r_rrTypeGuard[TensorPropertySource]c@t|o |jjuSrY)rpropr)rr r s r^is_dimz/ShapeEnv.produce_guards_verbose..is_dimHs(3 4554H 33 r_tensor_dim_srcr$rcX|j}|jJ|j|j}t |t jr |jjSt|tusJdt|tj |S)NzExpected int, got ) r rr'r rrr!rrrrrr)rrsymintr source_indexs r^get_expressionz7ShapeEnv.produce_guards_verbose..get_expressionSs#L1D1I1I1K1K$LM%)555N$67fel331!;++<<3...0ST&\\0S0S... =000r_rz is not equal to zExpected input z to be equal to z, where z , but got rrr{ constraintrqc Ttdt|j||t |t rt |sJt |t r2|j|j}t |t r|jj }t |tj rO| ||0t |ts||nd}t |trA fd|jD}t#d|Drd}n1t |tr|jrt)|}|dvrd}|rv|Jd fd } ||}d |d |d}  |j || t1j|| ||fdStj|} ||fd}t |tr&||jjcxkr|jjksnd}nt |tr|dvrd}|r`|J ||}d |d |d|d}  |j || dSdS)Nztrack_symint %s %s %sFcHi|]}|j|dSrYrdrJrrr\s r^rMzIShapeEnv.produce_guards_verbose..track_symint..s;###BCAt044Q==###r_c3K|]}|duV dSrYri)rrs r^r/zHShapeEnv.produce_guards_verbose..track_symint..s&EEbrTzEEEEEEr_TrmrrrVrc8|}|dSr)r)rsexpr py_printers r^r^zCShapeEnv.produce_guards_verbose..track_symint..hints"$.$6$6q$9$9E&+;;;.r_Not all values of z are valid because z was inferred to be equal to rBz was inferred to be a constant (z).)rrrVr)rrr'rrr!rr maybe_as_intrrrcrrrrrvrr8rrrrrrpartialrrrr)rrrrconstraint_violatedsym_vrsrAr^var_with_rangerU input_guardsrrr\symbol_to_constraintsrbs r^ track_symintz5ShapeEnv.produce_guards_verbose..track_symints II-z&+/F/FZ X X X!#v.. B+c2B2B B BB#v&& .38+@+@+B+B+Nh++--#v&&H HMa..*$Q'..v666!-j"$;77-.a044Z@@@*/'!*.DEE;####GH~###EEGNN4D4DEEEEE726/#J0GHH;;; #AA !6: 3*)555//////*.)T)T"J**WWW#//77WWW43&0 ,,V44!*!24!;!; ##VQK00000M#&&##VQK000&+#j*@AA 3Z]0GGGGJM4GGGGG.2+ ,CDD3&((.2+& %111%)%P%P &&N]^]]++F33]]UX]]]0/",d.>.>v.F.F  r_r crtdt|j|t |t rt |sJt |t r2|j|j}t |t rZ|jj }t |tj r| | ||fdStj |} ||fdS)Nztrack_symfloat %s %s)rrr'rrr rrmaybe_as_floatrrrcrr#)rrrrrbs r^track_symfloatz7ShapeEnv.produce_guards_verbose..track_symfloats II,j.E.Es K K K!#x00 DK4D4D D DD#x(( 0SX-D-D-F-F-Rh--//#x(( 1HMa..7$Q'..v666##VQK00000K$$##VQK00000r_ LocalSource) AttrSourcezSkipping guard %srzN # duck sizing added this equality because these variables had the same size zY (to avoid this specialization, set torch.fx.experimental._config.use_duck_shape = False) # z # (unknown var z, please file a bug)z # (unknown source rzThe values of  and z must always be equal.c2|iSrY)r#)rrrms r^r<z1ShapeEnv.produce_guards_verbose..sdmmVQK&@&@r_z) must always be related to the values of z by r guardr"c |j}| vrdS | d}t fd|jDr#jJj|} |} ||d|j ||st|jdkrtt|j}|d}|}|D]}t|trE||}d|d|d} |j|| \t|t$rrt'd |dSdSdS#t($r"jd |jwxYw) NFc3DK|]}|D]}|VdSrYri)rrrrrbs r^r/zGShapeEnv.produce_guards_verbose..issue_guard..s["21"5F6NNr_rrrr satisfy the generated guard r zunrecognized constraint zFailing guard allocated at %s)simplifyrrrrvrrrr`rr0rrrrrrrrrrKrr)rr is_trivial guard_exprrmr constraintsr rrUrissuedr python_exprsrr\rrb verbose_exprss r^ issue_guardz4ShapeEnv.produce_guards_verbose..issue_guards==,,Dv~~ JJt   ) " !.@  /;;;!%!5!9!9$!?!?J'//55 ##J///$$ %D%D %D%DEEE%%d+++"Qc$*;&<&<&A&A!$t'8"9"9::F-f5a8F"7"?K(QQ%a)?@@Q $ K KFTU V V+!M^!M!M?I!M!M!M 87 ! T-=-=f-E-Es(+BCCQ !"01OA1O1O"P"PP/QQ&A&AQQ(     !@%*MMM s E;F99,G%rirrc3.K|]}|VdSrYrirrrs r^r/z2ShapeEnv.produce_guards_verbose..+<<&vvf~~<<<<<. rr_rrrznot __math_isnan(zM # implicit guard for float input due to NaN specialization in the frameworkz . z - r5rzConstraints violated (r6z$%s Warning only constraints violateddynamicc3K|]}|dV dSrNri)rrLs r^r/z2ShapeEnv.produce_guards_verbose..Ss'#N#N!A#NA#N#N#N#N#N#Nr_T)reverse) num_guardsrvsymbol_guard_counts)PopulateValidator)rrLrVrrY) rrrrrUrr^rrVrW)rrrVr)rr$rVr)rr$rr{rrqrVrW)rr$rr rVrW)rr"rVrW)zrr\rfr/rhrr0rrLr-r!r2rr!rr r"rrr r rrr6rxrfrr evaluate_exprrrarr#rrrcrrextendrrr$r5rrrrr*rrrr*rtrrur7r8rvrrrrrcrrrJrrrrqrrwryrrvrrrrrr:rrJrrrrrNrdrurrr>rrrrrrrrrerrDrErrr8r+rjrsumr8rrbr fx_tracebackpreserve_node_metarrrunr)Xr\rrnrdrrrrrrCrArcontextrrrrexpr1r concrete_valsrcEqrrrexpr2_phantom_symbolrrrrrsources_tensors_constraintsr/r0r1inner_t inner_contextcurr_tconstraint_sizeconstraint_stridessproperty_sourcerress0r`rUrrrrvr_slocboundsrfboundrr rr warn_msgs error_msgsrCrmsg_cbstr_msgdebug_names_strerrrrr6rr r rrrrrrrrrrrrmrrbrsX`` @@@@@@@@@@@@@@@@@r^rzShapeEnv.produce_guards_verboses@  &'''  % (/ < >   #C ( ( LN, j$*=  15                5 L#G,, - -3+, SXXZZ(( 1 1 1 1 1 1 10<   d-~d33^^D5I5Iu $11%(5%2H2HII #299;;rrJuc4J4J+o55PUP^P^_c_nPoPorr99;;rr4>uc4J4J+o55PUP^P^_c_nPoPorr$5#G  tR&u--"$ 55HT4.t4Q7<<>>??(...0@0@0F0FG"z E $11%(5&2I2IJJ #2E%**,,EE2el:6677EE!+EE05t0O0OEE$)>>$/#B#BEE#4"C   077'7 RVQ Q Q Q Q Q Q Q Q Q Q Q f 1 1 1 1 1 1 1 #&lG^"L"LE E  Avw&#&& -<<<<<<$V,,ff-- - --y!fc]++  VQ'''A%011 vq)))a,, , ,,,Q// ;;;;;;!'+BCCCCC Q 8':TUS+//11q!  D%a..G$+$:4$@M/66&Jvt44#):)<  Q 8':TU/+-   ! ((!*6;;==!9!9NN2*>*>!4a++% _b/!:LMMMM N "+6;;==!9!9NN2*>*>!4a++% _b/!:LMMMM!*6==??!;!;PP2*>*>!6++% _b:KA:NOOOO L,,S.2OPP--/// @  -  O %**,, - -  *   \  ,[ [   ++--7$"777--!HT%:7%CTJJ tU\22(,,T22"24"8";;; !!Z8L%M%M!~!/JJv4F4F1R1RD1R1R!6&>>D(55fdCCC#0088XXj>P>PQU>V>VXX##C(((,00999BF!4R!8!;;;%,,"ww;??2;Nwww #'"9"="=b"A"AA$N%,,-?-?-?-?@@@@%,,"MMRMMM"((QQGQQQ v';<<( ~':::);D-..!33!$t'8"9"9::F"466 $999 1 : :"$4T$:1$=!!: 4T-=-=f-E-E44&++--44#//0@0Fq0IJJ44O_`dOefgOhOmOmOoOo444 43-79I9I&9Q9QSV 'tU\::"&;;; 1 < <",V4Q7@@@@@!!</v6q9}T-=-=f-E-E}}&++--}}-1-=-=c-B-B}}GJxxzz}}#//77}}<@MM6SXS`aeaqaqruavavSwSwJx>J==))D  $ $T * * * * 05577; ; OFG!%%f--Ay,V4GNN7FGAJ''Bwy6'222<<<>>4F; $A!!%;<<!"t'@'@'B'B BLLQOO%,QZF#(9 %& 9 958FAG;T;T$$D*4););D)A)AJ $ K KFTU V V+#q~"p"pdn"p"pC77 ! $ 0 0 8 8 #fdj11 P**A*A'!**M*MPPP##C((($$iii ! R#%I$&J%%K1F 0 0- :v0C3y>>A#5CCCCG$$W----/VVXX//G%%g...OOJ////:"""&))F;,?,?"@"@ii ++._ Y!## @#i..QQQ   . , ",// ##N#N/?/F/F/H/H#N#N#N N N(.-4466(((       / D I I I I I I 4;;== 3 333B))"'22223  ,2244 C CR8UXIw#777))%(28S*A*ABBB8EHf#555))%(3*A*ABBB022 D D!!$*dn==AACCC D D D D D D D D D D D D D D D >  , , . . .]**sJ8)AK-K-AK1K4AK1rr#Sequence[Union[SymInt, FakeTensor]] Optional[str]cddlmdtt|D}||fd|D||}|rd|SdS)a Expected to be used with evaluate_guards_expression(). Produces the guards for the given placeholders and returns a string expression to be evaluated by evaluate_guards_expression given concrete values for the placeholders. rrcg|]}d|SrrirrAs r^rz6ShapeEnv.produce_guards_expression..s???WWW???r_c&g|] }|Sriri)rrrs r^rz6ShapeEnv.produce_guards_expression..s! / / /[[^^ / / /r_r rN)rrr'r0rr)r\rrr arg_namesproduced_guardsrs @r^produce_guards_expressionz"ShapeEnv.produce_guards_expressionys 544444??eC ,=,=&>&>??? --  / / / /Y / / /' .    1<<00 0tr_codeUnion[int, float, bool]ctd|jD}t|t|S)z? To be used by compile_fx to evaluate symexprs c4i|]\}}t||Srir)rrrs r^rMz-ShapeEnv.evaluate_symexpr..s$BBB3ABBBr_rrNevalrur\rrUs r^evaluate_symexprzShapeEnv.evaluate_symexprs8CB$/*?*?*A*ABBBD,---r_ Union[SymInt, SymFloat, SymBool]czfdjD}t|t|S)zB To be used by compile_fx to deserialize symexprs c i|]F\}}t|tt|tt|dGS)NrB)rr!r2r)rrrr\s r^rMz0ShapeEnv.deserialize_symexpr..sV   3 FFF71dCS4HHHII   r_rrs` r^deserialize_symexprzShapeEnv.deserialize_symexprsM    ///11   D,---r_Sequence[object]c dtt|D}t|tdt t ||iS)z Expected to be used with produce_guards_expression(). Evaluates an expression generated by produce_guards_expression for the given concrete args. cg|]}d|Srrirs r^rz7ShapeEnv.evaluate_guards_expression..s777WWW777r_L)r'r0rrur;r2)r\rrUrs r^evaluate_guards_expressionz#ShapeEnv.evaluate_guards_expressionsN 87eCII&6&6777 D,d3y$3G3G.H.H(IJJJr_rSequence[Tensor]cd|||}|r|||SdS)zRGenerate guards for a graph's placeholder values and evaluate the guards with argsrT)rr%)r\rrUrrs r^rz!ShapeEnv.evaluate_guards_for_argss?--l--XX  ?224>> >tr_symintsSequence[torch.SymInt]List[ShapeGuard]cFdDfd|jD}|S)z Get a list of guards, but pruned so it only provides guards that reference symints from the passed in input cnh|]2}t|jjtj&|jj3Sri)rrrrrcrs r^rz-ShapeEnv.get_pruned_guards..sA   Jqv{EL,Q,Q FK   r_c^g|])}tfd|jjD'|*S)c3 K|]}|vV dSrYri)rrr(s r^r/z8ShapeEnv.get_pruned_guards...s')T)T1!w,)T)T)T)T)T)Tr_)r1rrv)rrr(s r^rz.ShapeEnv.get_pruned_guards..sP   c)T)T)T)T@S)T)T)T&T&T    r_r)r\r(rs ` r^get_pruned_guardszShapeEnv.get_pruned_guardssR   !(       {    r_rcBidfd }t||D]\}}| t|tr |||+t|tjsJt |D]$\}}||||%t |D]$\}}||||%|||S) a5 Given a paired list of placeholders (fake tensors with symbolic sizes) and concrete arguments (regular tensors with real sizes), returns a dictionary mapping each symbol to its real value. So for example, if you have a placeholder with size (s0, s1), binding (2, 4) to it will give you {s0: 2, s1: 4}. This is not guaranteed to bind ALL symbols in the ShapeEnv; we can't bind a symbol if it doesn't occur in any placeholder, and symbols that already have replacements won't get bindings. This is a little duplicative with evaluate_guards but it's different enough that it seemed cleanest to make another copy. This assumes the guards are already checked, though if it's cheap we'll check for shenanigans rrrrVrWct|trt|tsJ|jj}t|t jr.|vr#||ksJ|d|dS||<dSt| t jr7| vr'| | ksJ| d| dS| | <dSdSdS)Nr9)rr!rrrrrc)rrrrEs r^ bind_symintz*ShapeEnv.bind_symbols..bind_symints#v&& ,!#s+++++HMa.. ,H}}'{c111hqk3L3Ls3L3L11111&) EL11,rX~~'|t333! 5P5P3$5P5P33333(+t!  , ,,,r_N)rrrrrVrW) r2rr!rrLr!rtrurv) r\rrUr3rrrArrEs @r^rzShapeEnv.bind_symbolssF&-/ , , , , , , ,-- B BFAsy!V$$  C###a.. . ..!!&&((++ , ,1 CHHQKK++++!!((**-- . .1 CJJqMM1---- K**,,a.>.>.@.@ A A A Ar_List[SympyBoolean]c*fdjDS)zSReturns a list of guard expressions that aren't statically known (i.e. not trivial)c|g|]8}|jd|j9S)rir)rJrr)rrr\s r^rz2ShapeEnv.get_nontrivial_guards..sL   **5:b*AAI MM%* % %IIIr_r/rs`r^get_nontrivial_guardszShapeEnv.get_nontrivial_guardss0        r_verbosecPdfd|jDS)zQFormat this shape env's guard expressions with optional traceback info if verboserc3bK|])}d|jrdt|jzndV*dS)z - rr&N)rrr`)rrr8s r^r/z)ShapeEnv.format_guards..s^   I%* HwFcC OO33B H H      r_)rr)r\r8s `r^ format_guardszShapeEnv.format_guardssCyy          r_rcfd|jD}|r?j|zD]"}||tdt||<#t ||S)zPGiven a sympy expression, computes a ValueRanges bound for what values it can becHi|]}|j|dSrYrrs r^rMz(ShapeEnv.bound_sympy..s.UUUa4,00D99UUUr_NrV)rvr{rrIr>rF)r\rrrdrs` r^rFzShapeEnv.bound_sympy s~ VUUU4CTUUU  =^l&7&7&9&99 = =?.'2!V&<&.'sJQSLMr_c3tK|]2}|jv j|dD] }|jV 3dS)riN)rrrJr)rrrr\s r^r/z&ShapeEnv.get_axioms..+sbDO++6::1bAA,++++++r_c3$K|] }|jV dSrYr'rs r^r/z&ShapeEnv.get_axioms..1s$)F)FQ!&)F)F)F)F)F)Fr_c3fK|]+}t|jV,dSrY)rsr#r)rrr\s r^r/z&ShapeEnv.get_axioms..4sKHI&qzz$/'B'BCCr_) rr8rrchainrr;fromkeysr)r\rr?runtime_assertsrrrs` r^ get_axiomszShapeEnv.get_axiomss ?!%!>!E!E!G!GOO O *G)F$+)F)F)F)2)Q)Q  MSFT]]6**//11222r_r@Tuple[Tuple[SympyBoolean, sympy.logic.boolalg.BooleanAtom], ...]c@id fd }||t|tjrU|tj|j|jd|tj|j|jdnt|tjr|tj|j|jd|tj|j|jd|jj r9|jj r-|tj|j|jdz dnGt|tjr-|tj|j|jdzdt S) zGGiven a expression, it returns a list of predicates that follow from itrrrVrWct|}t|tjtjfrt|tjr tjn tj}tjt ||j|jd<tjt ||j|jd<tj ||j|jd<tj ||j|jd<dStj|<tj ttj |<dS)NFr) rsrrrarrrrbrfrr)rrequivs r^add_exprz+ShapeEnv.get_implications..add_expr@s)$//D$58 455 M(2$'A'AO588uxHM jd4jj48eDDDEHM jd4jj48eDDDEFKkhhtxEBBBCFKkhhtxEBBBCCC$jd BG,UYt__==>>>r_FrrrrrVrW) rrrarrbrfrrr is_integerrrN)r\rrOrNs @r^get_implicationszShapeEnv.get_implications9s FH M M M M M M&  a " " A HUXaeQUU;;; < < < HUXaeQUU;;; < < < < 58 $ $ A HUXaeQUU;;; < < < HUXaeQUU;;; < < <u EAE$4 E!%UCCCDDD 58 $ $ A HUXaeQUQY??? @ @ @U[[]]###r_)rr?rrrrdrSrrrOptional[Tuple[SympyBoolean]]rd1Optional[Tuple[Tuple[sympy.Symbol, ValueRanges]]]Optional[sympy.Basic]c  |r|rJ|}|r2|jj}t |}d fd }||jj}nyi}|D]i} | j|jrH|t | j||||}|j} | s|j s|j r|S|j nt| t fdt| d D} t!|| ||} | S) a: Tries to evaluate expr without introducing guards If unbacked_only == True, then we only do substitutions on unbacked SymInts (leaving regular hinted integers alone). This could result in an expression that still contains backed SymInts, which you could then potentially guard on. Use compute_hint == True if you are trying to compute a non-binding hint for the particular hint values of backed and unbacked SymInts, e.g., if s0 happens to be 3 this run, compute_hint will subsitute s0 with 3. rrDict[sympy.Expr, sympy.Expr]rVrWcjsdSd_i}|D]I\}}|tr*|||iJ||dSr)rrNrr9r(r)rr new_itemsrKrLr\s r^resimplify_floor_divz=ShapeEnv._maybe_evaluate_static..resimplify_floor_divs4 05D -I  < <1 55??<$$dmmA&6&6%:;;; MM) $ $ $ $ $r_Nc3K|]<}||j||jvfV=dSrY)rJrr{)rrr\ var_rangess r^r/z2ShapeEnv._maybe_evaluate_static..sc   q!!4?#6#6q#9#91;N O      r_c t|SrYrrs r^r<z1ShapeEnv._maybe_evaluate_static..s c!ffr_r6)rrrWrVrW)rr#rrsrsrrrvrer(r;rRr is_Booleanrdrr8r-)r\rrr?rrrrdrZsubstrr;rrr\s` @r^rJzShapeEnv._maybe_evaluate_staticbs2 -v---}}T""  U==11::4;STTD%d++ % % % % % % >  - - -KEEE P P>**4+<==PLLd&;&;DMM!>$.PP19(. )}}%566"4(( 88H   $! ::ei((D 5>22==djj>W>WXXIjj** C C " g<<D' 2 233t~EE+3D'+B+B$R( $==)9::&x00#>>%)44 (u~ > > I INN5=11!! $$T**$}/E/Ei/P/P$#D r_r allow_nonerqct|j}|jsddlm}t ||rdS||d}||S|rdS|jr||j}|d|j D}|j sI|j sB||krt d||St d||nt d |||j r||j j sbtd td fd  |t#j|d|dS|||S)a Gets a size hint for a given expression from the underlying shapes we had. Does not introduce a guard, so only use this when you can guarantee that your code is still valid for arbitrary shapes (such as optimization decisions) rr@NT)r?c6i|]\}}|t|dSrVrbrrKrLs r^rMz&ShapeEnv.size_hint..s&PPPdaQAq PPPr_zoblivious_size hit %s -> %sz3oblivious_size counterfactual failed %s -> %s != %sz1oblivious_size miss %s -> %s (counterfactual: %s)z*propagate_real_tensors size_hint(%s) -> %spropagate_real_tensorsctttjtjddSNrrU)rrRrVrr(rWrJrYrZ)r unsound_exprsr^r<z$ShapeEnv.size_hint..9sP$(JJ&*<&8&8%/%> 1 9q A A A I I K K&&--r_r[propagate_real_tensors: r)rr#rr torch.utils._sympy.singleton_intrArrJrtrNrvrr\rsrr)defer_runtime_assertrra_make_data_dependent_error) r\rrq result_exprrAr correct_hintcounterfactual_hintrzs ` @r^ size_hintzShapeEnv.size_hintsL"$''00AA $= E E E E E E E+|44 t++Kd+KKA} t( *33D4MNN &1&:&:PPd.G.M.M.O.OPPP''#%1/<$':::!>lSSS++Q (/ HHK$+ ' (*33D4LMM #0(KKDdL%0%%%%%    --l;;R;RRLRR('11+tDD Dr_ct||j}|jp||duSrY)rr#rrrJ)r\rrs r^rzShapeEnv.has_hintKsF!$''00AA  ! D**;77tC r_size_oblivious_result unhinted_exprrrRcHg}|jD]n}d|j|}|jd||||jvr||od}|d|d}|d\}} |j rd} nd} | d|d |d d tt|pd d |d|ddtt|jd| z} t|| S)Nr&z-Data dependent variable '%s' allocated at: %szNATTENTION: guard_size_oblivious would fix the error, evaluating expression to zb. Maybe you need to add guard_size_oblivious to framework code, see doc below for more guidance. TzDCould not extract specialized integer from data-dependent expressionz,Could not guard on data-dependent expressionrz (unhinted: z). (Size-like symbols: r5nonez) z Caused by: z For more information, run with TORCH_LOGS="dynamic" For extended logs when we create symbols, also add TORCHDYNAMO_EXTENDED_DEBUG_CREATE_SYMBOL="rOz" If you suspect the guard was triggered from C++, add TORCHDYNAMO_EXTENDED_DEBUG_CPP=1 For more debugging help, see https://docs.google.com/document/d/1HSuTTVvYH1pTew89Rtpeu84Ht3nQEFTYhAX3Ypa_xJs/edit?usp=sharing ) rvrrvformatrrr{rr^rQrrrR) r\rrrsize_like_symbolsr stacktracesize_oblivious_result_msgr`radescrUs r^r~z#ShapeEnv._make_data_dependent_errorSs" , ,A!21!5!!>??J HNN@!Z   DN""!((+++$&! ,uavuuu &#'"9"9$"?"? ? BV DBD q qd q q q q#'99S6G-H-H#I#I#SV q q( q q q q ;>((3sDL]C^C^:_:_ q q q   +4555r_rwrOptional[ValueRangesSLoc]rxc|j|j}}|dkr||jvrt|d}||jvrW|jd||||j|<|$|}t||}||j |<n|j|}||z} | |kr|$|}t||}| j|jkr|j|j |_| j|jkr|j|j |_| |j|<|jd|| |j |x} &|j|} | | vr|s| | vsJ| d| dSdSdSdS)NrVz"_update_var_to_range %s = %s (new)z%_update_var_to_range %s = %s (update)z not in ) rrr{rIrdrrrgrrurrJ) r\rmrrrxrrr`r5r4rLrs r^rzShapeEnv._update_var_to_rangesxu 1994>11UA&&B * * * HNN? L L L(*D f %~~'')$55-4D "6 * *#F+C(Cczz?>>++D-dD99G9 ));B=D*6289 ));B=D*628,/!&)FPSTTT$$V,, ,A 9!&)Azz%5666a#4#4#4#4666 : 9z55!6r_tgtrUc~ jdkrdSjvrdSttjsJjrtsdSd}jvrj} } || |stjdkrttj}tt j|d}|jd|| |d}t't)|jt-|j} || j }| |sJjvr5ttjrjn=ttjr#jvrj| |s!jd||dSjvrd d} d} | | s!jd | | dSttjtjfrt;j t?d  fd  t@j!r[j"d j#d$jddt"%d|j<j&vr'j&<()t jddS)zw Adds or updates a replacement for a symbol. Use this instead of `self.replacements[a] = tgt`. NrFfloordiv_inequalityz2set_replacement: solve for %s in %s == %s gives %sz:skipped set_replacement %s = %s (%s) [%s not subset of %s]TrzVskipped set_replacement %s = %s (%s) [%s not subset of %s (size-oblivious conditions)]symbolic_shape_specializationc *tdjgDttjt jdrtjnddS)Nc6g|]}|Srir rs r^rz?ShapeEnv._set_replacement....:s QQQQQQQr_rrU)rmrnrreasonrVrV)rrfrJr(rWrJrYrZ)rrUr\ruser_tbsr^r<z+ShapeEnv._set_replacement..8s"1ggQQ$2E2I2I!R2P2PQQQ!#YY!'6)1q999AACC#*";G"D"D"D % %r_r[zSpecializing %s to %srSPECIALIZATIONrPzset_replacement %s = %s (%s) %sr)*rxrJrvrrrcrRrrdrFrrer0rrrBrarrrIr7rr:rrur{rrr#r%rXr)rOprint_specializationsrrfrr\ryrgrr) r\rrrU tgt_bound src_boundrr rat_b_boundb_bound tgt_bound_so src_bound_sors ```` @r^rzShapeEnv._set_replacements $#''400 0 0 F  F!U\*****  8 -c22  F ! ! !)!,I ((--I  % %a 3 3 3%%i00 9S9I5J5Ja5O5Oc.//00ehq#..uMMM=HNNL #'"2"21Q4"8"8K)!+"344jAR6S6SG--a$:PQR:STTT $ 0 0 5 5I$--i88888(DN""z#u|'D'D"""3''''C.. &3$.3H3H""1%%%%%i00 P dn$$#//D/II #//$/GG #,,\:: HNNL$$F cEM5;7 8 8 B%244G /             + B  +T-@-CA-F-K-K-M-Ms/DAAA 2AsCKKK"! D+ + +)-)9)9D #A & $$&&& ehq#>>>?????r_cb|j||dSrY)rzrrr\s r^_add_divisiblezShapeEnv._add_divisibleXs0 4    $$&&&&&r_c|jvr|Sj|}fd|jD}j||\}}|r||dj|S)z Implements a DSU-like algorithm to find the variable that represents a Also handles transitive non-identity replacements. a: b + c c: d c<i|]}||Sri)r)rrr\s r^rMz"ShapeEnv._find..is%BBBAq$**Q--BBBr_find)rxrv _xreplacer)r\rr cur_replacereplacedchangeds` r^rzShapeEnv._find\s D% % %H"BBBB1ABBB  -a0::;GG'  7  ! !!Xv 6 6 6 ##r_ sympy.Relc * t|tjsJt|tjrdSt |j}t |dks Jd|t |dkrdSdfd }t||d }|j}|j } |t|tj sdS| ts |t|t}t |dkr t#d |Drt$dd}|||r+||dn|||r+||dnt+||dd}|t-dtj|dDrZ|d} t t1| dk} | r|d| dn#t$$rYnwxYw| trt3t5|t} t+|| d}||ddkrz| | j\} } t| tjr@t| tjr%t | jdkr | j\}}t|tjrt|tjrΉ |r| tj!| |z }"j#j$}%|tMj'j(|tSj*||j+vrj+,||||zdn#t$$rYnwxYwdS)z The relational guard is guarded to be true. Use this information to simplify shapes (i.e. a == b or a % 5 == 0) Nrz3The expression should not be static by this point: rrrTrVTuple[int, int, str]cn|jvo#tdj|D}|d}| tj}nRt |t jr,t|tj sJt|}n tj}|j }|rdnd||fS)Nc3>K|]}|VdSrY)rrs r^r/zHShapeEnv._maybe_guard_rel.._smart_symbol_sort..sEJJ%&  JJJJJJr_Trprr) rfr1rrrrDrErrrrrr)rhas_only_ephemeral_sources hint_sizertrr\s r^_smart_symbol_sortz5ShapeEnv._maybe_guard_rel.._smart_symbol_sorts)*d.A)A*cJJ*.*=a*@JJJGG &qT::I {49-- #!)UZ888889~~{6D3:AAD$G Gr_T)r7rc3,K|]}|jdkVdSrrrs r^r/z,ShapeEnv._maybe_guard_rel..s944'(AIN444444r_rbrrfrct|tjr.trivial_solvesb!#u|44(055(>S??($(4)#tz::(#'4!5r_ trivial_lhs trivial_rhsFrc3$K|] }|jV dSrY)rQ)rrs r^r/z,ShapeEnv._maybe_guard_rel..s5--)* ------r_rrrV divisibility)rrTrVr)rbrrfrrVr)-rrrrrrvr0r8rbrf_refine_rangesrarr<rr9rrrrrrBr1preorder_traversalrrrrrUNumberrrcr[rrjrrrrGfloordivrdrIwrapr{r)r\rfreerrbrffloor_div_atomsrrrokmod_exprpqr i0di1s` r^_maybe_guard_relzShapeEnv._maybe_guard_relos $ ***** dEH % %  FD%&& IIMMM G G G MM t99q== F  H H H H H H"d 2DAAAhh D!!!$))  Fxx}}1 0 "%))H"5"5";";CIIh!>!C!HB!55 " 7 @$($5b$9;;KA;N;N!"!" "T^33 $ 2 22 6 6 6 11"a"fnMMM&    s&6FJ JJ&FR RRcB|jrdnd}t|tS)NrVr)rOrIr>)r\rs r^rzShapeEnv._default_value_ranges#-415&)))r_c(tjSrY)rI unknown_intrs r^rkz)ShapeEnv._default_unspecified_value_ranges&(((r_c&t|t}t|D]F}|j\}}t ||}t j|d}||G| |Sr) rrr9rrUr<rrarr)r\r floor_divsrmr rreq_exprs r^_simplify_floor_divzShapeEnv._simplify_floor_div s4::h//00 :&& ( (BGMD'4))Hhx++G   w ' ' ' '}}T"""r_rc|jr|jdxxdz cc<tddi|j|d|ddtd||ttjkrd nd dSdS) Nignored_backward_guardrrevaluate_expr_frozenrrV) ignored_guardversionz>Ignored guard %s == %s, this could result in accuracy problemsTFrP) rrr+rjrrgetEffectiveLevelrWARNING)r\rrs r^ _check_frozenzShapeEnv._check_frozens ;  L1 2 2 2a 7 2 2 2 &n(,%@%@,%@%@ !     KKP##8#:#:W_#L#L44RW        r_r_ framework_locTuple[SLoc, str]c.|}|qtj} |S|jjt vr0t j|jj|j|jj}n |j }|S~n#~wxYwd}tj }|rpt|dz }|dkrA||j t vr&|dz}|dkr||j t v&t||d}d}|r,|r*ddt j|z}|rOt"jrCt'jd} |dd| zz }n|r|d z }t-|||fS) NrrT)liner&zM User Stack (most recent call last): (snipped, see stack below for prefix) )cppz C++ stack trace: z? For C++ stack trace, run with TORCHDYNAMO_EXTENDED_DEBUG_CPP=1)rrrrurvr traceback FrameSummaryrwco_namersr%rXr0filenamerKr format_listrOextended_debug_cpprJrYrr#) r\r_rflocrxmaybe_user_locrr'ra cpp_stacks r^r^zShapeEnv._get_stack_summary0s>K <(**E '|/7J7L7LLL(5!L4!N!L0   !LE'EE  .00  Cg,,"C''gcl37J7L7LLLq''gcl37J7L7LLL)'#,TBBBN   >'')/8899:   1 )1d;;;I !7"'')BRBRBTBT:U:U!U U     U  D.))+<<...ks<&&&1AN**FFA***r_)rrVsymbol_to_sources)rr(rWrJrYrZrwrN)rr\sr^r<z%ShapeEnv._log_guard..fszA#2%-1555==??&&&& $ 2 8 8 : :&&& ! !r_r[guard_added_fastcttjtjtjt jddS)NrrU)rrVrV)rr(rWr%rXrJrYrZ)rsr^r<z%ShapeEnv._log_guard..ts\A(78T8V8VWW#2%-1555==??!!r_r&zA, for more info run with TORCHDYNAMO_EXTENDED_DEBUG_GUARD_ADDED=""z%s %s [guard added] %s%s%sz (forcing_spec)rP) r&r)rrrINFOrrOextended_debug_guard_addedr^r\) r\rMrrstr_gr_r`rars ` ` r^ _log_guardzShapeEnv._log_guardcsP           8  . . FFE1=?V>> '+&=&=h&G&G #D# O H?DHHH  HMM,*J60J0J0J!#        r_)save_tracked_fakesrr!Optional[Union[int, bool, float]]rCc ||||||S#t$r |jd||||wxYw)NrzKfailed during evaluate_expr(%s, hint=%s, size_oblivious=%s, forcing_spec=%s)_evaluate_exprrKrr)r\rr^rCrrs r^rzShapeEnv.evaluate_exprsz &&4.|'     H  ]      s *A!Optional[Union[bool, int, float]]c X ttjjjtjjjfrSt jddfd }d}d}jr1|. s|stdj Ds|} | tj ur% tj|f\}}n| tjurI t"j|f\} } tj| f\}}nI t"j|| f\} } tj| f\}}|J|r|d} jr4jdksJdS}|| }|5jd ||ksJ|d|Sd}d} |j jks||d }|J|j jks|wxYw| S)zO Given an expression, evaluates it, adding guards if necessary NrVrScf}|J|StjSrY)rrr:)rr^rr\s r^compute_concrete_valz5ShapeEnv._evaluate_expr..compute_concrete_vals9|NN9--}}}}T***r_Fc3JK|]}t|tjVdSrY)rDrErrs r^r/z*ShapeEnv._evaluate_expr..s.VV!q$*55VVVVVVr_zeval %s [trivial]r9rz eval %s == %s [statically known]Trc6i|]\}}|td|Srtrbrus r^rMz+ShapeEnv._evaluate_expr...s6!"!"!"(,1%&s1ayy!"!"!"r_z/oblivious_size %s -> %s (passed counterfactual)z.propagate_real_tensors evaluate_expr(%s) -> %srvctttjtjddSrxry)runsound_resultsr^r<z)ShapeEnv._evaluate_expr..PsP(,Y*.~*>*>)3)B$5$=1$E$E$E$M$M$O$O*"*"11r_r[rr{rzevaluate_expr: rrrz6symbol_guard_limit_before_specialize=%s exceeded on %szeval [guard suppressed])rVrS)?rrrrrrrrrcrrrvrrr_assertrrOnot_rnrrrrrJrrrtr#rNr\rsrr)r~rrO/inject_EVALUATE_EXPR_flip_equality_TESTING_ONLYrrarrr rr}rrrRr"rgrrrrr(r;rRrrr$symbol_guard_limit_before_specializerrKr)r\rr^rCrrrrrrrr0eqlrr static_exprtransmute_into_runtime_assertr+rrrrrrrs``` @r^rzShapeEnv._evaluate_exprs   [ ,ek.A.N O      T " " + + + + + + + # " +*  0 1#--//$"$VVy?UVVVVV$ 0/11Luz))";;EMG:VV ee,,66x}wjQQQ";;EMC6RR ee66K'>>#$,,,.F.F.F.F,,,  D55^6K&6 ;#&$...;0J0JD0J0J..."",1 )L%)=)=)?)??? 66t46PP+++ -1E1E1G1GGG,0))040K0K 1L11-B1"-6,>,> $ 9--L' "4=3E3E!"!"040I0O0O0Q0Q!"!"!"44/ '"),???M%( (4 !" 4"/8.@.@ $ 8//N'" L%* )4)))))    9=5'5 !"== MM$/:: 2G>$D#3355   t\ 2 2 2F 'tT** 'teh%9:: ' yuz))t,,,,IdOOHT<00, $))O)OOOO$#,,.. Pa++-))!,,,C P'q$..*:*:;;EK&&u---K&&tD,A,A$--PQBRBR,S,S'T'TUUUU --a1N91N1NOOO,,.. Y$OOFALOIII^EE1!4449444!- E & K W $ 9! <$I!J!J!HMM X & K ! !..qt.DDD 91<XXXX5    +$$T***  8s!#:ZAZ.JZ C-Z#Z'c|jD]}||jD] }|D]}|j!dS)z Break reference cycles. This destroys the stacks. If you really want to keep them, we just need some way to break references on code objects. N)rvr8cleanuprrV)r\rrrs r^r zShapeEnv.cleanups"))++  A IIKKKK07799 # #C # #  """" # # #r_c p|}||}|+|jd||t|S||d}|J|js9|j|jkr|||S|j rU|S| s?| tj |f\}}|J|r||| s|jrtd|||t$jt)|t$jr|||}t/|}t1jd} t5||| } t7d |jDd } | r| d nd} |j| g| |j tC|"|#||xj$dz c_$|%|&d |dn|&d|ddS)aQCreate an assert that is checked at runtime Args: orig_expr (sympy.Expr): Boolean expression to assert is true msg (str): Message to display on assertion failure fx_node (Optional, torch.fx.Node): node in ``self.graph`` corresponding to the expression, if applicable Nz*runtime_assert %s == %s [statically known]TrrBz&runtime_asserts_frozen but then got %srrUc3NK|] }t|tj|V!dSrYrmrs r^r/z0ShapeEnv.defer_runtime_assert..s4VVq4CT1U1UVVVVVVVr_c:t|jddSr)rrrs r^r<z/ShapeEnv.defer_runtime_assert..sc!&*oor_r6rruntime_assertFrz!runtime_assert [guard suppressed])'rJrrrrQrvrrrrcrrrrrrrrrrrrrrsrJrYrTr8r setdefaultrrrr(r;rRrrrr) r\rrUrCrrr+rrrVrcandsixs r^r}zShapeEnv.defer_runtime_asserts11$77  " HNNr?rrVr@)rrrVrK)rrSrrr?rrrrrrSrdrTrVrUrrrVr)rrSrqrrVrUrrrVr)rrSrrSrrUrVrR) rmrTrrIrrrxrrVrW)rrTrrrUrrVrW)rrrVrW)rrTrVr)rrrVrW)rVrIrrrVr)rrSrrSrVrW)FN)r_rrr rVr)rr rVr#)rMrrrrrrVrW)NNF) rrSr^rrCrrrrrrVrS) rrSr^rrCrrrrrrVrS)rrrUrrCrrVr)rrTrUrrVrrVrW)kr`rarbr[rapropertyrLrMrNrOrPrQrRrrrrrr.r9r-rhr\rirmrrrrrrrrrrrrrrrrWrXrrHrrrrrrrCrFrIrLrbrdrjr[rorrrHr rrrrrrrr r%rr0rr7r;rFrRrJrrRrJrrcrrrr~rrrrrrrkrrr^rgrrrr r}rrXrir_r^rmrm s} 04-1 888888D&*/3 */%)&*.2=B9>Ke=e=e=e=e=e=N222X2<<<X<666X6111X1(((X(IIIXIEEEXE>V>V>V>V@KKKK($$$$&&&^&CCCC7777 J J J JOS*"#9#9#9#9JDDDD  : : :^ : + + + +....11111111////&&&&====<,,,,8(((( ====6666####""""&&&&     ''''&    @7; " " " " " " L    7;\G\G\G\G\G\G| $( ))))))V $( """"""H      7777$( # # # # # JMMMM*IIIII*9999XXXX* #-/(,?C      : #-/(,#'+0?Cxxxxxt3333 FFFF    ,????/A.@ T + .2=A;?!"T +T +T +T +T +T +t.2" 2........KKKK#          2222h         8=/////$26"3333Z3:Yt__&$&$&$_&$P $"$04JNPPPPPZPd   Z '''Z',,,Z,^Ys^^7<GGGGG^GTYs^^   ^ 8< -6-6-6-6-6-6f.2 15 $ 151515151515fa@a@a@a@F''''$$$Z$"Ys^^PPP^Pf****)))) # # #Z #.FJ,=,=,=,=,=^....`Ys^^d33337+/$ #43^437+/$ G#GGGGGGR # # # #Ys^^d333TXOOOO43^Ov<6<6<6<6|Yt      r_cNt|to|jjjSrY)rr!rrrr's r^_is_intr ks dF # # @ (@@r_rrc4t|do||jvS)N_dynamo_dynamic_indices)rr")rrs r^rrps 1/ 0 0 SQ!:S5SSr_c eZdZdfd ZxZS)PropagateUnbackedSymIntsrPrQrVrOcddlm}t|}t |j|||S)z] Run an FX node, propagating unbacked Symbol bindings to the new fake tensor r)detect_fake_mode) torch._guardsr&rZrun_noderrC)r\rPr&rRr]s r^r(z!PropagateUnbackedSymInts.run_nodeusR 322222!!!$$((**4a@@@ r_)rPrQrVrO)r`rarbr(rdres@r^r$r$ts=r_r$Optional[types.FrameType]ctj}|o|jjt jtjtt jj zsn |j }|o|SrY) rrrrurv startswithrrjdirnamerrseprs)rxs r^_find_user_code_framer.sr  " "E  |'22 GOOGOE22 3 3bgk A        Lr_rrKrxtypes.FrameTypec$tj|jj|j|jj}|jd}|ddtj |g zz }|f|_dS)Nrz( The following call raised this error: r&) rrrurvrwrrUr StackSummary from_listr)rrx frame_summaryrUs r^_blame_user_coder4s*    M &)C 8277((-99@@BB<< CVAFFFr_c,eZdZdZd fd Zd d ZxZS) _PythonMsgPrinterz Util printer that replaces sympy symbols with their source-level names and renders sympy relational operators (e.g., Eq, Ne, Ge, Le) inline (i.e., as ==, !=, >, <). src_mapDict[str, List[str]]rVrWcVt||_dSrY)rZr[r7)r\r7r]s r^r[z_PythonMsgPrinter.__init__s$  r_r6rTrc2|j|jdSr)r7rrKs r^rrz_PythonMsgPrinter._print_Symbols|CH%a((r_)r7r8rVrW)r6rTrVrrres@r^r6r6s[ ))))))))r_r6r7DefaultDict[str, List[str]]cR|j}dfd|jD}|rtd|dSt }|jd}|dz }d||dd|tj |dg}t|D]\}}|d|d zd |z }dfd td |jDD} |d | d|dz }|f|_dS)Nr5c38K|]}|jv |jVdSrYr rrr7s r^r/z(_suggest_torch_checks..s1PP!&:O:OQV:O:O:O:OPPr_z.Unable to find user code corresponding to {%s}rzG To fix the error, insert one of the following checks before this call:z torch._check(rr9rrc3ZK|]%}d|dd|V&dS)`z` with z or N)rr>s r^r/z(_suggest_torch_checks..sW  0A//fkk'!*--//r_c3$K|] }|jV dSrYr rs r^r/z(_suggest_torch_checks..s$::1::::::r_z3 (These suggested fixes were derived by replacing z in z and its negation.)) rTrrvrrr6rUrrrr!r8) rr7rTdiffprinterrUsuggested_fixesrAfix src_mappeds ` r^_suggest_torch_checksrGs~ 6D 99PPPPT%6PPP P PD  DdKKK((G &)C UUC 1--000; $88;;;OO,,%%3 $a!e$$s$$$::(9:::::J l: l lSW l l llCVAFFFr_c Xt}|t||tt}|jD]G\}} t j|}n9#t$r,t dt||YQwxYw|D]\}}|t j |z}t|tjr3|t!|jj|it|tjrlt+|jD]W\} } t| tjr8|t!| jj|d| dXIt/||dSdS)z Given a raised data-dependent error, add the following to the error message: 1. the closest user code location that raised the error; 2. suggested fixes for the error in terms of live variables at that location. NzQpytree.tree_leaves_with_path failed for value of type {%s} in local variable {%s}z.shape[rh)r.r4rrf_localsrNrZtree_leaves_with_pathrrrrkeystrrrr!rrrrrLr!r rG) rrxr7varrrJrjleafrrArs r^2_suggest_fixes_for_data_dependent_error_non_strictrNs " # #E E"""d##,,.. U UHC (.(DS(I(I%%    gII   4 U U dV]4000dEL11UC //077====el33U"+DJ"7"7UU3%c5<88U#C $6$67>>$?S?Sq?S?S?STTT U a)))))9sA++3B! B!)rrrVrW)rrrVr)rrrVr)rVr)rrrVr)r r rVr rY)rrrrrVr)rrrVr)rrrVr)rr rVr)rr$rVr)r(r)r*r)rVr)r4rr5rrVrW)rCrDrErFrVrF)rCrDrPrQrRrOrVrW)rrQrVr)rrrVr)TN) rrrUrrrrrrVr)rrrVrr)rrrVr)rrrVr)rrrVr)rrrVr)rrrVr)rrrVr)rrrVr)rrQrVr)rrrVrr) rCrDrsrrr r!rrVrF)rrOrVr)rrrVr)rrrMrrVr)rrQrVrR) rCrmrrTrUrrVrrVrW)rr!rVrWr)rr!r^rr_rrVrW)rrkrrkrVrWr)rrorprrVr)rrorVr)rr{rVr)rr}rVr")rrrVr)rrrVr)rrrUrLrrrVr)rrrUrLrVr)rrrVrrrH)rrrVr)rUrrVrr)rrrVr) rrrrrrrrrVr)rVr)r0r1rr1rVr)r0r1rr1rVr)rrrVr)r>r?rVr@)rrrrrVr)rCrmrVrU)rrrVr)rrrrrVr)rVr))rrKrxr/rVrW)rrRr7r;rVrW)rrRrVrW( __future__rrurrrrrrrrOrr<r threadingrr contextlibrr dataclassesrrenumr typingr r r r rrrrrrrrrrrrrrtyping_extensionsrrrrtorch.fxtorch.fx.tracebackrrtorch.utils._pytreer_pytreerZrr r!r'r"r#r$r%torch._loggingr&r'r(r)rr*torch._utils_internalr+torch.fx.experimentalr,rOtorch.fx.experimental.recordingr-r.r/r0r1torch.fx.experimental.sym_noder2r3torch.utils._ordered_setr4torch.utils._python_dispatchr5torch.utils._sympy.functionsr6r7r8r9r:r;r<r=torch.utils._sympy.numbersr>torch.utils._sympy.printersr?r|rAtorch.utils._sympy.solverBtorch.utils._sympy.symbolrCrDrEtorch.utils._sympy.value_rangesrFrGrHrItorch.utils._tracebackrJrKtypesrLrrN torch.typesrO InputListDimList getLoggerr`rrrP RuntimeErrorrRrg_opsrzr{__all__rzr{rrrcrrr`rrrrrrrkrr rlrtr"rrrrnrorr3rrrOrrrsrrrrxryrrrrvr|r}rrwrrrrrrrFrHrr~rrrYr]r\rjrnrtrErprqrrrrrrrrrqrrrrrrrrrIndicatorTypesrrrr-r/r4r3rgrrurRrTrXABCrarx FutureWarningr~rrrlocalrrKrrYrmr r Interpreterr$r.r4r6rGrNrir_r^rus"""""""   ######????????(((((((((?>>>>>>>>> )))))))))$$$$$$$$$,+++++++++BBBBBBBBBBBBVVVVVVVVVVVV666666000000333333=<<<<<<<//////FFFFFF                    .-----555555999999......GGGGGGGGGG CBBBBBBB)LLL888888((((((  g!! ,     L    z~# # # L&!(8 7777 WT]] ')UZu{ C C$%$%$%$%$%$%$%$%N    ####P 433338     |   ,,,,u|S()))))####      %, sESWWXXXXX (&        IIII:TTTT%,elC.?(@@AAAAAr:r:r:r:r0....<%) CCCCCB*'*'*'*'Z----`,BBBB$ HgsE4elJ 0(;K2L LM MMMMYYYY2 I I I I====             $33333333 $'''''''' $++++++++ $!!!!!!!!+/ rrrrrj4         2OOOO" 9 9 9 9DDDD '%'%'%'%V@D F F F F F$<@+=+=+=+=+=+=\%%%%d                  LLLLGGGGDHDDDD!!!!!!!!j $ $HHHHHZHHH8 $;;;;;j;;;6,.EtKL  $gCgCgCgCgCgCgCgCT * * * * $         $# # # # # # # # x $PPPPP6PPPD $ % % % % %5 % % %""""45 G G G G """"J 3( 4Z/Z/Z/Z/z---- OOOO <....*K(H  5944444v $11111111     ]   # # # # # # # # L'''''0-''' Z       /    MMMMM6MMM 55555-5554N N N N N N N N bio $ 2 2 2 2 2 2 2 2  ****::::::::DvAAAA TTTT     ux3        ) ) ) ) ) ) ) )8'*'*'*'*'*'*r_