GH-111485: Separate out parsing, analysis and code-gen phases

Makefile.pre.in

@@ -1587,14 +1587,15 @@ regen-cases:
  $(PYTHON_FOR_REGEN) \
  $(srcdir)/Tools/cases_generator/generate_cases.py \
  $(CASESFLAG) \
- -o $(srcdir)/Python/generated_cases.c.h.new \
  -n $(srcdir)/Include/opcode_ids.h.new \
  -t $(srcdir)/Python/opcode_targets.h.new \
  -m $(srcdir)/Include/internal/pycore_opcode_metadata.h.new \
  -e $(srcdir)/Python/executor_cases.c.h.new \
  -p $(srcdir)/Lib/_opcode_metadata.py.new \
  -a $(srcdir)/Python/abstract_interp_cases.c.h.new \
  $(srcdir)/Python/bytecodes.c
+ $(PYTHON_FOR_REGEN) \
+ $(srcdir)/Tools/cases_generator/tier1_generator.py -o $(srcdir)/Python/generated_cases.c.h.new $(srcdir)/Python/bytecodes.c
  $(UPDATE_FILE) $(srcdir)/Python/generated_cases.c.h $(srcdir)/Python/generated_cases.c.h.new
  $(UPDATE_FILE) $(srcdir)/Include/opcode_ids.h $(srcdir)/Include/opcode_ids.h.new
  $(UPDATE_FILE) $(srcdir)/Python/opcode_targets.h $(srcdir)/Python/opcode_targets.h.new

Python/bytecodes.c

@@ -800,11 +800,11 @@ dummy_func(
  // We also push it onto the stack on exit, but that's a
  // different frame, and it's accounted for by _PUSH_FRAME.
  op(_POP_FRAME, (retval --)) {
- assert(EMPTY());
  #if TIER_ONE
  assert(frame != &entry_frame);
  #endif
  STORE_SP();
+ assert(EMPTY());
  _Py_LeaveRecursiveCallPy(tstate);
  // GH-99729: We need to unlink the frame *before* clearing it:
  _PyInterpreterFrame *dying = frame;
@@ -1165,7 +1165,6 @@ dummy_func(
  }
  }
 
-
  inst(STORE_NAME, (v -- )) {
  PyObject *name = GETITEM(FRAME_CO_NAMES, oparg);
  PyObject *ns = LOCALS();
@@ -3130,7 +3129,7 @@ dummy_func(
  // The 'unused' output effect represents the return value
  // (which will be pushed when the frame returns).
  // It is needed so CALL_PY_EXACT_ARGS matches its family.
- op(_PUSH_FRAME, (new_frame: _PyInterpreterFrame* -- unused)) {
+ op(_PUSH_FRAME, (new_frame: _PyInterpreterFrame* -- unused if (0))) {
  // Write it out explicitly because it's subtly different.
  // Eventually this should be the only occurrence of this code.
  assert(tstate->interp->eval_frame == NULL);