Annotation of 43BSDReno/pgrm/f77/pass1.tahoe/proc.c, revision 1.1

1.1     ! root        1: /*
        !             2:  * Copyright (c) 1980 Regents of the University of California.
        !             3:  * All rights reserved.  The Berkeley software License Agreement
        !             4:  * specifies the terms and conditions for redistribution.
        !             5:  */
        !             6: 
        !             7: #ifndef lint
        !             8: static char sccsid[] = "@(#)proc.c     5.2 (Berkeley) 6/9/85";
        !             9: #endif not lint
        !            10: 
        !            11: /*
        !            12:  * proc.c
        !            13:  *
        !            14:  * Routines for handling procedures, f77 compiler, pass 1.
        !            15:  *
        !            16:  * University of Utah CS Dept modification history:
        !            17:  *
        !            18:  * $Header: proc.c,v 3.11 85/06/04 03:45:29 donn Exp $
        !            19:  * $Log:       proc.c,v $
        !            20:  * Revision 3.11  85/06/04  03:45:29  donn
        !            21:  * Changed retval() to recognize that a function declaration might have
        !            22:  * bombed out earlier, leaving an error node behind...
        !            23:  * 
        !            24:  * Revision 3.10  85/03/08  23:13:06  donn
        !            25:  * Finally figured out why function calls and array elements are not legal
        !            26:  * dummy array dimension declarator elements.  Hacked safedim() to stop 'em.
        !            27:  * 
        !            28:  * Revision 3.9  85/02/02  00:26:10  donn
        !            29:  * Removed the call to entrystab() in enddcl() -- this was redundant (it was
        !            30:  * also done in startproc()) and confusing to dbx to boot.
        !            31:  * 
        !            32:  * Revision 3.8  85/01/14  04:21:53  donn
        !            33:  * Added changes to implement Jerry's '-q' option.
        !            34:  * 
        !            35:  * Revision 3.7  85/01/11  21:10:35  donn
        !            36:  * In conjunction with other changes to implement SAVE statements, function
        !            37:  * nameblocks were changed to make it appear that they are 'saved' too --
        !            38:  * this arranges things so that function return values are forced out of
        !            39:  * register before a return.
        !            40:  * 
        !            41:  * Revision 3.6  84/12/10  19:27:20  donn
        !            42:  * comblock() signals an illegal common block name by returning a null pointer,
        !            43:  * but incomm() wasn't able to handle it, leading to core dumps.  I put the
        !            44:  * fix in incomm() to pick up null common blocks.
        !            45:  * 
        !            46:  * Revision 3.5  84/11/21  20:33:31  donn
        !            47:  * It seems that I/O elements are treated as character strings so that their
        !            48:  * length can be passed to the I/O routines...  Unfortunately the compiler
        !            49:  * assumes that no temporaries can be of type CHARACTER and casually tosses
        !            50:  * length and type info away when removing TEMP blocks.  This has been fixed...
        !            51:  * 
        !            52:  * Revision 3.4  84/11/05  22:19:30  donn
        !            53:  * Fixed a silly bug in the last fix.
        !            54:  * 
        !            55:  * Revision 3.3  84/10/29  08:15:23  donn
        !            56:  * Added code to check the type and shape of subscript declarations,
        !            57:  * per Jerry Berkman's suggestion.
        !            58:  * 
        !            59:  * Revision 3.2  84/10/29  05:52:07  donn
        !            60:  * Added change suggested by Jerry Berkman to report an error when an array
        !            61:  * is redimensioned.
        !            62:  * 
        !            63:  * Revision 3.1  84/10/13  02:12:31  donn
        !            64:  * Merged Jerry Berkman's version into mine.
        !            65:  * 
        !            66:  * Revision 2.1  84/07/19  12:04:09  donn
        !            67:  * Changed comment headers for UofU.
        !            68:  * 
        !            69:  * Revision 1.6  84/07/19  11:32:15  donn
        !            70:  * Incorporated fix to setbound() to detect backward array subscript limits.
        !            71:  * The fix is by Bob Corbett, donated by Jerry Berkman.
        !            72:  * 
        !            73:  * Revision 1.5  84/07/18  18:25:50  donn
        !            74:  * Fixed problem with doentry() where a placeholder for a return value
        !            75:  * was not allocated if the first entry didn't require one but a later
        !            76:  * entry did.
        !            77:  * 
        !            78:  * Revision 1.4  84/05/24  20:52:09  donn
        !            79:  * Installed firewall #ifdef around the code that recycles stack temporaries,
        !            80:  * since it seems to be broken and lacks a good fix for the time being.
        !            81:  * 
        !            82:  * Revision 1.3  84/04/16  09:50:46  donn
        !            83:  * Fixed mkargtemp() so that it only passes back a copy of a temporary, keeping
        !            84:  * the original for its own use.  This fixes a set of bugs that are caused by
        !            85:  * elements in the argtemplist getting stomped on.
        !            86:  * 
        !            87:  * Revision 1.2  84/02/28  21:12:58  donn
        !            88:  * Added Berkeley changes for subroutine call argument temporaries fix.
        !            89:  * 
        !            90:  */
        !            91: 
        !            92: #include "defs.h"
        !            93: 
        !            94: #ifdef SDB
        !            95: #      include <a.out.h>
        !            96: #      ifndef N_SO
        !            97: #              include <stab.h>
        !            98: #      endif
        !            99: #endif
        !           100: 
        !           101: extern flag namesflag;
        !           102: 
        !           103: typedef
        !           104:   struct SizeList
        !           105:     {
        !           106:       struct SizeList *next;
        !           107:       ftnint size;
        !           108:       struct VarList *vars;
        !           109:     }
        !           110:   sizelist;
        !           111: 
        !           112: 
        !           113: typedef
        !           114:   struct VarList
        !           115:     {
        !           116:       struct VarList *next;
        !           117:       Namep np;
        !           118:       struct Equivblock *ep;
        !           119:     }
        !           120:   varlist;
        !           121: 
        !           122: 
        !           123: LOCAL sizelist *varsizes;
        !           124: 
        !           125: 
        !           126: /* start a new procedure */
        !           127: 
        !           128: newproc()
        !           129: {
        !           130: if(parstate != OUTSIDE)
        !           131:        {
        !           132:        execerr("missing end statement", CNULL);
        !           133:        endproc();
        !           134:        }
        !           135: 
        !           136: parstate = INSIDE;
        !           137: procclass = CLMAIN;    /* default */
        !           138: }
        !           139: 
        !           140: 
        !           141: 
        !           142: /* end of procedure. generate variables, epilogs, and prologs */
        !           143: 
        !           144: endproc()
        !           145: {
        !           146: struct Labelblock *lp;
        !           147: 
        !           148: if(parstate < INDATA)
        !           149:        enddcl();
        !           150: if(ctlstack >= ctls)
        !           151:        err("DO loop or BLOCK IF not closed");
        !           152: for(lp = labeltab ; lp < labtabend ; ++lp)
        !           153:        if(lp->stateno!=0 && lp->labdefined==NO)
        !           154:                errstr("missing statement number %s", convic(lp->stateno) );
        !           155: 
        !           156: if (optimflag)
        !           157:   optimize();
        !           158: 
        !           159: outiodata();
        !           160: epicode();
        !           161: procode();
        !           162: donmlist();
        !           163: dobss();
        !           164: 
        !           165: #if FAMILY == PCC
        !           166:        putbracket();
        !           167: #endif
        !           168: procinit();    /* clean up for next procedure */
        !           169: }
        !           170: 
        !           171: 
        !           172: 
        !           173: /* End of declaration section of procedure.  Allocate storage. */
        !           174: 
        !           175: enddcl()
        !           176: {
        !           177: register struct Entrypoint *ep;
        !           178: 
        !           179: parstate = INEXEC;
        !           180: docommon();
        !           181: doequiv();
        !           182: docomleng();
        !           183: for(ep = entries ; ep ; ep = ep->entnextp) {
        !           184:        doentry(ep);
        !           185: }
        !           186: }
        !           187: 
        !           188: /* ROUTINES CALLED WHEN ENCOUNTERING ENTRY POINTS */
        !           189: 
        !           190: /* Main program or Block data */
        !           191: 
        !           192: startproc(prgname, class)
        !           193: Namep prgname;
        !           194: int class;
        !           195: {
        !           196: struct Extsym *progname;
        !           197: register struct Entrypoint *p;
        !           198: 
        !           199: if(prgname)
        !           200:        procname = prgname->varname;
        !           201: if(namesflag == YES) {
        !           202:        fprintf(diagfile, "   %s", (class==CLMAIN ? "MAIN" : "BLOCK DATA") );
        !           203:        if(prgname)
        !           204:                fprintf(diagfile, " %s", varstr(XL, procname) );
        !           205:        fprintf(diagfile, ":\n");
        !           206:        }
        !           207: 
        !           208: if( prgname ) 
        !           209:        progname = newentry( prgname );
        !           210: else
        !           211:        progname = NULL;
        !           212: 
        !           213: p = ALLOC(Entrypoint);
        !           214: if(class == CLMAIN)
        !           215:        puthead("MAIN_", CLMAIN);
        !           216: else
        !           217:        puthead(CNULL, CLBLOCK);
        !           218: if(class == CLMAIN)
        !           219:        newentry( mkname(5, "MAIN") );
        !           220: p->entryname = progname;
        !           221: p->entrylabel = newlabel();
        !           222: entries = p;
        !           223: 
        !           224: procclass = class;
        !           225: retlabel = newlabel();
        !           226: #ifdef SDB
        !           227: if(sdbflag) {
        !           228:          entrystab(p,class);
        !           229: }
        !           230: #endif
        !           231: }
        !           232: 
        !           233: /* subroutine or function statement */
        !           234: 
        !           235: struct Extsym *newentry(v)
        !           236: register Namep v;
        !           237: {
        !           238: register struct Extsym *p;
        !           239: 
        !           240: p = mkext( varunder(VL, v->varname) );
        !           241: 
        !           242: if(p==NULL || p->extinit || ! ONEOF(p->extstg, M(STGUNKNOWN)|M(STGEXT)) )
        !           243:        {
        !           244:        if(p == 0)
        !           245:                dclerr("invalid entry name", v);
        !           246:        else    dclerr("external name already used", v);
        !           247:        return(0);
        !           248:        }
        !           249: v->vstg = STGAUTO;
        !           250: v->vprocclass = PTHISPROC;
        !           251: v->vclass = CLPROC;
        !           252: p->extstg = STGEXT;
        !           253: p->extinit = YES;
        !           254: return(p);
        !           255: }
        !           256: 
        !           257: 
        !           258: entrypt(class, type, length, entname, args)
        !           259: int class, type;
        !           260: ftnint length;
        !           261: Namep entname;
        !           262: chainp args;
        !           263: {
        !           264: struct Extsym *entry;
        !           265: register Namep q;
        !           266: register struct Entrypoint *p, *ep;
        !           267: 
        !           268: if(namesflag == YES) {
        !           269:        if(class == CLENTRY)
        !           270:                fprintf(diagfile, "       entry ");
        !           271:        if(entname)
        !           272:                fprintf(diagfile, "   %s", varstr(XL, entname->varname) );
        !           273:        fprintf(diagfile, ":\n");
        !           274:        }
        !           275: 
        !           276: if( entname->vclass == CLPARAM ) {
        !           277:        errstr("entry name %s used in 'parameter' statement", 
        !           278:                varstr(XL, entname->varname) );
        !           279:        return;
        !           280:        }
        !           281: if( ((type == TYSUBR) || (class == CLENTRY && proctype == TYSUBR)) 
        !           282:        && (entname->vtype != TYUNKNOWN && entname->vtype != TYSUBR) ) {
        !           283:        errstr("subroutine entry %s previously declared",
        !           284:                varstr(XL, entname->varname) );
        !           285:        return;
        !           286:        }
        !           287: if(  (entname->vstg != STGEXT && entname->vstg != STGUNKNOWN)
        !           288:        ||  (entname->vdim != NULL) ) {
        !           289:        errstr("subroutine or function entry %s previously declared",
        !           290:                varstr(XL, entname->varname) );
        !           291:        return;
        !           292:        }
        !           293: 
        !           294: if( (class == CLPROC || class == CLENTRY) && type != TYSUBR )
        !           295:        /* arrange to save function return values */
        !           296:        entname->vsave = YES;
        !           297:        
        !           298: entry = newentry( entname );
        !           299: 
        !           300: if(class != CLENTRY)
        !           301:        puthead( varstr(XL, procname = entry->extname), class);
        !           302: q = mkname(VL, nounder(XL,entry->extname) );
        !           303: 
        !           304: if( (type = lengtype(type, (int) length)) != TYCHAR)
        !           305:        length = 0;
        !           306: if(class == CLPROC)
        !           307:        {
        !           308:        procclass = CLPROC;
        !           309:        proctype = type;
        !           310:        procleng = length;
        !           311: 
        !           312:        retlabel = newlabel();
        !           313:        if(type == TYSUBR)
        !           314:                ret0label = newlabel();
        !           315:        }
        !           316: 
        !           317: p = ALLOC(Entrypoint);
        !           318: if(entries)    /* put new block at end of entries list */
        !           319:        {
        !           320:        for(ep = entries; ep->entnextp; ep = ep->entnextp)
        !           321:                ;
        !           322:        ep->entnextp = p;
        !           323:        }
        !           324: else
        !           325:        entries = p;
        !           326: 
        !           327: p->entryname = entry;
        !           328: p->arglist = args;
        !           329: p->entrylabel = newlabel();
        !           330: p->enamep = q;
        !           331: 
        !           332: if(class == CLENTRY)
        !           333:        {
        !           334:        class = CLPROC;
        !           335:        if(proctype == TYSUBR)
        !           336:                type = TYSUBR;
        !           337:        }
        !           338: 
        !           339: q->vclass = class;
        !           340: q->vprocclass = PTHISPROC;
        !           341: settype(q, type, (int) length);
        !           342: /* hold all initial entry points till end of declarations */
        !           343: if(parstate >= INDATA) {
        !           344:        doentry(p);
        !           345: }
        !           346: #ifdef SDB
        !           347:        if(sdbflag)
        !           348:        { /* may need to preserve CLENTRY here */
        !           349:        entrystab(p,class);
        !           350:        }
        !           351: #endif
        !           352: }
        !           353: 
        !           354: /* generate epilogs */
        !           355: 
        !           356: LOCAL epicode()
        !           357: {
        !           358: register int i;
        !           359: 
        !           360: if(procclass==CLPROC)
        !           361:        {
        !           362:        if(proctype==TYSUBR)
        !           363:                {
        !           364:                putlabel(ret0label);
        !           365:                if(substars)
        !           366:                        putforce(TYINT, ICON(0) );
        !           367:                putlabel(retlabel);
        !           368:                goret(TYSUBR);
        !           369:                }
        !           370:        else    {
        !           371:                putlabel(retlabel);
        !           372:                if(multitype)
        !           373:                        {
        !           374:                        typeaddr = autovar(1, TYADDR, PNULL);
        !           375:                        putbranch( cpexpr(typeaddr) );
        !           376:                        for(i = 0; i < NTYPES ; ++i)
        !           377:                                if(rtvlabel[i] != 0)
        !           378:                                        {
        !           379:                                        putlabel(rtvlabel[i]);
        !           380:                                        retval(i);
        !           381:                                        }
        !           382:                        }
        !           383:                else
        !           384:                        retval(proctype);
        !           385:                }
        !           386:        }
        !           387: 
        !           388: else if(procclass != CLBLOCK)
        !           389:        {
        !           390:        putlabel(retlabel);
        !           391:        goret(TYSUBR);
        !           392:        }
        !           393: }
        !           394: 
        !           395: 
        !           396: /* generate code to return value of type  t */
        !           397: 
        !           398: LOCAL retval(t)
        !           399: register int t;
        !           400: {
        !           401: register Addrp p;
        !           402: 
        !           403: switch(t)
        !           404:        {
        !           405:        case TYCHAR:
        !           406:        case TYCOMPLEX:
        !           407:        case TYDCOMPLEX:
        !           408:                break;
        !           409: 
        !           410:        case TYLOGICAL:
        !           411:                t = tylogical;
        !           412:        case TYADDR:
        !           413:        case TYSHORT:
        !           414:        case TYLONG:
        !           415:                p = (Addrp) cpexpr(retslot);
        !           416:                p->vtype = t;
        !           417:                putforce(t, p);
        !           418:                break;
        !           419: 
        !           420:        case TYREAL:
        !           421:        case TYDREAL:
        !           422:                p = (Addrp) cpexpr(retslot);
        !           423:                p->vtype = t;
        !           424:                putforce(t, p);
        !           425:                break;
        !           426: 
        !           427:        case TYERROR:
        !           428:                return;         /* someone else already complained */
        !           429: 
        !           430:        default:
        !           431:                badtype("retval", t);
        !           432:        }
        !           433: goret(t);
        !           434: }
        !           435: 
        !           436: 
        !           437: /* Allocate extra argument array if needed. Generate prologs. */
        !           438: 
        !           439: LOCAL procode()
        !           440: {
        !           441: register struct Entrypoint *p;
        !           442: Addrp argvec;
        !           443: 
        !           444: #if TARGET==GCOS 
        !           445:        argvec = autovar(lastargslot/SZADDR, TYADDR, PNULL);
        !           446: #else
        !           447:        if(lastargslot>0 && nentry>1)
        !           448: #if TARGET == VAX || TARGET == TAHOE
        !           449:                argvec = autovar(1 + lastargslot/SZADDR, TYADDR, PNULL);
        !           450: #else
        !           451:                argvec = autovar(lastargslot/SZADDR, TYADDR, PNULL);
        !           452: #endif
        !           453:        else
        !           454:                argvec = NULL;
        !           455: #endif
        !           456: 
        !           457: 
        !           458: #if TARGET == PDP11
        !           459:        /* for the optimizer */
        !           460:        if(fudgelabel)
        !           461:                putlabel(fudgelabel);
        !           462: #endif
        !           463: 
        !           464: for(p = entries ; p ; p = p->entnextp)
        !           465:        prolog(p, argvec);
        !           466: 
        !           467: #if FAMILY == PCC
        !           468:        putrbrack(procno);
        !           469: #endif
        !           470: 
        !           471: prendproc();
        !           472: }
        !           473: 
        !           474: 
        !           475: /*
        !           476:    manipulate argument lists (allocate argument slot positions)
        !           477:  * keep track of return types and labels
        !           478:  */
        !           479: 
        !           480: LOCAL doentry(ep)
        !           481: struct Entrypoint *ep;
        !           482: {
        !           483: register int type;
        !           484: register Namep np;
        !           485: chainp p;
        !           486: register Namep q;
        !           487: Addrp mkarg();
        !           488: 
        !           489: ++nentry;
        !           490: if(procclass == CLMAIN)
        !           491:        {
        !           492:        if (optimflag)
        !           493:                optbuff (SKLABEL, 0, ep->entrylabel, 0);
        !           494:        else
        !           495:                putlabel(ep->entrylabel);
        !           496:        return;
        !           497:        }
        !           498: else if(procclass == CLBLOCK)
        !           499:        return;
        !           500: 
        !           501: impldcl( np = mkname(VL, nounder(XL, ep->entryname->extname) ) );
        !           502: type = np->vtype;
        !           503: if(proctype == TYUNKNOWN)
        !           504:        if( (proctype = type) == TYCHAR)
        !           505:                procleng = (np->vleng ? np->vleng->constblock.const.ci : (ftnint) (-1));
        !           506: 
        !           507: if(proctype == TYCHAR)
        !           508:        {
        !           509:        if(type != TYCHAR)
        !           510:                err("noncharacter entry of character function");
        !           511:        else if( (np->vleng ? np->vleng->constblock.const.ci : (ftnint) (-1)) != procleng)
        !           512:                err("mismatched character entry lengths");
        !           513:        }
        !           514: else if(type == TYCHAR)
        !           515:        err("character entry of noncharacter function");
        !           516: else if(type != proctype)
        !           517:        multitype = YES;
        !           518: if(rtvlabel[type] == 0)
        !           519:        rtvlabel[type] = newlabel();
        !           520: ep->typelabel = rtvlabel[type];
        !           521: 
        !           522: if(type == TYCHAR)
        !           523:        {
        !           524:        if(chslot < 0)
        !           525:                {
        !           526:                chslot = nextarg(TYADDR);
        !           527:                chlgslot = nextarg(TYLENG);
        !           528:                }
        !           529:        np->vstg = STGARG;
        !           530:        np->vardesc.varno = chslot;
        !           531:        if(procleng < 0)
        !           532:                np->vleng = (expptr) mkarg(TYLENG, chlgslot);
        !           533:        }
        !           534: else if( ISCOMPLEX(type) )
        !           535:        {
        !           536:        np->vstg = STGARG;
        !           537:        if(cxslot < 0)
        !           538:                cxslot = nextarg(TYADDR);
        !           539:        np->vardesc.varno = cxslot;
        !           540:        }
        !           541: else if(type != TYSUBR)
        !           542:        {
        !           543:        if(retslot == NULL)
        !           544:                retslot = autovar(1, TYDREAL, PNULL);
        !           545:        np->vstg = STGAUTO;
        !           546:        np->voffset = retslot->memoffset->constblock.const.ci;
        !           547:        }
        !           548: 
        !           549: for(p = ep->arglist ; p ; p = p->nextp)
        !           550:        if(! (( q = (Namep) (p->datap) )->vdcldone) )
        !           551:                q->vardesc.varno = nextarg(TYADDR);
        !           552: 
        !           553: for(p = ep->arglist ; p ; p = p->nextp)
        !           554:        if(! (( q = (Namep) (p->datap) )->vdcldone) )
        !           555:                {
        !           556:                impldcl(q);
        !           557:                q->vdcldone = YES;
        !           558:                if(q->vtype == TYCHAR)
        !           559:                        {
        !           560:                        if(q->vleng == NULL)    /* character*(*) */
        !           561:                                q->vleng = (expptr)
        !           562:                                                mkarg(TYLENG, nextarg(TYLENG) );
        !           563:                        else if(nentry == 1)
        !           564:                                nextarg(TYLENG);
        !           565:                        }
        !           566:                else if(q->vclass==CLPROC && nentry==1)
        !           567:                        nextarg(TYLENG) ;
        !           568: #ifdef SDB
        !           569:                if(sdbflag) {
        !           570:                        namestab(q);
        !           571:                }
        !           572: #endif
        !           573:                }
        !           574: 
        !           575: if (optimflag)
        !           576:        optbuff (SKLABEL, 0, ep->entrylabel, 0);
        !           577: else
        !           578:        putlabel(ep->entrylabel);
        !           579: }
        !           580: 
        !           581: 
        !           582: 
        !           583: LOCAL nextarg(type)
        !           584: int type;
        !           585: {
        !           586: int k;
        !           587: k = lastargslot;
        !           588: lastargslot += typesize[type];
        !           589: return(k);
        !           590: }
        !           591: 
        !           592: /* generate variable references */
        !           593: 
        !           594: LOCAL dobss()
        !           595: {
        !           596: register struct Hashentry *p;
        !           597: register Namep q;
        !           598: register int i;
        !           599: int align;
        !           600: ftnint leng, iarrl;
        !           601: char *memname();
        !           602: int qstg, qclass, qtype;
        !           603: 
        !           604: pruse(asmfile, USEBSS);
        !           605: varsizes = NULL;
        !           606: 
        !           607: for(p = hashtab ; p<lasthash ; ++p)
        !           608:     if(q = p->varp)
        !           609:        {
        !           610:        qstg = q->vstg;
        !           611:        qtype = q->vtype;
        !           612:        qclass = q->vclass;
        !           613: 
        !           614:        if( (qclass==CLUNKNOWN && qstg!=STGARG) ||
        !           615:            (qclass==CLVAR && qstg==STGUNKNOWN) )
        !           616:                warn1("local variable %s never used", varstr(VL,q->varname) );
        !           617:        else if(qclass==CLPROC && q->vprocclass==PEXTERNAL && qstg!=STGARG)
        !           618:                mkext(varunder(VL, q->varname)) ->extstg = STGEXT;
        !           619: 
        !           620:        if (qclass == CLVAR && qstg == STGBSS)
        !           621:          {
        !           622:            if (SMALLVAR(q->varsize))
        !           623:              {
        !           624:                enlist(q->varsize, q, NULL);
        !           625:                q->inlcomm = NO;
        !           626:              }
        !           627:            else
        !           628:              {
        !           629:                if (q->init == NO)
        !           630:                  {
        !           631:                    preven(ALIDOUBLE);
        !           632:                    prlocvar(memname(qstg, q->vardesc.varno), q->varsize);
        !           633:                    q->inlcomm = YES;
        !           634:                  }
        !           635:                else
        !           636:                  prlocdata(memname(qstg, q->vardesc.varno), q->varsize,
        !           637:                            q->vtype, q->initoffset, &(q->inlcomm));
        !           638:              }
        !           639:          }
        !           640:        else if(qclass==CLVAR && qstg!=STGARG)
        !           641:                {
        !           642:                if(q->vdim && !ISICON(q->vdim->nelt) )
        !           643:                        dclerr("adjustable dimension on non-argument", q);
        !           644:                if(qtype==TYCHAR && (q->vleng==NULL || !ISICON(q->vleng)))
        !           645:                        dclerr("adjustable leng on nonargument", q);
        !           646:                }
        !           647: 
        !           648:        chkdim(q);
        !           649:        }
        !           650: 
        !           651: for (i = 0 ; i < nequiv ; ++i)
        !           652:   if ( (leng = eqvclass[i].eqvleng) != 0 )
        !           653:     {
        !           654:       if (SMALLVAR(leng))
        !           655:        enlist(leng, NULL, eqvclass + i);
        !           656:       else if (eqvclass[i].init == NO)
        !           657:        {
        !           658:          preven(ALIDOUBLE);
        !           659:          prlocvar(memname(STGEQUIV, i), leng);
        !           660:          eqvclass[i].inlcomm = YES;
        !           661:        }
        !           662:       else
        !           663:        prlocdata(memname(STGEQUIV, i), leng, TYDREAL, 
        !           664:                  eqvclass[i].initoffset, &(eqvclass[i].inlcomm));
        !           665:     }
        !           666: 
        !           667:   outlocvars();
        !           668: #ifdef SDB
        !           669:     if(sdbflag) {
        !           670:       for(p = hashtab ; p<lasthash ; ++p) if(q = p->varp) {
        !           671:          qstg = q->vstg;
        !           672:          qclass = q->vclass;
        !           673:           if( ONEOF(qclass, M(CLVAR))) {
        !           674:             if (! ONEOF(qstg,M(STGCOMMON)|M(STGARG) ) ) namestab(q);
        !           675:          } 
        !           676:       }
        !           677:     }
        !           678: #endif
        !           679: 
        !           680:   close(vdatafile);
        !           681:   close(vchkfile);
        !           682:   unlink(vdatafname);
        !           683:   unlink(vchkfname);
        !           684:   vdatahwm = 0;
        !           685: }
        !           686: 
        !           687: 
        !           688: 
        !           689: donmlist()
        !           690: {
        !           691: register struct Hashentry *p;
        !           692: register Namep q;
        !           693: 
        !           694: pruse(asmfile, USEINIT);
        !           695: 
        !           696: for(p=hashtab; p<lasthash; ++p)
        !           697:        if( (q = p->varp) && q->vclass==CLNAMELIST)
        !           698:                namelist(q);
        !           699: }
        !           700: 
        !           701: 
        !           702: doext()
        !           703: {
        !           704: struct Extsym *p;
        !           705: 
        !           706: for(p = extsymtab ; p<nextext ; ++p)
        !           707:        prext(p);
        !           708: }
        !           709: 
        !           710: 
        !           711: 
        !           712: 
        !           713: ftnint iarrlen(q)
        !           714: register Namep q;
        !           715: {
        !           716: ftnint leng;
        !           717: 
        !           718: leng = typesize[q->vtype];
        !           719: if(leng <= 0)
        !           720:        return(-1);
        !           721: if(q->vdim)
        !           722:        if( ISICON(q->vdim->nelt) )
        !           723:                leng *= q->vdim->nelt->constblock.const.ci;
        !           724:        else    return(-1);
        !           725: if(q->vleng)
        !           726:        if( ISICON(q->vleng) )
        !           727:                leng *= q->vleng->constblock.const.ci;
        !           728:        else    return(-1);
        !           729: return(leng);
        !           730: }
        !           731: 
        !           732: /* This routine creates a static block representing the namelist.
        !           733:    An equivalent declaration of the structure produced is:
        !           734:        struct namelist
        !           735:                {
        !           736:                char namelistname[16];
        !           737:                struct namelistentry
        !           738:                        {
        !           739:                        char varname[16];
        !           740:                        char *varaddr;
        !           741:                        int type; # negative means -type= number of chars
        !           742:                        struct dimensions *dimp; # null means scalar
        !           743:                        } names[];
        !           744:                };
        !           745: 
        !           746:        struct dimensions
        !           747:                {
        !           748:                int numberofdimensions;
        !           749:                int numberofelements
        !           750:                int baseoffset;
        !           751:                int span[numberofdimensions];
        !           752:                };
        !           753:    where the namelistentry list terminates with a null varname
        !           754:    If dimp is not null, then the corner element of the array is at
        !           755:    varaddr.  However,  the element with subscripts (i1,...,in) is at
        !           756:    varaddr - dimp->baseoffset + sizeoftype * (i1+span[0]*(i2+span[1]*...)
        !           757: */
        !           758: 
        !           759: namelist(np)
        !           760: Namep np;
        !           761: {
        !           762: register chainp q;
        !           763: register Namep v;
        !           764: register struct Dimblock *dp;
        !           765: char *memname();
        !           766: int type, dimno, dimoffset;
        !           767: flag bad;
        !           768: 
        !           769: 
        !           770: preven(ALILONG);
        !           771: fprintf(asmfile, LABELFMT, memname(STGINIT, np->vardesc.varno));
        !           772: putstr(asmfile, varstr(VL, np->varname), 16);
        !           773: dimno = ++lastvarno;
        !           774: dimoffset = 0;
        !           775: bad = NO;
        !           776: 
        !           777: for(q = np->varxptr.namelist ; q ; q = q->nextp)
        !           778:        {
        !           779:        vardcl( v = (Namep) (q->datap) );
        !           780:        type = v->vtype;
        !           781:        if( ONEOF(v->vstg, MSKSTATIC) )
        !           782:                {
        !           783:                preven(ALILONG);
        !           784:                putstr(asmfile, varstr(VL,v->varname), 16);
        !           785:                praddr(asmfile, v->vstg, v->vardesc.varno, v->voffset);
        !           786:                prconi(asmfile, TYINT,
        !           787:                        type==TYCHAR ?
        !           788:                            -(v->vleng->constblock.const.ci) : (ftnint) type);
        !           789:                if(v->vdim)
        !           790:                        {
        !           791:                        praddr(asmfile, STGINIT, dimno, (ftnint)dimoffset);
        !           792:                        dimoffset += 3 + v->vdim->ndim;
        !           793:                        }
        !           794:                else
        !           795:                        praddr(asmfile, STGNULL,0,(ftnint) 0);
        !           796:                }
        !           797:        else
        !           798:                {
        !           799:                dclerr("may not appear in namelist", v);
        !           800:                bad = YES;
        !           801:                }
        !           802:        }
        !           803: 
        !           804: if(bad)
        !           805:        return;
        !           806: 
        !           807: putstr(asmfile, "", 16);
        !           808: 
        !           809: if(dimoffset > 0)
        !           810:        {
        !           811:        fprintf(asmfile, LABELFMT, memname(STGINIT,dimno));
        !           812:        for(q = np->varxptr.namelist ; q ; q = q->nextp)
        !           813:                if(dp = q->datap->nameblock.vdim)
        !           814:                        {
        !           815:                        int i;
        !           816:                        prconi(asmfile, TYINT, (ftnint) (dp->ndim) );
        !           817:                        prconi(asmfile, TYINT,
        !           818:                                (ftnint) (dp->nelt->constblock.const.ci) );
        !           819:                        prconi(asmfile, TYINT,
        !           820:                                (ftnint) (dp->baseoffset->constblock.const.ci));
        !           821:                        for(i=0; i<dp->ndim ; ++i)
        !           822:                                prconi(asmfile, TYINT,
        !           823:                                        dp->dims[i].dimsize->constblock.const.ci);
        !           824:                        }
        !           825:        }
        !           826: 
        !           827: }
        !           828: 
        !           829: LOCAL docommon()
        !           830: {
        !           831: register struct Extsym *p;
        !           832: register chainp q;
        !           833: struct Dimblock *t;
        !           834: expptr neltp;
        !           835: register Namep v;
        !           836: ftnint size;
        !           837: int type;
        !           838: 
        !           839: for(p = extsymtab ; p<nextext ; ++p)
        !           840:        if(p->extstg==STGCOMMON)
        !           841:                {
        !           842: #ifdef SDB
        !           843:                if(sdbflag)
        !           844:                        prstab(varstr(XL,p->extname), N_BCOMM, 0, 0);
        !           845: #endif
        !           846:                for(q = p->extp ; q ; q = q->nextp)
        !           847:                        {
        !           848:                        v = (Namep) (q->datap);
        !           849:                        if(v->vdcldone == NO)
        !           850:                                vardcl(v);
        !           851:                        type = v->vtype;
        !           852:                        if(p->extleng % typealign[type] != 0)
        !           853:                                {
        !           854:                                dclerr("common alignment", v);
        !           855:                                p->extleng = roundup(p->extleng, typealign[type]);
        !           856:                                }
        !           857:                        v->voffset = p->extleng;
        !           858:                        v->vardesc.varno = p - extsymtab;
        !           859:                        if(type == TYCHAR)
        !           860:                                size = v->vleng->constblock.const.ci;
        !           861:                        else    size = typesize[type];
        !           862:                        if(t = v->vdim)
        !           863:                                if( (neltp = t->nelt) && ISCONST(neltp) )
        !           864:                                        size *= neltp->constblock.const.ci;
        !           865:                                else
        !           866:                                        dclerr("adjustable array in common", v);
        !           867:                        p->extleng += size;
        !           868: #ifdef SDB
        !           869:                        if(sdbflag)
        !           870:                                {
        !           871:                                namestab(v);
        !           872:                                }
        !           873: #endif
        !           874:                        }
        !           875: 
        !           876:                frchain( &(p->extp) );
        !           877: #ifdef SDB
        !           878:                if(sdbflag)
        !           879:                        prstab(varstr(XL,p->extname), N_ECOMM, 0, 0);
        !           880: #endif
        !           881:                }
        !           882: }
        !           883: 
        !           884: 
        !           885: 
        !           886: 
        !           887: 
        !           888: LOCAL docomleng()
        !           889: {
        !           890: register struct Extsym *p;
        !           891: 
        !           892: for(p = extsymtab ; p < nextext ; ++p)
        !           893:        if(p->extstg == STGCOMMON)
        !           894:                {
        !           895:                if(p->maxleng!=0 && p->extleng!=0 && p->maxleng!=p->extleng
        !           896:                    && !eqn(XL,"_BLNK__ ",p->extname) )
        !           897:                        warn1("incompatible lengths for common block %s",
        !           898:                                nounder(XL, p->extname) );
        !           899:                if(p->maxleng < p->extleng)
        !           900:                        p->maxleng = p->extleng;
        !           901:                p->extleng = 0;
        !           902:        }
        !           903: }
        !           904: 
        !           905: 
        !           906: 
        !           907: 
        !           908: /* ROUTINES DEALING WITH AUTOMATIC AND TEMPORARY STORAGE */
        !           909: 
        !           910: /*  frees a temporary block  */
        !           911: 
        !           912: frtemp(p)
        !           913: Tempp p;
        !           914: {
        !           915: Addrp t;
        !           916: 
        !           917: if (optimflag)
        !           918:        {
        !           919:        if (p->tag != TTEMP)
        !           920:                badtag ("frtemp",p->tag);
        !           921:        t = p->memalloc;
        !           922:        }
        !           923: else
        !           924:        t = (Addrp) p;
        !           925: 
        !           926: /* restore clobbered character string lengths */
        !           927: if(t->vtype==TYCHAR && t->varleng!=0)
        !           928:        {
        !           929:        frexpr(t->vleng);
        !           930:        t->vleng = ICON(t->varleng);
        !           931:        }
        !           932: 
        !           933: /* put block on chain of temps to be reclaimed */
        !           934: holdtemps = mkchain(t, holdtemps);
        !           935: }
        !           936: 
        !           937: 
        !           938: 
        !           939: /* allocate an automatic variable slot */
        !           940: 
        !           941: Addrp autovar(nelt, t, lengp)
        !           942: register int nelt, t;
        !           943: expptr lengp;
        !           944: {
        !           945: ftnint leng;
        !           946: register Addrp q;
        !           947: 
        !           948: if(lengp)
        !           949:        if( ISICON(lengp) )
        !           950:                leng = lengp->constblock.const.ci;
        !           951:        else    {
        !           952:                fatal("automatic variable of nonconstant length");
        !           953:                }
        !           954: else
        !           955:        leng = typesize[t];
        !           956: autoleng = roundup( autoleng, typealign[t]);
        !           957: 
        !           958: q = ALLOC(Addrblock);
        !           959: q->tag = TADDR;
        !           960: q->vtype = t;
        !           961: if(lengp)
        !           962:        {
        !           963:        q->vleng = ICON(leng);
        !           964:        q->varleng = leng;
        !           965:        }
        !           966: q->vstg = STGAUTO;
        !           967: q->memno = newlabel();
        !           968: q->ntempelt = nelt;
        !           969: #if TARGET==PDP11 || TARGET==VAX || TARGET == TAHOE
        !           970:        /* stack grows downward */
        !           971:        autoleng += nelt*leng;
        !           972:        q->memoffset = ICON( - autoleng );
        !           973: #else
        !           974:        q->memoffset = ICON( autoleng );
        !           975:        autoleng += nelt*leng;
        !           976: #endif
        !           977: 
        !           978: return(q);
        !           979: }
        !           980: 
        !           981: 
        !           982: 
        !           983: /*
        !           984:  *  create a temporary block (TTEMP) when optimizing,
        !           985:  *  an ordinary TADDR block when not optimizing
        !           986:  */
        !           987: 
        !           988: Tempp mktmpn(nelt, type, lengp)
        !           989: int nelt;
        !           990: register int type;
        !           991: expptr lengp;
        !           992: {
        !           993: ftnint leng;
        !           994: chainp p, oldp;
        !           995: register Tempp q;
        !           996: Addrp altemp;
        !           997: 
        !           998: if (! optimflag)
        !           999:        return ( (Tempp) mkaltmpn(nelt,type,lengp) );
        !          1000: if(type==TYUNKNOWN || type==TYERROR)
        !          1001:        badtype("mktmpn", type);
        !          1002: 
        !          1003: if(type==TYCHAR)
        !          1004:        if( ISICON(lengp) )
        !          1005:                leng = lengp->constblock.const.ci;
        !          1006:        else    {
        !          1007:                err("adjustable length");
        !          1008:                return( (Tempp) errnode() );
        !          1009:                }
        !          1010: else
        !          1011:        leng = typesize[type];
        !          1012: 
        !          1013: q = ALLOC(Tempblock);
        !          1014: q->tag = TTEMP;
        !          1015: q->vtype = type;
        !          1016: if(type == TYCHAR)
        !          1017:        {
        !          1018:        q->vleng = ICON(leng);
        !          1019:        q->varleng = leng;
        !          1020:        }
        !          1021: 
        !          1022: altemp = ALLOC(Addrblock);
        !          1023: altemp->tag = TADDR;
        !          1024: altemp->vstg = STGUNKNOWN;
        !          1025: q->memalloc = altemp;
        !          1026: 
        !          1027: q->ntempelt = nelt;
        !          1028: q->istemp = YES;
        !          1029: return(q);
        !          1030: }
        !          1031: 
        !          1032: 
        !          1033: 
        !          1034: Addrp mktemp(type, lengp)
        !          1035: int type;
        !          1036: expptr lengp;
        !          1037: {
        !          1038: return( (Addrp) mktmpn(1,type,lengp) );
        !          1039: }
        !          1040: 
        !          1041: 
        !          1042: 
        !          1043: /*  allocate a temporary location for the given temporary block;
        !          1044:     if already allocated, return its location  */
        !          1045: 
        !          1046: Addrp altmpn(tp)
        !          1047: Tempp tp;
        !          1048: 
        !          1049: {
        !          1050: Addrp t, q;
        !          1051: 
        !          1052: if (tp->tag != TTEMP)
        !          1053:        badtag ("altmpn",tp->tag);
        !          1054: 
        !          1055: t = tp->memalloc;
        !          1056: if (t->vstg != STGUNKNOWN)
        !          1057:        {
        !          1058:        if (tp->vtype == TYCHAR)
        !          1059:                {
        !          1060:                /*
        !          1061:                 * Unformatted I/O parameters are treated like character
        !          1062:                 *      strings (sigh) -- propagate type and length.
        !          1063:                 */
        !          1064:                t = (Addrp) cpexpr(t);
        !          1065:                t->vtype = tp->vtype;
        !          1066:                t->vleng = tp->vleng;
        !          1067:                t->varleng = tp->varleng;
        !          1068:                }
        !          1069:        return (t);
        !          1070:        }
        !          1071: 
        !          1072: q = mkaltmpn (tp->ntempelt, tp->vtype, tp->vleng);
        !          1073: cpn (sizeof(struct Addrblock), (char*)q, (char*)t);
        !          1074: free ( (charptr) q);
        !          1075: return(t);
        !          1076: }
        !          1077: 
        !          1078: 
        !          1079: 
        !          1080: /*  create and allocate space immediately for a temporary  */
        !          1081: 
        !          1082: Addrp mkaltemp(type,lengp)
        !          1083: int type;
        !          1084: expptr lengp;
        !          1085: {
        !          1086: return (mkaltmpn(1,type,lengp));
        !          1087: }
        !          1088: 
        !          1089: 
        !          1090: 
        !          1091: Addrp mkaltmpn(nelt,type,lengp)
        !          1092: int nelt;
        !          1093: register int type;
        !          1094: expptr lengp;
        !          1095: {
        !          1096: ftnint leng;
        !          1097: chainp p, oldp;
        !          1098: register Addrp q;
        !          1099: 
        !          1100: if(type==TYUNKNOWN || type==TYERROR)
        !          1101:        badtype("mkaltmpn", type);
        !          1102: 
        !          1103: if(type==TYCHAR)
        !          1104:        if( ISICON(lengp) )
        !          1105:                leng = lengp->constblock.const.ci;
        !          1106:        else    {
        !          1107:                err("adjustable length");
        !          1108:                return( (Addrp) errnode() );
        !          1109:                }
        !          1110: 
        !          1111: /*
        !          1112:  * if a temporary of appropriate shape is on the templist,
        !          1113:  * remove it from the list and return it
        !          1114:  */
        !          1115: 
        !          1116: #ifdef notdef
        !          1117: /*
        !          1118:  * This code is broken until SKFRTEMP slots can be processed in putopt()
        !          1119:  *     instead of in optimize() -- all kinds of things in putpcc.c can
        !          1120:  *     bomb because of this.  Sigh.
        !          1121:  */
        !          1122: for(oldp=CHNULL, p=templist  ;  p  ;  oldp=p, p=p->nextp)
        !          1123:        {
        !          1124:        q = (Addrp) (p->datap);
        !          1125:        if(q->vtype==type && q->ntempelt==nelt &&
        !          1126:            (type!=TYCHAR || q->vleng->constblock.const.ci==leng) )
        !          1127:                {
        !          1128:                if(oldp)
        !          1129:                        oldp->nextp = p->nextp;
        !          1130:                else
        !          1131:                        templist = p->nextp;
        !          1132:                free( (charptr) p);
        !          1133: 
        !          1134:                if (debugflag[14])
        !          1135:                        fprintf(diagfile,"mkaltmpn reusing offset %d\n",
        !          1136:                                q->memoffset->constblock.const.ci);
        !          1137:                return(q);
        !          1138:                }
        !          1139:        }
        !          1140: #endif notdef
        !          1141: q = autovar(nelt, type, lengp);
        !          1142: q->istemp = YES;
        !          1143: 
        !          1144: if (debugflag[14])
        !          1145:        fprintf(diagfile,"mkaltmpn new offset %d\n",
        !          1146:                q->memoffset->constblock.const.ci);
        !          1147: return(q);
        !          1148: }
        !          1149: 
        !          1150: 
        !          1151: 
        !          1152: /*  The following routine is a patch which is only needed because the  */
        !          1153: /*  code for processing actual arguments for calls does not allocate   */
        !          1154: /*  the temps it needs before optimization takes place.  A better      */
        !          1155: /*  solution is possible, but I do not have the time to implement it   */
        !          1156: /*  now.                                                               */
        !          1157: /*                                                                     */
        !          1158: /*                                     Robert P. Corbett               */
        !          1159: 
        !          1160: Addrp
        !          1161: mkargtemp(type, lengp)
        !          1162: int type;
        !          1163: expptr lengp;
        !          1164: {
        !          1165:   ftnint leng;
        !          1166:   chainp oldp, p;
        !          1167:   Addrp q;
        !          1168: 
        !          1169:   if (type == TYUNKNOWN || type == TYERROR)
        !          1170:     badtype("mkargtemp", type);
        !          1171: 
        !          1172:   if (type == TYCHAR)
        !          1173:     {
        !          1174:       if (ISICON(lengp))
        !          1175:        leng = lengp->constblock.const.ci;
        !          1176:       else
        !          1177:        {
        !          1178:          err("adjustable length");
        !          1179:          return ((Addrp) errnode());
        !          1180:        }
        !          1181:     }
        !          1182: 
        !          1183:   oldp = CHNULL;
        !          1184:   p = argtemplist;
        !          1185: 
        !          1186:   while (p)
        !          1187:     {
        !          1188:       q = (Addrp) (p->datap);
        !          1189:       if (q->vtype == type
        !          1190:          && (type != TYCHAR || q->vleng->constblock.const.ci == leng))
        !          1191:        {
        !          1192:          if (oldp)
        !          1193:            oldp->nextp = p->nextp;
        !          1194:          else
        !          1195:            argtemplist = p->nextp;
        !          1196: 
        !          1197:          p->nextp = activearglist;
        !          1198:          activearglist = p;
        !          1199: 
        !          1200:          return ((Addrp) cpexpr(q));
        !          1201:        }
        !          1202: 
        !          1203:       oldp = p;
        !          1204:       p = p->nextp;
        !          1205:     }
        !          1206: 
        !          1207:   q = autovar(1, type, lengp);
        !          1208:   activearglist = mkchain(q, activearglist);
        !          1209:   return ((Addrp) cpexpr(q));
        !          1210: }
        !          1211: 
        !          1212: /* VARIOUS ROUTINES FOR PROCESSING DECLARATIONS */
        !          1213: 
        !          1214: struct Extsym *comblock(len, s)
        !          1215: register int len;
        !          1216: register char *s;
        !          1217: {
        !          1218: struct Extsym *p;
        !          1219: 
        !          1220: if(len == 0)
        !          1221:        {
        !          1222:        s = BLANKCOMMON;
        !          1223:        len = strlen(s);
        !          1224:        }
        !          1225: p = mkext( varunder(len, s) );
        !          1226: if(p->extstg == STGUNKNOWN)
        !          1227:        p->extstg = STGCOMMON;
        !          1228: else if(p->extstg != STGCOMMON)
        !          1229:        {
        !          1230:        errstr("%s cannot be a common block name", s);
        !          1231:        return(0);
        !          1232:        }
        !          1233: 
        !          1234: return( p );
        !          1235: }
        !          1236: 
        !          1237: 
        !          1238: incomm(c, v)
        !          1239: struct Extsym *c;
        !          1240: Namep v;
        !          1241: {
        !          1242: if(v->vstg != STGUNKNOWN)
        !          1243:        dclerr("incompatible common declaration", v);
        !          1244: else
        !          1245:        {
        !          1246:        if(c == (struct Extsym *) 0)
        !          1247:                return;         /* Illegal common block name upstream */
        !          1248:        v->vstg = STGCOMMON;
        !          1249:        c->extp = hookup(c->extp, mkchain(v,CHNULL) );
        !          1250:        }
        !          1251: }
        !          1252: 
        !          1253: 
        !          1254: 
        !          1255: 
        !          1256: settype(v, type, length)
        !          1257: register Namep  v;
        !          1258: register int type;
        !          1259: register int length;
        !          1260: {
        !          1261: if(type == TYUNKNOWN)
        !          1262:        return;
        !          1263: 
        !          1264: if(type==TYSUBR && v->vtype!=TYUNKNOWN && v->vstg==STGARG)
        !          1265:        {
        !          1266:        v->vtype = TYSUBR;
        !          1267:        frexpr(v->vleng);
        !          1268:        }
        !          1269: else if(type < 0)      /* storage class set */
        !          1270:        {
        !          1271:        if(v->vstg == STGUNKNOWN)
        !          1272:                v->vstg = - type;
        !          1273:        else if(v->vstg != -type)
        !          1274:                dclerr("incompatible storage declarations", v);
        !          1275:        }
        !          1276: else if(v->vtype == TYUNKNOWN)
        !          1277:        {
        !          1278:        if( (v->vtype = lengtype(type, length))==TYCHAR && length>=0)
        !          1279:                v->vleng = ICON(length);
        !          1280:        }
        !          1281: else if(v->vtype!=type || (type==TYCHAR && v->vleng->constblock.const.ci!=length) )
        !          1282:        dclerr("incompatible type declarations", v);
        !          1283: }
        !          1284: 
        !          1285: 
        !          1286: 
        !          1287: 
        !          1288: 
        !          1289: lengtype(type, length)
        !          1290: register int type;
        !          1291: register int length;
        !          1292: {
        !          1293: switch(type)
        !          1294:        {
        !          1295:        case TYREAL:
        !          1296:                if(length == 8)
        !          1297:                        return(TYDREAL);
        !          1298:                if(length == 4)
        !          1299:                        goto ret;
        !          1300:                break;
        !          1301: 
        !          1302:        case TYCOMPLEX:
        !          1303:                if(length == 16)
        !          1304:                        return(TYDCOMPLEX);
        !          1305:                if(length == 8)
        !          1306:                        goto ret;
        !          1307:                break;
        !          1308: 
        !          1309:        case TYSHORT:
        !          1310:        case TYDREAL:
        !          1311:        case TYDCOMPLEX:
        !          1312:        case TYCHAR:
        !          1313:        case TYUNKNOWN:
        !          1314:        case TYSUBR:
        !          1315:        case TYERROR:
        !          1316:                goto ret;
        !          1317: 
        !          1318:        case TYLOGICAL:
        !          1319:                if(length == typesize[TYLOGICAL])
        !          1320:                        goto ret;
        !          1321:                break;
        !          1322: 
        !          1323:        case TYLONG:
        !          1324:                if(length == 0 )
        !          1325:                        return(tyint);
        !          1326:                if(length == 2)
        !          1327:                        return(TYSHORT);
        !          1328:                if(length == 4 )
        !          1329:                        goto ret;
        !          1330:                break;
        !          1331:        default:
        !          1332:                badtype("lengtype", type);
        !          1333:        }
        !          1334: 
        !          1335: if(length != 0)
        !          1336:        err("incompatible type-length combination");
        !          1337: 
        !          1338: ret:
        !          1339:        return(type);
        !          1340: }
        !          1341: 
        !          1342: 
        !          1343: 
        !          1344: 
        !          1345: 
        !          1346: setintr(v)
        !          1347: register Namep  v;
        !          1348: {
        !          1349: register int k;
        !          1350: 
        !          1351: if(v->vstg == STGUNKNOWN)
        !          1352:        v->vstg = STGINTR;
        !          1353: else if(v->vstg!=STGINTR)
        !          1354:        dclerr("incompatible use of intrinsic function", v);
        !          1355: if(v->vclass==CLUNKNOWN)
        !          1356:        v->vclass = CLPROC;
        !          1357: if(v->vprocclass == PUNKNOWN)
        !          1358:        v->vprocclass = PINTRINSIC;
        !          1359: else if(v->vprocclass != PINTRINSIC)
        !          1360:        dclerr("invalid intrinsic declaration", v);
        !          1361: if(k = intrfunct(v->varname))
        !          1362:        v->vardesc.varno = k;
        !          1363: else
        !          1364:        dclerr("unknown intrinsic function", v);
        !          1365: }
        !          1366: 
        !          1367: 
        !          1368: 
        !          1369: setext(v)
        !          1370: register Namep  v;
        !          1371: {
        !          1372: if(v->vclass == CLUNKNOWN)
        !          1373:        v->vclass = CLPROC;
        !          1374: else if(v->vclass != CLPROC)
        !          1375:        dclerr("conflicting declarations", v);
        !          1376: 
        !          1377: if(v->vprocclass == PUNKNOWN)
        !          1378:        v->vprocclass = PEXTERNAL;
        !          1379: else if(v->vprocclass != PEXTERNAL)
        !          1380:        dclerr("conflicting declarations", v);
        !          1381: }
        !          1382: 
        !          1383: 
        !          1384: 
        !          1385: 
        !          1386: /* create dimensions block for array variable */
        !          1387: 
        !          1388: setbound(v, nd, dims)
        !          1389: register Namep  v;
        !          1390: int nd;
        !          1391: struct { expptr lb, ub; } dims[ ];
        !          1392: {
        !          1393: register expptr q, t;
        !          1394: register struct Dimblock *p;
        !          1395: int i;
        !          1396: 
        !          1397: if(v->vclass == CLUNKNOWN)
        !          1398:        v->vclass = CLVAR;
        !          1399: else if(v->vclass != CLVAR)
        !          1400:        {
        !          1401:        dclerr("only variables may be arrays", v);
        !          1402:        return;
        !          1403:        }
        !          1404: if(v->vdim)
        !          1405:        {
        !          1406:        dclerr("redimensioned array", v);
        !          1407:        return;
        !          1408:        }
        !          1409: 
        !          1410: v->vdim = p = (struct Dimblock *)
        !          1411:                ckalloc( sizeof(int) + (3+6*nd)*sizeof(expptr) );
        !          1412: p->ndim = nd;
        !          1413: p->nelt = ICON(1);
        !          1414: 
        !          1415: for(i=0 ; i<nd ; ++i)
        !          1416:        {
        !          1417: #ifdef SDB
        !          1418:         if(sdbflag) {
        !          1419: /* Save the bounds trees built up by the grammar routines for use in stabs */
        !          1420: 
        !          1421:                if(dims[i].lb == NULL) p->dims[i].lb=ICON(1);
        !          1422:                else p->dims[i].lb= (expptr) cpexpr(dims[i].lb);
        !          1423:                 if(ISCONST(p->dims[i].lb)) p->dims[i].lbaddr = (expptr) PNULL;
        !          1424:                 else p->dims[i].lbaddr = (expptr) autovar(1, tyint, PNULL);
        !          1425: 
        !          1426:                if(dims[i].ub == NULL) p->dims[i].ub=ICON(1);
        !          1427:                else p->dims[i].ub = (expptr) cpexpr(dims[i].ub);
        !          1428:                 if(ISCONST(p->dims[i].ub)) p->dims[i].ubaddr = (expptr) PNULL;
        !          1429:                 else p->dims[i].ubaddr = (expptr) autovar(1, tyint, PNULL);
        !          1430:        }
        !          1431: #endif
        !          1432:        if( (q = dims[i].ub) == NULL)
        !          1433:                {
        !          1434:                if(i == nd-1)
        !          1435:                        {
        !          1436:                        frexpr(p->nelt);
        !          1437:                        p->nelt = NULL;
        !          1438:                        }
        !          1439:                else
        !          1440:                        err("only last bound may be asterisk");
        !          1441:                p->dims[i].dimsize = ICON(1);;
        !          1442:                p->dims[i].dimexpr = NULL;
        !          1443:                }
        !          1444:        else
        !          1445:                {
        !          1446:                if(dims[i].lb)
        !          1447:                        {
        !          1448:                        q = mkexpr(OPMINUS, q, cpexpr(dims[i].lb));
        !          1449:                        q = mkexpr(OPPLUS, q, ICON(1) );
        !          1450:                        }
        !          1451:                if( ISCONST(q) )
        !          1452:                        {
        !          1453:                        if (!ISINT(q->headblock.vtype)) {
        !          1454:                           dclerr("dimension bounds must be integer expression", v);
        !          1455:                           frexpr(q);
        !          1456:                           q = ICON(0);
        !          1457:                           }
        !          1458:                        if ( q->constblock.const.ci <= 0)
        !          1459:                           {
        !          1460:                           dclerr("array bounds out of sequence", v);
        !          1461:                           frexpr(q);
        !          1462:                           q = ICON(0);
        !          1463:                           }
        !          1464:                        p->dims[i].dimsize = q;
        !          1465:                        p->dims[i].dimexpr = (expptr) PNULL;
        !          1466:                        }
        !          1467:                else    {
        !          1468:                        p->dims[i].dimsize = (expptr) autovar(1, tyint, PNULL);
        !          1469:                        p->dims[i].dimexpr = q;
        !          1470:                        }
        !          1471:                if(p->nelt)
        !          1472:                        p->nelt = mkexpr(OPSTAR, p->nelt,
        !          1473:                                        cpexpr(p->dims[i].dimsize) );
        !          1474:                }
        !          1475:        }
        !          1476: 
        !          1477: q = dims[nd-1].lb;
        !          1478: if(q == NULL)
        !          1479:        q = ICON(1);
        !          1480: 
        !          1481: for(i = nd-2 ; i>=0 ; --i)
        !          1482:        {
        !          1483:        t = dims[i].lb;
        !          1484:        if(t == NULL)
        !          1485:                t = ICON(1);
        !          1486:        if(p->dims[i].dimsize)
        !          1487:                q = mkexpr(OPPLUS, t, mkexpr(OPSTAR, cpexpr(p->dims[i].dimsize), q) );
        !          1488:        }
        !          1489: 
        !          1490: if( ISCONST(q) )
        !          1491:        {
        !          1492:        p->baseoffset = q;
        !          1493:        p->basexpr = NULL;
        !          1494:        }
        !          1495: else
        !          1496:        {
        !          1497:        p->baseoffset = (expptr) autovar(1, tyint, PNULL);
        !          1498:        p->basexpr = q;
        !          1499:        }
        !          1500: }
        !          1501: 
        !          1502: 
        !          1503: 
        !          1504: /*
        !          1505:  * Check the dimensions of q to ensure that they are appropriately defined.
        !          1506:  */
        !          1507: LOCAL chkdim(q)
        !          1508: register Namep q;
        !          1509: {
        !          1510:   register struct Dimblock *p;
        !          1511:   register int i;
        !          1512:   expptr e;
        !          1513: 
        !          1514:   if (q == NULL)
        !          1515:     return;
        !          1516:   if (q->vclass != CLVAR)
        !          1517:     return;
        !          1518:   if (q->vdim == NULL)
        !          1519:     return;
        !          1520:   p = q->vdim;
        !          1521:   for (i = 0; i < p->ndim; ++i)
        !          1522:     {
        !          1523: #ifdef SDB
        !          1524:       if (sdbflag)
        !          1525:        {
        !          1526:          if (e = p->dims[i].lb)
        !          1527:            chkdime(e, q);
        !          1528:          if (e = p->dims[i].ub)
        !          1529:            chkdime(e, q);
        !          1530:        }
        !          1531:       else
        !          1532: #endif SDB
        !          1533:       if (e = p->dims[i].dimexpr)
        !          1534:        chkdime(e, q);
        !          1535:     }
        !          1536: }
        !          1537: 
        !          1538: 
        !          1539: 
        !          1540: /*
        !          1541:  * The actual checking for chkdim() -- examines each expression.
        !          1542:  */
        !          1543: LOCAL chkdime(expr, q)
        !          1544: expptr expr;
        !          1545: Namep q;
        !          1546: {
        !          1547:   register expptr e;
        !          1548: 
        !          1549:   e = fixtype(cpexpr(expr));
        !          1550:   if (!ISINT(e->exprblock.vtype))
        !          1551:     dclerr("non-integer dimension", q);
        !          1552:   else if (!safedim(e))
        !          1553:     dclerr("undefined dimension", q);
        !          1554:   frexpr(e);
        !          1555:   return;
        !          1556: }
        !          1557: 
        !          1558: 
        !          1559: 
        !          1560: /*
        !          1561:  * A recursive routine to find undefined variables in dimension expressions.
        !          1562:  */
        !          1563: LOCAL safedim(e)
        !          1564: expptr e;
        !          1565: {
        !          1566:   chainp cp;
        !          1567: 
        !          1568:   if (e == NULL)
        !          1569:     return 1;
        !          1570:   switch (e->tag)
        !          1571:     {
        !          1572:       case TEXPR:
        !          1573:        if (e->exprblock.opcode == OPCALL || e->exprblock.opcode == OPCCALL)
        !          1574:          return 0;
        !          1575:        return safedim(e->exprblock.leftp) && safedim(e->exprblock.rightp);
        !          1576:       case TADDR:
        !          1577:        switch (e->addrblock.vstg)
        !          1578:          {
        !          1579:            case STGCOMMON:
        !          1580:            case STGARG:
        !          1581:            case STGCONST:
        !          1582:            case STGEQUIV:
        !          1583:              if (e->addrblock.isarray)
        !          1584:                return 0;
        !          1585:              return safedim(e->addrblock.memoffset);
        !          1586:            default:
        !          1587:              return 0;
        !          1588:          }
        !          1589:       case TCONST:
        !          1590:       case TTEMP:
        !          1591:        return 1;
        !          1592:     }
        !          1593:   return 0;
        !          1594: }
        !          1595: 
        !          1596: 
        !          1597: 
        !          1598: LOCAL enlist(size, np, ep)
        !          1599: ftnint size;
        !          1600: Namep np;
        !          1601: struct Equivblock *ep;
        !          1602: {
        !          1603:   register sizelist *sp;
        !          1604:   register sizelist *t;
        !          1605:   register varlist *p;
        !          1606: 
        !          1607:   sp = varsizes;
        !          1608: 
        !          1609:   if (sp == NULL)
        !          1610:     {
        !          1611:       sp = ALLOC(SizeList);
        !          1612:       sp->size = size;
        !          1613:       varsizes = sp;
        !          1614:     }
        !          1615:   else
        !          1616:     {
        !          1617:       while (sp->size != size)
        !          1618:        {
        !          1619:          if (sp->next != NULL && sp->next->size <= size)
        !          1620:            sp = sp->next;
        !          1621:          else
        !          1622:            {
        !          1623:              t = sp;
        !          1624:              sp = ALLOC(SizeList);
        !          1625:              sp->size = size;
        !          1626:              sp->next = t->next;
        !          1627:              t->next = sp;
        !          1628:            }
        !          1629:        }
        !          1630:     }
        !          1631: 
        !          1632:   p = ALLOC(VarList);
        !          1633:   p->next = sp->vars;
        !          1634:   p->np = np;
        !          1635:   p->ep = ep;
        !          1636: 
        !          1637:   sp->vars = p;
        !          1638: 
        !          1639:   return;
        !          1640: }
        !          1641: 
        !          1642: 
        !          1643: 
        !          1644: outlocvars()
        !          1645: {
        !          1646: 
        !          1647:   register varlist *first, *last;
        !          1648:   register varlist *vp, *t;
        !          1649:   register sizelist *sp, *sp1;
        !          1650:   register Namep np;
        !          1651:   register struct Equivblock *ep;
        !          1652:   register int i;
        !          1653:   register int alt;
        !          1654:   register int type;
        !          1655:   char sname[100];
        !          1656:   char setbuff[100];
        !          1657: 
        !          1658:   sp = varsizes;
        !          1659:   if (sp == NULL)
        !          1660:     return;
        !          1661: 
        !          1662:   vp = sp->vars;
        !          1663:   if (vp->np != NULL)
        !          1664:     {
        !          1665:       np = vp->np;
        !          1666:       sprintf(setbuff, "\t.set\tv.%d,v.%d\n", bsslabel,
        !          1667:              np->vardesc.varno);
        !          1668:     }
        !          1669:   else
        !          1670:     {
        !          1671:       i = vp->ep - eqvclass;
        !          1672:       sprintf(setbuff, "\t.set\tv.%d,q.%d\n", bsslabel, i + eqvstart);
        !          1673:     }
        !          1674: 
        !          1675:   first = last = NULL;
        !          1676:   alt = NO;
        !          1677: 
        !          1678:   while (sp != NULL)
        !          1679:     {
        !          1680:       vp = sp->vars;
        !          1681:       while (vp != NULL)
        !          1682:        {
        !          1683:          t = vp->next;
        !          1684:          if (alt == YES)
        !          1685:            {
        !          1686:              alt = NO;
        !          1687:              vp->next = first;
        !          1688:              first = vp;
        !          1689:            }
        !          1690:          else
        !          1691:            {
        !          1692:              alt = YES;
        !          1693:              if (last != NULL)
        !          1694:                last->next = vp;
        !          1695:              else
        !          1696:                first = vp;
        !          1697:              vp->next = NULL;
        !          1698:              last = vp;
        !          1699:            }
        !          1700:          vp = t;
        !          1701:        }
        !          1702:       sp1 = sp;
        !          1703:       sp = sp->next;
        !          1704:       free((char *) sp1);
        !          1705:     }
        !          1706: 
        !          1707:   vp = first;
        !          1708:   while(vp != NULL)
        !          1709:     {
        !          1710:       if (vp->np != NULL)
        !          1711:        {
        !          1712:          np = vp->np;
        !          1713:          sprintf(sname, "v.%d", np->vardesc.varno);
        !          1714:          pralign(typealign[np->vtype]);
        !          1715:          if (np->init)
        !          1716:            prlocdata(sname, np->varsize, np->vtype, np->initoffset,
        !          1717:                      &(np->inlcomm));
        !          1718:          else
        !          1719:            {
        !          1720:              if (typealign[np->vtype] == 1)    
        !          1721:                  pralign(3);
        !          1722:              fprintf(initfile, "%s:\n\t.space\t%d\n", sname,
        !          1723:                      np->varsize);
        !          1724:            }
        !          1725:          np->inlcomm = NO;
        !          1726:        }
        !          1727:       else
        !          1728:        {
        !          1729:          ep = vp->ep;
        !          1730:          i = ep - eqvclass;
        !          1731:          if (ep->eqvleng >= 8)
        !          1732:            type = TYDREAL;
        !          1733:          else if (ep->eqvleng >= 4)
        !          1734:            type = TYLONG;
        !          1735:          else if (ep->eqvleng >= 2)
        !          1736:            type = TYSHORT;
        !          1737:          else
        !          1738:            type = TYCHAR;
        !          1739:          sprintf(sname, "q.%d", i + eqvstart);
        !          1740:          if (ep->init)
        !          1741:            prlocdata(sname, ep->eqvleng, type, ep->initoffset,
        !          1742:                      &(ep->inlcomm));
        !          1743:          else
        !          1744:            {
        !          1745:              pralign(typealign[type]);
        !          1746:              fprintf(initfile, "%s:\n\t.space\t%d\n", sname, ep->eqvleng);
        !          1747:            }
        !          1748:          ep->inlcomm = NO;
        !          1749:        }
        !          1750:       t = vp;
        !          1751:       vp = vp->next;
        !          1752:       free((char *) t);
        !          1753:     }
        !          1754:   fprintf(initfile, "%s\n", setbuff);
        !          1755:   return;
        !          1756: }

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.