gh-107557: Setup abstract interpretation

Include/internal/pycore_uops.h

@@ -11,8 +11,8 @@ extern "C" {
 #define _Py_UOP_MAX_TRACE_LENGTH 64
 
 typedef struct {
-    int32_t opcode;
-    int32_t oparg;
+    uint32_t opcode;
+    uint32_t oparg;
     uint64_t operand;  // A cache entry
 } _PyUOpInstruction;
 

Lib/test/test_capi/test_misc.py

@@ -2618,31 +2618,6 @@ def testfunc(it):
             with self.assertRaises(StopIteration):
                 next(it)
 
-@unittest.skipIf(os.getenv("PYTHONUOPSOPTIMIZE") is None, "UOps optimization isn't enabled")
-class TestUopsOptimization(unittest.TestCase):
-
-    def test_int_constant_propagation(self):
-        def testfunc(loops):
-            num = 0
-            while num < loops:
-                x = 0
-                y = 1
-                z = 2
-                a = x + y + z + x + y + z + x + y + z
-                num += 1
-            return a
-
-        opt = _testinternalcapi.get_uop_optimizer()
-        res = None
-        with temporary_optimizer(opt):
-            res = testfunc(3)
-
-        ex = get_first_executor(testfunc)
-        self.assertIsNotNone(ex)
-        self.assertEqual(res, 9)
-        binop_count = [opname for opname, _, _ in ex if opname == "_BINARY_OP_ADD_INT"]
-        self.assertEqual(len(binop_count), 1)
-
 
 if __name__ == "__main__":
     unittest.main()

Python/bytecodes.c

@@ -3743,11 +3743,10 @@ dummy_func(
             return frame;
         }
 
-        op(INSERT, (stuff[oparg], top -- top, stuff[oparg])) {
-            // Inserts TOS at position specified by oparg
-            PyObject *tos = TOP();
+        op(INSERT, (unused[oparg], top -- top, unused[oparg])) {
+            // Inserts TOS at position specified by oparg;
             for (int i = 1; i < oparg + 1; i++) {
-                stack_pointer[i] = stack_pointer[i - 1];
+                stack_pointer[-i] = stack_pointer[-(i - 1)];
             }
         }