Add JMP0XZ and postpone net inputs when needed.

vvp/codes.h

@@ -19,7 +19,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT)
-#ident "$Id: codes.h,v 1.5 2001/03/22 05:08:00 steve Exp $"
+#ident "$Id: codes.h,v 1.6 2001/03/25 03:54:26 steve Exp $"
 #endif
 
 
@@ -42,6 +42,7 @@ extern bool of_END(vthread_t thr, vvp_code_t code);
 extern bool of_INV(vthread_t thr, vvp_code_t code);
 extern bool of_JMP(vthread_t thr, vvp_code_t code);
 extern bool of_JMP0(vthread_t thr, vvp_code_t code);
+extern bool of_JMP0XZ(vthread_t thr, vvp_code_t code);
 extern bool of_LOAD(vthread_t thr, vvp_code_t code);
 extern bool of_MOV(vthread_t thr, vvp_code_t code);
 extern bool of_SET(vthread_t thr, vvp_code_t code);
@@ -91,6 +92,9 @@ extern void codespace_dump(FILE*fd);
 
 /*
  * $Log: codes.h,v $
+ * Revision 1.6  2001/03/25 03:54:26  steve
+ *  Add JMP0XZ and postpone net inputs when needed.
+ *
  * Revision 1.5  2001/03/22 05:08:00  steve
  *  implement %load, %inv, %jum/0 and %cmp/u
  *

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.13 2001/03/25 00:35:35 steve Exp $"
+#ident "$Id: compile.cc,v 1.14 2001/03/25 03:54:26 steve Exp $"
 #endif
 
 # include  "compile.h"
@@ -71,6 +71,7 @@ const static struct opcode_table_s opcode_table[] = {
       { "%inv",    of_INV,    2,  {OA_BIT1,     OA_BIT2,     OA_NONE} },
       { "%jmp",    of_JMP,    1,  {OA_CODE_PTR, OA_NONE,     OA_NONE} },
       { "%jmp/0",  of_JMP0,   2,  {OA_CODE_PTR, OA_BIT1,     OA_NONE} },
+      { "%jmp/0xz",of_JMP0XZ, 2,  {OA_CODE_PTR, OA_BIT1,     OA_NONE} },
       { "%load",   of_LOAD,   2,  {OA_BIT1,     OA_FUNC_PTR, OA_NONE} },
       { "%mov",    of_MOV,    3,  {OA_BIT1,     OA_BIT2,     OA_NUMBER} },
       { "%set",    of_SET,    2,  {OA_FUNC_PTR, OA_BIT1,     OA_NONE} },
@@ -111,6 +112,11 @@ static symbol_table_t sym_vpi = 0;
  * I need to save that reference and resolve it after the functors are
  * created. Use this structure to keep the unresolved references in an
  * unsorted singly linked list.
+ *
+ * The postpone_functor_input arranges for a functor input to be
+ * resolved and connected at cleanup. This is used if the symbol is
+ * defined after its use in a functor. The ptr parameter is the
+ * complete vvp_input_t for the input port.
  */
 struct resolv_list_s {
       struct resolv_list_s*next;
@@ -122,6 +128,19 @@ struct resolv_list_s {
 
 static struct resolv_list_s*resolv_list = 0;
 
+static void postpone_functor_input(vvp_ipoint_t ptr, char*lab, unsigned idx)
+{
+      struct resolv_list_s*res = (struct resolv_list_s*)
+	    calloc(1, sizeof(struct resolv_list_s));
+
+      res->port    = ptr;
+      res->source = lab;
+      res->idx    = idx;
+      res->next   = resolv_list;
+      resolv_list = res;
+}
+
+
 /*
  * Instructions may make forward references to labels. In this case,
  * the compile makes one of these to remember to retry the
@@ -198,14 +217,10 @@ void compile_functor(char*label, char*type, unsigned init,
 		  free(argv[idx].text);
 
 	    } else {
-		  struct resolv_list_s*res = (struct resolv_list_s*)
+		  postpone_functor_input(ipoint_make(fdx, idx),
-			calloc(1, sizeof(struct resolv_list_s));
+					 argv[idx].text,
+					 argv[idx].idx);
 
-		  res->port = ipoint_make(fdx, idx);
-		  res->source = argv[idx].text;
-		  res->idx  = argv[idx].idx;
-		  res->next = resolv_list;
-		  resolv_list = res;
 	    }
       }
 
@@ -467,12 +482,18 @@ void compile_net(char*label, char*name, int msb, int lsb,
 	    functor_t obj = functor_index(ptr);
 
 	    val = sym_get_value(sym_functors, argv[idx].text);
-	    assert(val.num);
+	    if (val.num) {
 
-	    functor_t src = functor_index(ipoint_index(val.num,
+		  functor_t src = functor_index(ipoint_index(val.num,
-						       argv[idx].idx));
+							     argv[idx].idx));
-	    obj->port[0] = src->out;
+		  obj->port[0] = src->out;
-	    src->out = ptr;
+		  src->out = ptr;
+
+	    } else {
+		  postpone_functor_input(ipoint_make(ptr, 0),
+					 argv[idx].text,
+					 argv[idx].idx);
+	    }
       }
 
 	/* Make the vpiHandle for the reg. */
@@ -566,6 +587,9 @@ void compile_dump(FILE*fd)
 
 /*
  * $Log: compile.cc,v $
+ * Revision 1.14  2001/03/25 03:54:26  steve
+ *  Add JMP0XZ and postpone net inputs when needed.
+ *
  * Revision 1.13  2001/03/25 00:35:35  steve
  *  Add the .net statement.
  *

vvp/vthread.cc

@@ -17,7 +17,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT)
-#ident "$Id: vthread.cc,v 1.10 2001/03/23 04:56:03 steve Exp $"
+#ident "$Id: vthread.cc,v 1.11 2001/03/25 03:54:26 steve Exp $"
 #endif
 
 # include  "vthread.h"
@@ -195,6 +195,13 @@ bool of_JMP0(vthread_t thr, vvp_code_t cp)
       return true;
 }
 
+bool of_JMP0XZ(vthread_t thr, vvp_code_t cp)
+{
+      if (thr_get_bit(thr, cp->bit_idx1) != 1)
+	    thr->pc = cp->cptr;
+      return true;
+}
+
 bool of_LOAD(vthread_t thr, vvp_code_t cp)
 {
       assert(cp->bit_idx1 >= 4);
@@ -244,6 +251,9 @@ bool of_VPI_CALL(vthread_t thr, vvp_code_t cp)
 
 /*
  * $Log: vthread.cc,v $
+ * Revision 1.11  2001/03/25 03:54:26  steve
+ *  Add JMP0XZ and postpone net inputs when needed.
+ *
  * Revision 1.10  2001/03/23 04:56:03  steve
  *  eq is x if either value of cmp/u has x or z.
  *