Remove repeated negations

rems-project · Aug 5, 2024 · 8ef45ec · 8ef45ec
1 parent 7ca5f6c
commit 8ef45ec
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/backend/cn/lib/simplify.ml b/backend/cn/lib/simplify.ml
@@ -379,6 +379,8 @@ module IndexTerms = struct
         let a = aux a in
         (match (op, IT.term a) with
          | Not, Const (Bool b) -> bool_ (not b) the_loc
+         | Not, Unop (Not, x) -> x
+         | Negate, Unop (Negate,x)  -> x
          | Negate, Const (Z z) -> z_ (Z.neg z) the_loc
          | Negate, Const (Bits ((sign, width), z)) ->
            num_lit_ (Z.neg z) (BT.Bits (sign, width)) the_loc