mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-12 04:03:45 +00:00
Code Activity

Merge pull request #688 from ZipCPU/rosenfell

Browse source 
Make rose and fell dependent upon LSB only
This commit is contained in:
Clifford Wolf 2018-11-04 10:04:48 +01:00 committed by GitHub
parent d86ea6badd 39f891aebc
commit 18a4c1cdac
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
frontends/ast/simplify.cc
View file

@ -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();