test(opcache): update test_binary_op for wide int specialization

BINARY_OP_ADD_INT now specializes for non-compact int64-range operands (e.g. 10_000_000_000). Update the test accordingly:

- Assert BINARY_OP_ADD_INT is used for wide int add
- Keep the assertions that BINARY_OP_SUBTRACT_INT and BINARY_OP_MULTIPLY_INT are not used for non-compact ints

Author: KRRT7

Lib/test/test_opcache.py

@@ -1375,20 +1375,28 @@ def binary_op_add_int():
         self.assert_specialized(binary_op_add_int, "BINARY_OP_ADD_INT")
         self.assert_no_opcode(binary_op_add_int, "BINARY_OP")
 
-        def binary_op_int_non_compact():
+        # Wide (non-compact) ints in the int64 range now specialize add.
+        def binary_op_int_wide_add():
             for _ in range(_testinternalcapi.SPECIALIZATION_THRESHOLD):
                 a, b = 10000000000, 1
                 c = a + b
                 self.assertEqual(c, 10000000001)
+
+        binary_op_int_wide_add()
+        self.assert_specialized(binary_op_int_wide_add, "BINARY_OP_ADD_INT")
+
+        # Subtract and multiply are still compact-only.
+        def binary_op_int_non_compact_sub_mul():
+            for _ in range(_testinternalcapi.SPECIALIZATION_THRESHOLD):
+                a, b = 10000000000, 1
                 c = a - b
                 self.assertEqual(c, 9999999999)
                 c = a * b
                 self.assertEqual(c, 10000000000)
 
-        binary_op_int_non_compact()
-        self.assert_no_opcode(binary_op_int_non_compact, "BINARY_OP_ADD_INT")
-        self.assert_no_opcode(binary_op_int_non_compact, "BINARY_OP_SUBTRACT_INT")
-        self.assert_no_opcode(binary_op_int_non_compact, "BINARY_OP_MULTIPLY_INT")
+        binary_op_int_non_compact_sub_mul()
+        self.assert_no_opcode(binary_op_int_non_compact_sub_mul, "BINARY_OP_SUBTRACT_INT")
+        self.assert_no_opcode(binary_op_int_non_compact_sub_mul, "BINARY_OP_MULTIPLY_INT")
 
         def binary_op_add_unicode():
             for _ in range(_testinternalcapi.SPECIALIZATION_THRESHOLD):