POP_JUMP_IF_NOT_NONE, POP_JUMP_IF_NONE

Author: iritkatriel

Python/bytecodes.c

@@ -1978,18 +1978,17 @@ dummy_func(
             }
         }
 
-        // stack effect: (__0 -- )
-        inst(POP_JUMP_IF_NOT_NONE) {
-            PyObject *value = POP();
+        inst(POP_JUMP_IF_NOT_NONE, (value -- )) {
             if (!Py_IsNone(value)) {
+                Py_DECREF(value);
                 JUMPBY(oparg);
             }
-            Py_DECREF(value);
+            else {
+                _Py_DECREF_NO_DEALLOC(value);
+            }
         }
 
-        // stack effect: (__0 -- )
-        inst(POP_JUMP_IF_NONE) {
-            PyObject *value = POP();
+        inst(POP_JUMP_IF_NONE, (value -- )) {
             if (Py_IsNone(value)) {
                 _Py_DECREF_NO_DEALLOC(value);
                 JUMPBY(oparg);

Python/generated_cases.c.h

@@ -237,9 +237,9 @@ _PyOpcode_num_popped(int opcode, int oparg) {
         case POP_JUMP_IF_TRUE:
             return -1;
         case POP_JUMP_IF_NOT_NONE:
-            return -1;
+            return 1;
         case POP_JUMP_IF_NONE:
-            return -1;
+            return 1;
         case JUMP_IF_FALSE_OR_POP:
             return -1;
         case JUMP_IF_TRUE_OR_POP:
@@ -583,9 +583,9 @@ _PyOpcode_num_pushed(int opcode, int oparg) {
         case POP_JUMP_IF_TRUE:
             return -1;
         case POP_JUMP_IF_NOT_NONE:
-            return -1;
+            return 0;
         case POP_JUMP_IF_NONE:
-            return -1;
+            return 0;
         case JUMP_IF_FALSE_OR_POP:
             return -1;
         case JUMP_IF_TRUE_OR_POP: