gh-144569: Avoid creating temporary objects in BINARY_SLICE for list, tuple, and unicode

Include/cpython/ceval.h

@@ -23,6 +23,9 @@ _PyEval_RequestCodeExtraIndex(freefunc f) {
 
 PyAPI_FUNC(int) _PyEval_SliceIndex(PyObject *, Py_ssize_t *);
 PyAPI_FUNC(int) _PyEval_SliceIndexNotNone(PyObject *, Py_ssize_t *);
+PyAPI_FUNC(int) _PyEval_UnpackIndices(PyObject *, PyObject *,
+                                       Py_ssize_t,
+                                       Py_ssize_t *, Py_ssize_t *);
 
 
 // Trampoline API

Include/internal/pycore_optimizer.h

@@ -303,6 +303,7 @@ extern void _Py_uop_sym_set_recorded_type(JitOptContext *ctx, JitOptRef sym, PyT
 extern void _Py_uop_sym_set_recorded_gen_func(JitOptContext *ctx, JitOptRef ref, PyFunctionObject *value);
 extern PyCodeObject *_Py_uop_sym_get_probable_func_code(JitOptRef sym);
 extern PyObject *_Py_uop_sym_get_probable_value(JitOptRef sym);
+extern PyTypeObject * _Py_uop_sym_get_probable_type(JitOptRef ref);
 
 extern void _Py_uop_abstractcontext_init(JitOptContext *ctx);
 extern void _Py_uop_abstractcontext_fini(JitOptContext *ctx);

Include/internal/pycore_stackref.h

@@ -427,11 +427,17 @@ PyStackRef_IsTaggedInt(_PyStackRef i)
     return (i.bits & Py_TAG_BITS) == Py_INT_TAG;
 }
 
+static inline bool
+PyStackRef_CanTagInt(intptr_t i)
+{
+    return Py_ARITHMETIC_RIGHT_SHIFT(intptr_t, (intptr_t)(((uintptr_t)i) << Py_TAGGED_SHIFT),
+                                     Py_TAGGED_SHIFT) == i;
+}
+
 static inline _PyStackRef
 PyStackRef_TagInt(intptr_t i)
 {
-    assert(Py_ARITHMETIC_RIGHT_SHIFT(intptr_t, (intptr_t)(((uintptr_t)i) << Py_TAGGED_SHIFT),
-                                     Py_TAGGED_SHIFT) == i);
+    assert(PyStackRef_CanTagInt(i));
     return (_PyStackRef){ .bits = ((((uintptr_t)i) << Py_TAGGED_SHIFT) | Py_INT_TAG) };
 }