From 60d068a33e50e5bb0ca0d18f7d9719267c6bed0e Mon Sep 17 00:00:00 2001
From: steve <steve>
Date: Sat, 14 Apr 2001 05:10:56 +0000
Subject: [PATCH]  support the .event/or statement.

---
 vvp/README.txt | 11 ++++++++++-
 vvp/compile.cc | 49 ++++++++++++++++++++++++++++++++++++++++++++++++-
 vvp/compile.h  |  7 ++++++-
 vvp/functor.cc | 11 ++++++++++-
 vvp/functor.h  | 32 ++++++++++++++++++++++++++++----
 vvp/lexor.lex  | 26 +++++++++++++++-----------
 vvp/parse.y    | 13 +++++++++++--
 7 files changed, 128 insertions(+), 21 deletions(-)

diff --git a/vvp/README.txt b/vvp/README.txt
index c87859f15..6441eedeb 100644
--- a/vvp/README.txt
+++ b/vvp/README.txt
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2001 Stephen Williams (steve@icarus.com)
  *
- *  $Id: README.txt,v 1.14 2001/04/13 03:55:18 steve Exp $
+ *  $Id: README.txt,v 1.15 2001/04/14 05:10:56 steve Exp $
  */
 
 VVP SIMULATION ENGINE
@@ -220,6 +220,15 @@ single symbol for the addressed bit. However, if there are several
 events of the same edge in an event OR expression, the compiler may
 combine up to 4 into a single event.
 
+If many more events need to be conbined together (for example due to
+an event or expression in the Verilog) then this form can be used:
+
+	<label> .event/or <symbols_list>;
+
+In this case, the symbols list all the events that are to be combined
+to trigger this event. Only one of the input events needs to trigger
+to make this one go.
+
 
 THREAD STATEMENTS:
 
diff --git a/vvp/compile.cc b/vvp/compile.cc
index ec3954378..b8253e623 100644
--- a/vvp/compile.cc
+++ b/vvp/compile.cc
@@ -17,7 +17,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT)
-#ident "$Id: compile.cc,v 1.31 2001/04/13 03:55:18 steve Exp $"
+#ident "$Id: compile.cc,v 1.32 2001/04/14 05:10:56 steve Exp $"
 #endif
 
 # include  "compile.h"
@@ -322,6 +322,7 @@ void compile_event(char*label, char*type,
       obj->ival = 0xaa;
       obj->oval = 2;
       obj->mode = 1;
+      obj->out  = 0;
 
       obj->event = (struct vvp_event_s*) malloc(sizeof (struct vvp_event_s));
       obj->event->threads = 0;
@@ -353,6 +354,7 @@ void compile_named_event(char*label, char*name)
       obj->ival = 0xaa;
       obj->oval = 2;
       obj->mode = 2;
+      obj->out  = 0;
 
       obj->event = (struct vvp_event_s*) malloc(sizeof (struct vvp_event_s));
       obj->event->threads = 0;
@@ -362,6 +364,48 @@ void compile_named_event(char*label, char*name)
       free(name);
 }
 
