5 commits

Author	SHA1	Message	Date
Mark Shannon	0858328ca2	GH-108614: Add RESUME_CHECK instruction (GH-108630)	2023-09-07 14:39:03 +01:00
Guido van Rossum	ddf66b54ed	gh-106581: Split CALL_BOUND_METHOD_EXACT_ARGS into uops (#108462) ... Instead of using `GO_TO_INSTRUCTION(CALL_PY_EXACT_ARGS)` we just add the macro elements of the latter to the macro for the former. This requires lengthening the uops array in struct opcode_macro_expansion. (It also required changes to stacking.py that were merged already.)	2023-08-24 17:36:00 -07:00
Guido van Rossum	61c7249759	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.	2023-08-17 11:29:58 -07:00
Guido van Rossum	dc8fdf5fd5	gh-106581: Split CALL_PY_EXACT_ARGS into uops (#107760) ... * Split `CALL_PY_EXACT_ARGS` into uops This is only the first step for doing `CALL` in Tier 2. The next step involves tracing into the called code object and back. After that we'll have to do the remaining `CALL` specialization. Finally we'll have to deal with `KW_NAMES`. Note: this moves setting `frame->return_offset` directly in front of `DISPATCH_INLINED()`, to make it easier to move it into `_PUSH_FRAME`.	2023-08-16 16:26:43 -07:00
Ken Jin	e28b0dc86d	gh-107557: Setup abstract interpretation (#107847) ... Co-authored-by: Guido van Rossum <gvanrossum@users.noreply.github.com> Co-authored-by: Jules <57632293+juliapoo@users.noreply.github.com>	2023-08-15 18:04:17 +00:00