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

Better detail on event trigger and wait statements.

This commit is contained in:
steve 2004-12-18 18:55:08 +00:00
parent e11ac0b1d8
commit 59566158c4
2 changed files with 63 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

79
tgt-stub/statement.c
View File

@ -17,7 +17,7 @@
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
*/
#ifdef HAVE_CVS_IDENT
#ident "$Id: statement.c,v 1.2 2004/12/15 17:11:13 steve Exp $"
#ident "$Id: statement.c,v 1.3 2004/12/18 18:55:08 steve Exp $"
#endif
# include "config.h"
@ -111,6 +111,59 @@ static void show_stmt_release(ivl_statement_t net, unsigned ind)
ind+4, "", lwid);
}
/*
* A trigger statement is the "-> name;" syntax in verilog, where a
* trigger signal is sent to a named event. The trigger statement is
* actually a very simple object.
*/
static void show_stmt_trigger(ivl_statement_t net, unsigned ind)
{
unsigned cnt = ivl_stmt_nevent(net);
unsigned idx;
fprintf(out, "%*s->", ind, "");
for (idx = 0 ; idx < cnt ; idx += 1) {
ivl_event_t event = ivl_stmt_events(net, idx);
fprintf(out, " %s", ivl_event_basename(event));
}
/* The compiler should make exactly one target event, so if we
find more or less, then print some error text. */
if (cnt != 1) {
fprintf(out, " /* ERROR: Expect one target event, got %u */", cnt);
}
fprintf(out, ";\n");
}
/*
* The wait statement contains simply an array of events to wait on,
* and a sub-statement to execute when an event triggers.
*/
void show_stmt_wait(ivl_statement_t net, unsigned ind)
{
unsigned idx;
const char*comma = "";
fprintf(out, "%*s@(", ind, "");
for (idx = 0 ; idx < ivl_stmt_nevent(net) ; idx += 1) {
ivl_event_t evnt = ivl_stmt_events(net, idx);
if (evnt == 0)
fprintf(out, "%s/*ERROR*/", comma);
else
fprintf(out, "%s%s.%s", comma,
ivl_scope_name(ivl_event_scope(evnt)),
ivl_event_basename(evnt));
comma = ", ";
}
fprintf(out, ")\n");
show_statement(ivl_stmt_sub_stmt(net), ind+4);
}
void show_statement(ivl_statement_t net, unsigned ind)
{
unsigned idx;
@ -252,32 +305,16 @@ void show_statement(ivl_statement_t net, unsigned ind)
}
case IVL_ST_TRIGGER:
fprintf(out, "%*s-> ...\n", ind, "");
show_stmt_trigger(net, ind);
break;
case IVL_ST_UTASK:
fprintf(out, "%*scall task ...\n", ind, "");
break;
case IVL_ST_WAIT: {
const char*comma = "";
fprintf(out, "%*s@(", ind, "");
for (idx = 0 ; idx < ivl_stmt_nevent(net) ; idx += 1) {
ivl_event_t evnt = ivl_stmt_events(net, idx);
if (evnt == 0)
fprintf(out, "%s/*ERROR*/", comma);
else
fprintf(out, "%s%s", comma, ivl_event_name(evnt));
comma = ", ";
}
fprintf(out, ")\n");
show_statement(ivl_stmt_sub_stmt(net), ind+4);
break;
}
case IVL_ST_WAIT:
show_stmt_wait(net, ind);
break;
case IVL_ST_WHILE:
fprintf(out, "%*swhile\n", ind, "");

7
tgt-stub/stub.c
View File

@ -17,7 +17,7 @@
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
*/
#ifdef HAVE_CVS_IDENT
#ident "$Id: stub.c,v 1.92 2004/12/12 18:15:06 steve Exp $"
#ident "$Id: stub.c,v 1.93 2004/12/18 18:55:08 steve Exp $"
#endif
# include "config.h"
@ -443,7 +443,7 @@ static void show_event(ivl_event_t net)
{
unsigned idx;
fprintf(out, " event %s (%u pos, %u neg, %u any);\n",
ivl_event_name(net), ivl_event_npos(net),
ivl_event_basename(net), ivl_event_npos(net),
ivl_event_nneg(net), ivl_event_nany(net));
for (idx = 0 ; idx < ivl_event_nany(net) ; idx += 1) {
@ -762,6 +762,9 @@ int target_design(ivl_design_t des)
/*
* $Log: stub.c,v $
* Revision 1.93 2004/12/18 18:55:08 steve
* Better detail on event trigger and wait statements.
*
* Revision 1.92 2004/12/12 18:15:06 steve
* Arrange statement dumping in new source files.
*