luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Unary minus and signed right shift need to extend their arguments. 

In signed contextx, the right shift and unary minus expressions need
to be sign extended before they operate, otherwise there may be bad
results in the high bits in the greater context.
This commit is contained in:
Stephen Williams 2008-08-16 17:30:32 -07:00
parent d2eba7eefe
commit f8bd8e1bd6
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
elab_expr.cc
View File

@ -263,6 +263,8 @@ NetExpr* PEBinary::elaborate_expr_base_(Design*des,
case 'r': // >>
case 'R': // >>>
if (expr_wid > 0)
lp = pad_to_width(lp, expr_wid);
tmp = new NetEBShift(op_, lp, rp);
tmp->set_line(*this);
break;
@ -2030,6 +2032,8 @@ NetExpr* PEUnary::elaborate_expr(Design*des, NetScope*scope,
delete ip;
} else {
if (expr_wid > 0)
ip = pad_to_width(ip, expr_wid);
tmp = new NetEUnary(op_, ip);
tmp->set_line(*this);
}