From c6bdd527f13518c712a0c9bc0864c0f2eb9e9219 Mon Sep 17 00:00:00 2001
From: Noam Cohen <noam@noam.me>
Date: Tue, 27 May 2025 11:55:05 +0300
Subject: [PATCH 1/2] add optimizer op

---
 Python/optimizer_bytecodes.c | 7 +++++++
 Python/optimizer_cases.c.h   | 6 ++++++
 2 files changed, 13 insertions(+)

diff --git a/Python/optimizer_bytecodes.c b/Python/optimizer_bytecodes.c
index 34250fd4385d34..e1209209660f92 100644
--- a/Python/optimizer_bytecodes.c
+++ b/Python/optimizer_bytecodes.c
@@ -914,6 +914,13 @@ dummy_func(void) {
         }
     }
 
+    op(_ITER_CHECK_TUPLE, (iter, null_or_index -- iter, null_or_index)) {
+        if (sym_matches_type(iter, &PyTuple_Type)) {
+            REPLACE_OP(this_instr, _NOP, 0, 0);
+        }
+        sym_set_type(iter, &PyTuple_Type);
+    }
+
     op(_ITER_NEXT_RANGE, (iter, null_or_index -- iter, null_or_index, next)) {
        next = sym_new_type(ctx, &PyLong_Type);
     }
diff --git a/Python/optimizer_cases.c.h b/Python/optimizer_cases.c.h
index bbd45067103679..db86edcc7859b5 100644
--- a/Python/optimizer_cases.c.h
+++ b/Python/optimizer_cases.c.h
@@ -1615,6 +1615,12 @@
         }
 
         case _ITER_CHECK_TUPLE: {
+            JitOptSymbol *iter;
+            iter = stack_pointer[-2];
+            if (sym_matches_type(iter, &PyTuple_Type)) {
+                REPLACE_OP(this_instr, _NOP, 0, 0);
+            }
+            sym_set_type(iter, &PyTuple_Type);
             break;
         }
 

From 14990124bf2b3f92f737fe8f3909be6109d3153b Mon Sep 17 00:00:00 2001
From: Noam Cohen <noam@noam.me>
Date: Tue, 27 May 2025 20:21:44 +0300
Subject: [PATCH 2/2] add news entry

---
 .../2025-05-27-20-21-34.gh-issue-131798.b32zkl.rst               | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Misc/NEWS.d/next/Core_and_Builtins/2025-05-27-20-21-34.gh-issue-131798.b32zkl.rst

diff --git a/Misc/NEWS.d/next/Core_and_Builtins/2025-05-27-20-21-34.gh-issue-131798.b32zkl.rst b/Misc/NEWS.d/next/Core_and_Builtins/2025-05-27-20-21-34.gh-issue-131798.b32zkl.rst
new file mode 100644
index 00000000000000..ed4b31bd7bedce
--- /dev/null
+++ b/Misc/NEWS.d/next/Core_and_Builtins/2025-05-27-20-21-34.gh-issue-131798.b32zkl.rst
@@ -0,0 +1 @@
+Allow the JIT to remove unnecessary ``_ITER_CHECK_TUPLE`` ops.