handle list-append case

Author: iritkatriel

Python/bytecodes.c

@@ -4293,10 +4293,11 @@ dummy_func(
             PyStackRef_CLOSE(callable);
             ERROR_IF(err, error);
         #if TIER_ONE
-            // Skip the following POP_TOP. This is done here in tier one, and
+            // Skip the following CHECK_PERIODIC and POP_TOP. This is done here in tier one, and
             // during trace projection in tier two:
-            assert(next_instr->op.code == POP_TOP);
-            SKIP_OVER(1);
+            assert(next_instr->op.code == CHECK_PERIODIC);
+            assert((next_instr+1)->op.code == POP_TOP);
+            SKIP_OVER(2);
         #endif
         }
 

Python/executor_cases.c.h

@@ -2037,7 +2037,8 @@ specialize_method_descriptor(PyMethodDescrObject *descr, _Py_CODEUNIT *instr,
             }
             PyInterpreterState *interp = _PyInterpreterState_GET();
             PyObject *list_append = interp->callable_cache.list_append;
-            _Py_CODEUNIT next = instr[INLINE_CACHE_ENTRIES_CALL + 1];
+            assert(instr[INLINE_CACHE_ENTRIES_CALL + 1].op.code == CHECK_PERIODIC);
+            _Py_CODEUNIT next = instr[INLINE_CACHE_ENTRIES_CALL + 2];
             bool pop = (next.op.code == POP_TOP);
             int oparg = instr->op.arg;
             if ((PyObject *)descr == list_append && oparg == 1 && pop) {