123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361 |
- /* $Id$ */
- /*
- * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
- * See the copyright notice in the ACK home directory, in the file "Copyright".
- */
- /* I N L I N E S U B S T I T U T I O N */
- #include <stdlib.h>
- #include <stdio.h>
- #include <string.h>
- #include <em_path.h>
- #include <em_mnem.h>
- #include <em_pseu.h>
- #include "../share/types.h"
- #include "il.h"
- #include "../share/debug.h"
- #include "../share/alloc.h"
- #include "../share/global.h"
- #include "../share/lset.h"
- #include "../share/files.h"
- #include "../share/map.h"
- #include "il_aux.h"
- #include "il1_anal.h"
- #include "il2_aux.h"
- #include "il3_subst.h"
- #include "../share/get.h"
- #include "../share/put.h"
- #include "../share/go.h"
- int calnr;
- int complete_program;
- calcnt_p cchead; /* call-count info of current proc */
- STATIC long space = 0;
- STATIC long total_size = 0;
- STATIC char cname[128] = TMP_DIR;
- STATIC char ccname[128] = TMP_DIR;
- /* For debugging only */
- STATIC char sname[128] = TMP_DIR;
- STATIC int kp_temps = 0;
- int Ssubst;
- #ifdef VERBOSE
- int Senv, Srecursive, Slocals, Sinstrlab, Sparsefails, Spremoved, Scals;
- int Sbig_caller, Sdispensable, Schangedcallee, Sbigcallee, Sspace, Szeroratio;
- #endif
- /* P A S S 1
- *
- * Pass 1 reads and analyses the EM text and the CFG.
- * It determines for every procedure if it may be expanded
- * in line and how it uses its formal parameters.
- * It also collects all calls appearing in the program and
- * recognizes the actual parameters of every call.
- * The call descriptors are put in a file (calfile).
- */
- pass1(lnam, bnam, cnam) char* lnam, *bnam, *cnam;
- {
- FILE* f, *gf, *cf, *ccf; /* The EM input, the basic block graph,
- * the call-list file and the calcnt file.
- */
- long laddr;
- bblock_p g;
- short kind;
- line_p l;
- f = openfile(lnam, "r");
- gf = openfile(bnam, "r");
- cf = openfile(cnam, "w");
- ccf = openfile(ccname, "w");
- mesregs = Lempty_set();
- apriori(fproc);
- /* use information from the procedure table to
- * see which calls certainly cannot be expanded.
- */
- while (TRUE)
- {
- laddr = ftell(f);
- if (!getunit(gf, f, &kind, &g, &l, &curproc, TRUE))
- break;
- /* Read the control flow graph and EM text of
- * one procedure and analyze it.
- */
- if (kind == LDATA)
- {
- remunit(LDATA, (proc_p)0, l);
- continue;
- }
- OUTTRACE("flow graph of proc %d read", curproc->p_id);
- assert(INSTR(g->b_start) == ps_pro);
- curproc->p_start = g;
- curproc->P_LADDR = laddr;
- /* address of em text in em-file */
- /* address of graph in basic block file */
- curproc->P_SIZE = proclength(curproc); /* #instructions */
- total_size += curproc->P_SIZE;
- if (BIG_PROC(curproc))
- {
- /* curproc is too large to be expanded in line */
- UNSUITABLE(curproc);
- }
- calnr = 0;
- anal_proc(curproc, cf, ccf);
- OUTTRACE("proc %d processed", curproc->p_id);
- remunit(LTEXT, curproc, (line_p)0);
- /* remove control flow graph + text */
- OUTTRACE("graph of proc %d removed", curproc->p_id);
- Ldeleteset(mesregs);
- mesregs = Lempty_set();
- }
- fclose(f);
- fclose(gf);
- fclose(cf);
- fclose(ccf);
- }
- /* P A S S 2
- *
- * Pass 2 reads the calfile and determines which calls should
- * be expanded in line. It does not use the EM text.
- */
- STATIC char cname2[128] = TMP_DIR;
- pass2(cnam, space) char* cnam;
- long space;
- {
- FILE* cf, *cf2, *ccf;
- call_p c, a;
- cf = openfile(cnam, "r");
- cf2 = openfile(cname2, "w");
- ccf = openfile(ccname, "r");
- while ((c = getcall(cf)) != (call_p)0)
- {
- /* process all calls */
- if (SUITABLE(c->cl_proc) && anal_params(c))
- {
- /* called proc. may be put in line */
- /* see which parameters may be put in line */
- assign_ratio(c); /* assign a rank */
- a = abstract(c); /* abstract essential info */
- append_abstract(a, a->cl_caller);
- /* put it in call-list of calling proc. */
- putcall(c, cf2, (short)0);
- }
- else
- {
- rem_call(c);
- }
- }
- select_calls(fproc, ccf, space);
- fclose(cf);
- if (!kp_temps)
- unlink(cnam);
- fclose(cf2);
- fclose(ccf);
- if (!kp_temps)
- unlink(ccname);
- cf2 = openfile(cname2, "r");
- add_actuals(fproc, cf2);
- cleancals(fproc); /* remove calls that were not selected */
- /* add actual parameters to each selected call */
- fclose(cf2);
- if (!kp_temps)
- unlink(cname2);
- }
- /* P A S S 3
- *
- * pass 3 reads the substitution file and performs all
- * substitutions described in that file. It reads the
- * original EM text and produced a new (optimized)
- * EM textfile.
- */
- pass3(lnam, lnam2) char* lnam, *lnam2;
- {
- bool verbose = TRUE;
- FILE* lfile, *lfilerand, *lfile2, *sfile;
- call_p c, next;
- line_p l, startscan, cal;
- short lastcid; /* last call-id seen */
- lfile = openfile(lnam, "r");
- lfilerand = openfile(lnam, "r");
- lfile2 = openfile(lnam2, "w");
- if (verbose)
- {
- sfile = openfile(sname, "w");
- }
- mesregs = Lempty_set();
- while ((l = get_text(lfile, &curproc)) != (line_p)0)
- {
- if (curproc == (proc_p)0)
- {
- /* Just a data-unit; no real instructions */
- putlines(l->l_next, lfile2);
- oldline(l);
- continue;
- }
- if (IS_DISPENSABLE(curproc))
- {
- liquidate(curproc, l->l_next);
- }
- else
- {
- startscan = l->l_next;
- lastcid = 0;
- for (c = curproc->P_CALS; c != (call_p)0; c = next)
- {
- next = c->cl_cdr;
- cal = scan_to_cal(startscan, c->cl_id - lastcid);
- assert(cal != (line_p)0);
- startscan = scan_to_cal(cal->l_next, 1);
- /* next CAL */
- lastcid = c->cl_id;
- /* next CAL after current one */
- substitute(lfilerand, c, cal, l->l_next);
- if (verbose)
- {
- putcall(c, sfile, 0);
- }
- else
- {
- rem_call(c);
- }
- }
- }
- putlines(l->l_next, lfile2);
- Ldeleteset(mesregs);
- mesregs = Lempty_set();
- oldline(l);
- }
- fclose(lfile);
- fclose(lfile2);
- if (verbose)
- {
- fclose(sfile);
- if (!kp_temps)
- unlink(sname);
- }
- }
- STATIC il_extptab(ptab)
- proc_p ptab;
- {
- /* Allocate space for extension of proctable entries.
- * Also, initialise some of the fields just allocated.
- */
- register proc_p p;
- for (p = ptab; p != (proc_p)0; p = p->p_next)
- {
- p->p_extend = newilpx();
- p->P_ORGLABELS = p->p_nrlabels;
- p->P_ORGLOCALS = p->p_localbytes;
- }
- }
- STATIC il_cleanptab(ptab)
- proc_p ptab;
- {
- /* De-allocate space for extensions */
- register proc_p p;
- for (p = ptab; p != (proc_p)0; p = p->p_next)
- {
- oldilpx(p->p_extend);
- }
- }
- #ifdef VERBOSE
- Sdiagnostics()
- {
- /* print statictical information */
- fprintf(stderr, "STATISTICS:\n");
- fprintf(stderr, "Info about procedures:\n");
- fprintf(stderr, "environment accessed: %d\n", Senv);
- fprintf(stderr, "recursive: %d\n", Srecursive);
- fprintf(stderr, "too many locals: %d\n", Slocals);
- fprintf(stderr, "instr. lab in data block: %d\n", Sinstrlab);
- fprintf(stderr, "procedures removed: %d\n", Spremoved);
- fprintf(stderr, "\nInfo about calls:\n");
- fprintf(stderr, "total number of calls: %d\n", Scals);
- fprintf(stderr, "total number of calls substituted: %d\n", Ssubst);
- fprintf(stderr, "parser failed: %d\n", Sparsefails);
- fprintf(stderr, "caller too big: %d\n", Sbig_caller);
- fprintf(stderr, "caller dispensable: %d\n", Sdispensable);
- fprintf(stderr, "callee is changed: %d\n", Schangedcallee);
- fprintf(stderr, "callee too big: %d\n", Sbigcallee);
- fprintf(stderr, "no space available: %d\n", Sspace);
- fprintf(stderr, "zero ratio: %d\n", Szeroratio);
- }
- #endif
- il_flags(p) char* p;
- {
- switch (*p++)
- {
- case 's':
- while (*p != '\0')
- {
- space = 10 * space + *p++ - '0';
- }
- break;
- case 'a':
- complete_program = 1;
- break;
- case 't':
- strcpy(cname, ".");
- strcpy(ccname, ".");
- strcpy(sname, ".");
- strcpy(cname2, ".");
- kp_temps = 1;
- break;
- }
- }
- main(argc, argv) int argc;
- char* argv[];
- {
- struct files* files = findfiles(argc, argv);
- FILE* f;
- go(argc, argv, no_action, no_action, no_action, il_flags);
- il_extptab(fproc); /* add extended data structures */
- strcat(cname, "/ego.i1.XXXXXX");
- strcat(ccname, "/ego.i2.XXXXXX");
- strcat(sname, "/ego.i3.XXXXXX");
- strcat(cname2, "/ego.i4.XXXXXX");
- mktemp(cname);
- mktemp(ccname);
- mktemp(sname);
- mktemp(cname2);
- pass1(files->lname_in, files->bname_in, cname); /* grep calls, analyse procedures */
- space = total_size * space / 100;
- pass2(cname, space); /* select calls to be expanded */
- pass3(files->lname_in, files->lname_out); /* do substitutions */
- f = openfile(files->dname_out, "w");
- il_cleanptab(fproc); /* remove extended data structures */
- putdtable(fdblock, f);
- f = openfile(files->pname_out, "w");
- putptable(fproc, f, FALSE);
- report("inline substitutions", Ssubst);
- #ifdef VERBOSE
- if (verbose_flag)
- {
- Sdiagnostics();
- }
- #endif
- #ifdef DEBUG
- core_usage();
- #endif
- exit(0);
- }
|