From: ZipCPU <dgisselq@ieee.org>
Date: Sat, 3 Nov 2018 17:39:32 +0000 (-0400)
Subject: Make  and  dependent upon LSB only
X-Git-Tag: yosys-0.9~424^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=39f891aebce87b4a6124c2f7dc5b6b2d04ec2899;p=yosys.git

Make  and  dependent upon LSB only
---

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index fcadd329a..9688b77bc 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -1874,10 +1874,16 @@ skip_dynamic_range_lvalue_expansion:;
 					newNode = new AstNode(AST_NE, past, present);
 
 				else if (str == "\\$rose")
-					newNode = new AstNode(AST_LOGIC_AND, new AstNode(AST_LOGIC_NOT, past), present);
+					newNode = new AstNode(AST_LOGIC_AND,
+						new AstNode(AST_LOGIC_NOT,
+							new AstNode(AST_BIT_AND, past, mkconst_int(1,false))),
+							new AstNode(AST_BIT_AND, present, mkconst_int(1,false)));
 
 				else if (str == "\\$fell")
-					newNode = new AstNode(AST_LOGIC_AND, past, new AstNode(AST_LOGIC_NOT, present));
+					newNode = new AstNode(AST_LOGIC_AND,
+						new AstNode(AST_BIT_AND, past, mkconst_int(1,false)),
+						new AstNode(AST_LOGIC_NOT,
+							new AstNode(AST_BIT_AND, present, mkconst_int(1,false))));
 
 				else
 					log_abort();