devdanzin
diff --git a/‎Include/internal/pycore_magic_number.h‎
Lines changed: 2 additions & 1 deletion b/‎Include/internal/pycore_magic_number.h‎
Lines changed: 2 additions & 1 deletion
diff --git a/‎Include/internal/pycore_opcode_utils.h‎
Lines changed: 2 additions & 1 deletion b/‎Include/internal/pycore_opcode_utils.h‎
Lines changed: 2 additions & 1 deletion
diff --git a/‎Lib/dis.py‎
Lines changed: 2 additions & 2 deletions b/‎Lib/dis.py‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎Lib/opcode.py‎
Lines changed: 1 addition & 1 deletion b/‎Lib/opcode.py‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎Lib/test/test_peepholer.py‎
Lines changed: 4 additions & 4 deletions b/‎Lib/test/test_peepholer.py‎
Lines changed: 4 additions & 4 deletions
diff --git a/‎Misc/NEWS.d/next/Core_and_Builtins/2026-05-11-18-20-41.gh-issue-148871.AeCbq7.rst‎
Lines changed: 3 additions & 0 deletions b/‎Misc/NEWS.d/next/Core_and_Builtins/2026-05-11-18-20-41.gh-issue-148871.AeCbq7.rst‎
Lines changed: 3 additions & 0 deletions
diff --git a/‎Python/flowgraph.c‎
Lines changed: 4 additions & 0 deletions b/‎Python/flowgraph.c‎
Lines changed: 4 additions & 0 deletions
diff --git a/‎Python/pylifecycle.c‎
Lines changed: 2 additions & 0 deletions b/‎Python/pylifecycle.c‎
Lines changed: 2 additions & 0 deletions
@@ -298,6 +298,7 @@ Known values:
     Python 3.15a8 3665 (Add FOR_ITER_VIRTUAL and GET_ITER specializations)
     Python 3.15b1 3666 (Add SEND_VIRTUAL and SEND_ASYNC_GEN specializations)
     Python 3.16a0 3700 (Initial version)
+    Python 3.16a0 3701 (Add CONSTANT_EMPTY_TUPLE to LOAD_COMMON_CONSTANT)
 
 
     Python 3.17 will start with 3750
@@ -311,7 +312,7 @@ PC/launcher.c must also be updated.
 
 */
 
-#define PYC_MAGIC_NUMBER 3700
+#define PYC_MAGIC_NUMBER 3701
 /* This is equivalent to converting PYC_MAGIC_NUMBER to 2 bytes
    (little-endian) and then appending b'\r\n'. */
 #define PYC_MAGIC_NUMBER_TOKEN \
 
@@ -81,7 +81,8 @@ extern "C" {
 #define CONSTANT_FALSE 10
 #define CONSTANT_MINUS_ONE 11
 #define CONSTANT_BUILTIN_FROZENSET 12
-#define NUM_COMMON_CONSTANTS 13
+#define CONSTANT_EMPTY_TUPLE 13
+#define NUM_COMMON_CONSTANTS 14
 
 /* Values used in the oparg for RESUME */
 #define RESUME_AT_FUNC_START 0
 
@@ -698,8 +698,8 @@ def _get_const_value(op, arg, co_consts):
     if op == LOAD_SMALL_INT:
         return arg
     if op == LOAD_COMMON_CONSTANT:
-        # Opargs 0-6 are callables; 7-11 are literal values.
-        if 7 <= arg <= 11:
+        # Opargs 0-6 and 12 are callables; 7-11 and 13 are literal values.
+        if 7 <= arg <= 11 or arg == 13:
             return _common_constants[arg]
         return UNKNOWN
     argval = UNKNOWN
 
@@ -44,7 +44,7 @@
                      builtins.set,
                      # Append-only — must match CONSTANT_* in
                      # Include/internal/pycore_opcode_utils.h.
-                     None, "", True, False, -1, builtins.frozenset]
+                     None, "", True, False, -1, builtins.frozenset, ()]
 _nb_ops = _opcode.get_nb_ops()
 
 hascompare = [opmap["COMPARE_OP"]]
 
@@ -1307,10 +1307,10 @@ def test_build_empty_tuple(self):
             ('RETURN_VALUE', None, 0),
         ]
         after = [
-            ('LOAD_CONST', 0, 0),
+            ('LOAD_COMMON_CONSTANT', opcode._common_constants.index(()), 0),
             ('RETURN_VALUE', None, 0),
         ]
-        self.cfg_optimization_test(before, after, consts=[], expected_consts=[()])
+        self.cfg_optimization_test(before, after, consts=[], expected_consts=[])
 
     def test_fold_tuple_of_constants(self):
         before = [
@@ -1365,10 +1365,10 @@ def test_fold_constant_intrinsic_list_to_tuple(self):
             ('RETURN_VALUE', None, 0)
         ]
         after = [
-            ('LOAD_CONST', 0, 0),
+            ('LOAD_COMMON_CONSTANT', opcode._common_constants.index(()), 0),
             ('RETURN_VALUE', None, 0)
         ]
