python
diff --git a/‎Lib/test/test_capi/test_opt.py
Copy file name to clipboardExpand all lines: Lib/test/test_capi/test_opt.py
+31Lines changed: 31 additions & 0 deletions b/‎Lib/test/test_capi/test_opt.py
Copy file name to clipboardExpand all lines: Lib/test/test_capi/test_opt.py
+31Lines changed: 31 additions & 0 deletions
diff --git a/‎Misc/ACKS
Copy file name to clipboardExpand all lines: Misc/ACKS
+1Lines changed: 1 addition & 0 deletions b/‎Misc/ACKS
Copy file name to clipboardExpand all lines: Misc/ACKS
+1Lines changed: 1 addition & 0 deletions
diff --git a/‎Misc/NEWS.d/next/Core_and_Builtins/2025-03-03-01-21-04.gh-issue-130415.ibOV6B.rst
Copy file name to clipboard
+1Lines changed: 1 addition & 0 deletions b/‎Misc/NEWS.d/next/Core_and_Builtins/2025-03-03-01-21-04.gh-issue-130415.ibOV6B.rst
Copy file name to clipboard
+1Lines changed: 1 addition & 0 deletions
diff --git a/‎Python/optimizer_bytecodes.c
Copy file name to clipboardExpand all lines: Python/optimizer_bytecodes.c
+1-1Lines changed: 1 addition & 1 deletion b/‎Python/optimizer_bytecodes.c
Copy file name to clipboardExpand all lines: Python/optimizer_bytecodes.c
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎Python/optimizer_cases.c.h
Copy file name to clipboardExpand all lines: Python/optimizer_cases.c.h
+1-1Lines changed: 1 addition & 1 deletion b/‎Python/optimizer_cases.c.h
Copy file name to clipboardExpand all lines: Python/optimizer_cases.c.h
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎Python/optimizer_symbols.c
Copy file name to clipboardExpand all lines: Python/optimizer_symbols.c
+3Lines changed: 3 additions & 0 deletions b/‎Python/optimizer_symbols.c
Copy file name to clipboardExpand all lines: Python/optimizer_symbols.c
+3Lines changed: 3 additions & 0 deletions
@@ -1499,6 +1499,37 @@ def f(n):
         # But all of the appends we care about are still there:
         self.assertEqual(uops.count("_CALL_LIST_APPEND"), len("ABCDEFG"))
 
+    def test_narrow_type_to_constant_int_zero(self):
+        def f(n):
+            trace = []
+            for i in range(n):
+                # zero is always (int) 0, but we can only prove that it's a integer:
+                false = i == TIER2_THRESHOLD # this will always be false, while hopefully still fooling optimizer improvements
+                zero = false + 0 # this should always set the variable zero equal to 0
+                trace.append("A")
+                if not zero:  # Kept.
+                    trace.append("B")
+                    if not zero:  # Removed!
+                        trace.append("C")
+                    trace.append("D")
+                    if zero:  # Removed!
+                        trace.append("X")
+                    trace.append("E")
+                trace.append("F")
+                if zero:  # Removed!
+                    trace.append("X")
+                trace.append("G")
+            return trace
+
+        trace, ex = self._run_with_optimizer(f, TIER2_THRESHOLD)
+        self.assertEqual(trace, list("ABCDEFG") * TIER2_THRESHOLD)
+        self.assertIsNotNone(ex)
+        uops = get_opnames(ex)
+        # Only one guard remains:
+        self.assertEqual(uops.count("_GUARD_IS_FALSE_POP"), 1)
+        self.assertEqual(uops.count("_GUARD_IS_TRUE_POP"), 0)
+        # But all of the appends we care about are still there:
+        self.assertEqual(uops.count("_CALL_LIST_APPEND"), len("ABCDEFG"))
 
 def global_identity(x):
     return x
 
@@ -1061,6 +1061,7 @@ Detlef Lannert
 Rémi Lapeyre
 Soren Larsen
 Amos Latteier
+Keenan Lau
 Piers Lauder
 Ben Laurie
 Yoni Lavi
 
@@ -0,0 +1 @@
+Improve JIT understanding of integers in boolean context.
@@ -406,7 +406,7 @@ dummy_func(void) {
     op(_TO_BOOL_INT, (value -- res)) {
         if (!optimize_to_bool(this_instr, ctx, value, &res)) {
             sym_set_type(value, &PyLong_Type);
-            res = sym_new_type(ctx, &PyBool_Type);
+            res = sym_new_truthiness(ctx, value, true);
         }
     }
 
 
@@ -299,6 +299,9 @@ _Py_uop_sym_set_const(JitOptContext *ctx, JitOptSymbol *sym, PyObject *const_val
             else if (type == &PyBool_Type) {
                 _Py_uop_sym_set_const(ctx, value, Py_False);
             }
+            else if (type == &PyLong_Type) {
+                _Py_uop_sym_set_const(ctx, value, Py_GetConstant(Py_CONSTANT_ZERO));
+            }
             // TODO: More types (GH-130415)!
             make_const(sym, const_val);
             return;
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Improve JIT understanding of integers in boolean context.`
Original file line number	Diff line number	Diff line change
`@@ -406,7 +406,7 @@ dummy_func(void) {`
`406`	`406`	`op(_TO_BOOL_INT, (value -- res)) {`
`407`	`407`	`if (!optimize_to_bool(this_instr, ctx, value, &res)) {`
`408`	`408`	`sym_set_type(value, &PyLong_Type);`
`409`		`- res = sym_new_type(ctx, &PyBool_Type);`
	`409`	`+ res = sym_new_truthiness(ctx, value, true);`
`410`	`410`	`}`
`411`	`411`	`}`
`412`	`412`