+void compile_event_or(char*label, unsigned argc, struct symb_s*argv)
+{
+      vvp_ipoint_t fdx = functor_allocate(1);
+      functor_t obj = functor_index(fdx);
+
+      { symbol_value_t val;
+        val.num = fdx;
+	sym_set_value(sym_functors, label, val);
+      }
+
+      obj->ival = 0xaa;
+      obj->oval = 2;
+      obj->mode = 2;
+      obj->out  = 0;
+
+      obj->event = new struct vvp_event_s;
+      obj->event->threads = 0;
+      obj->event->ival = obj->ival;
+
+	/* Link the outputs of the named events to me. */
+
+      for (unsigned idx = 0 ;  idx < argc ;  idx += 1) {
+	    symbol_value_t val = sym_get_value(sym_functors, argv[idx].text);
+	    vvp_ipoint_t tmp = val.num;
+
+	    assert(tmp);
+
+	    tmp = ipoint_index(tmp, argv[idx].idx);
+
+	    functor_t fport = functor_index(tmp);
+	    assert(fport->out == 0);
+	    fport->out = fdx;
+
+	    free(argv[idx].text);
+
+      }
+
+      free(argv);
+
+      free(label);
+}
+
 /*
  * The parser uses this function to compile an link an executable
  * opcode. I do this by looking up the opcode in the opcode_table. The
@@ -714,6 +758,9 @@ void compile_dump(FILE*fd)
 
 /*
  * $Log: compile.cc,v $
+ * Revision 1.32  2001/04/14 05:10:56  steve
+ *  support the .event/or statement.
+ *
  * Revision 1.31  2001/04/13 03:55:18  steve
  *  More complete reap of all threads.
  *
diff --git a/vvp/compile.h b/vvp/compile.h
index 0eed66e34..9f81dd820 100644
--- a/vvp/compile.h
+++ b/vvp/compile.h
@@ -19,7 +19,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT)
-#ident "$Id: compile.h,v 1.14 2001/04/05 01:34:26 steve Exp $"
+#ident "$Id: compile.h,v 1.15 2001/04/14 05:10:56 steve Exp $"
 #endif
 
 # include  <stdio.h>
@@ -76,6 +76,8 @@ extern void compile_event(char*label, char*type,
 
 extern void compile_named_event(char*label, char*name);
 
+extern void compile_event_or(char*label, unsigned argc, struct symb_s*argv);
+
 /*
  * A code statement is a label, an opcode and up to 3 operands. There
  * are a few lexical types that the parser recognizes of the operands,
@@ -137,6 +139,9 @@ extern void compile_dump(FILE*fd);
 
 /*
  * $Log: compile.h,v $
+ * Revision 1.15  2001/04/14 05:10:56  steve
+ *  support the .event/or statement.
+ *
  * Revision 1.14  2001/04/05 01:34:26  steve
  *  Add the .var/s and .net/s statements for VPI support.
  *
diff --git a/vvp/functor.cc b/vvp/functor.cc
index a2eadf37c..624a26961 100644
--- a/vvp/functor.cc
+++ b/vvp/functor.cc
@@ -17,7 +17,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT)
-#ident "$Id: functor.cc,v 1.10 2001/04/03 03:18:34 steve Exp $"
+#ident "$Id: functor.cc,v 1.11 2001/04/14 05:10:56 steve Exp $"
 #endif
 
 # include  "functor.h"
@@ -190,6 +190,9 @@ static void functor_set_mode1(functor_t fp)
 
 	/* the new value is the new old value. */
       ep->ival = fp->ival;
