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

Generate runtime code to normalize indices.

This commit is contained in:
steve 2002-06-16 19:19:16 +00:00
parent 067d09720c
commit df0b81d94d
4 changed files with 61 additions and 46 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

79
t-dll-expr.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: t-dll-expr.cc,v 1.24 2002/05/29 22:05:54 steve Exp $" #ident "$Id: t-dll-expr.cc,v 1.25 2002/06/16 19:19:16 steve Exp $"
#endif #endif
# include "config.h" # include "config.h"
@ -293,16 +293,13 @@ void dll_target::expr_subsignal(const NetEBitSel*net)
ivl_expr_t expr = (ivl_expr_t)calloc(1, sizeof(struct ivl_expr_s)); ivl_expr_t expr = (ivl_expr_t)calloc(1, sizeof(struct ivl_expr_s));
assert(expr); assert(expr);
if (net->sig()->lsb() > net->sig()->msb() ) {
cerr << net->get_line() << ": sorry: LSB for signal "
<< "is > MSB." << endl;
}
expr->type_ = IVL_EX_BITSEL; expr->type_ = IVL_EX_BITSEL;
expr->width_= net->expr_width(); expr->width_= net->expr_width();
expr->signed_ = net->has_sign()? 1 : 0; expr->signed_ = net->has_sign()? 1 : 0;
expr->u_.bitsel_.sig = find_signal(des_, net->sig()); expr->u_.bitsel_.sig = find_signal(des_, net->sig());
assert(expr->u_.bitsel_.sig->lsb_index == net->sig()->lsb());
net->index()->expr_scan(this); net->index()->expr_scan(this);
assert(expr_); assert(expr_);
expr->u_.bitsel_.bit = expr_; expr->u_.bitsel_.bit = expr_;
@ -322,12 +319,12 @@ void dll_target::expr_subsignal(const NetEBitSel*net)
to reflect the normalizing of vectors that is done by the to reflect the normalizing of vectors that is done by the
compiler. */ compiler. */
if (net->sig()->lsb() != 0) { if (expr->u_.bitsel_.sig->lsb_index != 0) {
/* Create in tmpc the constant offset (4 in the above /* Create in tmpc the constant offset (4 in the above
example) to be subtracted from the index. */ example) to be subtracted from the index. */
char*bits; char*bits;
long lsb = net->sig()->lsb(); long lsb = expr->u_.bitsel_.sig->lsb_index;
ivl_expr_t tmpc = (ivl_expr_t)calloc(1, sizeof(struct ivl_expr_s)); ivl_expr_t tmpc = (ivl_expr_t)calloc(1, sizeof(struct ivl_expr_s));
tmpc->type_ = IVL_EX_NUMBER; tmpc->type_ = IVL_EX_NUMBER;
tmpc->width_ = expr->u_.bitsel_.bit->width_; tmpc->width_ = expr->u_.bitsel_.bit->width_;
@ -351,6 +348,34 @@ void dll_target::expr_subsignal(const NetEBitSel*net)
/* Replace (x) with (x-4) */ /* Replace (x) with (x-4) */
expr->u_.bitsel_.bit = tmps; expr->u_.bitsel_.bit = tmps;
/* If the index item distance (the distance to the next
most significant bit) is not 1, then multiply the
previous result to convert the index. */
if (expr->u_.bitsel_.sig->lsb_dist != 1) {
long dist = expr->u_.bitsel_.sig->lsb_dist;
tmpc = (ivl_expr_t)calloc(1, sizeof(struct ivl_expr_s));
tmpc->type_ = IVL_EX_NUMBER;
tmpc->width_ = expr->u_.bitsel_.bit->width_;
tmpc->signed_ = 1;
tmpc->u_.number_.bits_ = bits = (char*)malloc(tmpc->width_);
for (unsigned idx = 0 ; idx < tmpc->width_ ; idx += 1) {
bits[idx] = (dist & 1)? '1' : '0';
dist >>= 1;
}
tmps = (ivl_expr_t)calloc(1, sizeof(struct ivl_expr_s));
tmps->type_ = IVL_EX_BINARY;
tmps->width_ = tmpc->width_;
tmps->signed_ = 1;
tmps->u_.binary_.op_ = '*';
tmps->u_.binary_.lef_ = expr->u_.bitsel_.bit;
tmps->u_.binary_.rig_ = tmpc;
expr->u_.bitsel_.bit = tmps;
}
} }
expr_ = expr; expr_ = expr;
@ -404,6 +429,9 @@ void dll_target::expr_unary(const NetEUnary*net)
/* /*
* $Log: t-dll-expr.cc,v $ * $Log: t-dll-expr.cc,v $
* Revision 1.25 2002/06/16 19:19:16 steve
* Generate runtime code to normalize indices.
*
* Revision 1.24 2002/05/29 22:05:54 steve * Revision 1.24 2002/05/29 22:05:54 steve
* Offset lvalue index expressions. * Offset lvalue index expressions.
* *
@ -448,40 +476,5 @@ void dll_target::expr_unary(const NetEUnary*net)
* Revision 1.12 2001/05/08 23:59:33 steve * Revision 1.12 2001/05/08 23:59:33 steve
* Add ivl and vvp.tgt support for memories in * Add ivl and vvp.tgt support for memories in
* expressions and l-values. (Stephan Boettcher) * expressions and l-values. (Stephan Boettcher)
*
* Revision 1.11 2001/04/06 02:28:02 steve
* Generate vvp code for functions with ports.
*
* Revision 1.10 2001/04/05 01:12:28 steve
* Get signed compares working correctly in vvp.
*
* Revision 1.9 2001/04/02 00:28:35 steve
* Support the scope expression node.
*
* Revision 1.8 2001/03/29 02:52:39 steve
* Add unary ~ operator to tgt-vvp.
*
* Revision 1.7 2000/10/28 22:32:34 steve
* API for concatenation expressions.
*
* Revision 1.6 2000/10/28 17:55:03 steve
* stub for the concat operator.
*
* Revision 1.5 2000/10/05 05:03:01 steve
* xor and constant devices.
*
* Revision 1.4 2000/09/30 02:18:15 steve
* ivl_expr_t support for binary operators,
* Create a proper ivl_scope_t object.
*
* Revision 1.3 2000/09/26 00:30:07 steve
* Add EX_NUMBER and ST_TRIGGER to dll-api.
*
* Revision 1.2 2000/09/24 02:21:53 steve
* Add support for signal expressions.
*
* Revision 1.1 2000/09/23 05:15:07 steve
* Add enough tgt-verilog code to support hello world.
*
*/ */

