From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 21 Jun 2014 19:41:13 +0000 (+0200)
Subject: fixed signdness detection for expressions with reals
X-Git-Tag: yosys-0.4~582
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=65b2e9c0645c30d84a9d9be148430fd76d3e5f05;p=yosys.git

fixed signdness detection for expressions with reals
---

diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
index 1f0ef4450..9f18efce0 100644
--- a/frontends/ast/genrtlil.cc
+++ b/frontends/ast/genrtlil.cc
@@ -594,6 +594,10 @@ void AstNode::detectSignWidthWorker(int &width_hint, bool &sign_hint, bool *foun
 	AstNode *range = NULL;
 	AstNode *id_ast = NULL;
 
+	bool local_found_real = false;
+	if (found_real == NULL)
+		found_real = &local_found_real;
+
 	switch (type)
 	{
 	case AST_CONSTANT:
@@ -603,8 +607,7 @@ void AstNode::detectSignWidthWorker(int &width_hint, bool &sign_hint, bool *foun
 		break;
 
 	case AST_REALVALUE:
-		if (found_real)
-			*found_real = true;
+		*found_real = true;
 		width_hint = std::max(width_hint, 32);
 		break;
 
@@ -787,6 +790,9 @@ void AstNode::detectSignWidthWorker(int &width_hint, bool &sign_hint, bool *foun
 		log_error("Don't know how to detect sign and width for %s node at %s:%d!\n",
 				type2str(type).c_str(), filename.c_str(), linenum);
 	}
+
+	if (*found_real)
+		sign_hint = true;
 }
 
 // detect sign and width of an expression