gh-155486: Add test for TO_BOOL_INT guard elimination

Author: marinelay

Lib/test/test_capi/test_opt.py

@@ -4892,6 +4892,22 @@ def f(n, value=1 << 100):
         self.assertLessEqual(count_ops(ex, "_POP_TOP"), 3)
         self.assertIn("_POP_TOP_NOP", uops)
 
+    def test_to_bool_int_guard_elimination(self):
+        def testfunc(loops):
+            num = 0
+            for _ in range(loops):
+                _ = not num
+                a = not num
+            return a
+
+        res, ex = self._run_with_optimizer(testfunc, TIER2_THRESHOLD)
+        self.assertTrue(res)
+        self.assertIsNotNone(ex)
+        to_bool_int_count = [opname for opname in iter_opnames(ex) if opname == "_TO_BOOL_INT"]
+        guard_tos_exact_int_count = [opname for opname in iter_opnames(ex) if opname == "_GUARD_TOS_EXACT_INT"]
+        self.assertGreaterEqual(len(to_bool_int_count), 2)
+        self.assertLessEqual(len(guard_tos_exact_int_count), 1)
+
     def test_to_bool_list(self):
         def f(n):
             for i in range(n):