diff options
| author | Guido van Rossum <guido@python.org> | 2023-08-17 18:29:58 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-17 18:29:58 (GMT) |
| commit | 61c7249759ce88465ea655d5c19d17d03ff3f74b (patch) | |
| tree | d6dd9d45ecbfdb2436ca462517982b95491179af /Python/abstract_interp_cases.c.h | |
| parent | 292a22bdc22f2aa70c96e9e53ca6d6b0c5f8d5bf (diff) | |
| download | cpython-61c7249759ce88465ea655d5c19d17d03ff3f74b.zip cpython-61c7249759ce88465ea655d5c19d17d03ff3f74b.tar.gz cpython-61c7249759ce88465ea655d5c19d17d03ff3f74b.tar.bz2 | |
gh-106581: Project through calls (#108067)
This finishes the work begun in gh-107760. When, while projecting a superblock, we encounter a call to a short, simple function, the superblock will now enter the function using `_PUSH_FRAME`, continue through it, and leave it using `_POP_FRAME`, and then continue through the original code. Multiple frame pushes and pops are even possible. It is also possible to stop appending to the superblock in the middle of a called function, when running out of space or encountering an unsupported bytecode.
Diffstat (limited to 'Python/abstract_interp_cases.c.h')
| -rw-r--r-- | Python/abstract_interp_cases.c.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Python/abstract_interp_cases.c.h b/Python/abstract_interp_cases.c.h index eef0711..1b99b92 100644 --- a/Python/abstract_interp_cases.c.h +++ b/Python/abstract_interp_cases.c.h @@ -7,6 +7,10 @@ break; } + case RESUME: { + break; + } + case POP_TOP: { STACK_SHRINK(1); break; @@ -191,6 +195,11 @@ break; } + case _POP_FRAME: { + STACK_SHRINK(1); + break; + } + case GET_AITER: { PARTITIONNODE_OVERWRITE((_Py_PARTITIONNODE_t *)PARTITIONNODE_NULLROOT, PEEK(-(-1)), true); break; |