Uncloak array expressions generated by read_verilog -dump_vlog2

Explicit conversion of AST_TO_SIGNED, AST_TO_UNSIGNED, and AST_CAST_SIZE makes it possible to reason about simplified array expressions.
YosysHQ · Nov 9, 2023 · 09d4821 · 09d4821
1 parent 068931e
commit 09d4821
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc
@@ -658,11 +658,20 @@ void AstNode::dumpVlog(FILE *f, std::string indent) const
 	if (0) { case AST_NEG:         txt = "-";  }
 	if (0) { case AST_LOGIC_NOT:   txt = "!";  }
 	if (0) { case AST_SELFSZ:      txt = "@selfsz@";  }
+	if (0) { case AST_TO_SIGNED:   txt = "signed'";  }
+	if (0) { case AST_TO_UNSIGNED: txt = "unsigned'";  }
 		fprintf(f, "%s(", txt.c_str());
 		children[0]->dumpVlog(f, "");
 		fprintf(f, ")");
 		break;
 
+	case AST_CAST_SIZE:
+		children[0]->dumpVlog(f, "");
+		fprintf(f, "'(");
+		children[1]->dumpVlog(f, "");
+		fprintf(f, ")");
+		break;
+
 	if (0) { case AST_BIT_AND:      txt = "&";   }
 	if (0) { case AST_BIT_OR:       txt = "|";   }
 	if (0) { case AST_BIT_XOR:      txt = "^";   }