BSD 4 release

[unix-history] / usr / src / cmd / pi / stat.c

diff --git a/usr/src/cmd/pi/stat.c b/usr/src/cmd/pi/stat.c
index 9e31804..c4b44b2 100644 (file)
--- a/usr/src/cmd/pi/stat.c
+++ b/usr/src/cmd/pi/stat.c
@@ -1,18 +1,18 @@
 /* Copyright (c) 1979 Regents of the University of California */
 /* Copyright (c) 1979 Regents of the University of California */

-#
-/*
- * pi - Pascal interpreter code translator
- *
- * Charles Haley, Bill Joy UCB
- * Version 1.2 November 1978
- */

 
 

-#include "whoami"
+static char sccsid[] = "@(#)stat.c 1.1 8/27/80";
+
+#include "whoami.h"

 #include "0.h"
 #include "tree.h"
 #include "0.h"
 #include "tree.h"

+#include "objfmt.h"
+#ifdef PC
+#   include "pcops.h"
+#   include "pc.h"
+#endif PC

 
 int cntstat;
 
 int cntstat;

-short cnts = 2;
+short cnts = 3;

 #include "opcode.h"
 
 /*
 #include "opcode.h"
 
 /*


@@ -35,9 +35,11 @@ statement(r)
 {
        register *s;
        register struct nl *snlp;
 {
        register *s;
        register struct nl *snlp;

+       long    soffset;

 
        s = r;
        snlp = nlp;
 
        s = r;
        snlp = nlp;

+       soffset = sizes[ cbn ].om_off;

 top:
        if (cntstat) {
                cntstat = 0;
 top:
        if (cntstat) {
                cntstat = 0;


@@ -61,7 +63,12 @@ top:
        switch (s[0]) {
                case T_PCALL:
                        putline();
        switch (s[0]) {
                case T_PCALL:
                        putline();

-                       proc(s);
+#                      ifdef OBJ
+                           proc(s);
+#                      endif OBJ
+#                      ifdef PC
+                           pcproc( s );
+#                      endif PC

                        break;
                case T_ASGN:
                        putline();
                        break;
                case T_ASGN:
                        putline();


@@ -91,7 +98,12 @@ top:
                                        break;
                                case T_FORU:
                                case T_FORD:
                                        break;
                                case T_FORU:
                                case T_FORD:

-                                       forop(s);
+#                                      ifdef OBJ
+                                           forop(s);
+#                                      endif OBJ
+#                                      ifdef PC
+                                           pcforop( s );
+#                                      endif PC

                                        noreach = 0;
                                        break;
                                case T_BLOCK:
                                        noreach = 0;
                                        break;
                                case T_BLOCK:


@@ -99,7 +111,12 @@ top:
                                        break;
                                case T_CASE:
                                        putline();
                                        break;
                                case T_CASE:
                                        putline();

-                                       caseop(s);
+#                                      ifdef OBJ
+                                           caseop(s);
+#                                      endif OBJ
+#                                      ifdef PC
+                                           pccaseop( s );
+#                                      endif PC

                                        break;
                                case T_WITH:
                                        withop(s);
                                        break;
                                case T_WITH:
                                        withop(s);


@@ -119,6 +136,16 @@ top:
         * expressions, e.g. STRs, and WITHPTRs from withs.
         */
        nlfree(snlp);
         * expressions, e.g. STRs, and WITHPTRs from withs.
         */
        nlfree(snlp);

+           /*
+            *  free any temporaries allocated for this statement
+            *  these come from strings and sets.
+            */
+       if ( soffset != sizes[ cbn ].om_off ) {
+           sizes[ cbn ].om_off = soffset;
+#          ifdef PC
+               putlbracket( ftnno , -sizes[cbn].om_off );
+#          endif PC
+       }

 }
 
 ungoto()
 }
 
 ungoto()


@@ -139,19 +166,62 @@ ungoto()
 putcnt()
 {
 
 putcnt()
 {
 

-       if (monflg == 0)
+       if (monflg == 0) {

                return;
                return;

-       cnts++;
-       put2(O_COUNT, cnts);
+       }
+       inccnt( getcnt() );

 }
 
 }
 

