diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-11-04 10:04:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-04 10:04:48 +0100 |
| commit | 18a4c1cdacc948ef669678f9e3ac1052aadba1a2 (patch) | |
| tree | a8f2242d60789d7ad77fee60a380bd262f6521fd /frontends | |
| parent | d86ea6badd1911064138c32fc8e65934f923f90e (diff) | |
| parent | 39f891aebce87b4a6124c2f7dc5b6b2d04ec2899 (diff) | |
| download | yosys-18a4c1cdacc948ef669678f9e3ac1052aadba1a2.tar.gz yosys-18a4c1cdacc948ef669678f9e3ac1052aadba1a2.tar.bz2 yosys-18a4c1cdacc948ef669678f9e3ac1052aadba1a2.zip | |
Merge pull request #688 from ZipCPU/rosenfell
Make rose and fell 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(); |