1733Speter /* Copyright (c) 1979 Regents of the University of California */ 2733Speter 3*9126Smckusick /* static char sccsid[] = "@(#)0.h 1.17 11/11/82"; */ 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') 1656358Speter #define continuation() setpfx(' ') 166733Speter 1673071Smckusic int cgenflg; 168733Speter 169733Speter 170733Speter /* 171733Speter * The flag syneflg is used to suppress the diagnostics of the form 172733Speter * E 10 a, defined in someprocedure, is neither used nor set 173733Speter * when there were syntax errors in "someprocedure". 174733Speter * In this case, it is likely that these warinings would be spurious. 175733Speter */ 176733Speter bool syneflg; 177733Speter 178733Speter /* 179733Speter * The compiler keeps its error messages in a file. 180733Speter * The variable efil is the unit number on which 181733Speter * this file is open for reading of error message text. 182733Speter * Similarly, the file ofil is the unit of the file 183733Speter * "obj" where we write the interpreter code. 184733Speter */ 185733Speter short efil; 186733Speter short ofil; 187733Speter short obuf[518]; 188733Speter 1893071Smckusic bool Enoline; 1903071Smckusic #define elineoff() Enoline = TRUE 1913071Smckusic #define elineon() Enoline = FALSE 192733Speter 193733Speter 194733Speter /* 195733Speter * SYMBOL TABLE STRUCTURE DEFINITIONS 196733Speter * 197733Speter * The symbol table is henceforth referred to as the "namelist". 198733Speter * It consists of a number of structures of the form "nl" below. 199733Speter * These are contained in a number of segments of the symbol 200733Speter * table which are dynamically allocated as needed. 201733Speter * The major namelist manipulation routines are contained in the 202733Speter * file "nl.c". 203733Speter * 204733Speter * The major components of a namelist entry are the "symbol", giving 205733Speter * a pointer into the string table for the string associated with this 206733Speter * entry and the "class" which tells which of the (currently 19) 207733Speter * possible types of structure this is. 208733Speter * 209733Speter * Many of the classes use the "type" field for a pointer to the type 210733Speter * which the entry has. 211733Speter * 212733Speter * Other pieces of information in more than one class include the block 213733Speter * in which the symbol is defined, flags indicating whether the symbol 214733Speter * has been used and whether it has been assigned to, etc. 215733Speter * 216733Speter * A more complete discussion of the features of the namelist is impossible 217733Speter * here as it would be too voluminous. Refer to the "PI 1.0 Implementation 218733Speter * Notes" for more details. 219733Speter */ 220733Speter 221733Speter /* 222733Speter * The basic namelist structure. 2237915Smckusick * There is a union of data types defining the stored information 2247915Smckusick * as pointers, integers, longs, or a double. 225733Speter * 226733Speter * The array disptab defines the hash header for the symbol table. 227733Speter * Symbols are hashed based on the low 6 bits of their pointer into 228733Speter * the string table; see the routines in the file "lookup.c" and also "fdec.c" 229733Speter * especially "funcend". 230733Speter */ 2313220Smckusic extern int pnumcnt; 2323220Smckusic 233733Speter #ifdef PTREE 234733Speter # include "pTree.h" 235733Speter #endif PTREE 236733Speter struct nl { 237733Speter char *symbol; 2387915Smckusick char info[4]; 239733Speter struct nl *type; 240733Speter struct nl *chain, *nl_next; 2417915Smckusick union { 2427915Smckusick int *un_ptr[5]; 2437915Smckusick int un_value[5]; 2447915Smckusick long un_range[2]; 2457915Smckusick double un_real; 2467915Smckusick } nl_un; 247733Speter # ifdef PTREE 248733Speter pPointer inTree; 249733Speter # endif PTREE 2507915Smckusick }; 251733Speter 2528680Speter #define class info[0] 2538680Speter #define nl_flags info[1] 2548680Speter #define nl_block info[1] 2558680Speter #define extra_flags info[2] 2568680Speter #define align_info info[3] 257733Speter 2588680Speter #define range nl_un.un_range 2598680Speter #define value nl_un.un_value 2608680Speter #define ptr nl_un.un_ptr 2618680Speter #define real nl_un.un_real 262733Speter 2637915Smckusick extern struct nl *nlp, *disptab[077+1], *Fp; 2647915Smckusick extern struct nl nl[INL]; 265733Speter 2663370Speter 267733Speter /* 268733Speter * NL FLAGS BITS 269733Speter * 270733Speter * Definitions of the usage of the bits in 271733Speter * the nl_flags byte. Note that the low 5 bits of the 272733Speter * byte are the "nl_block" and that some classes make use 273733Speter * of this byte as a "width". 274733Speter * 275733Speter * The only non-obvious bit definition here is "NFILES" 276733Speter * which records whether a structure contains any files. 277733Speter * Such structures are not allowed to be dynamically allocated. 278733Speter */ 2793370Speter 2803370Speter #define BLOCKNO( flag ) ( flag & 037 ) 2813370Speter #define NLFLAGS( flag ) ( flag &~ 037 ) 2823370Speter 283733Speter #define NUSED 0100 284733Speter #define NMOD 0040 285733Speter #define NFORWD 0200 286733Speter #define NFILES 0200 287733Speter #ifdef PC 288733Speter #define NEXTERN 0001 /* flag used to mark external funcs and procs */ 2893823Speter #define NLOCAL 0002 /* variable is a local */ 2903823Speter #define NPARAM 0004 /* variable is a parameter */ 2913823Speter #define NGLOBAL 0010 /* variable is a global */ 2923823Speter #define NREGVAR 0020 /* or'ed in if variable is in a register */ 293*9126Smckusick #define NNLOCAL 0040 /* named local variable, not used in symbol table */ 2943823Speter #endif PC 2953370Speter 2963540Speter /* 2973540Speter * used to mark value[ NL_FORV ] for loop variables 2983540Speter */ 2993540Speter #define FORVAR 1 300733Speter 301733Speter /* 302733Speter * Definition of the commonly used "value" fields. 303733Speter * The most important one is NL_OFFS which gives 304733Speter * the offset of a variable in its stack mark. 305733Speter */ 306733Speter #define NL_OFFS 0 307733Speter 308733Speter #define NL_CNTR 1 3093296Smckusic #define NL_NLSTRT 2 3103296Smckusic #define NL_LINENO 3 311733Speter #define NL_FVAR 3 3127915Smckusick #define NL_ENTLOC 4 /* FUNC, PROC - entry point */ 3137915Smckusick #define NL_FCHAIN 4 /* FFUNC, FPROC - ptr to formals */ 314733Speter 315733Speter #define NL_GOLEV 2 316733Speter #define NL_GOLINE 3 317733Speter #define NL_FORV 1 318733Speter 3198680Speter /* 3208680Speter * nlp -> nl_un.un_ptr[] subscripts for records 3218680Speter * NL_FIELDLIST the chain of fixed fields of a record, in order. 3228680Speter * the fields are also chained through ptr[NL_FIELDLIST]. 3238680Speter * this does not include the tag, or fields of variants. 3248680Speter * NL_VARNT pointer to the variants of a record, 3258680Speter * these are then chained through the .chain field. 3268680Speter * NL_VTOREC pointer from a VARNT to the RECORD that is the variant. 3278680Speter * NL_TAG pointer from a RECORD to the tagfield 3288680Speter * if there are any variants. 3298680Speter * align_info the alignment of a RECORD is in info[3]. 3308680Speter */ 3318680Speter #define NL_FIELDLIST 1 3328680Speter #define NL_VARNT 2 3338680Speter #define NL_VTOREC 2 3348680Speter #define NL_TAG 3 3358680Speter /* and align_info is info[3]. #defined above */ 336733Speter 3377915Smckusick #define NL_ELABEL 4 /* SCAL - ptr to definition of enums */ 338733Speter 339733Speter /* 340733Speter * For BADUSE nl structures, NL_KINDS is a bit vector 341733Speter * indicating the kinds of illegal usages complained about 342733Speter * so far. For kind of bad use "kind", "1 << kind" is set. 343733Speter * The low bit is reserved as ISUNDEF to indicate whether 344733Speter * this identifier is totally undefined. 345733Speter */ 346733Speter #define NL_KINDS 0 347733Speter 348733Speter #define ISUNDEF 1 3493275Smckusic 3503823Speter /* 3513823Speter * variables come in three flavors: globals, parameters, locals; 3523823Speter * they can also hide in registers, but that's a different flag 3533823Speter */ 3543275Smckusic #define PARAMVAR 1 3553275Smckusic #define LOCALVAR 2 3563823Speter #define GLOBALVAR 3 357*9126Smckusick #define NAMEDLOCALVAR 4 358733Speter 359733Speter /* 360733Speter * NAMELIST CLASSES 361733Speter * 362733Speter * The following are the namelist classes. 363733Speter * Different classes make use of the value fields 364733Speter * of the namelist in different ways. 365733Speter * 366733Speter * The namelist should be redesigned by providing 367733Speter * a number of structure definitions with one corresponding 368733Speter * to each namelist class, ala a variant record in Pascal. 369733Speter */ 370733Speter #define BADUSE 0 371733Speter #define CONST 1 372733Speter #define TYPE 2 373733Speter #define VAR 3 374733Speter #define ARRAY 4 375733Speter #define PTRFILE 5 376733Speter #define RECORD 6 377733Speter #define FIELD 7 378733Speter #define PROC 8 379733Speter #define FUNC 9 380733Speter #define FVAR 10 381733Speter #define REF 11 382733Speter #define PTR 12 383733Speter #define FILET 13 384733Speter #define SET 14 385733Speter #define RANGE 15 386733Speter #define LABEL 16 387733Speter #define WITHPTR 17 388733Speter #define SCAL 18 389733Speter #define STR 19 390733Speter #define PROG 20 391733Speter #define IMPROPER 21 392733Speter #define VARNT 22 3931194Speter #define FPROC 23 3941194Speter #define FFUNC 24 395733Speter 396733Speter /* 397733Speter * Clnames points to an array of names for the 398733Speter * namelist classes. 399733Speter */ 400733Speter char **clnames; 401733Speter 402733Speter /* 403733Speter * PRE-DEFINED NAMELIST OFFSETS 404733Speter * 405733Speter * The following are the namelist offsets for the 406733Speter * primitive types. The ones which are negative 407733Speter * don't actually exist, but are generated and tested 408733Speter * internally. These definitions are sensitive to the 409733Speter * initializations in nl.c. 410733Speter */ 411733Speter #define TFIRST -7 412733Speter #define TFILE -7 413733Speter #define TREC -6 414733Speter #define TARY -5 415733Speter #define TSCAL -4 416733Speter #define TPTR -3 417733Speter #define TSET -2 418733Speter #define TSTR -1 419733Speter #define NIL 0 420733Speter #define TBOOL 1 421733Speter #define TCHAR 2 422733Speter #define TINT 3 423733Speter #define TDOUBLE 4 424733Speter #define TNIL 5 425733Speter #define T1INT 6 426733Speter #define T2INT 7 427733Speter #define T4INT 8 428733Speter #define T1CHAR 9 429733Speter #define T1BOOL 10 430733Speter #define T8REAL 11 431733Speter #define TLAST 11 432733Speter 433733Speter /* 434733Speter * SEMANTIC DEFINITIONS 435733Speter */ 436733Speter 437733Speter /* 438733Speter * NOCON and SAWCON are flags in the tree telling whether 439733Speter * a constant set is part of an expression. 4403314Speter * these are no longer used, 4413314Speter * since we now do constant sets at compile time. 442733Speter */ 443733Speter #define NOCON 0 444733Speter #define SAWCON 1 445733Speter 446733Speter /* 447733Speter * The variable cbn gives the current block number, 448733Speter * the variable bn is set as a side effect of a call to 449733Speter * lookup, and is the block number of the variable which 450733Speter * was found. 451733Speter */ 452733Speter short bn, cbn; 453733Speter 454733Speter /* 455733Speter * The variable line is the current semantic 456733Speter * line and is set in stat.c from the numbers 457733Speter * embedded in statement type tree nodes. 458733Speter */ 459733Speter short line; 460733Speter 461733Speter /* 462733Speter * The size of the display 463733Speter * which defines the maximum nesting 464733Speter * of procedures and functions allowed. 465733Speter * Because of the flags in the current namelist 466733Speter * this must be no greater than 32. 467733Speter */ 468733Speter #define DSPLYSZ 20 469733Speter 4703425Speter /* 4713425Speter * the display is made up of saved AP's and FP's. 4723425Speter * FP's are used to find locals, and AP's are used to find parameters. 4733425Speter * FP and AP are untyped pointers, but are used throughout as (char *). 4743425Speter * the display is used by adding AP_OFFSET or FP_OFFSET to the 4753425Speter * address of the approriate display entry. 4763425Speter */ 4773425Speter struct dispsave { 4783425Speter char *savedAP; 4793425Speter char *savedFP; 4803425Speter } display[ DSPLYSZ ]; 4813425Speter 4823425Speter #define AP_OFFSET ( 0 ) 4833425Speter #define FP_OFFSET ( sizeof(char *) ) 4843425Speter 4853425Speter /* 4863425Speter * formal routine structure: 4873425Speter */ 4883425Speter struct formalrtn { 4893425Speter long (*fentryaddr)(); /* formal entry point */ 4903425Speter long fbn; /* block number of function */ 4913425Speter struct dispsave fdisp[ DSPLYSZ ]; /* saved at first passing */ 4923425Speter } frtn; 4933425Speter 4943425Speter #define FENTRYOFFSET 0 4953425Speter #define FBNOFFSET ( FENTRYOFFSET + sizeof frtn.fentryaddr ) 4963425Speter #define FDISPOFFSET ( FBNOFFSET + sizeof frtn.fbn ) 4973425Speter 498733Speter /* 499733Speter * The following structure is used 500733Speter * to keep track of the amount of variable 501733Speter * storage required by each block. 502733Speter * "Max" is the high water mark, "off" 503733Speter * the current need. Temporaries for "for" 504733Speter * loops and "with" statements are allocated 505733Speter * in the local variable area and these 506733Speter * numbers are thereby changed if necessary. 507733Speter */ 508733Speter struct om { 509733Speter long om_max; 5103220Smckusic long reg_max; 5113220Smckusic struct tmps { 5123220Smckusic long om_off; 5133220Smckusic long reg_off; 5143220Smckusic } curtmps; 515733Speter } sizes[DSPLYSZ]; 5163220Smckusic #define NOREG 0 5173220Smckusic #define REGOK 1 518733Speter 519733Speter /* 520733Speter * the following structure records whether a level declares 521733Speter * any variables which are (or contain) files. 522733Speter * this so that the runtime routines for file cleanup can be invoked. 523733Speter */ 524733Speter bool dfiles[ DSPLYSZ ]; 525733Speter 526733Speter /* 527733Speter * Structure recording information about a constant 528733Speter * declaration. It is actually the return value from 529733Speter * the routine "gconst", but since C doesn't support 530733Speter * record valued functions, this is more convenient. 531733Speter */ 532733Speter struct { 533733Speter struct nl *ctype; 534733Speter short cival; 535733Speter double crval; 536733Speter int *cpval; 537733Speter } con; 538733Speter 539733Speter /* 540733Speter * The set structure records the lower bound 541733Speter * and upper bound with the lower bound normalized 542733Speter * to zero when working with a set. It is set by 543733Speter * the routine setran in var.c. 544733Speter */ 545733Speter struct { 546733Speter short lwrb, uprbp; 547733Speter } set; 548733Speter 549733Speter /* 550733Speter * structures of this kind are filled in by precset and used by postcset 551733Speter * to indicate things about constant sets. 552733Speter */ 553733Speter struct csetstr { 554733Speter struct nl *csettype; 555733Speter long paircnt; 556733Speter long singcnt; 557733Speter bool comptime; 558733Speter }; 559733Speter /* 560733Speter * The following flags are passed on calls to lvalue 561733Speter * to indicate how the reference is to affect the usage 562733Speter * information for the variable being referenced. 563733Speter * MOD is used to set the NMOD flag in the namelist 564733Speter * entry for the variable, ASGN permits diagnostics 565733Speter * to be formed when a for variable is assigned to in 566733Speter * the range of the loop. 567733Speter */ 568733Speter #define NOFLAGS 0 569733Speter #define MOD 01 570733Speter #define ASGN 02 571733Speter #define NOUSE 04 572733Speter 573733Speter /* 574733Speter * the following flags are passed to lvalue and rvalue 575733Speter * to tell them whether an lvalue or rvalue is required. 576733Speter * the semantics checking is done according to the function called, 577733Speter * but for pc, lvalue may put out an rvalue by indirecting afterwards, 578733Speter * and rvalue may stop short of putting out the indirection. 579733Speter */ 580733Speter #define LREQ 01 581733Speter #define RREQ 02 582733Speter 583733Speter double MAXINT; 584733Speter double MININT; 585733Speter 586733Speter /* 587733Speter * Variables for generation of profile information. 588733Speter * Monflg is set when we want to generate a profile. 589733Speter * Gocnt record the total number of goto's and 590733Speter * cnts records the current counter for generating 591733Speter * COUNT operators. 592733Speter */ 593733Speter short gocnt; 594733Speter short cnts; 595733Speter 596733Speter /* 597733Speter * Most routines call "incompat" rather than asking "!compat" 598733Speter * for historical reasons. 599733Speter */ 600733Speter #define incompat !compat 601733Speter 602733Speter /* 603733Speter * Parts records which declaration parts have been seen. 604833Speter * The grammar allows the "label" "const" "type" "var" and routine 605733Speter * parts to be repeated and to be in any order, so that 606733Speter * they can be detected semantically to give better 607733Speter * error diagnostics. 608*9126Smckusick * 609*9126Smckusick * The flag NONLOCALVAR indicates that a non-local var has actually 610*9126Smckusick * been used hence the display must be saved; NONLOCALGOTO indicates 611*9126Smckusick * that a non-local goto has been done hence that a setjmp must be done. 612733Speter */ 613833Speter int parts[ DSPLYSZ ]; 614733Speter 615*9126Smckusick #define LPRT 0x0001 616*9126Smckusick #define CPRT 0x0002 617*9126Smckusick #define TPRT 0x0004 618*9126Smckusick #define VPRT 0x0008 619*9126Smckusick #define RPRT 0x0010 620733Speter 621*9126Smckusick #define NONLOCALVAR 0x0020 622*9126Smckusick #define NONLOCALGOTO 0x0040 623*9126Smckusick 624733Speter /* 625733Speter * Flags for the "you used / instead of div" diagnostic 626733Speter */ 627733Speter bool divchk; 628733Speter bool divflg; 629733Speter 6303071Smckusic bool errcnt[DSPLYSZ]; 631733Speter 632733Speter /* 633733Speter * Forechain links those types which are 634733Speter * ^ sometype 635733Speter * so that they can be evaluated later, permitting 636733Speter * circular, recursive list structures to be defined. 637733Speter */ 638733Speter struct nl *forechain; 639733Speter 640733Speter /* 641733Speter * Withlist links all the records which are currently 642733Speter * opened scopes because of with statements. 643733Speter */ 644733Speter struct nl *withlist; 645733Speter 646733Speter struct nl *intset; 647733Speter struct nl *input, *output; 648733Speter struct nl *program; 649733Speter 650733Speter /* progseen flag used by PC to determine if 651733Speter * a routine segment is being compiled (and 652733Speter * therefore no program statement seen) 653733Speter */ 654733Speter bool progseen; 655733Speter 656733Speter 657733Speter /* 658733Speter * STRUCTURED STATEMENT GOTO CHECKING 659733Speter * 660733Speter * The variable level keeps track of the current 661733Speter * "structured statement level" when processing the statement 662733Speter * body of blocks. This is used in the detection of goto's into 663733Speter * structured statements in a block. 664733Speter * 665733Speter * Each label's namelist entry contains two pieces of information 666733Speter * related to this check. The first `NL_GOLEV' either contains 667733Speter * the level at which the label was declared, `NOTYET' if the label 668733Speter * has not yet been declared, or `DEAD' if the label is dead, i.e. 669733Speter * if we have exited the level in which the label was defined. 670733Speter * 671733Speter * When we discover a "goto" statement, if the label has not 672733Speter * been defined yet, then we record the current level and the current line 673733Speter * for a later error check. If the label has been already become "DEAD" 674733Speter * then a reference to it is an error. Now the compiler maintains, 675733Speter * for each block, a linked list of the labels headed by "gotos[bn]". 676733Speter * When we exit a structured level, we perform the routine 677733Speter * ungoto in stat.c. It notices labels whose definition levels have been 678733Speter * exited and makes them be dead. For labels which have not yet been 679733Speter * defined, ungoto will maintain NL_GOLEV as the minimum structured level 680733Speter * since the first usage of the label. It is not hard to see that the label 681733Speter * must eventually be declared at this level or an outer level to this 682733Speter * one or a goto into a structured statement will exist. 683733Speter */ 684733Speter short level; 685733Speter struct nl *gotos[DSPLYSZ]; 686733Speter 687733Speter #define NOTYET 10000 688733Speter #define DEAD 10000 689733Speter 690733Speter /* 691733Speter * Noreach is true when the next statement will 692733Speter * be unreachable unless something happens along 693733Speter * (like exiting a looping construct) to save 694733Speter * the day. 695733Speter */ 696733Speter bool noreach; 697733Speter 698733Speter /* 699733Speter * UNDEFINED VARIABLE REFERENCE STRUCTURES 700733Speter */ 701733Speter struct udinfo { 702733Speter int ud_line; 703733Speter struct udinfo *ud_next; 704733Speter char nullch; 705733Speter }; 706733Speter 707733Speter /* 708733Speter * CODE GENERATION DEFINITIONS 709733Speter */ 710733Speter 711733Speter /* 712733Speter * NSTAND is or'ed onto the abstract machine opcode 713733Speter * for non-standard built-in procedures and functions. 714733Speter */ 715733Speter #define NSTAND 0400 716733Speter 717733Speter #define codeon() cgenflg++ 718733Speter #define codeoff() --cgenflg 7193314Speter #define CGENNING ( cgenflg >= 0 ) 720733Speter 721733Speter /* 722733Speter * Codeline is the last lino output in the code generator. 723733Speter * It used to be used to suppress LINO operators but no 724733Speter * more since we now count statements. 725733Speter * Lc is the intepreter code location counter. 726733Speter * 727733Speter short codeline; 728733Speter */ 729733Speter char *lc; 730733Speter 731733Speter 732733Speter /* 733733Speter * Routines which need types 734733Speter * other than "integer" to be 735733Speter * assumed by the compiler. 736733Speter */ 737733Speter double atof(); 738733Speter long lwidth(); 7393071Smckusic long leven(); 740733Speter long aryconst(); 741733Speter long a8tol(); 7423071Smckusic long roundup(); 7433823Speter struct nl *tmpalloc(); 744733Speter struct nl *lookup(); 745733Speter double atof(); 746733Speter int *tree(); 747733Speter int *hash(); 748733Speter char *alloc(); 749733Speter int *calloc(); 750733Speter char *savestr(); 7513283Smckusic char *parnam(); 7523283Smckusic bool fcompat(); 753733Speter struct nl *lookup1(); 754733Speter struct nl *hdefnl(); 755733Speter struct nl *defnl(); 756733Speter struct nl *enter(); 757733Speter struct nl *nlcopy(); 7588680Speter struct nl *tyrec(); 759733Speter struct nl *tyary(); 760733Speter struct nl *deffld(); 761733Speter struct nl *defvnt(); 762733Speter struct nl *tyrec1(); 763733Speter struct nl *reclook(); 764733Speter struct nl *asgnop1(); 765733Speter struct nl *gtype(); 766733Speter struct nl *call(); 767733Speter struct nl *lvalue(); 768733Speter struct nl *rvalue(); 769733Speter struct nl *cset(); 770733Speter 771733Speter /* 772733Speter * type cast NIL to keep lint happy (which is not so bad) 773733Speter */ 774733Speter #define NLNIL ( (struct nl *) NIL ) 775733Speter 776733Speter /* 777733Speter * Funny structures to use 778733Speter * pointers in wild and wooly ways 779733Speter */ 780733Speter struct { 781733Speter char pchar; 782733Speter }; 783733Speter struct { 784733Speter short pint; 785733Speter short pint2; 786733Speter }; 787733Speter struct { 788733Speter long plong; 789733Speter }; 790733Speter struct { 791733Speter double pdouble; 792733Speter }; 793733Speter 794733Speter #define OCT 1 795733Speter #define HEX 2 796733Speter 797733Speter /* 798733Speter * MAIN PROGRAM VARIABLES, MISCELLANY 799733Speter */ 800733Speter 801733Speter /* 802733Speter * Variables forming a data base referencing 803733Speter * the command line arguments with the "i" option, e.g. 804733Speter * in "pi -i scanner.i compiler.p". 805733Speter */ 806733Speter char **pflist; 807733Speter short pflstc; 808733Speter short pfcnt; 809733Speter 810733Speter char *filename; /* current source file name */ 811733Speter long tvec; 812733Speter extern char *snark; /* SNARK */ 813733Speter extern char *classes[ ]; /* maps namelist classes to string names */ 814733Speter 815733Speter #define derror error 816733Speter 817733Speter #ifdef PC 818733Speter 819733Speter /* 820733Speter * the current function number, for [ lines 821733Speter */ 822733Speter int ftnno; 823733Speter 824733Speter /* 825733Speter * the pc output stream 826733Speter */ 827733Speter FILE *pcstream; 828733Speter 829733Speter #endif PC 830