+int
+getcnt()
+    {
+       
+       return ++cnts;
+    }
+
+inccnt( counter )
+    int        counter;
+    {
+
+#      ifdef OBJ
+           put2(O_COUNT, counter );
+#      endif OBJ
+#      ifdef PC
+           putRV( PCPCOUNT , 0 , counter * sizeof (long) , P2INT );
+           putleaf( P2ICON , 1 , 0 , P2INT , 0 );
+           putop( P2ASG P2PLUS , P2INT );
+           putdot( filename , line );
+#      endif PC
+    }
+

 putline()
 {
 
 #      ifdef OBJ
            if (opt('p') != 0)
                    put2(O_LINO, line);
 putline()
 {
 
 #      ifdef OBJ
            if (opt('p') != 0)
                    put2(O_LINO, line);

-#      endif
+#      endif OBJ
+#      ifdef PC
+           static lastline;
+
+           if ( line != lastline ) {
+               stabline( line );
+               lastline = line;
+           }
+           if ( opt( 'p' ) ) {
+               if ( opt('t') ) {
+                   putleaf( P2ICON , 0 , 0 , ADDTYPE( P2FTN | P2INT , P2PTR )
+                           , "_LINO" );
+                   putop( P2UNARY P2CALL , P2INT );
+                   putdot( filename , line );
+               } else {
+                   putRV( STMTCOUNT , 0 , 0 , P2INT );
+                   putleaf( P2ICON , 1 , 0 , P2INT , 0 );
+                   putop( P2ASG P2PLUS , P2INT );
+                   putdot( filename , line );
+               }
+           }
+#      endif PC

 }
 
 /*
 }
 
 /*


@@ -177,12 +247,17 @@ withop(s)
        swl = withlist;
        soffset = sizes[cbn].om_off;
        for (p = s[2]; p != NIL; p = p[2]) {
        swl = withlist;
        soffset = sizes[cbn].om_off;
        for (p = s[2]; p != NIL; p = p[2]) {

-               sizes[cbn].om_off -= sizeof ( int * );
-#              ifdef PPC
-                   putlbracket();
-#              endif
-               put2(O_LV | cbn <<9, i = sizes[cbn].om_off);
-               r = lvalue(p[1], MOD);
+               i = sizes[cbn].om_off -= sizeof ( int * );
+               if (sizes[cbn].om_off < sizes[cbn].om_max)
+                       sizes[cbn].om_max = sizes[cbn].om_off;
+#              ifdef OBJ
+                   put2(O_LV | cbn <<8+INDX, i );
+#              endif OBJ
+#              ifdef PC
+                   putlbracket( ftnno , -sizes[cbn].om_off );
+                   putRV( 0 , cbn , i , P2PTR|P2STRTY );
+#              endif PC
+               r = lvalue(p[1], MOD , LREQ );

                if (r == NIL)
                        continue;
                if (r->class != RECORD) {
                if (r == NIL)
                        continue;
                if (r->class != RECORD) {


@@ -192,20 +267,19 @@ withop(s)
                r = defnl(0, WITHPTR, r, i);
                r->nl_next = withlist;
                withlist = r;
                r = defnl(0, WITHPTR, r, i);
                r->nl_next = withlist;
                withlist = r;

-#              ifdef   VAX
-                   put1 ( O_AS4 );
-#              endif
-#              ifdef PDP11
-                   put1(O_AS2);
-#              endif
+#              ifdef OBJ
+                   put(1, PTR_AS);
+#              endif OBJ
+#              ifdef PC
+                   putop( P2ASSIGN , P2PTR|P2STRTY );
+                   putdot( filename , line );
+#              endif PC

        }
        }

-       if (sizes[cbn].om_off < sizes[cbn].om_max)
-               sizes[cbn].om_max = sizes[cbn].om_off;

        statement(s[3]);
        sizes[cbn].om_off = soffset;
        statement(s[3]);
        sizes[cbn].om_off = soffset;

-#      ifdef PPC
-           putlbracket();
-#      endif
+#      ifdef PC
+           putlbracket( ftnno , -sizes[cbn].om_off );
+#      endif PC

        withlist = swl;
 }
 
        withlist = swl;
 }
 


@@ -226,6 +300,8 @@ asgnop(r)
         * to handle function variable
         * assignments.  All other assignment
         * stuff is handled by asgnop1.
         * to handle function variable
         * assignments.  All other assignment
         * stuff is handled by asgnop1.

+        * the if below checks for unqualified lefthandside:
+        * necessary for fvars.

         */
        av = r[2];
        if (av != NIL && av[0] == T_VAR && av[3] == NIL) {
         */
        av = r[2];
        if (av != NIL && av[0] == T_VAR && av[3] == NIL) {


@@ -241,14 +317,29 @@ asgnop(r)
                        p->nl_flags |= NUSED|NMOD;
                        p = p->chain;
                        if (p == NIL) {
                        p->nl_flags |= NUSED|NMOD;
                        p = p->chain;
                        if (p == NIL) {

-                               rvalue(r[3], NIL);
+                               rvalue(r[3], NIL , RREQ );

                                return;
                        }
                                return;
                        }

-                       put2(O_LV | bn << 9, p->value[NL_OFFS]);
-                       if (isa(p->type, "i") && width(p->type) == 1)
-                               asgnop1(r, nl+T2INT);
-                       else
-                               asgnop1(r, p->type);
+#                      ifdef OBJ
+                           put2(O_LV | bn << 8+INDX, p->value[NL_OFFS]);
+                           if (isa(p->type, "i") && width(p->type) == 1)
+                                   asgnop1(r, nl+T2INT);
+                           else
+                                   asgnop1(r, p->type);
+#                      endif OBJ
+#                      ifdef PC
+                               /*
+                                * this should be the lvalue of the fvar,
+                                * but since the second pass knows to use
+                                * the address of the left operand of an
+                                * assignment, what i want here is an rvalue.
+                                * see note in funchdr about fvar allocation.
+                                */
+                           p = p -> ptr[ NL_FVAR ];
+                           putRV( p -> symbol , bn , p -> value[ NL_OFFS ]
+                                       , p2type( p -> type ) );
+                           asgnop1( r , p -> type );
+#                      endif PC

                        return;
                }
        }
                        return;
                }
        }


