university/developing-compilers
1
0
Fork 0
Code Activity

do not bubble_binop_vars when not needed

Browse Source
This commit is contained in:
Lionarius
2024-11-13 21:00:41 +03:00
parent ca51061ddd
commit 7c766e45a0
1 changed files with 10 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/ast/optimization.rs
View File

@@ -29,9 +29,8 @@ pub fn bubble_binop_vars(expr: TypedExpr) -> TypedExpr {
let rhs = *rhs; let rhs = *rhs;
let lhs = bubble_binop_vars(lhs); let lhs = bubble_binop_vars(lhs);
let rhs = bubble_binop_vars(rhs);
let (lhs, rhs, op) = match (lhs, rhs) { let (lhs, rhs, op, rebubble) = match (lhs, rhs) {
( (
TypedExpr::BinOp { TypedExpr::BinOp {
lhs: lhs1, lhs: lhs1,
@@ -47,18 +46,22 @@ pub fn bubble_binop_vars(expr: TypedExpr) -> TypedExpr {
}, },
*rhs1, *rhs1,
op1, op1,
true,
), ),
(lhs, rhs) if !lhs.is_const() && rhs.is_const() && op.swappable(&op) => { (lhs, rhs) if !lhs.is_const() && rhs.is_const() && op.swappable(&op) => {
(rhs, lhs, op) (rhs, lhs, op, false)
}, },
(lhs, rhs) if op.precedence() < lhs.precedence() && op.swappable(&op) => { (lhs, rhs) if op.precedence() < lhs.precedence() && op.swappable(&op) => {
(rhs, lhs, op) (rhs, lhs, op, true)
}, },
(lhs, rhs) => (lhs, rhs, op), (lhs, rhs) => (lhs, rhs, op, false),
}; };
let lhs = bubble_binop_vars(lhs); let lhs = if rebubble {
let rhs = bubble_binop_vars(rhs); bubble_binop_vars(lhs)
} else {
lhs
};
TypedExpr::BinOp { TypedExpr::BinOp {
lhs: Box::new(lhs), lhs: Box::new(lhs),