#include "perms.h" // 1 !MINIMO: multiple output logic function minimiser // 2 ! // 3 ! Hamish Dewar 1981 // 4 ! // 5 // 6 %external %integer %fn %spec CPUTIME #line 6 "regression-compile-tmp/nminimo.imp" extern int CPUTIME( void ); // 7 // 8 %external %string(255) %fn %spec CLIPARAM #line 8 "regression-compile-tmp/nminimo.imp" extern _imp_string /*%string(255)*/ CLIPARAM( void ); // 9 // 10 %record %format PAMINFO(%byte groupsep,keyflag, %short allflags, %record(*)%name params) #line 10 "regression-compile-tmp/nminimo.imp" typedef struct PAMINFO PAMINFO; struct PAMINFO { unsigned char GROUPSEP; unsigned char KEYFLAG; short ALLFLAGS; void /*name*/*PARAMS; }; // 11 // 12 %external %record(paminfo) %map %spec PAM #line 12 "regression-compile-tmp/nminimo.imp" extern PAMINFO /*map*/*PAM( void ); // 13 // 14 %constinteger PAM NEWGROUP=1, PAM NODEFAULT=2, PAM MAJOR=4, PAM KEEPCASE=8, PAM INFILE=16, PAM OUTFILE=32 // 15 // 16 %external %routine %spec DEFINE PARAM %alias "PAM_DEFSTRING" (%string(255) text, %string(*)%name variable, %integer flags) #line 16 "regression-compile-tmp/nminimo.imp" extern void DEFINEPARAM( _imp_string /*%string(255)*/ TEXT, _imp_string /*%string(255)*/ /*name*/*VARIABLE, int FLAGS ); // 17 %external %routine %spec DEFINE INT PARAM %alias "PAM_DEFINT" (%string(255) text, %integername variable, %integer flags) #line 17 "regression-compile-tmp/nminimo.imp" extern void DEFINEINTPARAM( _imp_string /*%string(255)*/ TEXT, int /*name*/*VARIABLE, int FLAGS ); // 18 %external %routine %spec DEFINE ENUM PARAM %alias "PAM_DEFENUM" (%string(255) text, %bytename variable, %integer flags) #line 18 "regression-compile-tmp/nminimo.imp" extern void DEFINEENUMPARAM( _imp_string /*%string(255)*/ TEXT, unsigned char /*name*/*VARIABLE, int FLAGS ); // 19 %external %routine %spec DEFINE BOOLEAN PARAMS %alias "PAM_DEFBOOL" (%string(255) text, %integername variable, %integer flags) #line 19 "regression-compile-tmp/nminimo.imp" extern void DEFINEBOOLEANPARAMS( _imp_string /*%string(255)*/ TEXT, int /*name*/*VARIABLE, int FLAGS ); // 20 %external %routine %spec PROCESS PARAMETERS %alias "PAM_PROCESS" (%string(255) parm) #line 20 "regression-compile-tmp/nminimo.imp" extern void PROCESSPARAMETERS( _imp_string /*%string(255)*/ PARM ); // 21 // 22 %begin #line 22 "regression-compile-tmp/nminimo.imp" int main(int argc, char **argv) { __label__ _imp_endofblock; _imp_initialise(argc, argv); // 23 // 24 %constinteger outstream=1 _imp_current_line = 24; _imp_current_file = "regression-compile-tmp/nminimo.imp"; // 25 ! Codes for logical operators // 26 %constinteger not=-1, or=-2, and=-3; !(OR-1=AND) _imp_current_line = 26; _imp_current_file = "regression-compile-tmp/nminimo.imp"; // 27 ! Flag-bit // 28 %constinteger sign=16_80000000, forced=16_40000000 _imp_current_line = 28; _imp_current_file = "regression-compile-tmp/nminimo.imp"; // 29 // 30 ! Control parameters // 31 %owninteger min=4096 _imp_current_line = 31; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 31 "regression-compile-tmp/nminimo.imp" static int MIN = 4096; // 32 %owninteger inc=4096 _imp_current_line = 32; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 32 "regression-compile-tmp/nminimo.imp" static int INC = 4096; // 33 %owninteger echo=0; !copy input to output stream _imp_current_line = 33; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 33 "regression-compile-tmp/nminimo.imp" static int ECHO = 0; // 34 %owninteger squash=0; !compress output tables _imp_current_line = 34; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 34 "regression-compile-tmp/nminimo.imp" static int SQUASH = 0; // 35 %owninteger nin=0; !negate input variables _imp_current_line = 35; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 35 "regression-compile-tmp/nminimo.imp" static int NIN = 0; // 36 %owninteger nout=0; !negate output variables _imp_current_line = 36; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 36 "regression-compile-tmp/nminimo.imp" static int NOUT = 0; // 37 %owninteger check=0; !check completeness _imp_current_line = 37; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 37 "regression-compile-tmp/nminimo.imp" static int CHECK = 0; // 38 %owninteger mon=0; !monitoring selector (bits) _imp_current_line = 38; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 38 "regression-compile-tmp/nminimo.imp" static int MON = 0; // 39 %owninteger single=0; !apply single (rather than multiple) method _imp_current_line = 39; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 39 "regression-compile-tmp/nminimo.imp" static int SINGLE = 0; // 40 %owninteger tabin=0; !tabular input _imp_current_line = 40; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 40 "regression-compile-tmp/nminimo.imp" static int TABIN = 0; // 41 // 42 %owninteger instream=3 _imp_current_line = 42; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 42 "regression-compile-tmp/nminimo.imp" static int INSTREAM = 3; // 43 // 44 %integer negin,ignorin,negout,ignorout _imp_current_line = 44; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 44 "regression-compile-tmp/nminimo.imp" int NEGIN; #line 44 "regression-compile-tmp/nminimo.imp" int IGNORIN; #line 44 "regression-compile-tmp/nminimo.imp" int NEGOUT; #line 44 "regression-compile-tmp/nminimo.imp" int IGNOROUT; // 45 %integer count,aim; !current,target score _imp_current_line = 45; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 45 "regression-compile-tmp/nminimo.imp" int COUNT; #line 45 "regression-compile-tmp/nminimo.imp" int AIM; // 46 %integer minsep; !minimum free space in array W _imp_current_line = 46; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 46 "regression-compile-tmp/nminimo.imp" int MINSEP; // 47 %integer sym _imp_current_line = 47; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 47 "regression-compile-tmp/nminimo.imp" int SYM; // 48 %integer start _imp_current_line = 48; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 48 "regression-compile-tmp/nminimo.imp" int START; // 49 // 50 %constinteger storebound=2000 _imp_current_line = 50; _imp_current_file = "regression-compile-tmp/nminimo.imp"; // 51 %integer dclim,esslim,sp1,sp,np,np1; !index vars to array W _imp_current_line = 51; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 51 "regression-compile-tmp/nminimo.imp" int DCLIM; #line 51 "regression-compile-tmp/nminimo.imp" int ESSLIM; #line 51 "regression-compile-tmp/nminimo.imp" int SP1; #line 51 "regression-compile-tmp/nminimo.imp" int SP; #line 51 "regression-compile-tmp/nminimo.imp" int NP; #line 51 "regression-compile-tmp/nminimo.imp" int NP1; // 52 %integer needsp _imp_current_line = 52; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 52 "regression-compile-tmp/nminimo.imp" int NEEDSP; // 53 %recordformat cell(%integer t,f,outs,flags) _imp_current_line = 53; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 53 "regression-compile-tmp/nminimo.imp" typedef struct CELL CELL; struct CELL { int T; int F; int OUTS; int FLAGS; }; // 54 %record(cell) %array w(1:storebound); !stack -> <- nest _imp_current_line = 54; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 54 "regression-compile-tmp/nminimo.imp" CELL W[2000]; // 55 // 56 %constinteger namebound=256 _imp_current_line = 56; _imp_current_file = "regression-compile-tmp/nminimo.imp"; // 57 %integer inmax,outmin,namemax; !index vars to NAME,EXP _imp_current_line = 57; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 57 "regression-compile-tmp/nminimo.imp" int INMAX; #line 57 "regression-compile-tmp/nminimo.imp" int OUTMIN; #line 57 "regression-compile-tmp/nminimo.imp" int NAMEMAX; // 58 %string(7)%array name(1:namebound) _imp_current_line = 58; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 58 "regression-compile-tmp/nminimo.imp" _imp_string /*%string(7)*/ NAME[256]; // 59 %integerarray exp(1:namebound) _imp_current_line = 59; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 59 "regression-compile-tmp/nminimo.imp" int EXP[256]; // 60 // 61 %constinteger defbound=8192 _imp_current_line = 61; _imp_current_file = "regression-compile-tmp/nminimo.imp"; // 62 %integer dp _imp_current_line = 62; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 62 "regression-compile-tmp/nminimo.imp" int DP; // 63 %integerarray def(1:defbound) _imp_current_line = 63; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 63 "regression-compile-tmp/nminimo.imp" int DEF[8192]; // 64 // 65 %integerfn bits(%integer v) _imp_current_line = 65; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 65 "regression-compile-tmp/nminimo.imp" int BITS( int V ) #line 65 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 66 %integer k _imp_current_line = 66; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 66 "regression-compile-tmp/nminimo.imp" int K; // 67 k = 0 _imp_current_line = 67; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 67 "regression-compile-tmp/nminimo.imp" K = 0; // 68 k = 1 %and v = v<<1>>1 %if v < 0 _imp_current_line = 68; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 68 "regression-compile-tmp/nminimo.imp" if (((V) >= (0))) goto L_0002; #line 68 "regression-compile-tmp/nminimo.imp" K = 1; #line 68 "regression-compile-tmp/nminimo.imp" V = ((((((V) << (1)))) >> (1))); #line 68 "regression-compile-tmp/nminimo.imp" L_0002:; // 69 %while v # 0 %cycle _imp_current_line = 69; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 69 "regression-compile-tmp/nminimo.imp" L_0003:; #line 69 "regression-compile-tmp/nminimo.imp" if (((V) == (0))) goto L_0004; // 70 k = k+1 _imp_current_line = 70; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 70 "regression-compile-tmp/nminimo.imp" K = (((int)(K)) + (1)); // 71 v = v&(v-1) _imp_current_line = 71; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 71 "regression-compile-tmp/nminimo.imp" V = ((V) & ((((int)(V)) - (1)))); // 72 %repeat _imp_current_line = 72; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 72 "regression-compile-tmp/nminimo.imp" goto L_0003; #line 72 "regression-compile-tmp/nminimo.imp" L_0004:; // 73 %result = k _imp_current_line = 73; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 73 "regression-compile-tmp/nminimo.imp" return K; // 74 %end _imp_current_line = 74; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 74 "regression-compile-tmp/nminimo.imp" _imp_endofblock: ; } // End of block BITS at level 2 // 75 // 76 %routine out(%integer v) _imp_current_line = 76; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 76 "regression-compile-tmp/nminimo.imp" void OUT( int V ) #line 76 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 77 out(v//10) %and v = v-v//10*10 %if v >= 10 _imp_current_line = 77; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 77 "regression-compile-tmp/nminimo.imp" if (((V) < (10))) goto L_0006; #line 77 "regression-compile-tmp/nminimo.imp" OUT(((((int)(V)) / ((int)(10))))); #line 77 "regression-compile-tmp/nminimo.imp" V = ((V) - (((((((int)(V)) / ((int)(10))))) * (10)))); #line 77 "regression-compile-tmp/nminimo.imp" L_0006:; // 78 printsymbol(v+'0') _imp_current_line = 78; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 78 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL((((int)(V)) + (48))); // 79 %end _imp_current_line = 79; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 79 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block OUT at level 2 // 80 // 81 %routine croak(%string(32) s) _imp_current_line = 81; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 81 "regression-compile-tmp/nminimo.imp" void CROAK( _imp_string /*%string(32)*/ S ) #line 81 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 82 select output(0) _imp_current_line = 82; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 82 "regression-compile-tmp/nminimo.imp" _imp_SELECTOUTPUT(0); // 83 newline _imp_current_line = 83; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 83 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 84 printstring("*".s." Abandoned") _imp_current_line = 84; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 84 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_join((_imp_string)_imp_join((_imp_string)_imp_str_literal("*"),(_imp_string)S),(_imp_string)_imp_str_literal(" Abandoned"))); // 85 %if sym # nl %start _imp_current_line = 85; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 85 "regression-compile-tmp/nminimo.imp" if (((SYM) == (10))) goto L_0007; // 86 printstring(" at: ") _imp_current_line = 86; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 86 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal(" at: ")); // 87 %cycle _imp_current_line = 87; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 87 "regression-compile-tmp/nminimo.imp" L_0008:; // 88 readsymbol(sym) _imp_current_line = 88; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 88 "regression-compile-tmp/nminimo.imp" _imp_READSYMBOL(&SYM); // 89 printsymbol(sym) _imp_current_line = 89; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 89 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(SYM); // 90 %repeat %until sym = nl _imp_current_line = 90; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 90 "regression-compile-tmp/nminimo.imp" if (((SYM) == (10))) goto L_0009; #line 90 "regression-compile-tmp/nminimo.imp" goto L_0008; #line 90 "regression-compile-tmp/nminimo.imp" L_0009:; // 91 %finish _imp_current_line = 91; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 91 "regression-compile-tmp/nminimo.imp" L_0007:; // 92 %stop _imp_current_line = 92; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 92 "regression-compile-tmp/nminimo.imp" exit(0); // 93 %end _imp_current_line = 93; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 93 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block CROAK at level 2 // 94 // 95 %routine print time _imp_current_line = 95; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 95 "regression-compile-tmp/nminimo.imp" void PRINTTIME( void ) #line 95 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 96 %integer t _imp_current_line = 96; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 96 "regression-compile-tmp/nminimo.imp" int T; // 97 t = cputime _imp_current_line = 97; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 97 "regression-compile-tmp/nminimo.imp" T = CPUTIME(); // 98 print((t-start)/1000,5,3) _imp_current_line = 98; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 98 "regression-compile-tmp/nminimo.imp" _imp_PRINT((((((((int)(T)) - (START)))) / ((float)(1000)))), 5, 3); // 99 start = t _imp_current_line = 99; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 99 "regression-compile-tmp/nminimo.imp" START = T; // 100 %end _imp_current_line = 100; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 100 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block PRINTTIME at level 2 // 101 // 102 %routine push(%record(cell) v) _imp_current_line = 102; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 102 "regression-compile-tmp/nminimo.imp" void PUSH( CELL V ) #line 102 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 103 ! Store V on (descending) nest // 104 np = np-1; w(np) = v _imp_current_line = 104; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 104 "regression-compile-tmp/nminimo.imp" NP = (((int)(NP)) - (1)); _imp_current_line = 104; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 104 "regression-compile-tmp/nminimo.imp" W[(((int)(NP)) - (1))] = V; // 105 %return %if np-sp >= minsep _imp_current_line = 105; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 105 "regression-compile-tmp/nminimo.imp" if ((((((int)(NP)) - (SP))) < (MINSEP))) goto L_000b; #line 105 "regression-compile-tmp/nminimo.imp" return; #line 105 "regression-compile-tmp/nminimo.imp" L_000b:; // 106 minsep = np-sp _imp_current_line = 106; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 106 "regression-compile-tmp/nminimo.imp" MINSEP = (((int)(NP)) - (SP)); // 107 %return %if minsep > 2 _imp_current_line = 107; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 107 "regression-compile-tmp/nminimo.imp" if (((MINSEP) <= (2))) goto L_000c; #line 107 "regression-compile-tmp/nminimo.imp" return; #line 107 "regression-compile-tmp/nminimo.imp" L_000c:; // 108 croak("No space.") _imp_current_line = 108; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 108 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("No space.")); // 109 %end _imp_current_line = 109; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 109 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block PUSH at level 2 // 110 // 111 %routine stack(%record(cell) v) _imp_current_line = 111; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 111 "regression-compile-tmp/nminimo.imp" void STACK( CELL V ) #line 111 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 112 ! Store V on (ascending) stack // 113 w(sp) = v; sp = sp+1 _imp_current_line = 113; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 113 "regression-compile-tmp/nminimo.imp" W[(((int)(SP)) - (1))] = V; _imp_current_line = 113; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 113 "regression-compile-tmp/nminimo.imp" SP = (((int)(SP)) + (1)); // 114 %return %if np-sp > minsep _imp_current_line = 114; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 114 "regression-compile-tmp/nminimo.imp" if ((((((int)(NP)) - (SP))) <= (MINSEP))) goto L_000d; #line 114 "regression-compile-tmp/nminimo.imp" return; #line 114 "regression-compile-tmp/nminimo.imp" L_000d:; // 115 minsep = np-sp _imp_current_line = 115; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 115 "regression-compile-tmp/nminimo.imp" MINSEP = (((int)(NP)) - (SP)); // 116 %return %if minsep > 2 _imp_current_line = 116; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 116 "regression-compile-tmp/nminimo.imp" if (((MINSEP) <= (2))) goto L_000e; #line 116 "regression-compile-tmp/nminimo.imp" return; #line 116 "regression-compile-tmp/nminimo.imp" L_000e:; // 117 croak("No space.") _imp_current_line = 117; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 117 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("No space.")); // 118 %end _imp_current_line = 118; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 118 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block STACK at level 2 // 119 // 120 ! R e a d a n d c h e c k d a t a // 121 ! // 122 %routine readin _imp_current_line = 122; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 122 "regression-compile-tmp/nminimo.imp" void READIN( void ) #line 122 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 123 %integer bit,pos,pos1,found,first,dp1,outmax _imp_current_line = 123; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 123 "regression-compile-tmp/nminimo.imp" int BIT; #line 123 "regression-compile-tmp/nminimo.imp" int POS; #line 123 "regression-compile-tmp/nminimo.imp" int POS1; #line 123 "regression-compile-tmp/nminimo.imp" int FOUND; #line 123 "regression-compile-tmp/nminimo.imp" int FIRST; #line 123 "regression-compile-tmp/nminimo.imp" int DP1; #line 123 "regression-compile-tmp/nminimo.imp" int OUTMAX; // 124 %integer pend _imp_current_line = 124; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 124 "regression-compile-tmp/nminimo.imp" int PEND; // 125 %string(7) curname _imp_current_line = 125; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 125 "regression-compile-tmp/nminimo.imp" _imp_string /*%string(7)*/ CURNAME; // 126 // 127 %routine put(%integer v) _imp_current_line = 127; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 127 "regression-compile-tmp/nminimo.imp" void PUT( int V ) #line 127 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 128 croak(" Definitions too long") %if dp > defbound _imp_current_line = 128; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 128 "regression-compile-tmp/nminimo.imp" if (((DP) <= (8192))) goto L_000f; #line 128 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal(" Definitions too long")); #line 128 "regression-compile-tmp/nminimo.imp" L_000f:; // 129 def(dp) = v; dp = dp+1 _imp_current_line = 129; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 129 "regression-compile-tmp/nminimo.imp" DEF[(((int)(DP)) - (1))] = V; _imp_current_line = 129; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 129 "regression-compile-tmp/nminimo.imp" DP = (((int)(DP)) + (1)); // 130 %end _imp_current_line = 130; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 130 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block PUT at level 3 // 131 // 132 %routine read sym _imp_current_line = 132; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 132 "regression-compile-tmp/nminimo.imp" void READSYM( void ) #line 132 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 133 %on %event 9 %start _imp_current_line = 133; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 133 "regression-compile-tmp/nminimo.imp" if (!_imp_on_event(9)) goto L_0010; // 134 sym = '*' _imp_current_line = 134; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 134 "regression-compile-tmp/nminimo.imp" SYM = 42; // 135 instream = instream-1 _imp_current_line = 135; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 135 "regression-compile-tmp/nminimo.imp" INSTREAM = (((int)(INSTREAM)) - (1)); // 136 %return %if instream = 0 _imp_current_line = 136; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 136 "regression-compile-tmp/nminimo.imp" if (((INSTREAM) != (0))) goto L_0011; #line 136 "regression-compile-tmp/nminimo.imp" return; #line 136 "regression-compile-tmp/nminimo.imp" L_0011:; // 137 %if instream < 0 %start _imp_current_line = 137; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 137 "regression-compile-tmp/nminimo.imp" if (((INSTREAM) >= (0))) goto L_0012; // 138 sym = nl _imp_current_line = 138; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 138 "regression-compile-tmp/nminimo.imp" SYM = 10; // 139 croak("Premature end of input.") _imp_current_line = 139; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 139 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Premature end of input.")); // 140 %finish _imp_current_line = 140; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 140 "regression-compile-tmp/nminimo.imp" L_0012:; // 141 select input(instream) _imp_current_line = 141; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 141 "regression-compile-tmp/nminimo.imp" _imp_SELECTINPUT(INSTREAM); // 142 %finish _imp_current_line = 142; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 142 "regression-compile-tmp/nminimo.imp" L_0010:; // 143 sym = pend; pend = 0 _imp_current_line = 143; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 143 "regression-compile-tmp/nminimo.imp" SYM = PEND; _imp_current_line = 143; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 143 "regression-compile-tmp/nminimo.imp" PEND = 0; // 144 %return %if sym # 0 _imp_current_line = 144; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 144 "regression-compile-tmp/nminimo.imp" if (((SYM) == (0))) goto L_0013; #line 144 "regression-compile-tmp/nminimo.imp" return; #line 144 "regression-compile-tmp/nminimo.imp" L_0013:; // 145 %cycle _imp_current_line = 145; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 145 "regression-compile-tmp/nminimo.imp" L_0014:; // 146 readsymbol(sym) _imp_current_line = 146; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 146 "regression-compile-tmp/nminimo.imp" _imp_READSYMBOL(&SYM); // 147 printsymbol(sym) %if echo # 0 _imp_current_line = 147; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 147 "regression-compile-tmp/nminimo.imp" if (((ECHO) == (0))) goto L_0017; #line 147 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(SYM); #line 147 "regression-compile-tmp/nminimo.imp" L_0017:; // 148 %return %unless sym = '{' _imp_current_line = 148; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 148 "regression-compile-tmp/nminimo.imp" if (((SYM) == (123))) goto L_0018; #line 148 "regression-compile-tmp/nminimo.imp" return; #line 148 "regression-compile-tmp/nminimo.imp" L_0018:; // 149 %cycle _imp_current_line = 149; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 149 "regression-compile-tmp/nminimo.imp" L_0019:; // 150 read symbol(sym) _imp_current_line = 150; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 150 "regression-compile-tmp/nminimo.imp" _imp_READSYMBOL(&SYM); // 151 print symbol(sym) %if echo # 0 _imp_current_line = 151; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 151 "regression-compile-tmp/nminimo.imp" if (((ECHO) == (0))) goto L_001c; #line 151 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(SYM); #line 151 "regression-compile-tmp/nminimo.imp" L_001c:; // 152 %repeat %until sym = '}' _imp_current_line = 152; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 152 "regression-compile-tmp/nminimo.imp" if (((SYM) == (125))) goto L_001a; #line 152 "regression-compile-tmp/nminimo.imp" goto L_0019; #line 152 "regression-compile-tmp/nminimo.imp" L_001a:; // 153 %repeat _imp_current_line = 153; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 153 "regression-compile-tmp/nminimo.imp" goto L_0014; // 154 %end _imp_current_line = 154; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 154 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block READSYM at level 3 // 155 // 156 %routine read name _imp_current_line = 156; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 156 "regression-compile-tmp/nminimo.imp" void READNAME( void ) #line 156 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 157 !Read name (possibly null) to CURNAME leaving terminator in SYM // 158 %integer k,l _imp_current_line = 158; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 158 "regression-compile-tmp/nminimo.imp" int K; #line 158 "regression-compile-tmp/nminimo.imp" int L; // 159 read sym %until sym > ' ' _imp_current_line = 159; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 159 "regression-compile-tmp/nminimo.imp" L_001d:; #line 159 "regression-compile-tmp/nminimo.imp" READSYM(); #line 159 "regression-compile-tmp/nminimo.imp" if (((SYM) > (32))) goto L_001e; #line 159 "regression-compile-tmp/nminimo.imp" goto L_001d; #line 159 "regression-compile-tmp/nminimo.imp" L_001e:; // 160 l = 0 _imp_current_line = 160; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 160 "regression-compile-tmp/nminimo.imp" L = 0; // 161 k = sym; k = k-'a'+'A' %if k >= 'a' _imp_current_line = 161; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 161 "regression-compile-tmp/nminimo.imp" K = SYM; _imp_current_line = 161; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 161 "regression-compile-tmp/nminimo.imp" if (((K) < (97))) goto L_0020; #line 161 "regression-compile-tmp/nminimo.imp" K = (((int)((((int)(K)) - (97)))) + (65)); #line 161 "regression-compile-tmp/nminimo.imp" L_0020:; // 162 %if 'A' <= k <= 'Z' %start _imp_current_line = 162; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 162 "regression-compile-tmp/nminimo.imp" if ((((65) > (K))) || (((K) > (90)))) goto L_0021; // 163 %cycle _imp_current_line = 163; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 163 "regression-compile-tmp/nminimo.imp" L_0022:; // 164 %if l < 6 %start _imp_current_line = 164; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 164 "regression-compile-tmp/nminimo.imp" if (((L) >= (6))) goto L_0025; // 165 l = l+1; charno(curname,l) = k _imp_current_line = 165; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 165 "regression-compile-tmp/nminimo.imp" L = (((int)(L)) + (1)); _imp_current_line = 165; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 165 "regression-compile-tmp/nminimo.imp" *_imp_CHARNO(&CURNAME, L) = K; // 166 %finish _imp_current_line = 166; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 166 "regression-compile-tmp/nminimo.imp" L_0025:; // 167 read sym _imp_current_line = 167; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 167 "regression-compile-tmp/nminimo.imp" READSYM(); // 168 k = sym; k = k-'a'+'A' %if k >= 'a' _imp_current_line = 168; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 168 "regression-compile-tmp/nminimo.imp" K = SYM; _imp_current_line = 168; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 168 "regression-compile-tmp/nminimo.imp" if (((K) < (97))) goto L_0026; #line 168 "regression-compile-tmp/nminimo.imp" K = (((int)((((int)(K)) - (97)))) + (65)); #line 168 "regression-compile-tmp/nminimo.imp" L_0026:; // 169 %exit %unless '0' <= k <= '9' %c _imp_current_line = 169; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 169 "regression-compile-tmp/nminimo.imp" if ((((48) > (K))) || (((K) <= (57)))) goto L_0028; #line 169 "regression-compile-tmp/nminimo.imp" L_0027:; #line 169 "regression-compile-tmp/nminimo.imp" if (((*_imp_CHARNO(&CURNAME, L)) < (65))) goto L_0029; #line 169 "regression-compile-tmp/nminimo.imp" if ((((65) > (K))) || (((K) <= (90)))) goto L_0028; #line 169 "regression-compile-tmp/nminimo.imp" L_0029:; #line 169 "regression-compile-tmp/nminimo.imp" goto L_0023; #line 169 "regression-compile-tmp/nminimo.imp" L_0028:; // 170 %or (charno(curname,l) >= 'A' %and 'A' <= k <= 'Z') // 171 %repeat _imp_current_line = 171; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 171 "regression-compile-tmp/nminimo.imp" goto L_0022; #line 171 "regression-compile-tmp/nminimo.imp" L_0023:; // 172 %if sym = '?' %start _imp_current_line = 172; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 172 "regression-compile-tmp/nminimo.imp" if (((SYM) != (63))) goto L_002a; // 173 l = l+1; charno(curname,l) = sym _imp_current_line = 173; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 173 "regression-compile-tmp/nminimo.imp" L = (((int)(L)) + (1)); _imp_current_line = 173; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 173 "regression-compile-tmp/nminimo.imp" *_imp_CHARNO(&CURNAME, L) = SYM; // 174 read sym _imp_current_line = 174; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 174 "regression-compile-tmp/nminimo.imp" READSYM(); // 175 %finish _imp_current_line = 175; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 175 "regression-compile-tmp/nminimo.imp" L_002a:; // 176 %finish _imp_current_line = 176; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 176 "regression-compile-tmp/nminimo.imp" L_0021:; // 177 length(curname) = l _imp_current_line = 177; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 177 "regression-compile-tmp/nminimo.imp" *_imp_LENGTH(&CURNAME) = L; // 178 %if sym=' ' %start _imp_current_line = 178; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 178 "regression-compile-tmp/nminimo.imp" if (((SYM) != (32))) goto L_002b; // 179 read sym %until sym#' ' _imp_current_line = 179; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 179 "regression-compile-tmp/nminimo.imp" L_002c:; #line 179 "regression-compile-tmp/nminimo.imp" READSYM(); #line 179 "regression-compile-tmp/nminimo.imp" if (((SYM) != (32))) goto L_002d; #line 179 "regression-compile-tmp/nminimo.imp" goto L_002c; #line 179 "regression-compile-tmp/nminimo.imp" L_002d:; // 180 %if 'A'<=sym&95<='Z' %start _imp_current_line = 180; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 180 "regression-compile-tmp/nminimo.imp" if ((((65) > (((SYM) & (95))))) || (((((SYM) & (95))) > (90)))) goto L_002f; // 181 pend = sym; sym = ' ' _imp_current_line = 181; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 181 "regression-compile-tmp/nminimo.imp" PEND = SYM; _imp_current_line = 181; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 181 "regression-compile-tmp/nminimo.imp" SYM = 32; // 182 %finish _imp_current_line = 182; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 182 "regression-compile-tmp/nminimo.imp" L_002f:; // 183 %finish _imp_current_line = 183; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 183 "regression-compile-tmp/nminimo.imp" L_002b:; // 184 %end _imp_current_line = 184; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 184 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block READNAME at level 3 // 185 // 186 %routine init(%integername v) _imp_current_line = 186; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 186 "regression-compile-tmp/nminimo.imp" void INIT( int /*name*/*V ) #line 186 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 187 ! Read asignment for mode variable V (default 1) // 188 found = 1 _imp_current_line = 188; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 188 "regression-compile-tmp/nminimo.imp" FOUND = 1; // 189 v = 1 _imp_current_line = 189; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 189 "regression-compile-tmp/nminimo.imp" *V = 1; // 190 read(v) %and out(v) %if sym = '=' _imp_current_line = 190; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 190 "regression-compile-tmp/nminimo.imp" if (((SYM) != (61))) goto L_0030; #line 190 "regression-compile-tmp/nminimo.imp" _imp_READ(V); #line 190 "regression-compile-tmp/nminimo.imp" OUT(*V); #line 190 "regression-compile-tmp/nminimo.imp" L_0030:; // 191 %end _imp_current_line = 191; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 191 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block INIT at level 3 // 192 // 193 %routine lookup _imp_current_line = 193; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 193 "regression-compile-tmp/nminimo.imp" void LOOKUP( void ) #line 193 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 194 pos = namemax+1 _imp_current_line = 194; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 194 "regression-compile-tmp/nminimo.imp" POS = (((int)(NAMEMAX)) + (1)); // 195 pos = pos-1 %until pos = 0 %or name(pos) = curname _imp_current_line = 195; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 195 "regression-compile-tmp/nminimo.imp" L_0031:; #line 195 "regression-compile-tmp/nminimo.imp" POS = (((int)(POS)) - (1)); #line 195 "regression-compile-tmp/nminimo.imp" if (((POS) == (0))) goto L_0032; #line 195 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(NAME[(((int)(POS)) - (1))], CURNAME) == 0)) goto L_0032; #line 195 "regression-compile-tmp/nminimo.imp" goto L_0031; #line 195 "regression-compile-tmp/nminimo.imp" L_0032:; // 196 %end _imp_current_line = 196; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 196 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block LOOKUP at level 3 // 197 // 198 %routine queryname _imp_current_line = 198; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 198 "regression-compile-tmp/nminimo.imp" void QUERYNAME( void ) #line 198 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 199 newline %if echo # 0 _imp_current_line = 199; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 199 "regression-compile-tmp/nminimo.imp" if (((ECHO) == (0))) goto L_0034; #line 199 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); #line 199 "regression-compile-tmp/nminimo.imp" L_0034:; // 200 printstring(curname." not known") _imp_current_line = 200; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 200 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_join((_imp_string)CURNAME,(_imp_string)_imp_str_literal(" not known"))); // 201 newline _imp_current_line = 201; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 201 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 202 %end _imp_current_line = 202; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 202 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block QUERYNAME at level 3 // 203 // 204 %routine addname _imp_current_line = 204; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 204 "regression-compile-tmp/nminimo.imp" void ADDNAME( void ) #line 204 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 205 namemax = namemax+1 _imp_current_line = 205; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 205 "regression-compile-tmp/nminimo.imp" NAMEMAX = (((int)(NAMEMAX)) + (1)); // 206 name(namemax) = curname _imp_current_line = 206; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 206 "regression-compile-tmp/nminimo.imp" NAME[(((int)(NAMEMAX)) - (1))] = CURNAME; // 207 %end _imp_current_line = 207; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 207 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block ADDNAME at level 3 // 208 // 209 %routine newname _imp_current_line = 209; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 209 "regression-compile-tmp/nminimo.imp" void NEWNAME( void ) #line 209 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 210 croak("Duplicate: ".curname.". ") %if pos # 0 _imp_current_line = 210; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 210 "regression-compile-tmp/nminimo.imp" if (((POS) == (0))) goto L_0035; #line 210 "regression-compile-tmp/nminimo.imp" CROAK(_imp_join((_imp_string)_imp_join((_imp_string)_imp_str_literal("Duplicate: "),(_imp_string)CURNAME),(_imp_string)_imp_str_literal(". "))); #line 210 "regression-compile-tmp/nminimo.imp" L_0035:; // 211 addname _imp_current_line = 211; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 211 "regression-compile-tmp/nminimo.imp" ADDNAME(); // 212 %end _imp_current_line = 212; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 212 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block NEWNAME at level 3 // 213 // 214 %routine read exp _imp_current_line = 214; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 214 "regression-compile-tmp/nminimo.imp" void READEXP( void ) #line 214 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 215 ! Read logic expression: store as Polish // 216 ! operands represented as name index values (> 0) // 217 ! operators < 0 // 218 ! eg A&B ! \A&\B ==> 1 2 AND NOT 1 NOT NOT 2 NOT AND OR 0 // 219 ! A B & \ A \ \ B \ & ! // 220 ! note duplication of NOT before and after // 221 // 222 %routine read term _imp_current_line = 222; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 222 "regression-compile-tmp/nminimo.imp" void READTERM( void ) #line 222 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 223 read name _imp_current_line = 223; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 223 "regression-compile-tmp/nminimo.imp" READNAME(); // 224 %if curname # "" %start _imp_current_line = 224; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 224 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("")) == 0)) goto L_0036; // 225 pend = sym %if sym >= 'A' %or sym = '(' _imp_current_line = 225; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 225 "regression-compile-tmp/nminimo.imp" if (((SYM) >= (65))) goto L_002e; #line 225 "regression-compile-tmp/nminimo.imp" if (((SYM) != (40))) goto L_0037; #line 225 "regression-compile-tmp/nminimo.imp" L_002e:; #line 225 "regression-compile-tmp/nminimo.imp" PEND = SYM; #line 225 "regression-compile-tmp/nminimo.imp" L_0037:; // 226 lookup _imp_current_line = 226; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 226 "regression-compile-tmp/nminimo.imp" LOOKUP(); // 227 queryname %and pos = 1 %if pos = 0 _imp_current_line = 227; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 227 "regression-compile-tmp/nminimo.imp" if (((POS) != (0))) goto L_0038; #line 227 "regression-compile-tmp/nminimo.imp" QUERYNAME(); #line 227 "regression-compile-tmp/nminimo.imp" POS = 1; #line 227 "regression-compile-tmp/nminimo.imp" L_0038:; // 228 put(pos) _imp_current_line = 228; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 228 "regression-compile-tmp/nminimo.imp" PUT(POS); // 229 %finish %else %if sym = '\' %start _imp_current_line = 229; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 229 "regression-compile-tmp/nminimo.imp" goto L_0039; #line 229 "regression-compile-tmp/nminimo.imp" L_0036:; #line 229 "regression-compile-tmp/nminimo.imp" if (((SYM) != (92))) goto L_003a; // 230 put(not); !fore .. _imp_current_line = 230; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 230 "regression-compile-tmp/nminimo.imp" PUT((-1)); // 231 read term _imp_current_line = 231; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 231 "regression-compile-tmp/nminimo.imp" READTERM(); // 232 put(not); ! .. as well as aft _imp_current_line = 232; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 232 "regression-compile-tmp/nminimo.imp" PUT((-1)); // 233 %finish %else %start _imp_current_line = 233; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 233 "regression-compile-tmp/nminimo.imp" goto L_0039; #line 233 "regression-compile-tmp/nminimo.imp" L_003a:; // 234 croak("Faulty format. ") %if sym # '(' _imp_current_line = 234; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 234 "regression-compile-tmp/nminimo.imp" if (((SYM) == (40))) goto L_003b; #line 234 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Faulty format. ")); #line 234 "regression-compile-tmp/nminimo.imp" L_003b:; // 235 read exp _imp_current_line = 235; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 235 "regression-compile-tmp/nminimo.imp" READEXP(); // 236 croak("Missing ')'. ") %if sym # ')' _imp_current_line = 236; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 236 "regression-compile-tmp/nminimo.imp" if (((SYM) == (41))) goto L_003c; #line 236 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Missing ')'. ")); #line 236 "regression-compile-tmp/nminimo.imp" L_003c:; // 237 read sym _imp_current_line = 237; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 237 "regression-compile-tmp/nminimo.imp" READSYM(); // 238 %finish _imp_current_line = 238; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 238 "regression-compile-tmp/nminimo.imp" L_0039:; // 239 %end _imp_current_line = 239; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 239 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block READTERM at level 4 // 240 // 241 %routine read exp1 _imp_current_line = 241; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 241 "regression-compile-tmp/nminimo.imp" void READEXP1( void ) #line 241 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 242 read term _imp_current_line = 242; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 242 "regression-compile-tmp/nminimo.imp" READTERM(); // 243 %while sym = '&' %or sym = '.' %or sym >= 'A' %or sym = '(' %cycle _imp_current_line = 243; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 243 "regression-compile-tmp/nminimo.imp" L_003d:; #line 243 "regression-compile-tmp/nminimo.imp" if (((SYM) == (38))) goto L_003f; #line 243 "regression-compile-tmp/nminimo.imp" if (((SYM) == (46))) goto L_003f; #line 243 "regression-compile-tmp/nminimo.imp" if (((SYM) >= (65))) goto L_003f; #line 243 "regression-compile-tmp/nminimo.imp" if (((SYM) != (40))) goto L_003e; #line 243 "regression-compile-tmp/nminimo.imp" L_003f:; // 244 read term _imp_current_line = 244; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 244 "regression-compile-tmp/nminimo.imp" READTERM(); // 245 put(and) _imp_current_line = 245; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 245 "regression-compile-tmp/nminimo.imp" PUT((-3)); // 246 %repeat _imp_current_line = 246; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 246 "regression-compile-tmp/nminimo.imp" goto L_003d; #line 246 "regression-compile-tmp/nminimo.imp" L_003e:; // 247 %end _imp_current_line = 247; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 247 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block READEXP1 at level 4 // 248 // 249 read exp1 _imp_current_line = 249; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 249 "regression-compile-tmp/nminimo.imp" READEXP1(); // 250 %while sym = '!' %or sym = '+' %cycle _imp_current_line = 250; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 250 "regression-compile-tmp/nminimo.imp" L_0040:; #line 250 "regression-compile-tmp/nminimo.imp" if (((SYM) == (33))) goto L_0042; #line 250 "regression-compile-tmp/nminimo.imp" if (((SYM) != (43))) goto L_0041; #line 250 "regression-compile-tmp/nminimo.imp" L_0042:; // 251 read exp1 _imp_current_line = 251; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 251 "regression-compile-tmp/nminimo.imp" READEXP1(); // 252 put(or) _imp_current_line = 252; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 252 "regression-compile-tmp/nminimo.imp" PUT((-2)); // 253 %repeat _imp_current_line = 253; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 253 "regression-compile-tmp/nminimo.imp" goto L_0040; #line 253 "regression-compile-tmp/nminimo.imp" L_0041:; // 254 %end; !READ EXP _imp_current_line = 254; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 254 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block READEXP at level 3 // 255 // 256 namemax = 0; dp = 1 _imp_current_line = 256; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 256 "regression-compile-tmp/nminimo.imp" NAMEMAX = 0; _imp_current_line = 256; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 256 "regression-compile-tmp/nminimo.imp" DP = 1; // 257 pend = 0 _imp_current_line = 257; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 257 "regression-compile-tmp/nminimo.imp" PEND = 0; // 258 ! MODE settings (if any) // 259 %cycle _imp_current_line = 259; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 259 "regression-compile-tmp/nminimo.imp" L_0043:; // 260 read name _imp_current_line = 260; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 260 "regression-compile-tmp/nminimo.imp" READNAME(); // 261 %stop %if sym = '*' _imp_current_line = 261; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 261 "regression-compile-tmp/nminimo.imp" if (((SYM) != (42))) goto L_0046; #line 261 "regression-compile-tmp/nminimo.imp" exit(0); #line 261 "regression-compile-tmp/nminimo.imp" L_0046:; // 262 %exit %unless curname = "MODE" _imp_current_line = 262; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 262 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("MODE")) == 0)) goto L_0047; #line 262 "regression-compile-tmp/nminimo.imp" goto L_0044; #line 262 "regression-compile-tmp/nminimo.imp" L_0047:; // 263 printstring("MODE ") %and printsymbol(pend) %if echo=0 _imp_current_line = 263; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 263 "regression-compile-tmp/nminimo.imp" if (((ECHO) != (0))) goto L_0048; #line 263 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal("MODE ")); #line 263 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(PEND); #line 263 "regression-compile-tmp/nminimo.imp" L_0048:; // 264 echo = echo-2 _imp_current_line = 264; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 264 "regression-compile-tmp/nminimo.imp" ECHO = (((int)(ECHO)) - (2)); // 265 %cycle _imp_current_line = 265; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 265 "regression-compile-tmp/nminimo.imp" L_0049:; // 266 read name _imp_current_line = 266; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 266 "regression-compile-tmp/nminimo.imp" READNAME(); // 267 found = 0 _imp_current_line = 267; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 267 "regression-compile-tmp/nminimo.imp" FOUND = 0; // 268 init(nin) %if curname = "NIN" _imp_current_line = 268; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 268 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("NIN")) != 0)) goto L_004c; #line 268 "regression-compile-tmp/nminimo.imp" INIT(&NIN); #line 268 "regression-compile-tmp/nminimo.imp" L_004c:; // 269 init(nout) %if curname = "NOUT" _imp_current_line = 269; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 269 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("NOUT")) != 0)) goto L_004d; #line 269 "regression-compile-tmp/nminimo.imp" INIT(&NOUT); #line 269 "regression-compile-tmp/nminimo.imp" L_004d:; // 270 init(min) %if curname = "MIN" _imp_current_line = 270; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 270 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("MIN")) != 0)) goto L_004e; #line 270 "regression-compile-tmp/nminimo.imp" INIT(&MIN); #line 270 "regression-compile-tmp/nminimo.imp" L_004e:; // 271 init(inc) %if curname = "INC" _imp_current_line = 271; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 271 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("INC")) != 0)) goto L_004f; #line 271 "regression-compile-tmp/nminimo.imp" INIT(&INC); #line 271 "regression-compile-tmp/nminimo.imp" L_004f:; // 272 init(echo) %if curname = "ECHO" _imp_current_line = 272; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 272 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("ECHO")) != 0)) goto L_0050; #line 272 "regression-compile-tmp/nminimo.imp" INIT(&ECHO); #line 272 "regression-compile-tmp/nminimo.imp" L_0050:; // 273 init(squash) %if curname = "SQUASH" _imp_current_line = 273; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 273 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("SQUASH")) != 0)) goto L_0051; #line 273 "regression-compile-tmp/nminimo.imp" INIT(&SQUASH); #line 273 "regression-compile-tmp/nminimo.imp" L_0051:; // 274 init(check) %if curname = "CHECK" _imp_current_line = 274; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 274 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("CHECK")) != 0)) goto L_0052; #line 274 "regression-compile-tmp/nminimo.imp" INIT(&CHECK); #line 274 "regression-compile-tmp/nminimo.imp" L_0052:; // 275 init(mon) %if curname = "MON" _imp_current_line = 275; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 275 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("MON")) != 0)) goto L_0053; #line 275 "regression-compile-tmp/nminimo.imp" INIT(&MON); #line 275 "regression-compile-tmp/nminimo.imp" L_0053:; // 276 init(single) %if curname = "SINGLE" _imp_current_line = 276; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 276 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("SINGLE")) != 0)) goto L_0054; #line 276 "regression-compile-tmp/nminimo.imp" INIT(&SINGLE); #line 276 "regression-compile-tmp/nminimo.imp" L_0054:; // 277 init(tabin) %if curname = "TABIN" _imp_current_line = 277; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 277 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("TABIN")) != 0)) goto L_0055; #line 277 "regression-compile-tmp/nminimo.imp" INIT(&TABIN); #line 277 "regression-compile-tmp/nminimo.imp" L_0055:; // 278 init(tabin) %and tabin = 1-tabin %if curname="EQUIN" _imp_current_line = 278; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 278 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("EQUIN")) != 0)) goto L_0056; #line 278 "regression-compile-tmp/nminimo.imp" INIT(&TABIN); #line 278 "regression-compile-tmp/nminimo.imp" TABIN = (((int)(1)) - (TABIN)); #line 278 "regression-compile-tmp/nminimo.imp" L_0056:; // 279 printsymbol('?') %if found = 0 _imp_current_line = 279; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 279 "regression-compile-tmp/nminimo.imp" if (((FOUND) != (0))) goto L_0057; #line 279 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(63); #line 279 "regression-compile-tmp/nminimo.imp" L_0057:; // 280 %repeat %until sym # ',' _imp_current_line = 280; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 280 "regression-compile-tmp/nminimo.imp" if (((SYM) != (44))) goto L_004a; #line 280 "regression-compile-tmp/nminimo.imp" goto L_0049; #line 280 "regression-compile-tmp/nminimo.imp" L_004a:; // 281 %if echo<0 %start _imp_current_line = 281; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 281 "regression-compile-tmp/nminimo.imp" if (((ECHO) >= (0))) goto L_0058; // 282 echo = echo+2 _imp_current_line = 282; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 282 "regression-compile-tmp/nminimo.imp" ECHO = (((int)(ECHO)) + (2)); // 283 newline %if echo=0 _imp_current_line = 283; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 283 "regression-compile-tmp/nminimo.imp" if (((ECHO) != (0))) goto L_0059; #line 283 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); #line 283 "regression-compile-tmp/nminimo.imp" L_0059:; // 284 %finish _imp_current_line = 284; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 284 "regression-compile-tmp/nminimo.imp" L_0058:; // 285 %repeat _imp_current_line = 285; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 285 "regression-compile-tmp/nminimo.imp" goto L_0043; #line 285 "regression-compile-tmp/nminimo.imp" L_0044:; // 286 ! INput list // 287 croak("Keyword ".curname."? ") %if curname # "IN" _imp_current_line = 287; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 287 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("IN")) == 0)) goto L_005a; #line 287 "regression-compile-tmp/nminimo.imp" CROAK(_imp_join((_imp_string)_imp_join((_imp_string)_imp_str_literal("Keyword "),(_imp_string)CURNAME),(_imp_string)_imp_str_literal("? "))); #line 287 "regression-compile-tmp/nminimo.imp" L_005a:; // 288 pend = sym %if pend=0 _imp_current_line = 288; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 288 "regression-compile-tmp/nminimo.imp" if (((PEND) != (0))) goto L_005b; #line 288 "regression-compile-tmp/nminimo.imp" PEND = SYM; #line 288 "regression-compile-tmp/nminimo.imp" L_005b:; // 289 bit = 1; negin = 0; ignorin = 0 _imp_current_line = 289; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 289 "regression-compile-tmp/nminimo.imp" BIT = 1; _imp_current_line = 289; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 289 "regression-compile-tmp/nminimo.imp" NEGIN = 0; _imp_current_line = 289; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 289 "regression-compile-tmp/nminimo.imp" IGNORIN = 0; // 290 %cycle _imp_current_line = 290; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 290 "regression-compile-tmp/nminimo.imp" L_005c:; // 291 croak("Too many inputs.") %if bit = 0 _imp_current_line = 291; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 291 "regression-compile-tmp/nminimo.imp" if (((BIT) != (0))) goto L_005f; #line 291 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Too many inputs.")); #line 291 "regression-compile-tmp/nminimo.imp" L_005f:; // 292 read sym %until sym>' ' %and sym#',' _imp_current_line = 292; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 292 "regression-compile-tmp/nminimo.imp" L_0060:; #line 292 "regression-compile-tmp/nminimo.imp" READSYM(); #line 292 "regression-compile-tmp/nminimo.imp" if (((SYM) <= (32))) goto L_0062; #line 292 "regression-compile-tmp/nminimo.imp" if (((SYM) != (44))) goto L_0061; #line 292 "regression-compile-tmp/nminimo.imp" L_0062:; #line 292 "regression-compile-tmp/nminimo.imp" goto L_0060; #line 292 "regression-compile-tmp/nminimo.imp" L_0061:; // 293 %if sym = '-' %start _imp_current_line = 293; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 293 "regression-compile-tmp/nminimo.imp" if (((SYM) != (45))) goto L_0063; // 294 ignorin = ignorin+bit _imp_current_line = 294; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 294 "regression-compile-tmp/nminimo.imp" IGNORIN = (((int)(IGNORIN)) + (BIT)); // 295 curname = "-" _imp_current_line = 295; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 295 "regression-compile-tmp/nminimo.imp" CURNAME = _imp_str_literal("-"); // 296 read sym _imp_current_line = 296; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 296 "regression-compile-tmp/nminimo.imp" READSYM(); // 297 %finish %else %start _imp_current_line = 297; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 297 "regression-compile-tmp/nminimo.imp" goto L_0064; #line 297 "regression-compile-tmp/nminimo.imp" L_0063:; // 298 %if sym = '\' %then negin = negin+bit %c _imp_current_line = 298; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 298 "regression-compile-tmp/nminimo.imp" if (((SYM) != (92))) goto L_0065; #line 298 "regression-compile-tmp/nminimo.imp" NEGIN = (((int)(NEGIN)) + (BIT)); #line 298 "regression-compile-tmp/nminimo.imp" goto L_0066; #line 298 "regression-compile-tmp/nminimo.imp" L_0065:; #line 298 "regression-compile-tmp/nminimo.imp" PEND = SYM; #line 298 "regression-compile-tmp/nminimo.imp" L_0066:; // 299 %else pend = sym // 300 read name _imp_current_line = 300; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 300 "regression-compile-tmp/nminimo.imp" READNAME(); // 301 lookup _imp_current_line = 301; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 301 "regression-compile-tmp/nminimo.imp" LOOKUP(); // 302 %finish _imp_current_line = 302; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 302 "regression-compile-tmp/nminimo.imp" L_0064:; // 303 newname _imp_current_line = 303; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 303 "regression-compile-tmp/nminimo.imp" NEWNAME(); // 304 exp(namemax) = bit _imp_current_line = 304; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 304 "regression-compile-tmp/nminimo.imp" EXP[(((int)(NAMEMAX)) - (1))] = BIT; // 305 bit = bit<<1 _imp_current_line = 305; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 305 "regression-compile-tmp/nminimo.imp" BIT = ((BIT) << (1)); // 306 %repeat %until sym # ',' _imp_current_line = 306; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 306 "regression-compile-tmp/nminimo.imp" if (((SYM) != (44))) goto L_005d; #line 306 "regression-compile-tmp/nminimo.imp" goto L_005c; #line 306 "regression-compile-tmp/nminimo.imp" L_005d:; // 307 inmax = namemax _imp_current_line = 307; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 307 "regression-compile-tmp/nminimo.imp" INMAX = NAMEMAX; // 308 negin = \negin %if nin # 0 _imp_current_line = 308; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 308 "regression-compile-tmp/nminimo.imp" if (((NIN) == (0))) goto L_0067; #line 308 "regression-compile-tmp/nminimo.imp" NEGIN = (~(NEGIN)); #line 308 "regression-compile-tmp/nminimo.imp" L_0067:; // 309 ! logic equations // 310 %if tabin = 0 %start _imp_current_line = 310; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 310 "regression-compile-tmp/nminimo.imp" if (((TABIN) != (0))) goto L_0068; // 311 %cycle _imp_current_line = 311; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 311 "regression-compile-tmp/nminimo.imp" L_0069:; // 312 read name _imp_current_line = 312; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 312 "regression-compile-tmp/nminimo.imp" READNAME(); // 313 %exit %if sym # '=' _imp_current_line = 313; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 313 "regression-compile-tmp/nminimo.imp" if (((SYM) == (61))) goto L_006c; #line 313 "regression-compile-tmp/nminimo.imp" goto L_006a; #line 313 "regression-compile-tmp/nminimo.imp" L_006c:; // 314 lookup _imp_current_line = 314; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 314 "regression-compile-tmp/nminimo.imp" LOOKUP(); // 315 pos = 0 %if pos <= inmax _imp_current_line = 315; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 315 "regression-compile-tmp/nminimo.imp" if (((POS) > (INMAX))) goto L_006d; #line 315 "regression-compile-tmp/nminimo.imp" POS = 0; #line 315 "regression-compile-tmp/nminimo.imp" L_006d:; // 316 newname _imp_current_line = 316; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 316 "regression-compile-tmp/nminimo.imp" NEWNAME(); // 317 exp(namemax) = dp; !start of Polish representation _imp_current_line = 317; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 317 "regression-compile-tmp/nminimo.imp" EXP[(((int)(NAMEMAX)) - (1))] = DP; // 318 namemax = namemax-1; !hide LH name to exclude self-ref _imp_current_line = 318; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 318 "regression-compile-tmp/nminimo.imp" NAMEMAX = (((int)(NAMEMAX)) - (1)); // 319 read exp _imp_current_line = 319; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 319 "regression-compile-tmp/nminimo.imp" READEXP(); // 320 namemax = namemax+1; !restore LH name _imp_current_line = 320; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 320 "regression-compile-tmp/nminimo.imp" NAMEMAX = (((int)(NAMEMAX)) + (1)); // 321 put(0); !terminator _imp_current_line = 321; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 321 "regression-compile-tmp/nminimo.imp" PUT(0); // 322 croak("Faulty format. ") %if sym # nl _imp_current_line = 322; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 322 "regression-compile-tmp/nminimo.imp" if (((SYM) == (10))) goto L_006e; #line 322 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Faulty format. ")); #line 322 "regression-compile-tmp/nminimo.imp" L_006e:; // 323 %repeat _imp_current_line = 323; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 323 "regression-compile-tmp/nminimo.imp" goto L_0069; #line 323 "regression-compile-tmp/nminimo.imp" L_006a:; // 324 %finish %else %start; !tabular input _imp_current_line = 324; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 324 "regression-compile-tmp/nminimo.imp" goto L_006f; #line 324 "regression-compile-tmp/nminimo.imp" L_0068:; // 325 pos1 = namebound+1; outmax = 0 _imp_current_line = 325; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 325 "regression-compile-tmp/nminimo.imp" POS1 = 257; _imp_current_line = 325; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 325 "regression-compile-tmp/nminimo.imp" OUTMAX = 0; // 326 %cycle _imp_current_line = 326; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 326 "regression-compile-tmp/nminimo.imp" L_0070:; // 327 read sym %until sym > ' ' _imp_current_line = 327; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 327 "regression-compile-tmp/nminimo.imp" L_0073:; #line 327 "regression-compile-tmp/nminimo.imp" READSYM(); #line 327 "regression-compile-tmp/nminimo.imp" if (((SYM) > (32))) goto L_0074; #line 327 "regression-compile-tmp/nminimo.imp" goto L_0073; #line 327 "regression-compile-tmp/nminimo.imp" L_0074:; // 328 pend=sym %and %exit %if sym&95 = 'O' _imp_current_line = 328; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 328 "regression-compile-tmp/nminimo.imp" if (((((SYM) & (95))) != (79))) goto L_0076; #line 328 "regression-compile-tmp/nminimo.imp" PEND = SYM; #line 328 "regression-compile-tmp/nminimo.imp" goto L_0071; #line 328 "regression-compile-tmp/nminimo.imp" L_0076:; // 329 pos1 = pos1-1 _imp_current_line = 329; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 329 "regression-compile-tmp/nminimo.imp" POS1 = (((int)(POS1)) - (1)); // 330 croak("Too many table entries") %if pos1 = namemax _imp_current_line = 330; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 330 "regression-compile-tmp/nminimo.imp" if (((POS1) != (NAMEMAX))) goto L_0077; #line 330 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Too many table entries")); #line 330 "regression-compile-tmp/nminimo.imp" L_0077:; // 331 exp(pos1) = 0 _imp_current_line = 331; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 331 "regression-compile-tmp/nminimo.imp" EXP[(((int)(POS1)) - (1))] = 0; // 332 first = 1 _imp_current_line = 332; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 332 "regression-compile-tmp/nminimo.imp" FIRST = 1; // 333 %for pos = 1,1,inmax %cycle _imp_current_line = 333; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 333 "regression-compile-tmp/nminimo.imp" {static int _initial, _increment, _final, _control; _initial = 1; _increment = 1; _final = INMAX; POS = _control = _initial; if (((_final-_initial) % _increment) != 0) _imp_signal(5,1,0,"Illegal cycle POS = 1, 1, INMAX"); POS -= _increment; _control -= _increment; L_0078:; if (POS == _final) goto L_0079; POS += _increment; _control += _increment; if (POS != _control) _imp_signal(4,2,0,"Corrupt control variable POS"); /* FOR loop control variable corrupted */ } // 334 %if ignorin>>(pos-1)&1 = 0 %c _imp_current_line = 334; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 334 "regression-compile-tmp/nminimo.imp" if ((((((int)((((unsigned int)(IGNORIN)) >> ((((int)(POS)) - (1)))))) & (1))) != (0))) goto L_007b; #line 334 "regression-compile-tmp/nminimo.imp" if (((SYM) == (48))) goto L_007c; #line 334 "regression-compile-tmp/nminimo.imp" if (((SYM) != (49))) goto L_007b; #line 334 "regression-compile-tmp/nminimo.imp" L_007c:; // 335 %and (sym = '0' %or sym = '1') %start // 336 %if sym = '1' %then put(pos) %c _imp_current_line = 336; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 336 "regression-compile-tmp/nminimo.imp" if (((SYM) != (49))) goto L_007d; #line 336 "regression-compile-tmp/nminimo.imp" PUT(POS); #line 336 "regression-compile-tmp/nminimo.imp" goto L_007e; #line 336 "regression-compile-tmp/nminimo.imp" L_007d:; #line 336 "regression-compile-tmp/nminimo.imp" PUT((-1)); #line 336 "regression-compile-tmp/nminimo.imp" PUT(POS); #line 336 "regression-compile-tmp/nminimo.imp" PUT((-1)); #line 336 "regression-compile-tmp/nminimo.imp" L_007e:; // 337 %else put(not) %and put(pos) %and put(not) // 338 put(and) %if first = 0 _imp_current_line = 338; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 338 "regression-compile-tmp/nminimo.imp" if (((FIRST) != (0))) goto L_007f; #line 338 "regression-compile-tmp/nminimo.imp" PUT((-3)); #line 338 "regression-compile-tmp/nminimo.imp" L_007f:; // 339 first = 0 _imp_current_line = 339; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 339 "regression-compile-tmp/nminimo.imp" FIRST = 0; // 340 %finish _imp_current_line = 340; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 340 "regression-compile-tmp/nminimo.imp" L_007b:; // 341 read sym %until sym # ' ' _imp_current_line = 341; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 341 "regression-compile-tmp/nminimo.imp" L_0080:; #line 341 "regression-compile-tmp/nminimo.imp" READSYM(); #line 341 "regression-compile-tmp/nminimo.imp" if (((SYM) != (32))) goto L_0081; #line 341 "regression-compile-tmp/nminimo.imp" goto L_0080; #line 341 "regression-compile-tmp/nminimo.imp" L_0081:; // 342 %repeat _imp_current_line = 342; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 342 "regression-compile-tmp/nminimo.imp" goto L_0078; #line 342 "regression-compile-tmp/nminimo.imp" L_0079:; // 343 put(0) _imp_current_line = 343; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 343 "regression-compile-tmp/nminimo.imp" PUT(0); // 344 bit = 1; namemax = inmax _imp_current_line = 344; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 344 "regression-compile-tmp/nminimo.imp" BIT = 1; _imp_current_line = 344; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 344 "regression-compile-tmp/nminimo.imp" NAMEMAX = INMAX; // 345 %while sym # nl %cycle _imp_current_line = 345; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 345 "regression-compile-tmp/nminimo.imp" L_0083:; #line 345 "regression-compile-tmp/nminimo.imp" if (((SYM) == (10))) goto L_0084; // 346 croak("Faulty entry. ") %if (sym # '0' %and sym # '1') %c _imp_current_line = 346; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 346 "regression-compile-tmp/nminimo.imp" if (((SYM) == (48))) goto L_0086; #line 346 "regression-compile-tmp/nminimo.imp" if (((SYM) != (49))) goto L_0082; #line 346 "regression-compile-tmp/nminimo.imp" L_0086:; #line 346 "regression-compile-tmp/nminimo.imp" if (((NAMEMAX) != (OUTMAX))) goto L_0087; #line 346 "regression-compile-tmp/nminimo.imp" L_0082:; #line 346 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Faulty entry. ")); #line 346 "regression-compile-tmp/nminimo.imp" L_0087:; // 347 %or namemax = outmax // 348 exp(pos1) = exp(pos1)!bit %if sym = '1' _imp_current_line = 348; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 348 "regression-compile-tmp/nminimo.imp" if (((SYM) != (49))) goto L_0088; #line 348 "regression-compile-tmp/nminimo.imp" EXP[(((int)(POS1)) - (1))] = ((EXP[(((int)(POS1)) - (1))]) | (BIT)); #line 348 "regression-compile-tmp/nminimo.imp" L_0088:; // 349 bit = bit<<1; namemax = namemax+1 _imp_current_line = 349; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 349 "regression-compile-tmp/nminimo.imp" BIT = ((BIT) << (1)); _imp_current_line = 349; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 349 "regression-compile-tmp/nminimo.imp" NAMEMAX = (((int)(NAMEMAX)) + (1)); // 350 read sym %until sym # ' ' _imp_current_line = 350; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 350 "regression-compile-tmp/nminimo.imp" L_0089:; #line 350 "regression-compile-tmp/nminimo.imp" READSYM(); #line 350 "regression-compile-tmp/nminimo.imp" if (((SYM) != (32))) goto L_008a; #line 350 "regression-compile-tmp/nminimo.imp" goto L_0089; #line 350 "regression-compile-tmp/nminimo.imp" L_008a:; // 351 %repeat _imp_current_line = 351; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 351 "regression-compile-tmp/nminimo.imp" goto L_0083; #line 351 "regression-compile-tmp/nminimo.imp" L_0084:; // 352 outmax = namemax %if outmax = 0 _imp_current_line = 352; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 352 "regression-compile-tmp/nminimo.imp" if (((OUTMAX) != (0))) goto L_008c; #line 352 "regression-compile-tmp/nminimo.imp" OUTMAX = NAMEMAX; #line 352 "regression-compile-tmp/nminimo.imp" L_008c:; // 353 croak("Faulty entry. ") %if outmax # namemax _imp_current_line = 353; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 353 "regression-compile-tmp/nminimo.imp" if (((OUTMAX) == (NAMEMAX))) goto L_008d; #line 353 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Faulty entry. ")); #line 353 "regression-compile-tmp/nminimo.imp" L_008d:; // 354 %repeat _imp_current_line = 354; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 354 "regression-compile-tmp/nminimo.imp" goto L_0070; #line 354 "regression-compile-tmp/nminimo.imp" L_0071:; // 355 bit = 1 _imp_current_line = 355; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 355 "regression-compile-tmp/nminimo.imp" BIT = 1; // 356 bit = \0 %and namemax = inmax+1 %if check # 0 _imp_current_line = 356; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 356 "regression-compile-tmp/nminimo.imp" if (((CHECK) == (0))) goto L_008e; #line 356 "regression-compile-tmp/nminimo.imp" BIT = (~(0)); #line 356 "regression-compile-tmp/nminimo.imp" NAMEMAX = (((int)(INMAX)) + (1)); #line 356 "regression-compile-tmp/nminimo.imp" L_008e:; // 357 %for pos = inmax+1,1,namemax %cycle _imp_current_line = 357; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 357 "regression-compile-tmp/nminimo.imp" {static int _initial, _increment, _final, _control; _initial = (((int)(INMAX)) + (1)); _increment = 1; _final = NAMEMAX; POS = _control = _initial; if (((_final-_initial) % _increment) != 0) _imp_signal(5,1,0,"Illegal cycle POS = (((int)(INMAX)) + (1)), 1, NAMEMAX"); POS -= _increment; _control -= _increment; L_008f:; if (POS == _final) goto L_0090; POS += _increment; _control += _increment; if (POS != _control) _imp_signal(4,2,0,"Corrupt control variable POS"); /* FOR loop control variable corrupted */ } // 358 exp(pos) = dp _imp_current_line = 358; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 358 "regression-compile-tmp/nminimo.imp" EXP[(((int)(POS)) - (1))] = DP; // 359 first = 1 _imp_current_line = 359; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 359 "regression-compile-tmp/nminimo.imp" FIRST = 1; // 360 %integer first pos1 A = pos1 {workaround} _imp_current_line = 360; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 360 "regression-compile-tmp/nminimo.imp" int FIRSTPOS1A; #line 360 "regression-compile-tmp/nminimo.imp" FIRSTPOS1A = POS1; // 361 %for pos1 = namebound,-1,first{workaround}pos1 A %cycle _imp_current_line = 361; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 361 "regression-compile-tmp/nminimo.imp" {static int _initial, _increment, _final, _control; _initial = 256; _increment = (-1); _final = FIRSTPOS1A; POS1 = _control = _initial; if (((_final-_initial) % _increment) != 0) _imp_signal(5,1,0,"Illegal cycle POS1 = 256, (-1), FIRSTPOS1A"); POS1 -= _increment; _control -= _increment; L_0092:; if (POS1 == _final) goto L_0093; POS1 += _increment; _control += _increment; if (POS1 != _control) _imp_signal(4,2,0,"Corrupt control variable POS1"); /* FOR loop control variable corrupted */ } // 362 %if exp(pos1)&bit # 0 %start _imp_current_line = 362; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 362 "regression-compile-tmp/nminimo.imp" if (((((EXP[(((int)(POS1)) - (1))]) & (BIT))) == (0))) goto L_0095; // 363 put(pos1) _imp_current_line = 363; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 363 "regression-compile-tmp/nminimo.imp" PUT(POS1); // 364 put(or) %if first = 0 _imp_current_line = 364; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 364 "regression-compile-tmp/nminimo.imp" if (((FIRST) != (0))) goto L_0096; #line 364 "regression-compile-tmp/nminimo.imp" PUT((-2)); #line 364 "regression-compile-tmp/nminimo.imp" L_0096:; // 365 first = 0 _imp_current_line = 365; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 365 "regression-compile-tmp/nminimo.imp" FIRST = 0; // 366 %finish _imp_current_line = 366; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 366 "regression-compile-tmp/nminimo.imp" L_0095:; // 367 %repeat _imp_current_line = 367; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 367 "regression-compile-tmp/nminimo.imp" goto L_0092; #line 367 "regression-compile-tmp/nminimo.imp" L_0093:; // 368 put(0) _imp_current_line = 368; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 368 "regression-compile-tmp/nminimo.imp" PUT(0); // 369 bit = bit<<1 _imp_current_line = 369; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 369 "regression-compile-tmp/nminimo.imp" BIT = ((BIT) << (1)); // 370 %repeat _imp_current_line = 370; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 370 "regression-compile-tmp/nminimo.imp" goto L_008f; #line 370 "regression-compile-tmp/nminimo.imp" L_0090:; // 371 dp1 = 1 _imp_current_line = 371; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 371 "regression-compile-tmp/nminimo.imp" DP1 = 1; // 372 %integer first pos1 B = pos1 {workaround} _imp_current_line = 372; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 372 "regression-compile-tmp/nminimo.imp" int FIRSTPOS1B; #line 372 "regression-compile-tmp/nminimo.imp" FIRSTPOS1B = POS1; // 373 %for pos1 = namebound,-1,first{workaround}pos1 B %cycle _imp_current_line = 373; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 373 "regression-compile-tmp/nminimo.imp" {static int _initial, _increment, _final, _control; _initial = 256; _increment = (-1); _final = FIRSTPOS1B; POS1 = _control = _initial; if (((_final-_initial) % _increment) != 0) _imp_signal(5,1,0,"Illegal cycle POS1 = 256, (-1), FIRSTPOS1B"); POS1 -= _increment; _control -= _increment; L_0097:; if (POS1 == _final) goto L_0098; POS1 += _increment; _control += _increment; if (POS1 != _control) _imp_signal(4,2,0,"Corrupt control variable POS1"); /* FOR loop control variable corrupted */ } // 374 exp(pos1) = dp1 _imp_current_line = 374; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 374 "regression-compile-tmp/nminimo.imp" EXP[(((int)(POS1)) - (1))] = DP1; // 375 dp1 = dp1+1 %until def(dp1-1) = 0 _imp_current_line = 375; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 375 "regression-compile-tmp/nminimo.imp" L_009a:; #line 375 "regression-compile-tmp/nminimo.imp" DP1 = (((int)(DP1)) + (1)); #line 375 "regression-compile-tmp/nminimo.imp" if (((DEF[(((int)((((int)(DP1)) - (1)))) - (1))]) == (0))) goto L_009b; #line 375 "regression-compile-tmp/nminimo.imp" goto L_009a; #line 375 "regression-compile-tmp/nminimo.imp" L_009b:; // 376 %repeat _imp_current_line = 376; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 376 "regression-compile-tmp/nminimo.imp" goto L_0097; #line 376 "regression-compile-tmp/nminimo.imp" L_0098:; // 377 read name _imp_current_line = 377; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 377 "regression-compile-tmp/nminimo.imp" READNAME(); // 378 %finish _imp_current_line = 378; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 378 "regression-compile-tmp/nminimo.imp" L_006f:; // 379 ! OUTput list // 380 ! note that OUTput names are added again // 381 ! to simplify treatment of "Don't cares" // 382 croak("Keyword ".curname."? ") %if curname # "OUT" _imp_current_line = 382; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 382 "regression-compile-tmp/nminimo.imp" if ((_imp_strcmp(CURNAME, _imp_str_literal("OUT")) == 0)) goto L_009d; #line 382 "regression-compile-tmp/nminimo.imp" CROAK(_imp_join((_imp_string)_imp_join((_imp_string)_imp_str_literal("Keyword "),(_imp_string)CURNAME),(_imp_string)_imp_str_literal("? "))); #line 382 "regression-compile-tmp/nminimo.imp" L_009d:; // 383 pend = sym %if pend=0 _imp_current_line = 383; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 383 "regression-compile-tmp/nminimo.imp" if (((PEND) != (0))) goto L_009e; #line 383 "regression-compile-tmp/nminimo.imp" PEND = SYM; #line 383 "regression-compile-tmp/nminimo.imp" L_009e:; // 384 outmin = namemax+1; pos = inmax _imp_current_line = 384; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 384 "regression-compile-tmp/nminimo.imp" OUTMIN = (((int)(NAMEMAX)) + (1)); _imp_current_line = 384; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 384 "regression-compile-tmp/nminimo.imp" POS = INMAX; // 385 negout = 0; ignorout = 0; bit = 1 _imp_current_line = 385; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 385 "regression-compile-tmp/nminimo.imp" NEGOUT = 0; _imp_current_line = 385; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 385 "regression-compile-tmp/nminimo.imp" IGNOROUT = 0; _imp_current_line = 385; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 385 "regression-compile-tmp/nminimo.imp" BIT = 1; // 386 %cycle _imp_current_line = 386; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 386 "regression-compile-tmp/nminimo.imp" L_009f:; // 387 croak("Too many outputs. ") %if namemax-outmin+2 > 32 _imp_current_line = 387; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 387 "regression-compile-tmp/nminimo.imp" if ((((((int)((((int)(NAMEMAX)) - (OUTMIN)))) + (2))) <= (32))) goto L_00a2; #line 387 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Too many outputs. ")); #line 387 "regression-compile-tmp/nminimo.imp" L_00a2:; // 388 read sym %until sym>' ' %and sym#',' _imp_current_line = 388; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 388 "regression-compile-tmp/nminimo.imp" L_00a3:; #line 388 "regression-compile-tmp/nminimo.imp" READSYM(); #line 388 "regression-compile-tmp/nminimo.imp" if (((SYM) <= (32))) goto L_00a5; #line 388 "regression-compile-tmp/nminimo.imp" if (((SYM) != (44))) goto L_00a4; #line 388 "regression-compile-tmp/nminimo.imp" L_00a5:; #line 388 "regression-compile-tmp/nminimo.imp" goto L_00a3; #line 388 "regression-compile-tmp/nminimo.imp" L_00a4:; // 389 %if sym = '-' %start _imp_current_line = 389; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 389 "regression-compile-tmp/nminimo.imp" if (((SYM) != (45))) goto L_00a6; // 390 ignorout = ignorout+bit _imp_current_line = 390; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 390 "regression-compile-tmp/nminimo.imp" IGNOROUT = (((int)(IGNOROUT)) + (BIT)); // 391 curname = "-" _imp_current_line = 391; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 391 "regression-compile-tmp/nminimo.imp" CURNAME = _imp_str_literal("-"); // 392 read sym _imp_current_line = 392; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 392 "regression-compile-tmp/nminimo.imp" READSYM(); // 393 %finish %else %start _imp_current_line = 393; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 393 "regression-compile-tmp/nminimo.imp" goto L_00a7; #line 393 "regression-compile-tmp/nminimo.imp" L_00a6:; // 394 %if sym = '\' %then negout = negout+bit %c _imp_current_line = 394; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 394 "regression-compile-tmp/nminimo.imp" if (((SYM) != (92))) goto L_00a8; #line 394 "regression-compile-tmp/nminimo.imp" NEGOUT = (((int)(NEGOUT)) + (BIT)); #line 394 "regression-compile-tmp/nminimo.imp" goto L_00a9; #line 394 "regression-compile-tmp/nminimo.imp" L_00a8:; #line 394 "regression-compile-tmp/nminimo.imp" PEND = SYM; #line 394 "regression-compile-tmp/nminimo.imp" L_00a9:; // 395 %else pend = sym // 396 read name _imp_current_line = 396; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 396 "regression-compile-tmp/nminimo.imp" READNAME(); // 397 %finish _imp_current_line = 397; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 397 "regression-compile-tmp/nminimo.imp" L_00a7:; // 398 %if tabin = 0 %then lookup %else pos = pos+1 _imp_current_line = 398; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 398 "regression-compile-tmp/nminimo.imp" if (((TABIN) != (0))) goto L_00aa; #line 398 "regression-compile-tmp/nminimo.imp" LOOKUP(); #line 398 "regression-compile-tmp/nminimo.imp" goto L_00ab; #line 398 "regression-compile-tmp/nminimo.imp" L_00aa:; #line 398 "regression-compile-tmp/nminimo.imp" POS = (((int)(POS)) + (1)); #line 398 "regression-compile-tmp/nminimo.imp" L_00ab:; // 399 %if pos # 0 %start; !should be there _imp_current_line = 399; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 399 "regression-compile-tmp/nminimo.imp" if (((POS) == (0))) goto L_00ac; // 400 addname _imp_current_line = 400; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 400 "regression-compile-tmp/nminimo.imp" ADDNAME(); // 401 exp(namemax) = dp _imp_current_line = 401; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 401 "regression-compile-tmp/nminimo.imp" EXP[(((int)(NAMEMAX)) - (1))] = DP; // 402 put(pos) _imp_current_line = 402; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 402 "regression-compile-tmp/nminimo.imp" PUT(POS); // 403 %if tabin = 0 %start _imp_current_line = 403; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 403 "regression-compile-tmp/nminimo.imp" if (((TABIN) != (0))) goto L_00ad; // 404 curname = curname."?"; !any "Don't cares" for this one? _imp_current_line = 404; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 404 "regression-compile-tmp/nminimo.imp" CURNAME = _imp_join((_imp_string)CURNAME,(_imp_string)_imp_str_literal("?")); // 405 lookup _imp_current_line = 405; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 405 "regression-compile-tmp/nminimo.imp" LOOKUP(); // 406 %if pos # 0 %start; !if so _imp_current_line = 406; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 406 "regression-compile-tmp/nminimo.imp" if (((POS) == (0))) goto L_00ae; // 407 put(pos) _imp_current_line = 407; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 407 "regression-compile-tmp/nminimo.imp" PUT(POS); // 408 put(or) _imp_current_line = 408; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 408 "regression-compile-tmp/nminimo.imp" PUT((-2)); // 409 %finish _imp_current_line = 409; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 409 "regression-compile-tmp/nminimo.imp" L_00ae:; // 410 %finish _imp_current_line = 410; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 410 "regression-compile-tmp/nminimo.imp" L_00ad:; // 411 put(0) _imp_current_line = 411; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 411 "regression-compile-tmp/nminimo.imp" PUT(0); // 412 %finish %else %start _imp_current_line = 412; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 412 "regression-compile-tmp/nminimo.imp" goto L_00af; #line 412 "regression-compile-tmp/nminimo.imp" L_00ac:; // 413 queryname _imp_current_line = 413; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 413 "regression-compile-tmp/nminimo.imp" QUERYNAME(); // 414 %finish _imp_current_line = 414; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 414 "regression-compile-tmp/nminimo.imp" L_00af:; // 415 bit = bit<<1 _imp_current_line = 415; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 415 "regression-compile-tmp/nminimo.imp" BIT = ((BIT) << (1)); // 416 %repeat %until sym # ',' _imp_current_line = 416; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 416 "regression-compile-tmp/nminimo.imp" if (((SYM) != (44))) goto L_00a0; #line 416 "regression-compile-tmp/nminimo.imp" goto L_009f; #line 416 "regression-compile-tmp/nminimo.imp" L_00a0:; // 417 %stop %if outmin > namemax; !no (surviving) outputs _imp_current_line = 417; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 417 "regression-compile-tmp/nminimo.imp" if (((OUTMIN) <= (NAMEMAX))) goto L_00b0; #line 417 "regression-compile-tmp/nminimo.imp" exit(0); #line 417 "regression-compile-tmp/nminimo.imp" L_00b0:; // 418 croak("Faulty format. ") %if sym # nl _imp_current_line = 418; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 418 "regression-compile-tmp/nminimo.imp" if (((SYM) == (10))) goto L_00b1; #line 418 "regression-compile-tmp/nminimo.imp" CROAK(_imp_str_literal("Faulty format. ")); #line 418 "regression-compile-tmp/nminimo.imp" L_00b1:; // 419 negout = \negout %if nout # 0 _imp_current_line = 419; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 419 "regression-compile-tmp/nminimo.imp" if (((NOUT) == (0))) goto L_00b2; #line 419 "regression-compile-tmp/nminimo.imp" NEGOUT = (~(NEGOUT)); #line 419 "regression-compile-tmp/nminimo.imp" L_00b2:; // 420 %end; !READIN _imp_current_line = 420; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 420 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block READIN at level 2 // 421 // 422 %routine print term(%record(cell) v, %integer x) _imp_current_line = 422; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 422 "regression-compile-tmp/nminimo.imp" void PRINTTERM( CELL V, int X ) #line 422 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 423 %integer i,l _imp_current_line = 423; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 423 "regression-compile-tmp/nminimo.imp" int I; #line 423 "regression-compile-tmp/nminimo.imp" int L; // 424 %for i = 1,1,inmax %cycle _imp_current_line = 424; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 424 "regression-compile-tmp/nminimo.imp" {static int _initial, _increment, _final, _control; _initial = 1; _increment = 1; _final = INMAX; I = _control = _initial; if (((_final-_initial) % _increment) != 0) _imp_signal(5,1,0,"Illegal cycle I = 1, 1, INMAX"); I -= _increment; _control -= _increment; L_00b3:; if (I == _final) goto L_00b4; I += _increment; _control += _increment; if (I != _control) _imp_signal(4,2,0,"Corrupt control variable I"); /* FOR loop control variable corrupted */ } // 425 space %if squash = 0 _imp_current_line = 425; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 425 "regression-compile-tmp/nminimo.imp" if (((SQUASH) != (0))) goto L_00b6; #line 425 "regression-compile-tmp/nminimo.imp" _imp_SPACE(); #line 425 "regression-compile-tmp/nminimo.imp" L_00b6:; // 426 %if (v_t!v_f)&1 # 0 %start _imp_current_line = 426; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 426 "regression-compile-tmp/nminimo.imp" if (((((((V.T) | (V.F))) & (1))) == (0))) goto L_00b7; // 427 l = ' ' _imp_current_line = 427; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 427 "regression-compile-tmp/nminimo.imp" L = 32; // 428 l = '\' %if v_f&1 # 0 _imp_current_line = 428; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 428 "regression-compile-tmp/nminimo.imp" if (((((V.F) & (1))) == (0))) goto L_00b8; #line 428 "regression-compile-tmp/nminimo.imp" L = 92; #line 428 "regression-compile-tmp/nminimo.imp" L_00b8:; // 429 printsymbol(l) _imp_current_line = 429; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 429 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(L); // 430 print string(name(i)) _imp_current_line = 430; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 430 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(NAME[(((int)(I)) - (1))]); // 431 %finish %else %start _imp_current_line = 431; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 431 "regression-compile-tmp/nminimo.imp" goto L_00b9; #line 431 "regression-compile-tmp/nminimo.imp" L_00b7:; // 432 l = length(name(i)) _imp_current_line = 432; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 432 "regression-compile-tmp/nminimo.imp" L = *_imp_LENGTH(&NAME[(((int)(I)) - (1))]); // 433 spaces((l+1)//2) _imp_current_line = 433; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 433 "regression-compile-tmp/nminimo.imp" _imp_SPACES((((((((int)(L)) + (1)))) / ((int)(2))))); // 434 printsymbol('.') _imp_current_line = 434; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 434 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(46); // 435 spaces(l//2) _imp_current_line = 435; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 435 "regression-compile-tmp/nminimo.imp" _imp_SPACES(((((int)(L)) / ((int)(2))))); // 436 %finish _imp_current_line = 436; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 436 "regression-compile-tmp/nminimo.imp" L_00b9:; // 437 v_t = v_t>>1; v_f = v_f>>1 _imp_current_line = 437; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 437 "regression-compile-tmp/nminimo.imp" V.T = (int)((((unsigned int)(V.T)) >> (1))); _imp_current_line = 437; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 437 "regression-compile-tmp/nminimo.imp" V.F = (int)((((unsigned int)(V.F)) >> (1))); // 438 %repeat _imp_current_line = 438; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 438 "regression-compile-tmp/nminimo.imp" goto L_00b3; #line 438 "regression-compile-tmp/nminimo.imp" L_00b4:; // 439 space %if squash = 0 _imp_current_line = 439; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 439 "regression-compile-tmp/nminimo.imp" if (((SQUASH) != (0))) goto L_00ba; #line 439 "regression-compile-tmp/nminimo.imp" _imp_SPACE(); #line 439 "regression-compile-tmp/nminimo.imp" L_00ba:; // 440 printsymbol(':') _imp_current_line = 440; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 440 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(58); // 441 %for i = outmin,1,namemax %cycle _imp_current_line = 441; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 441 "regression-compile-tmp/nminimo.imp" {static int _initial, _increment, _final, _control; _initial = OUTMIN; _increment = 1; _final = NAMEMAX; I = _control = _initial; if (((_final-_initial) % _increment) != 0) _imp_signal(5,1,0,"Illegal cycle I = OUTMIN, 1, NAMEMAX"); I -= _increment; _control -= _increment; L_00bb:; if (I == _final) goto L_00bc; I += _increment; _control += _increment; if (I != _control) _imp_signal(4,2,0,"Corrupt control variable I"); /* FOR loop control variable corrupted */ } // 442 space _imp_current_line = 442; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 442 "regression-compile-tmp/nminimo.imp" _imp_SPACE(); // 443 %if v_outs&1 # 0 %start _imp_current_line = 443; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 443 "regression-compile-tmp/nminimo.imp" if (((((V.OUTS) & (1))) == (0))) goto L_00be; // 444 printstring(name(i)) _imp_current_line = 444; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 444 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(NAME[(((int)(I)) - (1))]); // 445 %finish %else %start _imp_current_line = 445; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 445 "regression-compile-tmp/nminimo.imp" goto L_00bf; #line 445 "regression-compile-tmp/nminimo.imp" L_00be:; // 446 l = length(name(i)) _imp_current_line = 446; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 446 "regression-compile-tmp/nminimo.imp" L = *_imp_LENGTH(&NAME[(((int)(I)) - (1))]); // 447 spaces((l-1)//2) _imp_current_line = 447; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 447 "regression-compile-tmp/nminimo.imp" _imp_SPACES((((((((int)(L)) - (1)))) / ((int)(2))))); // 448 %if x&1 = 0 %then printsymbol('.') %c _imp_current_line = 448; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 448 "regression-compile-tmp/nminimo.imp" if (((((X) & (1))) != (0))) goto L_00c0; #line 448 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(46); #line 448 "regression-compile-tmp/nminimo.imp" goto L_00c1; #line 448 "regression-compile-tmp/nminimo.imp" L_00c0:; #line 448 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(63); #line 448 "regression-compile-tmp/nminimo.imp" L_00c1:; // 449 %else printsymbol('?') // 450 spaces(l//2) _imp_current_line = 450; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 450 "regression-compile-tmp/nminimo.imp" _imp_SPACES(((((int)(L)) / ((int)(2))))); // 451 %finish _imp_current_line = 451; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 451 "regression-compile-tmp/nminimo.imp" L_00bf:; // 452 v_outs = v_outs>>1; x = x>>1 _imp_current_line = 452; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 452 "regression-compile-tmp/nminimo.imp" V.OUTS = (int)((((unsigned int)(V.OUTS)) >> (1))); _imp_current_line = 452; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 452 "regression-compile-tmp/nminimo.imp" X = (int)((((unsigned int)(X)) >> (1))); // 453 %repeat _imp_current_line = 453; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 453 "regression-compile-tmp/nminimo.imp" goto L_00bb; #line 453 "regression-compile-tmp/nminimo.imp" L_00bc:; // 454 newline _imp_current_line = 454; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 454 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 455 %end _imp_current_line = 455; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 455 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block PRINTTERM at level 2 // 456 // 457 %routine monitor(%integer lim) _imp_current_line = 457; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 457 "regression-compile-tmp/nminimo.imp" void MONITOR( int LIM ) #line 457 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 458 %integer q _imp_current_line = 458; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 458 "regression-compile-tmp/nminimo.imp" int Q; // 459 newline _imp_current_line = 459; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 459 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 460 q = 1 _imp_current_line = 460; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 460 "regression-compile-tmp/nminimo.imp" Q = 1; // 461 %while q # lim %cycle _imp_current_line = 461; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 461 "regression-compile-tmp/nminimo.imp" L_00c2:; #line 461 "regression-compile-tmp/nminimo.imp" if (((Q) == (LIM))) goto L_00c3; // 462 write(q,2) %if mon&4 # 0 _imp_current_line = 462; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 462 "regression-compile-tmp/nminimo.imp" if (((((MON) & (4))) == (0))) goto L_00c5; #line 462 "regression-compile-tmp/nminimo.imp" _imp_WRITE(Q, 2); #line 462 "regression-compile-tmp/nminimo.imp" L_00c5:; // 463 print term(w(q),0) _imp_current_line = 463; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 463 "regression-compile-tmp/nminimo.imp" PRINTTERM(W[(((int)(Q)) - (1))], 0); // 464 q = q+1 _imp_current_line = 464; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 464 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); // 465 %repeat _imp_current_line = 465; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 465 "regression-compile-tmp/nminimo.imp" goto L_00c2; #line 465 "regression-compile-tmp/nminimo.imp" L_00c3:; // 466 newline _imp_current_line = 466; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 466 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 467 %end _imp_current_line = 467; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 467 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block MONITOR at level 2 // 468 // 469 %routine copydown _imp_current_line = 469; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 469 "regression-compile-tmp/nminimo.imp" void COPYDOWN( void ) #line 469 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 470 np1 = np _imp_current_line = 470; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 470 "regression-compile-tmp/nminimo.imp" NP1 = NP; // 471 %while sp # sp1 %cycle _imp_current_line = 471; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 471 "regression-compile-tmp/nminimo.imp" L_00c6:; #line 471 "regression-compile-tmp/nminimo.imp" if (((SP) == (SP1))) goto L_00c7; // 472 sp = sp-1; np = np-1 _imp_current_line = 472; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 472 "regression-compile-tmp/nminimo.imp" SP = (((int)(SP)) - (1)); _imp_current_line = 472; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 472 "regression-compile-tmp/nminimo.imp" NP = (((int)(NP)) - (1)); // 473 w(np) = w(sp) _imp_current_line = 473; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 473 "regression-compile-tmp/nminimo.imp" W[(((int)(NP)) - (1))] = W[(((int)(SP)) - (1))]; // 474 %repeat _imp_current_line = 474; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 474 "regression-compile-tmp/nminimo.imp" goto L_00c6; #line 474 "regression-compile-tmp/nminimo.imp" L_00c7:; // 475 %end _imp_current_line = 475; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 475 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block COPYDOWN at level 2 // 476 // 477 %routine erase(%integer p) _imp_current_line = 477; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 477 "regression-compile-tmp/nminimo.imp" void ERASE( int P ) #line 477 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 478 sp = sp-1 _imp_current_line = 478; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 478 "regression-compile-tmp/nminimo.imp" SP = (((int)(SP)) - (1)); // 479 %while p # sp %cycle _imp_current_line = 479; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 479 "regression-compile-tmp/nminimo.imp" L_00c9:; #line 479 "regression-compile-tmp/nminimo.imp" if (((P) == (SP))) goto L_00ca; // 480 w(p) = w(p+1) _imp_current_line = 480; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 480 "regression-compile-tmp/nminimo.imp" W[(((int)(P)) - (1))] = W[(((int)((((int)(P)) + (1)))) - (1))]; // 481 p = p+1 _imp_current_line = 481; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 481 "regression-compile-tmp/nminimo.imp" P = (((int)(P)) + (1)); // 482 %repeat _imp_current_line = 482; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 482 "regression-compile-tmp/nminimo.imp" goto L_00c9; #line 482 "regression-compile-tmp/nminimo.imp" L_00ca:; // 483 %end _imp_current_line = 483; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 483 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block ERASE at level 2 // 484 // 485 %routine merge _imp_current_line = 485; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 485 "regression-compile-tmp/nminimo.imp" void MERGE( void ) #line 485 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 486 %integer p,k,same _imp_current_line = 486; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 486 "regression-compile-tmp/nminimo.imp" int P; #line 486 "regression-compile-tmp/nminimo.imp" int K; #line 486 "regression-compile-tmp/nminimo.imp" int SAME; // 487 %ownrecord(cell) v,n=0 _imp_current_line = 487; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 487 "regression-compile-tmp/nminimo.imp" static CELL V; #line 487 "regression-compile-tmp/nminimo.imp" static CELL N = { 0 } /* Initialise all fields of a record to 0. */; // 488 %while np # np1 %cycle _imp_current_line = 488; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 488 "regression-compile-tmp/nminimo.imp" L_00cc:; #line 488 "regression-compile-tmp/nminimo.imp" if (((NP) == (NP1))) goto L_00cd; // 489 v = w(np); np = np+1 _imp_current_line = 489; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 489 "regression-compile-tmp/nminimo.imp" V = W[(((int)(NP)) - (1))]; _imp_current_line = 489; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 489 "regression-compile-tmp/nminimo.imp" NP = (((int)(NP)) + (1)); // 490 p = sp1; same = 0 _imp_current_line = 490; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 490 "regression-compile-tmp/nminimo.imp" P = SP1; _imp_current_line = 490; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 490 "regression-compile-tmp/nminimo.imp" SAME = 0; // 491 %while p # sp %cycle _imp_current_line = 491; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 491 "regression-compile-tmp/nminimo.imp" L_00cf:; #line 491 "regression-compile-tmp/nminimo.imp" if (((P) == (SP))) goto L_00d0; // 492 %if w(p)_t!v_t = v_t %and w(p)_f!v_f = v_f %start; !V -> @P _imp_current_line = 492; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 492 "regression-compile-tmp/nminimo.imp" if (((((W[(((int)(P)) - (1))].T) | (V.T))) != (V.T))) goto L_00d2; #line 492 "regression-compile-tmp/nminimo.imp" if (((((W[(((int)(P)) - (1))].F) | (V.F))) != (V.F))) goto L_00d2; // 493 v_outs = v_outs&(\w(p)_outs) _imp_current_line = 493; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 493 "regression-compile-tmp/nminimo.imp" V.OUTS = ((V.OUTS) & ((~(W[(((int)(P)) - (1))].OUTS)))); // 494 %exit %if v_outs = 0 _imp_current_line = 494; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 494 "regression-compile-tmp/nminimo.imp" if (((V.OUTS) != (0))) goto L_00d3; #line 494 "regression-compile-tmp/nminimo.imp" goto L_00d0; #line 494 "regression-compile-tmp/nminimo.imp" L_00d3:; // 495 same = p %if w(p)_t = v_t %and w(p)_f = v_f _imp_current_line = 495; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 495 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(P)) - (1))].T) != (V.T))) goto L_00d4; #line 495 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(P)) - (1))].F) != (V.F))) goto L_00d4; #line 495 "regression-compile-tmp/nminimo.imp" SAME = P; #line 495 "regression-compile-tmp/nminimo.imp" L_00d4:; // 496 %finish _imp_current_line = 496; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 496 "regression-compile-tmp/nminimo.imp" L_00d2:; // 497 p = p+1 _imp_current_line = 497; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 497 "regression-compile-tmp/nminimo.imp" P = (((int)(P)) + (1)); // 498 %repeat _imp_current_line = 498; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 498 "regression-compile-tmp/nminimo.imp" goto L_00cf; #line 498 "regression-compile-tmp/nminimo.imp" L_00d0:; // 499 %if v_outs # 0 %start _imp_current_line = 499; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 499 "regression-compile-tmp/nminimo.imp" if (((V.OUTS) == (0))) goto L_00d5; // 500 %while p # sp1 %cycle _imp_current_line = 500; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 500 "regression-compile-tmp/nminimo.imp" L_00d6:; #line 500 "regression-compile-tmp/nminimo.imp" if (((P) == (SP1))) goto L_00d7; // 501 p = p-1 _imp_current_line = 501; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 501 "regression-compile-tmp/nminimo.imp" P = (((int)(P)) - (1)); // 502 n_outs = w(p)_outs&v_outs _imp_current_line = 502; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 502 "regression-compile-tmp/nminimo.imp" N.OUTS = ((W[(((int)(P)) - (1))].OUTS) & (V.OUTS)); // 503 %if n_outs # 0 %start _imp_current_line = 503; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 503 "regression-compile-tmp/nminimo.imp" if (((N.OUTS) == (0))) goto L_00d9; // 504 n_t = w(p)_t!v_t; n_f = w(p)_f!v_f _imp_current_line = 504; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 504 "regression-compile-tmp/nminimo.imp" N.T = ((W[(((int)(P)) - (1))].T) | (V.T)); _imp_current_line = 504; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 504 "regression-compile-tmp/nminimo.imp" N.F = ((W[(((int)(P)) - (1))].F) | (V.F)); // 505 k = (n_t)&n_f _imp_current_line = 505; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 505 "regression-compile-tmp/nminimo.imp" K = ((N.T) & (N.F)); // 506 %if k # 0 %and (k-1)&k = 0 %start; !singleton _imp_current_line = 506; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 506 "regression-compile-tmp/nminimo.imp" if (((K) == (0))) goto L_00da; #line 506 "regression-compile-tmp/nminimo.imp" if ((((((((int)(K)) - (1))) & (K))) != (0))) goto L_00da; // 507 n_t = n_t!!k; n_f = n_f!!k _imp_current_line = 507; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 507 "regression-compile-tmp/nminimo.imp" N.T = ((N.T) ^ (K)); _imp_current_line = 507; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 507 "regression-compile-tmp/nminimo.imp" N.F = ((N.F) ^ (K)); // 508 push(n) _imp_current_line = 508; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 508 "regression-compile-tmp/nminimo.imp" PUSH(N); // 509 v_outs = v_outs!!n_outs %if n_t!v_t = v_t %and n_f!v_f = v_f; !V -> N _imp_current_line = 509; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 509 "regression-compile-tmp/nminimo.imp" if (((((N.T) | (V.T))) != (V.T))) goto L_00db; #line 509 "regression-compile-tmp/nminimo.imp" if (((((N.F) | (V.F))) != (V.F))) goto L_00db; #line 509 "regression-compile-tmp/nminimo.imp" V.OUTS = ((V.OUTS) ^ (N.OUTS)); #line 509 "regression-compile-tmp/nminimo.imp" L_00db:; // 510 n_t = n_t!w(p)_t; n_f = n_f!w(p)_f _imp_current_line = 510; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 510 "regression-compile-tmp/nminimo.imp" N.T = ((N.T) | (W[(((int)(P)) - (1))].T)); _imp_current_line = 510; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 510 "regression-compile-tmp/nminimo.imp" N.F = ((N.F) | (W[(((int)(P)) - (1))].F)); // 511 %finish _imp_current_line = 511; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 511 "regression-compile-tmp/nminimo.imp" L_00da:; // 512 %if n_t = w(p)_t %and n_f = w(p)_f %start; !@P -> N _imp_current_line = 512; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 512 "regression-compile-tmp/nminimo.imp" if (((N.T) != (W[(((int)(P)) - (1))].T))) goto L_00dc; #line 512 "regression-compile-tmp/nminimo.imp" if (((N.F) != (W[(((int)(P)) - (1))].F))) goto L_00dc; // 513 w(p)_outs = w(p)_outs!!n_outs _imp_current_line = 513; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 513 "regression-compile-tmp/nminimo.imp" W[(((int)(P)) - (1))].OUTS = ((W[(((int)(P)) - (1))].OUTS) ^ (N.OUTS)); // 514 %if w(p)_outs = 0 %start _imp_current_line = 514; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 514 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(P)) - (1))].OUTS) != (0))) goto L_00dd; // 515 erase(p) _imp_current_line = 515; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 515 "regression-compile-tmp/nminimo.imp" ERASE(P); // 516 same = same-1 %if same > p _imp_current_line = 516; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 516 "regression-compile-tmp/nminimo.imp" if (((SAME) <= (P))) goto L_00de; #line 516 "regression-compile-tmp/nminimo.imp" SAME = (((int)(SAME)) - (1)); #line 516 "regression-compile-tmp/nminimo.imp" L_00de:; // 517 %finish _imp_current_line = 517; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 517 "regression-compile-tmp/nminimo.imp" L_00dd:; // 518 %finish _imp_current_line = 518; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 518 "regression-compile-tmp/nminimo.imp" L_00dc:; // 519 %exit %if v_outs = 0 _imp_current_line = 519; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 519 "regression-compile-tmp/nminimo.imp" if (((V.OUTS) != (0))) goto L_00df; #line 519 "regression-compile-tmp/nminimo.imp" goto L_00d7; #line 519 "regression-compile-tmp/nminimo.imp" L_00df:; // 520 %finish _imp_current_line = 520; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 520 "regression-compile-tmp/nminimo.imp" L_00d9:; // 521 %repeat _imp_current_line = 521; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 521 "regression-compile-tmp/nminimo.imp" goto L_00d6; #line 521 "regression-compile-tmp/nminimo.imp" L_00d7:; // 522 %if v_outs # 0 %start _imp_current_line = 522; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 522 "regression-compile-tmp/nminimo.imp" if (((V.OUTS) == (0))) goto L_00e0; // 523 %if same = 0 %start _imp_current_line = 523; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 523 "regression-compile-tmp/nminimo.imp" if (((SAME) != (0))) goto L_00e1; // 524 w(sp) = v; sp = sp+1 _imp_current_line = 524; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 524 "regression-compile-tmp/nminimo.imp" W[(((int)(SP)) - (1))] = V; _imp_current_line = 524; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 524 "regression-compile-tmp/nminimo.imp" SP = (((int)(SP)) + (1)); // 525 %finish %else %start _imp_current_line = 525; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 525 "regression-compile-tmp/nminimo.imp" goto L_00e2; #line 525 "regression-compile-tmp/nminimo.imp" L_00e1:; // 526 w(same)_outs = w(same)_outs+v_outs _imp_current_line = 526; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 526 "regression-compile-tmp/nminimo.imp" W[(((int)(SAME)) - (1))].OUTS = (((int)(W[(((int)(SAME)) - (1))].OUTS)) + (V.OUTS)); // 527 %finish _imp_current_line = 527; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 527 "regression-compile-tmp/nminimo.imp" L_00e2:; // 528 %finish _imp_current_line = 528; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 528 "regression-compile-tmp/nminimo.imp" L_00e0:; // 529 %finish _imp_current_line = 529; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 529 "regression-compile-tmp/nminimo.imp" L_00d5:; // 530 %repeat _imp_current_line = 530; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 530 "regression-compile-tmp/nminimo.imp" goto L_00cc; #line 530 "regression-compile-tmp/nminimo.imp" L_00cd:; // 531 %end _imp_current_line = 531; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 531 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block MERGE at level 2 // 532 // 533 ! C o n v e r t f r o m P o l i s h t o i n t e r n a l // 534 ! // 535 %routine convert _imp_current_line = 535; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 535 "regression-compile-tmp/nminimo.imp" void CONVERT( void ) #line 535 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 536 %integer outbit,oldsp,i,j,k,p,q,hp,inv _imp_current_line = 536; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 536 "regression-compile-tmp/nminimo.imp" int OUTBIT; #line 536 "regression-compile-tmp/nminimo.imp" int OLDSP; #line 536 "regression-compile-tmp/nminimo.imp" int I; #line 536 "regression-compile-tmp/nminimo.imp" int J; #line 536 "regression-compile-tmp/nminimo.imp" int K; #line 536 "regression-compile-tmp/nminimo.imp" int P; #line 536 "regression-compile-tmp/nminimo.imp" int Q; #line 536 "regression-compile-tmp/nminimo.imp" int HP; #line 536 "regression-compile-tmp/nminimo.imp" int INV; // 537 %ownrecord(cell) v=0 _imp_current_line = 537; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 537 "regression-compile-tmp/nminimo.imp" static CELL V = { 0 } /* Initialise all fields of a record to 0. */; // 538 %integerarray hold(1:20) _imp_current_line = 538; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 538 "regression-compile-tmp/nminimo.imp" int HOLD[20]; // 539 // 540 %routine convert(%integer j) _imp_current_line = 540; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 540 "regression-compile-tmp/nminimo.imp" void CONVERT( int J ) #line 540 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 541 %integer defp _imp_current_line = 541; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 541 "regression-compile-tmp/nminimo.imp" int DEFP; // 542 defp = exp(j) _imp_current_line = 542; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 542 "regression-compile-tmp/nminimo.imp" DEFP = EXP[(((int)(J)) - (1))]; // 543 %cycle _imp_current_line = 543; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 543 "regression-compile-tmp/nminimo.imp" L_00e3:; // 544 j = def(defp); defp = defp+1; !get next item _imp_current_line = 544; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 544 "regression-compile-tmp/nminimo.imp" J = DEF[(((int)(DEFP)) - (1))]; _imp_current_line = 544; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 544 "regression-compile-tmp/nminimo.imp" DEFP = (((int)(DEFP)) + (1)); // 545 %return %if j = 0; !terminator _imp_current_line = 545; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 545 "regression-compile-tmp/nminimo.imp" if (((J) != (0))) goto L_00e6; #line 545 "regression-compile-tmp/nminimo.imp" return; #line 545 "regression-compile-tmp/nminimo.imp" L_00e6:; // 546 %if j > 0 %start; !operand _imp_current_line = 546; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 546 "regression-compile-tmp/nminimo.imp" if (((J) <= (0))) goto L_00e7; // 547 %if j > inmax %start; !start of sub-def _imp_current_line = 547; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 547 "regression-compile-tmp/nminimo.imp" if (((J) <= (INMAX))) goto L_00e8; // 548 convert(j) _imp_current_line = 548; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 548 "regression-compile-tmp/nminimo.imp" CONVERT(J); // 549 %finish %else %start _imp_current_line = 549; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 549 "regression-compile-tmp/nminimo.imp" goto L_00e9; #line 549 "regression-compile-tmp/nminimo.imp" L_00e8:; // 550 hp = hp+1; hold(hp) = sp1 _imp_current_line = 550; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 550 "regression-compile-tmp/nminimo.imp" HP = (((int)(HP)) + (1)); _imp_current_line = 550; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 550 "regression-compile-tmp/nminimo.imp" HOLD[(((int)(HP)) - (1))] = SP1; // 551 sp1 = sp _imp_current_line = 551; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 551 "regression-compile-tmp/nminimo.imp" SP1 = SP; // 552 v_t = exp(j); v_f = 0 _imp_current_line = 552; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 552 "regression-compile-tmp/nminimo.imp" V.T = EXP[(((int)(J)) - (1))]; _imp_current_line = 552; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 552 "regression-compile-tmp/nminimo.imp" V.F = 0; // 553 v_f = v_t %and v_t = 0 %if inv!!(negin>>(j-1)&1) # 0 _imp_current_line = 553; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 553 "regression-compile-tmp/nminimo.imp" if (((((INV) ^ ((((int)((((unsigned int)(NEGIN)) >> ((((int)(J)) - (1)))))) & (1))))) == (0))) goto L_00ea; #line 553 "regression-compile-tmp/nminimo.imp" V.F = V.T; #line 553 "regression-compile-tmp/nminimo.imp" V.T = 0; #line 553 "regression-compile-tmp/nminimo.imp" L_00ea:; // 554 stack(v) _imp_current_line = 554; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 554 "regression-compile-tmp/nminimo.imp" STACK(V); // 555 %finish _imp_current_line = 555; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 555 "regression-compile-tmp/nminimo.imp" L_00e9:; // 556 %finish %else %if j = not %start _imp_current_line = 556; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 556 "regression-compile-tmp/nminimo.imp" goto L_00eb; #line 556 "regression-compile-tmp/nminimo.imp" L_00e7:; #line 556 "regression-compile-tmp/nminimo.imp" if (((J) != ((-1)))) goto L_00ec; // 557 inv = inv!!1 _imp_current_line = 557; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 557 "regression-compile-tmp/nminimo.imp" INV = ((INV) ^ (1)); // 558 %finish %else %if j-inv = and %start; !'AND' or inverted 'OR' _imp_current_line = 558; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 558 "regression-compile-tmp/nminimo.imp" goto L_00eb; #line 558 "regression-compile-tmp/nminimo.imp" L_00ec:; #line 558 "regression-compile-tmp/nminimo.imp" if ((((((int)(J)) - (INV))) != ((-3)))) goto L_00ed; // 559 np1 = np; !Form pairwise intersection on nest _imp_current_line = 559; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 559 "regression-compile-tmp/nminimo.imp" NP1 = NP; // 560 %while sp # sp1 %cycle _imp_current_line = 560; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 560 "regression-compile-tmp/nminimo.imp" L_00ee:; #line 560 "regression-compile-tmp/nminimo.imp" if (((SP) == (SP1))) goto L_00ef; // 561 sp = sp-1 _imp_current_line = 561; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 561 "regression-compile-tmp/nminimo.imp" SP = (((int)(SP)) - (1)); // 562 p = sp1 _imp_current_line = 562; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 562 "regression-compile-tmp/nminimo.imp" P = SP1; // 563 %while p # hold(hp) %cycle _imp_current_line = 563; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 563 "regression-compile-tmp/nminimo.imp" L_00f1:; #line 563 "regression-compile-tmp/nminimo.imp" if (((P) == (HOLD[(((int)(HP)) - (1))]))) goto L_00f2; // 564 p = p-1 _imp_current_line = 564; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 564 "regression-compile-tmp/nminimo.imp" P = (((int)(P)) - (1)); // 565 v_t = w(sp)_t!w(p)_t; v_f = w(sp)_f!w(p)_f _imp_current_line = 565; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 565 "regression-compile-tmp/nminimo.imp" V.T = ((W[(((int)(SP)) - (1))].T) | (W[(((int)(P)) - (1))].T)); _imp_current_line = 565; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 565 "regression-compile-tmp/nminimo.imp" V.F = ((W[(((int)(SP)) - (1))].F) | (W[(((int)(P)) - (1))].F)); // 566 push(v) %if v_t&v_f = 0; !intersection ok _imp_current_line = 566; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 566 "regression-compile-tmp/nminimo.imp" if (((((V.T) & (V.F))) != (0))) goto L_00f4; #line 566 "regression-compile-tmp/nminimo.imp" PUSH(V); #line 566 "regression-compile-tmp/nminimo.imp" L_00f4:; // 567 %repeat _imp_current_line = 567; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 567 "regression-compile-tmp/nminimo.imp" goto L_00f1; #line 567 "regression-compile-tmp/nminimo.imp" L_00f2:; // 568 %repeat _imp_current_line = 568; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 568 "regression-compile-tmp/nminimo.imp" goto L_00ee; #line 568 "regression-compile-tmp/nminimo.imp" L_00ef:; // 569 sp1 = hold(hp); hp = hp-1 _imp_current_line = 569; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 569 "regression-compile-tmp/nminimo.imp" SP1 = HOLD[(((int)(HP)) - (1))]; _imp_current_line = 569; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 569 "regression-compile-tmp/nminimo.imp" HP = (((int)(HP)) - (1)); // 570 sp = sp1; !start with stack empty _imp_current_line = 570; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 570 "regression-compile-tmp/nminimo.imp" SP = SP1; // 571 merge _imp_current_line = 571; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 571 "regression-compile-tmp/nminimo.imp" MERGE(); // 572 %finish %else %start; !'OR' or inverted 'AND' _imp_current_line = 572; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 572 "regression-compile-tmp/nminimo.imp" goto L_00eb; #line 572 "regression-compile-tmp/nminimo.imp" L_00ed:; // 573 copydown; !one operand to nest _imp_current_line = 573; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 573 "regression-compile-tmp/nminimo.imp" COPYDOWN(); // 574 sp1 = hold(hp); hp = hp-1 _imp_current_line = 574; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 574 "regression-compile-tmp/nminimo.imp" SP1 = HOLD[(((int)(HP)) - (1))]; _imp_current_line = 574; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 574 "regression-compile-tmp/nminimo.imp" HP = (((int)(HP)) - (1)); // 575 merge _imp_current_line = 575; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 575 "regression-compile-tmp/nminimo.imp" MERGE(); // 576 %finish _imp_current_line = 576; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 576 "regression-compile-tmp/nminimo.imp" L_00eb:; // 577 %repeat _imp_current_line = 577; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 577 "regression-compile-tmp/nminimo.imp" goto L_00e3; // 578 %end _imp_current_line = 578; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 578 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block CONVERT at level 3 // 579 // 580 sp = 1; np = storebound; minsep = np-sp _imp_current_line = 580; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 580 "regression-compile-tmp/nminimo.imp" SP = 1; _imp_current_line = 580; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 580 "regression-compile-tmp/nminimo.imp" NP = 2000; _imp_current_line = 580; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 580 "regression-compile-tmp/nminimo.imp" MINSEP = (((int)(NP)) - (SP)); // 581 v_flags = 0 _imp_current_line = 581; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 581 "regression-compile-tmp/nminimo.imp" V.FLAGS = 0; // 582 outbit = 1 _imp_current_line = 582; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 582 "regression-compile-tmp/nminimo.imp" OUTBIT = 1; // 583 %for i = outmin,1,namemax %cycle _imp_current_line = 583; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 583 "regression-compile-tmp/nminimo.imp" {static int _initial, _increment, _final, _control; _initial = OUTMIN; _increment = 1; _final = NAMEMAX; I = _control = _initial; if (((_final-_initial) % _increment) != 0) _imp_signal(5,1,0,"Illegal cycle I = OUTMIN, 1, NAMEMAX"); I -= _increment; _control -= _increment; L_00f5:; if (I == _final) goto L_00f6; I += _increment; _control += _increment; if (I != _control) _imp_signal(4,2,0,"Corrupt control variable I"); /* FOR loop control variable corrupted */ } // 584 %if ignorout&outbit = 0 %start _imp_current_line = 584; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 584 "regression-compile-tmp/nminimo.imp" if (((((IGNOROUT) & (OUTBIT))) != (0))) goto L_00f8; // 585 k = def(exp(i)+1); !2nd element of def _imp_current_line = 585; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 585 "regression-compile-tmp/nminimo.imp" K = DEF[(((int)((((int)(EXP[(((int)(I)) - (1))])) + (1)))) - (1))]; // 586 %if k # 0 %start; !"Don't cares" present _imp_current_line = 586; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 586 "regression-compile-tmp/nminimo.imp" if (((K) == (0))) goto L_00f9; // 587 sp1 = 1; hp = 0; inv = 0 _imp_current_line = 587; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 587 "regression-compile-tmp/nminimo.imp" SP1 = 1; _imp_current_line = 587; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 587 "regression-compile-tmp/nminimo.imp" HP = 0; _imp_current_line = 587; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 587 "regression-compile-tmp/nminimo.imp" INV = 0; // 588 v_outs = outbit _imp_current_line = 588; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 588 "regression-compile-tmp/nminimo.imp" V.OUTS = OUTBIT; // 589 convert(k) _imp_current_line = 589; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 589 "regression-compile-tmp/nminimo.imp" CONVERT(K); // 590 copydown _imp_current_line = 590; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 590 "regression-compile-tmp/nminimo.imp" COPYDOWN(); // 591 sp1 = 1 _imp_current_line = 591; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 591 "regression-compile-tmp/nminimo.imp" SP1 = 1; // 592 merge _imp_current_line = 592; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 592 "regression-compile-tmp/nminimo.imp" MERGE(); // 593 %finish _imp_current_line = 593; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 593 "regression-compile-tmp/nminimo.imp" L_00f9:; // 594 %finish _imp_current_line = 594; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 594 "regression-compile-tmp/nminimo.imp" L_00f8:; // 595 outbit = outbit<<1 _imp_current_line = 595; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 595 "regression-compile-tmp/nminimo.imp" OUTBIT = ((OUTBIT) << (1)); // 596 %repeat _imp_current_line = 596; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 596 "regression-compile-tmp/nminimo.imp" goto L_00f5; #line 596 "regression-compile-tmp/nminimo.imp" L_00f6:; // 597 dclim = sp _imp_current_line = 597; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 597 "regression-compile-tmp/nminimo.imp" DCLIM = SP; // 598 outbit = 1 _imp_current_line = 598; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 598 "regression-compile-tmp/nminimo.imp" OUTBIT = 1; // 599 %for i = outmin,1,namemax %cycle _imp_current_line = 599; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 599 "regression-compile-tmp/nminimo.imp" {static int _initial, _increment, _final, _control; _initial = OUTMIN; _increment = 1; _final = NAMEMAX; I = _control = _initial; if (((_final-_initial) % _increment) != 0) _imp_signal(5,1,0,"Illegal cycle I = OUTMIN, 1, NAMEMAX"); I -= _increment; _control -= _increment; L_00fa:; if (I == _final) goto L_00fb; I += _increment; _control += _increment; if (I != _control) _imp_signal(4,2,0,"Corrupt control variable I"); /* FOR loop control variable corrupted */ } // 600 %if ignorout&outbit = 0 %start _imp_current_line = 600; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 600 "regression-compile-tmp/nminimo.imp" if (((((IGNOROUT) & (OUTBIT))) != (0))) goto L_00fd; // 601 sp1 = 1; hp = 0; inv = negout>>(i-outmin)&1 _imp_current_line = 601; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 601 "regression-compile-tmp/nminimo.imp" SP1 = 1; _imp_current_line = 601; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 601 "regression-compile-tmp/nminimo.imp" HP = 0; _imp_current_line = 601; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 601 "regression-compile-tmp/nminimo.imp" INV = (((int)((((unsigned int)(NEGOUT)) >> ((((int)(I)) - (OUTMIN)))))) & (1)); // 602 v_outs = outbit _imp_current_line = 602; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 602 "regression-compile-tmp/nminimo.imp" V.OUTS = OUTBIT; // 603 convert(i) _imp_current_line = 603; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 603 "regression-compile-tmp/nminimo.imp" CONVERT(I); // 604 copydown _imp_current_line = 604; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 604 "regression-compile-tmp/nminimo.imp" COPYDOWN(); // 605 sp1 = dclim _imp_current_line = 605; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 605 "regression-compile-tmp/nminimo.imp" SP1 = DCLIM; // 606 %if single # 0 %then merge %else %start _imp_current_line = 606; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 606 "regression-compile-tmp/nminimo.imp" if (((SINGLE) == (0))) goto L_00fe; #line 606 "regression-compile-tmp/nminimo.imp" MERGE(); #line 606 "regression-compile-tmp/nminimo.imp" goto L_00ff; #line 606 "regression-compile-tmp/nminimo.imp" L_00fe:; // 607 oldsp = sp _imp_current_line = 607; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 607 "regression-compile-tmp/nminimo.imp" OLDSP = SP; // 608 %while np # np1 %cycle; !each element against rest _imp_current_line = 608; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 608 "regression-compile-tmp/nminimo.imp" L_0100:; #line 608 "regression-compile-tmp/nminimo.imp" if (((NP) == (NP1))) goto L_0101; // 609 q = sp1-1; ! and null (ie straight) _imp_current_line = 609; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 609 "regression-compile-tmp/nminimo.imp" Q = (((int)(SP1)) - (1)); // 610 v = 0 _imp_current_line = 610; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 610 "regression-compile-tmp/nminimo.imp" V = (CELL){ 0 } /* Assign 0's to all fields of record */; // 611 %cycle _imp_current_line = 611; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 611 "regression-compile-tmp/nminimo.imp" L_0103:; // 612 v_t = v_t!w(np)_t; v_f = v_f!w(np)_f _imp_current_line = 612; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 612 "regression-compile-tmp/nminimo.imp" V.T = ((V.T) | (W[(((int)(NP)) - (1))].T)); _imp_current_line = 612; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 612 "regression-compile-tmp/nminimo.imp" V.F = ((V.F) | (W[(((int)(NP)) - (1))].F)); // 613 %if v_t&v_f = 0 %start _imp_current_line = 613; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 613 "regression-compile-tmp/nminimo.imp" if (((((V.T) & (V.F))) != (0))) goto L_0106; // 614 v_outs = v_outs!outbit _imp_current_line = 614; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 614 "regression-compile-tmp/nminimo.imp" V.OUTS = ((V.OUTS) | (OUTBIT)); // 615 p = sp _imp_current_line = 615; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 615 "regression-compile-tmp/nminimo.imp" P = SP; // 616 %while p # sp1 %cycle _imp_current_line = 616; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 616 "regression-compile-tmp/nminimo.imp" L_0107:; #line 616 "regression-compile-tmp/nminimo.imp" if (((P) == (SP1))) goto L_0108; // 617 p = p-1 _imp_current_line = 617; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 617 "regression-compile-tmp/nminimo.imp" P = (((int)(P)) - (1)); // 618 v_outs = v_outs!w(p)_outs %if w(p)_t = v_t %and w(p)_f = v_f _imp_current_line = 618; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 618 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(P)) - (1))].T) != (V.T))) goto L_010a; #line 618 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(P)) - (1))].F) != (V.F))) goto L_010a; #line 618 "regression-compile-tmp/nminimo.imp" V.OUTS = ((V.OUTS) | (W[(((int)(P)) - (1))].OUTS)); #line 618 "regression-compile-tmp/nminimo.imp" L_010a:; // 619 j = w(p)_t!v_t; k = w(p)_f!v_f _imp_current_line = 619; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 619 "regression-compile-tmp/nminimo.imp" J = ((W[(((int)(P)) - (1))].T) | (V.T)); _imp_current_line = 619; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 619 "regression-compile-tmp/nminimo.imp" K = ((W[(((int)(P)) - (1))].F) | (V.F)); // 620 %exit %if j = v_t %and k = v_f %and w(p)_outs&v_outs = v_outs; !V -> @P _imp_current_line = 620; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 620 "regression-compile-tmp/nminimo.imp" if (((J) != (V.T))) goto L_010b; #line 620 "regression-compile-tmp/nminimo.imp" if (((K) != (V.F))) goto L_010b; #line 620 "regression-compile-tmp/nminimo.imp" if (((((W[(((int)(P)) - (1))].OUTS) & (V.OUTS))) != (V.OUTS))) goto L_010b; #line 620 "regression-compile-tmp/nminimo.imp" goto L_0108; #line 620 "regression-compile-tmp/nminimo.imp" L_010b:; // 621 %if j = w(p)_t %and k = w(p)_f %and w(p)_outs&v_outs = w(p)_outs %start _imp_current_line = 621; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 621 "regression-compile-tmp/nminimo.imp" if (((J) != (W[(((int)(P)) - (1))].T))) goto L_010c; #line 621 "regression-compile-tmp/nminimo.imp" if (((K) != (W[(((int)(P)) - (1))].F))) goto L_010c; #line 621 "regression-compile-tmp/nminimo.imp" if (((((W[(((int)(P)) - (1))].OUTS) & (V.OUTS))) != (W[(((int)(P)) - (1))].OUTS))) goto L_010c; // 622 oldsp = oldsp-1 %if p < oldsp _imp_current_line = 622; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 622 "regression-compile-tmp/nminimo.imp" if (((P) >= (OLDSP))) goto L_010d; #line 622 "regression-compile-tmp/nminimo.imp" OLDSP = (((int)(OLDSP)) - (1)); #line 622 "regression-compile-tmp/nminimo.imp" L_010d:; // 623 q = q-1 %if p <= q _imp_current_line = 623; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 623 "regression-compile-tmp/nminimo.imp" if (((P) > (Q))) goto L_010e; #line 623 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) - (1)); #line 623 "regression-compile-tmp/nminimo.imp" L_010e:; // 624 erase(p) _imp_current_line = 624; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 624 "regression-compile-tmp/nminimo.imp" ERASE(P); // 625 %finish _imp_current_line = 625; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 625 "regression-compile-tmp/nminimo.imp" L_010c:; // 626 %repeat _imp_current_line = 626; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 626 "regression-compile-tmp/nminimo.imp" goto L_0107; #line 626 "regression-compile-tmp/nminimo.imp" L_0108:; // 627 stack(v) %if p = sp1 _imp_current_line = 627; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 627 "regression-compile-tmp/nminimo.imp" if (((P) != (SP1))) goto L_010f; #line 627 "regression-compile-tmp/nminimo.imp" STACK(V); #line 627 "regression-compile-tmp/nminimo.imp" L_010f:; // 628 %finish _imp_current_line = 628; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 628 "regression-compile-tmp/nminimo.imp" L_0106:; // 629 q = q+1 _imp_current_line = 629; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 629 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); // 630 %exit %if q = oldsp _imp_current_line = 630; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 630 "regression-compile-tmp/nminimo.imp" if (((Q) != (OLDSP))) goto L_0110; #line 630 "regression-compile-tmp/nminimo.imp" goto L_0104; #line 630 "regression-compile-tmp/nminimo.imp" L_0110:; // 631 v = w(q) _imp_current_line = 631; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 631 "regression-compile-tmp/nminimo.imp" V = W[(((int)(Q)) - (1))]; // 632 %repeat _imp_current_line = 632; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 632 "regression-compile-tmp/nminimo.imp" goto L_0103; #line 632 "regression-compile-tmp/nminimo.imp" L_0104:; // 633 np = np+1 _imp_current_line = 633; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 633 "regression-compile-tmp/nminimo.imp" NP = (((int)(NP)) + (1)); // 634 %repeat _imp_current_line = 634; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 634 "regression-compile-tmp/nminimo.imp" goto L_0100; #line 634 "regression-compile-tmp/nminimo.imp" L_0101:; // 635 %finish _imp_current_line = 635; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 635 "regression-compile-tmp/nminimo.imp" L_00ff:; // 636 %finish _imp_current_line = 636; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 636 "regression-compile-tmp/nminimo.imp" L_00fd:; // 637 outbit = outbit<<1 _imp_current_line = 637; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 637 "regression-compile-tmp/nminimo.imp" OUTBIT = ((OUTBIT) << (1)); // 638 %repeat _imp_current_line = 638; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 638 "regression-compile-tmp/nminimo.imp" goto L_00fa; #line 638 "regression-compile-tmp/nminimo.imp" L_00fb:; // 639 %end; !convert _imp_current_line = 639; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 639 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block CONVERT at level 2 // 640 // 641 %integerfn needed(%integer q,testlim) _imp_current_line = 641; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 641 "regression-compile-tmp/nminimo.imp" int NEEDED( int Q, int TESTLIM ) #line 641 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 642 %integer p _imp_current_line = 642; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 642 "regression-compile-tmp/nminimo.imp" int P; // 643 %ownrecord(cell) v,n=0 _imp_current_line = 643; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 643 "regression-compile-tmp/nminimo.imp" static CELL V; #line 643 "regression-compile-tmp/nminimo.imp" static CELL N = { 0 } /* Initialise all fields of a record to 0. */; // 644 sp1 = sp; np1 = np _imp_current_line = 644; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 644 "regression-compile-tmp/nminimo.imp" SP1 = SP; _imp_current_line = 644; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 644 "regression-compile-tmp/nminimo.imp" NP1 = NP; // 645 v = w(q) _imp_current_line = 645; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 645 "regression-compile-tmp/nminimo.imp" V = W[(((int)(Q)) - (1))]; // 646 w(sp1)_t = v_t; w(sp1)_f = v_f _imp_current_line = 646; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 646 "regression-compile-tmp/nminimo.imp" W[(((int)(SP1)) - (1))].T = V.T; _imp_current_line = 646; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 646 "regression-compile-tmp/nminimo.imp" W[(((int)(SP1)) - (1))].F = V.F; // 647 w(sp1)_outs = 0 _imp_current_line = 647; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 647 "regression-compile-tmp/nminimo.imp" W[(((int)(SP1)) - (1))].OUTS = 0; // 648 sp = sp+1 _imp_current_line = 648; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 648 "regression-compile-tmp/nminimo.imp" SP = (((int)(SP)) + (1)); // 649 p = 1 _imp_current_line = 649; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 649 "regression-compile-tmp/nminimo.imp" P = 1; // 650 %while p # testlim %cycle _imp_current_line = 650; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 650 "regression-compile-tmp/nminimo.imp" L_0111:; #line 650 "regression-compile-tmp/nminimo.imp" if (((P) == (TESTLIM))) goto L_0112; // 651 %if w(p)_flags >= 0 %start _imp_current_line = 651; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 651 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(P)) - (1))].FLAGS) < (0))) goto L_0114; // 652 n_outs = w(p)_outs&v_outs _imp_current_line = 652; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 652 "regression-compile-tmp/nminimo.imp" N.OUTS = ((W[(((int)(P)) - (1))].OUTS) & (V.OUTS)); // 653 %if n_outs # 0 %and p # q %start _imp_current_line = 653; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 653 "regression-compile-tmp/nminimo.imp" if (((N.OUTS) == (0))) goto L_0115; #line 653 "regression-compile-tmp/nminimo.imp" if (((P) == (Q))) goto L_0115; // 654 n_t = w(p)_t!v_t; n_f = w(p)_f!v_f _imp_current_line = 654; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 654 "regression-compile-tmp/nminimo.imp" N.T = ((W[(((int)(P)) - (1))].T) | (V.T)); _imp_current_line = 654; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 654 "regression-compile-tmp/nminimo.imp" N.F = ((W[(((int)(P)) - (1))].F) | (V.F)); // 655 %if n_t&n_f = 0 %start _imp_current_line = 655; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 655 "regression-compile-tmp/nminimo.imp" if (((((N.T) & (N.F))) != (0))) goto L_0116; // 656 np = np-1; w(np) = n _imp_current_line = 656; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 656 "regression-compile-tmp/nminimo.imp" NP = (((int)(NP)) - (1)); _imp_current_line = 656; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 656 "regression-compile-tmp/nminimo.imp" W[(((int)(NP)) - (1))] = N; // 657 merge _imp_current_line = 657; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 657 "regression-compile-tmp/nminimo.imp" MERGE(); // 658 %exit %if w(sp1)_outs = v_outs _imp_current_line = 658; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 658 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(SP1)) - (1))].OUTS) != (V.OUTS))) goto L_0117; #line 658 "regression-compile-tmp/nminimo.imp" goto L_0112; #line 658 "regression-compile-tmp/nminimo.imp" L_0117:; // 659 %finish _imp_current_line = 659; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 659 "regression-compile-tmp/nminimo.imp" L_0116:; // 660 %finish _imp_current_line = 660; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 660 "regression-compile-tmp/nminimo.imp" L_0115:; // 661 %finish _imp_current_line = 661; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 661 "regression-compile-tmp/nminimo.imp" L_0114:; // 662 p = p+1 _imp_current_line = 662; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 662 "regression-compile-tmp/nminimo.imp" P = (((int)(P)) + (1)); // 663 %repeat _imp_current_line = 663; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 663 "regression-compile-tmp/nminimo.imp" goto L_0111; #line 663 "regression-compile-tmp/nminimo.imp" L_0112:; // 664 needsp = sp _imp_current_line = 664; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 664 "regression-compile-tmp/nminimo.imp" NEEDSP = SP; // 665 sp = sp1 _imp_current_line = 665; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 665 "regression-compile-tmp/nminimo.imp" SP = SP1; // 666 %result = p _imp_current_line = 666; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 666 "regression-compile-tmp/nminimo.imp" return P; // 667 %end _imp_current_line = 667; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 667 "regression-compile-tmp/nminimo.imp" _imp_endofblock: ; } // End of block NEEDED at level 2 // 668 // 669 %routine print all _imp_current_line = 669; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 669 "regression-compile-tmp/nminimo.imp" void PRINTALL( void ) #line 669 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 670 %integer p,q _imp_current_line = 670; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 670 "regression-compile-tmp/nminimo.imp" int P; #line 670 "regression-compile-tmp/nminimo.imp" int Q; // 671 newlines(2) _imp_current_line = 671; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 671 "regression-compile-tmp/nminimo.imp" _imp_NEWLINES(2); // 672 q = dclim; q = esslim %if mon&2 # 0 _imp_current_line = 672; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 672 "regression-compile-tmp/nminimo.imp" Q = DCLIM; _imp_current_line = 672; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 672 "regression-compile-tmp/nminimo.imp" if (((((MON) & (2))) == (0))) goto L_0118; #line 672 "regression-compile-tmp/nminimo.imp" Q = ESSLIM; #line 672 "regression-compile-tmp/nminimo.imp" L_0118:; // 673 %while q # sp %cycle _imp_current_line = 673; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 673 "regression-compile-tmp/nminimo.imp" L_0119:; #line 673 "regression-compile-tmp/nminimo.imp" if (((Q) == (SP))) goto L_011a; // 674 %if w(q)_flags >= 0 %start _imp_current_line = 674; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 674 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(Q)) - (1))].FLAGS) < (0))) goto L_011c; // 675 p = needed(q,sp) _imp_current_line = 675; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 675 "regression-compile-tmp/nminimo.imp" P = NEEDED(Q, SP); // 676 write(q,2) %if mon&4 # 0 _imp_current_line = 676; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 676 "regression-compile-tmp/nminimo.imp" if (((((MON) & (4))) == (0))) goto L_011d; #line 676 "regression-compile-tmp/nminimo.imp" _imp_WRITE(Q, 2); #line 676 "regression-compile-tmp/nminimo.imp" L_011d:; // 677 w(sp1)_outs = w(q)_outs-w(sp1)_outs _imp_current_line = 677; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 677 "regression-compile-tmp/nminimo.imp" W[(((int)(SP1)) - (1))].OUTS = (((int)(W[(((int)(Q)) - (1))].OUTS)) - (W[(((int)(SP1)) - (1))].OUTS)); // 678 print term(w(sp1),w(q)_outs) _imp_current_line = 678; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 678 "regression-compile-tmp/nminimo.imp" PRINTTERM(W[(((int)(SP1)) - (1))], W[(((int)(Q)) - (1))].OUTS); // 679 %finish _imp_current_line = 679; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 679 "regression-compile-tmp/nminimo.imp" L_011c:; // 680 q = q+1 _imp_current_line = 680; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 680 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); // 681 %repeat _imp_current_line = 681; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 681 "regression-compile-tmp/nminimo.imp" goto L_0119; #line 681 "regression-compile-tmp/nminimo.imp" L_011a:; // 682 newline _imp_current_line = 682; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 682 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 683 %end _imp_current_line = 683; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 683 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block PRINTALL at level 2 // 684 // 685 %routine pcount _imp_current_line = 685; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 685 "regression-compile-tmp/nminimo.imp" void PCOUNT( void ) #line 685 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 686 write(count>>12,1) _imp_current_line = 686; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 686 "regression-compile-tmp/nminimo.imp" _imp_WRITE((int)((((unsigned int)(COUNT)) >> (12))), 1); // 687 printsymbol('/') _imp_current_line = 687; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 687 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(47); // 688 out(count&4095) _imp_current_line = 688; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 688 "regression-compile-tmp/nminimo.imp" OUT(((COUNT) & (4095))); // 689 %end _imp_current_line = 689; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 689 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block PCOUNT at level 2 // 690 // 691 %routine promote(%integer q,past) _imp_current_line = 691; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 691 "regression-compile-tmp/nminimo.imp" void PROMOTE( int Q, int PAST ) #line 691 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 692 %record(cell) v _imp_current_line = 692; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 692 "regression-compile-tmp/nminimo.imp" CELL V; // 693 v = w(q) _imp_current_line = 693; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 693 "regression-compile-tmp/nminimo.imp" V = W[(((int)(Q)) - (1))]; // 694 %if past = 0 %start _imp_current_line = 694; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 694 "regression-compile-tmp/nminimo.imp" if (((PAST) != (0))) goto L_011e; // 695 count = count+bits(v_t!v_f)+4096 _imp_current_line = 695; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 695 "regression-compile-tmp/nminimo.imp" COUNT = (((int)((((int)(COUNT)) + (BITS(((V.T) | (V.F))))))) + (4096)); // 696 past = esslim _imp_current_line = 696; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 696 "regression-compile-tmp/nminimo.imp" PAST = ESSLIM; // 697 esslim = esslim+1 _imp_current_line = 697; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 697 "regression-compile-tmp/nminimo.imp" ESSLIM = (((int)(ESSLIM)) + (1)); // 698 %finish _imp_current_line = 698; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 698 "regression-compile-tmp/nminimo.imp" L_011e:; // 699 %while past # esslim %and past # dclim %cycle _imp_current_line = 699; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 699 "regression-compile-tmp/nminimo.imp" L_011f:; #line 699 "regression-compile-tmp/nminimo.imp" if (((PAST) == (ESSLIM))) goto L_0120; #line 699 "regression-compile-tmp/nminimo.imp" if (((PAST) == (DCLIM))) goto L_0120; // 700 %exit %if w(past-1)_flags <= v_flags _imp_current_line = 700; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 700 "regression-compile-tmp/nminimo.imp" if (((W[(((int)((((int)(PAST)) - (1)))) - (1))].FLAGS) > (V.FLAGS))) goto L_0122; #line 700 "regression-compile-tmp/nminimo.imp" goto L_0120; #line 700 "regression-compile-tmp/nminimo.imp" L_0122:; // 701 past = past-1 _imp_current_line = 701; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 701 "regression-compile-tmp/nminimo.imp" PAST = (((int)(PAST)) - (1)); // 702 %repeat _imp_current_line = 702; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 702 "regression-compile-tmp/nminimo.imp" goto L_011f; #line 702 "regression-compile-tmp/nminimo.imp" L_0120:; // 703 %while q # past %cycle _imp_current_line = 703; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 703 "regression-compile-tmp/nminimo.imp" L_0123:; #line 703 "regression-compile-tmp/nminimo.imp" if (((Q) == (PAST))) goto L_0124; // 704 q = q-1 _imp_current_line = 704; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 704 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) - (1)); // 705 w(q+1) = w(q) _imp_current_line = 705; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 705 "regression-compile-tmp/nminimo.imp" W[(((int)((((int)(Q)) + (1)))) - (1))] = W[(((int)(Q)) - (1))]; // 706 %repeat _imp_current_line = 706; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 706 "regression-compile-tmp/nminimo.imp" goto L_0123; #line 706 "regression-compile-tmp/nminimo.imp" L_0124:; // 707 w(q) = v _imp_current_line = 707; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 707 "regression-compile-tmp/nminimo.imp" W[(((int)(Q)) - (1))] = V; // 708 %end _imp_current_line = 708; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 708 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block PROMOTE at level 2 // 709 // 710 ! R e d u c e n u m b e r o f i m p l i c a n t s // 711 ! // 712 %routine reduce1 _imp_current_line = 712; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 712 "regression-compile-tmp/nminimo.imp" void REDUCE1( void ) #line 712 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 713 ! Find first essentials and redundants // 714 ! order by weight // 715 %integer p,q _imp_current_line = 715; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 715 "regression-compile-tmp/nminimo.imp" int P; #line 715 "regression-compile-tmp/nminimo.imp" int Q; // 716 q = dclim; esslim = q _imp_current_line = 716; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 716 "regression-compile-tmp/nminimo.imp" Q = DCLIM; _imp_current_line = 716; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 716 "regression-compile-tmp/nminimo.imp" ESSLIM = Q; // 717 %while q # sp %cycle _imp_current_line = 717; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 717 "regression-compile-tmp/nminimo.imp" L_0126:; #line 717 "regression-compile-tmp/nminimo.imp" if (((Q) == (SP))) goto L_0127; // 718 w(q)_flags = bits(w(q)_t!w(q)_f)<<5+31-bits(w(q)_outs) _imp_current_line = 718; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 718 "regression-compile-tmp/nminimo.imp" W[(((int)(Q)) - (1))].FLAGS = (((int)((((int)(((BITS(((W[(((int)(Q)) - (1))].T) | (W[(((int)(Q)) - (1))].F)))) << (5)))) + (31)))) - (BITS(W[(((int)(Q)) - (1))].OUTS))); // 719 p = needed(q,sp) _imp_current_line = 719; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 719 "regression-compile-tmp/nminimo.imp" P = NEEDED(Q, SP); // 720 %if p = sp %start; !essential _imp_current_line = 720; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 720 "regression-compile-tmp/nminimo.imp" if (((P) != (SP))) goto L_0129; // 721 promote(q,0) _imp_current_line = 721; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 721 "regression-compile-tmp/nminimo.imp" PROMOTE(Q, 0); // 722 %finish %else %if p >= esslim %start; !optional _imp_current_line = 722; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 722 "regression-compile-tmp/nminimo.imp" goto L_012a; #line 722 "regression-compile-tmp/nminimo.imp" L_0129:; #line 722 "regression-compile-tmp/nminimo.imp" if (((P) < (ESSLIM))) goto L_012b; // 723 promote(q,q) _imp_current_line = 723; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 723 "regression-compile-tmp/nminimo.imp" PROMOTE(Q, Q); // 724 %finish %else %start; !redundant _imp_current_line = 724; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 724 "regression-compile-tmp/nminimo.imp" goto L_012a; #line 724 "regression-compile-tmp/nminimo.imp" L_012b:; // 725 erase(q) _imp_current_line = 725; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 725 "regression-compile-tmp/nminimo.imp" ERASE(Q); // 726 q = q-1 _imp_current_line = 726; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 726 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) - (1)); // 727 %finish _imp_current_line = 727; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 727 "regression-compile-tmp/nminimo.imp" L_012a:; // 728 q = q+1 _imp_current_line = 728; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 728 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); // 729 %repeat _imp_current_line = 729; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 729 "regression-compile-tmp/nminimo.imp" goto L_0126; #line 729 "regression-compile-tmp/nminimo.imp" L_0127:; // 730 %end; !reduce1 _imp_current_line = 730; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 730 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block REDUCE1 at level 2 // 731 // 732 %routine reduce2 _imp_current_line = 732; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 732 "regression-compile-tmp/nminimo.imp" void REDUCE2( void ) #line 732 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 733 ! Find secondary essentials & redundants // 734 %integer p,q,bq,sphold,done _imp_current_line = 734; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 734 "regression-compile-tmp/nminimo.imp" int P; #line 734 "regression-compile-tmp/nminimo.imp" int Q; #line 734 "regression-compile-tmp/nminimo.imp" int BQ; #line 734 "regression-compile-tmp/nminimo.imp" int SPHOLD; #line 734 "regression-compile-tmp/nminimo.imp" int DONE; // 735 %record(cell) v _imp_current_line = 735; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 735 "regression-compile-tmp/nminimo.imp" CELL V; // 736 %cycle _imp_current_line = 736; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 736 "regression-compile-tmp/nminimo.imp" L_012c:; // 737 done = 1 _imp_current_line = 737; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 737 "regression-compile-tmp/nminimo.imp" DONE = 1; // 738 q = sp _imp_current_line = 738; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 738 "regression-compile-tmp/nminimo.imp" Q = SP; // 739 %while q # esslim %cycle _imp_current_line = 739; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 739 "regression-compile-tmp/nminimo.imp" L_012f:; #line 739 "regression-compile-tmp/nminimo.imp" if (((Q) == (ESSLIM))) goto L_0130; // 740 q = q-1 _imp_current_line = 740; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 740 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) - (1)); // 741 p = needed(q,esslim) _imp_current_line = 741; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 741 "regression-compile-tmp/nminimo.imp" P = NEEDED(Q, ESSLIM); // 742 %if p = esslim %start; !not (simply) redundant _imp_current_line = 742; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 742 "regression-compile-tmp/nminimo.imp" if (((P) != (ESSLIM))) goto L_0132; // 743 w(q)_outs = w(q)_outs-w(sp1)_outs _imp_current_line = 743; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 743 "regression-compile-tmp/nminimo.imp" W[(((int)(Q)) - (1))].OUTS = (((int)(W[(((int)(Q)) - (1))].OUTS)) - (W[(((int)(SP1)) - (1))].OUTS)); // 744 w(sp1)_outs = 0 _imp_current_line = 744; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 744 "regression-compile-tmp/nminimo.imp" W[(((int)(SP1)) - (1))].OUTS = 0; // 745 bq = w(q)_flags>>5 _imp_current_line = 745; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 745 "regression-compile-tmp/nminimo.imp" BQ = (int)((((unsigned int)(W[(((int)(Q)) - (1))].FLAGS)) >> (5))); // 746 sphold = sp _imp_current_line = 746; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 746 "regression-compile-tmp/nminimo.imp" SPHOLD = SP; // 747 %while p # sp %cycle _imp_current_line = 747; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 747 "regression-compile-tmp/nminimo.imp" L_0133:; #line 747 "regression-compile-tmp/nminimo.imp" if (((P) == (SP))) goto L_0134; // 748 %if w(p)_flags>>5-min < bq %and p # q %start _imp_current_line = 748; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 748 "regression-compile-tmp/nminimo.imp" if ((((((int)((int)((((unsigned int)(W[(((int)(P)) - (1))].FLAGS)) >> (5))))) - (MIN))) >= (BQ))) goto L_0136; #line 748 "regression-compile-tmp/nminimo.imp" if (((P) == (Q))) goto L_0136; // 749 v_outs = w(p)_outs&w(q)_outs _imp_current_line = 749; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 749 "regression-compile-tmp/nminimo.imp" V.OUTS = ((W[(((int)(P)) - (1))].OUTS) & (W[(((int)(Q)) - (1))].OUTS)); // 750 %if v_outs # 0 %start _imp_current_line = 750; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 750 "regression-compile-tmp/nminimo.imp" if (((V.OUTS) == (0))) goto L_0137; // 751 v_t = w(p)_t!w(q)_t; v_f = w(p)_f!w(q)_f _imp_current_line = 751; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 751 "regression-compile-tmp/nminimo.imp" V.T = ((W[(((int)(P)) - (1))].T) | (W[(((int)(Q)) - (1))].T)); _imp_current_line = 751; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 751 "regression-compile-tmp/nminimo.imp" V.F = ((W[(((int)(P)) - (1))].F) | (W[(((int)(Q)) - (1))].F)); // 752 %if v_t&v_f = 0 %start _imp_current_line = 752; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 752 "regression-compile-tmp/nminimo.imp" if (((((V.T) & (V.F))) != (0))) goto L_0138; // 753 sp1 = sp; sp = needsp _imp_current_line = 753; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 753 "regression-compile-tmp/nminimo.imp" SP1 = SP; _imp_current_line = 753; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 753 "regression-compile-tmp/nminimo.imp" SP = NEEDSP; // 754 %while sp1 # needsp %cycle _imp_current_line = 754; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 754 "regression-compile-tmp/nminimo.imp" L_0139:; #line 754 "regression-compile-tmp/nminimo.imp" if (((SP1) == (NEEDSP))) goto L_013a; // 755 w(sp) = w(sp1) _imp_current_line = 755; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 755 "regression-compile-tmp/nminimo.imp" W[(((int)(SP)) - (1))] = W[(((int)(SP1)) - (1))]; // 756 sp = sp+1; sp1 = sp1+1 _imp_current_line = 756; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 756 "regression-compile-tmp/nminimo.imp" SP = (((int)(SP)) + (1)); _imp_current_line = 756; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 756 "regression-compile-tmp/nminimo.imp" SP1 = (((int)(SP1)) + (1)); // 757 %repeat _imp_current_line = 757; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 757 "regression-compile-tmp/nminimo.imp" goto L_0139; #line 757 "regression-compile-tmp/nminimo.imp" L_013a:; // 758 push(v) _imp_current_line = 758; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 758 "regression-compile-tmp/nminimo.imp" PUSH(V); // 759 merge _imp_current_line = 759; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 759 "regression-compile-tmp/nminimo.imp" MERGE(); // 760 sp = sphold _imp_current_line = 760; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 760 "regression-compile-tmp/nminimo.imp" SP = SPHOLD; // 761 %exit %if w(sp1)_outs = w(q)_outs _imp_current_line = 761; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 761 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(SP1)) - (1))].OUTS) != (W[(((int)(Q)) - (1))].OUTS))) goto L_013c; #line 761 "regression-compile-tmp/nminimo.imp" goto L_0134; #line 761 "regression-compile-tmp/nminimo.imp" L_013c:; // 762 %finish _imp_current_line = 762; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 762 "regression-compile-tmp/nminimo.imp" L_0138:; // 763 %finish _imp_current_line = 763; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 763 "regression-compile-tmp/nminimo.imp" L_0137:; // 764 %finish _imp_current_line = 764; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 764 "regression-compile-tmp/nminimo.imp" L_0136:; // 765 p = p+1 _imp_current_line = 765; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 765 "regression-compile-tmp/nminimo.imp" P = (((int)(P)) + (1)); // 766 %repeat _imp_current_line = 766; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 766 "regression-compile-tmp/nminimo.imp" goto L_0133; #line 766 "regression-compile-tmp/nminimo.imp" L_0134:; // 767 %finish _imp_current_line = 767; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 767 "regression-compile-tmp/nminimo.imp" L_0132:; // 768 %if p # sp %start; !redundant _imp_current_line = 768; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 768 "regression-compile-tmp/nminimo.imp" if (((P) == (SP))) goto L_013d; // 769 erase(q) _imp_current_line = 769; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 769 "regression-compile-tmp/nminimo.imp" ERASE(Q); // 770 p = p-1 %if p > q _imp_current_line = 770; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 770 "regression-compile-tmp/nminimo.imp" if (((P) <= (Q))) goto L_013e; #line 770 "regression-compile-tmp/nminimo.imp" P = (((int)(P)) - (1)); #line 770 "regression-compile-tmp/nminimo.imp" L_013e:; // 771 %if p >= esslim %start; !P may now be essential _imp_current_line = 771; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 771 "regression-compile-tmp/nminimo.imp" if (((P) < (ESSLIM))) goto L_013f; // 772 %if needed(p,sp) = sp %start _imp_current_line = 772; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 772 "regression-compile-tmp/nminimo.imp" if (((NEEDED(P, SP)) != (SP))) goto L_0140; // 773 q = q+1 %if p >= q _imp_current_line = 773; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 773 "regression-compile-tmp/nminimo.imp" if (((P) < (Q))) goto L_0141; #line 773 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); #line 773 "regression-compile-tmp/nminimo.imp" L_0141:; // 774 promote(p,0) _imp_current_line = 774; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 774 "regression-compile-tmp/nminimo.imp" PROMOTE(P, 0); // 775 done = 0 _imp_current_line = 775; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 775 "regression-compile-tmp/nminimo.imp" DONE = 0; // 776 %finish _imp_current_line = 776; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 776 "regression-compile-tmp/nminimo.imp" L_0140:; // 777 %finish _imp_current_line = 777; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 777 "regression-compile-tmp/nminimo.imp" L_013f:; // 778 %finish _imp_current_line = 778; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 778 "regression-compile-tmp/nminimo.imp" L_013d:; // 779 %repeat _imp_current_line = 779; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 779 "regression-compile-tmp/nminimo.imp" goto L_012f; #line 779 "regression-compile-tmp/nminimo.imp" L_0130:; // 780 %repeat %until done # 0 _imp_current_line = 780; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 780 "regression-compile-tmp/nminimo.imp" if (((DONE) != (0))) goto L_012d; #line 780 "regression-compile-tmp/nminimo.imp" goto L_012c; #line 780 "regression-compile-tmp/nminimo.imp" L_012d:; // 781 %end; !reduce2 _imp_current_line = 781; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 781 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block REDUCE2 at level 2 // 782 // 783 %routine order _imp_current_line = 783; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 783 "regression-compile-tmp/nminimo.imp" void ORDER( void ) #line 783 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 784 %integer j,k,p,q,r,poss,last _imp_current_line = 784; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 784 "regression-compile-tmp/nminimo.imp" int J; #line 784 "regression-compile-tmp/nminimo.imp" int K; #line 784 "regression-compile-tmp/nminimo.imp" int P; #line 784 "regression-compile-tmp/nminimo.imp" int Q; #line 784 "regression-compile-tmp/nminimo.imp" int R; #line 784 "regression-compile-tmp/nminimo.imp" int POSS; #line 784 "regression-compile-tmp/nminimo.imp" int LAST; // 785 %integerarray link(1:sp) _imp_current_line = 785; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 785 "regression-compile-tmp/nminimo.imp" int LINK[(((unsigned char)((((int)(SP)) - (1)))) + (1))]; // 786 %record(cell) v _imp_current_line = 786; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 786 "regression-compile-tmp/nminimo.imp" CELL V; // 787 q = sp; poss = 0; last = sp _imp_current_line = 787; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 787 "regression-compile-tmp/nminimo.imp" Q = SP; _imp_current_line = 787; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 787 "regression-compile-tmp/nminimo.imp" POSS = 0; _imp_current_line = 787; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 787 "regression-compile-tmp/nminimo.imp" LAST = SP; // 788 %while q # esslim %cycle _imp_current_line = 788; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 788 "regression-compile-tmp/nminimo.imp" L_0142:; #line 788 "regression-compile-tmp/nminimo.imp" if (((Q) == (ESSLIM))) goto L_0143; // 789 q = q-1 _imp_current_line = 789; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 789 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) - (1)); // 790 p = needed(q,sp) _imp_current_line = 790; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 790 "regression-compile-tmp/nminimo.imp" P = NEEDED(Q, SP); // 791 link(q) = p _imp_current_line = 791; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 791 "regression-compile-tmp/nminimo.imp" LINK[(((int)(Q)) - (1))] = P; // 792 %if p > q %and link(p) > p %start _imp_current_line = 792; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 792 "regression-compile-tmp/nminimo.imp" if (((P) <= (Q))) goto L_0145; #line 792 "regression-compile-tmp/nminimo.imp" if (((LINK[(((int)(P)) - (1))]) <= (P))) goto L_0145; // 793 poss = poss+1 _imp_current_line = 793; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 793 "regression-compile-tmp/nminimo.imp" POSS = (((int)(POSS)) + (1)); // 794 poss = poss+99 %if q # last _imp_current_line = 794; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 794 "regression-compile-tmp/nminimo.imp" if (((Q) == (LAST))) goto L_0146; #line 794 "regression-compile-tmp/nminimo.imp" POSS = (((int)(POSS)) + (99)); #line 794 "regression-compile-tmp/nminimo.imp" L_0146:; // 795 v = w(p); !promote P before Q _imp_current_line = 795; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 795 "regression-compile-tmp/nminimo.imp" V = W[(((int)(P)) - (1))]; // 796 r = sp _imp_current_line = 796; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 796 "regression-compile-tmp/nminimo.imp" R = SP; // 797 %cycle _imp_current_line = 797; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 797 "regression-compile-tmp/nminimo.imp" L_0147:; // 798 r = r-1 _imp_current_line = 798; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 798 "regression-compile-tmp/nminimo.imp" R = (((int)(R)) - (1)); // 799 j = link(r) _imp_current_line = 799; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 799 "regression-compile-tmp/nminimo.imp" J = LINK[(((int)(R)) - (1))]; // 800 %if j = p %then j = q %else %if q <= j < p %then j = j+1 _imp_current_line = 800; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 800 "regression-compile-tmp/nminimo.imp" if (((J) != (P))) goto L_014a; #line 800 "regression-compile-tmp/nminimo.imp" J = Q; #line 800 "regression-compile-tmp/nminimo.imp" goto L_014b; #line 800 "regression-compile-tmp/nminimo.imp" L_014a:; #line 800 "regression-compile-tmp/nminimo.imp" if ((((Q) > (J))) || (((J) >= (P)))) goto L_014c; #line 800 "regression-compile-tmp/nminimo.imp" J = (((int)(J)) + (1)); #line 800 "regression-compile-tmp/nminimo.imp" L_014c:; #line 800 "regression-compile-tmp/nminimo.imp" L_014b:; // 801 %if r >= p %then %start _imp_current_line = 801; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 801 "regression-compile-tmp/nminimo.imp" if (((R) < (P))) goto L_014d; // 802 link(r) = j _imp_current_line = 802; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 802 "regression-compile-tmp/nminimo.imp" LINK[(((int)(R)) - (1))] = J; // 803 %finish %else %start _imp_current_line = 803; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 803 "regression-compile-tmp/nminimo.imp" goto L_014e; #line 803 "regression-compile-tmp/nminimo.imp" L_014d:; // 804 link(r+1) = j _imp_current_line = 804; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 804 "regression-compile-tmp/nminimo.imp" LINK[(((int)((((int)(R)) + (1)))) - (1))] = J; // 805 w(r+1) = w(r) _imp_current_line = 805; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 805 "regression-compile-tmp/nminimo.imp" W[(((int)((((int)(R)) + (1)))) - (1))] = W[(((int)(R)) - (1))]; // 806 %finish _imp_current_line = 806; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 806 "regression-compile-tmp/nminimo.imp" L_014e:; // 807 %repeat %until r = q _imp_current_line = 807; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 807 "regression-compile-tmp/nminimo.imp" if (((R) == (Q))) goto L_0148; #line 807 "regression-compile-tmp/nminimo.imp" goto L_0147; #line 807 "regression-compile-tmp/nminimo.imp" L_0148:; // 808 w(r) = v _imp_current_line = 808; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 808 "regression-compile-tmp/nminimo.imp" W[(((int)(R)) - (1))] = V; // 809 q = q+2; last = q-1; !try Q again _imp_current_line = 809; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 809 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (2)); _imp_current_line = 809; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 809 "regression-compile-tmp/nminimo.imp" LAST = (((int)(Q)) - (1)); // 810 %finish _imp_current_line = 810; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 810 "regression-compile-tmp/nminimo.imp" L_0145:; // 811 %repeat _imp_current_line = 811; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 811 "regression-compile-tmp/nminimo.imp" goto L_0142; #line 811 "regression-compile-tmp/nminimo.imp" L_0143:; // 812 write(poss,1) _imp_current_line = 812; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 812 "regression-compile-tmp/nminimo.imp" _imp_WRITE(POSS, 1); // 813 !First pass // 814 %cycle _imp_current_line = 814; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 814 "regression-compile-tmp/nminimo.imp" L_014f:; // 815 v = w(q) _imp_current_line = 815; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 815 "regression-compile-tmp/nminimo.imp" V = W[(((int)(Q)) - (1))]; // 816 v_flags = v_flags>>5 _imp_current_line = 816; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 816 "regression-compile-tmp/nminimo.imp" V.FLAGS = (int)((((unsigned int)(V.FLAGS)) >> (5))); // 817 p = needed(q,sp) _imp_current_line = 817; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 817 "regression-compile-tmp/nminimo.imp" P = NEEDED(Q, SP); // 818 %if p > q %start _imp_current_line = 818; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 818 "regression-compile-tmp/nminimo.imp" if (((P) <= (Q))) goto L_0152; // 819 count = count+v_flags+4096 _imp_current_line = 819; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 819 "regression-compile-tmp/nminimo.imp" COUNT = (((int)((((int)(COUNT)) + (V.FLAGS)))) + (4096)); // 820 w(q)_flags = v_flags+count<<5 _imp_current_line = 820; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 820 "regression-compile-tmp/nminimo.imp" W[(((int)(Q)) - (1))].FLAGS = ((V.FLAGS) + ((int)(((COUNT) << (5))))); // 821 %finish %else %start _imp_current_line = 821; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 821 "regression-compile-tmp/nminimo.imp" goto L_0153; #line 821 "regression-compile-tmp/nminimo.imp" L_0152:; // 822 %cycle _imp_current_line = 822; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 822 "regression-compile-tmp/nminimo.imp" L_0154:; // 823 p = p+1 _imp_current_line = 823; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 823 "regression-compile-tmp/nminimo.imp" P = (((int)(P)) + (1)); // 824 %repeat %until w(p)_flags >= 0 _imp_current_line = 824; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 824 "regression-compile-tmp/nminimo.imp" if (((W[(((int)(P)) - (1))].FLAGS) >= (0))) goto L_0155; #line 824 "regression-compile-tmp/nminimo.imp" goto L_0154; #line 824 "regression-compile-tmp/nminimo.imp" L_0155:; // 825 r = q _imp_current_line = 825; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 825 "regression-compile-tmp/nminimo.imp" R = Q; // 826 %while r # p %cycle _imp_current_line = 826; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 826 "regression-compile-tmp/nminimo.imp" L_0157:; #line 826 "regression-compile-tmp/nminimo.imp" if (((R) == (P))) goto L_0158; // 827 r = r-1 _imp_current_line = 827; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 827 "regression-compile-tmp/nminimo.imp" R = (((int)(R)) - (1)); // 828 w(r+1) = w(r) _imp_current_line = 828; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 828 "regression-compile-tmp/nminimo.imp" W[(((int)((((int)(R)) + (1)))) - (1))] = W[(((int)(R)) - (1))]; // 829 %repeat _imp_current_line = 829; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 829 "regression-compile-tmp/nminimo.imp" goto L_0157; #line 829 "regression-compile-tmp/nminimo.imp" L_0158:; // 830 v_flags = w(r-1)_flags&16_0FFFFFE0+v_flags+sign _imp_current_line = 830; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 830 "regression-compile-tmp/nminimo.imp" V.FLAGS = (((int)((((int)(((W[(((int)((((int)(R)) - (1)))) - (1))].FLAGS) & (268435424)))) + (V.FLAGS)))) + ((-2147483648))); // 831 w(r) = v _imp_current_line = 831; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 831 "regression-compile-tmp/nminimo.imp" W[(((int)(R)) - (1))] = V; // 832 %finish _imp_current_line = 832; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 832 "regression-compile-tmp/nminimo.imp" L_0153:; // 833 q = q+1 _imp_current_line = 833; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 833 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); // 834 %repeat %until q = sp _imp_current_line = 834; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 834 "regression-compile-tmp/nminimo.imp" if (((Q) == (SP))) goto L_0150; #line 834 "regression-compile-tmp/nminimo.imp" goto L_014f; #line 834 "regression-compile-tmp/nminimo.imp" L_0150:; // 835 %end; !order _imp_current_line = 835; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 835 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block ORDER at level 2 // 836 // 837 ! F i n d m i n i m a l s e l e c t i o n // 838 ! // 839 %routine minimise _imp_current_line = 839; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 839 "regression-compile-tmp/nminimo.imp" void MINIMISE( void ) #line 839 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 840 ! Find minimal selection // 841 %integer k,p,q,m _imp_current_line = 841; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 841 "regression-compile-tmp/nminimo.imp" int K; #line 841 "regression-compile-tmp/nminimo.imp" int P; #line 841 "regression-compile-tmp/nminimo.imp" int Q; #line 841 "regression-compile-tmp/nminimo.imp" int M; // 842 q = sp _imp_current_line = 842; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 842 "regression-compile-tmp/nminimo.imp" Q = SP; // 843 %cycle _imp_current_line = 843; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 843 "regression-compile-tmp/nminimo.imp" L_015a:; // 844 %while q # sp %cycle _imp_current_line = 844; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 844 "regression-compile-tmp/nminimo.imp" L_015d:; #line 844 "regression-compile-tmp/nminimo.imp" if (((Q) == (SP))) goto L_015e; // 845 m = w(q)_flags _imp_current_line = 845; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 845 "regression-compile-tmp/nminimo.imp" M = W[(((int)(Q)) - (1))].FLAGS; // 846 p = needed(q,sp) _imp_current_line = 846; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 846 "regression-compile-tmp/nminimo.imp" P = NEEDED(Q, SP); // 847 %if p = sp %start; !mandatory _imp_current_line = 847; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 847 "regression-compile-tmp/nminimo.imp" if (((P) != (SP))) goto L_0160; // 848 m = m+forced _imp_current_line = 848; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 848 "regression-compile-tmp/nminimo.imp" M = (((int)(M)) + (1073741824)); // 849 %finish %else %start; !optional or redundant _imp_current_line = 849; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 849 "regression-compile-tmp/nminimo.imp" goto L_0161; #line 849 "regression-compile-tmp/nminimo.imp" L_0160:; // 850 m = m+(sign+forced) %if p < q; !redundant _imp_current_line = 850; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 850 "regression-compile-tmp/nminimo.imp" if (((P) >= (Q))) goto L_0162; #line 850 "regression-compile-tmp/nminimo.imp" M = (((int)(M)) + ((-1073741824))); #line 850 "regression-compile-tmp/nminimo.imp" L_0162:; // 851 %finish _imp_current_line = 851; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 851 "regression-compile-tmp/nminimo.imp" L_0161:; // 852 %if m >= 0 %start; !selected _imp_current_line = 852; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 852 "regression-compile-tmp/nminimo.imp" if (((M) < (0))) goto L_0163; // 853 k = m&31+count+4096 _imp_current_line = 853; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 853 "regression-compile-tmp/nminimo.imp" K = (((int)((((int)(((M) & (31)))) + (COUNT)))) + (4096)); // 854 %exit %if k+inc > aim _imp_current_line = 854; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 854 "regression-compile-tmp/nminimo.imp" if ((((((int)(K)) + (INC))) <= (AIM))) goto L_0164; #line 854 "regression-compile-tmp/nminimo.imp" goto L_015e; #line 854 "regression-compile-tmp/nminimo.imp" L_0164:; // 855 %exit %if k+inc > m>>5&16_7FFFFF _imp_current_line = 855; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 855 "regression-compile-tmp/nminimo.imp" if ((((((int)(K)) + (INC))) <= ((((int)((((unsigned int)(M)) >> (5)))) & (8388607))))) goto L_0165; #line 855 "regression-compile-tmp/nminimo.imp" goto L_015e; #line 855 "regression-compile-tmp/nminimo.imp" L_0165:; // 856 count = k _imp_current_line = 856; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 856 "regression-compile-tmp/nminimo.imp" COUNT = K; // 857 %finish _imp_current_line = 857; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 857 "regression-compile-tmp/nminimo.imp" L_0163:; // 858 w(q)_flags = m _imp_current_line = 858; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 858 "regression-compile-tmp/nminimo.imp" W[(((int)(Q)) - (1))].FLAGS = M; // 859 q = q+1 _imp_current_line = 859; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 859 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); // 860 %repeat _imp_current_line = 860; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 860 "regression-compile-tmp/nminimo.imp" goto L_015d; #line 860 "regression-compile-tmp/nminimo.imp" L_015e:; // 861 %if q = sp %start; !scan completed successfully _imp_current_line = 861; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 861 "regression-compile-tmp/nminimo.imp" if (((Q) != (SP))) goto L_0166; // 862 pcount _imp_current_line = 862; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 862 "regression-compile-tmp/nminimo.imp" PCOUNT(); // 863 printall %if inc = 0 %or mon&1 # 0 _imp_current_line = 863; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 863 "regression-compile-tmp/nminimo.imp" if (((INC) == (0))) goto L_0159; #line 863 "regression-compile-tmp/nminimo.imp" if (((((MON) & (1))) == (0))) goto L_0167; #line 863 "regression-compile-tmp/nminimo.imp" L_0159:; #line 863 "regression-compile-tmp/nminimo.imp" PRINTALL(); #line 863 "regression-compile-tmp/nminimo.imp" L_0167:; // 864 aim = count _imp_current_line = 864; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 864 "regression-compile-tmp/nminimo.imp" AIM = COUNT; // 865 q = esslim _imp_current_line = 865; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 865 "regression-compile-tmp/nminimo.imp" Q = ESSLIM; // 866 %while q # sp %cycle; !save marker bits _imp_current_line = 866; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 866 "regression-compile-tmp/nminimo.imp" L_0168:; #line 866 "regression-compile-tmp/nminimo.imp" if (((Q) == (SP))) goto L_0169; // 867 k = w(q)_flags&16_cfffffff _imp_current_line = 867; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 867 "regression-compile-tmp/nminimo.imp" K = ((W[(((int)(Q)) - (1))].FLAGS) & ((-805306369))); // 868 w(q)_flags = (k&16_c0000000)>>2+k _imp_current_line = 868; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 868 "regression-compile-tmp/nminimo.imp" W[(((int)(Q)) - (1))].FLAGS = (((int)(((((((K) & ((-1073741824))))) >> (2))))) + (K)); // 869 q = q+1 _imp_current_line = 869; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 869 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); // 870 %repeat _imp_current_line = 870; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 870 "regression-compile-tmp/nminimo.imp" goto L_0168; #line 870 "regression-compile-tmp/nminimo.imp" L_0169:; // 871 %finish _imp_current_line = 871; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 871 "regression-compile-tmp/nminimo.imp" L_0166:; // 872 %cycle; !scan backward to de-select _imp_current_line = 872; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 872 "regression-compile-tmp/nminimo.imp" L_016b:; // 873 %if q = esslim %start; !scan completed _imp_current_line = 873; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 873 "regression-compile-tmp/nminimo.imp" if (((Q) != (ESSLIM))) goto L_016e; // 874 %while q # sp %cycle; !restore marker bits _imp_current_line = 874; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 874 "regression-compile-tmp/nminimo.imp" L_016f:; #line 874 "regression-compile-tmp/nminimo.imp" if (((Q) == (SP))) goto L_0170; // 875 k = w(q)_flags&16_3fffffff _imp_current_line = 875; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 875 "regression-compile-tmp/nminimo.imp" K = ((W[(((int)(Q)) - (1))].FLAGS) & (1073741823)); // 876 w(q)_flags = (k&16_30000000)<<2+k _imp_current_line = 876; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 876 "regression-compile-tmp/nminimo.imp" W[(((int)(Q)) - (1))].FLAGS = (((int)(((((K) & (805306368))) << (2)))) + (K)); // 877 q = q+1 _imp_current_line = 877; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 877 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); // 878 %repeat _imp_current_line = 878; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 878 "regression-compile-tmp/nminimo.imp" goto L_016f; #line 878 "regression-compile-tmp/nminimo.imp" L_0170:; // 879 %return %if inc <= min; !all done _imp_current_line = 879; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 879 "regression-compile-tmp/nminimo.imp" if (((INC) > (MIN))) goto L_0172; #line 879 "regression-compile-tmp/nminimo.imp" return; #line 879 "regression-compile-tmp/nminimo.imp" L_0172:; // 880 count = aim; !restore count _imp_current_line = 880; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 880 "regression-compile-tmp/nminimo.imp" COUNT = AIM; // 881 inc = inc>>1 _imp_current_line = 881; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 881 "regression-compile-tmp/nminimo.imp" INC = (int)((((unsigned int)(INC)) >> (1))); // 882 print all %if inc = 0 _imp_current_line = 882; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 882 "regression-compile-tmp/nminimo.imp" if (((INC) != (0))) goto L_0173; #line 882 "regression-compile-tmp/nminimo.imp" PRINTALL(); #line 882 "regression-compile-tmp/nminimo.imp" L_0173:; // 883 %finish _imp_current_line = 883; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 883 "regression-compile-tmp/nminimo.imp" L_016e:; // 884 q = q-1 _imp_current_line = 884; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 884 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) - (1)); // 885 m = w(q)_flags _imp_current_line = 885; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 885 "regression-compile-tmp/nminimo.imp" M = W[(((int)(Q)) - (1))].FLAGS; // 886 w(q)_flags = m&16_3fffffff _imp_current_line = 886; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 886 "regression-compile-tmp/nminimo.imp" W[(((int)(Q)) - (1))].FLAGS = ((M) & (1073741823)); // 887 %if m >= 0 %start _imp_current_line = 887; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 887 "regression-compile-tmp/nminimo.imp" if (((M) < (0))) goto L_0174; // 888 k = m&31+4096 _imp_current_line = 888; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 888 "regression-compile-tmp/nminimo.imp" K = (((int)(((M) & (31)))) + (4096)); // 889 count = count-k _imp_current_line = 889; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 889 "regression-compile-tmp/nminimo.imp" COUNT = (((int)(COUNT)) - (K)); // 890 %exit %if m&forced = 0 _imp_current_line = 890; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 890 "regression-compile-tmp/nminimo.imp" if (((((M) & (1073741824))) != (0))) goto L_0175; #line 890 "regression-compile-tmp/nminimo.imp" goto L_016c; #line 890 "regression-compile-tmp/nminimo.imp" L_0175:; // 891 %finish _imp_current_line = 891; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 891 "regression-compile-tmp/nminimo.imp" L_0174:; // 892 %repeat _imp_current_line = 892; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 892 "regression-compile-tmp/nminimo.imp" goto L_016b; #line 892 "regression-compile-tmp/nminimo.imp" L_016c:; // 893 w(q)_flags = w(q)_flags+sign _imp_current_line = 893; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 893 "regression-compile-tmp/nminimo.imp" W[(((int)(Q)) - (1))].FLAGS = (((int)(W[(((int)(Q)) - (1))].FLAGS)) + ((-2147483648))); // 894 q = q+1 _imp_current_line = 894; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 894 "regression-compile-tmp/nminimo.imp" Q = (((int)(Q)) + (1)); // 895 %repeat _imp_current_line = 895; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 895 "regression-compile-tmp/nminimo.imp" goto L_015a; // 896 %end; !minimise _imp_current_line = 896; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 896 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block MINIMISE at level 2 // 897 // 898 %begin {initialise} _imp_current_line = 898; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 898 "regression-compile-tmp/nminimo.imp" void _BLOCK_1_LEVEL_1_(void) { __label__ _imp_endofblock; // 899 %string(255)in1=":N",in2=":N",in3,out=":T" _imp_current_line = 899; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 899 "regression-compile-tmp/nminimo.imp" _imp_string /*%string(255)*/ IN1; #line 899 "regression-compile-tmp/nminimo.imp" IN1 = _imp_str_literal(":N"); #line 899 "regression-compile-tmp/nminimo.imp" _imp_string /*%string(255)*/ IN2; #line 899 "regression-compile-tmp/nminimo.imp" IN2 = _imp_str_literal(":N"); #line 899 "regression-compile-tmp/nminimo.imp" _imp_string /*%string(255)*/ IN3; #line 899 "regression-compile-tmp/nminimo.imp" _imp_string /*%string(255)*/ OUT; #line 899 "regression-compile-tmp/nminimo.imp" OUT = _imp_str_literal(":T"); // 900 %integer bools=16_05000000{single,equin} _imp_current_line = 900; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 900 "regression-compile-tmp/nminimo.imp" int BOOLS; #line 900 "regression-compile-tmp/nminimo.imp" BOOLS = 83886080; // 901 // 902 %routine init(%integername n) _imp_current_line = 902; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 902 "regression-compile-tmp/nminimo.imp" void INIT( int /*name*/*N ) #line 902 "regression-compile-tmp/nminimo.imp" { __label__ _imp_endofblock; // 903 n = 1 %if bools<0; bools = bools<<1 _imp_current_line = 903; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 903 "regression-compile-tmp/nminimo.imp" if (((BOOLS) >= (0))) goto L_015b; #line 903 "regression-compile-tmp/nminimo.imp" *N = 1; #line 903 "regression-compile-tmp/nminimo.imp" L_015b:; _imp_current_line = 903; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 903 "regression-compile-tmp/nminimo.imp" BOOLS = ((BOOLS) << (1)); // 904 %end _imp_current_line = 904; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 904 "regression-compile-tmp/nminimo.imp" return; _imp_endofblock: ; } // End of block INIT at level 3 // 905 // 906 defineparam("Input file",in3,pamnodefault) _imp_current_line = 906; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 906 "regression-compile-tmp/nminimo.imp" DEFINEPARAM(_imp_str_literal("Input file"), &IN3, 2); // 907 defineparam("Input 2",in2,0) _imp_current_line = 907; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 907 "regression-compile-tmp/nminimo.imp" DEFINEPARAM(_imp_str_literal("Input 2"), &IN2, 0); // 908 defineparam("Input 3",in1,0) _imp_current_line = 908; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 908 "regression-compile-tmp/nminimo.imp" DEFINEPARAM(_imp_str_literal("Input 3"), &IN1, 0); // 909 defineparam("Output file",out,pamnewgroup) _imp_current_line = 909; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 909 "regression-compile-tmp/nminimo.imp" DEFINEPARAM(_imp_str_literal("Output file"), &OUT, 1); // 910 defineintparam("MIN",min,0) _imp_current_line = 910; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 910 "regression-compile-tmp/nminimo.imp" DEFINEINTPARAM(_imp_str_literal("MIN"), &MIN, 0); // 911 defineintparam("INC",inc,0) _imp_current_line = 911; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 911 "regression-compile-tmp/nminimo.imp" DEFINEINTPARAM(_imp_str_literal("INC"), &INC, 0); // 912 defineintparam("MON",mon,0) _imp_current_line = 912; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 912 "regression-compile-tmp/nminimo.imp" DEFINEINTPARAM(_imp_str_literal("MON"), &MON, 0); // 913 definebooleanparams("ECho,SQuash,NIn,NOut,Check,SIngle,Tabin,EQuin",bools,0) _imp_current_line = 913; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 913 "regression-compile-tmp/nminimo.imp" DEFINEBOOLEANPARAMS(_imp_str_literal("ECho,SQuash,NIn,NOut,Check,SIngle,Tabin,EQuin"), &BOOLS, 0); // 914 processparameters(cliparam) _imp_current_line = 914; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 914 "regression-compile-tmp/nminimo.imp" PROCESSPARAMETERS(CLIPARAM()); // 915 init(echo) _imp_current_line = 915; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 915 "regression-compile-tmp/nminimo.imp" INIT(&ECHO); // 916 init(squash) _imp_current_line = 916; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 916 "regression-compile-tmp/nminimo.imp" INIT(&SQUASH); // 917 init(nin) _imp_current_line = 917; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 917 "regression-compile-tmp/nminimo.imp" INIT(&NIN); // 918 init(nout) _imp_current_line = 918; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 918 "regression-compile-tmp/nminimo.imp" INIT(&NOUT); // 919 init(check) _imp_current_line = 919; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 919 "regression-compile-tmp/nminimo.imp" INIT(&CHECK); // 920 init(single) _imp_current_line = 920; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 920 "regression-compile-tmp/nminimo.imp" INIT(&SINGLE); // 921 init(tabin) _imp_current_line = 921; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 921 "regression-compile-tmp/nminimo.imp" INIT(&TABIN); // 922 tabin = 0 %if bools<0 {equin} _imp_current_line = 922; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 922 "regression-compile-tmp/nminimo.imp" if (((BOOLS) >= (0))) goto L_0176; #line 922 "regression-compile-tmp/nminimo.imp" TABIN = 0; #line 922 "regression-compile-tmp/nminimo.imp" L_0176:; // 923 openinput(instream-2,in3) _imp_current_line = 923; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 923 "regression-compile-tmp/nminimo.imp" _imp_OPENINPUT((((int)(INSTREAM)) - (2)), IN3); // 924 openinput(instream-1,in2) _imp_current_line = 924; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 924 "regression-compile-tmp/nminimo.imp" _imp_OPENINPUT((((int)(INSTREAM)) - (1)), IN2); // 925 openinput(instream,in1) _imp_current_line = 925; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 925 "regression-compile-tmp/nminimo.imp" _imp_OPENINPUT(INSTREAM, IN1); // 926 openoutput(outstream,out) _imp_current_line = 926; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 926 "regression-compile-tmp/nminimo.imp" _imp_OPENOUTPUT(1, OUT); // 927 %end _imp_current_line = 927; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 927 "regression-compile-tmp/nminimo.imp" goto _imp_endofblock; _imp_endofblock: ; } // End of block _BLOCK_1_LEVEL_1_ at level 2 _BLOCK_1_LEVEL_1_(); // 928 // 929 select output(outstream) _imp_current_line = 929; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 929 "regression-compile-tmp/nminimo.imp" _imp_SELECTOUTPUT(1); // 930 select input(instream) _imp_current_line = 930; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 930 "regression-compile-tmp/nminimo.imp" _imp_SELECTINPUT(INSTREAM); // 931 %cycle _imp_current_line = 931; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 931 "regression-compile-tmp/nminimo.imp" L_0177:; // 932 start = cputime _imp_current_line = 932; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 932 "regression-compile-tmp/nminimo.imp" START = CPUTIME(); // 933 readin _imp_current_line = 933; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 933 "regression-compile-tmp/nminimo.imp" READIN(); // 934 printstring("Read in:") _imp_current_line = 934; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 934 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal("Read in:")); // 935 print time _imp_current_line = 935; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 935 "regression-compile-tmp/nminimo.imp" PRINTTIME(); // 936 newline _imp_current_line = 936; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 936 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 937 convert _imp_current_line = 937; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 937 "regression-compile-tmp/nminimo.imp" CONVERT(); // 938 aim = 999999; count = 0 _imp_current_line = 938; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 938 "regression-compile-tmp/nminimo.imp" AIM = 999999; _imp_current_line = 938; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 938 "regression-compile-tmp/nminimo.imp" COUNT = 0; // 939 printstring("Implicants:") _imp_current_line = 939; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 939 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal("Implicants:")); // 940 write(sp-dclim,3) _imp_current_line = 940; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 940 "regression-compile-tmp/nminimo.imp" _imp_WRITE((((int)(SP)) - (DCLIM)), 3); // 941 print time _imp_current_line = 941; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 941 "regression-compile-tmp/nminimo.imp" PRINTTIME(); // 942 newline _imp_current_line = 942; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 942 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 943 print all %if inc#0 %and mon&16#0 _imp_current_line = 943; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 943 "regression-compile-tmp/nminimo.imp" if (((INC) == (0))) goto L_017a; #line 943 "regression-compile-tmp/nminimo.imp" if (((((MON) & (16))) == (0))) goto L_017a; #line 943 "regression-compile-tmp/nminimo.imp" PRINTALL(); #line 943 "regression-compile-tmp/nminimo.imp" L_017a:; // 944 reduce1 _imp_current_line = 944; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 944 "regression-compile-tmp/nminimo.imp" REDUCE1(); // 945 printstring("Reduced(1):") _imp_current_line = 945; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 945 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal("Reduced(1):")); // 946 write(sp-dclim,3) _imp_current_line = 946; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 946 "regression-compile-tmp/nminimo.imp" _imp_WRITE((((int)(SP)) - (DCLIM)), 3); // 947 printstring(" (nucleus") _imp_current_line = 947; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 947 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal(" (nucleus")); // 948 pcount _imp_current_line = 948; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 948 "regression-compile-tmp/nminimo.imp" PCOUNT(); // 949 printsymbol(')') _imp_current_line = 949; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 949 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(41); // 950 print time _imp_current_line = 950; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 950 "regression-compile-tmp/nminimo.imp" PRINTTIME(); // 951 newline _imp_current_line = 951; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 951 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 952 print all %if inc # 0 %and mon&16#0 _imp_current_line = 952; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 952 "regression-compile-tmp/nminimo.imp" if (((INC) == (0))) goto L_017b; #line 952 "regression-compile-tmp/nminimo.imp" if (((((MON) & (16))) == (0))) goto L_017b; #line 952 "regression-compile-tmp/nminimo.imp" PRINTALL(); #line 952 "regression-compile-tmp/nminimo.imp" L_017b:; // 953 %if sp # esslim %start _imp_current_line = 953; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 953 "regression-compile-tmp/nminimo.imp" if (((SP) == (ESSLIM))) goto L_017c; // 954 reduce2 _imp_current_line = 954; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 954 "regression-compile-tmp/nminimo.imp" REDUCE2(); // 955 printstring("Reduced(2):") _imp_current_line = 955; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 955 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal("Reduced(2):")); // 956 write(sp-dclim,3) _imp_current_line = 956; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 956 "regression-compile-tmp/nminimo.imp" _imp_WRITE((((int)(SP)) - (DCLIM)), 3); // 957 printstring(" (nucleus") _imp_current_line = 957; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 957 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal(" (nucleus")); // 958 pcount _imp_current_line = 958; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 958 "regression-compile-tmp/nminimo.imp" PCOUNT(); // 959 printsymbol(')') _imp_current_line = 959; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 959 "regression-compile-tmp/nminimo.imp" _imp_PRINTSYMBOL(41); // 960 order %if sp # esslim _imp_current_line = 960; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 960 "regression-compile-tmp/nminimo.imp" if (((SP) == (ESSLIM))) goto L_017d; #line 960 "regression-compile-tmp/nminimo.imp" ORDER(); #line 960 "regression-compile-tmp/nminimo.imp" L_017d:; // 961 print time _imp_current_line = 961; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 961 "regression-compile-tmp/nminimo.imp" PRINTTIME(); // 962 newline _imp_current_line = 962; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 962 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 963 print all %if inc # 0 %and mon&16#0 _imp_current_line = 963; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 963 "regression-compile-tmp/nminimo.imp" if (((INC) == (0))) goto L_017e; #line 963 "regression-compile-tmp/nminimo.imp" if (((((MON) & (16))) == (0))) goto L_017e; #line 963 "regression-compile-tmp/nminimo.imp" PRINTALL(); #line 963 "regression-compile-tmp/nminimo.imp" L_017e:; // 964 %finish _imp_current_line = 964; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 964 "regression-compile-tmp/nminimo.imp" L_017c:; // 965 monitor(esslim) %if mon&2 # 0 _imp_current_line = 965; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 965 "regression-compile-tmp/nminimo.imp" if (((((MON) & (2))) == (0))) goto L_017f; #line 965 "regression-compile-tmp/nminimo.imp" MONITOR(ESSLIM); #line 965 "regression-compile-tmp/nminimo.imp" L_017f:; // 966 %if sp # esslim %start _imp_current_line = 966; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 966 "regression-compile-tmp/nminimo.imp" if (((SP) == (ESSLIM))) goto L_0180; // 967 monitor(sp) %if mon&8 # 0 _imp_current_line = 967; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 967 "regression-compile-tmp/nminimo.imp" if (((((MON) & (8))) == (0))) goto L_0181; #line 967 "regression-compile-tmp/nminimo.imp" MONITOR(SP); #line 967 "regression-compile-tmp/nminimo.imp" L_0181:; // 968 printstring("Minimised:") _imp_current_line = 968; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 968 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal("Minimised:")); // 969 minimise _imp_current_line = 969; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 969 "regression-compile-tmp/nminimo.imp" MINIMISE(); // 970 %finish _imp_current_line = 970; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 970 "regression-compile-tmp/nminimo.imp" L_0180:; // 971 print all %if inc # 0 %and mon&1 = 0 _imp_current_line = 971; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 971 "regression-compile-tmp/nminimo.imp" if (((INC) == (0))) goto L_0182; #line 971 "regression-compile-tmp/nminimo.imp" if (((((MON) & (1))) != (0))) goto L_0182; #line 971 "regression-compile-tmp/nminimo.imp" PRINTALL(); #line 971 "regression-compile-tmp/nminimo.imp" L_0182:; // 972 printstring(" Cells used:") _imp_current_line = 972; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 972 "regression-compile-tmp/nminimo.imp" _imp_PRINTSTRING(_imp_str_literal(" Cells used:")); // 973 write(storebound-1-minsep,1) _imp_current_line = 973; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 973 "regression-compile-tmp/nminimo.imp" _imp_WRITE((((int)(1999)) - (MINSEP)), 1); // 974 print time _imp_current_line = 974; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 974 "regression-compile-tmp/nminimo.imp" PRINTTIME(); // 975 newline _imp_current_line = 975; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 975 "regression-compile-tmp/nminimo.imp" _imp_NEWLINE(); // 976 %repeat _imp_current_line = 976; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 976 "regression-compile-tmp/nminimo.imp" goto L_0177; // 977 // 978 %endofprogram _imp_current_line = 978; _imp_current_file = "regression-compile-tmp/nminimo.imp"; #line 978 "regression-compile-tmp/nminimo.imp" return 0; _imp_endofblock: ; } // End of block _imp_main at level 1 #line 978 "regression-compile-tmp/nminimo.imp" // End of file