3jx, SrSSKJr SSKJr SSKJrJrJrJ r J r SSK J r SSK JrJrJrJrJr SSKJr S S KJrJr S S KJr \(aSS KJr S \S\SS4Sjr\"SS9S\S\\\\\44Sj5r S\S\!4Sjr"S\S\!4Sjr#S\S\!4Sjr$S\S\!4Sjr%S\S\!4Sjr&S\S\!4Sjr'S\S\4Sjr(S(S jr)S(S!jr*SSS\S\4S"jr+SSS\S#\S\4S$jr,SSS\S\4S%jr-SSS\S\4S&jr.g'))a3 Dynamo implementations of CPython's PyObject_* default slot algorithms. Analogous to CPython's Objects/object.c, this module holds the general dispatch machinery that is independent of any specific type. Per-type hook implementations (bool_impl, richcompare_impl, etc.) live in their respective VT files. ) lru_cache) TYPE_CHECKING)get_type_slotshas_slotPyMappingSlots PyNumberSlotsPySequenceSlots)graph_break_hints)handle_observed_exceptionObservedTypeErrorraise_observed_exceptionraise_type_error unimplemented)istype)NO_SUCH_SUBOBJVariableTrackerConstantVariable)InstructionTranslatorleftrightreturnzVariableTracker | Nonec"XLa[R"S5$UR5nUR5nU[LnU[LnU(a7U(a0X#La[R"S5$[R"S5$XE:wa[R"S5$SSKJn SSKJn SSKJ n [XXx45(a[R"S5$UR5UR5La[R"S5$SSK Jn [X R 5(aI[XR 5(a/UR"UR"La[R"S5$g ![a Nvf=f) zTry to determine Python identity (left is right) at trace time. Returns ConstantVariable(True/False) if determinable, else None. Mirrors the logic in BuiltinVariable's handle_is handler. TFr)ConstDictVariable) ListVariable) SetVariabler ) variablesN)rcreateget_real_python_backed_valuerdictsrlistsrsetsr isinstance python_typeNotImplementedErrorrrExceptionVariableexc_type) rrleft_val right_val left_known right_knownrrrrs a/home/wildlama/miniconda3/lib/python3.13/site-packages/torch/_dynamo/variables/object_protocol.pyvt_identity_comparer0&s\ }&&t,,002H224I/J>1Kk$  # #D ) "((/  &&u--)#!$LFGG&&u--    U%6%6%8 8#**51 1 9  t0011 555 6 6 MM /&&u--     s6F F F)maxsizeobj_typec[U5$)z'Get all type slots for a type (cached).)r)r3s r/_get_cached_slotsr5_s ( ##cV[U5un n[U[R5$)z>Check whether obj_type implements __len__ as sequence protocol)r5rr SQ_LENGTH)r3 seq_slots_s r/type_implements_sq_lengthr;es(*84Iq!Q I88 99r6cT[U5up n[U[R5$)z=Check whether obj_type implements __len__ as mapping protocol)r5rr MP_LENGTH)r3r: map_slotss r/type_implements_mp_lengthr?ks&*84A!Q I~77 88r6cT[U5u pn[U[R5$)zRCheck whether obj_type implements the nb_bool slot (i.e. has __bool__ or __len__).)r5rrNB_BOOLr3r: number_slotss r/type_implements_nb_boolrDqs&-h7Aq L-"7"7 88r6cT[U5u pn[U[R5$)z2Check whether obj_type implements the nb_int slot.)r5rrNB_INTrBs r/type_implements_nb_intrGws&-h7Aq L-"6"6 77r6cT[U5u pn[U[R5$)z4Check whether obj_type implements the nb_index slot.)r5rrNB_INDEXrBs r/type_implements_nb_indexrJ}&-h7Aq L-"8"8 99r6cT[U5u pn[U[R5$)z4Check whether obj_type implements the nb_float slot.)r5rrNB_FLOATrBs r/type_implements_nb_floatrNrKr6objcUR5$![a" [SUS3S/[RQS9 gf=f)NzUnsupported python_type() callz! does not implement python_type()zhThis VariableTracker does not implement python_type(), which is required for object protocol operations.)gb_typecontext explanationhints)r&r'rr DYNAMO_BUG)rOs r/maybe_get_python_typerVsR      4e<=@"--    s )>>txrc[U5n[U5(aURU5$[U5(a[ XR 5S35 [ USUR 5S35 g)Nz is not a mappingzobject of type z has no len())rVr? mp_lengthr;rpython_type_namerWrOTs r/vt_mapping_sizer]sj c"A ##}}R   ## 4 4 677HIJR?3+?+?+A*B-PQr6cp[U5n[U5(aURU5$[X5$)z Implements PyObject_Size/PyObject_Length semantics for VariableTracker objects. Dispatches to sq_length (sequences) or mp_length (mappings) depending on the VT type. )rVr; sq_lengthr]r[s r/ generic_lenr`s3 c"A ##}}R  2 ##r6cSSKJn UR5(a)UR"[ UR 555$[ U5n[U5(aURU5nUbU$[X5nSSK J n [XV5(a"URXR5S:5$UR"UR 5S:5$![a [U5 Of=fUR"S5$)uMirrors PyObject_IsTrue. https://github.com/python/cpython/blob/c09ccd9c429/Objects/object.c#L2135-L2158 Resolution order: constants → nb_bool → mp_length/sq_length → truthy. rr)SymNodeVariablerT)constantris_python_constantr boolas_python_constantrVrD bool_implr`tensorrbr%as_proxyr r )rWrOrr3resultlengthrbs r/ generic_boolrls+ &&tC,B,B,D'EFF$S)Hx((r"  M&R%+ f . ."))"oo.?!.CD D&&v'@'@'BQ'FGG &!"%&  " "4 ((s7AC:"CC54C5keyc$URX5$)uCPython's PyObject_GetItem — dispatch to the type's mp_subscript/sq_item. PyObject_GetItem: https://github.com/python/cpython/blob/62a6e898e01/Objects/abstract.c#L155-L206 CPython checks three branches in order: 1. tp_as_mapping->mp_subscript (L161-166) 2. tp_as_sequence->sq_item (L168-181) — only if key passes _PyIndex_Check 3. PyType_Check(o) (L183-203) — type[int] → GenericAlias/__class_getitem__ Branch 1 is the common path (list, tuple, dict, range all have mp_subscript). TODO(follow-up): use has_slot(map_slots, PyMappingSlots.MP_SUBSCRIPT) to gate Branch 1 and has_slot(seq_slots, PySequenceSlots.SQ_ITEM) to gate Branch 2, matching CPython's dispatch order. TODO(follow-up): Branch 2 (sq_item) for C extension types that only have tp_as_sequence (e.g. deque — Modules/_collectionsmodule.c:1888). Branch 3 is handled by TypingVariable.mp_subscript_impl for typing module types and by BuiltinVariable for builtin types like list[int]. Types that work via constant fold fallback (no dedicated mp_subscript_impl): TODO(follow-up): str (unicode_subscript, Objects/unicodeobject.c:13809) TODO(follow-up): bytes (bytes_subscript, Objects/bytesobject.c) )mp_subscript_impl)rWrOrms r/ vt_getitemrps6   ))r6cSSKJn UR5(aL[UR 5[ 5(a)UR "[ UR 555$[U5n[U5(aURU5$[U5(aURU5$UR5(aX[UR 5[[[45(a*UR "[ UR 555$[#USUR%5S35 g![a#n[![U[U5/S9 SnANGSnAff=f)uMirrors PyNumber_Long (int(x) dispatch). https://github.com/python/cpython/blob/v3.13.0/Objects/abstract.c#L1520-L1632 Resolution: nb_int → nb_index → str/bytes/bytearray parsing → TypeError. rrargsNzLint() argument must be a string, a bytes-like object or a real number, not '')rcrrdr%rfintr rVrG nb_int_implrJ nb_index_implstrbytes bytearray ValueErrorrrrZrWrOrr3es r/ generic_intr~s1+  Js/E/E/G$M$M&&s3+A+A+C'DEE$S)Hh''r""))  $$ J  3y"9%% D#**3s/E/E/G+HI I  ""%"6"6"8!9 < D $Z3q6( C Ds9(E E. E))E.cSSKJn UR5(aL[UR 5[ 5(a)UR "[ UR 555$[U5n[U5(aURU5$[U5(aURU5$UR5(aS[UR 5[[45(a*UR "[ UR 555$[!USUR#5S35 g![a#n[[U[U5/S9 SnANGSnAff=f)uMirrors PyNumber_Float (float(x) dispatch). https://github.com/python/cpython/blob/v3.13.0/Objects/abstract.c#L1635-L1692 Resolution: nb_float → nb_index → str parsing → TypeError. rrrrNz9float() argument must be a string or a real number, not 'rt)rcrrdr%rffloatr rVrN nb_float_implrJrwrxryr{rrrZr|s r/ generic_floatrs-+  Js/E/E/G$O$O&&uS-C-C-E'FGG$S)H))  $$ ))  $$ Js/E/E/G#u$V$V D#**51G1G1I+JK K  $$&'q * D $Z3q6( C Ds4(D<< E)E$$E)N)rWrrOrrr)/__doc__ functoolsrtypingrtorch._C._dynamorrrrr r(r excr r rrrutilsrbaserrrcrsymbolic_convertrr0typetuplerur5rer;r?rDrGrJrNrVr]r`rlrpr~rr6r/rs !1&86 6 66r 3$$sCc/A)B$$ ::: 999 9d9t9 8T8d8 :t:: :t::    4   R R&7 R R $ $&7 $ $),)?))@** * * *<%+%/%o%P$-$O$$r6