diff options
author | Antoine Pitrou <solipsis@pitrou.net> | 2014-05-23 09:47:32 (GMT) |
---|---|---|
committer | Antoine Pitrou <solipsis@pitrou.net> | 2014-05-23 09:47:32 (GMT) |
commit | 5c8008e59da8da1eff9c2fc0c93ddae32f725d5f (patch) | |
tree | fffe086975b50feb0e965147713576a45ce0acb9 /Python | |
parent | a52ecc0a02cbc2512c928ca97e2573072ab39655 (diff) | |
parent | 9961405ed122c0f91b063f3237ad47278ae72f62 (diff) | |
download | cpython-5c8008e59da8da1eff9c2fc0c93ddae32f725d5f.zip cpython-5c8008e59da8da1eff9c2fc0c93ddae32f725d5f.tar.gz cpython-5c8008e59da8da1eff9c2fc0c93ddae32f725d5f.tar.bz2 |
Issue #21523: Fix over-pessimistic computation of the stack effect of some opcodes in the compiler.
This also fixes a quadratic compilation time issue noticeable when compiling
code with a large number of "and" and "or" operators.
Diffstat (limited to 'Python')
-rw-r--r-- | Python/compile.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Python/compile.c b/Python/compile.c index 9d3646e..9cc1399 100644 --- a/Python/compile.c +++ b/Python/compile.c @@ -3862,12 +3862,16 @@ stackdepth_walk(struct compiler *c, basicblock *b, int depth, int maxdepth) target_depth = depth; if (instr->i_opcode == FOR_ITER) { target_depth = depth-2; - } else if (instr->i_opcode == SETUP_FINALLY || - instr->i_opcode == SETUP_EXCEPT) { + } + else if (instr->i_opcode == SETUP_FINALLY || + instr->i_opcode == SETUP_EXCEPT) { target_depth = depth+3; if (target_depth > maxdepth) maxdepth = target_depth; } + else if (instr->i_opcode == JUMP_IF_TRUE_OR_POP || + instr->i_opcode == JUMP_IF_FALSE_OR_POP) + depth = depth - 1; maxdepth = stackdepth_walk(c, instr->i_target, target_depth, maxdepth); if (instr->i_opcode == JUMP_ABSOLUTE || |