diff --git a/Include/internal/pycore_uop_ids.h b/Include/internal/pycore_uop_ids.h index 7c44c0a430b731..c1b9f072acb4d7 100644 --- a/Include/internal/pycore_uop_ids.h +++ b/Include/internal/pycore_uop_ids.h @@ -212,29 +212,29 @@ extern "C" { #define _GUARD_NOS_NULL 473 #define _GUARD_NOS_OVERFLOWED 474 #define _GUARD_NOS_TUPLE 475 -#define _GUARD_NOS_TYPE_VERSION 476 -#define _GUARD_NOS_UNICODE 477 -#define _GUARD_NOT_EXHAUSTED_LIST 478 -#define _GUARD_NOT_EXHAUSTED_RANGE 479 -#define _GUARD_NOT_EXHAUSTED_TUPLE 480 -#define _GUARD_THIRD_NULL 481 -#define _GUARD_TOS_ANY_DICT 482 -#define _GUARD_TOS_ANY_SET 483 -#define _GUARD_TOS_DICT 484 -#define _GUARD_TOS_FLOAT 485 -#define _GUARD_TOS_FROZENDICT 486 -#define _GUARD_TOS_FROZENSET 487 -#define _GUARD_TOS_INT 488 -#define _GUARD_TOS_IS_NONE 489 -#define _GUARD_TOS_LIST 490 -#define _GUARD_TOS_NOT_NULL 491 -#define _GUARD_TOS_OVERFLOWED 492 -#define _GUARD_TOS_SET 493 -#define _GUARD_TOS_SLICE 494 -#define _GUARD_TOS_TUPLE 495 -#define _GUARD_TOS_UNICODE 496 -#define _GUARD_TYPE 497 -#define _GUARD_TYPE_ITER 498 +#define _GUARD_NOS_TYPE 476 +#define _GUARD_NOS_TYPE_VERSION 477 +#define _GUARD_NOS_UNICODE 478 +#define _GUARD_NOT_EXHAUSTED_LIST 479 +#define _GUARD_NOT_EXHAUSTED_RANGE 480 +#define _GUARD_NOT_EXHAUSTED_TUPLE 481 +#define _GUARD_THIRD_NULL 482 +#define _GUARD_TOS_ANY_DICT 483 +#define _GUARD_TOS_ANY_SET 484 +#define _GUARD_TOS_DICT 485 +#define _GUARD_TOS_FLOAT 486 +#define _GUARD_TOS_FROZENDICT 487 +#define _GUARD_TOS_FROZENSET 488 +#define _GUARD_TOS_INT 489 +#define _GUARD_TOS_IS_NONE 490 +#define _GUARD_TOS_LIST 491 +#define _GUARD_TOS_NOT_NULL 492 +#define _GUARD_TOS_OVERFLOWED 493 +#define _GUARD_TOS_SET 494 +#define _GUARD_TOS_SLICE 495 +#define _GUARD_TOS_TUPLE 496 +#define _GUARD_TOS_UNICODE 497 +#define _GUARD_TYPE 498 #define _GUARD_TYPE_VERSION 499 #define _GUARD_TYPE_VERSION_LOCKED 500 #define _HANDLE_PENDING_AND_DEOPT 501 @@ -901,98 +901,98 @@ extern "C" { #define _GUARD_NOS_TUPLE_r12 1113 #define _GUARD_NOS_TUPLE_r22 1114 #define _GUARD_NOS_TUPLE_r33 1115 -#define _GUARD_NOS_TYPE_VERSION_r02 1116 -#define _GUARD_NOS_TYPE_VERSION_r12 1117 -#define _GUARD_NOS_TYPE_VERSION_r22 1118 -#define _GUARD_NOS_TYPE_VERSION_r33 1119 -#define _GUARD_NOS_UNICODE_r02 1120 -#define _GUARD_NOS_UNICODE_r12 1121 -#define _GUARD_NOS_UNICODE_r22 1122 -#define _GUARD_NOS_UNICODE_r33 1123 -#define _GUARD_NOT_EXHAUSTED_LIST_r02 1124 -#define _GUARD_NOT_EXHAUSTED_LIST_r12 1125 -#define _GUARD_NOT_EXHAUSTED_LIST_r22 1126 -#define _GUARD_NOT_EXHAUSTED_LIST_r33 1127 -#define _GUARD_NOT_EXHAUSTED_RANGE_r02 1128 -#define _GUARD_NOT_EXHAUSTED_RANGE_r12 1129 -#define _GUARD_NOT_EXHAUSTED_RANGE_r22 1130 -#define _GUARD_NOT_EXHAUSTED_RANGE_r33 1131 -#define _GUARD_NOT_EXHAUSTED_TUPLE_r02 1132 -#define _GUARD_NOT_EXHAUSTED_TUPLE_r12 1133 -#define _GUARD_NOT_EXHAUSTED_TUPLE_r22 1134 -#define _GUARD_NOT_EXHAUSTED_TUPLE_r33 1135 -#define _GUARD_THIRD_NULL_r03 1136 -#define _GUARD_THIRD_NULL_r13 1137 -#define _GUARD_THIRD_NULL_r23 1138 -#define _GUARD_THIRD_NULL_r33 1139 -#define _GUARD_TOS_ANY_DICT_r01 1140 -#define _GUARD_TOS_ANY_DICT_r11 1141 -#define _GUARD_TOS_ANY_DICT_r22 1142 -#define _GUARD_TOS_ANY_DICT_r33 1143 -#define _GUARD_TOS_ANY_SET_r01 1144 -#define _GUARD_TOS_ANY_SET_r11 1145 -#define _GUARD_TOS_ANY_SET_r22 1146 -#define _GUARD_TOS_ANY_SET_r33 1147 -#define _GUARD_TOS_DICT_r01 1148 -#define _GUARD_TOS_DICT_r11 1149 -#define _GUARD_TOS_DICT_r22 1150 -#define _GUARD_TOS_DICT_r33 1151 -#define _GUARD_TOS_FLOAT_r01 1152 -#define _GUARD_TOS_FLOAT_r11 1153 -#define _GUARD_TOS_FLOAT_r22 1154 -#define _GUARD_TOS_FLOAT_r33 1155 -#define _GUARD_TOS_FROZENDICT_r01 1156 -#define _GUARD_TOS_FROZENDICT_r11 1157 -#define _GUARD_TOS_FROZENDICT_r22 1158 -#define _GUARD_TOS_FROZENDICT_r33 1159 -#define _GUARD_TOS_FROZENSET_r01 1160 -#define _GUARD_TOS_FROZENSET_r11 1161 -#define _GUARD_TOS_FROZENSET_r22 1162 -#define _GUARD_TOS_FROZENSET_r33 1163 -#define _GUARD_TOS_INT_r01 1164 -#define _GUARD_TOS_INT_r11 1165 -#define _GUARD_TOS_INT_r22 1166 -#define _GUARD_TOS_INT_r33 1167 -#define _GUARD_TOS_IS_NONE_r01 1168 -#define _GUARD_TOS_IS_NONE_r11 1169 -#define _GUARD_TOS_IS_NONE_r22 1170 -#define _GUARD_TOS_IS_NONE_r33 1171 -#define _GUARD_TOS_LIST_r01 1172 -#define _GUARD_TOS_LIST_r11 1173 -#define _GUARD_TOS_LIST_r22 1174 -#define _GUARD_TOS_LIST_r33 1175 -#define _GUARD_TOS_NOT_NULL_r01 1176 -#define _GUARD_TOS_NOT_NULL_r11 1177 -#define _GUARD_TOS_NOT_NULL_r22 1178 -#define _GUARD_TOS_NOT_NULL_r33 1179 -#define _GUARD_TOS_OVERFLOWED_r01 1180 -#define _GUARD_TOS_OVERFLOWED_r11 1181 -#define _GUARD_TOS_OVERFLOWED_r22 1182 -#define _GUARD_TOS_OVERFLOWED_r33 1183 -#define _GUARD_TOS_SET_r01 1184 -#define _GUARD_TOS_SET_r11 1185 -#define _GUARD_TOS_SET_r22 1186 -#define _GUARD_TOS_SET_r33 1187 -#define _GUARD_TOS_SLICE_r01 1188 -#define _GUARD_TOS_SLICE_r11 1189 -#define _GUARD_TOS_SLICE_r22 1190 -#define _GUARD_TOS_SLICE_r33 1191 -#define _GUARD_TOS_TUPLE_r01 1192 -#define _GUARD_TOS_TUPLE_r11 1193 -#define _GUARD_TOS_TUPLE_r22 1194 -#define _GUARD_TOS_TUPLE_r33 1195 -#define _GUARD_TOS_UNICODE_r01 1196 -#define _GUARD_TOS_UNICODE_r11 1197 -#define _GUARD_TOS_UNICODE_r22 1198 -#define _GUARD_TOS_UNICODE_r33 1199 -#define _GUARD_TYPE_r01 1200 -#define _GUARD_TYPE_r11 1201 -#define _GUARD_TYPE_r22 1202 -#define _GUARD_TYPE_r33 1203 -#define _GUARD_TYPE_ITER_r02 1204 -#define _GUARD_TYPE_ITER_r12 1205 -#define _GUARD_TYPE_ITER_r22 1206 -#define _GUARD_TYPE_ITER_r33 1207 +#define _GUARD_NOS_TYPE_r02 1116 +#define _GUARD_NOS_TYPE_r12 1117 +#define _GUARD_NOS_TYPE_r22 1118 +#define _GUARD_NOS_TYPE_r33 1119 +#define _GUARD_NOS_TYPE_VERSION_r02 1120 +#define _GUARD_NOS_TYPE_VERSION_r12 1121 +#define _GUARD_NOS_TYPE_VERSION_r22 1122 +#define _GUARD_NOS_TYPE_VERSION_r33 1123 +#define _GUARD_NOS_UNICODE_r02 1124 +#define _GUARD_NOS_UNICODE_r12 1125 +#define _GUARD_NOS_UNICODE_r22 1126 +#define _GUARD_NOS_UNICODE_r33 1127 +#define _GUARD_NOT_EXHAUSTED_LIST_r02 1128 +#define _GUARD_NOT_EXHAUSTED_LIST_r12 1129 +#define _GUARD_NOT_EXHAUSTED_LIST_r22 1130 +#define _GUARD_NOT_EXHAUSTED_LIST_r33 1131 +#define _GUARD_NOT_EXHAUSTED_RANGE_r02 1132 +#define _GUARD_NOT_EXHAUSTED_RANGE_r12 1133 +#define _GUARD_NOT_EXHAUSTED_RANGE_r22 1134 +#define _GUARD_NOT_EXHAUSTED_RANGE_r33 1135 +#define _GUARD_NOT_EXHAUSTED_TUPLE_r02 1136 +#define _GUARD_NOT_EXHAUSTED_TUPLE_r12 1137 +#define _GUARD_NOT_EXHAUSTED_TUPLE_r22 1138 +#define _GUARD_NOT_EXHAUSTED_TUPLE_r33 1139 +#define _GUARD_THIRD_NULL_r03 1140 +#define _GUARD_THIRD_NULL_r13 1141 +#define _GUARD_THIRD_NULL_r23 1142 +#define _GUARD_THIRD_NULL_r33 1143 +#define _GUARD_TOS_ANY_DICT_r01 1144 +#define _GUARD_TOS_ANY_DICT_r11 1145 +#define _GUARD_TOS_ANY_DICT_r22 1146 +#define _GUARD_TOS_ANY_DICT_r33 1147 +#define _GUARD_TOS_ANY_SET_r01 1148 +#define _GUARD_TOS_ANY_SET_r11 1149 +#define _GUARD_TOS_ANY_SET_r22 1150 +#define _GUARD_TOS_ANY_SET_r33 1151 +#define _GUARD_TOS_DICT_r01 1152 +#define _GUARD_TOS_DICT_r11 1153 +#define _GUARD_TOS_DICT_r22 1154 +#define _GUARD_TOS_DICT_r33 1155 +#define _GUARD_TOS_FLOAT_r01 1156 +#define _GUARD_TOS_FLOAT_r11 1157 +#define _GUARD_TOS_FLOAT_r22 1158 +#define _GUARD_TOS_FLOAT_r33 1159 +#define _GUARD_TOS_FROZENDICT_r01 1160 +#define _GUARD_TOS_FROZENDICT_r11 1161 +#define _GUARD_TOS_FROZENDICT_r22 1162 +#define _GUARD_TOS_FROZENDICT_r33 1163 +#define _GUARD_TOS_FROZENSET_r01 1164 +#define _GUARD_TOS_FROZENSET_r11 1165 +#define _GUARD_TOS_FROZENSET_r22 1166 +#define _GUARD_TOS_FROZENSET_r33 1167 +#define _GUARD_TOS_INT_r01 1168 +#define _GUARD_TOS_INT_r11 1169 +#define _GUARD_TOS_INT_r22 1170 +#define _GUARD_TOS_INT_r33 1171 +#define _GUARD_TOS_IS_NONE_r01 1172 +#define _GUARD_TOS_IS_NONE_r11 1173 +#define _GUARD_TOS_IS_NONE_r22 1174 +#define _GUARD_TOS_IS_NONE_r33 1175 +#define _GUARD_TOS_LIST_r01 1176 +#define _GUARD_TOS_LIST_r11 1177 +#define _GUARD_TOS_LIST_r22 1178 +#define _GUARD_TOS_LIST_r33 1179 +#define _GUARD_TOS_NOT_NULL_r01 1180 +#define _GUARD_TOS_NOT_NULL_r11 1181 +#define _GUARD_TOS_NOT_NULL_r22 1182 +#define _GUARD_TOS_NOT_NULL_r33 1183 +#define _GUARD_TOS_OVERFLOWED_r01 1184 +#define _GUARD_TOS_OVERFLOWED_r11 1185 +#define _GUARD_TOS_OVERFLOWED_r22 1186 +#define _GUARD_TOS_OVERFLOWED_r33 1187 +#define _GUARD_TOS_SET_r01 1188 +#define _GUARD_TOS_SET_r11 1189 +#define _GUARD_TOS_SET_r22 1190 +#define _GUARD_TOS_SET_r33 1191 +#define _GUARD_TOS_SLICE_r01 1192 +#define _GUARD_TOS_SLICE_r11 1193 +#define _GUARD_TOS_SLICE_r22 1194 +#define _GUARD_TOS_SLICE_r33 1195 +#define _GUARD_TOS_TUPLE_r01 1196 +#define _GUARD_TOS_TUPLE_r11 1197 +#define _GUARD_TOS_TUPLE_r22 1198 +#define _GUARD_TOS_TUPLE_r33 1199 +#define _GUARD_TOS_UNICODE_r01 1200 +#define _GUARD_TOS_UNICODE_r11 1201 +#define _GUARD_TOS_UNICODE_r22 1202 +#define _GUARD_TOS_UNICODE_r33 1203 +#define _GUARD_TYPE_r01 1204 +#define _GUARD_TYPE_r11 1205 +#define _GUARD_TYPE_r22 1206 +#define _GUARD_TYPE_r33 1207 #define _GUARD_TYPE_VERSION_r01 1208 #define _GUARD_TYPE_VERSION_r11 1209 #define _GUARD_TYPE_VERSION_r22 1210 diff --git a/Include/internal/pycore_uop_metadata.h b/Include/internal/pycore_uop_metadata.h index 55b7f516020168..73d3b69089d567 100644 --- a/Include/internal/pycore_uop_metadata.h +++ b/Include/internal/pycore_uop_metadata.h @@ -267,7 +267,7 @@ const uint32_t _PyUop_Flags[MAX_UOP_ID+1] = { [_PUSH_TAGGED_ZERO] = 0, [_GET_ITER_TRAD] = HAS_ERROR_FLAG | HAS_ESCAPES_FLAG, [_FOR_ITER_TIER_TWO] = HAS_EXIT_FLAG | HAS_ERROR_FLAG | HAS_ERROR_NO_POP_FLAG | HAS_ESCAPES_FLAG, - [_GUARD_TYPE_ITER] = HAS_EXIT_FLAG, + [_GUARD_NOS_TYPE] = HAS_EXIT_FLAG, [_ITER_NEXT_INLINE] = HAS_EXIT_FLAG | HAS_ERROR_FLAG | HAS_ERROR_NO_POP_FLAG | HAS_ESCAPES_FLAG, [_GUARD_NOS_ITER_VIRTUAL] = HAS_EXIT_FLAG, [_GUARD_TOS_NOT_NULL] = HAS_EXIT_FLAG, @@ -2537,13 +2537,13 @@ const _PyUopCachingInfo _PyUop_Caching[MAX_UOP_ID+1] = { { -1, -1, -1 }, }, }, - [_GUARD_TYPE_ITER] = { + [_GUARD_NOS_TYPE] = { .best = { 0, 1, 2, 3 }, .entries = { - { 2, 0, _GUARD_TYPE_ITER_r02 }, - { 2, 1, _GUARD_TYPE_ITER_r12 }, - { 2, 2, _GUARD_TYPE_ITER_r22 }, - { 3, 3, _GUARD_TYPE_ITER_r33 }, + { 2, 0, _GUARD_NOS_TYPE_r02 }, + { 2, 1, _GUARD_NOS_TYPE_r12 }, + { 2, 2, _GUARD_NOS_TYPE_r22 }, + { 3, 3, _GUARD_NOS_TYPE_r33 }, }, }, [_ITER_NEXT_INLINE] = { @@ -4485,10 +4485,10 @@ const uint16_t _PyUop_Uncached[MAX_UOP_REGS_ID+1] = { [_PUSH_TAGGED_ZERO_r23] = _PUSH_TAGGED_ZERO, [_GET_ITER_TRAD_r12] = _GET_ITER_TRAD, [_FOR_ITER_TIER_TWO_r23] = _FOR_ITER_TIER_TWO, - [_GUARD_TYPE_ITER_r02] = _GUARD_TYPE_ITER, - [_GUARD_TYPE_ITER_r12] = _GUARD_TYPE_ITER, - [_GUARD_TYPE_ITER_r22] = _GUARD_TYPE_ITER, - [_GUARD_TYPE_ITER_r33] = _GUARD_TYPE_ITER, + [_GUARD_NOS_TYPE_r02] = _GUARD_NOS_TYPE, + [_GUARD_NOS_TYPE_r12] = _GUARD_NOS_TYPE, + [_GUARD_NOS_TYPE_r22] = _GUARD_NOS_TYPE, + [_GUARD_NOS_TYPE_r33] = _GUARD_NOS_TYPE, [_ITER_NEXT_INLINE_r23] = _ITER_NEXT_INLINE, [_GUARD_NOS_ITER_VIRTUAL_r02] = _GUARD_NOS_ITER_VIRTUAL, [_GUARD_NOS_ITER_VIRTUAL_r12] = _GUARD_NOS_ITER_VIRTUAL, @@ -5538,6 +5538,11 @@ const char *const _PyOpcode_uop_name[MAX_UOP_REGS_ID+1] = { [_GUARD_NOS_TUPLE_r12] = "_GUARD_NOS_TUPLE_r12", [_GUARD_NOS_TUPLE_r22] = "_GUARD_NOS_TUPLE_r22", [_GUARD_NOS_TUPLE_r33] = "_GUARD_NOS_TUPLE_r33", + [_GUARD_NOS_TYPE] = "_GUARD_NOS_TYPE", + [_GUARD_NOS_TYPE_r02] = "_GUARD_NOS_TYPE_r02", + [_GUARD_NOS_TYPE_r12] = "_GUARD_NOS_TYPE_r12", + [_GUARD_NOS_TYPE_r22] = "_GUARD_NOS_TYPE_r22", + [_GUARD_NOS_TYPE_r33] = "_GUARD_NOS_TYPE_r33", [_GUARD_NOS_TYPE_VERSION] = "_GUARD_NOS_TYPE_VERSION", [_GUARD_NOS_TYPE_VERSION_r02] = "_GUARD_NOS_TYPE_VERSION_r02", [_GUARD_NOS_TYPE_VERSION_r12] = "_GUARD_NOS_TYPE_VERSION_r12", @@ -5648,11 +5653,6 @@ const char *const _PyOpcode_uop_name[MAX_UOP_REGS_ID+1] = { [_GUARD_TYPE_r11] = "_GUARD_TYPE_r11", [_GUARD_TYPE_r22] = "_GUARD_TYPE_r22", [_GUARD_TYPE_r33] = "_GUARD_TYPE_r33", - [_GUARD_TYPE_ITER] = "_GUARD_TYPE_ITER", - [_GUARD_TYPE_ITER_r02] = "_GUARD_TYPE_ITER_r02", - [_GUARD_TYPE_ITER_r12] = "_GUARD_TYPE_ITER_r12", - [_GUARD_TYPE_ITER_r22] = "_GUARD_TYPE_ITER_r22", - [_GUARD_TYPE_ITER_r33] = "_GUARD_TYPE_ITER_r33", [_GUARD_TYPE_VERSION] = "_GUARD_TYPE_VERSION", [_GUARD_TYPE_VERSION_r01] = "_GUARD_TYPE_VERSION_r01", [_GUARD_TYPE_VERSION_r11] = "_GUARD_TYPE_VERSION_r11", @@ -6688,7 +6688,7 @@ int _PyUop_num_popped(int opcode, int oparg) return 1; case _FOR_ITER_TIER_TWO: return 0; - case _GUARD_TYPE_ITER: + case _GUARD_NOS_TYPE: return 0; case _ITER_NEXT_INLINE: return 0; diff --git a/Lib/test/test_capi/test_opt.py b/Lib/test/test_capi/test_opt.py index 06271a0e273275..8c046de990d09d 100644 --- a/Lib/test/test_capi/test_opt.py +++ b/Lib/test/test_capi/test_opt.py @@ -2423,7 +2423,18 @@ def f(n): self.assertEqual(uops.count("_STORE_SUBSCR_DICT_KNOWN_HASH"), 1) self.assertEqual(uops.count("_GUARD_NOS_DICT_SUBSCRIPT"), 0) self.assertEqual(uops.count("_GUARD_NOS_DICT_STORE_SUBSCRIPT"), 0) - self.assertEqual(uops.count("_GUARD_TYPE"), 1) + self.assertEqual(uops.count("_GUARD_NOS_TYPE"), 1) + + def test_dict_subscr_probable_type(self): + def f(d): + for _ in range(TIER2_THRESHOLD): + value = d["key"] + return value + + res, ex = self._run_with_optimizer(f, {"key": 1}) + self.assertEqual(res, 1) + self.assertIsNotNone(ex) + self.assertIn("_GUARD_NOS_TYPE", get_opnames(ex)) def test_dict_subclass_subscr_with_override(self): class MyDict(dict): diff --git a/Misc/NEWS.d/next/Core_and_Builtins/2026-09-29-07-28-20.gh-issue-158380.F0J0PO.rst b/Misc/NEWS.d/next/Core_and_Builtins/2026-09-29-07-28-20.gh-issue-158380.F0J0PO.rst new file mode 100644 index 00000000000000..2b3f1d9301e733 --- /dev/null +++ b/Misc/NEWS.d/next/Core_and_Builtins/2026-09-29-07-28-20.gh-issue-158380.F0J0PO.rst @@ -0,0 +1 @@ +Fix incorrect type guards for ``dict`` reads and writes in the experimental JIT. diff --git a/Python/bytecodes.c b/Python/bytecodes.c index f841e12793a800..1b5af79f1ef36a 100644 --- a/Python/bytecodes.c +++ b/Python/bytecodes.c @@ -3876,9 +3876,9 @@ dummy_func( next = item; } - tier2 op(_GUARD_TYPE_ITER, (expected_type/4, iter, null_or_index -- iter, null_or_index)) { - PyObject *iter_o = PyStackRef_AsPyObjectBorrow(iter); - EXIT_IF(Py_TYPE(iter_o) != (PyTypeObject *)expected_type); + tier2 op(_GUARD_NOS_TYPE, (expected_type/4, nos, unused -- nos, unused)) { + PyObject *nos_o = PyStackRef_AsPyObjectBorrow(nos); + EXIT_IF(Py_TYPE(nos_o) != (PyTypeObject *)expected_type); } tier2 op(_ITER_NEXT_INLINE, (iternext_fn/4, iter, null_or_index -- iter, null_or_index, next)) { diff --git a/Python/executor_cases.c.h b/Python/executor_cases.c.h index dc5c68794e8a5f..5d12db1d9dd139 100644 --- a/Python/executor_cases.c.h +++ b/Python/executor_cases.c.h @@ -14592,20 +14592,20 @@ break; } - case _GUARD_TYPE_ITER_r02: { + case _GUARD_NOS_TYPE_r02: { CHECK_CURRENT_CACHED_VALUES(0); assert(WITHIN_STACK_BOUNDS_IGNORING_CACHE()); - _PyStackRef iter; - iter = stack_pointer[-2]; + _PyStackRef nos; + nos = stack_pointer[-2]; PyObject *expected_type = (PyObject *)CURRENT_OPERAND0_64(); - PyObject *iter_o = PyStackRef_AsPyObjectBorrow(iter); - if (Py_TYPE(iter_o) != (PyTypeObject *)expected_type) { + PyObject *nos_o = PyStackRef_AsPyObjectBorrow(nos); + if (Py_TYPE(nos_o) != (PyTypeObject *)expected_type) { UOP_STAT_INC(uopcode, miss); SET_CURRENT_CACHED_VALUES(0); JUMP_TO_JUMP_TARGET(); } _tos_cache1 = stack_pointer[-1]; - _tos_cache0 = iter; + _tos_cache0 = nos; SET_CURRENT_CACHED_VALUES(2); stack_pointer += -2; ASSERT_WITHIN_STACK_BOUNDS(__FILE__, __LINE__); @@ -14613,22 +14613,22 @@ break; } - case _GUARD_TYPE_ITER_r12: { + case _GUARD_NOS_TYPE_r12: { CHECK_CURRENT_CACHED_VALUES(1); assert(WITHIN_STACK_BOUNDS_IGNORING_CACHE()); - _PyStackRef iter; + _PyStackRef nos; _PyStackRef _stack_item_0 = _tos_cache0; - iter = stack_pointer[-1]; + nos = stack_pointer[-1]; PyObject *expected_type = (PyObject *)CURRENT_OPERAND0_64(); - PyObject *iter_o = PyStackRef_AsPyObjectBorrow(iter); - if (Py_TYPE(iter_o) != (PyTypeObject *)expected_type) { + PyObject *nos_o = PyStackRef_AsPyObjectBorrow(nos); + if (Py_TYPE(nos_o) != (PyTypeObject *)expected_type) { UOP_STAT_INC(uopcode, miss); _tos_cache0 = _stack_item_0; SET_CURRENT_CACHED_VALUES(1); JUMP_TO_JUMP_TARGET(); } _tos_cache1 = _stack_item_0; - _tos_cache0 = iter; + _tos_cache0 = nos; SET_CURRENT_CACHED_VALUES(2); stack_pointer += -1; ASSERT_WITHIN_STACK_BOUNDS(__FILE__, __LINE__); @@ -14636,49 +14636,49 @@ break; } - case _GUARD_TYPE_ITER_r22: { + case _GUARD_NOS_TYPE_r22: { CHECK_CURRENT_CACHED_VALUES(2); assert(WITHIN_STACK_BOUNDS_IGNORING_CACHE()); - _PyStackRef iter; + _PyStackRef nos; _PyStackRef _stack_item_0 = _tos_cache0; _PyStackRef _stack_item_1 = _tos_cache1; - iter = _stack_item_0; + nos = _stack_item_0; PyObject *expected_type = (PyObject *)CURRENT_OPERAND0_64(); - PyObject *iter_o = PyStackRef_AsPyObjectBorrow(iter); - if (Py_TYPE(iter_o) != (PyTypeObject *)expected_type) { + PyObject *nos_o = PyStackRef_AsPyObjectBorrow(nos); + if (Py_TYPE(nos_o) != (PyTypeObject *)expected_type) { UOP_STAT_INC(uopcode, miss); _tos_cache1 = _stack_item_1; - _tos_cache0 = iter; + _tos_cache0 = nos; SET_CURRENT_CACHED_VALUES(2); JUMP_TO_JUMP_TARGET(); } _tos_cache1 = _stack_item_1; - _tos_cache0 = iter; + _tos_cache0 = nos; SET_CURRENT_CACHED_VALUES(2); assert(WITHIN_STACK_BOUNDS_IGNORING_CACHE()); break; } - case _GUARD_TYPE_ITER_r33: { + case _GUARD_NOS_TYPE_r33: { CHECK_CURRENT_CACHED_VALUES(3); assert(WITHIN_STACK_BOUNDS_IGNORING_CACHE()); - _PyStackRef iter; + _PyStackRef nos; _PyStackRef _stack_item_0 = _tos_cache0; _PyStackRef _stack_item_1 = _tos_cache1; _PyStackRef _stack_item_2 = _tos_cache2; - iter = _stack_item_1; + nos = _stack_item_1; PyObject *expected_type = (PyObject *)CURRENT_OPERAND0_64(); - PyObject *iter_o = PyStackRef_AsPyObjectBorrow(iter); - if (Py_TYPE(iter_o) != (PyTypeObject *)expected_type) { + PyObject *nos_o = PyStackRef_AsPyObjectBorrow(nos); + if (Py_TYPE(nos_o) != (PyTypeObject *)expected_type) { UOP_STAT_INC(uopcode, miss); _tos_cache2 = _stack_item_2; - _tos_cache1 = iter; + _tos_cache1 = nos; _tos_cache0 = _stack_item_0; SET_CURRENT_CACHED_VALUES(3); JUMP_TO_JUMP_TARGET(); } _tos_cache2 = _stack_item_2; - _tos_cache1 = iter; + _tos_cache1 = nos; _tos_cache0 = _stack_item_0; SET_CURRENT_CACHED_VALUES(3); assert(WITHIN_STACK_BOUNDS_IGNORING_CACHE()); diff --git a/Python/optimizer_bytecodes.c b/Python/optimizer_bytecodes.c index 96dbaea5a5797e..c51d32f0a201ef 100644 --- a/Python/optimizer_bytecodes.c +++ b/Python/optimizer_bytecodes.c @@ -1468,7 +1468,7 @@ dummy_func(void) { sym_set_type(iter, type); assert((this_instr - 1)->opcode == _RECORD_NOS_TYPE); int32_t orig_target = (this_instr - 1)->target; - ADD_OP(_GUARD_TYPE_ITER, 0, (uintptr_t)type); + ADD_OP(_GUARD_NOS_TYPE, 0, (uintptr_t)type); uop_buffer_last(&ctx->out_buffer)->target = orig_target; } ADD_OP(_ITER_NEXT_INLINE, 0, (uintptr_t)type->tp_iternext); @@ -2212,7 +2212,7 @@ dummy_func(void) { ADD_OP(_NOP, 0, 0); } else { - ADD_OP(_GUARD_TYPE, 0, (uintptr_t)tp); + ADD_OP(_GUARD_NOS_TYPE, 0, (uintptr_t)tp); sym_set_type(nos, tp); } PyType_Watch(TYPE_WATCHER_ID, (PyObject *)tp); @@ -2233,7 +2233,7 @@ dummy_func(void) { ADD_OP(_NOP, 0, 0); } else { - ADD_OP(_GUARD_TYPE, 0, (uintptr_t)tp); + ADD_OP(_GUARD_NOS_TYPE, 0, (uintptr_t)tp); sym_set_type(nos, tp); } PyType_Watch(TYPE_WATCHER_ID, (PyObject *)tp); diff --git a/Python/optimizer_cases.c.h b/Python/optimizer_cases.c.h index f336549d2ed244..42e8686d87b5b0 100644 --- a/Python/optimizer_cases.c.h +++ b/Python/optimizer_cases.c.h @@ -1490,7 +1490,7 @@ ADD_OP(_NOP, 0, 0); } else { - ADD_OP(_GUARD_TYPE, 0, (uintptr_t)tp); + ADD_OP(_GUARD_NOS_TYPE, 0, (uintptr_t)tp); sym_set_type(nos, tp); } PyType_Watch(TYPE_WATCHER_ID, (PyObject *)tp); @@ -1514,7 +1514,7 @@ ADD_OP(_NOP, 0, 0); } else { - ADD_OP(_GUARD_TYPE, 0, (uintptr_t)tp); + ADD_OP(_GUARD_NOS_TYPE, 0, (uintptr_t)tp); sym_set_type(nos, tp); } PyType_Watch(TYPE_WATCHER_ID, (PyObject *)tp); @@ -3714,7 +3714,7 @@ sym_set_type(iter, type); assert((this_instr - 1)->opcode == _RECORD_NOS_TYPE); int32_t orig_target = (this_instr - 1)->target; - ADD_OP(_GUARD_TYPE_ITER, 0, (uintptr_t)type); + ADD_OP(_GUARD_NOS_TYPE, 0, (uintptr_t)type); uop_buffer_last(&ctx->out_buffer)->target = orig_target; } ADD_OP(_ITER_NEXT_INLINE, 0, (uintptr_t)type->tp_iternext); @@ -3727,7 +3727,7 @@ break; } - case _GUARD_TYPE_ITER: { + case _GUARD_NOS_TYPE: { break; }