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

constant eval of arithmetic with x and z.

This commit is contained in:
steve 2001-12-29 22:10:10 +00:00
parent 9c6b17c887
commit 91b01cd67e
1 changed files with 39 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

65
eval.cc
View File

@ -17,7 +17,7 @@
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
*/ */
#if !defined(WINNT) && !defined(macintosh) #if !defined(WINNT) && !defined(macintosh)
#ident "$Id: eval.cc,v 1.25 2001/12/29 00:43:55 steve Exp $" #ident "$Id: eval.cc,v 1.26 2001/12/29 22:10:10 steve Exp $"
#endif #endif
# include "config.h" # include "config.h"
@ -46,43 +46,53 @@ verinum* PEBinary::eval_const(const Design*des, const NetScope*scope) const
switch (op_) { switch (op_) {
case '+': { case '+': {
assert(l->is_defined()); if (l->is_defined() && r->is_defined()) {
assert(r->is_defined()); long lv = l->as_long();
long lv = l->as_long(); long rv = r->as_long();
long rv = r->as_long(); res = new verinum(lv+rv, l->len());
res = new verinum(lv+rv, l->len()); } else {
res = new verinum(verinum::Vx, l->len());
}
break; break;
} }
case '-': { case '-': {
assert(l->is_defined()); if (l->is_defined() && r->is_defined()) {
assert(r->is_defined()); long lv = l->as_long();
long lv = l->as_long(); long rv = r->as_long();
long rv = r->as_long(); res = new verinum(lv-rv, l->len());
res = new verinum(lv-rv, l->len()); } else {
res = new verinum(verinum::Vx, l->len());
}
break; break;
} }
case '*': { case '*': {
assert(l->is_defined()); if (l->is_defined() && r->is_defined()) {
assert(r->is_defined()); long lv = l->as_long();
long lv = l->as_long(); long rv = r->as_long();
long rv = r->as_long(); res = new verinum(lv * rv, l->len());
res = new verinum(lv * rv, l->len()); } else {
res = new verinum(verinum::Vx, l->len());
}
break; break;
} }
case '/': { case '/': {
assert(l->is_defined()); if (l->is_defined() && r->is_defined()) {
assert(r->is_defined()); long lv = l->as_long();
long lv = l->as_long(); long rv = r->as_long();
long rv = r->as_long(); res = new verinum(lv / rv, l->len());
res = new verinum(lv / rv, l->len()); } else {
res = new verinum(verinum::Vx, l->len());
}
break; break;
} }
case '%': { case '%': {
assert(l->is_defined()); if (l->is_defined() && r->is_defined()) {
assert(r->is_defined()); long lv = l->as_long();
long lv = l->as_long(); long rv = r->as_long();
long rv = r->as_long(); res = new verinum(lv % rv, l->len());
res = new verinum(lv % rv, l->len()); } else {
res = new verinum(verinum::Vx, l->len());
}
break; break;
} }
case 'l': { // left shift (<<) case 'l': { // left shift (<<)
@ -207,6 +217,9 @@ verinum* PEUnary::eval_const(const Design*des, const NetScope*scope) const
/* /*
* $Log: eval.cc,v $ * $Log: eval.cc,v $
* Revision 1.26 2001/12/29 22:10:10 steve
* constant eval of arithmetic with x and z.
*
* Revision 1.25 2001/12/29 00:43:55 steve * Revision 1.25 2001/12/29 00:43:55 steve
* Evaluate constant right shifts. * Evaluate constant right shifts.
* *