Lines Matching refs:fprintf
22 #define blurb(fd, e) { fprintf(fd, "\n"); if (!merger) fprintf(fd, "\t\t/* %s:%d */\n", \
24 #define tr_map(m, e) { if (!merger) fprintf(tt, "\t\ttr_2_src(%d, \"%s\", %d);\n", \
120 fprintf(tc, " Addproc(%d);\n", q->tn); in reverse_procs()
127 fprintf(tc, " Addproc(%d);\n", q->tn); in forward_procs()
134 fprintf(th, "#define _T5 %d\n", uniq++); in tm_predef_np()
135 fprintf(th, "#define _T2 %d\n", uniq++); in tm_predef_np()
138 { fprintf(th, "#define T_ID unsigned char\n"); in tm_predef_np()
140 { fprintf(th, "#define T_ID unsigned short\n"); in tm_predef_np()
142 { fprintf(th, "#define T_ID unsigned int\n"); in tm_predef_np()
145 fprintf(tm, "\tcase _T5:\t/* np_ */\n"); in tm_predef_np()
148 fprintf(tm, "\t\tif (!((!(o_pm&4) && !(tau&128))))\n"); in tm_predef_np()
150 fprintf(tm, "\t\tif (!((!(trpt->o_pm&4) && !(trpt->tau&128))))\n"); in tm_predef_np()
152 fprintf(tm, "\t\t\tcontinue;\n"); in tm_predef_np()
153 fprintf(tm, "\t\t/* else fall through */\n"); in tm_predef_np()
154 fprintf(tm, "\tcase _T2:\t/* true */\n"); in tm_predef_np()
155 fprintf(tm, "\t\t_m = 3; goto P999;\n"); in tm_predef_np()
161 fprintf(tt, "\t/* np_ demon: */\n"); in tt_predef_np()
162 fprintf(tt, "\ttrans[_NP_] = "); in tt_predef_np()
163 fprintf(tt, "(Trans **) emalloc(2*sizeof(Trans *));\n"); in tt_predef_np()
164 fprintf(tt, "\tT = trans[_NP_][0] = "); in tt_predef_np()
165 fprintf(tt, "settr(9997,0,1,_T5,0,\"(np_)\", 1,2,0);\n"); in tt_predef_np()
166 fprintf(tt, "\t T->nxt = "); in tt_predef_np()
167 fprintf(tt, "settr(9998,0,0,_T2,0,\"(1)\", 0,2,0);\n"); in tt_predef_np()
168 fprintf(tt, "\tT = trans[_NP_][1] = "); in tt_predef_np()
169 fprintf(tt, "settr(9999,0,1,_T5,0,\"(np_)\", 1,2,0);\n"); in tt_predef_np()
198 fprintf(th, "#define SpinVersion \"%s\"\n", SpinVersion); in gensrc()
199 fprintf(th, "#define PanSource \""); in gensrc()
203 { fprintf(th, "\\"); in gensrc()
205 fprintf(th, "%c", c); in gensrc()
207 fprintf(th, "\"\n\n"); in gensrc()
209 fprintf(th, "#define G_long %d\n", (int) sizeof(long)); in gensrc()
210 fprintf(th, "#define G_int %d\n", (int) sizeof(int)); in gensrc()
212 fprintf(th, "#ifdef WIN64\n"); in gensrc()
213 fprintf(th, " #define ONE_L ((unsigned long) 1)\n"); in gensrc()
214 fprintf(th, " #define long long long\n"); in gensrc()
215 fprintf(th, "#else\n"); in gensrc()
216 fprintf(th, " #define ONE_L (1L)\n"); in gensrc()
217 fprintf(th, "#endif\n"); in gensrc()
220 { fprintf(th, "char *TrailFile = PanSource; /* default */\n"); in gensrc()
221 fprintf(th, "char *trailfilename;\n"); in gensrc()
224 fprintf(th, "#if defined(BFS)\n"); in gensrc()
225 fprintf(th, " #ifndef SAFETY\n"); in gensrc()
226 fprintf(th, " #define SAFETY\n"); in gensrc()
227 fprintf(th, " #endif\n"); in gensrc()
228 fprintf(th, " #ifndef XUSAFE\n"); in gensrc()
229 fprintf(th, " #define XUSAFE\n"); in gensrc()
230 fprintf(th, " #endif\n"); in gensrc()
231 fprintf(th, "#endif\n"); in gensrc()
233 fprintf(th, "#ifndef uchar\n"); in gensrc()
234 fprintf(th, " #define uchar unsigned char\n"); in gensrc()
235 fprintf(th, "#endif\n"); in gensrc()
236 fprintf(th, "#ifndef uint\n"); in gensrc()
237 fprintf(th, " #define uint unsigned int\n"); in gensrc()
238 fprintf(th, "#endif\n"); in gensrc()
241 { fprintf(th, "#if !defined(HASH32) && !defined(HASH64)\n"); in gensrc()
242 fprintf(th, " #define HASH64\n"); in gensrc()
243 fprintf(th, "#endif\n"); in gensrc()
257 fprintf(th, "#ifndef NFAIR\n"); in gensrc()
258 fprintf(th, "#define NFAIR 2 /* must be >= 2 */\n"); in gensrc()
259 fprintf(th, "#endif\n"); in gensrc()
261 fprintf(th, "#define HAS_LAST %d\n", has_last); in gensrc()
265 fprintf(th, "#define DELTA %d\n", DELTA); in gensrc()
266 fprintf(th, "#ifdef MA\n"); in gensrc()
267 fprintf(th, " #if NCORE>1 && !defined(SEP_STATE)\n"); in gensrc()
268 fprintf(th, " #define SEP_STATE\n"); in gensrc()
269 fprintf(th, " #endif\n"); in gensrc()
270 fprintf(th, "#if MA==1\n"); /* user typed -DMA without size */ in gensrc()
271 fprintf(th, " #undef MA\n"); in gensrc()
272 fprintf(th, " #define MA 100\n"); in gensrc()
273 fprintf(th, "#endif\n#endif\n"); in gensrc()
274 fprintf(th, "#ifdef W_XPT\n"); in gensrc()
275 fprintf(th, " #if W_XPT==1\n"); /* user typed -DW_XPT without size */ in gensrc()
276 fprintf(th, " #undef W_XPT\n"); in gensrc()
277 fprintf(th, " #define W_XPT 1000000\n"); in gensrc()
278 fprintf(th, " #endif\n"); in gensrc()
279 fprintf(th, "#endif\n"); in gensrc()
280 fprintf(th, "#ifndef NFAIR\n"); in gensrc()
281 fprintf(th, " #define NFAIR 2 /* must be >= 2 */\n"); in gensrc()
282 fprintf(th, "#endif\n"); in gensrc()
284 fprintf(th, "#define NTIM %d\n", Ntimeouts); in gensrc()
286 fprintf(th, "#define ETIM %d\n", Etimeouts); in gensrc()
288 fprintf(th, "#define REM_VARS 1\n"); in gensrc()
290 fprintf(th, "#define REM_REFS %d\n", has_remote); /* not yet used */ in gensrc()
292 fprintf(th, "#define HAS_HIDDEN %d\n", has_hidden); in gensrc()
294 fprintf(th, "#define HAS_LAST %d\n", has_last); in gensrc()
296 fprintf(th, "#define HAS_SORTED %d\n", has_sorted); in gensrc()
298 fprintf(th, "#define M_LOSS\n"); in gensrc()
300 fprintf(th, "#define HAS_RANDOM %d\n", has_random); in gensrc()
301 fprintf(th, "#define HAS_CODE\n"); /* doesn't seem to cause measurable overhead */ in gensrc()
302 fprintf(th, "#if defined(RANDSTORE) && !defined(RANDSTOR)\n"); in gensrc()
303 fprintf(th, " #define RANDSTOR RANDSTORE\n"); /* xspin uses RANDSTORE... */ in gensrc()
304 fprintf(th, "#endif\n"); in gensrc()
306 fprintf(th, "#define HAS_STACK %d\n", has_stack); in gensrc()
308 fprintf(th, "#define HAS_ENABLED 1\n"); in gensrc()
310 fprintf(th, "#define HAS_UNLESS %d\n", has_unless); in gensrc()
312 fprintf(th, "#define HAS_PROVIDED %d\n", has_provided); in gensrc()
314 fprintf(th, "#define HAS_PCVALUE %d\n", has_pcvalue); in gensrc()
316 fprintf(th, "#define HAS_BADELSE %d\n", has_badelse); in gensrc()
321 { fprintf(th, "#ifndef NOREDUCE\n"); in gensrc()
322 fprintf(th, " #define NOREDUCE 1\n"); in gensrc()
323 fprintf(th, "#endif\n"); in gensrc()
326 fprintf(th, "#define HAS_NP %d\n", has_np); in gensrc()
328 fprintf(th, "#define MERGED 1\n"); in gensrc()
331 fprintf(th, "#if !defined(HAS_LAST) && defined(BCS)\n"); in gensrc()
332 fprintf(th, " #define HAS_LAST 1 /* use it, but */\n"); in gensrc()
333 fprintf(th, " #ifndef STORE_LAST\n"); /* unless the user insists */ in gensrc()
334 fprintf(th, " #define NO_LAST 1 /* dont store it */\n"); in gensrc()
335 fprintf(th, " #endif\n"); in gensrc()
336 fprintf(th, "#endif\n"); in gensrc()
338 fprintf(th, "#if defined(BCS) && defined(BITSTATE)\n"); in gensrc()
339 fprintf(th, " #ifndef NO_CTX\n"); in gensrc()
340 fprintf(th, " #define STORE_CTX 1\n"); in gensrc()
341 fprintf(th, " #endif\n"); in gensrc()
342 fprintf(th, "#endif\n"); in gensrc()
344 fprintf(th, "#ifdef NP\n"); in gensrc()
346 fprintf(th, " #define HAS_NP 2\n"); in gensrc()
347 fprintf(th, " #define VERI %d /* np_ */\n", nrRdy); in gensrc()
348 fprintf(th, "#endif\n"); in gensrc()
351 fprintf(th, "#ifndef NOCLAIM\n"); in gensrc()
352 fprintf(th, " #define NCLAIMS %d\n", nclaims); in gensrc()
353 fprintf(th, " #ifndef NP\n"); in gensrc()
354 fprintf(th, " #define VERI %d\n", claimnr); in gensrc()
355 fprintf(th, " #endif\n"); in gensrc()
356 fprintf(th, "#endif\n"); in gensrc()
360 fprintf(th, "#define EVENT_TRACE %d\n", eventmapnr); in gensrc()
361 fprintf(th, "#define endevent endstate%d\n", eventmapnr); in gensrc()
363 fprintf(th, "#define NEGATED_TRACE 1\n"); in gensrc()
366 fprintf(th, "typedef struct S_F_MAP {\n"); in gensrc()
367 fprintf(th, " char *fnm; int from; int upto;\n"); in gensrc()
368 fprintf(th, "} S_F_MAP;\n"); in gensrc()
370 fprintf(tc, "/*** Generated by %s ***/\n", SpinVersion); in gensrc()
371 fprintf(tc, "/*** From source: %s ***/\n\n", oFname->name); in gensrc()
378 case 0: fprintf(tc, "#include \"pan.h\"\n"); break; in gensrc()
379 case 1: fprintf(tc, "#include \"pan_s.h\"\n"); break; in gensrc()
380 case 2: fprintf(tc, "#include \"pan_t.h\"\n"); break; in gensrc()
383 fprintf(tc, "#ifdef LOOPSTATE\n"); in gensrc()
384 fprintf(tc, "double cnt_loops;\n"); in gensrc()
385 fprintf(tc, "#endif\n"); in gensrc()
387 fprintf(tc, "State A_Root; /* seed-state for cycles */\n"); in gensrc()
388 fprintf(tc, "State now; /* the full state-vector */\n"); in gensrc()
394 fprintf(tc, "extern int verbose; extern long depth;\n"); in gensrc()
396 fprintf(tc, "#ifndef NOBOUNDCHECK\n"); in gensrc()
397 fprintf(tc, " #define Index(x, y)\tBoundcheck(x, y, II, tt, t)\n"); in gensrc()
398 fprintf(tc, "#else\n"); in gensrc()
399 fprintf(tc, " #define Index(x, y)\tx\n"); in gensrc()
400 fprintf(tc, "#endif\n"); in gensrc()
408 { fprintf(tt, "#ifdef PEG\n"); in gensrc()
409 fprintf(tt, "struct T_SRC {\n"); in gensrc()
410 fprintf(tt, " char *fl; int ln;\n"); in gensrc()
411 fprintf(tt, "} T_SRC[NTRANS];\n\n"); in gensrc()
412 fprintf(tt, "void\ntr_2_src(int m, char *file, int ln)\n"); in gensrc()
413 fprintf(tt, "{ T_SRC[m].fl = file;\n"); in gensrc()
414 fprintf(tt, " T_SRC[m].ln = ln;\n"); in gensrc()
415 fprintf(tt, "}\n\n"); in gensrc()
416 fprintf(tt, "void\nputpeg(int n, int m)\n"); in gensrc()
417 fprintf(tt, "{ printf(\"%%5d\ttrans %%4d \", m, n);\n"); in gensrc()
418 fprintf(tt, " printf(\"%%s:%%d\\n\",\n"); in gensrc()
419 fprintf(tt, " T_SRC[n].fl, T_SRC[n].ln);\n"); in gensrc()
420 fprintf(tt, "}\n"); in gensrc()
422 { fprintf(tt, "#else\n"); in gensrc()
423 fprintf(tt, "#define tr_2_src(m,f,l)\n"); in gensrc()
425 fprintf(tt, "#endif\n\n"); in gensrc()
426 fprintf(tt, "void\nsettable(void)\n{\tTrans *T;\n"); in gensrc()
427 fprintf(tt, "\tTrans *settr(int, int, int, int, int,"); in gensrc()
428 fprintf(tt, " char *, int, int, int);\n\n"); in gensrc()
429 fprintf(tt, "\ttrans = (Trans ***) "); in gensrc()
430 fprintf(tt, "emalloc(%d*sizeof(Trans **));\n", nrRdy+1); in gensrc()
435 fprintf(tm, " if (II == 0)\n"); in gensrc()
436 fprintf(tm, " { _m = step_claim(trpt->o_pm, trpt->tau, tt, ot, t);\n"); in gensrc()
437 fprintf(tm, " if (_m) goto P999; else continue;\n"); in gensrc()
438 fprintf(tm, " } else\n"); in gensrc()
441 fprintf(tm, "#define rand pan_rand\n"); in gensrc()
442 fprintf(tm, "#if defined(HAS_CODE) && defined(VERBOSE)\n"); in gensrc()
443 fprintf(tm, " cpu_printf(\"Pr: %%d Tr: %%d\\n\", II, t->forw);\n"); in gensrc()
444 fprintf(tm, "#endif\n"); in gensrc()
445 fprintf(tm, " switch (t->forw) {\n"); in gensrc()
447 { fprintf(tt, "#ifndef PEG\n"); in gensrc()
448 fprintf(tt, " #define tr_2_src(m,f,l)\n"); in gensrc()
449 fprintf(tt, "#endif\n"); in gensrc()
450 fprintf(tt, "void\nset_claim(void)\n{\tTrans *T;\n"); in gensrc()
451 fprintf(tt, "\textern Trans ***trans;\n"); in gensrc()
452 fprintf(tt, "\textern Trans *settr(int, int, int, int, int,"); in gensrc()
453 fprintf(tt, " char *, int, int, int);\n\n"); in gensrc()
455 fprintf(tm, "#define rand pan_rand\n"); in gensrc()
456 fprintf(tm, "#if defined(HAS_CODE) && defined(VERBOSE)\n"); in gensrc()
457 fprintf(tm, " cpu_printf(\"Pr: %%d Tr: %%d\\n\", II, forw);\n"); in gensrc()
458 fprintf(tm, "#endif\n"); in gensrc()
459 fprintf(tm, " switch (forw) {\n"); in gensrc()
462 fprintf(tm, " default: Uerror(\"bad forward move\");\n"); in gensrc()
463 fprintf(tm, " case 0: /* if without executable clauses */\n"); in gensrc()
464 fprintf(tm, " continue;\n"); in gensrc()
465 fprintf(tm, " case 1: /* generic 'goto' or 'skip' */\n"); in gensrc()
467 fprintf(tm, " IfNotBlocked\n"); in gensrc()
468 fprintf(tm, " _m = 3; goto P999;\n"); in gensrc()
469 fprintf(tm, " case 2: /* generic 'else' */\n"); in gensrc()
471 fprintf(tm, " if (o_pm&1) continue;\n"); in gensrc()
473 { fprintf(tm, " IfNotBlocked\n"); in gensrc()
474 fprintf(tm, " if (trpt->o_pm&1) continue;\n"); in gensrc()
476 fprintf(tm, " _m = 3; goto P999;\n"); in gensrc()
480 fprintf(tb, " if (II == 0) goto R999;\n"); in gensrc()
482 fprintf(tb, " switch (t->back) {\n"); in gensrc()
483 fprintf(tb, " default: Uerror(\"bad return move\");\n"); in gensrc()
484 fprintf(tb, " case 0: goto R999; /* nothing to undo */\n"); in gensrc()
492 fprintf(th, "struct {\n"); in gensrc()
493 fprintf(th, " int tp; short *src;\n"); in gensrc()
494 fprintf(th, "} src_all[] = {\n"); in gensrc()
496 fprintf(th, " { %d, &src_ln%d[0] },\n", in gensrc()
498 fprintf(th, " { 0, (short *) 0 }\n"); in gensrc()
499 fprintf(th, "};\n"); in gensrc()
501 fprintf(th, "S_F_MAP *flref[] = {\n"); /* 5.3.0 */ in gensrc()
503 { fprintf(th, " src_file%d%c\n", p->tn, p->nxt?',':' '); in gensrc()
505 fprintf(th, "};\n"); in gensrc()
514 fprintf(tt, "}\n\n"); /* end of settable() */ in gensrc()
516 fprintf(tm, "#undef rand\n"); in gensrc()
517 fprintf(tm, " }\n\n"); in gensrc()
518 fprintf(tb, " }\n\n"); in gensrc()
524 { fprintf(th, "#define FORWARD_MOVES\t\"pan_s.m\"\n"); in gensrc()
525 fprintf(th, "#define REVERSE_MOVES\t\"pan_s.b\"\n"); in gensrc()
526 fprintf(th, "#define SEPARATE\n"); in gensrc()
527 fprintf(th, "#define TRANSITIONS\t\"pan_s.t\"\n"); in gensrc()
528 fprintf(th, "extern void ini_claim(int, int);\n"); in gensrc()
530 { fprintf(th, "#define FORWARD_MOVES\t\"pan.m\"\n"); in gensrc()
531 fprintf(th, "#define REVERSE_MOVES\t\"pan.b\"\n"); in gensrc()
532 fprintf(th, "#define TRANSITIONS\t\"pan.t\"\n"); in gensrc()
541 fprintf(tc, "void\n"); in gensrc()
542 fprintf(tc, "active_procs(void)\n{\n"); in gensrc()
544 fprintf(tc, " if (!permuted) {\n"); in gensrc()
546 fprintf(tc, " } else {\n"); in gensrc()
548 fprintf(tc, " }\n"); in gensrc()
552 fprintf(tc, "}\n"); in gensrc()
556 fprintf(th, "#define NTRANS %d\n", uniq); in gensrc()
557 fprintf(th, "#ifdef PEG\n"); in gensrc()
558 fprintf(th, " long peg[NTRANS];\n"); in gensrc()
559 fprintf(th, "#endif\n"); in gensrc()
560 fprintf(th, "void select_claim(int);\n"); in gensrc()
566 fprintf(th, "#define FORWARD_MOVES\t\"pan_t.m\"\n"); in gensrc()
567 fprintf(th, "#define REVERSE_MOVES\t\"pan_t.b\"\n"); in gensrc()
568 fprintf(th, "#define TRANSITIONS\t\"pan_t.t\"\n"); in gensrc()
569 fprintf(tc, "extern int Maxbody;\n"); in gensrc()
570 fprintf(tc, "#if VECTORSZ>32000\n"); in gensrc()
571 fprintf(tc, " extern int proc_offset[];\n"); in gensrc()
572 fprintf(tc, "#else\n"); in gensrc()
573 fprintf(tc, " extern short proc_offset[];\n"); in gensrc()
574 fprintf(tc, "#endif\n"); in gensrc()
575 fprintf(tc, "extern uchar proc_skip[];\n"); in gensrc()
576 fprintf(tc, "extern uchar *reached[];\n"); in gensrc()
577 fprintf(tc, "extern uchar *accpstate[];\n"); in gensrc()
578 fprintf(tc, "extern uchar *progstate[];\n"); in gensrc()
579 fprintf(tc, "extern uchar *stopstate[];\n"); in gensrc()
580 fprintf(tc, "extern uchar *visstate[];\n\n"); in gensrc()
581 fprintf(tc, "extern short *mapstate[];\n"); in gensrc()
583 fprintf(tc, "void\nini_claim(int n, int h)\n{"); in gensrc()
584 fprintf(tc, "\textern State now;\n"); in gensrc()
585 fprintf(tc, "\textern void set_claim(void);\n\n"); in gensrc()
586 fprintf(tc, "#ifdef PROV\n"); in gensrc()
587 fprintf(tc, " #include PROV\n"); in gensrc()
588 fprintf(tc, "#endif\n"); in gensrc()
589 fprintf(tc, "\tset_claim();\n"); in gensrc()
591 fprintf(tc, "\n\tswitch (n) {\n"); in gensrc()
593 fprintf(tc, "\t}\n"); in gensrc()
594 fprintf(tc, "\n}\n"); in gensrc()
595 fprintf(tc, "int\nstep_claim(int o_pm, int tau, int tt, int ot, Trans *t)\n"); in gensrc()
596 fprintf(tc, "{ int forw = t->forw; int _m = 0; extern char *noptr; int II=0;\n"); in gensrc()
597 fprintf(tc, " extern State now;\n"); in gensrc()
598 fprintf(tc, "#define continue return 0\n"); in gensrc()
599 fprintf(tc, "#include \"pan_t.m\"\n"); in gensrc()
600 fprintf(tc, "P999:\n\treturn _m;\n}\n"); in gensrc()
601 fprintf(tc, "#undef continue\n"); in gensrc()
602 fprintf(tc, "int\nrev_claim(int backw)\n{ return 0; }\n"); in gensrc()
603 fprintf(tc, "#include TRANSITIONS\n"); in gensrc()
627 fprintf(tc, "\n\t\t\t || "); in dolen()
628 fprintf(tc, "%s(", pre); in dolen()
631 fprintf(tc, "(int) ( ((P%d *)this)->", pid); in dolen()
633 fprintf(tc, "(int) ( now."); in dolen()
635 fprintf(tc, "%s", s->name); in dolen()
636 if (qln > 1 || s->isarray) fprintf(tc, "[%d]", ai); in dolen()
637 fprintf(tc, ") )"); in dolen()
670 fprintf(tc, "%s", DD[j].CC); in bb_or_dd()
672 fprintf(tc, "%s", BB[j].CC); in bb_or_dd()
675 fprintf(tc, "%s", DD[j].TT); in bb_or_dd()
677 fprintf(tc, "%s", BB[j].TT); in bb_or_dd()
687 fprintf(tc, "\t\tcase %d: if (", nid); in Done_case()
689 { fprintf(tc, "\t(t->ty[i] == "); in Done_case()
691 fprintf(tc, " && ("); in Done_case()
694 fprintf(tc, "\n\t\t\t || "); in Done_case()
696 fprintf(tc, "(%s%s", nm, z->name); in Done_case()
698 fprintf(tc, "[%d]", k); in Done_case()
699 fprintf(tc, ")"); in Done_case()
701 fprintf(tc, "))\n\t\t\t "); in Done_case()
703 fprintf(tc, "|| "); in Done_case()
705 fprintf(tc, " "); in Done_case()
707 fprintf(tc, ") return 0; break;\n"); in Done_case()
714 fprintf(tc, "\t\tcase %d: if (", nid); in Docase()
716 { fprintf(tc, "\t(t->ty[i] == "); in Docase()
718 fprintf(tc, " && ("); in Docase()
726 fprintf(tc, "))\n\t\t\t "); in Docase()
728 fprintf(tc, "|| "); in Docase()
730 fprintf(tc, " "); in Docase()
732 fprintf(tc, ") return 0; break;\n"); in Docase()
742 fprintf(th, "#define LOCAL 1\n"); in genconditionals()
743 fprintf(th, "#define Q_FULL_F 2\n"); in genconditionals()
744 fprintf(th, "#define Q_EMPT_F 3\n"); in genconditionals()
745 fprintf(th, "#define Q_EMPT_T 4\n"); in genconditionals()
746 fprintf(th, "#define Q_FULL_T 5\n"); in genconditionals()
747 fprintf(th, "#define TIMEOUT_F 6\n"); in genconditionals()
748 fprintf(th, "#define GLOBAL 7\n"); in genconditionals()
749 fprintf(th, "#define BAD 8\n"); in genconditionals()
750 fprintf(th, "#define ALPHA_F 9\n"); in genconditionals()
752 fprintf(tc, "int\n"); in genconditionals()
753 fprintf(tc, "q_cond(short II, Trans *t)\n"); in genconditionals()
754 fprintf(tc, "{ int i = 0;\n"); in genconditionals()
755 fprintf(tc, " for (i = 0; i < 6; i++)\n"); in genconditionals()
756 fprintf(tc, " { if (t->ty[i] == TIMEOUT_F) return %s;\n", in genconditionals()
758 fprintf(tc, " if (t->ty[i] == ALPHA_F)\n"); in genconditionals()
759 fprintf(tc, "#ifdef GLOB_ALPHA\n"); in genconditionals()
760 fprintf(tc, " return 0;\n"); in genconditionals()
761 fprintf(tc, "#else\n\t\t\treturn "); in genconditionals()
762 fprintf(tc, "(II+1 == (short) now._nr_pr && II+1 < MAXPROC);\n"); in genconditionals()
763 fprintf(tc, "#endif\n"); in genconditionals()
773 fprintf(tc, " switch (t->qu[i]) {\n"); in genconditionals()
774 fprintf(tc, " case 0: break;\n"); in genconditionals()
798 fprintf(tc, " \tdefault: Uerror(\"unknown qid - q_cond\");\n"); in genconditionals()
799 fprintf(tc, " \t\t\treturn 0;\n"); in genconditionals()
800 fprintf(tc, " \t}\n"); in genconditionals()
801 fprintf(tc, " }\n"); in genconditionals()
802 fprintf(tc, " return 1;\n"); in genconditionals()
803 fprintf(tc, "}\n"); in genconditionals()
813 { fprintf(th, "extern uchar reached%d[];\n", Pid); in putproc()
815 fprintf(th, "extern short nstates%d;\n", Pid); in putproc()
817 fprintf(th, "\n#define nstates%d %d\t/* %s */\n", in putproc()
820 fprintf(th, "extern short src_ln%d[];\n", Pid); in putproc()
821 fprintf(th, "extern uchar *loopstate%d;\n", Pid); in putproc()
822 fprintf(th, "extern S_F_MAP src_file%d[];\n", Pid); in putproc()
823 fprintf(th, "#define endstate%d %d\n", in putproc()
829 { fprintf(th, "extern short src_ln%d[];\n", Pid); in putproc()
830 fprintf(th, "extern uchar *loopstate%d;\n", Pid); in putproc()
836 fprintf(th, "\n#define nstates%d %d\t/* %s */\n", in putproc()
839 fprintf(th, "#define nstates_event nstates%d\n", Pid); in putproc()
841 fprintf(th, "#define endstate%d %d\n", Pid, p->s->last?p->s->last->seqno:0); in putproc()
844 { fprintf(tm, "\n /* CLAIM %s */\n", p->n->name); in putproc()
845 fprintf(tb, "\n /* CLAIM %s */\n", p->n->name); in putproc()
848 { fprintf(tm, "\n /* PROC %s */\n", p->n->name); in putproc()
849 fprintf(tb, "\n /* PROC %s */\n", p->n->name); in putproc()
851 fprintf(tt, "\n /* proctype %d: %s */\n", Pid, p->n->name); in putproc()
852 fprintf(tt, "\n trans[%d] = (Trans **)", Pid); in putproc()
853 fprintf(tt, " emalloc(%d*sizeof(Trans *));\n\n", p->s->maxel); in putproc()
856 { fprintf(th, "\n#define in_s_scope(x_y3_) 0"); in putproc()
857 fprintf(tc, "\n#define in_r_scope(x_y3_) 0"); in putproc()
861 { fprintf(th, "\n\n"); in putproc()
862 fprintf(tc, "\n\n"); in putproc()
1006 fprintf(tt, "\ttrans[%d][%d]->escp[%d] = %d;\n", in put_escp()
1008 fprintf(tt, "\treached%d[%d] = 1;\n", in put_escp()
1012 { fprintf(tt, " /* escape #%d: %d */\n", n, in put_escp()
1016 fprintf(tt, " /* end-escapes */\n"); in put_escp()
1043 fprintf(tm, "\tcase %d: ", uniq++); in put_sub()
1044 fprintf(tm, "/* STATE %d - %s:%d - [", in put_sub()
1047 fprintf(tm, "] */\n\t\t"); in put_sub()
1057 fprintf(tm, "\n#if defined(C_States) && (HAS_TRACK==1)\n"); in put_sub()
1058 fprintf(tm, "\t\tc_update((uchar *) &(now.c_state[0]));\n"); in put_sub()
1059 fprintf(tm, "#endif\n"); in put_sub()
1061 fprintf(tm, "\t\t_m = %d", getweight(s->frst->n)); in put_sub()
1063 fprintf(tm, "+delta_m; delta_m = 0"); in put_sub()
1064 fprintf(tm, "; goto P999;\n\n"); in put_sub()
1067 fprintf(tb, "\tcase %d: ", uniq-1); in put_sub()
1068 fprintf(tb, "/* STATE %d */\n", e->seqno); in put_sub()
1069 fprintf(tb, "\t\tsv_restor();\n"); in put_sub()
1070 fprintf(tb, "\t\tgoto R999;\n"); in put_sub()
1076 fprintf(tt, "/*->*/\ttrans[%d][%d]\t= ", in put_sub()
1078 fprintf(tt, "settr(%d,%d,%d,%d,%d,\"", in put_sub()
1081 fprintf(tt, "\", %d, ", (s->frst->status&I_GLOB)?1:0); in put_sub()
1082 fprintf(tt, "%d, %d);\n", TPE[0], TPE[1]); in put_sub()
1086 fprintf(tt, "\tT = trans[ %d][%d] = ", Pid, e->seqno); in put_sub()
1087 fprintf(tt, "settr(%d,%d,0,0,0,\"", in put_sub()
1093 fprintf(tt, "\", %d, %d, %d);", in put_sub()
1096 fprintf(tt, "\tT->nxt\t= "); in put_sub()
1097 fprintf(tt, "settr(%d,%d,%d,0,0,\"", in put_sub()
1100 fprintf(tt, "\", %d, ", (s->frst->status&I_GLOB)?1:0); in put_sub()
1102 { fprintf(tt, "%d, %d);", Tt0, Tt1); in put_sub()
1106 { fprintf(tt, "%d, %d);", TPE[0], TPE[1]); in put_sub()
1331 { fprintf(tm, "\n\t\tbad hop %s:%d -- at %d, <", in nrhops()
1334 fprintf(tm, "> looking for %d -- merge %d:%d:%d\n\t\t", in nrhops()
1347 { fprintf(tm, "(trpt+1)->bup.ovals = grab_ints(%d);\n\t\t", in check_needed()
1361 { fprintf(tm_fd, ";\n\t\tif (trpt->o_pm&1)\n\t\t"); in doforward()
1362 fprintf(tm_fd, "\tuerror(\"non-determinism in D_proctype\")"); in doforward()
1366 { fprintf(tm_fd, ";\n\t\t/* dead %d: %s */ ", in doforward()
1378 fprintf(tm_fd, "\n#ifdef HAS_CODE\n"); in doforward()
1379 fprintf(tm_fd, "\t\tif (!readtrail)\n"); in doforward()
1380 fprintf(tm_fd, "#endif\n\t\t\t"); in doforward()
1389 fprintf(tm_fd, "(trpt+1)->bup.ovals[%d] = ", in doforward()
1393 fprintf(tm_fd, "(trpt+1)->bup.oval = "); in doforward()
1395 fprintf(tm_fd, "#ifdef HAS_CODE\n"); in doforward()
1396 fprintf(tm_fd, "\t\tif (!readtrail)\n"); in doforward()
1397 fprintf(tm_fd, "#endif\n\t\t\t"); in doforward()
1402 fprintf(tm_fd, ";\n\t\t"); in doforward()
1414 { fprintf(tb, "\n\tcase %d: ", casenr); in dobackward()
1415 fprintf(tb, "/* STATE %d */\n\t\t", e->seqno); in dobackward()
1425 fprintf(tb, ";\n\t/* %d */\t", YZmax); in dobackward()
1429 fprintf(tb, "s[%d]", multi_oval-1); in dobackward()
1434 { fprintf(tb, ";\n\t\t"); in dobackward()
1461 fprintf(tb, "\n\t/* merge %d -- %d:%d %d:%d:%d (casenr %d) ", in lastfirst()
1467 fprintf(tb, " */\n"); in lastfirst()
1519 { fprintf(tt, "\ttrans[%d][%d]\t= ", Pid, e->seqno); in case_cache()
1520 fprintf(tt, "settr(0,0,0,0,0,\""); in case_cache()
1522 fprintf(tt, "\",0,0,0);\n"); in case_cache()
1524 { fprintf(tt, "\ttrans[%d][%d]\t= ", Pid, e->seqno); in case_cache()
1533 fprintf(tt, "\ttrans[%d][%d]\t= ", Pid, e->seqno); in case_cache()
1543 fprintf(tm, "/* STATE %d - %s:%d - [", in case_cache()
1546 fprintf(tm, "] (%d:%d - %d) same as %d (%d:%d - %d) */\n", in case_cache()
1554 fprintf(tm, "\tcase %d: /* STATE %d - %s:%d - [", in case_cache()
1558 fprintf(tm, "] (%d:%d:%d - %d) */\n\t\t", in case_cache()
1565 fprintf(tm, "IfNotBlocked\n\t\t"); in case_cache()
1581 { fprintf(tm, "\n#if defined(VERI) && !defined(NP)\n"); in case_cache()
1582 fprintf(tm, "#if NCLAIMS>1\n"); in case_cache()
1583 fprintf(tm, "\t\t{ static int reported%d = 0;\n", e->seqno); in case_cache()
1584 fprintf(tm, "\t\t int nn = (int) ((Pclaim *)this)->_n;\n\t\t"); in case_cache()
1585 fprintf(tm, " if (verbose && !reported%d)\n\t\t", e->seqno); in case_cache()
1586 fprintf(tm, " {\tprintf(\"depth %%ld: Claim %%s (%%d), state %%d (line %%d)\\n\",\n\t\t"); in case_cache()
1587 fprintf(tm, " \t\tdepth, procname[spin_c_typ[nn]], nn, "); in case_cache()
1588 fprintf(tm, "(int) ((Pclaim *)this)->_p, src_claim[ (int) ((Pclaim *)this)->_p ]);\n\t\t"); in case_cache()
1589 fprintf(tm, " reported%d = 1;\n\t\t", e->seqno); in case_cache()
1590 fprintf(tm, " fflush(stdout);\n\t\t"); in case_cache()
1591 fprintf(tm, "} }\n"); in case_cache()
1592 fprintf(tm, "#else\n"); in case_cache()
1593 fprintf(tm, "{ static int reported%d = 0;\n\t\t", e->seqno); in case_cache()
1594 fprintf(tm, " if (verbose && !reported%d)\n\t\t", e->seqno); in case_cache()
1595 fprintf(tm, " { printf(\"depth %%d: Claim, state %%d (line %%d)\\n\",\n\t\t"); in case_cache()
1596 fprintf(tm, " (int) depth, (int) ((Pclaim *)this)->_p, "); in case_cache()
1597 fprintf(tm, "src_claim[ (int) ((Pclaim *)this)->_p ]);\n\t\t"); in case_cache()
1598 fprintf(tm, " reported%d = 1;\n\t\t", e->seqno); in case_cache()
1599 fprintf(tm, " fflush(stdout);\n\t\t"); in case_cache()
1600 fprintf(tm, "} }\n"); in case_cache()
1601 fprintf(tm, "#endif\n"); in case_cache()
1602 fprintf(tm, "#endif\n\t\t"); in case_cache()
1607 fprintf(tm, "reached[%d][%d] = 1;\n\t\t", Pid, e->seqno); in case_cache()
1631 { fprintf(tm, "/* stop at bad hop %d, %d */\n\t\t", in case_cache()
1635 fprintf(tm, "/* merge: "); in case_cache()
1637 fprintf(tm, "(%d, %d, %d) */\n\t\t", f->merge, f->seqno, ntarget); in case_cache()
1638 fprintf(tm, "reached[%d][%d] = 1;\n\t\t", Pid, f->seqno); in case_cache()
1648 fprintf(tm, "_m = %d", getweight(e->n)); in case_cache()
1649 if (m_loss && e->n->ntyp == 's') fprintf(tm, "+delta_m; delta_m = 0"); in case_cache()
1650 fprintf(tm, "; goto P999; /* %d */\n", YZcnt); in case_cache()
1660 fprintf(tb, ";\n\t\t"); in case_cache()
1664 { fprintf(tb, "\n\tcase %d: ", casenr); in case_cache()
1665 fprintf(tb, "/* STATE %d */", e->seqno); in case_cache()
1668 fprintf(tb, ";"); in case_cache()
1670 fprintf(tb, ";"); in case_cache()
1671 fprintf(tb, "\n\t\t"); in case_cache()
1674 { fprintf(tb, "ungrab_ints(trpt->bup.ovals, %d);\n\t\t", in case_cache()
1679 { fprintf(tb, "goto R999;\n"); in case_cache()
1693 fprintf(tt, "%ssettr(%d,%d,%d,%d,%d,\"", fromcache?"/* c */ ":"", in case_cache()
1735 generic_case: fprintf(tt, "\ttrans[%d][%d]\t= ", Pid, e->seqno); in put_el()
1736 fprintf(tt, "settr(%d,%d,%d,%d,0,\"", in put_el()
1763 fprintf(tt, "\", %d, ", Global_ref); in put_el()
1765 { fprintf(tt, "%d, %d);", Tt0, Tt1); in put_el()
1768 fprintf(tt, "%d, %d);", EPT[0], EPT[1]); in put_el()
1772 { fprintf(tt, " /* m: %d -> %d,%d */\n", in put_el()
1774 fprintf(tt, " reached%d[%d] = 1;", in put_el()
1777 fprintf(tt, "\n"); in put_el()
1842 fprintf(tt, "\tT = trans[%d][%d] = ", in put_seq()
1844 fprintf(tt, "settr(%d,%d,0,0,0,\"", in put_seq()
1849 fprintf(tt, "\", %d, %d, %d);", in put_seq()
1863 { fprintf(tt, "#if 0\n\t/* dead link: */\n"); in put_seq()
1872 fprintf(tt, "\tT = T->nxt\t= "); in put_seq()
1874 fprintf(tt, "\t T->nxt\t= "); in put_seq()
1875 fprintf(tt, "settr(%d,%d,%d,0,0,\"", in put_seq()
1880 fprintf(tt, "\", %d, %d, %d);", in put_seq()
1885 fprintf(tt, "#endif\n"); in put_seq()
2039 …{ fprintf(tt, "\t/* mark-down line %d status %d = %d */\n", f->n->ln, f->status, (f->status & D_AT… in scan_seq()
2164 fprintf(fd, "continue%s", str); in Bailout()
2166 fprintf(fd, "%s%s", NextLab[Level], str); in Bailout()
2168 fprintf(fd, "Uerror(\"block in d_step seq\")%s", str); in Bailout()
2171 #define cat0(x) putstmnt(fd,now->lft,m); fprintf(fd, x); \
2173 #define cat1(x) fprintf(fd,"("); cat0(x); fprintf(fd,")")
2174 #define cat2(x,y) fprintf(fd,x); putstmnt(fd,y,m)
2175 #define cat3(x,y,z) fprintf(fd,x); putstmnt(fd,y,m); fprintf(fd,z)
2182 if (!now) { fprintf(fd, "0"); return; } in putstmnt()
2187 case CONST: fprintf(fd, "%d", now->val); break; in putstmnt()
2213 fprintf(fd, "((tau)&1)"); in putstmnt()
2215 fprintf(fd, "((trpt->tau)&1)"); in putstmnt()
2236 fprintf(fd,"addproc(II, %d", fproc(now->sym->name)); in putstmnt()
2247 fprintf(fd, ", 0"); in putstmnt()
2248 fprintf(fd, ")"); in putstmnt()
2258 fprintf(fd, "(!(o_pm&4) && !(tau&128))"); in putstmnt()
2260 fprintf(fd, "(!(trpt->o_pm&4) && !(trpt->tau&128))"); in putstmnt()
2269 { fprintf(fd, "\n#ifndef XUSAFE\n\t\t"); in putstmnt()
2272 fprintf(fd, ", II)) &&\n\t\t"); in putstmnt()
2275 fprintf(fd, "\n#endif\n\t\t"); in putstmnt()
2282 { fprintf(fd, "\n#ifndef XUSAFE\n\t\t"); in putstmnt()
2285 fprintf(fd, ", II)) &&\n\t\t"); in putstmnt()
2288 fprintf(fd, "\n#endif\n\t\t"); in putstmnt()
2295 { fprintf(fd, "\n#ifndef XUSAFE\n\t\t"); in putstmnt()
2298 fprintf(fd, ", II)) &&\n\t\t"); in putstmnt()
2301 fprintf(fd, "\n#endif\n\t\t"); in putstmnt()
2308 { fprintf(fd, "\n#ifndef XUSAFE\n\t\t"); in putstmnt()
2311 fprintf(fd, "\n#endif\n\t\t"); in putstmnt()
2318 { fprintf(fd, "\n#ifndef XUSAFE\n\t\t"); in putstmnt()
2321 fprintf(fd, "\n#endif\n\t\t"); in putstmnt()
2328 { fprintf(fd, "if ((II == -EVENT_TRACE && _tp != 's') "); in putstmnt()
2334 fprintf(fd, " \\\n\t\t|| qrecv("); in putstmnt()
2337 fprintf(fd, "%d, 0) != ", i); in putstmnt()
2343 fprintf(fd, ")\n"); in putstmnt()
2344 fprintf(fd, "\t\t continue"); in putstmnt()
2350 fprintf(fd, "1"); in putstmnt()
2356 { fprintf(fd, "\n#if !defined(XUSAFE) && !defined(NOREDUCE)\n\t\t"); in putstmnt()
2359 fprintf(fd, "}\n"); in putstmnt()
2362 fprintf(fd, "{ uerror(\"sorted send on xr channel violates po reduction\");\n\t\t"); in putstmnt()
2363 fprintf(fd, "}\n"); in putstmnt()
2365 fprintf(fd, "#endif\n\t\t"); in putstmnt()
2367 fprintf(fd, "if (q_%s", in putstmnt()
2372 fprintf(fd, "\t\t{ nlost++; delta_m = 1; } else {"); in putstmnt()
2374 { fprintf(fd, "\t\t\t"); in putstmnt()
2379 fprintf(fd, "\n\t\tif (TstOnly) return 1;"); in putstmnt()
2382 fprintf(fd, "\n\n\t\tif (no_recvs(II)) continue;\n"); in putstmnt()
2384 fprintf(fd, "\n#ifdef HAS_CODE\n"); in putstmnt()
2385 fprintf(fd, "\t\tif (readtrail && gui) {\n"); in putstmnt()
2386 fprintf(fd, "\t\t\tchar simtmp[32];\n"); in putstmnt()
2392 fprintf(fd, "\t\tstrcat(simvals, \",\");\n"); in putstmnt()
2395 fprintf(fd, "\t\t}\n"); in putstmnt()
2396 fprintf(fd, "#endif\n\t\t"); in putstmnt()
2399 fprintf(fd, ", %d", now->val); in putstmnt()
2411 fprintf(fd, ", 0"); in putstmnt()
2412 fprintf(fd, ", %d)", j); in putstmnt()
2414 { fprintf(fd, ";\n\t\t"); in putstmnt()
2419 fprintf(fd, "; Uerror(\"rv-attempt in d_step\")"); in putstmnt()
2420 fprintf(fd, "; }"); in putstmnt()
2423 fprintf(fd, ";\n\t\t}\n\t\t"); /* end of m_loss else */ in putstmnt()
2428 { fprintf(fd, "if ((II == -EVENT_TRACE && _tp != 'r') "); in putstmnt()
2434 fprintf(fd, " \\\n\t\t|| qrecv("); in putstmnt()
2436 fprintf(fd, "0, %d, 0) != ", i); in putstmnt()
2442 fprintf(fd, ")\n"); in putstmnt()
2443 fprintf(fd, "\t\t continue"); in putstmnt()
2450 { fprintf(fd, "(("); in putstmnt()
2451 if (u_sync) fprintf(fd, "(boq == -1 && "); in putstmnt()
2460 fprintf(fd, ")"); in putstmnt()
2466 fprintf(fd, "0, %d, 0))", i); in putstmnt()
2470 fprintf(fd, "0, %d, 0))", i); in putstmnt()
2476 { fprintf(fd, "\n\t\t&& Q_has("); in putstmnt()
2480 { fprintf(fd, ", 1, "); in putstmnt()
2483 { fprintf(fd, ", 1, "); in putstmnt()
2486 { fprintf(fd, ", 0, 0"); in putstmnt()
2489 fprintf(fd, ", 0, 0"); in putstmnt()
2490 fprintf(fd, ")"); in putstmnt()
2492 fprintf(fd, ")"); in putstmnt()
2496 { fprintf(fd, "\n#if !defined(XUSAFE) && !defined(NOREDUCE)\n\t\t"); in putstmnt()
2500 fprintf(fd, " uerror(\"rand receive on xr channel violates po reduction\");\n\t\t"); in putstmnt()
2501 fprintf(fd, "}\n"); in putstmnt()
2502 fprintf(fd, "#endif\n\t\t"); in putstmnt()
2507 { fprintf(fd, "if ("); in putstmnt()
2509 fprintf(fd, "\n\t\t{\t"); in putstmnt()
2511 fprintf(fd, "uerror(\"polling "); in putstmnt()
2512 fprintf(fd, "rv chan\");\n\t\t"); in putstmnt()
2514 fprintf(fd, " continue;\n\t\t}\n\t\t"); in putstmnt()
2515 fprintf(fd, "IfNotBlocked\n\t\t"); in putstmnt()
2517 { fprintf(fd, "if ("); in putstmnt()
2522 fprintf(fd, "\n\t\t{\tif (boq != "); in putstmnt()
2525 fprintf(fd, "{\tif (boq != -1) "); in putstmnt()
2529 fprintf(fd, "}\n\t\t"); in putstmnt()
2539 fprintf(fd, ";\n\n\t\tXX=1"); in putstmnt()
2543 { fprintf(fd, ";\n\t\t"); in putstmnt()
2546 fprintf(fd, "0, %d, 0)) ", i); in putstmnt()
2549 { fprintf(fd, ";\n\t\t"); in putstmnt()
2552 fprintf(fd, "0, %d, 0)) ", i); in putstmnt()
2556 { fprintf(fd, ";\n\t\tif (!(XX = Q_has("); in putstmnt()
2560 { fprintf(fd, ", 1, "); in putstmnt()
2563 { fprintf(fd, ", 1, "); in putstmnt()
2566 { fprintf(fd, ", 0, 0"); in putstmnt()
2569 fprintf(fd, ", 0, 0"); in putstmnt()
2570 fprintf(fd, "))) "); in putstmnt()
2573 fprintf(fd, ";\n\t\t"); in putstmnt()
2576 fprintf(fd, "(trpt+1)->bup.ovals[%d] = ", in putstmnt()
2580 fprintf(fd, "(trpt+1)->bup.oval = "); in putstmnt()
2581 fprintf(fd, "XX"); in putstmnt()
2586 fprintf(fd, ";\n\t\tif (TstOnly) return 1"); in putstmnt()
2589 { fprintf(fd, ";\n\t\t"); in putstmnt()
2595 fprintf(fd, ";\n\t\t"); in putstmnt()
2598 { fprintf(fd, "if (q_flds[((Q0 *)qptr("); in putstmnt()
2600 fprintf(fd, " != %d)\n\t", i); in putstmnt()
2601 fprintf(fd, "\t\tUerror(\"wrong nr of msg fields in rcv\");\n\t\t"); in putstmnt()
2626 { fprintf(fd, tempbuf); in putstmnt()
2628 fprintf(fd, ", XX-1, %d, 0);\n\t\t", i); in putstmnt()
2656 fprintf(fd, ";\n\t\t"); in putstmnt()
2667 fprintf(fd, " = "); in putstmnt()
2670 fprintf(fd, "XX-1, %d, ", i); in putstmnt()
2671 fprintf(fd, "%d)", (v->rgt || now->val >= 2)?0:1); in putstmnt()
2679 { fprintf(fd, ";\n#ifdef VAR_RANGES"); in putstmnt()
2680 fprintf(fd, "\n\t\tlogval(\""); in putstmnt()
2685 fprintf(fd, "\", "); in putstmnt()
2688 fprintf(fd, ");\n#endif\n"); in putstmnt()
2689 fprintf(fd, "\t\t"); in putstmnt()
2692 fprintf(fd, ";\n\t\t"); in putstmnt()
2694 fprintf(fd, "\n#ifdef HAS_CODE\n"); in putstmnt()
2695 fprintf(fd, "\t\tif (readtrail && gui) {\n"); in putstmnt()
2696 fprintf(fd, "\t\t\tchar simtmp[32];\n"); in putstmnt()
2706 fprintf(fd, "\t\tstrcat(simvals, \",\");\n"); in putstmnt()
2709 fprintf(fd, "\t\t}\n"); in putstmnt()
2710 fprintf(fd, "#endif\n\t\t"); in putstmnt()
2714 fprintf(fd, "\n\t\t{ boq = -1;\n"); in putstmnt()
2716 fprintf(fd, "#ifndef NOFAIR\n"); /* NEW 3.0.8 */ in putstmnt()
2717 fprintf(fd, "\t\t\tif (fairness\n"); in putstmnt()
2718 fprintf(fd, "\t\t\t&& !(trpt->o_pm&32)\n"); in putstmnt()
2719 fprintf(fd, "\t\t\t&& (now._a_t&2)\n"); in putstmnt()
2720 fprintf(fd, "\t\t\t&& now._cnt[now._a_t&1] == II+2)\n"); in putstmnt()
2721 fprintf(fd, "\t\t\t{ now._cnt[now._a_t&1] -= 1;\n"); in putstmnt()
2722 fprintf(fd, "#ifdef VERI\n"); in putstmnt()
2723 fprintf(fd, "\t\t\t if (II == 1)\n"); in putstmnt()
2724 fprintf(fd, "\t\t\t now._cnt[now._a_t&1] = 1;\n"); in putstmnt()
2725 fprintf(fd, "#endif\n"); in putstmnt()
2726 fprintf(fd, "#ifdef DEBUG\n"); in putstmnt()
2727 fprintf(fd, "\t\t\tprintf(\"%%3d: proc %%d fairness \", depth, II);\n"); in putstmnt()
2728 fprintf(fd, "\t\t\tprintf(\"Rule 2: --cnt to %%d (%%d)\\n\",\n"); in putstmnt()
2729 fprintf(fd, "\t\t\t now._cnt[now._a_t&1], now._a_t);\n"); in putstmnt()
2730 fprintf(fd, "#endif\n"); in putstmnt()
2731 fprintf(fd, "\t\t\t trpt->o_pm |= (32|64);\n"); in putstmnt()
2732 fprintf(fd, "\t\t\t}\n"); in putstmnt()
2733 fprintf(fd, "#endif\n"); in putstmnt()
2735 fprintf(fd, "\n\t\t}"); in putstmnt()
2741 { fprintf(fd, "\n#ifndef XUSAFE\n\t\t"); in putstmnt()
2743 fprintf(fd, "q_R_check("); in putstmnt()
2747 fprintf(fd, "\n#endif\n\t\t"); in putstmnt()
2763 fprintf(fd, " \\\n\t\t&& qrecv("); in putstmnt()
2765 fprintf(fd, "0, %d, 0) == ", i); in putstmnt()
2771 fprintf(fd, ")"); in putstmnt()
2776 { fprintf(fd, ", 1, "); in putstmnt()
2779 { fprintf(fd, ", 1, "); in putstmnt()
2782 fprintf(fd, ", 0, 0"); in putstmnt()
2785 fprintf(fd, ", 0, 0"); in putstmnt()
2786 fprintf(fd, ")"); in putstmnt()
2799 fprintf(fd, "if (o_pm&1)\n\t\t\t"); in putstmnt()
2801 fprintf(fd, "if (trpt->o_pm&1)\n\t\t\t"); in putstmnt()
2804 { fprintf(fd, "/* else */"); in putstmnt()
2820 fprintf(fd, "if (TstOnly) return 1;\n\t\t"); in putstmnt()
2835 fprintf(fd," = "); in putstmnt()
2841 { fprintf(fd, ";\n#ifdef VAR_RANGES"); in putstmnt()
2842 fprintf(fd, "\n\t\tlogval(\""); in putstmnt()
2847 fprintf(fd, "\", "); in putstmnt()
2850 fprintf(fd, ");\n#endif\n"); in putstmnt()
2851 fprintf(fd, "\t\t"); in putstmnt()
2857 fprintf(fd, "if (TstOnly) return 1;\n\t\t"); in putstmnt()
2859 fprintf(fd, "printf(%s", now->sym->name); in putstmnt()
2861 fprintf(fd, "Printf(%s", now->sym->name); in putstmnt()
2866 fprintf(fd, ")"); in putstmnt()
2871 fprintf(fd, "if (TstOnly) return 1;\n\t\t"); in putstmnt()
2872 fprintf(fd, "printm("); in putstmnt()
2874 fprintf(fd, "%d", now->lft->val); in putstmnt()
2877 fprintf(fd, ")"); in putstmnt()
2893 fprintf(fd, "%s", now->sym->name); in putstmnt()
2895 fprintf(fd, "%d", remotelab(now)); in putstmnt()
2899 fprintf(fd, "("); in putstmnt()
2902 fprintf(fd, ")"); in putstmnt()
2904 fprintf(fd, ") /* %s */ ", now->sym->name); in putstmnt()
2910 fprintf(fd, "/* %s */\n\t\t", now->sym->name); in putstmnt()
2912 fprintf(fd, "if (TstOnly) return 1;\n\t\t"); in putstmnt()
2920 { fprintf(fd, "\n"); /* state changed, capture it */ in putstmnt()
2921 fprintf(fd, "#if defined(C_States) && (HAS_TRACK==1)\n"); in putstmnt()
2922 fprintf(fd, "\t\tc_update((uchar *) &(now.c_state[0]));\n"); in putstmnt()
2923 fprintf(fd, "#endif\n"); in putstmnt()
2929 fprintf(fd, "if (TstOnly) return 1;\n\t\t"); in putstmnt()
2941 fprintf(fd, "Uerror(\"cannot get here\")"); in putstmnt()
2947 { fprintf(fd, "return 0"); in putstmnt()
2952 { fprintf(fd, "if (TstOnly)\n\t\t\t"); in putstmnt()
2953 fprintf(fd, "return (II+1 == now._nr_pr);\n\t\t"); in putstmnt()
2955 fprintf(fd, "if (!delproc(1, II)) "); in putstmnt()
2993 { fprintf(fd, "%s%s%s", pre, n->sym->name, suff); in putname()
3008 fprintf(fd, pre); in putname()
3013 { fprintf(fd, "((P%d *)this)->", Pid); in putname()
3017 fprintf(fd, "now."); in putname()
3028 { fprintf(fd, "%s:", s->context->name); in putname()
3036 fprintf(fd, "%s", ptr); in putname()
3055 { fprintf(fd, "[%%d]"); in putname()
3058 fprintf(fd, ", "); in putname()
3081 fprintf(fd, "%d) ]", s->nel); in putname()
3093 fprintf(fd, suff); in putname()
3102 { fprintf(fd, "%s", n->lft->sym->name); /* proctype name */ in putremote()
3104 { fprintf(fd, "["); in putremote()
3106 fprintf(fd, "]"); in putremote()
3108 fprintf(fd, ".%s", n->sym->name); in putremote()
3112 fprintf(fd, "((int)"); in putremote()
3116 fprintf(fd, "((P%d *)Pptr(", pt); in putremote()
3118 { fprintf(fd, "BASE+"); in putremote()
3121 fprintf(fd, "f_pid(%d)", pt); in putremote()
3122 fprintf(fd, "))->%s", n->sym->name); in putremote()
3125 { fprintf(fd, "["); in putremote()
3127 fprintf(fd, "]"); in putremote()
3129 if (promoted) fprintf(fd, ")"); in putremote()