analysis: add support for Eq

ekiwi · Jan 9, 2024 · eea9f20 · eea9f20
1 parent c38ecb1
commit eea9f20
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/rtlrepair/analysis.py b/rtlrepair/analysis.py
@@ -268,6 +268,8 @@ def eval_const_expr(node: vast.Node, const_values: dict[str, int], widths: [vast
         value = eval_const_expr(node.left, const_values, widths) // eval_const_expr(node.right, const_values, widths)
     elif isinstance(node, vast.Land):
         value = eval_const_expr(node.left, const_values, widths) & eval_const_expr(node.right, const_values, widths)
+    elif isinstance(node, vast.Eq):
+        value = int(eval_const_expr(node.left, const_values, widths) == eval_const_expr(node.right, const_values, widths))
     elif isinstance(node, vast.Ulnot):
         value = ~eval_const_expr(node.left, const_values, widths)
     elif isinstance(node, vast.Width):