home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fish 8 / FreshFishVol8-CD2.bin / bbs / gnu / f2c-1993.04.28-src.lha / f2c-1993.04.28 / src / proc.c < prev    next >
C/C++ Source or Header  |  1993-04-28  |  35KB  |  1,601 lines
  1. /****************************************************************
  2. Copyright 1990, 1991, 1992, 1993 by AT&T Bell Laboratories and Bellcore.
  3.  
  4. Permission to use, copy, modify, and distribute this software
  5. and its documentation for any purpose and without fee is hereby
  6. granted, provided that the above copyright notice appear in all
  7. copies and that both that the copyright notice and this
  8. permission notice and warranty disclaimer appear in supporting
  9. documentation, and that the names of AT&T Bell Laboratories or
  10. Bellcore or any of their entities not be used in advertising or
  11. publicity pertaining to distribution of the software without
  12. specific, written prior permission.
  13.  
  14. AT&T and Bellcore disclaim all warranties with regard to this
  15. software, including all implied warranties of merchantability
  16. and fitness.  In no event shall AT&T or Bellcore be liable for
  17. any special, indirect or consequential damages or any damages
  18. whatsoever resulting from loss of use, data or profits, whether
  19. in an action of contract, negligence or other tortious action,
  20. arising out of or in connection with the use or performance of
  21. this software.
  22. ****************************************************************/
  23.  
  24. #include "defs.h"
  25. #include "names.h"
  26. #include "output.h"
  27. #include "p1defs.h"
  28.  
  29. #define EXNULL (union Expression *)0
  30.  
  31. LOCAL dobss(), docomleng(), docommon(), doentry(),
  32.     epicode(), nextarg(), retval();
  33.  
  34. static char Blank[] = BLANKCOMMON;
  35.  
  36.  static char *postfix[] = { "g", "h", "i", "r", "d", "c", "z", "g", "h", "i" };
  37.  
  38.  chainp new_procs;
  39.  int prev_proc, proc_argchanges, proc_protochanges;
  40.  
  41.  void
  42. changedtype(q)
  43.  Namep q;
  44. {
  45.     char buf[200];
  46.     int qtype, type1;
  47.     register Extsym *e;
  48.     Argtypes *at;
  49.  
  50.     if (q->vtypewarned)
  51.         return;
  52.     q->vtypewarned = 1;
  53.     qtype = q->vtype;
  54.     e = &extsymtab[q->vardesc.varno];
  55.     if (!(at = e->arginfo)) {
  56.         if (!e->exused)
  57.             return;
  58.         }
  59.     else if (at->changes & 2 && qtype != TYUNKNOWN && !at->defined)
  60.         proc_protochanges++;
  61.     type1 = e->extype;
  62.     if (type1 == TYUNKNOWN)
  63.         return;
  64.     if (qtype == TYUNKNOWN)
  65.         /* e.g.,
  66.             subroutine foo
  67.             end
  68.             external foo
  69.             call goo(foo)
  70.             end
  71.         */
  72.         return;
  73.     sprintf(buf, "%.90s: inconsistent declarations:\n\
  74.     here %s%s, previously %s%s.", q->fvarname, ftn_types[qtype],
  75.         qtype == TYSUBR ? "" : " function",
  76.         ftn_types[type1], type1 == TYSUBR ? "" : " function");
  77.     warn(buf);
  78.     }
  79.  
  80.  void
  81. unamstring(q, s)
  82.  register Addrp q;
  83.  register char *s;
  84. {
  85.     register int k;
  86.     register char *t;
  87.  
  88.     k = strlen(s);
  89.     if (k < IDENT_LEN) {
  90.         q->uname_tag = UNAM_IDENT;
  91.         t = q->user.ident;
  92.         }
  93.     else {
  94.         q->uname_tag = UNAM_CHARP;
  95.         q->user.Charp = t = mem(k+1, 0);
  96.         }
  97.     strcpy(t, s);
  98.     }
  99.  
  100.  static void
  101. fix_entry_returns()    /* for multiple entry points */
  102. {
  103.     Addrp a;
  104.     int i;
  105.     struct Entrypoint *e;
  106.     Namep np;
  107.  
  108.     e = entries = (struct Entrypoint *)revchain((chainp)entries);
  109.     allargs = revchain(allargs);
  110.     if (!multitype)
  111.         return;
  112.  
  113.     /* TYLOGICAL should have been turned into TYLONG or TYSHORT by now */
  114.  
  115.     for(i = TYINT1; i <= TYLOGICAL; i++)
  116.         if (a = xretslot[i])
  117.             sprintf(a->user.ident, "(*ret_val).%s",
  118.                 postfix[i-TYINT1]);
  119.  
  120.     do {
  121.         np = e->enamep;
  122.         switch(np->vtype) {
  123.             case TYINT1:
  124.             case TYSHORT:
  125.             case TYLONG:
  126. #ifdef TYQUAD
  127.             case TYQUAD:
  128. #endif
  129.             case TYREAL:
  130.             case TYDREAL:
  131.             case TYCOMPLEX:
  132.             case TYDCOMPLEX:
  133.             case TYLOGICAL1:
  134.             case TYLOGICAL2:
  135.             case TYLOGICAL:
  136.                 np->vstg = STGARG;
  137.             }
  138.         }
  139.         while(e = e->entnextp);
  140.     }
  141.  
  142.  static void
  143. putentries(outfile)    /* put out wrappers for multiple entries */
  144.  FILE *outfile;
  145. {
  146.     char base[IDENT_LEN];
  147.     struct Entrypoint *e;
  148.     Namep *A, *Ae, *Ae1, **Alp, *a, **a1, np;
  149.     chainp args, lengths, length_comp();
  150.     void listargs(), list_arg_types();
  151.     int i, k, mt, nL, type;
  152.     extern char *dfltarg[], **dfltproc;
  153.  
  154.     e = entries;
  155.     if (!e->enamep) /* only possible with erroneous input */
  156.         return;
  157.     nL = (nallargs + nallchargs) * sizeof(Namep *);
  158.     A = (Namep *)ckalloc(nL + nallargs*sizeof(Namep **));
  159.     Ae = A + nallargs;
  160.     Alp = (Namep **)(Ae1 = Ae + nallchargs);
  161.     i = k = 0;
  162.     for(a1 = Alp, args = allargs; args; a1++, args = args->nextp) {
  163.         np = (Namep)args->datap;
  164.         if (np->vtype == TYCHAR && np->vclass != CLPROC)
  165.             *a1 = &Ae[i++];
  166.         }
  167.  
  168.     mt = multitype;
  169.     multitype = 0;
  170.     sprintf(base, "%s0_", e->enamep->cvarname);
  171.     do {
  172.         np = e->enamep;
  173.         lengths = length_comp(e, 0);
  174.         proctype = type = np->vtype;
  175.         if (protofile)
  176.             protowrite(protofile, type, np->cvarname, e, lengths);
  177.         nice_printf(outfile, "\n%s ", c_type_decl(type, 1));
  178.         nice_printf(outfile, "%s", np->cvarname);
  179.         if (!Ansi) {
  180.             listargs(outfile, e, 0, lengths);
  181.             nice_printf(outfile, "\n");
  182.             }
  183.             list_arg_types(outfile, e, lengths, 0, "\n");
  184.         nice_printf(outfile, "{\n");
  185.         frchain(&lengths);
  186.         next_tab(outfile);
  187.         if (mt)
  188.             nice_printf(outfile,
  189.                 "Multitype ret_val;\n%s(%d, &ret_val",
  190.                 base, k); /*)*/
  191.         else if (ISCOMPLEX(type))
  192.             nice_printf(outfile, "%s(%d,%s", base, k,
  193.                 xretslot[type]->user.ident); /*)*/
  194.         else if (type == TYCHAR)
  195.             nice_printf(outfile,
  196.                 "%s(%d, ret_val, ret_val_len", base, k); /*)*/
  197.         else
  198.             nice_printf(outfile, "return %s(%d", base, k); /*)*/
  199.         k++;
  200.         memset((char *)A, 0, nL);
  201.         for(args = e->arglist; args; args = args->nextp) {
  202.             np = (Namep)args->datap;
  203.             A[np->argno] = np;
  204.             if (np->vtype == TYCHAR && np->vclass != CLPROC)
  205.                 *Alp[np->argno] = np;
  206.             }
  207.         args = allargs;
  208.         for(a = A; a < Ae; a++, args = args->nextp)
  209.             nice_printf(outfile, ", %s", (np = *a)
  210.                 ? np->cvarname
  211.                 : ((Namep)args->datap)->vclass == CLPROC
  212.                 ? dfltproc[((Namep)args->datap)->vtype]
  213.                 : dfltarg[((Namep)args->datap)->vtype]);
  214.         for(; a < Ae1; a++)
  215.             if (np = *a)
  216.                 nice_printf(outfile, ", %s_len", np->fvarname);
  217.             else
  218.                 nice_printf(outfile, ", (ftnint)0");
  219.         nice_printf(outfile, /*(*/ ");\n");
  220.         if (mt) {
  221.             if (type == TYCOMPLEX)
  222.                 nice_printf(outfile,
  223.             "r_v->r = ret_val.c.r; r_v->i = ret_val.c.i;\nreturn 0;\n");
  224.             else if (type == TYDCOMPLEX)
  225.                 nice_printf(outfile,
  226.             "r_v->r = ret_val.z.r; r_v->i = ret_val.z.i;\nreturn 0;\n");
  227.             else nice_printf(outfile, "return ret_val.%s;\n",
  228.                 postfix[type-TYINT1]);
  229.             }
  230.         nice_printf(outfile, "}\n");
  231.         prev_tab(outfile);
  232.         }
  233.         while(e = e->entnextp);
  234.     free((char *)A);
  235.     }
  236.  
  237.  static void
  238. entry_goto(outfile)
  239.  FILEP outfile;
  240. {
  241.     struct Entrypoint *e = entries;
  242.     int k = 0;
  243.  
  244.     nice_printf(outfile, "switch(n__) {\n");
  245.     next_tab(outfile);
  246.     while(e = e->entnextp)
  247.         nice_printf(outfile, "case %d: goto %s;\n", ++k,
  248.             user_label((long)(extsymtab - e->entryname - 1)));
  249.     nice_printf(outfile, "}\n\n");
  250.     prev_tab(outfile);
  251.     }
  252.  
  253. /* start a new procedure */
  254.  
  255. newproc()
  256. {
  257.     if(parstate != OUTSIDE)
  258.     {
  259.         execerr("missing end statement", CNULL);
  260.         endproc();
  261.     }
  262.  
  263.     parstate = INSIDE;
  264.     procclass = CLMAIN;    /* default */
  265. }
  266.  
  267.  static void
  268. zap_changes()
  269. {
  270.     register chainp cp;
  271.     register Argtypes *at;
  272.  
  273.     /* arrange to get correct count of prototypes that would
  274.        change by running f2c again */
  275.  
  276.     if (prev_proc && proc_argchanges)
  277.         proc_protochanges++;
  278.     prev_proc = proc_argchanges = 0;
  279.     for(cp = new_procs; cp; cp = cp->nextp)
  280.         if (at = ((Namep)cp->datap)->arginfo)
  281.             at->changes &= ~1;
  282.     frchain(&new_procs);
  283.     }
  284.  
  285. /* end of procedure. generate variables, epilogs, and prologs */
  286.  
  287. endproc()
  288. {
  289.     struct Labelblock *lp;
  290.     Extsym *ext;
  291.  
  292.     if(parstate < INDATA)
  293.         enddcl();
  294.     if(ctlstack >= ctls)
  295.         err("DO loop or BLOCK IF not closed");
  296.     for(lp = labeltab ; lp < labtabend ; ++lp)
  297.         if(lp->stateno!=0 && lp->labdefined==NO)
  298.             errstr("missing statement label %s",
  299.                 convic(lp->stateno) );
  300.  
  301. /* Save copies of the common variables in extptr -> allextp */
  302.  
  303.     for (ext = extsymtab; ext < nextext; ext++)
  304.         if (ext -> extstg == STGCOMMON && ext -> extp) {
  305.             extern int usedefsforcommon;
  306.  
  307. /* Write out the abbreviations for common block reference */
  308.  
  309.             copy_data (ext -> extp);
  310.             if (usedefsforcommon) {
  311.                 wr_abbrevs (c_file, 1, ext -> extp);
  312.                 ext -> used_here = 1;
  313.                 }
  314.             else
  315.                 ext -> extp = CHNULL;
  316.  
  317.             }
  318.  
  319.     if (nentry > 1)
  320.         fix_entry_returns();
  321.     epicode();
  322.     donmlist();
  323.     dobss();
  324.     start_formatting ();
  325.     if (nentry > 1)
  326.         putentries(c_file);
  327.  
  328.     zap_changes();
  329.     procinit();    /* clean up for next procedure */
  330. }
  331.  
  332.  
  333.  
  334. /* End of declaration section of procedure.  Allocate storage. */
  335.  
  336. enddcl()
  337. {
  338.     register struct Entrypoint