@@ -271,13 +362,48 @@ asgnop1(r, p)
        if (r == NIL)
                return (NIL);
        if (p == NIL) {
        if (r == NIL)
                return (NIL);
        if (p == NIL) {

-               p = lvalue(r[2], MOD|ASGN|NOUSE);
-               if (p == NIL) {
-                       rvalue(r[3], NIL);
-                       return (NIL);
-               }
+#          ifdef OBJ
+               p = lvalue(r[2], MOD|ASGN|NOUSE , LREQ );
+#          endif OBJ
+#          ifdef PC
+                   /*
+                    * since the second pass knows that it should reference
+                    * the lefthandside of asignments, what i need here is
+                    * an rvalue.
+                    */
+               p = lvalue( r[2] , MOD|ASGN|NOUSE , RREQ );
+#          endif PC
+           if ( p == NIL ) {
+               rvalue( r[3] , NIL , RREQ );
+               return NIL;
+           }

        }
        }

-       p1 = rvalue(r[3], p);
+#      ifdef OBJ
+           p1 = rvalue(r[3], p , RREQ );
+#      endif OBJ
+#      ifdef PC
+               /*
+                *      if this is a scalar assignment,
+                *          then i want to rvalue the righthandside.
+                *      if this is a structure assignment,
+                *          then i want an lvalue to the righthandside.
+                *  that's what the intermediate form sez.
+                */
+           switch ( classify( p ) ) {
+               case TINT:
+               case TCHAR:
+               case TBOOL:
+               case TSCAL:
+                   precheck( p , "_RANG4" , "_RSNG4" );
+               case TDOUBLE:
+               case TPTR:
+                   p1 = rvalue( r[3] , p , RREQ );
+                   break;
+               default:
+                   p1 = rvalue( r[3] , p , LREQ );
+                   break;
+           }
+#      endif PC

        if (p1 == NIL)
                return (NIL);
        if (incompat(p1, p, r[3])) {
        if (p1 == NIL)
                return (NIL);
        if (incompat(p1, p, r[3])) {


@@ -285,24 +411,40 @@ asgnop1(r, p)
                return (NIL);
        }
        switch (classify(p)) {
                return (NIL);
        }
        switch (classify(p)) {

+               case TINT:

                case TBOOL:
                case TCHAR:
                case TBOOL:
                case TCHAR:

-               case TINT:

                case TSCAL:
                case TSCAL:

-                       rangechk(p, p1);
+#                      ifdef OBJ
+                           rangechk(p, p1);
+#                      endif OBJ
+#                      ifdef PC
+                           postcheck( p );
+#                      endif PC

                case TDOUBLE:
                case TPTR:
                case TDOUBLE:
                case TPTR:

-                       gen(O_AS2, O_AS2, width(p), width(p1));
+#                      ifdef OBJ
+                           gen(O_AS2, O_AS2, width(p), width(p1));
+#                      endif OBJ
+#                      ifdef PC
+                           putop( P2ASSIGN , p2type( p ) );
+                           putdot( filename , line );
+#                      endif PC

                        break;
                default:
                        break;
                default:

-                       put2(O_AS, width(p));
+#                      ifdef OBJ
+                           put2(O_AS, width(p));
+#                      endif OBJ
+#                      ifdef PC
+                           putstrop( P2STASG , p2type( p )
+                                       , lwidth( p ) , align( p ) );
+                           putdot( filename , line );
+#                      endif PC

        }
        }

