]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
GH-98831: "Generate" the interpreter (#98830)
authorGuido van Rossum <guido@python.org>
Thu, 3 Nov 2022 04:31:26 +0000 (21:31 -0700)
committerGitHub <noreply@github.com>
Thu, 3 Nov 2022 04:31:26 +0000 (21:31 -0700)
commit41bc101dd6726edc5fbd4a934ea057ec712d5498
tree0d184293ab6e1779873b22d9522250bfef473a31
parent2cfcaf5af602b297fc90086de4d8ac980c7891e2
GH-98831: "Generate" the interpreter (#98830)

The switch cases (really TARGET(opcode) macros) have been moved from ceval.c to generated_cases.c.h. That file is generated from instruction definitions in bytecodes.c (which impersonates a C file so the C code it contains can be edited without custom support in e.g. VS Code).

The code generator lives in Tools/cases_generator (it has a README.md explaining how it works). The DSL used to describe the instructions is a work in progress, described in https://github.com/faster-cpython/ideas/blob/main/3.12/interpreter_definition.md.

This is surely a work-in-progress. An easy next step could be auto-generating super-instructions.

**IMPORTANT: Merge Conflicts**

If you get a merge conflict for instruction implementations in ceval.c, your best bet is to port your changes to bytecodes.c. That file looks almost the same as the original cases, except instead of `TARGET(NAME)` it uses `inst(NAME)`, and the trailing `DISPATCH()` call is omitted (the code generator adds it automatically).
13 files changed:
.gitattributes
Makefile.pre.in
Misc/NEWS.d/next/Build/2022-10-28-22-24-26.gh-issue-98831.IXRCRX.rst [new file with mode: 0644]
Python/bytecodes.c [new file with mode: 0644]
Python/ceval.c
Python/generated_cases.c.h [new file with mode: 0644]
Tools/cases_generator/README.md [new file with mode: 0644]
Tools/cases_generator/bytecodes_template.c [new file with mode: 0644]
Tools/cases_generator/extract_cases.py [new file with mode: 0644]
Tools/cases_generator/generate_cases.py [new file with mode: 0644]
Tools/cases_generator/lexer.py [new file with mode: 0644]
Tools/cases_generator/parser.py [new file with mode: 0644]
Tools/cases_generator/plexer.py [new file with mode: 0644]