diff options
author | ZipCPU <dgisselq@ieee.org> | 2018-11-03 13:39:32 -0400 |
---|---|---|
committer | ZipCPU <dgisselq@ieee.org> | 2018-11-03 13:39:32 -0400 |
commit | 39f891aebce87b4a6124c2f7dc5b6b2d04ec2899 (patch) | |
tree | a8f2242d60789d7ad77fee60a380bd262f6521fd /frontends | |
parent | d86ea6badd1911064138c32fc8e65934f923f90e (diff) | |
download | yosys-39f891aebce87b4a6124c2f7dc5b6b2d04ec2899.tar.gz yosys-39f891aebce87b4a6124c2f7dc5b6b2d04ec2899.tar.bz2 yosys-39f891aebce87b4a6124c2f7dc5b6b2d04ec2899.zip |
Make and dependent upon LSB only
Diffstat (limited to 'frontends')
-rw-r--r-- | frontends/ast/simplify.cc | 10 |
1 files changed, 8 insertions, 2 deletions
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(); |