-#      ifdef PPC
-           putexpr();
-#      endif

        return (p);     /* Used by for statement */
 }
 
        return (p);     /* Used by for statement */
 }
 

+#ifdef OBJ

 /*
  * for var := expr [down]to expr do stat
  */
 /*
  * for var := expr [down]to expr do stat
  */


@@ -327,7 +469,7 @@ forop(r)
         */
        t1 = asgnop1(r[2], NIL);
        if (t1 == NIL) {
         */
        t1 = asgnop1(r[2], NIL);
        if (t1 == NIL) {

-               rvalue(r[3], NIL);
+               rvalue(r[3], NIL , RREQ );

                statement(r[4]);
                goto aloha;
        }
                statement(r[4]);
                goto aloha;
        }


@@ -335,7 +477,7 @@ forop(r)
        rr = rr[2];             /* Lhs variable */
        if (rr[3] != NIL) {
                error("For variable must be unqualified");
        rr = rr[2];             /* Lhs variable */
        if (rr[3] != NIL) {
                error("For variable must be unqualified");

-               rvalue(r[3], NIL);
+               rvalue(r[3], NIL , RREQ );

                statement(r[4]);
                goto aloha;
        }
                statement(r[4]);
                goto aloha;
        }


@@ -351,33 +493,27 @@ forop(r)
         * space for limit variable
         */
        sizes[cbn].om_off -= 4;
         * space for limit variable
         */
        sizes[cbn].om_off -= 4;

-#      ifdef PPC
-           putlbracket();
-#      endif

        if (sizes[cbn].om_off < sizes[cbn].om_max)
                sizes[cbn].om_max = sizes[cbn].om_off;
        i = sizes[cbn].om_off;
        /*
         * Initialize the limit variable
         */
        if (sizes[cbn].om_off < sizes[cbn].om_max)
                sizes[cbn].om_max = sizes[cbn].om_off;
        i = sizes[cbn].om_off;
        /*
         * Initialize the limit variable
         */

-       put2(O_LV | cbn<<9, i);
-       t2 = rvalue(r[3], NIL);
+       put2(O_LV | cbn<<8+INDX, i);
+       t2 = rvalue(r[3], NIL , RREQ );

        if (incompat(t2, t1, r[3])) {
                cerror("Limit type clashed with index type in 'for' statement");
                statement(r[4]);
                goto aloha;
        }
        put1(width(t2) <= 2 ? O_AS24 : O_AS4);
        if (incompat(t2, t1, r[3])) {
                cerror("Limit type clashed with index type in 'for' statement");
                statement(r[4]);
                goto aloha;
        }
        put1(width(t2) <= 2 ? O_AS24 : O_AS4);

-#      ifdef PPC
-           putexpr();
-#      endif

        /*
         * See if we can skip the loop altogether
         */
        rr = r[2];
        if (rr != NIL)
        /*
         * See if we can skip the loop altogether
         */
        rr = r[2];
        if (rr != NIL)

