pform_dump.cc

   1 /*
   2  * Copyright (c) 1998-2006 Stephen Williams (steve@icarus.com)
   3  *
   4  *    This source code is free software; you can redistribute it
   5  *    and/or modify it in source code form under the terms of the GNU
   6  *    General Public License as published by the Free Software
   7  *    Foundation; either version 2 of the License, or (at your option)
   8  *    any later version.
   9  *
  10  *    This program is distributed in the hope that it will be useful,
  11  *    but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  *    GNU General Public License for more details.
  14  *
  15  *    You should have received a copy of the GNU General Public License
  16  *    along with this program; if not, write to the Free Software
  17  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  18  */
  19 #ifdef HAVE_CVS_IDENT
  20 #ident "$Id: pform_dump.cc,v 1.101 2007/06/04 02:19:07 steve Exp $"
  21 #endif
  22
  23 # include "config.h"
  24
  25 /*
  26  * This file provides the pform_dump function, that dumps the module
  27  * passed as a parameter. The dump is as much as possible in Verilog
  28  * syntax, so that a human can tell that it really does describe the
  29  * module in question.
  30  */
  31 # include  "pform.h"
  32 # include  "PEvent.h"
  33 # include  "PGenerate.h"
  34 # include  "PSpec.h"
  35 # include  <iostream>
  36 # include  <iomanip>
  37 # include  <typeinfo>
  38
  39 ostream& operator << (ostream&out, const PExpr&obj)
  40 {
  41       obj.dump(out);
  42       return out;
  43 }
  44
  45 ostream& operator << (ostream&o, const PDelays&d)
  46 {
  47       d.dump_delays(o);
  48       return o;
  49 }
  50
  51 ostream& operator<< (ostream&o, PGate::strength_t str)
  52 {
  53       switch (str) {
  54           case PGate::HIGHZ:
  55             o << "highz";
  56             break;
  57           case PGate::WEAK:
  58             o << "weak";
  59             break;
  60           case PGate::PULL:
  61             o << "pull";
  62             break;
  63           case PGate::STRONG:
  64             o << "strong";
  65             break;
  66           case PGate::SUPPLY:
  67             o << "supply";
  68             break;
  69           default:
  70             assert(0);
  71       }
  72       return o;
  73 }
  74
  75 ostream& operator<< (ostream&out, perm_string that)
  76 {
  77       out << that.str();
  78       return out;
  79 }
  80
  81 ostream& operator<< (ostream&out, const index_component_t&that)
  82 {
  83       out << "[";
  84       switch (that.sel) {
  85           case index_component_t::SEL_BIT:
  86             out << *that.msb;
  87             break;
  88           case index_component_t::SEL_PART:
  89             out << *that.msb << ":" << *that.lsb;
  90             break;
  91           case index_component_t::SEL_IDX_UP:
  92             out << *that.msb << "+:" << *that.lsb;
  93             break;
  94           case index_component_t::SEL_IDX_DO:
  95             out << *that.msb << "-:" << *that.lsb;
  96             break;
  97           default:
  98             out << "???";
  99             break;
 100       }
 101       out << "]";
 102       return out;
 103  }
 104
 105 ostream& operator<< (ostream&out, const name_component_t&that)
 106 {
 107       out << that.name.str();
 108
 109       typedef std::list<index_component_t>::const_iterator index_it_t;
 110       for (index_it_t idx = that.index.begin()
 111                  ; idx != that.index.end() ;  idx++) {
 112
 113             out << *idx;
 114       }
 115       return out;
 116 }
 117
 118 ostream& operator<< (ostream&o, const pform_name_t&that)
 119 {
 120       pform_name_t::const_iterator cur;
 121
 122       cur = that.begin();
 123       o << *cur;
 124
 125       cur++;
 126       while (cur != that.end()) {
 127             o << "." << *cur;
 128             cur++;
 129       }
 130
 131       return o;
 132 }
 133
 134 void PExpr::dump(ostream&out) const
 135 {
 136       out << typeid(*this).name();
 137 }
 138
 139 void PEConcat::dump(ostream&out) const
 140 {
 141       if (repeat_)
 142             out << "{" << *repeat_;
 143
 144       if (parms_.count() == 0) {
 145             out << "{}";
 146             return;
 147       }
 148
 149       out << "{";
 150       if (parms_[0]) out << *parms_[0];
 151       for (unsigned idx = 1 ;  idx < parms_.count() ;  idx += 1) {
 152             out << ", ";
 153             if (parms_[idx]) out << *parms_[idx];
 154       }
 155
 156       out << "}";
 157
 158       if (repeat_) out << "}";
 159 }
 160
 161 void PECallFunction::dump(ostream &out) const
 162 {
 163       out << path_ << "(";
 164
 165       if (parms_.count() > 0) {
 166             if (parms_[0]) parms_[0]->dump(out);
 167             for (unsigned idx = 1; idx < parms_.count(); ++idx) {
 168                   out << ", ";
 169                   if (parms_[idx]) parms_[idx]->dump(out);
 170             }
 171       }
 172       out << ")";
 173 }
 174
 175 void PEEvent::dump(ostream&out) const
 176 {
 177       switch (type_) {
 178           case PEEvent::ANYEDGE:
 179             break;
 180           case PEEvent::POSEDGE:
 181             out << "posedge ";
 182             break;
 183           case PEEvent::NEGEDGE:
 184             out << "negedge ";
 185             break;
 186           case PEEvent::POSITIVE:
 187             out << "positive ";
 188             break;
 189       }
 190       out << *expr_;
 191
 192 }
 193
 194 void PEFNumber::dump(ostream &out) const
 195 {
 196       out << value();
 197 }
 198
 199 void PENumber::dump(ostream&out) const
 200 {
 201       out << value();
 202 }
 203
 204 void PEIdent::dump(ostream&out) const
 205 {
 206       out << path_;
 207 }
 208
 209 void PEString::dump(ostream&out) const
 210 {
 211       out << "\"" << text_ << "\"";
 212 }
 213
 214 void PETernary::dump(ostream&out) const
 215 {
 216       out << "(" << *expr_ << ")?(" << *tru_ << "):(" << *fal_ << ")";
 217 }
 218
 219 void PEUnary::dump(ostream&out) const
 220 {
 221       out << op_ << "(" << *expr_ << ")";
 222 }
 223
 224 void PEBinary::dump(ostream&out) const
 225 {
 226       out << "(" << *left_ << ")";
 227       switch (op_) {
 228           case 'a':
 229             out << "&&";
 230             break;
 231           case 'e':
 232             out << "==";
 233             break;
 234           case 'E':
 235             out << "===";
 236             break;
 237           case 'l':
 238             out << "<<";
 239             break;
 240           case 'n':
 241             out << "!=";
 242             break;
 243           case 'N':
 244             out << "!==";
 245             break;
 246           case 'r':
 247             out << ">>";
 248             break;
 249           default:
 250             out << op_;
 251             break;
 252       }
 253       out << "(" << *right_ << ")";
 254 }
 255
 256
 257 void PWire::dump(ostream&out, unsigned ind) const
 258 {
 259       out << setw(ind) << "" << type_;
 260
 261       switch (port_type_) {
 262           case NetNet::PIMPLICIT:
 263             out << " implicit input";
 264             break;
 265           case NetNet::PINPUT:
 266             out << " input";
 267             break;
 268           case NetNet::POUTPUT:
 269             out << " output";
 270             break;
 271           case NetNet::PINOUT:
 272             out << " inout";
 273             break;
 274           case NetNet::NOT_A_PORT:
 275             break;
 276       }
 277
 278       out << " " << data_type_;
 279
 280       if (signed_) {
 281             out << " signed";
 282       }
 283
 284       if (port_set_) {
 285             if (port_msb_ == 0) {
 286                   out << " port<scalar>";
 287             } else {
 288                   out << " port[" << *port_msb_ << ":" << *port_lsb_ << "]";
 289             }
 290       }
 291       if (net_set_) {
 292             if (net_msb_ == 0) {
 293                   out << " net<scalar>";
 294             } else {
 295                   out << " net[" << *net_msb_ << ":" << *net_lsb_ << "]";
 296             }
 297       }
 298
 299       out << " " << hname_;
 300
 301         // If the wire has indices, dump them.
 302       if (lidx_ || ridx_) {
 303             out << "[";
 304             if (lidx_) out << *lidx_;
 305             if (ridx_) out << ":" << *ridx_;
 306             out << "]";
 307       }
 308
 309       out << ";" << endl;
 310       for (map<perm_string,PExpr*>::const_iterator idx = attributes.begin()
 311                  ; idx != attributes.end()
 312                  ; idx ++) {
 313             out << "        " << (*idx).first;
 314             if ((*idx).second)
 315                   out << " = " << *(*idx).second;
 316             out << endl;
 317       }
 318 }
 319
 320 void PGate::dump_pins(ostream&out) const
 321 {
 322       if (pin_count()) {
 323             if (pin(0)) out << *pin(0);
 324
 325             for (unsigned idx = 1 ;  idx < pin_count() ;  idx += 1) {
 326                   out << ", ";
 327                   if (pin(idx)) out << *pin(idx);
 328             }
 329       }
 330 }
 331
 332 void PDelays::dump_delays(ostream&out) const
 333 {
 334       if (delay_[0] && delay_[1] && delay_[2])
 335             out << "#(" << *delay_[0] << "," << *delay_[1] << "," <<
 336                   *delay_[2] << ")";
 337       else if (delay_[0])
 338             out << "#" << *delay_[0];
 339       else
 340             out << "#0";
 341
 342 }
 343
 344 void PGate::dump_delays(ostream&out) const
 345 {
 346       delay_.dump_delays(out);
 347 }
 348
 349 void PGate::dump(ostream&out, unsigned ind) const
 350 {
 351       out << setw(ind) << "" << typeid(*this).name() << " ";
 352       delay_.dump_delays(out);
 353       out << " " << get_name() << "(";
 354       dump_pins(out);
 355       out << ");" << endl;
 356
 357 }
 358
 359 void PGAssign::dump(ostream&out, unsigned ind) const
 360 {
 361       out << setw(ind) << "";
 362       out << "assign (" << strength0() << "0 " << strength1() << "1) ";
 363       dump_delays(out);
 364       out << " " << *pin(0) << " = " << *pin(1) << ";" << endl;
 365 }
 366
 367 void PGBuiltin::dump(ostream&out, unsigned ind) const
 368 {
 369       out << setw(ind) << "";
 370       switch (type()) {
 371           case PGBuiltin::BUFIF0:
 372             out << "bufif0 ";
 373             break;
 374           case PGBuiltin::BUFIF1:
 375             out << "bufif1 ";
 376             break;
 377           case PGBuiltin::NOTIF0:
 378             out << "bufif0 ";
 379             break;
 380           case PGBuiltin::NOTIF1:
 381             out << "bufif1 ";
 382             break;
 383           case PGBuiltin::NAND:
 384             out << "nand ";
 385             break;
 386           case PGBuiltin::NMOS:
 387             out << "nmos ";
 388             break;
 389           case PGBuiltin::RNMOS:
 390             out << "rnmos ";
 391             break;
 392           case PGBuiltin::RPMOS:
 393             out << "rpmos ";
 394             break;
 395           case PGBuiltin::PMOS:
 396             out << "pmos ";
 397             break;
 398           case PGBuiltin::RCMOS:
 399             out << "rcmos ";
 400             break;
 401           case PGBuiltin::CMOS:
 402             out << "cmos ";
 403             break;
 404           default:
 405             out << "builtin gate ";
 406       }
 407
 408       out << "(" << strength0() << "0 " << strength1() << "1) ";
 409       dump_delays(out);
 410       out << " " << get_name();
 411
 412       if (msb_) {
 413             out << " [" << *msb_ << ":" << *lsb_ << "]";
 414       }
 415
 416       out << "(";
 417       dump_pins(out);
 418       out << ");" << endl;
 419 }
 420
 421 void PGModule::dump(ostream&out, unsigned ind) const
 422 {
 423       out << setw(ind) << "" << type_ << " ";
 424
 425         // If parameters are overridden by order, dump them.
 426       if (overrides_ && overrides_->count() > 0) {
 427             assert(parms_ == 0);
 428             out << "#(";
 429
 430             if ((*overrides_)[0] == 0)
 431                   out << "<nil>";
 432             else
 433                   out << *((*overrides_)[0]);
 434             for (unsigned idx = 1 ;  idx < overrides_->count() ;  idx += 1) {
 435                   out << "," << *((*overrides_)[idx]);
 436             }
 437             out << ") ";
 438       }
 439
 440         // If parameters are overridden by name, dump them.
 441       if (parms_) {
 442             assert(overrides_ == 0);
 443             out << "#(";
 444             out << "." << parms_[0].name << "(" << *parms_[0].parm << ")";
 445             for (unsigned idx = 1 ;  idx < nparms_ ;  idx += 1) {
 446                   out << ", ." << parms_[idx].name << "(" <<
 447                         *parms_[idx].parm << ")";
 448             }
 449             out << ") ";
 450       }
 451
 452       out << get_name();
 453
 454         // If the module is arrayed, print the index expressions.
 455       if (msb_ || lsb_) {
 456             out << "[";
 457             if (msb_) out << *msb_;
 458             out << ":";
 459             if (lsb_) out << *lsb_;
 460             out << "]";
 461       }
 462
 463       out << "(";
 464       if (pins_) {
 465             out << "." << pins_[0].name << "(";
 466             if (pins_[0].parm) out << *pins_[0].parm;
 467             out << ")";
 468             for (unsigned idx = 1 ;  idx < npins_ ;  idx += 1) {
 469                   out << ", ." << pins_[idx].name << "(";
 470                   if (pins_[idx].parm)
 471                         out << *pins_[idx].parm;
 472                   out << ")";
 473             }
 474       } else {
 475             dump_pins(out);
 476       }
 477       out << ");" << endl;
 478 }
 479
 480 void Statement::dump(ostream&out, unsigned ind) const
 481 {
 482         /* I give up. I don't know what type this statement is,
 483            so just print the C++ typeid and let the user figure
 484            it out. */
 485       out << setw(ind) << "";
 486       out << "/* " << get_line() << ": " << typeid(*this).name()
 487           << " */ ;" << endl;
 488 }
 489
 490 void PAssign::dump(ostream&out, unsigned ind) const
 491 {
 492       out << setw(ind) << "";
 493       out << *lval() << " = " << delay_ << " " << *rval() << ";";
 494       out << "  /* " << get_line() << " */" << endl;
 495 }
 496
 497 void PAssignNB::dump(ostream&out, unsigned ind) const
 498 {
 499       out << setw(ind) << "";
 500       out << *lval() << " <= " << delay_ << " " << *rval() << ";";
 501       out << "  /* " << get_line() << " */" << endl;
 502 }
 503
 504 void PBlock::dump(ostream&out, unsigned ind) const
 505 {
 506       out << setw(ind) << "" << "begin";
 507       if (name_ != 0)
 508             out << " : " << name_;
 509       out << endl;
 510
 511       for (unsigned idx = 0 ;  idx < list_.count() ;  idx += 1) {
 512             if (list_[idx])
 513                   list_[idx]->dump(out, ind+2);
 514             else
 515                   out << setw(ind+2) << "" << "/* NOOP */ ;" << endl;
 516       }
 517
 518       out << setw(ind) << "" << "end" << endl;
 519 }
 520
 521 void PCallTask::dump(ostream&out, unsigned ind) const
 522 {
 523       out << setw(ind) << "" << path_;
 524
 525       if (parms_.count() > 0) {
 526             out << "(";
 527             if (parms_[0])
 528                   out << *parms_[0];
 529
 530             for (unsigned idx = 1 ;  idx < parms_.count() ;  idx += 1) {
 531                   out << ", ";
 532                   if (parms_[idx])
 533                         out << *parms_[idx];
 534             }
 535             out << ")";
 536       }
 537
 538       out << "; /* " << get_line() << " */" << endl;
 539 }
 540
 541 void PCase::dump(ostream&out, unsigned ind) const
 542 {
 543       out << setw(ind) << "";
 544       switch (type_) {
 545           case NetCase::EQ:
 546             out << "case";
 547             break;
 548           case NetCase::EQX:
 549             out << "casex";
 550             break;
 551           case NetCase::EQZ:
 552             out << "casez";
 553             break;
 554       }
 555       out << " (" << *expr_ << ") /* " << get_line() << " */" << endl;
 556
 557       for (unsigned idx = 0 ;  idx < items_->count() ;  idx += 1) {
 558             PCase::Item*cur = (*items_)[idx];
 559
 560             if (cur->expr.count() == 0) {
 561                   out << setw(ind+2) << "" << "default:";
 562
 563             } else {
 564                   out << setw(ind+2) << "" << *cur->expr[0];
 565
 566                   for(unsigned e = 1 ; e < cur->expr.count() ; e += 1)
 567                         out << ", " << *cur->expr[e];
 568
 569                   out << ":";
 570             }
 571
 572             if (cur->stat) {
 573                   out << endl;
 574                   cur->stat->dump(out, ind+6);
 575             } else {
 576                   out << " ;" << endl;
 577             }
 578       }
 579
 580       out << setw(ind) << "" << "endcase" << endl;
 581 }
 582
 583 void PCondit::dump(ostream&out, unsigned ind) const
 584 {
 585       out << setw(ind) << "" << "if (" << *expr_ << ")" << endl;
 586       if (if_)
 587             if_->dump(out, ind+3);
 588       else
 589             out << setw(ind) << ";" << endl;
 590       if (else_) {
 591             out << setw(ind) << "" << "else" << endl;
 592             else_->dump(out, ind+3);
 593       }
 594 }
 595
 596 void PCAssign::dump(ostream&out, unsigned ind) const
 597 {
 598       out << setw(ind) << "" << "assign " << *lval_ << " = " << *expr_
 599           << "; /* " << get_line() << " */" << endl;
 600 }
 601
 602 void PDeassign::dump(ostream&out, unsigned ind) const
 603 {
 604       out << setw(ind) << "" << "deassign " << *lval_ << "; /* "
 605           << get_line() << " */" << endl;
 606 }
 607
 608 void PDelayStatement::dump(ostream&out, unsigned ind) const
 609 {
 610       out << setw(ind) << "" << "#" << *delay_ << " /* " <<
 611             get_line() << " */";
 612       if (statement_) {
 613             out << endl;
 614             statement_->dump(out, ind+2);
 615       } else {
 616             out << " /* noop */;" << endl;
 617       }
 618 }
 619
 620 void PDisable::dump(ostream&out, unsigned ind) const
 621 {
 622       out << setw(ind) << "" << "disable " << scope_ << "; /* "
 623           << get_line() << " */" << endl;
 624 }
 625
 626 void PEventStatement::dump(ostream&out, unsigned ind) const
 627 {
 628       if (expr_.count() == 0) {
 629             out << setw(ind) << "" << "@* ";
 630
 631       } else {
 632             out << setw(ind) << "" << "@(" << *(expr_[0]);
 633             if (expr_.count() > 1)
 634                   for (unsigned idx = 1 ;  idx < expr_.count() ;  idx += 1)
 635                         out << " or " << *(expr_[idx]);
 636
 637             out << ")";
 638       }
 639
 640       if (statement_) {
 641             out << endl;
 642             statement_->dump(out, ind+2);
 643       } else {
 644             out << " ;" << endl;
 645       }
 646 }
 647
 648 void PForce::dump(ostream&out, unsigned ind) const
 649 {
 650       out << setw(ind) << "" << "force " << *lval_ << " = " << *expr_
 651           << "; /* " << get_line() << " */" << endl;
 652 }
 653
 654 void PForever::dump(ostream&out, unsigned ind) const
 655 {
 656       out << setw(ind) << "" << "forever /* " << get_line() << " */" << endl;
 657       statement_->dump(out, ind+3);
 658 }
 659
 660 void PForStatement::dump(ostream&out, unsigned ind) const
 661 {
 662       out << setw(ind) << "" << "for (" << *name1_ << " = " << *expr1_
 663           << "; " << *cond_ << "; " << *name2_ << " = " << *expr2_ <<
 664             ")" << endl;
 665       statement_->dump(out, ind+3);
 666 }
 667
 668 void PFunction::dump(ostream&out, unsigned ind) const
 669 {
 670       out << setw(ind) << "" << "function ";
 671       switch (return_type_.type) {
 672           case PTF_NONE:
 673             out << "?none? ";
 674             break;
 675           case PTF_REG:
 676             out << "reg ";
 677             break;
 678           case PTF_REG_S:
 679             out << "reg_s ";
 680             break;
 681           case PTF_INTEGER:
 682             out << "integer ";
 683             break;
 684           case PTF_REAL:
 685             out << "real ";
 686             break;
 687           case PTF_REALTIME:
 688             out << "realtime ";
 689             break;
 690           case PTF_TIME:
 691             out << "time ";
 692             break;
 693       }
 694
 695       if (return_type_.range) {
 696             out << "[";
 697             out << "] ";
 698       }
 699
 700       out << name_ << ";" << endl;
 701
 702       if (ports_)
 703             for (unsigned idx = 0 ;  idx < ports_->count() ;  idx += 1) {
 704                   out << setw(ind) << "";
 705                   out << "input ";
 706                   out << (*ports_)[idx]->path() << ";" << endl;
 707             }
 708
 709       if (statement_)
 710             statement_->dump(out, ind);
 711       else
 712             out << setw(ind) << "" << "/* NOOP */" << endl;
 713 }
 714
 715 void PRelease::dump(ostream&out, unsigned ind) const
 716 {
 717       out << setw(ind) << "" << "release " << *lval_ << "; /* "
 718           << get_line() << " */" << endl;
 719 }
 720
 721 void PRepeat::dump(ostream&out, unsigned ind) const
 722 {
 723       out << setw(ind) << "" << "repeat (" << *expr_ << ")" << endl;
 724       statement_->dump(out, ind+3);
 725 }
 726
 727 void PTask::dump(ostream&out, unsigned ind) const
 728 {
 729       if (ports_)
 730             for (unsigned idx = 0 ;  idx < ports_->count() ;  idx += 1) {
 731                   out << setw(ind) << "";
 732                   switch ((*ports_)[idx]->get_port_type()) {
 733                       case NetNet::PINPUT:
 734                         out << "input ";
 735                         break;
 736                       case NetNet::POUTPUT:
 737                         out << "output ";
 738                         break;
 739                       case NetNet::PINOUT:
 740                         out << "inout ";
 741                         break;
 742                       default:
 743                         assert(0);
 744                         break;
 745                   }
 746                   out << (*ports_)[idx]->path() << ";" << endl;
 747             }
 748
 749       if (statement_)
 750             statement_->dump(out, ind);
 751       else
 752             out << setw(ind) << "" << "/* NOOP */" << endl;
 753 }
 754
 755 void PTrigger::dump(ostream&out, unsigned ind) const
 756 {
 757       out << setw(ind) << "" << "-> " << event_ << ";" << endl;
 758 }
 759
 760 void PWhile::dump(ostream&out, unsigned ind) const
 761 {
 762       out << setw(ind) << "" << "while (" << *cond_ << ")" << endl;
 763       statement_->dump(out, ind+3);
 764 }
 765
 766 void PProcess::dump(ostream&out, unsigned ind) const
 767 {
 768       switch (type_) {
 769           case PProcess::PR_INITIAL:
 770             out << setw(ind) << "" << "initial";
 771             break;
 772           case PProcess::PR_ALWAYS:
 773             out << setw(ind) << "" << "always";
 774             break;
 775       }
 776
 777       out << " /* " << get_line() << " */" << endl;
 778
 779       for (map<perm_string,PExpr*>::const_iterator idx = attributes.begin()
 780                  ; idx != attributes.end() ; idx++ ) {
 781
 782             out << setw(ind+2) << "" << "(* " << (*idx).first;
 783             if ((*idx).second) {
 784                   out << " = " << *(*idx).second;
 785             }
 786             out << " *)" << endl;
 787       }
 788
 789       statement_->dump(out, ind+2);
 790 }
 791
 792 void PSpecPath::dump(std::ostream&out, unsigned ind) const
 793 {
 794       out << setw(ind) << "" << "specify path ";
 795
 796       if (condition)
 797             out << "if (" << *condition << ") ";
 798
 799       out << "(";
 800       if (edge) {
 801             if (edge > 0)
 802                   out << "posedge ";
 803             else
 804                   out << "negedge ";
 805       }
 806
 807       for (unsigned idx = 0 ;  idx < src.size() ;  idx += 1) {
 808             if (idx > 0) out << ", ";
 809             assert(src[idx]);
 810             out << src[idx];
 811       }
 812
 813       out << " => ";
 814
 815       if (data_source_expression)
 816             out << "(";
 817
 818       for (unsigned idx = 0 ; idx < dst.size() ;  idx += 1) {
 819             if (idx > 0) out << ", ";
 820             assert(dst[idx]);
 821             out << dst[idx];
 822       }
 823
 824       if (data_source_expression)
 825             out << " : " << *data_source_expression << ")";
 826
 827       out << ") = (";
 828       for (unsigned idx = 0 ;  idx < delays.size() ;  idx += 1) {
 829             if (idx > 0) out << ", ";
 830             assert(delays[idx]);
 831             out << *delays[idx];
 832       }
 833       out << ");" << endl;
 834 }
 835
 836 void PGenerate::dump(ostream&out, unsigned indent) const
 837 {
 838       out << setw(indent) << "" << "generate(" << id_number << ")";
 839
 840       switch (scheme_type) {
 841           case GS_NONE:
 842             break;
 843           case GS_LOOP:
 844             out << " for ("
 845                 << loop_index
 846                 << "=" << *loop_init
 847                 << "; " << *loop_test
 848                 << "; " << loop_index
 849                 << "=" << *loop_step << ")";
 850             break;
 851           case GS_CONDIT:
 852             out << " if (" << *loop_test << ")";
 853             break;
 854           case GS_ELSE:
 855             out << " else !(" << *loop_test << ")";
 856             break;
 857       }
 858
 859       if (scope_name)
 860             out << " : " << scope_name;
 861
 862       out << endl;
 863
 864       for (map<pform_name_t,PWire*>::const_iterator idx = wires.begin()
 865                  ; idx != wires.end() ;  idx++) {
 866
 867             (*idx).second->dump(out, indent+2);
 868       }
 869
 870       for (list<PGate*>::const_iterator idx = gates.begin()
 871                  ; idx != gates.end() ;  idx++) {
 872             (*idx)->dump(out, indent+2);
 873       }
 874
 875       for (list<PProcess*>::const_iterator idx = behaviors.begin()
 876                  ; idx != behaviors.end() ;  idx++) {
 877             (*idx)->dump(out, indent+2);
 878       }
 879
 880       for (list<PGenerate*>::const_iterator idx = generates.begin()
 881                  ; idx != generates.end() ;  idx++) {
 882             (*idx)->dump(out, indent+2);
 883       }
 884
 885       out << "    endgenerate" << endl;
 886 }
 887
 888 void Module::dump(ostream&out) const
 889 {
 890       if (attributes.begin() != attributes.end()) {
 891             out << "(* ";
 892             for (map<perm_string,PExpr*>::const_iterator idx = attributes.begin()
 893                  ; idx != attributes.end() ; idx++ ) {
 894                     if (idx != attributes.begin()) {
 895                         out << " , ";
 896                     }
 897                     out << (*idx).first;
 898                     if ((*idx).second) {
 899                         out << " = " << *(*idx).second;
 900                     }
 901             }
 902             out << " *)  ";
 903       }
 904
 905       out << "module " << name_ << ";" << endl;
 906
 907       for (unsigned idx = 0 ;  idx < ports.count() ;  idx += 1) {
 908             port_t*cur = ports[idx];
 909
 910             if (cur == 0) {
 911                   out << "    unconnected" << endl;
 912                   continue;
 913             }
 914
 915             out << "    ." << cur->name << "(" << *cur->expr[0];
 916             for (unsigned wdx = 1 ;  wdx < cur->expr.count() ;  wdx += 1) {
 917                   out << ", " << *cur->expr[wdx];
 918             }
 919
 920             out << ")" << endl;
 921       }
 922
 923       typedef map<perm_string,param_expr_t>::const_iterator parm_iter_t;
 924       typedef map<pform_name_t,PExpr*>::const_iterator parm_hiter_t;
 925       for (parm_iter_t cur = parameters.begin()
 926                  ; cur != parameters.end() ; cur ++) {
 927             out << "    parameter ";
 928             if ((*cur).second.signed_flag)
 929                   out << "signed ";
 930             if ((*cur).second.msb)
 931                   out << "[" << *(*cur).second.msb << ":"
 932                       << *(*cur).second.lsb << "] ";
 933             out << (*cur).first << " = ";
 934             if ((*cur).second.expr)
 935                   out << *(*cur).second.expr << ";" << endl;
 936             else
 937                   out << "/* ERROR */;" << endl;
 938       }
 939
 940       for (parm_iter_t cur = localparams.begin()
 941                  ; cur != localparams.end() ; cur ++) {
 942             out << "    localparam ";
 943             if ((*cur).second.msb)
 944                   out << "[" << *(*cur).second.msb << ":"
 945                       << *(*cur).second.lsb << "] ";
 946             out << (*cur).first << " = ";
 947             if ((*cur).second.expr)
 948                   out << *(*cur).second.expr << ";" << endl;
 949             else
 950                   out << "/* ERROR */;" << endl;
 951       }
 952
 953       typedef list<perm_string>::const_iterator genvar_iter_t;
 954       for (genvar_iter_t cur = genvars.begin()
 955                  ; cur != genvars.end() ; cur++) {
 956             out << "    genvar " << (*cur) << ";" << endl;
 957       }
 958
 959       typedef list<PGenerate*>::const_iterator genscheme_iter_t;
 960       for (genscheme_iter_t cur = generate_schemes.begin()
 961                  ; cur != generate_schemes.end() ; cur++) {
 962             (*cur)->dump(out, 4);
 963       }
 964
 965       typedef map<perm_string,PExpr*>::const_iterator specparm_iter_t;
 966       for (specparm_iter_t cur = specparams.begin()
 967                  ; cur != specparams.end() ; cur ++) {
 968             out << "    specparam " << (*cur).first << " = "
 969                 << *(*cur).second << ";" << endl;
 970       }
 971
 972       for (parm_hiter_t cur = defparms.begin()
 973                  ; cur != defparms.end() ;  cur ++) {
 974             out << "    defparam " << (*cur).first << " = ";
 975             if ((*cur).second)
 976                   out << *(*cur).second << ";" << endl;
 977             else
 978                   out << "/* ERROR */;" << endl;
 979       }
 980
 981       for (map<perm_string,PEvent*>::const_iterator cur = events.begin()
 982                  ; cur != events.end() ;  cur ++ ) {
 983             PEvent*ev = (*cur).second;
 984             out << "    event " << ev->name() << "; // "
 985                 << ev->get_line() << endl;
 986       }
 987
 988         // Iterate through and display all the wires.
 989       for (map<pform_name_t,PWire*>::const_iterator wire = wires_.begin()
 990                  ; wire != wires_.end()
 991                  ; wire ++ ) {
 992
 993             (*wire).second->dump(out);
 994       }
 995
 996         // Dump the task definitions.
 997       typedef map<perm_string,PTask*>::const_iterator task_iter_t;
 998       for (task_iter_t cur = tasks_.begin()
 999                  ; cur != tasks_.end() ; cur ++) {
1000             out << "    task " << (*cur).first << ";" << endl;
1001             (*cur).second->dump(out, 6);
1002             out << "    endtask;" << endl;
1003       }
1004
1005         // Dump the function definitions.
1006       typedef map<perm_string,PFunction*>::const_iterator func_iter_t;
1007       for (func_iter_t cur = funcs_.begin()
1008                  ; cur != funcs_.end() ; cur ++) {
1009             out << "    function " << (*cur).first << ";" << endl;
1010             (*cur).second->dump(out, 6);
1011             out << "    endfunction;" << endl;
1012       }
1013
1014
1015         // Iterate through and display all the gates
1016       for (list<PGate*>::const_iterator gate = gates_.begin()
1017                  ; gate != gates_.end()
1018                  ; gate ++ ) {
1019
1020             (*gate)->dump(out);
1021       }
1022
1023
1024       for (list<PProcess*>::const_iterator behav = behaviors_.begin()
1025                  ; behav != behaviors_.end()
1026                  ; behav ++ ) {
1027
1028             (*behav)->dump(out, 4);
1029       }
1030
1031       for (list<PSpecPath*>::const_iterator spec = specify_paths.begin()
1032                  ; spec != specify_paths.end()
1033                  ; spec ++ ) {
1034
1035             (*spec)->dump(out, 4);
1036       }
1037
1038       out << "endmodule" << endl;
1039 }
1040
1041 void pform_dump(ostream&out, Module*mod)
1042 {
1043       mod->dump(out);
1044 }
1045
1046 void PUdp::dump(ostream&out) const
1047 {
1048       out << "primitive " << name_ << "(" << ports[0];
1049       for (unsigned idx = 1 ;  idx < ports.count() ;  idx += 1)
1050             out << ", " << ports[idx];
1051       out << ");" << endl;
1052
1053       if (sequential)
1054             out << "    reg " << ports[0] << ";" << endl;
1055
1056       out << "    table" << endl;
1057       for (unsigned idx = 0 ;  idx < tinput.count() ;  idx += 1) {
1058             out << "     ";
1059             for (unsigned chr = 0 ;  chr < tinput[idx].length() ;  chr += 1)
1060                   out << " " << tinput[idx][chr];
1061
1062             if (sequential)
1063                   out << " : " << tcurrent[idx];
1064
1065             out << " : " << toutput[idx] << " ;" << endl;
1066       }
1067       out << "    endtable" << endl;
1068
1069       if (sequential)
1070             out << "    initial " << ports[0] << " = 1'b" << initial
1071                 << ";" << endl;
1072
1073         // Dump the attributes for the primitive as attribute
1074         // statements.
1075       for (map<string,PExpr*>::const_iterator idx = attributes.begin()
1076                  ; idx != attributes.end()
1077                  ; idx ++) {
1078             out << "    attribute " << (*idx).first;
1079             if ((*idx).second)
1080                   out << " = " << *(*idx).second;
1081             out << endl;
1082       }
1083
1084       out << "endprimitive" << endl;
1085 }
1086