LibJS/Bytecode: Remove pointless basic block in SwitchStatement codegen

This commit is contained in:
Andreas Kling 2024-05-08 12:55:32 +02:00
parent 6873628317
commit 18b8fae85c
Notes: sideshowbarker 2024-07-17 05:09:48 +09:00

View file

@ -2588,7 +2588,6 @@ Bytecode::CodeGenerationErrorOr<Optional<ScopedOperand>> SwitchStatement::genera
for (auto& switch_case : m_cases) {
auto& case_block = generator.make_block();
auto& case_entry_block = generator.make_block();
if (switch_case->test()) {
generator.switch_to_basic_block(*next_test_block);
auto test_value = TRY(switch_case->test()->generate_bytecode(generator)).value();
@ -2597,17 +2596,12 @@ Bytecode::CodeGenerationErrorOr<Optional<ScopedOperand>> SwitchStatement::genera
next_test_block = &generator.make_block();
generator.emit<Bytecode::Op::JumpIf>(
result,
Bytecode::Label { case_entry_block },
Bytecode::Label { case_block },
Bytecode::Label { *next_test_block });
} else {
entry_block_for_default = &case_entry_block;
entry_block_for_default = &case_block;
}
// Initialize the completion value of the switch statement to empty. We can't do this in the case's basic block directly,
// as we must not clobber the possible non-empty completion value of the previous case when falling through.
generator.switch_to_basic_block(case_entry_block);
generator.emit<Bytecode::Op::Jump>(Bytecode::Label { case_block });
case_blocks.append(case_block);
}
generator.switch_to_basic_block(*next_test_block);