-        self.cfg_optimization_test(before, after, consts=[], expected_consts=[()])
+        self.cfg_optimization_test(before, after, consts=[], expected_consts=[])
 
         # multiple BUILD_LIST 0: ([], 1, [], 2)
         same = [
 
@@ -0,0 +1,3 @@
+The empty tuple ``()`` is now loaded via :opcode:`LOAD_COMMON_CONSTANT`
+instead of :opcode:`LOAD_CONST`, removing it from per-code-object
+:attr:`~codeobject.co_consts` tuples.
@@ -1468,6 +1468,10 @@ maybe_instr_make_load_common_const(cfg_instr *instr, PyObject *newconst)
              && PyUnicode_GET_LENGTH(newconst) == 0) {
         oparg = CONSTANT_EMPTY_STR;
     }
+    else if (PyTuple_CheckExact(newconst)
+             && PyTuple_GET_SIZE(newconst) == 0) {
+        oparg = CONSTANT_EMPTY_TUPLE;
+    }
     else if (PyLong_CheckExact(newconst)) {
         int overflow;
         long val = PyLong_AsLongAndOverflow(newconst, &overflow);
 
@@ -893,6 +893,8 @@ pycore_init_builtins(PyThreadState *tstate)
     interp->common_consts[CONSTANT_MINUS_ONE] =
         (PyObject *)&_PyLong_SMALL_INTS[_PY_NSMALLNEGINTS - 1];
     interp->common_consts[CONSTANT_BUILTIN_FROZENSET] = (PyObject *)&PyFrozenSet_Type;
+    interp->common_consts[CONSTANT_EMPTY_TUPLE] =
+        Py_GetConstantBorrowed(Py_CONSTANT_EMPTY_TUPLE);
     for (int i = 0; i < NUM_COMMON_CONSTANTS; i++) {
         assert(interp->common_consts[i] != NULL);
     }
Original file line number	Diff line number	Diff line change
`@@ -1307,10 +1307,10 @@ def test_build_empty_tuple(self):`
`1307`	`1307`	`('RETURN_VALUE', None, 0),`
`1308`	`1308`	`]`
`1309`	`1309`	`after = [`
`1310`		`- ('LOAD_CONST', 0, 0),`
	`1310`	`+ ('LOAD_COMMON_CONSTANT', opcode._common_constants.index(()), 0),`
`1311`	`1311`	`('RETURN_VALUE', None, 0),`
`1312`	`1312`	`]`
`1313`		`- self.cfg_optimization_test(before, after, consts=[], expected_consts=[()])`
	`1313`	`+ self.cfg_optimization_test(before, after, consts=[], expected_consts=[])`
`1314`	`1314`
`1315`	`1315`	`def test_fold_tuple_of_constants(self):`
`1316`	`1316`	`before = [`
`@@ -1365,10 +1365,10 @@ def test_fold_constant_intrinsic_list_to_tuple(self):`
`1365`	`1365`	`('RETURN_VALUE', None, 0)`
`1366`	`1366`	`]`
`1367`	`1367`	`after = [`
`1368`		`- ('LOAD_CONST', 0, 0),`
	`1368`	`+ ('LOAD_COMMON_CONSTANT', opcode._common_constants.index(()), 0),`
`1369`	`1369`	`('RETURN_VALUE', None, 0)`
`1370`	`1370`	`]`
`1371`		`- self.cfg_optimization_test(before, after, consts=[], expected_consts=[()])`
	`1371`	`+ self.cfg_optimization_test(before, after, consts=[], expected_consts=[])`
`1372`	`1372`
`1373`	`1373`	`# multiple BUILD_LIST 0: ([], 1, [], 2)`
`1374`	`1374`	`same = [`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	+The empty tuple ``()`` is now loaded via :opcode:`LOAD_COMMON_CONSTANT`
	`2`	+instead of :opcode:`LOAD_CONST`, removing it from per-code-object
	`3`	+:attr:`~codeobject.co_consts` tuples.
Original file line number	Diff line number	Diff line change
`@@ -893,6 +893,8 @@ pycore_init_builtins(PyThreadState *tstate)`
`893`	`893`	`interp->common_consts[CONSTANT_MINUS_ONE] =`
`894`	`894`	`(PyObject *)&_PyLong_SMALL_INTS[_PY_NSMALLNEGINTS - 1];`
`895`	`895`	`interp->common_consts[CONSTANT_BUILTIN_FROZENSET] = (PyObject *)&PyFrozenSet_Type;`
	`896`	`+ interp->common_consts[CONSTANT_EMPTY_TUPLE] =`
	`897`	`+ Py_GetConstantBorrowed(Py_CONSTANT_EMPTY_TUPLE);`
`896`	`898`	`for (int i = 0; i < NUM_COMMON_CONSTANTS; i++) {`
`897`	`899`	`assert(interp->common_consts[i] != NULL);`
`898`	`900`	`}`