10000 GH-98831: Typed stack effects, and more instructions converted by gvanrossum · Pull Request #99764 · python/cpython · GitHub
[go: up one dir, main page]
Skip to content

GH-98831: Typed stack effects, and more instructions converted #99764

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 34 commits into from
Dec 8, 2022
Merged

GH-98831: Typed stack effects, and more instructions converted #99764

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
6860ed7
Make BINARY_OP_INPLACE_ADD_UNICODE a legit super instruction
gvanrossum Nov 22, 2022
dcba32e
COMPARE_OP
gvanrossum Nov 24, 2022
30cb8cd
COMPARE_OP_FLOAT_JUMP
gvanrossum Nov 24, 2022
6af0a5d
COMPARE_OP_INT_JUMP
gvanrossum Nov 24, 2022
039efbf
COMPARE_OP_STR_JUMP
gvanrossum Nov 24, 2022
2fd8822
Support typed stack effects
gvanrossum Nov 25, 2022
14bbd50
Refactor common code of analyze_{super,macro}
gvanrossum Nov 25, 2022
00a2495
Reverse temporary variable numbering
gvanrossum Nov 25, 2022
f01dff5
STORE_ATTR
gvanrossum Nov 25, 2022
71ee089
DELETE_ATTR
gvanrossum Nov 25, 2022
966da1a
STORE_GLOBAL
gvanrossum Nov 25, 2022
7c94591
STORE_ATTR_INSTANCE_VALUE
gvanrossum Nov 25, 2022
2c76046
STORE_ATTR_WITH_HINT
gvanrossum Nov 25, 2022
d0f29f8
STORE_ATTR_SLOT, and complete the store_attr family
gvanrossum Nov 25, 2022
001c418
Complete the store_subscr family: STORE_SUBSCR{,DICT,LIST_INT}
gvanrossum Nov 26, 2022
05caa7e
DELETE_SUBSCR
gvanrossum Nov 26, 2022
8d445ae
PRINT_EXPR
gvanrossum Nov 26, 2022
c1f3034
INTERPRETER_EXIT (a bit weird, ends in return)
gvanrossum Nov 26, 2022
e2f376b
RETURN_VALUE
gvanrossum Nov 26, 2022
53c204e
GET_AITER (had to restructure it some)
gvanrossum Nov 26, 2022
e0ba8bf
Typo in TODO comment
gvanrossum Nov 26, 2022
f7a54d7
Emit PREDICT() macros right before DISPATCH()
gvanrossum Nov 28, 2022
6ae9e6e
LIST_APPEND (a bit unhappy with it)
gvanrossum Nov 26, 2022
34aa393
SET_ADD (also a bit unhappy with it)
gvanrossum Nov 26, 2022
e144db3
Move all cache effects to the front of the effects list
gvanrossum Dec 8, 2022
029bf07
Rename _JUMP_ON_SIGN to _JUMP_IF
gvanrossum Dec 8, 2022
fa3135f
Change ERROR_IF(err != 0, ...) to ERROR_IF(err, ...)
gvanrossum Dec 8, 2022
445f20b
Change ERROR_IF(1, ...) to ERROR_IF(true, ...)
gvanrossum Dec 8, 2022
32b4ac0
Revert "Make BINARY_OP_INPLACE_ADD_UNICODE a legit super instruction"
gvanrossum Dec 8, 2022
0ef4da7
Emit PEEKs in super/macro instructions in correct order
gvanrossum Dec 8, 2022
7d19466
Use JUMPBY(n) instead of next_instr += n
gvanrossum Dec 8, 2022
99e8ec6
Rename local variables type to typ
gvanrossum Dec 8, 2022
c08dbdb
Remove unused op names
gvanrossum Dec 8, 2022
c6dfeec
Merge branch 'main' into typed-stack-effects
gvanrossum Dec 8, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
PRINT_EXPR
  • Loading branch information
@gvanrossum
gvanrossum committed Dec 3, 2022
commit 8d445ae7a78d5a3411a7411e0c38c06b5d34e5a5
10 changes: 4 additions & 6 deletions Python/bytecodes.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -550,21 +550,19 @@ dummy_func(
ERROR_IF(err != 0, error);
}

// stack effect: (__0 -- )
inst(PRINT_EXPR) {
PyObject *value = POP();
inst(PRINT_EXPR, (value --)) {
PyObject *hook = _PySys_GetAttr(tstate, &_Py_ID(displayhook));
PyObject *res;
// Can't use ERROR_IF here.
if (hook == NULL) {
_PyErr_SetString(tstate, PyExc_RuntimeError,
"lost sys.displayhook");
Py_DECREF(value);
goto error;
ERROR_IF(1, error);
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This took me a second to parse. Maybe it's worth adding another ERROR(LABEL) macro for unconditional errors?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The problem with ERROR(error) is that the generator would need to intercept that too (since possibly it needs to go to _pop_1_error), and the intercept code is slightly hairy already. Maybe ERROR_IF(true, error) works? I'll try that.

}
res = PyObject_CallOneArg(hook, value);
Py_DECREF(value);
if (res == NULL)
goto error;
ERROR_IF(res == NULL, error);
Py_DECREF(res);
}

Expand Down
9 changes: 5 additions & 4 deletions Python/generated_cases.c.h
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0