simplify numeric negation

89de289b · Zachary Snow · a77347f5 · 89de289b
Commit 89de289b authored Oct 02, 2019 by Zachary Snow
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

src/Language/SystemVerilog/AST/Expr.hs
+4 -0

No files found.
--- a/src/Language/SystemVerilog/AST/Expr.hs
+++ b/src/Language/SystemVerilog/AST/Expr.hs
@@ -164,6 +164,10 @@ readNumber n =
 simplify :: Expr -> Expr
 simplify (UniOp LogNot (Number "1")) = Number "0"
 simplify (UniOp LogNot (Number "0")) = Number "1"
+simplify (orig @ (UniOp UniSub (Number n))) =
+    case readNumber n of
+        Nothing -> orig
+        Just x -> Number $ show (-x)
 simplify (orig @ (Repeat (Number n) exprs)) =
    case readNumber n of
        Nothing -> orig