Skip to content

gh-87092: bring compiler code closer to a preprocessing-opt-assembler organisation #97644

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
iritkatriel merged 12 commits into from
Oct 5, 2022
Merged

gh-87092: bring compiler code closer to a preprocessing-opt-assembler organisation #97644

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
27102b2
add unit test for const trimming
iritkatriel Sep 20, 2022
9827030
move trim_unused_consts to assembly stage
iritkatriel Sep 20, 2022
103c9ae
move a few things around
iritkatriel Sep 20, 2022
bab900a
remove redundant assert and move another up to just after the value w…
iritkatriel Sep 20, 2022
9736e75
move push_cold_blocks_to_end up
iritkatriel Sep 21, 2022
eb6cd76
reduce repetition: create basicblock_append_instructions and call it …
iritkatriel Sep 29, 2022
fa0b95d
move remove_redundant_nops call into convert_exception_handlers_to_no…
iritkatriel Sep 29, 2022
8a2f28e
move check_loads function to optimization stage
iritkatriel Sep 29, 2022
85751ea
mark's review comments
iritkatriel Oct 3, 2022
5f78cc7
fix comment
iritkatriel Oct 3, 2022
e44b087
Call it preprocessing
iritkatriel Oct 4, 2022
4f15173
Merge branch 'main' into compiler_refactor
iritkatriel Oct 4, 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
move a few things around
  • Loading branch information
@iritkatriel
iritkatriel committed Sep 29, 2022
commit 103c9ae910854d9bd6c9e21104e8fdf254ec4165
18 changes: 11 additions & 7 deletions Python/compile.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8628,10 +8628,7 @@ assemble(struct compiler *c, int addNone)
}
nlocalsplus -= numdropped;

consts = consts_dict_keys_inorder(c->u->u_consts);
if (consts == NULL) {
goto error;
}
/** Desugaring **/
Comment thread
iritkatriel marked this conversation as resolved.
Outdated
if (calculate_jump_targets(g->g_entryblock)) {
goto error;
}
Expand All @@ -8641,6 +8638,12 @@ assemble(struct compiler *c, int addNone)
if (label_exception_targets(g->g_entryblock)) {
goto error;
}

/** Optimization **/
consts = consts_dict_keys_inorder(c->u->u_consts);
if (consts == NULL) {
goto error;
}
if (optimize_cfg(g, consts, c->c_const_cache)) {
goto error;
}
Expand All @@ -8665,6 +8668,7 @@ assemble(struct compiler *c, int addNone)
remove_redundant_nops(b);
}

/** Assembly **/
/* Order of basic blocks must have been determined by now */
if (normalize_jumps(g) < 0) {
goto error;
Expand Down Expand Up @@ -9599,12 +9603,14 @@ is_exit_without_lineno(basicblock *b) {
static int
duplicate_exits_without_lineno(cfg_builder *g)
{
assert(no_empty_basic_blocks(g));
/* Copy all exit blocks without line number that are targets of a jump.
*/
basicblock *entryblock = g->g_entryblock;
for (basicblock *b = entryblock; b != NULL; b = b->b_next) {
struct instr *last = basicblock_last_instr(b);
if (last != NULL && is_jump(last)) {
assert(last != NULL);
if (is_jump(last)) {
basicblock *target = last->i_target;
if (is_exit_without_lineno(target) && target->b_predecessors > 1) {
basicblock *new_target = copy_basicblock(g, target);
Expand All @@ -9621,8 +9627,6 @@ duplicate_exits_without_lineno(cfg_builder *g)
}
}

assert(no_empty_basic_blocks(g));

/* Any remaining reachable exit blocks without line number can only be reached by
* fall through, and thus can only have a single predecessor */
for (basicblock *b = entryblock; b != NULL; b = b->b_next) {
Expand Down