ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 03:04:13 +03:00
Code Issues Packages Projects Releases Wiki Activity

DCE eliminates expr statements that are not function calls

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2023-04-12 09:07:52 -07:00
parent 95a3deac94
commit d26a5f693d
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
compiler/passes/src/dead_code_elimination/eliminate_statement.rs
View File

@ -151,6 +151,8 @@ impl StatementReconstructor for DeadCodeEliminator {
/// Reconstructs expression statements by eliminating any dead code.
fn reconstruct_expression_statement(&mut self, input: ExpressionStatement) -> (Statement, Self::AdditionalOutput) {
match input.expression {
// If the expression is a function call, then we reconstruct it.
// Note that we preserve function calls because they may have side effects.
Expression::Call(expression) => {
// Set the `is_necessary` flag.
self.is_necessary = true;
@ -166,7 +168,17 @@ impl StatementReconstructor for DeadCodeEliminator {
(statement, Default::default())
}
_ => unreachable!("Type checking guarantees that expression statements are always function calls."),
// Any other expression is dead code, since they do not have side effects.
Expression::Access(_)
| Expression::Binary(_)
| Expression::Struct(_)
| Expression::Err(_)
| Expression::Identifier(_)
| Expression::Literal(_)
| Expression::Ternary(_)
| Expression::Tuple(_)
| Expression::Unary(_)
| Expression::Unit(_) => (Statement::dummy(Default::default()), Default::default()),
}
}