language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-08-04 10:50:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

compiler: enhance const propagation

Browse source
This commit is contained in:
Alex Badics 2025-02-14 19:00:40 +01:00 • committed by Olivier Goffart
parent f96ce07287
commit c2e9fa9f66
1 changed files with 32 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

32
internal/compiler/passes/const_propagation.rs
View file

@ -105,6 +105,19 @@ fn simplify_expression(expr: &mut Expression) -> bool {
}
can_inline
}
Expression::UnaryOp { sub, op } => {
let can_inline = simplify_expression(sub);
let new = match (*op, &mut **sub) {
('!', Expression::BoolLiteral(b)) => Some(Expression::BoolLiteral(!*b)),
('-', Expression::NumberLiteral(n, u)) => Some(Expression::NumberLiteral(-*n, *u)),
('+', Expression::NumberLiteral(n, u)) => Some(Expression::NumberLiteral(*n, *u)),
_ => None,
};
if let Some(new) = new {
*expr = new;
}
can_inline
}
Expression::StructFieldAccess { base, name } => {
let r = simplify_expression(base);
if let Expression::Struct { values, .. } = &mut **base {
@ -148,6 +161,25 @@ fn simplify_expression(expr: &mut Expression) -> bool {
}
can_inline
}
Expression::Condition { condition, true_expr, false_expr } => {
let mut can_inline = simplify_expression(condition);
can_inline &= match &**condition {
Expression::BoolLiteral(true) => {
*expr = *true_expr.clone();
simplify_expression(expr)
}
Expression::BoolLiteral(false) => {
*expr = *false_expr.clone();
simplify_expression(expr)
}
_ => simplify_expression(true_expr) && simplify_expression(false_expr),
};
can_inline
}
Expression::CodeBlock(stmts) if stmts.len() == 1 => {
*expr = stmts[0].clone();
simplify_expression(expr)
}
Expression::ElementReference { .. } => false,
Expression::LayoutCacheAccess { .. } => false,
Expression::SolveLayout { .. } => false,