Expr: add division simplification (#407)

ethereum · Oct 11, 2023 · 15fe3d0 · 15fe3d0
1 parent bec4c44
commit 15fe3d0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/EVM/Expr.hs b/src/EVM/Expr.hs
@@ -954,6 +954,7 @@ simplify e = if (mapExpr go e == e)
     -- Some trivial div eliminations
     go (Div (Lit 0) _) = Lit 0 -- divide 0 by anything (including 0) is zero in EVM
     go (Div _ (Lit 0)) = Lit 0 -- divide anything by 0 is zero in EVM
+    go (Div a (Lit 1)) = a
 
     -- If a >= b then the value of the `Max` expression can never be < b
     go o@(LT (Max (Lit a) _) (Lit b))