11
t-dll-proc.cc
View File

@ -18,7 +18,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: t-dll-proc.cc,v 1.47 2002/06/05 03:44:25 steve Exp $" #ident "$Id: t-dll-proc.cc,v 1.48 2002/06/16 19:19:16 steve Exp $"
#endif #endif
# include "config.h" # include "config.h"
@ -136,6 +136,8 @@ void dll_target::proc_assign(const NetAssign*net)
stmt_cur_->u_.assign_.lval_ = new struct ivl_lval_s[cnt]; stmt_cur_->u_.assign_.lval_ = new struct ivl_lval_s[cnt];
stmt_cur_->u_.assign_.delay = 0; stmt_cur_->u_.assign_.delay = 0;
/* The assignment may have multiple concatenated
l-values. Scan them and accumulate an ivl_lval_t list. */
for (unsigned idx = 0 ; idx < cnt ; idx += 1) { for (unsigned idx = 0 ; idx < cnt ; idx += 1) {
struct ivl_lval_s*cur = stmt_cur_->u_.assign_.lval_ + idx; struct ivl_lval_s*cur = stmt_cur_->u_.assign_.lval_ + idx;
const NetAssign_*asn = net->l_val(idx); const NetAssign_*asn = net->l_val(idx);
@ -150,6 +152,10 @@ void dll_target::proc_assign(const NetAssign*net)
if (asn->bmux()) { if (asn->bmux()) {
assert(expr_ == 0); assert(expr_ == 0);
asn->bmux()->expr_scan(this); asn->bmux()->expr_scan(this);
if (asn->sig()->lsb() != 0)
sub_off_from_expr_(asn->sig()->lsb());
cur->type_ = IVL_LVAL_MUX; cur->type_ = IVL_LVAL_MUX;
cur->idx = expr_; cur->idx = expr_;
expr_ = 0; expr_ = 0;
@ -776,6 +782,9 @@ void dll_target::proc_while(const NetWhile*net)
/* /*
* $Log: t-dll-proc.cc,v $ * $Log: t-dll-proc.cc,v $
* Revision 1.48 2002/06/16 19:19:16 steve
* Generate runtime code to normalize indices.
*
* Revision 1.47 2002/06/05 03:44:25 steve * Revision 1.47 2002/06/05 03:44:25 steve
* Add support for memory words in l-value of * Add support for memory words in l-value of
* non-blocking assignments, and remove the special * non-blocking assignments, and remove the special

7
t-dll.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: t-dll.cc,v 1.84 2002/05/26 01:39:03 steve Exp $" #ident "$Id: t-dll.cc,v 1.85 2002/06/16 19:19:16 steve Exp $"
#endif #endif
# include "config.h" # include "config.h"
@ -1821,6 +1821,8 @@ void dll_target::signal(const NetNet*net)
obj->width_ = net->pin_count(); obj->width_ = net->pin_count();
obj->signed_= net->get_signed()? 1 : 0; obj->signed_= net->get_signed()? 1 : 0;
obj->lsb_index = net->lsb();
obj->lsb_dist = net->msb() >= net->lsb() ? 1 : -1;
switch (net->port_type()) { switch (net->port_type()) {
@ -1946,6 +1948,9 @@ extern const struct target tgt_dll = { "dll", &dll_target_obj };
/* /*
* $Log: t-dll.cc,v $ * $Log: t-dll.cc,v $
* Revision 1.85 2002/06/16 19:19:16 steve
* Generate runtime code to normalize indices.
*
* Revision 1.84 2002/05/26 01:39:03 steve * Revision 1.84 2002/05/26 01:39:03 steve
* Carry Verilog 2001 attributes with processes, * Carry Verilog 2001 attributes with processes,
* all the way through to the ivl_target API. * all the way through to the ivl_target API.

10
t-dll.h
View File

@ -19,7 +19,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: t-dll.h,v 1.83 2002/06/05 03:44:25 steve Exp $" #ident "$Id: t-dll.h,v 1.84 2002/06/16 19:19:16 steve Exp $"
#endif #endif
# include "target.h" # include "target.h"
@ -503,6 +503,11 @@ struct ivl_signal_s {
unsigned width_ :24; unsigned width_ :24;
unsigned signed_ : 1; unsigned signed_ : 1;
/* These encode the run-time index for the least significant
bit, and the distance to the second bit. */
signed lsb_index :24;
signed lsb_dist : 8;
char*name_; char*name_;
ivl_scope_t scope_; ivl_scope_t scope_;
@ -603,6 +608,9 @@ struct ivl_statement_s {
/* /*
* $Log: t-dll.h,v $ * $Log: t-dll.h,v $
* Revision 1.84 2002/06/16 19:19:16 steve
* Generate runtime code to normalize indices.
*
* Revision 1.83 2002/06/05 03:44:25 steve * Revision 1.83 2002/06/05 03:44:25 steve
* Add support for memory words in l-value of * Add support for memory words in l-value of
* non-blocking assignments, and remove the special * non-blocking assignments, and remove the special