Skip to content

Optimize redundant bool check #7176

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
youknowone merged 9 commits into from
Feb 17, 2026
Merged

Optimize redundant bool check #7176

Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
11152d4
Add compile_bool_op_inner and optimize nested opposite-operator BoolO…
moreal Feb 15, 2026
9a2d780
Add snapshot test for nested BoolOp bytecode
moreal Feb 15, 2026
d8ccc98
Add runtime test for redundant __bool__ check (issue #3567)
moreal Feb 15, 2026
66cab2c
Apply clippy and rustfmt
moreal Feb 16, 2026
a500d54
Apply ruff format
moreal Feb 16, 2026
35706f1
Refactor compile_bool_op: extract emit_short_circuit_test and unify w…
moreal Feb 16, 2026
e68c018
Relocate redundant __bool__ check test snippet
moreal Feb 17, 2026
dbf95a3
Update extra_tests/snippets/syntax_short_circuit_bool.py
youknowone Feb 17, 2026
d6e48ff
Fix assertion in syntax_short_circuit_bool
moreal Feb 17, 2026
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
Apply clippy and rustfmt
  • Loading branch information
@moreal
moreal committed Feb 17, 2026
commit 66cab2ca6bff97ff5b4e9e59c9dc1e45a5d3515a
63 changes: 26 additions & 37 deletions crates/codegen/src/compile.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6624,34 +6624,33 @@ impl Compiler {
values: inner_values,
..
}) = value
&& inner_op != op
{
if inner_op != op {
let pop_block = self.new_block();
self.compile_bool_op_inner(inner_op, inner_values, Some(pop_block))?;
// Test the inner result for the outer BoolOp
emit!(self, Instruction::Copy { index: 1_u32 });
match op {
ast::BoolOp::And => {
emit!(
self,
Instruction::PopJumpIfFalse {
target: after_block,
}
);
}
ast::BoolOp::Or => {
emit!(
self,
Instruction::PopJumpIfTrue {
target: after_block,
}
);
}
let pop_block = self.new_block();
self.compile_bool_op_inner(inner_op, inner_values, Some(pop_block))?;
// Test the inner result for the outer BoolOp
emit!(self, Instruction::Copy { index: 1_u32 });
match op {
ast::BoolOp::And => {
emit!(
self,
Instruction::PopJumpIfFalse {
target: after_block,
}
);
}
ast::BoolOp::Or => {
emit!(
self,
Instruction::PopJumpIfTrue {
target: after_block,
}
);
}
self.switch_to_block(pop_block);
emit!(self, Instruction::PopTop);
continue;
}
self.switch_to_block(pop_block);
emit!(self, Instruction::PopTop);
continue;
}

self.compile_expression(value)?;
Expand Down Expand Up @@ -6707,20 +6706,10 @@ impl Compiler {
emit!(self, Instruction::Copy { index: 1_u32 });
match op {
ast::BoolOp::And => {
emit!(
self,
Instruction::PopJumpIfFalse {
target,
}
);
emit!(self, Instruction::PopJumpIfFalse { target });
}
ast::BoolOp::Or => {
emit!(
self,
Instruction::PopJumpIfTrue {
target,
}
);
emit!(self, Instruction::PopJumpIfTrue { target });
}
}

Expand Down