+
+      if (fp->out)
+	    schedule_assign(fp->out, 0, 0);
 }
 
 /*
@@ -205,6 +208,9 @@ static void functor_set_mode2(functor_t fp)
 	    ep->threads = 0;
 	    vthread_schedule_list(tmp);
       }
+
+      if (fp->out)
+	    schedule_assign(fp->out, 0, 0);
 }
 
 /*
@@ -300,6 +306,9 @@ const unsigned char ft_var[16] = {
 
 /*
  * $Log: functor.cc,v $
+ * Revision 1.11  2001/04/14 05:10:56  steve
+ *  support the .event/or statement.
+ *
  * Revision 1.10  2001/04/03 03:18:34  steve
  *  support functor_set push for blocking assignment.
  *
diff --git a/vvp/functor.h b/vvp/functor.h
index 9784de189..97343cb6c 100644
--- a/vvp/functor.h
+++ b/vvp/functor.h
@@ -19,7 +19,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT)
-#ident "$Id: functor.h,v 1.10 2001/04/04 17:43:19 steve Exp $"
+#ident "$Id: functor.h,v 1.11 2001/04/14 05:10:56 steve Exp $"
 #endif
 
 # include  "pointers.h"
@@ -27,6 +27,11 @@
 
 
 /*
+ *
+ * The major mode is selected by the mode parameter.
+ *
+ * MODE 0: TABLE MODE FUNCTORS
+ *
  * The vvp_ipoint_t is an integral type that is 32bits. The low 2 bits
  * select the port of the referenced functor, and the remaining 30
  * index the functor itself. All together, the 32 bits can completely
@@ -50,10 +55,26 @@
  * output value is picked from the lookup table that the table pointer
  * points to.
  *
- * If the functor is an event functor, however, the event member
- * points to an extended structure where thread state is stored.
+ * MODE 1: EDGE EVENT FUNCTORS
  *
- * The major mode is selected by the mode parameter.
+ * These functors take inputs like mode 0 functors, but the input is
+ * compared with the preveous input for that bit, and the results of
+ * that comparison are used to detect edges. The functor may be
+ * programmed to detect posedge, negedge, or any edge events. These
+ * functors can have %wait instructions waiting on them.
+ *
+ * MODE 2: NAMED EVENT FUNCTORS
+ *
+ * These fuctors do not bother to check for edges. Any event on the
+ * input causes an event to be detected. Like mode-1 functors, these
+ * can have %wait instructions waiting on them. Mode-2 functors do not
+ * have structural inputs, however. They take their inputs from %set
+ * instructions.
+ *
+ * Mode-2 events can also be used to combine other mode-1 and mode-2
+ * functors by setting their outputs to put to the mode-2
+ * functor. Since the mode-2 functor does not take input, any number
+ * of mode-1 and mode-2 functors may point in.
  */
 
 struct functor_s {
@@ -155,6 +176,9 @@ extern const unsigned char ft_var[];
 
 /*
  * $Log: functor.h,v $
+ * Revision 1.11  2001/04/14 05:10:56  steve
+ *  support the .event/or statement.
+ *
  * Revision 1.10  2001/04/04 17:43:19  steve
  *  support decimal strings from signals.
  *
diff --git a/vvp/lexor.lex b/vvp/lexor.lex
index 2be54b44a..cc24d6687 100644
--- a/vvp/lexor.lex
+++ b/vvp/lexor.lex
@@ -19,7 +19,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT)
-#ident "$Id: lexor.lex,v 1.11 2001/04/05 01:34:26 steve Exp $"
+#ident "$Id: lexor.lex,v 1.12 2001/04/14 05:10:56 steve Exp $"
 #endif
 
 # include  "parse_misc.h"
@@ -35,7 +35,7 @@
 
 
   /* A label is any non-blank text that appears left justified. */
-^[.$_a-zA-Z][.$_a-zA-Z0-9<>]* {
+^[.$_a-zA-Z][.$_a-zA-Z0-9<>/]* {
       yylval.text = strdup(yytext);
       return T_LABEL; }
 
@@ -65,14 +65,15 @@
 
 
   /* These are some keywords that are recognized. */
-".event"   { return K_EVENT; }
-".functor" { return K_FUNCTOR; }
-".net"     { return K_NET; }
-".net/s"   { return K_NET_S; }
-".scope"   { return K_SCOPE; }
-".thread"  { return K_THREAD; }
-".var"     { return K_VAR; }
-".var/s"   { return K_VAR_S; }
+".event"    { return K_EVENT; }
+".event/or" { return K_EVENT_OR; }
+".functor"  { return K_FUNCTOR; }
+".net"      { return K_NET; }
+".net/s"    { return K_NET_S; }
+".scope"    { return K_SCOPE; }
+".thread"   { return K_THREAD; }
+".var"      { return K_VAR; }
+".var/s"    { return K_VAR_S; }
 
 
   /* instructions start with a % character. The compiler decides what
@@ -98,7 +99,7 @@
 
   /* Symbols are pretty much what is left. They are used to refer to
      labels so the rule must match a string that a label would match. */
-[.$_a-zA-Z][.$_a-zA-Z0-9<>]* {
+[.$_a-zA-Z][.$_a-zA-Z0-9<>/]* {
       yylval.text = strdup(yytext);
       return T_SYMBOL; }
 
@@ -125,6 +126,9 @@ int yywrap()
 
 /*
  * $Log: lexor.lex,v $
+ * Revision 1.12  2001/04/14 05:10:56  steve
+ *  support the .event/or statement.
+ *
  * Revision 1.11  2001/04/05 01:34:26  steve
  *  Add the .var/s and .net/s statements for VPI support.
  *
diff --git a/vvp/parse.y b/vvp/parse.y
index 0e15e735d..8f1f9f918 100644
--- a/vvp/parse.y
+++ b/vvp/parse.y
@@ -19,7 +19,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT)
-#ident "$Id: parse.y,v 1.18 2001/04/05 01:34:26 steve Exp $"
+#ident "$Id: parse.y,v 1.19 2001/04/14 05:10:56 steve Exp $"
 #endif
 
 # include  "parse_misc.h"
@@ -51,7 +51,7 @@ extern FILE*yyin;
 };
 
 
-%token K_EVENT K_FUNCTOR K_NET K_NET_S K_SCOPE K_THREAD
+%token K_EVENT K_EVENT_OR K_FUNCTOR K_NET K_NET_S K_SCOPE K_THREAD
 %token K_VAR K_VAR_S K_vpi_call
 %token K_vpi_module
 
@@ -122,6 +122,12 @@ statement
 	| T_LABEL K_EVENT T_STRING ';'
 		{ compile_named_event($1, $3); }
 
+	| T_LABEL K_EVENT_OR symbols ';'
+		{ struct symbv_s obj = $3;
+		  compile_event_or($1, obj.cnt, obj.vect);
+		}
+
+
   /* Instructions may have a label, and have zero or more
      operands. The meaning of and restrictions on the operands depends
      on the specific instruction. */
@@ -323,6 +329,9 @@ int compile_design(const char*path)
 
 /*
  * $Log: parse.y,v $
+ * Revision 1.19  2001/04/14 05:10:56  steve
+ *  support the .event/or statement.
+ *
  * Revision 1.18  2001/04/05 01:34:26  steve
  *  Add the .var/s and .net/s statements for VPI support.
  *