gh-100239: Specialize concatenation of lists and tuples

Lib/test/test_opcache.py

@@ -1348,6 +1348,21 @@ def binary_op_add_extend():
         self.assert_specialized(binary_op_add_extend, "BINARY_OP_EXTEND")
         self.assert_no_opcode(binary_op_add_extend, "BINARY_OP")
 
+        def binary_op_add_extend_sequences():
+            l1 = [1, 2]
+            l2 = [None]
+            t1 = (1, 2)
+            t2 = (None,)
+            for _ in range(100):
+                list_sum = l1 + l2
+                self.assertEqual(list_sum, [1, 2, None])
+                tuple_sum = t1 + t2
+                self.assertEqual(tuple_sum, (1, 2, None))
+
+        binary_op_add_extend_sequences()
+        self.assert_specialized(binary_op_add_extend_sequences, "BINARY_OP_EXTEND")
+        self.assert_no_opcode(binary_op_add_extend_sequences, "BINARY_OP")
+
         def binary_op_zero_division():
             def compactlong_lhs(arg):
                 42 / arg

Misc/NEWS.d/next/Core_and_Builtins/2025-01-17-19-48-28.gh-issue-100239.7pbTEA.rst

@@ -0,0 +1 @@
+Specialize ``BINARY_OP`` for concatenation of lists and tuples.

Objects/listobject.c

@@ -734,7 +734,7 @@ list_concat_lock_held(PyListObject *a, PyListObject *b)
     return (PyObject *)np;
 }
 
-static PyObject *
+PyObject *
 list_concat(PyObject *aa, PyObject *bb)
 {
     if (!PyList_Check(bb)) {

Objects/tupleobject.c

@@ -456,7 +456,7 @@ PyTuple_GetSlice(PyObject *op, Py_ssize_t i, Py_ssize_t j)
     return tuple_slice((PyTupleObject *)op, i, j);
 }
 
-static PyObject *
+PyObject *
 tuple_concat(PyObject *aa, PyObject *bb)
 {
     PyTupleObject *a = _PyTuple_CAST(aa);

Python/specialize.c

@@ -2430,6 +2430,46 @@ binary_op_fail_kind(int oparg, PyObject *lhs, PyObject *rhs)
 
 /** Binary Op Specialization Extensions */
 
+/* tuple-tuple*/
+
+static int
+tuple_tuple_guard(PyObject *lhs, PyObject *rhs)
+{
+    return ( PyTuple_CheckExact(lhs) &&  PyTuple_CheckExact(rhs) );
+}
+
+extern PyObject * tuple_concat(PyObject *aa, PyObject *bb);
+
+static PyObject * \
+tuple_tuple_add(PyObject *lhs, PyObject *rhs) \
+{
+    return tuple_concat(lhs, rhs);
+}
+
+static _PyBinaryOpSpecializationDescr tuple_tuple_specs[NB_OPARG_LAST+1] = {
+    [NB_ADD] = {tuple_tuple_guard, tuple_tuple_add},
+};
+
+/* list-list*/
+
+static int
+list_list_guard(PyObject *lhs, PyObject *rhs)
+{
+    return ( PyList_CheckExact(lhs) &&  PyList_CheckExact(rhs) );
+}
+
+extern PyObject * list_concat(PyObject *aa, PyObject *bb);
+
+static PyObject * \
+list_list_add(PyObject *lhs, PyObject *rhs) \
+{
+    return list_concat(lhs, rhs);
+}
+
+static _PyBinaryOpSpecializationDescr list_list_specs[NB_OPARG_LAST+1] = {
+    [NB_ADD] = {list_list_guard, list_list_add},
+};
+
 /* long-long */
 
 static inline int
@@ -2566,6 +2606,8 @@ binary_op_extended_specialization(PyObject *lhs, PyObject *rhs, int oparg,
     LOOKUP_SPEC(compactlong_float_specs, oparg);
     LOOKUP_SPEC(float_compactlong_specs, oparg);
     LOOKUP_SPEC(compactlongs_specs, oparg);
+    LOOKUP_SPEC(list_list_specs, oparg);
+    LOOKUP_SPEC(tuple_tuple_specs, oparg);
 #undef LOOKUP_SPEC
     return 0;
 }

Tools/c-analyzer/cpython/ignored.tsv

@@ -384,6 +384,8 @@ Python/specialize.c	-	cache_requirements	-
 Python/specialize.c	-	compactlongs_specs	-
 Python/specialize.c	-	float_compactlong_specs	-
 Python/specialize.c	-	compactlong_float_specs	-
+Python/specialize.c	-	list_list_specs	-
+Python/specialize.c	-	tuple_tuple_specs -
 Python/stdlib_module_names.h	-	_Py_stdlib_module_names	-
 Python/sysmodule.c	-	perf_map_state	-
 Python/sysmodule.c	-	_PySys_ImplCacheTag	-