-               rvalue(rr[2], NIL);
-       put2(O_RV4 | cbn<<9, i);
+               rvalue(rr[2], NIL , RREQ );
+       put2(O_RV4 | cbn<<8+INDX, i);

        gen(NIL, r[0] == T_FORU ? T_LE : T_GE, width(t1), 4);
        /*
         * L1 will be patched to skip the body of the loop.
        gen(NIL, r[0] == T_FORU ? T_LE : T_GE, width(t1), 4);
        /*
         * L1 will be patched to skip the body of the loop.


@@ -394,20 +530,20 @@ forop(r)
                /*
                 * Easy if we dont have to test
                 */
                /*
                 * Easy if we dont have to test
                 */

-               put2(O_RV4 | cbn<<9, i);
+               put2(O_RV4 | cbn<<8+INDX, i);

                if (rr != NIL)
                if (rr != NIL)

-                       lvalue(rr[2], MOD);
+                       lvalue(rr[2], MOD , RREQ );

                put2((r[0] == T_FORU ? O_FOR1U : O_FOR1D) + (width(t1) >> 1), l2);
        } else {
                line = r[1];
                putline();
                if (rr != NIL)
                put2((r[0] == T_FORU ? O_FOR1U : O_FOR1D) + (width(t1) >> 1), l2);
        } else {
                line = r[1];
                putline();
                if (rr != NIL)

-                       rvalue(rr[2], NIL);
-               put2(O_RV4 | cbn << 9, i);
+                       rvalue(rr[2], NIL , RREQ );
+               put2(O_RV4 | cbn << 8+INDX, i);

                gen(NIL, (r[0] == T_FORU ? T_LT : T_GT), width(t1), 4);
                l3 = put2(O_IF, getlab());
                gen(NIL, (r[0] == T_FORU ? T_LT : T_GT), width(t1), 4);
                l3 = put2(O_IF, getlab());

-               lvalue((int *) rr[2], MOD);
-               rvalue(rr[2], NIL);
+               lvalue((int *) rr[2], MOD , RREQ );
+               rvalue(rr[2], NIL , RREQ );

                put2(O_CON2, 1);
                t2 = gen(NIL, r[0] == T_FORU ? T_ADD: T_SUB, width(t1), 2);
                rangechk(t1, t2);       /* The point of all this */
                put2(O_CON2, 1);
                t2 = gen(NIL, r[0] == T_FORU ? T_ADD: T_SUB, width(t1), 2);
                rangechk(t1, t2);       /* The point of all this */


@@ -416,9 +552,6 @@ forop(r)
                patch(l3);
        }
        sizes[cbn].om_off += 4;
                patch(l3);
        }
        sizes[cbn].om_off += 4;

-#      ifdef PPC
-           putlbracket();
-#      endif

        patch(l1);
 aloha:
        noreach = 0;
        patch(l1);
 aloha:
        noreach = 0;


@@ -427,6 +560,7 @@ aloha:
        if (goc != gocnt)
                putcnt();
 }
        if (goc != gocnt)
                putcnt();
 }

+#endif OBJ

 
 /*
  * if expr then stat [ else stat ]
 
 /*
  * if expr then stat [ else stat ]


@@ -435,14 +569,14 @@ ifop(r)
        int *r;
 {
        register struct nl *p;
        int *r;
 {
        register struct nl *p;

-       register l1, l2;
+       register l1, l2;        /* l1 is start of else, l2 is end of else */

        int nr, goc;
 
        goc = gocnt;
        if (r == NIL)
                return;
        putline();
        int nr, goc;
 
        goc = gocnt;
        if (r == NIL)
                return;
        putline();

-       p = rvalue(r[2], NIL);
+       p = rvalue(r[2], NIL , RREQ );

        if (p == NIL) {
                statement(r[3]);
                noreach = 0;
        if (p == NIL) {
                statement(r[3]);
                noreach = 0;


@@ -458,7 +592,15 @@ ifop(r)
                noreach = 0;
                return;
        }
                noreach = 0;
                return;
        }

-       l1 = put2(O_IF, getlab());
+#      ifdef OBJ
+           l1 = put2(O_IF, getlab());
+#      endif OBJ
+#      ifdef PC
+           l1 = getlab();
+           putleaf( P2ICON , l1 , 0 , P2INT , 0 );
+           putop( P2CBRANCH , P2INT );
+           putdot( filename , line );
+#      endif PC

        putcnt();
        statement(r[3]);
        nr = noreach;
        putcnt();
        statement(r[3]);
        nr = noreach;


