f^(h ,UddlmZ ddlZddlZddlZddlZddlZddlZddlZddl Z ddl Z ddl Z ddl Z ddl Z ddlZddlZddlZddlmZmZddlmZmZmZddlmZmZddlmZmZmZddlmZddl m!Z!m"Z"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)dd l*m+Z+m,Z,m-Z-ddl.Z.ddl/Z.ddl0m1cmZ2ddl3m4cm5Z6dd l.m7Z7m8Z8m9Z9dd l:m;Z;mZ>dd l?m@Z@mAZAmBZBmCZCdd lDmEZEddlFmGZGddlHmIZJddlKmLZLmMZMmNZNmOZOmPZPddlQmRZRmSZSddlTmUZUddlVmWZWddlXmYZYmZZZm[Z[m\Z\m]Z]m^Z^m_Z_m`Z`maZaddlbmcZcddldmeZemfZfddlgmhZhddlimjZjddlkmlZlmmZmmnZnddlompZpmqZqmrZrmsZsddltmuZumvZve'rddlwZwddl.mxZxddlymzZzddl{m|Z|e}Z~e}Ze jeZddlZddlmZmZGd d!eZGd"d#eZe.jjjZgd$Zd%Zd&Zdd'Zd(Zd)ed*<e(d+Ze(d,ej&eej(ZGd-d.Z dd/Z dd0Zeddd1ZGd2d3eZdd4Ze)e.jrefZd)ed5<dd6Zddd7Ze)e.jre.jpe.jneeefZd)ed8<dd9Zdd:Zdd;Zdd<Z dd=Zdd>Z dd?Ze)e.jee.jd@ffZd)edA< ddBZddCZddDZ d ddFZddGZddHZddIZddJZe)e9e8e7eeeej(e.jfZd)edK<e)eeefZd)edL<ddMZddNZddOZddPZddQZddRZ ddSZedETGdUdVZedETGdWdXZedETGdYdZZedETGd[d\Z d dd]Z d dd^Zdd_Zdd`ZddaZddbZ ddcZ ddeZddfZddgZ d ddhZddi ddjZddkZdddlZddmZddnZddoZddpZddqZdEdr ddsZddtZGdudveZedETGdwdxZedETGdydze׫ZedETGd{d|e׫Ze)eedfZedETGd}d~e׫ZddZddZddZedETGddZedETGdde߫ZedETGddeZedETGddeZ ddZe^fZddZddZedddZGdde$Zed ddZddZ ddZ ddZddZ ddZeee e.dZ d ddZedETGddZGddefZGddejZGddeefZe+deGddeZGddeeeZedETGddZedETGddeZGddeZGddefZGddZejZedETGddZeGddZeddZeGddZGdddZddZd dZGdde.jbjZd dZ d dZ GddefZ d dZ d d„Z y() annotationsN)Counter defaultdict)IteratorMappingSequence)_GeneratorContextManagercontextmanager)asdict dataclassfield)Enum) AnyCallablecast NamedTupleNoReturnOptional 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!IsNonOverlappingAndDenseIndicatorMaxMod PythonMod)int_oo) CppPrinter PythonPrinter SingletonInt) try_solve) make_symbolsymbol_is_typeSymT) bound_sympySymPyValueRangeAnalysisValueRangeError ValueRanges)CapturedTraceback format_frame)Tensor FakeTensor) BoolLikeType)AddSc,eZdZUded<dfd ZxZS)GuardOnDataDependentSymNode sympy.Basiccondc,t||||_yN)super__init__rS)selfrSargs __class__s c/var/www/skyplay_api_hub/venv/lib/python3.12/site-packages/torch/fx/experimental/symbolic_shapes.pyrWz$GuardOnDataDependentSymNode.__init__ps $ )rSrRrYrreturnNone)__name__ __module__ __qualname____annotations__rW __classcell__rZs@r[rQrQms r\rQc eZdZy)PendingUnbackedSymbolNotFoundNr_r`rar\r[rfrfur\rf)"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_nodecbtjd|j|jy)Nzlru_cache_stats %s: %s)logdebugr_cumulative_cache_info) wrapped_fs r[log_lru_cache_statsrs$II )"4"4i6U6U6Wr\zsympy.logic.boolalg.Booleanr SympyBoolean_T_SympyTcDeZdZUdZded<d dZd dZd dZd dZddZ y )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]valc||_yrUr)rXrs r[rWzSymIntEqByExpr.__init__s r\c,t|jSrU)reprrrXs r[__repr__zSymIntEqByExpr.__repr__sDHH~r\ct|jtjr |jjj St j|jSrU) isinstancertorchrnodeexprsympyIntegerrs r[_extractzSymIntEqByExpr._extracts; dhh -88==%% %==* *r\ct|tsJt|jtur4t|jtur|j|jk(S|j |j k(SrU)rrtyperintr)rXothers r[__eq__zSymIntEqByExpr.__eq__s^%000 >S T%))_%;88uyy( (}}%.."222r\c4t|jSrU)hashrrs r[__hash__zSymIntEqByExpr.__hash__sDMMO$$r\N)rrr]r^r]str)r] sympy.Expr)robjectr]boolr]r) r_r`ra__doc__rbrWrrrrrhr\r[rrs(  "!+ 3%r\rcpt|dr#d|djj|dfSdg|SNr)rxrnested_int_coeff)tups r[_nested_int_aware_sortrsF Q  CFKK ( ( *CF3 Y#Y r\cdfd }|S)Nctj|jdddfd }dfd }|_|_tj t jrtjtS)Nrcj}tj|jz|jz|j |j SrU) cache_info functools _CacheInfohitsmissesmaxsizecurrsize)cur prev_hits prev_missesrs r[rz7lru_cache..inner..cumulative_cache_infosJ&&(C''CHH$cjj(   r\cpj}|jz |jz yrU)rrr)rold_cache_clearrrrs r[new_cache_clearz1lru_cache..inner..new_cache_clear s3&&(C  !I 3:: %K  r\)r]zfunctools._CacheInfor]r^) r lru_cache cache_clearrr isEnabledForloggingDEBUGatexitregisterr)frrrrrrrs @@@@r[innerzlru_cache..innersw0I''03 #//     !0 *? '   GMM * OO/ ;r\)rCallable[..., _T]r] functools._lru_cache_wrapper[_T]rh)rrs` r[rrs@ Lr\c*ddl}ddl}ddl}ddl}ddl}ddl}ddl}ddl}tjt|jjj|jjj|jj||j |j"j$|j&j(|j*j,|j*j.|j0j2|j0j4|j6j8|j6j:g}ddl}|Dchc]}t?j@|c}|j"jBjEzdhzScc}w)Nr)#torch._compiletorch._dynamo.eval_frametorch._inductor.sizevarstorch._library.custom_opstorch._library.fake_impltorch._loggingtorch._subclasses.fake_tensortorch._subclasses.meta_utilssysmodulesr_fx experimental recordingsym_node interpreter_compile_dynamo eval_frame _inductorsizevars_library custom_ops fake_impl _subclasses meta_utils fake_tensor_logging _internalr$torch._dynamo.guardsinspectgetfileguardsuninteresting_files)rmodsms r[rrs###$#(' H '' &&          !!    $$ %%    !! D  &** * --   2 2 4 5 , *sFc eZdZy)ConstraintViolationErrorNrgrhr\r[rr@rir\rc|jSrU)_has_symbolic_sizes_strides)elems r[rjrjDs  + ++r\Intcdg}t|ddD]}|j||dztt|S)Nr)reversedappendlist)shapestridesdims r[rkrkKsHGcr #*sWR[()* ! ""r\ct|tjr|jj |St |t usJ||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). )rrrr require_hintrr)afallbacks r[rsrsRsA !U\\"vv""8,, 7c>1> Hr\ScalarcXt|tr|jjSy)NT)rr/rhas_hintrs r[rras !Xvv  r\ct|ttfsJt|tryt|jjt j jjryy)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) rrrrrrcorenumbersrrs r[rmrmgsM a&# '' '!S!&&++uzz1199: r\ct|ttfsJt|tryt|jjt j jjryy)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) rrfloatrrrrrFloatrs r[rnrn{sN a(E* ++ +!U!&&++uzz11778 r\ct|tjr|jj ddSt|t sJ||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[rrsC$ &yy--b!44$%+t+% r\clt|t|k(xrtdt||DS)z Leverage guard_size_oblivious to compare if two lists of int/symint are equal. Useful to compare sizes, strides etc. c3>K|]\}}t||k(ywrU)r).0lhs_itemrhs_items r[ z)_guard_sizes_oblivious..s&4 Hh X124s)lenallzip) lhs_sizes rhs_sizess r[_guard_sizes_obliviousr(s9 y>S^ + 4"%i";41r\ctjtjttf}t tj rt tj sJtjjjk(fdtjjD]"\}}tj||k(fd$yt |rWt tsFt |rt tr Jdtjk(fdyyy)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 newoldsr[z"check_consistent..ssyykcii[ ,Vr\c<jdjdSr+r-r.sr[r1z"check_consistent..sCII;d399+])Sr\r,cddSr+rhr.sr[r1z"check_consistent..sC5SE)Gr\N) rrrrrrrJ_checkr r%r r)r/r0 scalar_typesijs`` r[rrsLL%..#u=L#u||$#u||,,, GGI "$V  399- UDAq LLa!S T U C &z#t/D#|,Z 6  U$se     SCZ!GH 0E &r\c|y|J|jDcic]"\}}|jj|||$c}}Scc}}wrU)itemsunbacked_renamingsget) shape_envbindingskvs r[rrsP   BJ..BR S$!QI ( ( , ,Q 2A 5 SS Ss'A.Resultc|jdk(ryt||jjdx}rT|J|j D];\}}t j ||}t|tr$tjd|j|||Q|jjh|jj}t|tj rPt#|j$dk(r7t't(tj*tj*f|j$dx}r|ddk(rt|dx} tj,rt| j.x} tj0r|j2| j5t7ddr| j8dk(rst't(tj*tj*f|j$ddk(r2t;tj,| d} | |k(s J| d || }t|tj0s|j<r Jd |||k7s J|d |j?||>yy) a Suppose we are retracing a pre-existing FX graph that previously had fake tensor propagation (and therefore unbacked SymInts). When we retrace, we re-propagate fake tensors, which results in new unbacked SymInts. When this happens, we need to tell the shape environment about the equivalence of the old and new unbacked SymInts. Pass us the old torch.fx.Node (which has the old binding information) and the new result (which we can extract the new unbacked SymInts out from). placeholderNunbacked_bindingsz'rebind_unbacked: discard %s %s %s -> %srrrTr,z#should have been constant, but got z possible memo disaster) oprmetar;r9pytreekey_getrrrinfotargetrhintrr Piecewiser#rYrtupleBasicEqlhsSymbol var_to_rangeissubsetrGrhs'_sympy_cast_symbool_to_symint_guardlessru_rename_unbacked_to) r<nresultr=raw_u0pathu1raw_u1 raw_u1_args0eq new_raw_u1repackeds r[rrsQ tt},166::12x$$$$NN,] :LFD-BT"c"=HH ww||'WW\\F65??3 $)$(ekk5;;67Q%L!Oq(\!_4rehh?RVV3zU\\B**:6?? Aq@QRFFaKu{{EKK78&++a.IYVCHHZ+ 6)DhZtF8+DD)$fell3++B8AB+V# Gx/F%G G#  ) )&& 9{] : r\c N|jdk(rt|jdtjj rOt|jdj jdtjr|jdvry|jdk(r|jtjjjtjjjjtjjjjtjjjtjjjjtjjjjtjjj tjjj jtjjj"jf vryy)N call_methodr example_value)sizestridestorage_offsetitemT call_functionF)rFrrYrrNoderGr;rJrKopsatensym_sizedefaultr sym_stridesym_storage_offset sym_numelrs r[rrPsB = tyy|UXX]] 3 tyy|((,,_=u|| L KKG G ww/!dkk  '' ## !! !!)) !!%% )) ))11   (( 6 ' r\c t|tjtjtjtj tj tjfs|St|tjtjtj fr)tjjj|}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 ) rrRelAndOrNotrPNelogicboolalgto_cnf_canonicalize_bool_expr_implrs r[rrrrhs"  uyy%))UXXuyy%((EHHM  $EHHeii89{{""))$/ ' --r\Tc|s |jS|r|tjur%tjjj }nE|tj ur%tjjj}ntd||dusJ|djr'|dd}|||j|dg|z|S|j}|||j||S|j||S)Nz Unknown cls: Trris_commutative) identityrrNradd_addsortMulmul_mulsort ValueError is_Number _from_argscopy)clsrYsortrsort_fnrests r[_sympy_from_argsrs || %)) jjnn--G EII jjnn--G}SE23 3%%% 7  8D DM>>47)d"2>>R R99;D DM>>$~>F F~~d>~BBr\cFt|tjtjfr&t |t t |jStjtjtjtji}t|t|jr(|j|jz }|t |}nnt|tjtjtj tj"fsJ|j|jz }t |}dd}t$j&}t)|}t|tj*r|g}g}|jD].}||r|j-| |j-|0t/tj*|dd}t/tj*|dd}n||r| t$j&}}|||dS)z After canonicalization, we are guaranteed to have eliminated Ge/Gt relations (rewriting them to Le/Lt, respectively). c|jxr |jxsPt|tjxr4|j djxr|j djSNr)r is_negativerrrrYts r[is_negz,_canonicalize_bool_expr_impl..is_negsP -  q%)) $ V)<)< VAVAV r\FTrrevaluate)rrr]r)rrrurvrmaprrrYGtLtGeLerNkeysrQrUrPrxrOZero_reduce_to_lowest_termsrNrr) roppositerUrrrQposnegterms r[r|r|s $EHH-.tDz35tyyABB%((EHHehh7H$hmmo./hh! T$Z $588UXXuxx HIIIhh! J &&C !# &C#uyy!HH !Dd| D5! 4  ! uyy#E$Ouyy#DN 4S S# &&r\cdd}dd}|jrtttj|j }t jtjt||}|dk(r|S|Dcgc] }||| }}ttj|d|jS|jrtj S|j"r||||S|Scc}w)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. c|jrtt|S|jr<|jdjr!tt|jdSdSyr) is_Integerabsris_MulrYxs r[integer_coefficientz4_reduce_to_lowest_terms..integer_coefficientsO <<s1v;  XX+,&&)*>*>3s166!9~& EA Er\cd|jr||z S|jr|jd|k7r6|jdtj|z g|jdd}nt |jdd}t tj||jStd|)Nrrr~zillegal arg to div_by_factor: ) rrrYrrrrrrAssertionError)rfactorrYs r[ div_by_factorz._reduce_to_lowest_terms..div_by_factors <<v:  XXvvayF"q EMM&$99GAFF12JGAFF12J'#EIItADTDTU U #A!!EF Fr\rTr)rrr]r)rrrrr]r)is_AddrrrExprrYrreducemathgcdrrrNrrrOOner)rrratomsrrs r[rrs G {{Xejj)4995!!$((C0CU,KL Q;K389aq&)99 IIu48K8K   uu T#6t#<== K:s9C+c$t|ttfsJt|tryt|jjt j jjt j jjfryy)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) rrrrrrryrz BooleanTrue BooleanFalsers r[rwrwsg a'4 )) )!T  ekk))55u{{7J7J7W7WX r\cnt|tjxr|jj SrU)rrrrrxss r[rxrxs% a & A166+?+?+AAr\IterateExprsAtom IterateExprsc#&Kt|tr%t|r|jjyyt|t j r|yt|tttfryt|ttfr|D]}t|Ed{yt|r"t|jEd{yt|tj rdt|jEd{t|j#Ed{t|j%Ed{y|yt|tj&ryt)d|dt+|7777d7Ew)Nz&cannot extract sympy expressions from  )rr/ is_symbolicrrrrOrrrrNr_iterate_exprsr&rerrJrfrg Generatorrr)rrs r[rr!s4#x  s ((--   C % C#ud+ , C% ' )A%a( ( ( ) s !#((*--- C &!#((*---!#**,///!#"4"4"6777  C ) EcU!DQTI;WXX )--/7sZBFF.F F  ;FF  F(F ) F F >F F F FFc| tSt|} t|}|jj d|DS#t$r tcYSwxYw)Nc34K|]}|jywrU)rures r[r"zfree_symbols..Is*Ga1>>*G)r0rnext StopIterationruunion)ritr first_exprs r[ruru=sa {|  C#Y ): " " ( (*G3*G HH |s AAAc:tdt|D S)z)Faster version of bool(free_symbols(val))c34K|]}|jywrU) is_numberrs r[r"z#has_free_symbols..Ns<11;;.as3 !d//1D1DE F s68)r0rurs r[free_unbacked_symbolsr_s a r\cd|jvrt|jdtjrt|jdjj t jr^|jdk(s,t|jdjj r#|jdjj Sy)NrrB) rGrrrrrrrRrFrrrs r[rvrvjs  tyy' 6 tyy',,115<< @ GG} $$TYYu%5%:%:%?%?@yy$$))) r\c\i}|jD]}t|x}||vs|||<|SrU)nodesrv)graphrrrs r[find_symbol_binding_fx_nodesrxsB A *40 0A =!1*AaD Hr\frozenceZdZddZddZy)rcy)Nz#.cast_symbool_to_symint_guardless()rhrs r[__str__zConvertIntKey.__str__s4r\ct|S)zGet the int value from bool) cast_symbool_to_symint_guardless)rXbs r[r;zConvertIntKey.gets /22r\Nr)rrr]Union[int, SymInt])r_r`rarr;rhr\r[rrs 53r\rc(eZdZUded<ddZddZy) CallMethodKeyrnamec"d|jdS)N.z()rrs r[rzCallMethodKey.__str__s499+R  r\c8t||jS)zCall the method on object)getattrrrXos r[r;zCallMethodKey.gets$wq$))$&&r\Nrrrr]rr_r`rarbrr;rhr\r[rrs I!'r\rc(eZdZUded<ddZddZy)InnerTensorKeyr inner_namec d|jSNr)rrs r[rzInnerTensorKey.__str__s4??#$$r\c.t||jS)zGet the inner tensor attribute)rrrs r[r;zInnerTensorKey.getsq$//**r\Nrrrrhr\r[rrsO%+r\rc(eZdZUded<ddZddZy) DivideByKeyrdivisorc"d|jdS)Nz.__floordiv__()rrs r[rzDivideByKey.__str__s ~Q//r\c ||jzS)zDivide object by divisorrrs r[r;zDivideByKey.getsDLL  r\Nr)rrr]rrrhr\r[rrs 0!r\rc h tjt|}d fd }| t}i}t |t t frVtt|D]=} |j||| |tj| fz||| nd?|St|rM|j\} } | D]3} t|| } |j|| |t| fz5|St |t j"rqddlm}t ||sJ|j||j)|t+dfz|j,|j,j)nd|j.t j0t j2t j4t j6fvr[|j||j9|t+dfz|j,|j,j9nd|j||j;|t+dfz|j,|j,j;nd|St |t j<t j>frlt ||x}t@jBrJ||vrF|||<r,|*t |tDtFfsJjI|||jK||St |t j<rt ||x}t@jLrut|jNd k(r\t |jNdx}t@jPt@jBfr"t |jNd x}t@jBr||v||vz rt ||vr|n|x}t@jPsr|jRvrd fd }||vr|n|}r%t |t@jPr tE|n||}|tU|fz||<|Zt |tDsJt |t@jPr|tE|zn tW||}rjI|||jK||St |t jXrt ||x}t@jZrt |j\t@jBr|j^d k(rv|j\|vrh|tafz||j\<|0tc|tdusJrjI|tE||jK|j\|S)Nr<pendingsimplifyc`r|jjS|jjSrU)rr_expr)rrs r[rz._free_unbacked_symbols_with_path..exprs$ 66;; vv||r\)realrrKrerfrgrDrcj|tj|jj |dgdS)NrrLsource)create_symintnoder var_to_valvar_to_sourcesr;)rr<s r[ _symint_wrapz6_free_unbacked_symbols_with_path.._symint_wrap sN..--a01 //33Av>qA/ r\)r Union[SymInt, SymFloat, SymBool]r]r)r sympy.Symbolr]r)3rpartial _free_unbacked_symbols_with_pathsetrrNrranger#updaterH SequenceKeyr1__tensor_flatten__rrrrJrrLrer real_tensorlayout sparse_csr sparse_csc sparse_bsr sparse_bscrfrgrrrrRrrset_unbacked_var_to_valremoverrYrrrr4rrPrQrUrrr)rr[r r<rrgorrr6attrs_attrsubrLrrQrUcoeffrunbackedrrs ` ` r[rrs   (  B% A!eT]#s1v A HHaDF..q133$($4a$  x Hi 'q )'')q >D!T"C HHRT^D%9$;;< = >b H] Au|| $<!Z(((   f-//-.]]-FQ]]'')D   88               HHHHJM(35534==3L--/RV     " &6799}}0MM002   l HS 1u||U^^45 DG|qU\\ 2 L! )dS%L1 11  - -a 6qB Hu 1ell# DG|qUYY / K1  affQi's%--)F G affQi's 6Wn 0 s''9sBuEMM R--- .3cZu}}= Je$  k'244(  dC( ((eU]]3E "dE*  11(C@x & H 1emm$ DG|qUXX . quuell + EEQJ EEW =?,,!%%  :% %%11!SY?quu Hr\c |y|j}t|}|sy|s&tjd||j t |d||d}|s\|rZt |tjr)t|j|jfnd}td|d|d |d |&|jD]}tj||} tj||} t | t sAt | j"j$x} t&j(srt | t r[| j"j$x} | k7r@t | t&j(r|j+| | |j-| | t | t r|j-| 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 %srhFrrzPending 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/edit)pending_fresh_unbacked_symbolsrrrJclearrrrrJrrfrgrfvaluesrHrIr/rrrrRrW_eliminate_unbackedsympify) r<rdold_example_valuepeekfsrsymbol_to_pathextrakeypathold_symnew_symnew_sold_ss r[rrNs&  1 1B"gG   /4  5rY%N G-6 -&&(-*F*F*HI J  ,'y0I-XYZ_Y`av v  ($%,,. QGnn%6@Gnn]Gs2$!W 66?? a=  7Nr\ct|tr'|jjr t | Syt | S)aK Returns True only if we can tell that a is False, possibly introducing a guard in the process. If a depends on some unbacked SymInt, we may return False even though there may exist a possible value of the SymInt that would cause the expression a to be False. See definitely_true for more usage guidance. Fr<rs r[definitely_falser@s8!W 66?? !!}$ $Aw;r\c.t|trM|jj}|jj} |j |}| t |S yt|t sJ|S#t$rtjd|YywxYw)aE Returns True if x can be simplified to a constant and is true. .. note:: This function doesn't introduce new guards, so the expression may end up evaluating to true at runtime even if this function returns False. Args: x (bool, SymBool): The expression to try statically evaluating zCould not simplify %sF) rrrrr<_maybe_evaluate_staticr Exceptionrr)rrr< simplifieds r[rrs!Wvv{{FF$$  5"99$?J%J''& a   H  5 II-t 4 5sA22BBct|trt|ts t|tr\t|trLt|t|k7ryt j t jtt||dSt|ttjfr%t|ttjfr||k(Stdt|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)rrNrr#rroperatorand_rr}rrrrr)rys r[r}r}s 1eAu!51d 1d 3 q6SV  s61a/@$GG AU\\* + 1sELL>Q0RAv 9$q'!DG9MNNr\ct|ttfr t|St|tt fr t |St|ttfr t|Std|)Nzunrecognized scalar ) rrrr=rrrorrrprrs r[rqrqs`!gt_%!} A} %| A%( )1~3A3788r\rlc*|j|||yrU)constrain_symbol_range)r<r compiler_min compiler_maxs r[_constrain_symbol_rangerNs$$Q lCr\cDt|trt|jtrut|jjt j rF|jjj|jjr t|yyyyy)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) rrrr.rrrRr<is_unbacked_symint_constrain_range_for_sizers r[_advise_is_sizerRsoD 1f qvvw ' qvv{{ELL 1 FF   / / <!!$ = 2 ( r\ct|trt|jtrt|jjt j r|jjj|jjrLt|tr;|jjj|jj|yyyyyyrU) rrrr.rrrRr<rPr_constrain_is_bounded)r upper_bounds r[_advise_is_boundedrV0s1f qvvw ' qvv{{ELL 1 FF   / / < {C ( ..qvv{{KH ) = 2 ( r\cZt|ttfr tdt|tsJdt|j j tjs Jd||j jj|j j ||y)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) rrrrrrrrrRr<rQrminmaxs r[rQrQ;s!h()?@@ a G"GG affkk5<< 0V4RSTRU2VV 0FF..qvv{{CEr\)rZc "|t }|t}||kr tdt|tr#||cxkr|ksntd|d|d|dy|jj j |jj||y)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;rrrrr<_constrain_rangerrXs r[constrain_rangerbLs6 {g { Sy /  !SqC~aS SE3%qIJ JFF%%affkk31> Hr\ct|tr|jjddSt|tsJ||Srp)rrrrprrs r[rprps=!Xvv!!"a(( a ""  Hr\c|jjDcgc]!}|jdk(s|jd#c}Scc}w)NrBr)rrrFrGgmrXs r[fx_placeholder_valsrvs1#%88>> KaQTT]5JAFF5M KK Ks AAc|jjDcgc]}|jdk(s|j c}Scc}w)NrB)rrrFrKrts r[fx_placeholder_targetsrxs- hhnn F 0EAHH FF Fs?? ignore_staticcP|jjt|||S)Nry)r<evaluate_guards_for_argsrv)rurzrYs r[ eval_guardsr}s, << 0 0B] 1 r\cL|jjt||SrU)r< bind_symbolsrv)rurYs r[rrs << $ $%8%#(DMM%  r\c|j|}||jvr|j|Stj|j SrU)rrrrRr)rXsrcs r[rzEqualityConstraint._rewritesBjjo $** ::c? "<< + +r\c|j|x}|jvxs<|j|x}|jvxs||k(xs|j||dS)Nc|SrUrhrs r[r1z-EqualityConstraint.is_equal..s1r\)rr is_derived)rXrrsrc1src2s r[is_equalzEqualityConstraint.is_equalsiZZ( (TT-A-A A > 7++0D0DD >t| >w= r\cT|j|||j|k(SrU)r)rXr symbol_srcrs r[rzEqualityConstraint.is_deriveds&}}S!R j(A%BBBr\Nr)rr r]r )rr rr r]r^)rr r]r)rr rr r]r)rr rr rz"Callable[[sympy.Expr], sympy.Expr]r]r)r_r`rarrbr rrrrrrrrrhr\r[rr^s$.-('  %*%6H"6&+&7E #7!IF) ,  CC'-C3UC Cr\rcbt|tsJdt|tusJdy)NzInvalid symbolic_context objectz%Illegal usage of symbolic_context ABCT)rr~rsymbolic_contexts r[_assert_symbol_contextrsD / )()  o5/./5 r\czt|tjtjfrxt |j dkDry|j \}}t |xrt|tjxs't|tjxr t |St|tjS)NrDF) rrrNrr#rY_is_supported_equivalencerrR)rrQrUs r[rrs$EII./ tyy>A 99S)#.Q:c5==3Q sEMM * M/H/M  dELL ))r\c0|jtjjjj tjjjj tjjjjS)zL Add functions that our sympy interpreter can't reify into FX nodes )hasrutils_sympy functionsToFloat TruncToIntr3rs r[#_has_uninterpretable_sympy_functionrs` 88 $$,, $$// $$.. r\ceZdZdZy)r~aS 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_r`rarrhr\r[r~r~sr\r~c\eZdZUdZded<dZded<dZded<dZded<dZd ed <d d Z y) 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_contextc|j.s4  z.. 0B0BJOOT T s;=) rrrrrr#rrrr$rs r[rz&StatelessSymbolicContext.__post_init__ s    '   !(()C0B0B,CC   (   (4&3t7I7I3J*J   " " *   *TFS9K9K5L,L  ..    r\r) r_r`rarrbrrrrrrhr\r[rrsE '&+/O(//3,315.54807 r\rcBeZdZUdZdZded<dZded<dfd 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_cachect||jJ|jstj |diyy)Nr)rVrrrrrrXrZs r[rz%StatefulSymbolicContext.__post_init__QsA !!---77   t%JB O8r\r) r_r`rarrrbrrrcrds@r[rr6s0 !M6 MQ')IPPPr\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_contextscJt||ji|_yyrU)rVrrrs r[rz%SubclassSymbolicContext.__post_init__cs'     &"$D  'r\r)r_r`rarrrbrrcrds@r[rrYs 26N.5%%r\rcnt|tttfry|jj SNF)rrrrrrrs r[rris+#UD)* 88   !!r\cgg}}|D]1}|jr|j|!|j|3tj|g}|D]7}t j ||j Dcgc] \}}||z }}}9tj|}|t|dkDxst|dkDxrt|dkDfScc}}w)Nrr) rrrr itertoolsproductrYrNr#)rYaddsrrrYrrrs r[ _expandsumsrtsb%D :: KK  LL   ii FI$-$5$5fchh$GHDAq!a%HHIYY F 3t9q=FSY]%Es5zA~ FFIs6C c|jDcgc] }t|}}tdt|j|Drt|j|S|j r|j\}}|j rf|jrZ|dkDrtj|dS|dkr9tjtjtj|z dz S|S|jrg}g}|jD]T}|j r5|jddk(r#|jtj|z D|j|Vt|\}}t|\}}|s|r||z S|Scc}w)Nc3*K|] \}}||u ywrUrh)rrnew_args r[r"z_fast_expand..s K,#w3g  KsrF)deeprr)rY _fast_expandanyr%funcis_Powrrrexpand_multinomialrOrrrr) rrnew_argsbaseexpnumden num_changed den_changeds r[rrsR.2YY7c S!7H7 K#dii2J KKIDIIx011 {{II c >>dkkQw//5AAquuu77 5QQQ K  " "99 CzzchhqkR/ 1553;' 3  's+[&s+[ +9  K78sF ct|dr t|S|S#t$rtj d||cYSwxYw)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_expandrsIq( ? "    KKzOptional[ValueRanges]rzOptional[sympy.Integer]rr is_size_likeNrrhr\r[rrsO  r\rci}i}t|D]\}}|\}} } } t| tr| J|rJ| rHtd| j} t d| j } | | kDr| dz } | | krt| | } n | j} | t us|r| | js| ||<tjd|dd}t| dz }||z||<tj| | ||< |j|}t't)|}|j*r|St-||}|j/r |jS|r|SdS#t $rt"j%d||YywxYw) a This variant of ShapeEnv._maybe_evaluate_static has no dependence on ShapeEnv and thus can be cached indefinitely. It does the "heavy" lifting for static evaluation, including nontrivial reliance on Sympy simplification that occurs when we reallocate the symbols NrDlrevaluate_static_shape_Tpositiveintegerz(RecursionError in sympy.xreplace(%s, %s)) enumeraterr?rZrrYrrGr;is_intrrRrrErxreplacerrrrrrrrD is_singleton)r symbol_info unbacked_onlysize_oblivious new_shape_env new_range_envidxsinfor>rrrrrroffsetnew_exprouts r[_maybe_evaluate_static_workerrs MM ,9D U#( 2sL c< ( ~~ l288$Erxx(Eu} ~ .HHE VG  #/"))!M!   LL1#7$PT UUQYv: a266rF7C as9Dx==/&k(&;mTs7E E;:E;ctd)Nzshouldn't be hit)rrhr\r[errorr(s + ,,r\c>ttt||SrU)rr="_eval_is_non_overlapping_and_dense)sizesr s r[!eval_is_non_overlapping_and_denser-s z.wrapper~s  MMO  5 55$$& $ 5 5  MMO 0ONO0D24262 2r\cr|jk7rj|j|g|i|SrU)r(r)rXrYr)r*r,s r[r-z_lru_cache..wrappers? 5 55$$& $ 5 5 D24262 2r\)rXrlrYrr)rr]r)rconfigvalidate_shape_env_version_keyrwrapsrr)rrr-r*r+r,s @@@r[ _lru_cacher2hs "y!"%HM ,,   3  3$   3  3#..G!,,G Nr\cPeZdZUded<edZded<edZded<y ) RuntimeAssertrrF)rrmsgrHstackN)r_r`rarbr r5r6rhr\r[r4r4s' % C $%0E 0r\r4ceZdZddZy)SymExprPrinterc*tt|SrUrrrXrs r[ _print_FloatzSymExprPrinter._print_Float5;r\Nrz sympy.Floatr]r)r_r`rar<rhr\r[r8r8s r\r8ceZdZ dfd ZddZddZejd dZejd dZ xZ S) _ShapeGuardPrintercL||_||_||_t|yrU)symbol_to_source source_refrrVrW)rXrBrCrrZs r[rWz_ShapeGuardPrinter.__init__s' !1$, r\c*tt|SrUr:r;s r[r<z_ShapeGuardPrinter._print_Floatr=r\ctt|tjsJtt |dfd }j j |s>J|dj|Dcgc]}|jc}d|djj |dScc}w)Nc tjjDcic]$\}}||Dcgc]}|jc}&c}}}Scc}wcc}}}wrU)rrBr9r)symbolsourcesrrXs r[repr_symbol_to_sourcez?_ShapeGuardPrinter._print_Symbol..repr_symbol_to_sources^,0+@+@+F+F+H'w7!QVVX77 7s A A A A z (could be from 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) rrrRrrrBr;rr print_source)rXrrIrs` r[ _print_Symbolz _ShapeGuardPrinter._print_Symbols$ ->s4:>- $$((. f$8K8KD8Q%R1affh%R$ST+-./Z Z .   !6!6t!rrr]rrrrr]r) r_r`rarWr<rKabcabstractmethodrJrOrcrds@r[r@r@sm = , <    A$      r\r@c0eZdZdfd ZddZddZxZS)ShapeGuardPythonPrinterc,t||i|_yrU)rVrW _print_cacherXrYrZs r[rWz ShapeGuardPythonPrinter.__init__s $35r\c$|j|SrU)rCrs r[rJz$ShapeGuardPythonPrinter.print_sourcesv&&r\c|jj|d}||Stj||}||j|<|SrU)rYr;r=rO)rXrrress r[rOzShapeGuardPythonPrinter.doprintsK##D$/ ?J''d3C&)D  d #Jr\rYrr]r^rrSr_r`rarWrJrOrcrds@r[rWrWs6'r\rWz`torch.fx.experimental.symbolic_shapes.ShapeGuardPrinter` is deprecated, please use `torch.fx.experimental.symbolic_shapes.ShapeGuardPythonPrinter` instead.)categoryc eZdZy)ShapeGuardPrinterNrgrhr\r[rbrbs  r\rbc0eZdZdfd ZddZddZxZS)_ShapeGuardCppPrintercJt|_i|_t||yrU)r all_symbolssource_to_symbolrVrWrZs r[rWz_ShapeGuardCppPrinter.__init__s"%(U<> $r\cv||jvr|j|jS|j}tjdd|}|}d}||jvr|d|}|dz }||jvrt j ||j|<|jj||S)Nz[^0-9a-zA-Z_]+r&rr)rgrrer(rfrrRr)rXr source_name mangled_nameold_mangled_namecounts r[rJz"_ShapeGuardCppPrinter.print_sources T** *((055 5kkm vv.[A 'd..../q8L QJEd...). \(Bf% \*r\c.tj||SrU)r<rOr;s r[rOz_ShapeGuardCppPrinter.doprint s!!$--r\r^rrSr_rds@r[rdrds .r\rdceZdZUded<y)_ShapeGuardsHelper list[str]exprsNrrhr\r[rprp s r\rpceZdZUded<y)_CppShapeGuardsHelperzdict[Source, sympy.Symbol]rgNrrhr\r[rtrt s00r\rtc eZdZdfd ZxZS)LoggingShapeGuardPrinterc*t||d|y)Nc"|jSrUrrXs r[r1z3LoggingShapeGuardPrinter.__init__.. s 1668r\)rVrW)rXrrZs r[rWz!LoggingShapeGuardPrinter.__init__ s );^Lr\)rrP)r_r`rarWrcrds@r[rvrv sMMr\rvc4eZdZdZ dfd ZddZxZS)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. c>t|||_||_yrU)rVrWrBsource_name_to_debug_name)rXrBr}rZs r[rWz$DynamicDimConstraintPrinter.__init__( s  0)B&r\ct|tjsJtt ||j j |s Jd|d|j |djS)NzUnknown symbol z created by constraints solverr)rrrRrrrBr;rr;s r[rKz)DynamicDimConstraintPrinter._print_Symbol1 sy$ ->s4:>-$$((   B TF"@ A B $$T*1-2244r\)rB dict[sympy.Symbol, list[Source]]r}Mapping[str, str]rRr_r`rarrWrKrcrds@r[r{r{ s'C:C$5C5r\r{ceZdZdZ ddZddZddZddZddZddZ ddZ dd Z dd Z e dd Zdd Z dd ZddZ ddZ ddZy)DimConstraintsz Custom solver for a system of constraints on symbolic dimensions. Solutions are "static" values or simplified "dynamic" constraints. ctt|_t|_i|_||_tt|_t|_g|_t|_ t|_ t|||_ g|_ ||_tt t"t$h|_|j)yrU)rr_univariate_inequalities_symbols_with_equalities_substitutions _var_to_val _congruences_multivariate_inequalities_symbolic_equivalences_static_results_dynamic_resultsr{_dcp_inconsistencies_marked_dynamicr2r9r:r5_supported_sympy_functions_enumerate_sympy_functions)rXrBrmarked_dynamicr}s r[rWzDimConstraints.__init__? s   % AU'HJ# *-*-%0 7  ,. .     @ ' '')r\c(dfd }dfd }|jtr|jt|}|jtr|jt|}|jtr|jt|}|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). c|\}}j|j|}}|jj|jjz}||z |z}|dk7rjj ||Srrewrite_with_congruencesrrrrrYrr mod_reduced congruencerrXs r[ mod_handlerz.mod_handler s0!MD' 994,,Q8D--(8(89G.floor_div_handler s!MD' 994,,Q8D--(8(89G>  $ $ d4&%A B  ' ' . .~ >r\ci}|jjD]j\}}g}t}|D]}|j\}}t j dd} t j ||| zz |g\} } || k(rztjjj| | \} } t| tjr3t| tjr| | z} |j| | f|j||rst jjj |\} } || z | zh||<|| t j ddz| zi||j#fd|Df|||<m|S)Nreduce_congruences_tmpTr)symbolstmpc3NK|]}tj|s|ywrU)rchecksol)rr substitutions r[r"z5DimConstraints._reduce_congruences..3 s'." >>*lC.s"%)rr9rrYrrR solve_linearpolys polytoolsdivrrrrntheorymodularsolve_congruencer)rXreduced_congruencesr congruencesremainder_modulus_pairscongruences_to_checkrrrrrGsolutionmodulus remainderrs @r[_reduce_congruencesz"DimConstraints._reduce_congruences sCE"//557* >NA{&( ##&5 ) 5 * gll#;TJ#(#5#5dWs]6JUVTW#X ;).)>)>)B)B8S)Q&GY!'5==9j!5==?%.$7 /66 77KL %((4+ 52'%*]]%:%:%K%K,&" 7,-y=G*C)D#A&weT!BBYN  $A&--.&:. *>#A&U* >X#"r\c|jrCdj|j}|jjtd|y)N z*The following inconsistencies were found: )rjoinr-r)rXr5s r[_raise_inconsistenciesz%DimConstraints._raise_inconsistencies= sI  ))D112C  ! ! ' ' )J3%PQ Q !r\c d jjrjj}jj|}tj j j||}t|tjrtd|jD|}t|tjs Jd|d||j\}}||k(s Jd|d|jjjj |dj#d||j$|<j&}t)_|D]1}j|j+|j$|i3jjrj-}|j/D]\}} | D]} |j$vs&t j0| |j$|ir8j3| sJ| j\} } dt5jj6j9jj |dj#jj |dj#z} t j:| d }dd lm}|| gjj |<tAt j| | |z|}|JjBjjjEt j||d jj/D]\}} tj j j||}t|tjFr'ttIfd|jD}t|tjrF|jD]6}jBjjjE|8n4jBjjjE| jR}g_)|D]0\}}jU||j+j$2jRD]L\}}jBj|j#djjE|Ny #tJtLf$r\}tNjQd||D]6}jBjjjE|8Yd }~d }~wwxYw)zGSolve the system of constraint equations to find simplified constraintsc3VK|]!}t|tjs|#ywrU)rrrP)rrs r[r"z'DimConstraints.solve..N sOSZUXX5NSO))z$Expected an equality constraint for z, got zExpected a constraint on z instead of on rrr&Tr)ConstantSourceNrc3XK|]!}|jjr|#ywrU)rr)rrrXs r[r"z'DimConstraints.solve.. s+ #"||D,<,<= s'*z!Failed to reduce inequalities: %s)+rrpoprrsolvers inequalitiesreduce_inequalitiesrrurrYrPrrrrBrrrrrrr9r_is_supported_congruencerr}r;rRtorch._dynamo.sourcerr@rrOrvrNotImplementedErrorrrrrr)rXrrrrrGrmultivariate_inequalitiesrrrrrrtmp_namerrrrrexpr2symbolic_equivalencesrexpr3s` r[solvezDimConstraints.solveC s ##%++--113A1155a8E}}11EEeQOH(EII.OHMMO%(( J5aSxjI J#--KFCQ; V";A3ofX V V;  $ $99--a0388:;4uE &)D   ")-(G(G %.1eD +1 E4+>+>q+A'BCD E  ' ' )5++<#6681779 XNA{) X D///u~~D$7$7$: ;844Z@(2 g#& II??CC $ : :1 =a @ E E G $ : :1 =a @ E E G*$ $ll8TBG;I(;S:T 2237%ehhtWs]&CQG },}--11$))2C2CEHHQPQRSPTDU2VW' X X.55;;= HHAu H ==55II%QRSh1#'/}} Hh 2'}}J--11$))2C2CC2HIJ))--dii.?.?.IJ! H.!% ; ;&(#2 KMFE   fennT5H5H&I J K"88 XMFE  ! ! % %tDII.debug_name sA88:Dyy22))==dCDCvNN r\r)rr r]r)rr9rrrB)rXrrrs` r[forced_specializationsz%DimConstraints.forced_specializations si --335 3D((( tyy11!4Q7 8# =   s;A$c^t|tjjjSrU)rrexportdynamic_shapes _DerivedDimrXr s r[_is_derived_dimzDimConstraints._is_derived_dim s!#u||::FFGGr\ct|tjjjxr/t|tjjj  SrU)rrrr_Dimrrs r[_is_dimzDimConstraints._is_dim sI#u||::??@  ,,88J F  r\c ddlm}dfd }i}t|jD]I\}}d|vs t |dt j s*tt|dj}t||vsY||t|<t jjj|d|\} } |jdd} tj | | z | z } |jdt"} tj$| | z | z }| |d|t|<|t|| ||t|<|j'dd |j'dd L|j)D]}t|jD]\}}d|vs t |dt j s)ttt|djx}|k(sY|t|d}|dj+||i}||d<t-}|jD]\}}||vr j/||rd|vsd|vr|j1|9d|vs>t |dt j s\tt|dj}|J|j1t||j3|}i}|D]2}d }||vr3||}d|vsd|vst |dt4r||||s|||<d }|s@|jD]\}}||vr ||}|j6j8d k(s*|j:j8|k(sDd|vsd|vsMt j<|}tt|j}t?t j@||d|d t?t j@||d|d d}||||r|||<25t|jCD]#}||vrjE||s||vs!||=%|jG|y )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)Dimcj|xrxd|vxsd|vxrl|jdkxr|jdddk(xs|j|jddk(xr#|j|jdtk(S)NrYrZrD)rrYr;rZr;)cr rXs r[_check_same_rangezDDimConstraints._process_derived_dim_roots.._check_same_range s S!4aZ-5A:4WWq[9QUU5!_%9XcgguVW>X4 GGquuUF33  r\r_rYrDrZ)rYrZNTFrr)rzMapping[str, int]r rr]r)$torch.export.dynamic_shapesrrr9rrrrrrurrrrr;rceilr;floorrr.subsrrrrrrZr_rr0r@rPrrr)rXresults name_to_dimrrintroduced_rootsr>rrrrc_minmin_c_maxmax_old_rootrG new_root_exprrmodified_rootsmodified_root_valuesmroot swapped_rootr rrrYs` r[_process_derived_dim_rootsz)DimConstraints._process_derived_dim_roots sX\ 4 *,.) 'DAqqyZ$<D4!5!567t9K/23$SY/).)>)>)B)B1T7D)Q&GYEE%OE99ei&77%BCDEE%0E::uy'8G&CDD15d)CGCI&-0T$-OKD *EE%&EE%&! '()//1 'HW]]_- '1AI"1T7EJJ7d4$0D0D+E&FFFG8S$+CM$:4$@M w||V],CDH&AdG ' ' $'5MMO .DAq #||KN+!uz""1%z!D'5::>D4!5!567'''""3t9- .(223CD ;=#' &ELENQJ%1*dGS2 -;u-78,U3#(L$MMO&DAq + %a.C ..-?HH--6!A:!#(==#3D $T$*;*;%< =A'0$%1I1'Ma'P'0$%1I1'Ma'P&F$5 & E(:$?E 4U ; %)&'' &Zglln% A ###KN3qN7JAJ   +,r\c Tddlm}jjsyd d!fd t t |i}d"d}d#fd }||}j jjD]} | } | | k(rtjd| \} } } | j} | d k(r| | k(rF| jr|| | t| j| jr|| || t| | d k(sJ|  tj| | d <t#|j%d Dcic]}||| }}d}|rt'}|D]k}||jd d}j)|r&|j+|j,j.Q|j+|j.m|ddj1t#|dz }|j3D]\} }|d| d|dz }j5|g}g}t#j%fd Dcic]}|| }}|j3D]\}}d |vrO|d }t7|tr|j9|d |6t;|sB|j9|d |Y|j=dd}|dk(rd}|j=dd}| ||j9|d|d|d|d||j9|d|d|d||j9|d|d|d|j9|d|d|s|r|dz }|dj1||zz }|S#t $rY*wxYwcc}wcc}w)$z/Format a message for constraint violation errosr)_get_dim_name_mappingrcjjjD]+\}}|s|j||n|j||}-|SrU)rr}r9r)rinverser>r?rXs r[ transformz2DimConstraints.prettify_results..transform sM ;;AAC H1+2AIIaO !Q HHr\NcD|dk(ry|dk(ry|dk(ry|dk(ry|dk(sJ|S)N<=>=<>==rh)rFs r[flipz-DimConstraints.prettify_results..flip s;TzTzSySy: :Ir\c|dk(r ||d<y|dk(r |dz |d<y|dk(r ||d<y|dk(r |dz|d<y|dk(sJ||d <y) Nr rZrrrrYrrr_rh)rrFdigitrs r[relation_with_digitz.relation_with_digit syTz', e$s',qy e$t', e$s',qy e$Tz!z&+ d#r\z( == | <= | >= | < | > )rr_c*|jddS)Nrr)splitrs r[r1z1DimConstraints.prettify_results.. saggenQ/r\rrz'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|dS)NT)r rh)rr s r[r1z1DimConstraints.prettify_results.. si48r\rYrDrZz = Dim('z', min=z, max=rz', max=z')z Suggested fixes:  F)rrr rr]r)rFrr]r)rrrFrrrr]r^)rrrr}rdictrrrrirstripisdigitrrr0 TypeErrorrrrrrrr_rr9rrrrr;)rXoriginal_signaturerconstraint_violation_errorrrrrrrrleftrFrightr>buf debug_namesr rdimsothersresults2rrrrrr s` @@r[prettify_resultszDimConstraints.prettify_results~ s Fyy22  5@4E  !N  ,,N; %%++D,A,AB A! AAv hh'BAFOD"eBTzdem}}#D"c%j9#E48SY?Tz$1$z*/--*>GDM$' ,&++-/"  %a( (" "  !%K+ 2!!''%."34'',OOCHH$5$56OOCLL1  2 9$))F;DW:X9YZJJ C1668 o3>qcAefiejjmnn o ''=  8  wqzM  NN$ 5DAqqy$eS)MMQCs5'"23.u5MMQCs5'"23uuUD)19DuuUD)#(8KK1#XaSvVD6 KL%KK1#XaSvQ ?@%KK1#XaSvQ ?@KK1#XaS 34' 50 6 + +C 6;;tf}- -C M!" > sN N  N% NNN) rBrrz$Mapping[sympy.Symbol, sympy.Integer]rzset[sympy.Symbol]r}rr]r^)rrrrr]rrrrRr]r)rrr]r)rr rrr]r^)r]z#dict[sympy.Symbol, set[sympy.Expr]])rrr]r)r]zdict[str, sympy.Expr])r rr]z2TypeGuard[torch.export.dynamic_shapes._DerivedDim])r rr]z+TypeGuard[torch.export.dynamic_shapes._Dim])rzdict[str, dict[str, Any]]rdict[str, Any]r]r^) r!zinspect.Signaturerz,Union[dict[str, Any], tuple[Any], list[Any]]r"rrdict[str, str]r]r)r_r`rarrWrrrrrrrr classmethodrrrrrr*rhr\r[rr9 s ;*:;*9;** ;* $5 ;*  ;*zIV < +Z?.#`R YXv  HH ;H  s-*s-$s-  s-jI-IEI%+ I !/ I Ir\rcXeZdZUdZded<ded<ded<ded<ded<ded<ded <y ) 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_r`rarrbrhr\r[r0r0 s3 $((""155-11r\r0c&eZdZUdZded<ded<y)rzG Locations of the guards that triggered lower and upper bound. rrrNr8rhr\r[rr s K Kr\rc#K|j d|jy#|jwxYwwrU)_suppress_guards_enter_suppress_guards_exit)r<s r[_suppress_guardsr=' s2 $$&* '') '')s>)>;>cTeZdZUdZded<eeZded<eeZded<y) _FrameLocalResultN Optional[str]loc)default_factoryr,localsr-r) r_r`rarArbr rrCrrhr\r[r?r?0 s*C"48FN8#D9G^9r\r?c  eZdZUddd d|dZddddddddd d}dZed~dZed~d Zed~d Zed~d Z ed~d Z ed~d Z ed~dZ ddZ ddZddZeddZeddZeddZeddZeddZe d ddZeddZeddZd~dZeddZeddZeddZeddZdd Zdd!Z dd"Z!dd#Z"dd$Z#e dd%Z$ dd&Z%dd'Z&dd(Z'd~d)Z(edd*Z)edd+Z*dd,Z+dd-Z,dd.Z- dd/Z. dd0Z/dd1 dd2Z0 dd3Z1edd1 dd4Z2 dd5Z3edd6 dd7Z4edd6 dd8Z5e dd9Z6dd:Z7 d dd;Z8edd<Z9eddd=Z:dd>Z;edd?Z<ee=j|ddf dd@Z?ee=j|ddddf ddAZ@ddBZAddCZB ddDZCddEZDdFfddddddGdH ddIZEdddJ ddKZFddLZGddMZHddNZIddO ddPZJddQZK ddRZLddSZMdddTZN d ddUZOeP d ddVZQeRd ddWZSePddddddX ddYZTePddZZUePdd[ZVePddd\ZWeRd]dd^ dd_ZXeRd]dd`ZYddda ddbZZ dddc dddZ[ddeZ\ddfZ]ePeddgZ^eRd]ddhZ_ d ddiZ`ddjZaePddkZbddlZc d ddmZddddnZeddoZfddpZgdZhdeidq< d ddrZjeRd]eds dddt dduZk dddt ddvZlddwZmeRd]eds d ddxZnddyZoeRdze dd{Zpy)rlN)should_record_events tracked_fakesc `|jdi|d|d<ddlm}||_||n|jxrtj |_|j xrtj|_d|_ ||_ |j rtt|gng|_ i|_y)NFrErtranslation_validation_enabled)r)rh)_inittorch.fx.experimental.validatorrI_translation_validation_enabledr/ translation_validation_no_bisectrEcheck_shape_env_recorded_eventscheck_recorded_events is_recordingrFr-rleventsfake_tensor_cache)rXrErFr)rIs r[rWzShapeEnv.__init__B s  V*/%&R/M/O,$/ !44@??? !  % % P&*P*P " "*((8F 3 4  r\TF)r1r2r3r4r5 co_fieldsr6r7c |tj}t||||||||_g|_i|_i|_i|_i|_i|_ i|_ i|_ i|_ i|_ i|_i|_i|_i|_t%|_t%|_i|_|r:t,j.j0t,j.j2d|_t5j6|_t5j6|_i|_d|_t@|_ |j@jCdd|_"d|_#d|_$tKjL|_'tKjL|_(|r|ni|_)g|_*|jW|_,d|_-d|_.i|_/i|_0i|_1ddl2m3} | |_4|jhrqddl2m5} | |_6tnjpjs|_:|jtjw|jtjydi|_=yy) N)r1r2r3r4r5r6r7rrr create_envFTrH)TranslationValidator)>r/use_duck_shaper0settingsraxiomsrunbacked_var_to_valoblivious_var_to_valrSvar_to_range_slocr}r var_to_stack source_to_var replacementsreplacements_slocsr:r divisible size_like val_to_varrrOrrrrmunbacked_symfloat_counterunbacked_symint_counterdeferred_runtime_assertsnum_deferred_runtime_assertsrrJrruntime_asserts_frozendim_constraints collectionsrcountersymbol_guard_counterrSr,r'_prev_cache_keyr(_resimplify_floor_div_axioms fx_node_cachergunbacked_alloc_orderrKrIrLrW validatorrrGraphrinserting_beforeoutput name_to_node) rXr1r2r3r4r5rSr6r7rIrWs r[rJzShapeEnv._init s;R  ..J(!5+I%= 3!8c4[   )+ 46 >@GI HJ! >@FH9;&@BCE68=?<>DF*-%-0E46 "''',,577;;?DO)2):&'0'8$>  % -.)  l# &+#9=%0%8%8%: @!R/M/O,  / / L13DN)DJ JJ ' ' (9(9$(? @;=D # 0r\c.|jjSrU)rYr1rs r[r1zShapeEnv.allow_scalar_outputsh s}}111r\c.|jjSrU)rYr2rs r[r2z'ShapeEnv.allow_dynamic_output_shape_opsl s}};;;r\c.|jjSrU)rYr3rs r[r3z!ShapeEnv.assume_static_by_defaultp s}}555r\c.|jjSrU)rYr4rs r[r4zShapeEnv.specialize_zero_onet s}}000r\c.|jjSrU)rYr5rs r[r5zShapeEnv.duck_shapex s}}'''r\c.|jjSrU)rYr6rs r[r6z4ShapeEnv.prefer_deferred_runtime_asserts_over_guards| s}}HHHr\c.|jjSrU)rYr7rs r[r7z0ShapeEnv.allow_complex_guards_as_runtime_asserts s}}DDDr\c,d}dd}t||||y)z(Compare another ShapeEnv for equivalence)rlrr^rprrrrOrErPrFrQr}rnr(rjr]raro_expr_sym_node_idc h|dvrddlm}t||S|dk(r|Dcgc]}|jc}S|dk(r>|jDcic] \}}||Dcgc]}|jc}"c}}}S|dk(rt |j S|dvry|Scc}wcc}wcc}}}w)N)rerfr)rrrgrv)rmr,rR)rrrr9rr)rvaluergrrasras r[ map_valuez'ShapeEnv.check_equal..map_value sNN% DK(((-.1..22AFOOvq#c2BGG22OO&5::<(( L/3OsB# B-!B(4B-(B-N)rrrrr]r)r,)rXrnon_state_variable_namesrs r[ check_equalzShapeEnv.check_equal s $  < 4 $D%1I9Ur\c|jyddlmdfd }|jDcgc] }|| c}Scc}w)Nr) TrackedFakect|jtjtjfr |jnt j |j}||j|jSrU) rfakerrrr) from_fakerr)r inner_fakers r[maybe_transform_fakez>ShapeEnv._snapshot_tracked_fakes..maybe_transform_fake s[dii%,,)GH #--dii8 z4;;8M8MN Nr\)rrr]r)rFtorch._dynamo.variables.builderr)rXrrrs @r[_snapshot_tracked_fakesz ShapeEnv._snapshot_tracked_fakes s=    %? O8<7I7IJt$T*JJJs;c2t|jdz SNr)r#rQrs r[_last_event_indexzShapeEnv._last_event_index s4;;!##r\c#JKd|_ dd|_y#d|_wxYwwNTF)rPrs r[ _recordingzShapeEnv._recording s&  &  %D D s## #c*|j||dy)Neliminate_unbacked)_set_replacement)rXorig_sr9s r[r/zShapeEnv._eliminate_unbacked s fe-ABr\cvtjd||tj||j|<y)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)rrJrr0r[)rXr>r?s r[r"z ShapeEnv.set_unbacked_var_to_val s. 2Aq9&+mmA&6  #r\ct|tjsJ|t|tjsJ|t|sJ|t|sJ||jj |}|t|r J|d||j ||d||j|<||j ||dyy)Nz -> rename_unbacked_torename_unbacked_to_dest)rrrRrr`r;rr:)rXrr9dests r[rWzShapeEnv._rename_unbacked_to s&%,,/77/%.55.$U+2U2+$V,4f4,  $$V,  ,T2 Ivhd4&4I I2 fe-AB*/'    ! !%/H I r\cyrUrh)rXrrUs r[rTzShapeEnv._constrain_is_bounded s r\ Optional[int]c|d}|t}||kr td|j||||jj |y)Nrr\rLrM)r;rrKrcrrXrrYrZs r[rQz"ShapeEnv._constrain_range_for_sizesc ;C ;C 93  ##  $ 1r\c t|tjr5|t|cxkr|ks nt dt|d|d|dyt|tj r|j |||yy)Nr]r^r_r`r)rrrrrFrRrKrs r[razShapeEnv._constrain_ranges| a '3q6(S(%s1vhl3%qQTPUUV&WXX  a &  ' '   (  'r\ct|tst|ts||k(sJt|jjtj sJd|jj |usJt j||j|jj<yyt|jjtj sJd|jj |usJt|ts7t j||j|jj<y|jj |jj usJt|jjtj sJd|j|jj}||j|jj<y)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) rrrrrrRr<rr`r)rXrrnew_vars r[rdzShapeEnv._constrain_unify+sr!V$a(Av v!FFKK212vv''4///16q1A!!!&&++. affkk5<<8 X:X X866##t+ ++a(16q1A!!!&&++.vv''166+;+;;;;!FFKK212**QVV[[118!!!&&++.r\c$ttddS)Nignore_fresh_unbacked_symbolsFrTLSrs r["_ignore_fresh_unbacked_symbols_tlsz+ShapeEnv._ignore_fresh_unbacked_symbols_tlsQss;UCCr\c<|j}|t_|SrU)rrr)rXrprevs r["_ignore_fresh_unbacked_symbols_setz+ShapeEnv._ignore_fresh_unbacked_symbols_setTs668,-) r\c#K|jd} d|j|y#|j|wxYww)za Indicates that the newly allocated unbacked SymInts are being discarded TN)r)rXrs r[rz&ShapeEnv.ignore_fresh_unbacked_symbolsZs< 66t< :   3 3D 9D 3 3D 9sA+A>Acd|_y)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.freezefs  r\cd|_y)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)rirs r[freeze_runtime_assertszShapeEnv.freeze_runtime_assertsos '+#r\c|jsy|j}||jvr$tj|d|j|<|j|S)NTr)rLrrgrrR)rXrsrcnames r[_create_symbol_for_sourcez"ShapeEnv._create_symbol_for_source{sS33++- .. .-2\\'4-PD ! !' *$$W--r\cV|jr|jj||yyrU)rLrradd_var)rXrGrs r[ _add_z3varzShapeEnv._add_z3vars$  / / NN " "64 0 0r\cT|jr|jj|yyrU)rLrradd_target_exprr;s r[_add_target_exprzShapeEnv._add_target_exprs"  / / NN * *4 0 0r\cT|jr|jj|yyrU)rLrr add_assertionr;s r[_add_assertionzShapeEnv._add_assertions"  / / NN ( ( . 0r\cR|jr|jjyyrU)rLrrvalidaters r[_check_translation_validatez$ShapeEnv._check_translation_validates  / / NN # # % 0r\c||f}d}|jr||jvrtd|Drtd|DsJd|fSd}td|DsJd|jd||j j ||x}|j|<||j|j<|jj|d|fS)NFc3$K|]}|du ywrUrhrrs r[r"z4ShapeEnv._create_fx_call_function..s+19+c3fK|])}t|tjj +ywrU)rrrrjrs r[r"z4ShapeEnv._create_fx_call_function..s"Jz!UXX]];;Js/1Tc3$K|]}|du ywrUrhrs r[r"z4ShapeEnv._create_fx_call_function..s"# rzmissing arg in FX graph (z): ) rLrprr$r_rrirvrr;)rXrFrYnode_keyfreshrs r[_create_fx_call_functionz!ShapeEnv._create_fx_call_functions:  / /HDDVDV4V+d++JTJJJJU{"E'+ B*2;;-s4&A B37**2J2J2t2T TD4%%h/+/D  dii (!!%%h5u<.!s %( C  rz0Expect size to be a plain tuple of ints but got rTensorPropertyTensorPropertySource)do_not_specialize_zero_oner)r$rrrrrrr create_symbolSIZEr/backed_size_obliviousrrrRrBrCrcrr) rX tensor_sizerrrr dynamic_dimsconstraint_dimsrer6rsyms r[rz*ShapeEnv._produce_dyn_sizes_from_int_tuples  ,7   L =k] K L  N/0'55 *;; , FAs$$$V^-@-@!DQ"+1+G+G!1 %C,,sELL1"3 2""3' KK    r\rc `tfd|jD}tfd|jD}j|j }j |||t |jDcgc]}t||c}||Scc}w)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. c3@K|]}j|ywrU#_maybe_specialize_sym_int_with_hint)rszrXs r[r"zHShapeEnv.create_symbolic_sizes_strides_storage_offset..Ms! =?D 4 4R 8 c3@K|]}j|ywrUr)rsdrXs r[r"zHShapeEnv.create_symbolic_sizes_strides_storage_offset..Ps! =?D 4 4R 8 rr) rNrerfrrg-_create_symbolic_sizes_strides_storage_offsetrr _is_dim_dynamic)rXexrrr ex_strideex_storage_offsetr6s` r[,create_symbolic_sizes_strides_storage_offsetz5ShapeEnv.create_symbolic_sizes_strides_storage_offset<s" CE779   CE99;  !DD     AA   -22668_ =_R # = - B   >sB+ct|ttjfsJt |r9|j j |usJd|j jS|S)NzFexpect the symbol is created from an shape env other than current one.)rrrrrrr<r )rX maybe_syms r[rz,ShapeEnv._maybe_specialize_sym_int_with_hintsb)c5<<%8999 y !((4 XW X4>>..0 0r\ct|}|dg|z}dg|z} g} g} t|D]g} || rtj} n-|jrtj } ntj } | j| | j| itj g|z} tjg|z} t| | || }t||j}|j} |j}|j} td|Drtj ntj }td|D}t||k(sJt|d|t| |k(sJt|d|t||k(sJt| |k(sJddlm}m}|j'|||}|j)||||| | ||}t+t-||D cgc].\} \}}|j/|||||j0| 0}}} }g}t+|D]A\} }|J|j|j/||| |||j2| C|j/|j5||||j6|d|||||j6}t9|t9||fScc}}} w) Nrrrrc3BK|]}|tjk(ywrUrrrrs r[r"zIShapeEnv._create_symbolic_sizes_strides_storage_offset..sAa1 )))Ac3BK|]}|tjk(ywrUrrs r[r"zIShapeEnv._create_symbolic_sizes_strides_storage_offset..sM!qJ$5$55Mrr,rrr  dynamic_dimconstraint_dimr)r#rrrr3rrrrrrrrrrr$rrrr_compute_symbolic_striderr%rrSTRIDErSTORAGE_OFFSETrN)rXrrris_dim_dynamicrrr rrrrr6rrdynamic_offsetare_sizes_staticrrrerfrrL sym_sizesro stride_exprrps r[rz6ShapeEnv._create_symbolic_sizes_strides_storage_offsetsN"'l  #59FSL 7;fsl L O3Z *"!$"**A22"))A"A##A&&&q) *'OO,s2L)667#=O7* /!1#5    /0+<<-@@(66 *::A=AA     M}MM=!S(JS-?,@SE*JJ(?#s*Ls=/A.B$se,LL*#$+++%&#---M!%!G!G V-" ..          "#,Cg,>"?   ;C  " "+FN4G4GK #    '/ NA{* **   &&"1/8M8MqQ'  "33   !$V^-J-JK*#!1  #'0M0MN4  Yz!24FFF? s;3K$c ddlm} m} dgt|z} i} t |D cgc] \} }|| f }} }|j t |D]\}}| } | t|dz k7xr|| || dz|| dzzk(}|dvr|stj|}n|| }|tjk(r || vr| |}nb|}|tjk(r"|rtjntj}|j|| || j| ||| |}|| | <|| |z| || |z<td| DsJ| Scc}} w)NrrrrrUr c3$K|]}|du ywrUrh)rrs r[r"z4ShapeEnv._compute_symbolic_stride..;s1Q1D=1r)rrrr#rrrrrrrrrrrr$)rXrrerrrrrrrrrf candidatesr6rval_listneg_icontiguous_stride out_stridedynamic_stride dyn_strides r[r z!ShapeEnv._compute_symbolic_strides N.2Vc$i-?;= -6i,@A&!SS1"IAA 0 1" @JCAS^a''FaLGAENYq1u5E$EE f}%6"]]3/ !0!3!Z%<%<< AR!+CJ"0J%)@)@@1AJ--z#"&!3!3,V^5J5JAN$.'9!'<)9 "4"J#F1I+/7Z+?JwqzC' (9 @<1&1111 EBsE)rc |jrS|Q|j|}|J|j|t}|j t j ||nd}t|t jr|t||k(sJt|}|St|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) rLrrrrrrPrrrrr.rXrrLrrGr rs r[rzShapeEnv.create_symintnode>s  / /F4F33F;F% %%;;FCHG    5 6G c5== )3x4'''c(C %S)dCwGHC r\c |jrS|Q|j|}|J|j|t}|j t j ||nd}t|t jr|t||k(sJt|}|St|r |J|tt||t||}|S)z2Create a SymFloat value from a symbolic expressionNr) rLrrrrrrPrrrrr.r!s r[create_symfloatnodezShapeEnv.create_symfloatnodejs  / /F4F33F;F% %%;;FEJG    5 6G c5;; 'SzT)))*C %S)|(S(|73eT7KLC r\cN|j|j|||||S)z1Create a SymInt wrapping a new unspecified symbol)rr r )rcreate_unspecified_symbol)rXrrr s r[$create_unspecified_symint_and_symbolz-ShapeEnv.create_unspecified_symint_and_symbols@ %%  * *' +  &  r\c8tt||tdS)z7Create a SymBool object from a sympy boolean expressionN)rr.rrXrs r[create_symboolnodezShapeEnv.create_symboolnodeswsD$566r\c ^tjduxr*ttjjdv}||j |\}}n|j d}}t jd|jj|||tdfdy)N,rz%s %s [%s, %s] %s%s stack_infocreate_unbacked_symbolcttdjdjdt j dt j dS)N[rr`r)rGnode_idr user_stackr6)ridrrr$get_user_stackget_framework_stack)rrGrsr[r1z6ShapeEnv._log_create_unbacked_symbol..sLf+h<"((2bhhZq1(77:#779 !r\ metadata_fn) r/extended_debug_create_symbolrr_get_stack_summaryrrrJrrr%) rXprefixrGrrris_debugslocmaybe_extra_debugs `` ` r[_log_create_unbacked_symbolz$ShapeEnv._log_create_unbacked_symbols66dB&*&=&=h&G #D#&,kkmR#D  !   HH HH      $ r\cnttjt|j}|j dxxdz cc<|j s|jj|tjd|j|<tjx}|j|<|jsJ|j!}t#|||j$|<|j'|t(}t+||t(d|}|j-d|||t/|S)z,Create a symbolic float without a hint valuer.rrmNrcreate_unbacked_symfloatr)rArCrrrerlrr,rrHextractr^rGunknownrSis_float _get_slocrr]rrr.r>rrXrGrr<r rs r[rAz!ShapeEnv.create_unbacked_symfloats +   d&D&D!E  -.!3.668  / / 6 6v >$5$=$=1$E&!)4)<)<)>>T  v &{{{~~)8t)Dv&77F64gF (( &X ) !!r\clttjt|jd}|j s|j j||jdxxdz cc<tjd|j|<|jx}|j|<|jsJ|j}t!|||j"|<|j%|t&}t)||t&d|}|j+d|||| t-|S) z.Create a symbolic integer without a hint valueTrr.rr@Nrcreate_unbacked_symintrB)rArCrrrfrr,rrlrHrCr^ _default_unspecified_value_rangerSrrFrr]rrr.r>r)rXrrGrr<r rs r[rIzShapeEnv.create_unbacked_symints +   tD$@$@A4 668  / / 6 6v > -.!3.$5$=$=1$E&!)-)N)N)PPT  v &yyy~~)8t)Dv&77D64dGD (( $fb&8 ) hr\c6t|tjS)zJCheck if a sympy symbol matches the naming convention for unbacked symbolsrBrCr)rXrGs r[rPzShapeEnv.is_unbacked_symintsfd&7&788r\cttjt|jd}|j s|j j||jdxxdz cc<tjd|j|<tddx}|j|<|jsJ|jd}t!|||j"|<|j%|t&}t)t+j,|d|t&d| }|j/d ||| t1|S) z.Create a symbolic boolean without a hint valueTrr.rr@rz(default value range for unbacked SymBoolNrcreate_unbacked_symboolrB)rArCrrrfrr,rrlrHrCr^rGrSrrFrr]rrr.rrPr>rrGs r[rNz ShapeEnv.create_unbacked_symbools  +   tD$@$@A4 668  / / 6 6v > -.!3.$5$=$=1$E&!)4Q)::T  v &yyy~~HI)8t)Dv&77E588FA.dD'R (( %vrH ) x  r\c 2|j||||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)rrr)r)rXrrr r rs r[r%z"ShapeEnv.create_unspecified_symbols1(!!    '+-"  r\c t|tr|jj|jjk(rt j }|jjk7r6td|jjddj|rTddl m }t|sJjJ||jj<d|jj<d}j} t|tr/t||j vri|j t|<t|tr7| r5| |j t|vr|j t|| S|t j"t j$fvr|j'j(j*} |j-| t|tr| r| |j t|| <|t j$ur|j.| <| S|rd} n |j0} tt2sJt5d|rdkr Jd |t j6}|t j urDt9j:} t|tr| r| |j t|| <| S|t j<ur |j>} n#|t j6urd} ntAd ||jC} d vr| r|jD}nx| r|jDvrt5tFus tIr1tKtLjNtQ|jR|d n0tKtLjTtQ|jR|d |jV| <ttFr#t9j:|jR<n}ttXr#t9jZ|jR<nJt]j(j_j(ja|jR<g|jb<|jetF| r|jD<ttFr:|ri|jgdkD|ji||jj<tm|jC|j0rdnd| |jn<n6|jq|jj<tm| | |jn<t|tr"| rJ|js|jd |jj}|jtsJ|vr(td|jd|jdd|jd|jdnttXr|twt8jx t8jxx|jj<}tm| | |jn<d|jd|jd|jzsJd}t|j~duxr*tt|j~jdv}d}|stjdddvrdd}|j|\} }|jjdj| ||| td fd!"|jd xxdz cc<nI|jD}||jV| <|jjd#|jt|t8jrc|jb|}|jjs$|djr|d$|dc|d<|d$<d|j|<t|tr| r||j t|| <|S)%z5Create a new symbol which is tracked by this ShapeEnvzStatic shape constraint of z does not match input size of z, for r)rNFrz!positive set for negative value: zunhandled dynamic_dim rUTr)rr )r)rzuser 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 [rr`r0rr+TORCHDYNAMO_EXTENDED_ADVICE1)0rzC, 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%sr,rc  ttjtjt j tjtjdjdS)Nrr@)rGrrrr2r6) rrrr$from_tracebackr! extract_stackrHrCsummary) range_strr sympy_exprrsr[r1z(ShapeEnv.create_symbol.. se!*o9#$kkm",";";&446#(66)11q9AAC %r\r6zcreate_symbol %s duck sized %sr)Nrrrrrrrrrrrr rrrr3rrrrIrrrQr\r4r rrrrrr5rrFrdrrxrArCrr#rFLOATr_rrr? nested_intrrrr_default_value_rangerSrr]rJ_update_var_to_rangerrGoorEr/r8rrosgetenvr9rrJr%rlrrRr is_ephemeralrm)rXrrr r rrrrrjrr4duckr<rrr;maybe_more_infor= r_sourcesrZr[s `` @@r[rzShapeEnv.create_symbol6s ~'= >!!''>+<+<+B+BB$++K  &&#-.1.2C2C2I2I1JJhilhmn!;;=/+ E!&*>???zz---=H ..vzz:@D 11&**=!Nkkm ')@ A4 0 T TTMO  @ @D J ')@ A#GG4QR$GG4Q  :88*:S:ST T--f5::??C  * *3 /*,CD!DDRXNj77714))#.J %"' "&":": &&)Ed6l^1VH+EE)qT-Nse+TT)  %$,,K *++ +--$C*,CD!DDRXNJ JOO +??D J.. .D #9+!GH H~~ &=0$ADOO3CyC=#5(IIs4??3hPT )JJDOO 4xd /9D  { +#s#.3mmC.@ +C'.3kk#.> +/;HH'')1J1J1L/ + /1D   + OOJ ,'1$#s#'' Q7594M4M25D%%j1:I $77`"&  :D**:6==?%%":It9TD**:6n.DE#O8--"N$5$5T.&&z2yy yb=2%rxxj288*AF zBHH:Q7 C'5@%((EHH5UU!!*-5DT45P&&z2zBHH:Q7 {{"{ A::$F@3L44::3?L@H!O *G MV! AAK M66 '+&=&=h&G #D# HHMM8 !#      LL )Q . )$A./D  { + HHNN;Q N a &++A.I   V $&&(Yq\-F-F-H.7mYq\+ ! im ,-D % %a ( &(? @[  @ @D J r\ctjd||d||jvs J|dtj||j|<y)z.Adds a new symbol to the symbolic environment.zadd_var_to_val %s %sTr,z already existsN)rrrrr)rXrrs r[add_var_to_valzShapeEnv.add_var_to_val3sL ($ E4??*DtfO,DD* % c 2r\cZ|j}|jj||SrU)rr}r;)rXrsrc_names r[ _debug_namezShapeEnv._debug_name9s&;;=--11(HEEr\ct|tr|jj|jj}}|j }||jkrd}||jk\rd}|j |d|jd}|!||d|d|j |d|z }|S|||d|j |d|z }|S|||d|d|j |z }|S|j|S)Nrz in the specified rangerr) rrrrrr^rkrr)rXrrrrrnc_renders r[&_render_range_for_constraint_violationz/ShapeEnv._render_range_for_constraint_violation=s6 a/ 044::qttzz5E//1G % %##F+,C >UV  U%6awd4+;+;F+C*DDPP O 5#4a 0 0 89eWEEO"u}awd4+;+;F+C*DEEOxxr\cH|j|i|ddidjS)z Like produce_guards_verbose, but only returns the non-verbose python guard expressions (no verbose guards produced.) langs)pythonr)produce_guards_verboserr)rXrYr)s r[produce_guardszShapeEnv.produce_guardsSs, +t**DNFN+NqQWWWr\c"|jSrUrrys r[r1zShapeEnv.^s r\rqverbose_python)rinput_contextsequalities_inputs _simplifiedrzrpc' OPQRSTUVWXYZ[\]jjdjr&tj} j | t t |k(sJdd|dtjtf} dJd} |$D cgc]} t| | r| | nd}} nt |t k(sJtt|D]W\}\} }t| | r|| | ||<$t| tttt fsJt|t"sWJddlmOmPgTt+j,t"]t+j,t.\gRgWt1]|j2X D]Q}|d vrWj5X|d k(r'Wj5t7]|j2Et9d | dK dLRfd YdMOPfd U|rRiZt|D]\}}|Z|j;<dNZfd }|j<D]\}}||||}}j?tAjB||}|r>tE|j;dt|tr|n|jGjHd|j;dt|tr||jGjH|jJD]\}}}||}t|t@jLr"|j2|dj;fn||jO|f\}}||}j?tAjB||}|rtEd|j;d|tAjL|d|d|jGjHd|jGjH |jPD]#}]|jSj2|% dK dOTXY\]fd }dPT]fd }t||D]O\} } }t| tTrddlm+}!|!| } t| tXsJ| ;t| ttfr || | [t| tt fr || | {t| | sJt[| rddlm.}"t|t^sJ| | |j`|jbfg}#| je\}$}%|$D]M}&tg| |&}'|jh|&}(|#j5|"| |&|'|(j`|(jbfOn| | |j`|jbfg}#|#D]\}})}*}+tk|)rCt|)jmD]&\}},P|Ojn|}-||-|,|*|(Wt|)jmD]&\}},P|Ojn|}-||-|,|*|(t|)jqD]&\}},P|Ojr|}-||-|,|+|(|P|Ojt|)jwR D%cgc]}%gc}%Qty]jHt/\j{j|_?|sTD]\} S| j;}.jr@|.jvr2jtAjBj|.StSt@jLr]jSr | ]Sdk(r|r@t| Pr4Sjr(jjd|| dSU| rj~j| StQW D]\}/}0}|0j| d|0jS}1|dk(r~jj|.x}2Y| j2|2dk7r|1djH|2d}1n6jj|2x}3|1d|3}1n|1d|2d }1n|1d!|.d }1|/j5|1t| Ps| jOjnus|st Sjd"k(sttSj[tSt@jLrS\vr|j| ]Sdsxd#jO| d| j;d$jO]Sdd]Sdj;d% }4Y|jjO| |4tSt@jLr[\vs|j| ][dS[fd&r"][d}d#jO| d| j;d'jO|d|j;d(jO| dSjG[tAjjO|id) }4Y|jjO| |4t/VdQQUV WXY\]f d* }5||n jD]4}6j|6jd+|6j, -|5|66jjdgD]V}7j|7jd+-!j|7jSj~jSX]jD]1\[}jj[}8|8%j[}9|sJg}:||d};d.}<|8jt@j t fvrtUfd/|Dr9j~jtAj[|8j|r'|8jjjk7r1|:j5tAj|8j[d01|8jd2|;d|9j}<|8jt@jtfvrtUfd3|Dr9j~jtAj[|8j|:j5tAj[|8jd01||>D]}?t|?ts|?jjzj|8rA|d} tAjtAj|8j[tAj[|8jSXjS}@j| |?}Ad5|Ad6|@}4Y|?jjO| |4t[tjsd7Xj|dd}1tQW D]q\}/}0}|dk(r|/j5|1d8!|d9k(r|/j5|18|d k(r(|/j5d:|0j|ddet9d;|4Rrg}Bg}Ct/}DRD]_\}E}}F|Er+dF}GCj5|GDj|at CdkDr._create_no_constraints_contexts]+)112QUUW.record_constraint_violation.. sD3%x0@cr\)r)rrr5rLconstraint_violationss ``r[record_constraint_violationzDShapeEnv.produce_guards_verbose..record_constraint_violations " ( (J(QR r\cPt|xr|jjuSrU)rpropr)rrrs r[is_dimz/ShapeEnv.produce_guards_verbose..is_dims*3 454HH 3 33 r\cd|jj}|jJ|j|j}t |t j r|jjSt|tusJdt|tj|S)NzExpected int, got ) rrr r rrrrrrrrr)tensor_dim_srcrsymint placeholders source_indexs r[get_expressionz7ShapeEnv.produce_guards_verbose..get_expressions#L1D1D1I1I1K$LM%))555N$6$67fell3!;;+++<3.S2DT&\N0SS. ==00r\rz is not equal to zExpected input z to be equal to z, where z , but got c tjdt|j||t |t r t |sJt |t r4|jj|jj}t |t r|jj}t |tjr>|j||,t |ts|j|nd}t |trW|j Dcic]}|j"j%|d!}}t'd|j)Dr0d}n-t |tr|j*rt-|}|dvrd}|rm|Jd fd }j/||} d| dj1|d }  |j2j1|| t5j6||  j||fytj8|} j||fd}t |tr8||j:j<cxk(r|j:j>k(snd}nt |tr|dvrd}|rU|Jj/||} d| dj1|d |d }  |j2j1|| yycc}w)Nztrack_symint %s %s %sFc3$K|]}|du ywrUrh)rrs r[r"zHShapeEnv.produce_guards_verbose..track_symint..osEbrTzErTrUc0j|}|dSr)rO)rsexpr py_printers r[rLzCShapeEnv.produce_guards_verbose..track_symint..hint|s$.$6$6q$9E&+WA;.r\Not all values of z are valid because z was inferred to be equal to r"z was inferred to be a constant (z).)rrr]r) rrr#rrrrr maybe_as_intrrrRrrrrrurSr;rr.rrrnrkrrrrrrr)rr constraintrconstraint_violatedrsym_vrsr6rLvar_with_ranger5 input_guardsrrrXsymbol_to_constraintsrBs r[ track_symintz5ShapeEnv.produce_guards_verbose..track_symintWs II-z&++/FZ X!#v.+c2B BB#v&388+@+@+B+Nhh++-#v&HHMMa.$Q'..v6!-j"$;7.a044Z@*/'!*.DEHI~~#BCAt0044Q==##EGNN4DEE26/#J0GH;; #AA !6: 3*)555/*.)T)T"J*10@@S#//788UW4&00 ,,V4!*!2!24!; ##VQK0MM#&##VQK0&+#j*@AZ]]00GJMM4G4GG.2+ ,CD&(.2+&%111%)%P%P &N-^,<.>v.F'c#s-$Lc<tjdt|j|t |t r t |sJt |t r4|jj|jj}t |t rX|jj}t |tjr|j|j||fytj|}j||fy)Nztrack_symfloat %s %s)rrr#rrrrrmaybe_as_floatrrrRrr)rrrrrBs r[track_symfloatz7ShapeEnv.produce_guards_verbose..track_symfloats II,j.Es K!#x0K4D DD#x(SXX-D-D-F-Rhh--/#x(HHMMa.$Q'..v6##VQK0KK$##VQK0r\ LocalSource) AttrSourcezSkipping guard %srrvzN # 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.c*j|iSrU)r)rrrGs r[r1z1ShapeEnv.produce_guards_verbose..\sdmmVQK&@r\z) must always be related to the values of z by rc j|j}|vryj| d}tfd|jDr)j Jj j|}t D]>\}}}|j|}|dk(r|d|j}|j|@j||st|jdk(rtt|j}|d}|} | D]~} t| trNj!|| } d| dj|d } | j"j%|| at| t&rrt)d | yyy#t*$r(j,j/d |jwxYw) NFc3BK|]}|D] }|ywrUrh)rrrrrBs r[r"zGShapeEnv.produce_guards_verbose..issue_guard..~s7"21"56N"srvrrrr satisfy the generated guard rzunrecognized constraint zFailing guard allocated at %s)rrrrrurjr%rOr<rrr#rrrrrnrrkrrrCrr)guardr is_trivialrrprinterlang guard_exprrGr constraintsrrr5 all_exprsrissuedrpprintersrrrXrrBs r[ issue_guardz4ShapeEnv.produce_guards_verbose..issue_guardss==,Dv~ JJt - " !..  //;;;!%!5!5!9!9$!?J,/ 8U,K-(E7D!(!6J//(2|4 |%D LL, - %%d+"c$*;*;&<&A!$t'8'8"9:F-f5a8F"7"?K(Q%a)?@ $ K KFTU V+#5^4DE??I?Q?QRV?W>XXY![ 8 ! T-=-=f-Es(+BC !"03KA31O"PP'Q 'Bz0   !@%**M s E1F((1GrhrZr )rZrc3.K|] }|ywrUrhrrrs r[r"z2ShapeEnv.produce_guards_verbose..<&vf~<Frrc3.K|] }|ywrUrhrs r[r"z2ShapeEnv.produce_guards_verbose..rrrrrznot math.isnan(zM # implicit guard for float input due to NaN specialization in the frameworkrqz ~std::isnan(zUnimplemented for lang: z . z - rrzConstraints violated (rz$%s Warning only constraints violateddynamicc3&K|] }|sd ywrNrh)rr?s r[r"z2ShapeEnv.produce_guards_verbose..0s#N!AA#NsT)reverse) num_guardsrusymbol_guard_counts)PopulateValidator)rrJr]rrU) rrrrr5rrLzOptional[Callable[[], str]]r]r^)rrr]zTypeGuard[TensorPropertySource])rr r]r)rr rUnion[SymInt, int]r DimConstraintr]r^)rr rUnion[float, SymFloat]r]r^)rrr]r^)rrJrOr+rQrr#rrJr)rrr%rrrrrrrrrkrrrWrrrdrrr evaluate_exprrrPrrrrrRrkrextendrrr r1rrrrrrrr&rerrfrrrgrrr}rjrLrgrr;rrrrJrOr_rarrurrrrrr0rrBrr rgrrr9rSr]rr`r;rrr^rrrurrrTrnrBrCr\rrr'rSrlsumr.rmrKr fx_tracebackpreserve_node_metarrrrunrrtrp)^rXrrHrCrrwrxryrzrpr< Tensorliker|rr6contextrrrrrexpr1r concrete_valsrcEqrrrexpr2_phantom_symbolrrrrrsources_tensors_constraintsr%r&r'inner_t inner_contextcurr_tconstraint_sizeconstraint_stridessproperty_sourcerrrrr]s0r<r5rrrrvr_slocboundsrf verbose_exprboundrrrr warn_msgs error_msgsr&rmsg_cbstr_msgdebug_names_strerrrrrrhelpersrrrrrrrrrrrrrGrrBs^`` ` @@@@@@@@@@@@@@@r[rrzShapeEnv.produce_guards_verboseZsH  &'  % %/    # #C ( LN-/, j$*=*=  CD33 +)(*d6I6I *N4&*ABB C 15     .       L#G, -3+, SXXZ( - 10<<  d-d3^D5Iu $11%((5%2HI #299;-sJuc4J5PUP^P^_c_n_nPo*p+99;-sJuc4J5*prQVP^P^_c_n_nPo*pr $5#G#G tR&u-"$ 54..t4Q7<<>?(.0@0@0FG"z E $11%((5&2IJ #2)%**,7Gell:6789!!+ Ct0O/PQ##(>>$//#B"CE *#4"C"C  077''7 $RVQ Q !3Q ANQ  Q Q f 1 #&lG^"LE  Avw&#&<$V,ff- --y!fc]+VQ'A%01vq)a, ,,,Q/;!'+BCCC Q 8 8':T:TUS+//1q! D%a.G$+$:$:4$@M/66&vt4#)::)<<  Q 8 8':T:TU/+-  ! (!*6;;=!9N2*>!4!4a+%_b/!:LM N "+6;;=!9N2*>!4!4a+%_b/!:LM N "+6==?!;P2*>!6!6+%_b:KA:NO P !,S.2O2OP--// WE V38%8Qb%8 -  OO %**, -  * *   ,Y   ++-77$"7"77--!HHT%:%:7%CTJ tU\\2(,,T2"24"8";; !Z8L%M~~/Jv4F3GtD61R!&>((55fdC,/ 8U,K&(E7D$11&9:$wt?T>UVC//"&"4"4"8"8"AABN%)<)rdBV&W%(E)=gYFZ"[CLL%#&(v';< ~':'::)D--.!3!$t'8'8"9:F"46 $99 1 : :"$4T$:1$=! -T-=-=f-E,Fc&++-X]#//0@0Fq0IJK3O_`dOefgOhOmOmOoNpq44 4-779I9I&9QSV 'tU\\:"&;; 1 < <",V4Q7@! /v6q9,T-=-=f-E,Fc&++-Y--1-=-=c-B,C3sxxzlRV#//78DMM6SXS`S`aeaqaqruavSwJxJ==)D  $ $T *  + 0557K UOFG!!%%f-Ay,,V4GN7FGAJ'BLwwy6'22A#5"6b CG$$W- $VXJ/G%%g.OOJ/ 0:""&))F;,?"@ii +.,_,=>Ne Y!# @#i.Q   .. ,, ")A,/ ##N/?/F/F/H#N N(.--446(   / / I 44;;= 33B))"''23 3 ,,224 CR88UXXIw#77))%((288S*AB88EHHf#55))%((3*AB  C002 D!$**dnn=AAC D >  , , .,.$' 8U$C : E7Du}!'+@AAA4UGK,ANNAN rrzc ddlm}tt|Dcgc]}d| }}|j ||Dcgc] }|| c}||}|rdj |Sycc}wcc}w)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. rrrrrN)rrrr#rsr) rXrrrzrr6 arg_namesrproduced_guardss r[produce_guards_expressionz"ShapeEnv.produce_guards_expression^s| 5&+C ,=&>?qW? ?-- %. /[^ /' .  <<0 0@ 0s A(A- c|jjDcic]\}}t||}}}t|t|Scc}}w)z? To be used by compile_fx to evaluate symexprs )rr9revalrtrXcoderrrYs r[evaluate_symexprzShapeEnv.evaluate_symexprwsE+///*?*?*AB3A BBD,--CsAc|jjDcic]5\}}t|tt ||t t |d7}}}t |t|Scc}}w)zB To be used by compile_fx to deserialize symexprs Nr)rr9rrr.rrrtrs r[deserialize_symexprzShapeEnv.deserialize_symexpr~sg ////1 3 FF71dCS4HI I  D,--  s:A,c tt|Dcgc]}d| }}t|tdt t ||iScc}w)z Expected to be used with produce_guards_expression(). Evaluates an expression generated by produce_guards_expression for the given concrete args. rL)rr#rrtrr%)rXrrYr6rs r[evaluate_guards_expressionz#ShapeEnv.evaluate_guards_expressionsK ',CI&67qW7 7D,d3y$3G.H(IJJ8s A rycR|j||}|r|j||Sy)zRGenerate guards for a graph's placeholder values and evaluate the guards with argsryT)rr)rXrrYrzrs r[r|z!ShapeEnv.evaluate_guards_for_argss2--l--X 224> >r\cFDchc]G}t|jjtjs2|jjIc}|j Dcgc]-}t fd|jjDs,|/}}|Scc}wcc}w)z Get a list of guards, but pruned so it only provides guards that reference symints from the passed in input c3&K|]}|v ywrUrh)rrsymintss r[r"z-ShapeEnv.get_pruned_guards..s)T1!w,)Ts)rrrrrRrr$ru)rXrrrrs ` r[get_pruned_guardszShapeEnv.get_pruned_guardss ") Jqvv{{ELL,QAFFKK {{ c)T@S@S)T&TA     s3BB#-BBcidfd }t||D]\}}| t|tr |||#t|tjsJt |j D]\}}||j ||t |jD]\}}||j||||j|jS)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 cxt|trt|tsJ|jj}t|t j r"|vr||k(sJ|d|||<yyt| t j r)| vr| | k(sJ| d| y| | <yyy)Nr,)rrrrrrrR)rrrr=s r[ bind_symintz*ShapeEnv.bind_symbols..bind_symints#v&!#s+++HHMMa.H}'{c1Lhqk]$se3LL1&)  2 ELL1rX~'|t3P! ~T3$5PP3(+t! 2'r\)rrrrr]r^) r%rrrrJrrerfrg) rXrrYrrrr6rr=s @r[rzShapeEnv.bind_symbolss&-/ , ,- BFAsy!V$C#a. ..!!&&(+ ,1CHHQK+ ,!!((*- .1CJJqM1- . **,a.>.>.@ A Br\c|jDcgc]F}|j|jd|j |j |jHc}Scc}w)zSReturns a list of guard expressions that aren't statically known (i.e. not trivial)rhr)rrBrr r)rXrs r[get_nontrivial_guardszShapeEnv.get_nontrivial_guardssc ** 2e6J6J+ MM%** %   sA AcLdjfd|jDS)zQFormat this shape env's guard expressions with optional traceback info if verboserc3tK|]/}d|jrdt|jznd1yw)z - rrN)rrr<)rrverboses r[r"z)ShapeEnv.format_guards..s: %**wcC O3BG H s58)rr)rXrs `r[ format_guardszShapeEnv.format_guardss'yy    r\c|jDcic]}||jj|d!}}|r;|j|j zD]}|| t dt ||<t||Scc}w)zPGiven a sympy expression, computes a ValueRanges bound for what values it can beNrD)rurSr;rcrrGr;rD)rXrr rrSs r[rDzShapeEnv.bound_sympys DHCTCTUa4,,00D99U U ^^l&7&7&99 =?.'2!V&c&|"djjD}n fd|D}djD}tj||}|r fd|D}t t j|jS)z Given the symbols in an expression, it returns all the runtime asserts that have those symbols concatenated with all the guards. If symbols is None, it returns all the runtime asserts (and all the guards) c3BK|]}|D]}|jywrUr)rrsrs r[r"z&ShapeEnv.get_axioms..s,QSLMrc3K|]?}|jvr/jj|dD]}|jAyw)rhN)rrgr;r)rrrrXs r[r"z&ShapeEnv.get_axioms..sQDOO+66::1bA sAAc34K|]}|jywrUr)rrs r[r"z&ShapeEnv.get_axioms..s)FQ!&&)Frc3fK|](}t|jj*ywrU)rrrr)rrrXs r[r"z&ShapeEnv.get_axioms..s)HI&qzz$//'BCs.1) rgr.rrchainrNrfromkeysr)rXr compute_hintruntime_assertsrrZs` r[ get_axiomszShapeEnv.get_axiomss ?!%!>!>!E!E!GO O *G$++)F)2)Q MSFT]]6*//122r\cidfd }||t|tjrf|tj|j|j d|tj |j|j dn/t|tjr|tj|j|j d|tj|j|j d|jjr|j jr|tj|j|j dz dnOt|tjr5|tj|j|j dzdtjS)zGGiven a expression, it returns a list of predicates that follow from itct|}t|tjtjfr t|tjrtjntj}tj t ||j|jd<tj t ||j|jd<tj||j|jd<tj||j|jd<ytj |<tjttj|<y)NFr) rrrrrPrxrrrQrUrrw)rrequivs r[add_exprz+ShapeEnv.get_implications..add_expr(s)$/D$588 45(2$'A588uxxHM jd4j488eDEHM jd4j488eDEFKkkhtxxEBCFKkkhtxxEBC$jjd BG,UYYt_=>r\Frrrrr]r^) rrrPrrQrUrrrx is_integerrNr9)rXrrr s @r[get_implicationszShapeEnv.get_implications!s% FH M&  a " UXXaeeQUUU; < UXXaeeQUUU; < 588 $ UXXaeeQUUU; < UXXaeeQUUU; <uuAEE$4$4!%%UCD 588 $ UXXaeeQUUQY? @U[[]##r\)rrr rZrSc  |r|rJj||}|r4|jjjj}t |}dfd }||j j }noi}|D]`} | j j|j s)|jtjj| b|||j|}|j } | s|js |jr|S| j n t| t fdt| t 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. cjsyd_i}|jD]=\}}|jts|j j ||i?|j |yr)ror9rr5rr)rZ new_itemsr>r?rXs r[resimplify_floor_divz=ShapeEnv._maybe_evaluate_static..resimplify_floor_divksl4405D -I  <1 55?$$dmmA&6%:; < MM) $r\c3K|]F}t|j|jj||jvHywrU)rr;rrc)rrrX var_rangess r[r"z2ShapeEnv._maybe_evaluate_static..sM  q!##A&T^^#   sA Ar)rZzdict[sympy.Expr, sympy.Expr]r]r^)rrrr[rrrZrurTrrrr is_BooleanrSrNrrr)rXrrrr rZrSrsubstrr3rrrs` @r[rBzShapeEnv._maybe_evaluate_staticJsT2 v--}}T>2 ==1::4;S;STD%d+ % >  -KKEE P>>**4+<+<=LLd&;&;DMM!r]s r[_update_divisiblezShapeEnv._update_divisiblesS  %A,,q/C==!!!$ % ' $$&r\c t|}j|}|r|jtri}|j tD]}|j \}}|dk(s|dk(r||}}|dk(s|dk(s+t |ts.sLT^^ 3Ls)rrrr8rrYrrNr#rurr$rr5rr9rbrPowRationalrrr4rT)rXrr max_replacementsatomrrdiv_replacementsrrbase1divisor1pows rationalsfdrnew_pows new_rationalss` r[rzShapeEnv.simplifys4 ||D! dhhsm!  3 3yy16Q!VaqA6Q!V"1c*/14NNc!'')n<LQ^^LL12(. 3 }}%56"4( 88H   " " $!  8, : $ ggx0&-llOE8 Sw%78DNNJ EM LLUH)=>$..P19(. : }}%56"4( 88H ! ::eii(D 5>>2==djj>WXIjj* C " g<<D' 23t~~E+3D'+B$R( C ==)9:&x0#>>%))4 (u~~ > I INN5==1! $$T*}/E/Ei/P#D r\r allow_nonec  tj|j}|jsddlm}t ||ry|j|d}||S|ry|jr|j|j}|j|jjDcic]\}}|t|dc}}} |jsC| js7|| k(rtjd||Stjd|| ntjd || |jr}|j|j jsVtjd  t!d  fd  |j#t%j&| d|d  S|j)||Scc}}w)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)rrDzoblivious_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_tensorsctttjtjdj dSNrr@)rrYr6rr$rWrHrCrY)r unsound_exprsr[r1z$ShapeEnv.size_hint..9s>$(J&*<&8%/%>%> 1 9 9q A I I K&-r\r6propagate_real_tensors: r)rrrr torch.utils._sympy.singleton_intr?rrBr\r9rZrurrJr[rr%defer_runtime_assertrrP_make_data_dependent_error) rXrr- result_exprr?r correct_hintr>r?counterfactual_hintr3s ` @r[ size_hintzShapeEnv.size_hints"$'00A $$ E+|4++Kd+KA}((*33D4M4MN &1&:&:.2.G.G.M.M.OPdaQAq \P'#%11/<<#'::!>lS++Q (/ HHK$+ ''*33D4L4LM #00KKDdL%0% --l;2;-tL>R('11+tD D_Qs0G ct|j|j}|jxs|j |duSrU)rrrrrB)rXrr8s r[rzShapeEnv.has_hintKsB!$'00A  ! ! D**;7tC r\size_oblivious_resultexpr_sym_node_idc^g}jD]k}djj|j}jj d|||j vs[|j|md}|d|d}jd\} } jrd} nd} | dd d d jtt|xsd d |d| ddjttjd| z} tdfdt| S)Nrz-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: rnonez) 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="r+z" 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 guard_on_data_dependent_errorcttjtjt j dj dS)Nrr@)r unhinted_exprexpr_idr6)rrr$rWrHrCrY)rrXrDsr[r1z5ShapeEnv._make_data_dependent_error..sGT !%m!411#22%--15==? !r\r6)rurr^formatrrrcrr9rrrr"rQ) rXrrDr>r?size_like_symbolsr stacktracesize_oblivious_result_msgr<r=descr5s ``` r[r7z#ShapeEnv._make_data_dependent_errorSso"" ,A!2!21!5!?J HHNN@!Z DNN"!((+  ,%'! ,`av`wxuu &#'"9"9$"? ??V BDfAdV< 7##'99S6G-H#I#SV"TTY()$ :;>((3sDL]L]C^:_9`aq q    + +455r\rQcn|j|j}}|dkr||jvr t|d}||jvrZ|j j d||||j|<||j}t||}||j|<n|j|}||z} | |k7r||j}t||}| j|jk7r|j|j|_| j|jk7r|j|j|_| |j|<|j j d|| |jj|x} (|j|} | | vr|s| | vs J| d| yyyy)NrDz"_update_var_to_range %s = %s (new)z%_update_var_to_range %s = %s (update)z not in ) rrrcrGrSrrrFrr]rr;) rXrGrrrRrrr<r0r/r?rs r[r_zShapeEnv._update_var_to_rangesxxu 194>>1UA&B ** * HHNN? L(*D  f %~~')$5-4D " "6 *##F+C(Ccz?>>+D-dD9G99 );B==D**62899 );B==D**628,/!!&)FPST$$V, ,A 9!!&)Az%64aS#446%  :r\c` jjdk(ryjvryttj sJj r tsyd}jvrqj}j}j||j|stjdk(rttj}tt j |d}|j"j%d||j|d}t't)|j*t-|j.} j|| j0j}|j|s Jd|d|j2vr6ttj rj2j5nCttj r)j2vrj2j5|j|s!j"j%d||yj2vrXjd } jd } | j| s!j"j%d | | yttj6tj8frt;j< t?d  fd t@jBrXj"jEdjFdjIj"j%dd t"jKd|j<jLvrjOjL<jQjSt j dy)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 tgt_bound=z not a subset of src_bound=z:skipped set_replacement %s = %s (%s) [%s not subset of %s]Tr zVskipped set_replacement %s = %s (%s) [%s not subset of %s (size-oblivious conditions)]symbolic_shape_specializationc LtjjgDcgc]}|jc}tt j t jdjrt j dSddScc}w)Nrr@)rGrHrreasonr6r2) rrr;rr$rWrHrCrY)rrr5rXtgtuser_tbs r[r1z+ShapeEnv._set_replacement..Gs"1g262E2E2I2I!R2PQQQ!#Y!'66)11q9AAC?F 11': %LP %QsB!r6zSpecializing %s to %srSPECIALIZATIONr,zset_replacement %s = %s (%s) %sr)*r`r;rurrrRr7rrSrDr_rTr#rrr@rPrrrGr3rr6rr]rcrrrr!rXr%r/print_specializationsrrrrJrarFrr) rXrrSr5 tgt_bound src_boundrr rat_b_boundb_bound tgt_bound_so src_bound_sorTs ```` @r[rzShapeEnv._set_replacements $##''40 0    !U\\***  8 8-c2  !! !))!,I ((-I  % %a 3%%i0S9I9I5Ja5Oc../0ehhq#.uM=HHNNL #'"2"21Q4"8K)!+"3"34jARAR6SG--a$:P:PQR:ST $ 0 0 5I$--!D$)%AylCD,DNN"z#u||'D""3'C.3$..3H""1%%%i0P dnn$#//D/I #//$/G #,,\:HHNNL$$ cEMM5;;7 8%224G /   ++  +T-@-@-CA-F-K-K-Ms/DA 2AsCK"! D++ +)-)9D # #A & $$& ehhq#>?r\cZ|jj||jyrU)rbrrr;s r[_add_divisiblezShapeEnv._add_divisiblegs  4  $$&r\c&||jvr|S|j|}|jDcic]}||j|}}|j|j|\}}|r|j ||d|j|Scc}w)z Implements a DSU-like algorithm to find the variable that represents a Also handles transitive non-identity replacements. a: b + c c: d find)r`rur _xreplacer)rXrr]r cur_replacereplacedchangeds r[rzShapeEnv._findks D%% %H"141A1ABAq$**Q-'B B --a0::;G'   ! !!Xv 6  ## CsBc t|tjsJt|tjryt |j }t |dkDs Jd|t |dkDrydfd }t||d}|j}|j}j|t|tjsy|jts8 |jtj!|jt}t |dkDrt#d|Drt$dd }|||r#j'|j)|d n|||r#j'|j)|d n~t+||dd }|kt-dtj.|dDrCj)|d} t t1| dk(} | rj'|d| d|jtrt3t5|jt} t+|| d }||ddk(rj7| | j8\} } t| tj:r|t| tj<rat | j8dk(rH| j8\}}t|tj:rt|tj>rjA|r| tjB| |z }jEjFjH}jK|tMjNjP|tSjT||jVvr"jY|jV||z|jZvrjZj]|j'|||zdyy#t$$rYwxYw#t$$rYywxYw)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: rc|jvxrtdj|D}j|d}|tj}nRt |t jr(t|tjsJt|}ntj}|j}|rd||fSd||fS)Nc3<K|]}|jywrU)rcrs r[r"zHShapeEnv._maybe_guard_rel.._smart_symbol_sort..sJ%& JsTr,rr) rr$r;rrrBrCrrrrrr)rhas_only_ephemeral_sources hint_sizererrXs r[_smart_symbol_sortz5ShapeEnv._maybe_guard_rel.._smart_symbol_sorts)*d.A.A)A*cJ*.*=*=a*@JG &qT:I {{499-!)UZZ8889~{{66D3AD$G GD$G Gr\T)rrc3:K|]}|jdk7ywrrrs r[r"z,ShapeEnv._maybe_guard_rel..s4'(AIIN4sct|tjr2t|r t|syt |t j ryyr)rrrRrrBrCr\)rQrUs r[ trivial_solvez0ShapeEnv._maybe_guard_rel..trivial_solves>!#u||405>S?$()#tzz:#'!r\ trivial_lhs trivial_rhsFrMc34K|]}|jywrU)r)rrs r[r"z,ShapeEnv._maybe_guard_rel..s-)* -rrrrD divisibility)rrr]ztuple[int, int, str])rQrrUrr]r)/rrrtrxrrur#rrQrU_refine_rangesrPrr9rr5rrrrrr@r$preorder_traversalrrrr^rYNumberrrRrPrrIrrr_rEfloordivrSrGwrapr[r"rcr)rXrfreerjrQrUfloor_div_atomsrmrrokmod_exprpqri0di1s` r[_maybe_guard_relzShapeEnv._maybe_guard_rel~s $ *** dEHH % D%%& IM H @ G H  t9q=   H"d 2DAhhhh D!$) xx}0 "%))H"5";";CIIh!C!C!H!HB!55 " 7 @ @$($5$5b$9;;K;KA;N!" "T%=%== $ < <$&(@(@(D(I!" "T^^3 $ 2 22 6 11"a"fnM a'  \'  s&$D7P,GP<, P98P9< QQcF|s |jsdnd}t|tS)NrrD)r4rGr;)rXrrs r[r^zShapeEnv._default_value_ranges#18P8PWX5&))r\c*tjSrU)rG unknown_intrs r[rJz)ShapeEnv._default_unspecified_value_ranges&&((r\ct|jt}t|D]D}|j\}}t ||}t j|d}|j|F|j|Sr) rNrr5rrYr9rrPrr)rXr floor_divsr)rrrzeq_exprs r[_simplify_floor_divzShapeEnv._simplify_floor_div ss4::h/0 :& (BGGMD'4)Hhhx+G   w '  ( }}T""r\c|jr{|jdxxdz cc<tddi|j|d|ddtj d||tj tjkrd nd yy) Nignored_backward_guardrrevaluate_expr_frozenrrD) ignored_guardversionz>Ignored guard %s == %s, this could result in accuracy problemsTFr,) rrlr'rSrrJgetEffectiveLevelrWARNING)rXrrs r[ _check_frozenzShapeEnv._check_frozen0s ;; LL1 2a 7 2 &nn(,vT,%@ !   HHP##8#:W__#L4RW   r\cH|}|tj} |y|jjt vrJt j |jj|j|jj}n|j}|y~d}tj}|r`t|dz }|dkDr=||jt vr$|dz}|dkDr||jt vr$t||d}d}|r)|r'ddjt j |z}|rLt"j$rK <((*E '||//7J7LL(55!LL44!NN!LL00  !LLE' ..0 g,"C'gcl337J7LLq'gcl337J7LL)'#,TBN >'')//89:  11)11d;I !7"'')BRBRBT:U!U U   R  D.)+<<<7s A:FF!c0|j|\}}|S)N)r)r9)rXrr<r&s r[rFzShapeEnv._get_slocus)) )Fa r\ci}itx} |jjdk(r tSt t j |j}tj|j\}}d\}}}t|D]6\} } | j | j}||jk7r.|| x}}5| }8|| tSd fd |j} |||dzD]} | jx} t| | } t| jts8| j|j vsQt#j$|j | j|| j<||j|z | dz|z } t'| dt'| dj)z }dj+| Dcgc]}||d c}j-}t||Scc}w) z Given the current user code frame, finds the relevant lines of code, values of symbolic locals, and free symbols involved. Nr)NNNcnt|tjr|jD] }| |j D] }| |j d|jd|j d|j dSt|t ttfry|jjjD]K}t|vr|jvs j|djt|<Mt|Sy)NzTensor(shape: z , stride: z, storage_offset: rr)rrrJrerfrgrrrrrrurrr)rrHr frame_symbolsr$rXs r[r$z'ShapeEnv._find_frame_locals..gos!U\\*AqEAqE1##%&$QVVXJ/ xxzl+''('7'7'9&:!= A:;11QA1v. D///040C0CA0Fq0I0N0N0P c!f- Q 1v r\rrr)rArCr)rrr]r@)_find_user_code_framerjrkr?rdisBytecodergetsourcelinesr starts_linerlrZrargvalrf_localsrHtree_mapr#lstriprr)rX frame_localsrn instructionsco_linesrstartendrr6instr last_linenolinenolocsindentrA frame_locrr$s` @@r[_find_frame_localszShapeEnv._find_frame_localsys (* (* +, ,E  \\--;$& &CLL67 "11%,,?&*sC!,/ HAu  ,''enn$}  =CK$& & ,nn !%#'2 E+++8!+v6 %,,,1O-3__u||4. U\\*  /+/F2JKT!WDGNN$4 55GGT:cS\:;AAC  ,   ;s Hc tdfdtdfdjjtj rzt }tjduxr|tjk(}j|\}}d}|sd|d}jjd |s|n|d ||||| yy) N guard_addedc Nttjtjdj j jDcic]\}}|jvr t||!c}}tjdScc}}w)Nrr@)rr6symbol_to_sourcesr) rr$rWrHrCrYr_r9rur r)r>r?rrXs r[r1z%ShapeEnv._log_guard..sA#22%--15==? !% 2 2 8 8 :&1ANN*FAI& !'t'>'>'@ A ! &s$B! r6guard_added_fastcttjtjtjt j djdS)Nrr@)rr2r6)rr$rWr!rXrHrCrY)rsr[r1z%ShapeEnv._log_guard..sMA(778T8T8VW#22%--15==?!r\rzA, for more info run with TORCHDYNAMO_EXTENDED_DEBUG_GUARD_ADDED=""z%s %s [guard added] %s%s%sz (forcing_spec)r,) r"r%rrrINFOrr/extended_debug_guard_addedr9rJ) rXr:r forcing_specstr_gr;r<r=res ` ` r[ _log_guardzShapeEnv._log_guards       88  .FE11=?V>>> '+&=&=h&G #D# O??DgQH  HHMM,*6(/0J!#   /r\rct||_|j|j|j|j |S)zY Given a a SymNode, evaluates sym_node.expr, adding guards if necessary. )r3rrrrLr )rXrr s r[evaluate_sym_nodezShapeEnv.evaluate_sym_nodes:"$H!! MM8==(*:*:N  r\)save_tracked_fakesrc |j|||||S#t$r!|jjd||||wxYw)NrzKfailed during evaluate_expr(%s, hint=%s, size_oblivious=%s, forcing_spec=%s)_evaluate_exprrCrr)rXrrLr r rs r[rzShapeEnv.evaluate_exprse &&) '   HH  ]    s *Ac ttjjjtjjj frSt jddfd }d}d}jr,|)js|stdjDs|} | tjur%jtj|f\}}n| tj urIjt"j$|f\} } jtj| f\}}nIjt"j&|| f\} } jtj| f\}}|J|rj)|d} j*rej,j/dEtt0rk(s JdStj2s JdS}j5||}|Lj,j/d|rd d n|||s#t6j8r|k(s J|d|Sd}d} |jj:j=ksȉj5|d }|J|jj:j=ksd}|sj5|d }d}j>rjAj>x}jssjAj>jCDcic]\}}|tEd |c}}x}js ||k(rt,jGd||} d }|sjHrjAjHjAj:xjs@t,jKdtMdfdtOdfdd }} d }|s:jQ|jAj:||jR|}| |} jU|| t6jVrOtt0r?t|tj2tjXfrtjZ|}| tjurt]t^|}n>| tj urtjZ|}ntj2|| }|rja|dd| | Sjsۉjcd||t|tjdrjg|jhsztk|jm|} jnjq| jrjutwjyj{|n*ja|dnjcd||js| |jD]}j||xxdz cc<|rt6j~.j||t6j~kDsOj,jGdt6j~|j|d | Scc}}w#t$r|rj|wxYw)zO Given an expression, evaluates it, adding guards if necessary Nc`j}|J|StjSrU)r;rr0)rrLrrXs r[compute_concrete_valz5ShapeEnv._evaluate_expr..compute_concrete_val6s6|NN9-}$}}}T**r\Fc3PK|]}t|tj ywrU)rBrCr\rs r[r"z*ShapeEnv._evaluate_expr..SsV!q$**5Vs$&zeval %s [trivial]r,rOz eval %s == %s [statically known]zsize_oblivious(rTrrDz/oblivious_size %s -> %s (passed counterfactual)z.propagate_real_tensors evaluate_expr(%s) -> %sr/ctttjtjdj dSr1r2)runsound_resultsr[r1z)ShapeEnv._evaluate_expr..s>(,Y*.~*>)3)B)B$5$=$=1$E$M$M$O*"1r\r6!propagate_real_tensors_provenancec \ttjtjdtjdj j Dcic]\}}|jvr t||!c}}tjdScc}}w)Nr)rrY expr_node_idr2r6rr) rrr$r4r5r_r9rurr r)r>r?rrXrs r[r1z)ShapeEnv._evaluate_expr..s(,Y*.~*>040F0F.8.G.G.J)3)G)G)J150B0B0H0H0J6"(,1'(I,B,B'B%(FAI6" 17t7N7N7P0Q 1 6"s&$B(r=r4rrrzevaluate_expr: zeval [guard suppressed]rz6symbol_guard_limit_before_specialize=%s exceeded on %s)r]rR)CrrryrzrrrrrLrrrurrr_assertrrFnot_r_rrrrrrPrBr/rrrr\rr9rZrJr[rr%r"r7rr/inject_EVALUATE_EXPR_flip_equality_TESTING_ONLYrxrwrrr6rrtrr7rrFrrrZrrrrrm$symbol_guard_limit_before_specializerrCr)rXrrLr r rrrrrrr&eqlrr static_exprtransmute_into_runtime_assertrr>ryr9r>r?r:rrrs``` @r[rzShapeEnv._evaluate_expr s   [[ , ,ekk.A.A.N.N O     T " + # +*  0 0#--/"Vy?U?UVV01Luzz)";;EMMG:V e,66x}}wjQQ";;EMMC6R e66KK'#!$-(D0JYKtD62JJ0!  %xx 48RYKtD6:RR8  D55^6K&6%&i[2' '44('$.J;-tD60JJ."",1 )L%%)=)=)?? 66t46P+++ --1E1E1GG,0))040K0K 1L1-B11,5,>,> $ 9 9-L', !' 4=3E3E150I0I0O0O0Q!"(,1%&s1ayL!"4/ ',!'),??M%( (4 ! 44.7.@.@ $ 8 8/&ht78N', !'  L%* )4) *? ) 9=5'5 !"== MM$//: 2G-1-C-C >$D#35   t\ 2FFtT*tehh%9:yyuzz)t,,IIdOHHT<0,))1)DO$#,,. Ea+))!,CC'4>>+NEKK&&u-KK&&tD,A,A$--PQBR,S'TU --a?9+1NO 91<X,,.$^^E11!494!- & K K W $ 9 9! <$II!J!HHMM X & K K ! !..qt.DE"q!"@ $$T*  s;9A \,#\,*A"\, C\,,\& G4\,8C?\,&\,,] c|jjD]}|j|jjD]#}|D]}|jj%y)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)r^r.cleanuprgr6)rXrrrs r[rzShapeEnv.cleanupIsh""))+ A IIK 00779 #C #  " # #r\c  |}|j|}|(|jjd||t|S|j|d}|J|js:|j |j jkr|j||S|jrM|K|js;|jtj|f\}}|J|r|j||jsl|jd|d|j rtj#d ||j%|t&j(t+|t&j,r|j/||}t1|}t3j4d } t7||| } t9d |j Dd } | r| dnd} |j:j=| gj?| |j@jCtE|jG|jI||xjJd z c_%|jMy|jd|dy)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]Trrruntime_assertFrz&runtime_asserts_frozen but then got %srr@c3VK|]!}t|tjs|#ywrUrLrs r[r"z0ShapeEnv.defer_runtime_assert..sVq4CTCT1UVrc2t|jddSr)rrrs r[r1z/ShapeEnv.defer_runtime_assert..sc!&&*or\rrz!runtime_assert [guard suppressed])'rBrrrr6rurrrrLrrrrrrrirrrrrrtrrrrHrCr4rrg setdefaultrrZrrrrrhr) rXrr5r rrrrrr6rcandsixs r[r6zShapeEnv.defer_runtime_assertVsI11$7  " HHNNrr?rr]r^)rrr9rr]r^)rrrUrr]r^NN)rrrYrrZrr]r^)rrrYrrZrr]r^)rrrrr]r^)rrr]rr)rr r]Optional[sympy.Symbol])rGrrrr]r^r)rFrrYrNr]z$tuple[Optional[torch.fx.Node], bool])rGrrrr]Optional[torch.fx.Node])rrr]r^)r torch.fx.Noder]r^)r]z_GeneratorContextManager[None])r]ztuple[int, int, int, int])rSequence[Union[int, SymInt]]rr rr~r]list[sympy.Expr])rrrr rr~r]r)r torch.Tensorrr rrr]Ytuple[tuple[Union[int, SymInt], ...], tuple[Union[int, SymInt], ...], Union[int, SymInt]])rrr]r)rrrrrrrzSequence[bool]rr rrr]r)rr rezSequence[sympy.Expr]rrrrrzSequence[DimDynamic]rzJSequence[Optional[Union[StrictMinMaxConstraint, RelaxedUnspecConstraint]]]rrrr~r]r)rrrLrrOptional[Source]r]r)rrrLrrrr]r)rrrr r rr]r)rrr]r) r:rrGrrrGrrrzOptional[SymNode]r]r^)r]rrU)rrr]r)rGrr]r)r]r) rz#Union[int, SymInt, float, SymFloat]rr r rr rr"Optional[StatelessSymbolicContext]r]r)rrrr r rr rrrrrrrr]r)rrrrr]r^r)rr rz6Union[StrictMinMaxConstraint, RelaxedUnspecConstraint]r]r)rYrr)rr]rq)rSequence[FakeTensor]rHzSequence[Source]rCrQrOptional[list[ShapeGuard]]rwz"Optional[DimList[SymbolicContext]]rxzOptional[EqualityConstraint]ryrrzrrpztuple[str, ...]r]zlist[_ShapeGuardsHelper])rz#Sequence[Union[SymInt, FakeTensor]]rrrzrr]r@)rrr]zUnion[int, float, bool])rrr]r)rrrYzSequence[object]r]r)rrrYSequence[Tensor]rzrr]r)rzSequence[torch.SymInt]r]zlist[ShapeGuard])rrrYrr]dict[sympy.Symbol, int])r]zlist[SympyBoolean]r)rrr]r)rrr rr]rGr)rzOptional[tuple[sympy.Symbol]]rrr]ztuple[SympyBoolean, ...])rrr]z@tuple[tuple[SympyBoolean, sympy.logic.boolalg.BooleanAtom], ...])rrRrrrrr rrZzOptional[tuple[SympyBoolean]]rSz1Optional[tuple[tuple[sympy.Symbol, ValueRanges]]]r]Optional[sympy.Basic]rrr]r)rrr rr]r)rrRr-rr]rrrr]r) rrRrDrRr>rr?rr]rQ) rGrrrGrzOptional[ValueRangesSLoc]rRrr]r^)rrrSrr5rr]r^)rrr]r^)rrr]r)rz sympy.Relr]r^)rrr]rG)r]rGrrr]r)rrRrrRr]r^)FN)r;rrr@r]ztuple[SLoc, str])rr@r]r)r]r?)r:rrrrrr]r^)rr.r rr]rR)NNF) rrRrLz!Optional[Union[int, bool, float]]r rr rrrr]rR) rrRrLz!Optional[Union[bool, int, float]]r rr rrrr]rR)rrr5rr rr]r)rrrLrrMrr]r^)qr_r`rarWrJpropertyr1r2r3r4r5r6r7rrrr rr*r/r"rWrTrQrardrrrrrrrrrrrrrrrr;r<rr'rrrrrrr rr#r&r)r>rArIrPrNrrr%rrhrkrnrsrrrrrrr|rrrrrDr2r rrrBrrrr;rr7r_rr^rrr^rJrrr9rFrrrrbrrrrr6rrrKrhr\r[rlrl7 s 04-1 8-8+ 8  8  8D&*/3 */%)&*.2=B9>Ke=#e=)- e=#'e=(")e=.#/e=2,3e=B6:Ce=J26Ke=P Qe=N22<<6611((IIEE?VBK($&&CC77 J J  OS$1?L *"#9#9JD  : : + +.11/&= == . ==<,,, ! ,8( =6##""&  '& -  *    1*   L7; " " " 4 "   " L +   7;tG. tG 0 tG . tG'tGtG4tG tGtGl88#8. 8 0 8 . 8 88*8 8t $( ) ) ) ! )  ))V $( " " " ! " ""H    "(  7A      7$(&* # # #   # ! # $ #  # J""0  09!!0 #-//(,?C  0    &  =     : #-//(,#'+0?Cz zz z & z ! z%)z=z zzx3 F  !W  ,X/A B  .2=A;?!"!=B *B "B , B  + B ;B 8B B B B  "B P.2" 9+     2..K# *       2028H2 2h   8=//04/ /$26"3.33 " 33:t_&$&$ I&$&$P $"$04JNUU U  U  U.UHU UUn  ''??Ds^7<GG04G GGTs^  8<*. :6:6#:6 5 :6 ( :6 %:6@.2 15 $ 1515 15+ 15  15 15fc@J'$$"s^UUr27**.* * ) # #.FJ,=,=5B,= ,=^D L/h(,}+ %         s^d337+/$ #0)    4<37+/$ g#gg0g) g  gg gR #s^d3TXO%O,/O:QO O4Ov<6|t  -0 @C    r\cft|txr |jjjSrU)rrrrrrs r[_is_intrs" dF # @ (@(@@r\c:t|dxr||jvS)N_dynamo_dynamic_indices)rr)rr~s r[rrs 1/ 0 SQ!:S:S5SSr\c eZdZdfd ZxZS)PropagateUnbackedSymIntscjddlm}t| |}t |j |||S)z] Run an FX node, propagating unbacked Symbol bindings to the new fake tensor r)detect_fake_mode) torch._guardsrrVrun_noderr<)rXrXrrYrZs r[rz!PropagateUnbackedSymInts.run_node s2 3!!$(*44a@ r\)rXrr]r@)r_r`rarrcrds@r[rrs r\rc>tj}||jjj t j jtjtt j jzs |S|j}||SrU) rrgrjrk startswithrar[dirnamerrseprh)rns r[rrsx  "E  ||''22 GGOOGOOE2 3bggkk A   L    Lr\cJtj|jj|j|jj }|j d}|ddjtjj|gjzz }|f|_y)Nrz( The following call raised this error: r) rrrjrkrlrrYr StackSummary from_listrF)rrn frame_summaryr5s r[_blame_user_coders**     M &&)C 8277((-9@@B< CVAFr\c,eZdZdZdfd ZddZxZS)_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 ==, !=, >, <). c0t|||_yrU)rVrWsrc_map)rXrrZs r[rWz_PythonMsgPrinter.__init__3s  r\c:|j|jdSr)rrr(s r[rKz_PythonMsgPrinter._print_Symbol7s||CHH%a((r\)rzdict[str, list[str]]r]r^)rrr]rrrds@r[rr,s )r\rc"|j}djfd|jD}|rtj d|yt }|j d}|dz }d|j|dd|jtj|dg}t|D]\}}|d|d zd |z }djfd td |jDD} |d | d|dz }|f|_y)Nrc3TK|]}|jvs|j!ywrUrrrrs r[r"z(_suggest_torch_checks..@s P!&&:OQVVPs((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(rrrrc3RK|]}d|ddj| yw)`z` with z or N)rrs r[r"z(_suggest_torch_checks..Os4  A3gfkk'!*-./s$'c34K|]}|jywrUrrs r[r"z(_suggest_torch_checks..Qs:1:rz3 (These suggested fixes were derived by replacing z in z and its negation.)) rSrrurrrrYrOrrwrr) rrrSdiffrr5suggested_fixesr6fix src_mappeds ` r[_suggest_torch_checksr!;s% 66D 99PT%6%6P PD  DdK(G &&)C UUC -.a0  $89;OO,%3 a!eWBse$$%:(9(9::J B:,dSWRXXk llCVAFr\c 2t}|Zt||tt}|jj D]\}} t j|}|D]\}}|t j|z}t|tjr2|t!|j"j$j'|jt|tj(st+|j,D]W\} } t| tjs!|t!| j"j$j'|d| dYt/||yy#t$r$tjdt||YRwxYw)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[r`)rrrrrr9rHtree_leaves_with_pathrrrrkeystrrrrrrrrrJrr r!) rrnrvarrr#r[leafrr6r s r[2_suggest_fixes_for_data_dependent_error_non_strictr'Ws` " #E E"d#,,. UHC (.(D(DS(I%4 U dV]]400dELL1C /077=ell3"+DJJ"7U3%c5<<8#C $67>>$wqcQR?STU  U U, a)9  gI   s E)))FF)rz$functools._lru_cache_wrapper[object]r]r^)rztuple[Union[SymInt, int], int]r]z#tuple[int, Union[SymInt, int], int])rrr]z?Callable[[Callable[..., _T]], functools._lru_cache_wrapper[_T]])r]zset[str])rrr]r)r z Sequence[Int]r]z list[Int]rU)rrrrr]r)rrr]r)rrr]r)rrr]r)rzUnion[torch.SymBool, bool]r]r)r&#Sequence[Union[torch.SymInt, bool]]r'r(r]r)r/rr0rr]r^)r<Optional[ShapeEnv]r=,Optional[dict[sympy.Symbol, pytree.KeyPath]]r]r*)r<r)rXrrYr@r]r^)rrr]r)rrr]r)TN) rz!type[Union[sympy.Add, sympy.Mul]]rYrrrrrr]r)rrr]rr)rUnion[bool, SymBool]r]r)rrr]zTypeGuard[SymInt])rrr]zIterator[sympy.Basic])rrr]OrderedSet[sympy.Symbol])rrr]r)rrr]r)rrr]r,)rrr]r)rztorch.fx.Graphr]z!dict[sympy.Symbol, torch.fx.Node])NNNF)rrr[zpytree.KeyPathr Optional[object]r<r)rzOptional[set[sympy.Symbol]]rrr]z"dict[sympy.Symbol, pytree.KeyPath]r) r<r)rdrr1r-r2rr]r*)rrMr]r)rr+r]r)rrrHrr]r+)rz2Union[SymBool, SymInt, SymFloat, int, bool, float]r]zUnion[bool, int, float]) r<rlrrrLrrMrr]r^)rrr]r^)rrrUrr]r^r)rrrYrrZrr]r^)r torch.SymIntrr.r]r^)r)rUnion[SymBool, bool]rmrr]r)rr/r]r)rrr]r)rzUnion[SymFloat, float]r]r)rutorch.fx.GraphModuler]z list[object])rur0r]rq)rur0rYrJrzrr]r)rur0rYrJr]r)rrr]zTypeGuard[SymbolicContext]rr+)rz2Union[int, SymInt, float, SymFloat, bool, SymBool]r]z+TypeGuard[Union[SymInt, SymFloat, SymBool]])rYrr]ztuple[sympy.Expr, bool]r)rrr]r) rrrztuple[_SymbolInfo, ...]rrr rr]zOptional[_SympyT])r]r)r Sequence[int]r r1r]r)rr1r r1r]r)rrr]r)r#zUnion[bool, torch.SymBool]r]zUnion[int, torch.SymInt])rrrrr]r)r<rlr]r)rrr]r)rrr~rr]r)r]zOptional[types.FrameType])rrCrnztypes.FrameTyper]r^)rrQrzdefaultdict[str, list[str]]r]r^)rrQr]r^( __future__rrTrrkrrrrrrrFrarir threadingrrrcollections.abcrrr contextlibr r dataclassesr r r enumrtypingrrrrrrrrrtyping_extensionsrrrrtorch.fxtorch.fx.tracebackrrtorch.utils._pytreer_pytreerHrrrrrrr r!rr"r#r$r%rr&torch._utils_internalr'torch.fx.experimentalr(r/torch.fx.experimental.recordingr)r*r+r,r-torch.fx.experimental.sym_noder.r/torch.utils._ordered_setr0torch.utils._python_dispatchr1torch.utils._sympy.functionsr2r3r4r5r6r7r8r9r:torch.utils._sympy.numbersr;torch.utils._sympy.printersr<r=r5r?torch.utils._sympy.solver@torch.utils._sympy.symbolrArBrCtorch.utils._sympy.value_rangesrDrErFrGtorch.utils._tracebackrHrItypesrJrrL torch.typesrMr InputListDimList getLoggerr_rrrNrO RuntimeErrorrQrf_opsrkrl__all__ryrzrrrbrrrOrrrrrrrjrrrkrsrrrrrmrnrr(rrrNr@rrrrrr|rrwrxrrrrur{r|rrvrrrrrrrr>r@rr}rqrNrRrVrQrbrerir=rorprvrxr}rrrrrrrrrrr~rrrrIndicatorTypesrrrrrrrrrVrrtr2r4r8ABCr@rW FutureWarningrbrdrprtrvr{rlocalrr0rr=r?rlrr Interpreterrrrrr!r'rhr\r[rXsM "    ,77?00   ?> ))$$,+BBVV603=/F   .A9.GG C8(  g! , L  zz~~# L&!(8 i7 T] )UZZu{{ C$%$%N  ' ( # #D#P 4  F | ,u||S()Y)#  %,, sESWWX X (&  2 2   I:T!T:T2T%,,ellC.?(@@A Ar:!r:&3r:=Cr: r:r0.<%) C *C C C# C  CB*'Z-`,B$ HgsE4ellJ) 0(;K2L LM iMY8 I=    &  $333 $''' $+++ $!!!"$(+/ Y  Y Y  Y " Y ) Y  Y (Y ~+/ N!NN(N  N 2 Nb4   2O" 99 9 9DD(D8;DKND D '%TI@D F  F! F/< F  F$<@+= +=$+=+8+= +=\%d     LGDH%+<@ D!!j $ $HZHH8 $;j;;6,.EtKL  $gCgCgCT * $    $# # # x $P6PPD $ %5 % %" ;"0"45 G "J 3(* 4_/ _/)_/ _/  _/  _/_/D- O O#0OO  #0 <. '*K(H    5944$14%4v $111 ] ' ' T0-$ Z   /   .. .4 $  $1.11M6M 5-54N N bioo $ 2 2 2  ** :: : E?E?P~A T uxx33   ) )"-H 8'*"'* '*r\