1733Speter /* Copyright (c) 1979 Regents of the University of California */ 2733Speter 3*3370Speter /* static char sccsid[] = "@(#)0.h 1.10 03/26/81"; */ 4733Speter 5733Speter #define DEBUG 63071Smckusic #define CONSETS 7733Speter #define CHAR 8733Speter #define STATIC 9733Speter #define hp21mx 0 10733Speter 11733Speter #include <stdio.h> 12733Speter #include <sys/types.h> 13733Speter 143071Smckusic typedef enum {FALSE, TRUE} bool; 15733Speter 16733Speter /* 17733Speter * Option flags 18733Speter * 19733Speter * The following options are recognized in the text of the program 20733Speter * and also on the command line: 21733Speter * 22733Speter * b block buffer the file output 23733Speter * 24733Speter * i make a listing of the procedures and functions in 25733Speter * the following include files 26733Speter * 27733Speter * l make a listing of the program 28733Speter * 29733Speter * n place each include file on a new page with a header 30733Speter * 31733Speter * p disable post mortem and statement limit counting 32733Speter * 33733Speter * t disable run-time tests 34733Speter * 35733Speter * u card image mode; only first 72 chars of input count 36733Speter * 37733Speter * w suppress special diagnostic warnings 38733Speter * 39733Speter * z generate counters for an execution profile 40733Speter */ 41733Speter #ifdef DEBUG 42733Speter bool fulltrace, errtrace, testtrace, yyunique; 43733Speter #endif DEBUG 44733Speter 45733Speter /* 46733Speter * Each option has a stack of 17 option values, with opts giving 47733Speter * the current, top value, and optstk the value beneath it. 48733Speter * One refers to option `l' as, e.g., opt('l') in the text for clarity. 49733Speter */ 50733Speter char opts[ 'z' - 'A' + 1]; 51733Speter short optstk[ 'z' - 'A' + 1]; 52733Speter 53733Speter #define opt(c) opts[c-'A'] 54733Speter 55733Speter /* 56733Speter * Monflg is set when we are generating 57733Speter * a pxp profile. this is set by the -z command line option. 58733Speter */ 59733Speter bool monflg; 60733Speter 61733Speter /* 62733Speter * profflag is set when we are generating a prof profile. 63733Speter * this is set by the -p command line option. 64733Speter */ 65733Speter bool profflag; 66733Speter 67733Speter 68733Speter /* 69733Speter * NOTES ON THE DYNAMIC NATURE OF THE DATA STRUCTURES 70733Speter * 71733Speter * Pi uses expandable tables for 72733Speter * its namelist (symbol table), string table 73733Speter * hash table, and parse tree space. The following 74733Speter * definitions specify the size of the increments 75733Speter * for these items in fundamental units so that 76733Speter * each uses approximately 1024 bytes. 77733Speter */ 78733Speter 79733Speter #define STRINC 1024 /* string space increment */ 80733Speter #define TRINC 512 /* tree space increment */ 81733Speter #define HASHINC 509 /* hash table size in words, each increment */ 82733Speter #define NLINC 56 /* namelist increment size in nl structs */ 83733Speter 84733Speter /* 85733Speter * The initial sizes of the structures. 86733Speter * These should be large enough to compile 87733Speter * an "average" sized program so as to minimize 88733Speter * storage requests. 89733Speter * On a small system or and 11/34 or 11/40 90733Speter * these numbers can be trimmed to make the 91733Speter * compiler smaller. 92733Speter */ 93733Speter #define ITREE 2000 94733Speter #define INL 200 95733Speter #define IHASH 509 96733Speter 97733Speter /* 98733Speter * The following limits on hash and tree tables currently 99733Speter * allow approximately 1200 symbols and 20k words of tree 100733Speter * space. The fundamental limit of 64k total data space 101733Speter * should be exceeded well before these are full. 102733Speter */ 103733Speter /* 104733Speter * TABLE_MULTIPLIER is for uniformly increasing the sizes of the tables 105733Speter */ 1063071Smckusic #ifdef VAX 107733Speter #define TABLE_MULTIPLIER 8 1083071Smckusic #else 1093071Smckusic #define TABLE_MULTIPLIER 1 1103071Smckusic #endif VAX 111733Speter #define MAXHASH (4 * TABLE_MULTIPLIER) 112733Speter #define MAXNL (12 * TABLE_MULTIPLIER) 113733Speter #define MAXTREE (30 * TABLE_MULTIPLIER) 114733Speter /* 115733Speter * MAXDEPTH is the depth of the parse stack. 116733Speter * STACK_MULTIPLIER is for increasing its size. 117733Speter */ 1183071Smckusic #ifdef VAX 119733Speter #define STACK_MULTIPLIER 8 1203071Smckusic #else 1213071Smckusic #define STACK_MULTIPLIER 1 1223071Smckusic #endif VAX 123733Speter #define MAXDEPTH ( 150 * STACK_MULTIPLIER ) 124733Speter 125733Speter /* 126733Speter * ERROR RELATED DEFINITIONS 127733Speter */ 128733Speter 129733Speter /* 130733Speter * Exit statuses to pexit 131733Speter * 132733Speter * AOK 133733Speter * ERRS Compilation errors inhibit obj productin 134733Speter * NOSTART Errors before we ever got started 135733Speter * DIED We ran out of memory or some such 136733Speter */ 137733Speter #define AOK 0 138733Speter #define ERRS 1 139733Speter #define NOSTART 2 140733Speter #define DIED 3 141733Speter 142733Speter bool Recovery; 143733Speter 144733Speter #define eholdnl() Eholdnl = 1 145733Speter #define nocascade() Enocascade = 1 146733Speter 147733Speter bool Eholdnl, Enocascade; 148733Speter 149733Speter 150733Speter /* 151733Speter * The flag eflg is set whenever we have a hard error. 152733Speter * The character in errpfx will precede the next error message. 153733Speter * When cgenflg is set code generation is suppressed. 154733Speter * This happens whenver we have an error (i.e. if eflg is set) 155733Speter * and when we are walking the tree to determine types only. 156733Speter */ 157733Speter bool eflg; 158733Speter char errpfx; 159733Speter 160733Speter #define setpfx(x) errpfx = x 161733Speter 162733Speter #define standard() setpfx('s') 163733Speter #define warning() setpfx('w') 164733Speter #define recovered() setpfx('e') 165733Speter 1663071Smckusic int cgenflg; 167733Speter 168733Speter 169733Speter /* 170733Speter * The flag syneflg is used to suppress the diagnostics of the form 171733Speter * E 10 a, defined in someprocedure, is neither used nor set 172733Speter * when there were syntax errors in "someprocedure". 173733Speter * In this case, it is likely that these warinings would be spurious. 174733Speter */ 175733Speter bool syneflg; 176733Speter 177733Speter /* 178733Speter * The compiler keeps its error messages in a file. 179733Speter * The variable efil is the unit number on which 180733Speter * this file is open for reading of error message text. 181733Speter * Similarly, the file ofil is the unit of the file 182733Speter * "obj" where we write the interpreter code. 183733Speter */ 184733Speter short efil; 185733Speter short ofil; 186733Speter short obuf[518]; 187733Speter 1883071Smckusic bool Enoline; 1893071Smckusic #define elineoff() Enoline = TRUE 1903071Smckusic #define elineon() Enoline = FALSE 191733Speter 192733Speter 193733Speter /* 194733Speter * SYMBOL TABLE STRUCTURE DEFINITIONS 195733Speter * 196733Speter * The symbol table is henceforth referred to as the "namelist". 197733Speter * It consists of a number of structures of the form "nl" below. 198733Speter * These are contained in a number of segments of the symbol 199733Speter * table which are dynamically allocated as needed. 200733Speter * The major namelist manipulation routines are contained in the 201733Speter * file "nl.c". 202733Speter * 203733Speter * The major components of a namelist entry are the "symbol", giving 204733Speter * a pointer into the string table for the string associated with this 205733Speter * entry and the "class" which tells which of the (currently 19) 206733Speter * possible types of structure this is. 207733Speter * 208733Speter * Many of the classes use the "type" field for a pointer to the type 209733Speter * which the entry has. 210733Speter * 211733Speter * Other pieces of information in more than one class include the block 212733Speter * in which the symbol is defined, flags indicating whether the symbol 213733Speter * has been used and whether it has been assigned to, etc. 214733Speter * 215733Speter * A more complete discussion of the features of the namelist is impossible 216733Speter * here as it would be too voluminous. Refer to the "PI 1.0 Implementation 217733Speter * Notes" for more details. 218733Speter */ 219733Speter 220733Speter /* 221733Speter * The basic namelist structure. 222733Speter * There are also two other variants, defining the real 223733Speter * field as longs or integers given below. 224733Speter * 225733Speter * The array disptab defines the hash header for the symbol table. 226733Speter * Symbols are hashed based on the low 6 bits of their pointer into 227733Speter * the string table; see the routines in the file "lookup.c" and also "fdec.c" 228733Speter * especially "funcend". 229733Speter */ 2303220Smckusic extern struct nl *Fp; 2313220Smckusic extern int pnumcnt; 2323220Smckusic 233733Speter #ifdef PTREE 234733Speter # include "pTree.h" 235733Speter #endif PTREE 236733Speter struct nl { 237733Speter char *symbol; 238733Speter char class, nl_flags; 239733Speter #ifdef PC 240733Speter char ext_flags; /* an extra flag is used for externals */ 241733Speter #endif PC 242733Speter struct nl *type; 243733Speter struct nl *chain, *nl_next; 2443296Smckusic int value[5]; 245733Speter # ifdef PTREE 246733Speter pPointer inTree; 247733Speter # endif PTREE 248733Speter } *nlp, *disptab[077+1]; 249733Speter 250733Speter extern struct nl nl[INL]; 251733Speter 252733Speter struct { 253733Speter char *symbol; 254733Speter char class, nl_flags; 255733Speter #ifdef PC 256733Speter char ext_flags; 257733Speter #endif 258733Speter struct nl *type; 259733Speter struct nl *chain, *nl_next; 260733Speter double real; 261733Speter }; 262733Speter 263733Speter struct { 264733Speter char *symbol; 265733Speter char class, nl_block; 266733Speter #ifdef PC 267733Speter char ext_flags; 268733Speter #endif 269733Speter struct nl *type; 270733Speter struct nl *chain, *nl_next; 271733Speter long range[2]; 272733Speter }; 273733Speter 274733Speter struct { 275733Speter char *symbol; 276733Speter char class, nl_flags; 277733Speter #ifdef PC 278733Speter char ext_flags; 279733Speter #endif 280733Speter struct nl *type; 281733Speter struct nl *chain, *nl_next; 2823296Smckusic int *ptr[4]; 2833296Smckusic #ifdef PI 2843296Smckusic int entloc; 2853296Smckusic #endif PI 286733Speter }; 287*3370Speter 288733Speter /* 289733Speter * NL FLAGS BITS 290733Speter * 291733Speter * Definitions of the usage of the bits in 292733Speter * the nl_flags byte. Note that the low 5 bits of the 293733Speter * byte are the "nl_block" and that some classes make use 294733Speter * of this byte as a "width". 295733Speter * 296733Speter * The only non-obvious bit definition here is "NFILES" 297733Speter * which records whether a structure contains any files. 298733Speter * Such structures are not allowed to be dynamically allocated. 299733Speter */ 300*3370Speter 301*3370Speter #define BLOCKNO( flag ) ( flag & 037 ) 302*3370Speter #define NLFLAGS( flag ) ( flag &~ 037 ) 303*3370Speter 304733Speter #define NUSED 0100 305733Speter #define NMOD 0040 306733Speter #define NFORWD 0200 307733Speter #define NFILES 0200 308733Speter #ifdef PC 309733Speter #define NEXTERN 0001 /* flag used to mark external funcs and procs */ 310733Speter #endif 311*3370Speter 312*3370Speter /* 313*3370Speter * magic values for forvar -> value[ NL_FORV ] 314*3370Speter * value[ NL_FORV ] stores in its low byte 315*3370Speter * the nl_flags byte of the loop variable. 316*3370Speter * the top byte is another bunch of flags 317*3370Speter * FORBOUND means it is a loop variable 318*3370Speter * LOOPVAR means it is a loop variable but it is not yet allocated 319*3370Speter * TEMPBOUND means it is a loop variable and it is in a temporary. 320*3370Speter */ 321*3370Speter #define LOOPVAR 00400 322*3370Speter #define TEMPBOUND 01000 323*3370Speter #define FORBOUND ( LOOPVAR | TEMPBOUND ) 324733Speter 325733Speter /* 326733Speter * Definition of the commonly used "value" fields. 327733Speter * The most important one is NL_OFFS which gives 328733Speter * the offset of a variable in its stack mark. 329733Speter */ 330733Speter #define NL_OFFS 0 331733Speter 332733Speter #define NL_CNTR 1 3333296Smckusic #define NL_NLSTRT 2 3343296Smckusic #define NL_LINENO 3 335733Speter #define NL_FVAR 3 3363296Smckusic #define NL_FCHAIN 4 337733Speter 338733Speter #define NL_GOLEV 2 339733Speter #define NL_GOLINE 3 340733Speter #define NL_FORV 1 3413275Smckusic #define NL_SOFFS 4 342733Speter 343733Speter #define NL_FLDSZ 1 344733Speter #define NL_VARNT 2 345733Speter #define NL_VTOREC 2 346733Speter #define NL_TAG 3 347733Speter 3483071Smckusic #define NL_ELABEL 4 349733Speter 350733Speter /* 351733Speter * For BADUSE nl structures, NL_KINDS is a bit vector 352733Speter * indicating the kinds of illegal usages complained about 353733Speter * so far. For kind of bad use "kind", "1 << kind" is set. 354733Speter * The low bit is reserved as ISUNDEF to indicate whether 355733Speter * this identifier is totally undefined. 356733Speter */ 357733Speter #define NL_KINDS 0 358733Speter 359733Speter #define ISUNDEF 1 3603275Smckusic 3613275Smckusic /* 3623275Smckusic * Variables may reside on the stack as formals or as locals, 3633275Smckusic * or as register temporaries 3643275Smckusic */ 3653275Smckusic #define PARAMVAR 1 3663275Smckusic #define LOCALVAR 2 3673275Smckusic #define REGVAR 3 368733Speter 369733Speter /* 370733Speter * NAMELIST CLASSES 371733Speter * 372733Speter * The following are the namelist classes. 373733Speter * Different classes make use of the value fields 374733Speter * of the namelist in different ways. 375733Speter * 376733Speter * The namelist should be redesigned by providing 377733Speter * a number of structure definitions with one corresponding 378733Speter * to each namelist class, ala a variant record in Pascal. 379733Speter */ 380733Speter #define BADUSE 0 381733Speter #define CONST 1 382733Speter #define TYPE 2 383733Speter #define VAR 3 384733Speter #define ARRAY 4 385733Speter #define PTRFILE 5 386733Speter #define RECORD 6 387733Speter #define FIELD 7 388733Speter #define PROC 8 389733Speter #define FUNC 9 390733Speter #define FVAR 10 391733Speter #define REF 11 392733Speter #define PTR 12 393733Speter #define FILET 13 394733Speter #define SET 14 395733Speter #define RANGE 15 396733Speter #define LABEL 16 397733Speter #define WITHPTR 17 398733Speter #define SCAL 18 399733Speter #define STR 19 400733Speter #define PROG 20 401733Speter #define IMPROPER 21 402733Speter #define VARNT 22 4031194Speter #define FPROC 23 4041194Speter #define FFUNC 24 405733Speter 406733Speter /* 407733Speter * Clnames points to an array of names for the 408733Speter * namelist classes. 409733Speter */ 410733Speter char **clnames; 411733Speter 412733Speter /* 413733Speter * PRE-DEFINED NAMELIST OFFSETS 414733Speter * 415733Speter * The following are the namelist offsets for the 416733Speter * primitive types. The ones which are negative 417733Speter * don't actually exist, but are generated and tested 418733Speter * internally. These definitions are sensitive to the 419733Speter * initializations in nl.c. 420733Speter */ 421733Speter #define TFIRST -7 422733Speter #define TFILE -7 423733Speter #define TREC -6 424733Speter #define TARY -5 425733Speter #define TSCAL -4 426733Speter #define TPTR -3 427733Speter #define TSET -2 428733Speter #define TSTR -1 429733Speter #define NIL 0 430733Speter #define TBOOL 1 431733Speter #define TCHAR 2 432733Speter #define TINT 3 433733Speter #define TDOUBLE 4 434733Speter #define TNIL 5 435733Speter #define T1INT 6 436733Speter #define T2INT 7 437733Speter #define T4INT 8 438733Speter #define T1CHAR 9 439733Speter #define T1BOOL 10 440733Speter #define T8REAL 11 441733Speter #define TLAST 11 442733Speter 443733Speter /* 444733Speter * SEMANTIC DEFINITIONS 445733Speter */ 446733Speter 447733Speter /* 448733Speter * NOCON and SAWCON are flags in the tree telling whether 449733Speter * a constant set is part of an expression. 4503314Speter * these are no longer used, 4513314Speter * since we now do constant sets at compile time. 452733Speter */ 453733Speter #define NOCON 0 454733Speter #define SAWCON 1 455733Speter 456733Speter /* 457733Speter * The variable cbn gives the current block number, 458733Speter * the variable bn is set as a side effect of a call to 459733Speter * lookup, and is the block number of the variable which 460733Speter * was found. 461733Speter */ 462733Speter short bn, cbn; 463733Speter 464733Speter /* 465733Speter * The variable line is the current semantic 466733Speter * line and is set in stat.c from the numbers 467733Speter * embedded in statement type tree nodes. 468733Speter */ 469733Speter short line; 470733Speter 471733Speter /* 472733Speter * The size of the display 473733Speter * which defines the maximum nesting 474733Speter * of procedures and functions allowed. 475733Speter * Because of the flags in the current namelist 476733Speter * this must be no greater than 32. 477733Speter */ 478733Speter #define DSPLYSZ 20 479733Speter 480733Speter /* 481733Speter * The following structure is used 482733Speter * to keep track of the amount of variable 483733Speter * storage required by each block. 484733Speter * "Max" is the high water mark, "off" 485733Speter * the current need. Temporaries for "for" 486733Speter * loops and "with" statements are allocated 487733Speter * in the local variable area and these 488733Speter * numbers are thereby changed if necessary. 489733Speter */ 490733Speter struct om { 491733Speter long om_max; 4923220Smckusic long reg_max; 4933220Smckusic struct tmps { 4943220Smckusic long om_off; 4953220Smckusic long reg_off; 4963220Smckusic } curtmps; 497733Speter } sizes[DSPLYSZ]; 4983220Smckusic #define NOREG 0 4993220Smckusic #define REGOK 1 500733Speter 501733Speter /* 502733Speter * the following structure records whether a level declares 503733Speter * any variables which are (or contain) files. 504733Speter * this so that the runtime routines for file cleanup can be invoked. 505733Speter */ 506733Speter bool dfiles[ DSPLYSZ ]; 507733Speter 508733Speter /* 509733Speter * Structure recording information about a constant 510733Speter * declaration. It is actually the return value from 511733Speter * the routine "gconst", but since C doesn't support 512733Speter * record valued functions, this is more convenient. 513733Speter */ 514733Speter struct { 515733Speter struct nl *ctype; 516733Speter short cival; 517733Speter double crval; 518733Speter int *cpval; 519733Speter } con; 520733Speter 521733Speter /* 522733Speter * The set structure records the lower bound 523733Speter * and upper bound with the lower bound normalized 524733Speter * to zero when working with a set. It is set by 525733Speter * the routine setran in var.c. 526733Speter */ 527733Speter struct { 528733Speter short lwrb, uprbp; 529733Speter } set; 530733Speter 531733Speter /* 532733Speter * structures of this kind are filled in by precset and used by postcset 533733Speter * to indicate things about constant sets. 534733Speter */ 535733Speter struct csetstr { 536733Speter struct nl *csettype; 537733Speter long paircnt; 538733Speter long singcnt; 539733Speter bool comptime; 540733Speter }; 541733Speter /* 542733Speter * The following flags are passed on calls to lvalue 543733Speter * to indicate how the reference is to affect the usage 544733Speter * information for the variable being referenced. 545733Speter * MOD is used to set the NMOD flag in the namelist 546733Speter * entry for the variable, ASGN permits diagnostics 547733Speter * to be formed when a for variable is assigned to in 548733Speter * the range of the loop. 549733Speter */ 550733Speter #define NOFLAGS 0 551733Speter #define MOD 01 552733Speter #define ASGN 02 553733Speter #define NOUSE 04 554733Speter 555733Speter /* 556733Speter * the following flags are passed to lvalue and rvalue 557733Speter * to tell them whether an lvalue or rvalue is required. 558733Speter * the semantics checking is done according to the function called, 559733Speter * but for pc, lvalue may put out an rvalue by indirecting afterwards, 560733Speter * and rvalue may stop short of putting out the indirection. 561733Speter */ 562733Speter #define LREQ 01 563733Speter #define RREQ 02 564733Speter 565733Speter double MAXINT; 566733Speter double MININT; 567733Speter 568733Speter /* 569733Speter * Variables for generation of profile information. 570733Speter * Monflg is set when we want to generate a profile. 571733Speter * Gocnt record the total number of goto's and 572733Speter * cnts records the current counter for generating 573733Speter * COUNT operators. 574733Speter */ 575733Speter short gocnt; 576733Speter short cnts; 577733Speter 578733Speter /* 579733Speter * Most routines call "incompat" rather than asking "!compat" 580733Speter * for historical reasons. 581733Speter */ 582733Speter #define incompat !compat 583733Speter 584733Speter /* 585733Speter * Parts records which declaration parts have been seen. 586833Speter * The grammar allows the "label" "const" "type" "var" and routine 587733Speter * parts to be repeated and to be in any order, so that 588733Speter * they can be detected semantically to give better 589733Speter * error diagnostics. 590733Speter */ 591833Speter int parts[ DSPLYSZ ]; 592733Speter 593833Speter #define LPRT 1 594833Speter #define CPRT 2 595833Speter #define TPRT 4 596833Speter #define VPRT 8 597833Speter #define RPRT 16 598733Speter 599733Speter /* 600733Speter * Flags for the "you used / instead of div" diagnostic 601733Speter */ 602733Speter bool divchk; 603733Speter bool divflg; 604733Speter 6053071Smckusic bool errcnt[DSPLYSZ]; 606733Speter 607733Speter /* 608733Speter * Forechain links those types which are 609733Speter * ^ sometype 610733Speter * so that they can be evaluated later, permitting 611733Speter * circular, recursive list structures to be defined. 612733Speter */ 613733Speter struct nl *forechain; 614733Speter 615733Speter /* 616733Speter * Withlist links all the records which are currently 617733Speter * opened scopes because of with statements. 618733Speter */ 619733Speter struct nl *withlist; 620733Speter 621733Speter struct nl *intset; 622733Speter struct nl *input, *output; 623733Speter struct nl *program; 624733Speter 625733Speter /* progseen flag used by PC to determine if 626733Speter * a routine segment is being compiled (and 627733Speter * therefore no program statement seen) 628733Speter */ 629733Speter bool progseen; 630733Speter 631733Speter 632733Speter /* 633733Speter * STRUCTURED STATEMENT GOTO CHECKING 634733Speter * 635733Speter * The variable level keeps track of the current 636733Speter * "structured statement level" when processing the statement 637733Speter * body of blocks. This is used in the detection of goto's into 638733Speter * structured statements in a block. 639733Speter * 640733Speter * Each label's namelist entry contains two pieces of information 641733Speter * related to this check. The first `NL_GOLEV' either contains 642733Speter * the level at which the label was declared, `NOTYET' if the label 643733Speter * has not yet been declared, or `DEAD' if the label is dead, i.e. 644733Speter * if we have exited the level in which the label was defined. 645733Speter * 646733Speter * When we discover a "goto" statement, if the label has not 647733Speter * been defined yet, then we record the current level and the current line 648733Speter * for a later error check. If the label has been already become "DEAD" 649733Speter * then a reference to it is an error. Now the compiler maintains, 650733Speter * for each block, a linked list of the labels headed by "gotos[bn]". 651733Speter * When we exit a structured level, we perform the routine 652733Speter * ungoto in stat.c. It notices labels whose definition levels have been 653733Speter * exited and makes them be dead. For labels which have not yet been 654733Speter * defined, ungoto will maintain NL_GOLEV as the minimum structured level 655733Speter * since the first usage of the label. It is not hard to see that the label 656733Speter * must eventually be declared at this level or an outer level to this 657733Speter * one or a goto into a structured statement will exist. 658733Speter */ 659733Speter short level; 660733Speter struct nl *gotos[DSPLYSZ]; 661733Speter 662733Speter #define NOTYET 10000 663733Speter #define DEAD 10000 664733Speter 665733Speter /* 666733Speter * Noreach is true when the next statement will 667733Speter * be unreachable unless something happens along 668733Speter * (like exiting a looping construct) to save 669733Speter * the day. 670733Speter */ 671733Speter bool noreach; 672733Speter 673733Speter /* 674733Speter * UNDEFINED VARIABLE REFERENCE STRUCTURES 675733Speter */ 676733Speter struct udinfo { 677733Speter int ud_line; 678733Speter struct udinfo *ud_next; 679733Speter char nullch; 680733Speter }; 681733Speter 682733Speter /* 683733Speter * CODE GENERATION DEFINITIONS 684733Speter */ 685733Speter 686733Speter /* 687733Speter * NSTAND is or'ed onto the abstract machine opcode 688733Speter * for non-standard built-in procedures and functions. 689733Speter */ 690733Speter #define NSTAND 0400 691733Speter 692733Speter #define codeon() cgenflg++ 693733Speter #define codeoff() --cgenflg 6943314Speter #define CGENNING ( cgenflg >= 0 ) 695733Speter 696733Speter /* 697733Speter * Codeline is the last lino output in the code generator. 698733Speter * It used to be used to suppress LINO operators but no 699733Speter * more since we now count statements. 700733Speter * Lc is the intepreter code location counter. 701733Speter * 702733Speter short codeline; 703733Speter */ 704733Speter char *lc; 705733Speter 706733Speter 707733Speter /* 708733Speter * Routines which need types 709733Speter * other than "integer" to be 710733Speter * assumed by the compiler. 711733Speter */ 712733Speter double atof(); 713733Speter long lwidth(); 7143071Smckusic long leven(); 715733Speter long aryconst(); 716733Speter long a8tol(); 7173071Smckusic long roundup(); 7183283Smckusic long tmpalloc(); 719733Speter struct nl *lookup(); 720733Speter double atof(); 721733Speter int *tree(); 722733Speter int *hash(); 723733Speter char *alloc(); 724733Speter int *calloc(); 725733Speter char *savestr(); 7263283Smckusic char *parnam(); 7273283Smckusic bool fcompat(); 728733Speter struct nl *lookup1(); 729733Speter struct nl *hdefnl(); 730733Speter struct nl *defnl(); 731733Speter struct nl *enter(); 732733Speter struct nl *nlcopy(); 733733Speter struct nl *tyrecl(); 734733Speter struct nl *tyary(); 735733Speter struct nl *fields(); 736733Speter struct nl *variants(); 737733Speter struct nl *deffld(); 738733Speter struct nl *defvnt(); 739733Speter struct nl *tyrec1(); 740733Speter struct nl *reclook(); 741733Speter struct nl *asgnop1(); 742733Speter struct nl *gtype(); 743733Speter struct nl *call(); 744733Speter struct nl *lvalue(); 745733Speter struct nl *rvalue(); 746733Speter struct nl *cset(); 747733Speter 748733Speter /* 749733Speter * type cast NIL to keep lint happy (which is not so bad) 750733Speter */ 751733Speter #define NLNIL ( (struct nl *) NIL ) 752733Speter 753733Speter /* 754733Speter * Funny structures to use 755733Speter * pointers in wild and wooly ways 756733Speter */ 757733Speter struct { 758733Speter char pchar; 759733Speter }; 760733Speter struct { 761733Speter short pint; 762733Speter short pint2; 763733Speter }; 764733Speter struct { 765733Speter long plong; 766733Speter }; 767733Speter struct { 768733Speter double pdouble; 769733Speter }; 770733Speter 771733Speter #define OCT 1 772733Speter #define HEX 2 773733Speter 774733Speter /* 775733Speter * MAIN PROGRAM VARIABLES, MISCELLANY 776733Speter */ 777733Speter 778733Speter /* 779733Speter * Variables forming a data base referencing 780733Speter * the command line arguments with the "i" option, e.g. 781733Speter * in "pi -i scanner.i compiler.p". 782733Speter */ 783733Speter char **pflist; 784733Speter short pflstc; 785733Speter short pfcnt; 786733Speter 787733Speter char *filename; /* current source file name */ 788733Speter long tvec; 789733Speter extern char *snark; /* SNARK */ 790733Speter extern char *classes[ ]; /* maps namelist classes to string names */ 791733Speter 792733Speter #define derror error 793733Speter 794733Speter #ifdef PC 795733Speter 796733Speter /* 797733Speter * the current function number, for [ lines 798733Speter */ 799733Speter int ftnno; 800733Speter 801733Speter /* 802733Speter * the pc output stream 803733Speter */ 804733Speter FILE *pcstream; 805733Speter 806733Speter #endif PC 807