mirrors/cpython
1
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-08-26 03:34:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

GH-131798: Narrow the result of _CONTAINS_OP_DICT to bool in the JIT (GH-132269)

Browse source 
Co-authored-by: Tomas R. <tomas.roun8@gmail.com>
This commit is contained in:
Nadeshiko Manju 2025-04-09 00:12:09 +08:00 • committed by GitHub
parent 71009cb835
commit d753d8aed7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 36 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Python/optimizer_bytecodes.c
View file

@ -485,6 +485,10 @@ dummy_func(void) {
res = sym_new_type(ctx, &PyBool_Type);
}
op(_CONTAINS_OP_DICT, (left, right -- res)) {
res = sym_new_type(ctx, &PyBool_Type);
}
op(_LOAD_CONST, (-- value)) {
PyObject *val = PyTuple_GET_ITEM(co->co_consts, this_instr->oparg);
int opcode = _Py_IsImmortal(val) ? _LOAD_CONST_INLINE_BORROW : _LOAD_CONST_INLINE;

6
Python/optimizer_cases.c.h generated
View file

@ -1292,9 +1292,9 @@
}
case _CONTAINS_OP_DICT: {
JitOptSymbol *b;
b = sym_new_not_null(ctx);
stack_pointer[-2] = b;
JitOptSymbol *res;
res = sym_new_type(ctx, &PyBool_Type);
stack_pointer[-2] = res;
stack_pointer += -1;
assert(WITHIN_STACK_BOUNDS());
break;