@@ -469,7 +611,13 @@ ifop(r)
                --level;
                ungoto();
                ++level;
                --level;
                ungoto();
                ++level;

-               l2 = put2(O_TRA, getlab());
+#              ifdef OBJ
+                   l2 = put2(O_TRA, getlab());
+#              endif OBJ
+#              ifdef PC
+                   l2 = getlab();
+                   putjbr( l2 );
+#              endif PC

                patch(l1);
                noreach = 0;
                statement(r[4]);
                patch(l1);
                noreach = 0;
                statement(r[4]);


@@ -497,7 +645,7 @@ whilop(r)
                return;
        putlab(l1 = getlab());
        putline();
                return;
        putlab(l1 = getlab());
        putline();

-       p = rvalue(r[2], NIL);
+       p = rvalue(r[2], NIL , RREQ );

        if (p == NIL) {
                statement(r[3]);
                noreach = 0;
        if (p == NIL) {
                statement(r[3]);
                noreach = 0;


@@ -509,10 +657,23 @@ whilop(r)
                noreach = 0;
                return;
        }
                noreach = 0;
                return;
        }

-       put2(O_IF, (l2 = getlab()));
+       l2 = getlab();
+#      ifdef OBJ
+           put2(O_IF, l2);
+#      endif OBJ
+#      ifdef PC
+           putleaf( P2ICON , l2 , 0 , P2INT , 0 );
+           putop( P2CBRANCH , P2INT );
+           putdot( filename , line );
+#      endif PC

        putcnt();
        statement(r[3]);
        putcnt();
        statement(r[3]);

-       put2(O_TRA, l1);
+#      ifdef OBJ
+           put2(O_TRA, l1);
+#      endif OBJ
+#      ifdef PC
+           putjbr( l1 );
+#      endif PC

        patch(l2);
        if (goc != gocnt)
                putcnt();
        patch(l2);
        if (goc != gocnt)
                putcnt();


@@ -535,14 +696,21 @@ repop(r)
        putcnt();
        statlist(r[2]);
        line = r[1];
        putcnt();
        statlist(r[2]);
        line = r[1];

-       p = rvalue(r[3], NIL);
+       p = rvalue(r[3], NIL , RREQ );

        if (p == NIL)
                return;
        if (isnta(p,"b")) {
                error("Until expression type must be Boolean, not %s, in repeat statement", nameof(p));
                return;
        }
        if (p == NIL)
                return;
        if (isnta(p,"b")) {
                error("Until expression type must be Boolean, not %s, in repeat statement", nameof(p));
                return;
        }

-       put2(O_IF, l);
+#      ifdef OBJ
+           put2(O_IF, l);
+#      endif OBJ
+#      ifdef PC
+           putleaf( P2ICON , l , 0 , P2INT , 0 );
+           putop( P2CBRANCH , P2INT );
+           putdot( filename , line );
+#      endif PC

        if (goc != gocnt)
                putcnt();
 }
        if (goc != gocnt)
                putcnt();
 }


@@ -562,10 +730,23 @@ asrtop(r)
        if (!opt('t'))
                return;
        r = r[2];
        if (!opt('t'))
                return;
        r = r[2];

-       q = rvalue((int *) r, NLNIL);
+#      ifdef OBJ
+           q = rvalue((int *) r, NLNIL , RREQ );
+#      endif OBJ
+#      ifdef PC
+           putleaf( P2ICON , 0 , 0
+                   , ADDTYPE( P2FTN | P2INT , P2PTR ) , "_ASRT" );
+           q = stkrval( r , NLNIL , RREQ );
+#      endif PC

        if (q == NIL)
                return;
        if (isnta(q, "b"))
                error("Assert expression must be Boolean, not %ss", nameof(q));
        if (q == NIL)
                return;
        if (isnta(q, "b"))
                error("Assert expression must be Boolean, not %ss", nameof(q));

-       put1(O_ASRT);
+#      ifdef OBJ
+           put1(O_ASRT);
+#      endif OBJ
+#      ifdef PC
+           putop( P2CALL , P2INT );
+           putdot( filename , line );
+#      endif PC

 }
 }