From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 16 Jun 2014 13:05:37 +0000 (+0200)
Subject: Use undef (x/z vs. NaN) rules for real values from IEEE Std 1800-2012
X-Git-Tag: yosys-0.4~591
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=82bbd2f0772e62555eb669eb64883d75de4ca29a;p=yosys.git

Use undef (x/z vs. NaN) rules for real values from IEEE Std 1800-2012
---

diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc
index 967111d30..3f704bea4 100644
--- a/frontends/ast/ast.cc
+++ b/frontends/ast/ast.cc
@@ -783,6 +783,8 @@ double AstNode::asReal(bool is_signed)
 
 		double v = 0;
 		for (size_t i = 0; i < val.bits.size(); i++)
+			// IEEE Std 1800-2012 Par 6.12.2: Individual bits that are x or z in
+			// the net or the variable shall be treated as zero upon conversion.
 			if (val.bits.at(i) == RTLIL::State::S1)
 				v += exp2(i);
 		if (is_negative)
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 80fd28d55..3f712510b 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -1625,6 +1625,15 @@ skip_dynamic_range_lvalue_expansion:;
 						if (a.bits[i] != b.bits[i])
 							a.bits[i] = RTLIL::State::Sx;
 					newNode = mkconst_bits(a.bits, sign_hint);
+				} else if (children[1]->isConst() && children[2]->isConst()) {
+					newNode = new AstNode(AST_REALVALUE);
+					if (children[1]->asReal(sign_hint) == children[2]->asReal(sign_hint))
+						newNode->realvalue = children[1]->asReal(sign_hint);
+					else
+						// IEEE Std 1800-2012 Sec. 11.4.11 states that the entry in Table 7-1 for
+						// the data type in question should be returned if the ?: is ambiguous. The
+						// value in Table 7-1 for the 'real' type is 0.0.
+						newNode->realvalue = 0.0;
 				}
 			}
 			break;