From 89bf16b21e74d8e7468d0a4d7e6b76bc1ede88d5 Mon Sep 17 00:00:00 2001
From: Stephen Williams <steve@icarus.com>
Date: Tue, 22 Jan 2008 20:16:43 -0800
Subject: [PATCH] Signed-ness of parameters

Propagate the signedness of named parameters when they are evaluated.
---
 elab_expr.cc | 5 +++++
 eval_tree.cc | 2 ++
 2 files changed, 7 insertions(+)

diff --git a/elab_expr.cc b/elab_expr.cc
index 015a6f61d..e9023fe7a 100644
--- a/elab_expr.cc
+++ b/elab_expr.cc
@@ -1224,6 +1224,11 @@ NetExpr* PEIdent::elaborate_expr_param(Design*des,
 		  perm_string name = peek_tail_name(path_);
 		  NetEConstParam*ptmp
 			= new NetEConstParam(found_in, name, ctmp->value());
+
+		  if (debug_elaborate)
+			cerr << get_fileline() << ": debug: "
+			     << "Elaborate parameter <" << name
+			     << "> as constant " << *ptmp << endl;
 		  delete tmp;
 		  tmp = ptmp;
 	    }
diff --git a/eval_tree.cc b/eval_tree.cc
index 520dc894b..0216f079b 100644
--- a/eval_tree.cc
+++ b/eval_tree.cc
@@ -1402,6 +1402,8 @@ NetEConst* NetESelect::eval_tree(int prune_to_width)
 	    bval += 1;
       }
 
+      oval.has_sign(has_sign());
+
       NetEConst*res = new NetEConst(oval);
       return res;
 }