projects / unix-history / blobdiff
? search:
summary | tags | clone url | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
BSD 4_3_Net_2 release
[unix-history] / usr / src / usr.bin / pascal / src / call.c
diff --git a/usr/src/usr.bin/pascal/src/call.c b/usr/src/usr.bin/pascal/src/call.c
index d6f65d3..cde1355 100644 (file)
--- a/usr/src/usr.bin/pascal/src/call.c
+++ b/usr/src/usr.bin/pascal/src/call.c
@@ -1,17 +1,49 @@
-/* Copyright (c) 1979 Regents of the University of California */
+/*-
+ * Copyright (c) 1980 The Regents of the University of California.
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ * 3. All advertising materials mentioning features or use of this software
+ *    must display the following acknowledgement:
+ *     This product includes software developed by the University of
+ *     California, Berkeley and its contributors.
+ * 4. Neither the name of the University nor the names of its contributors
+ *    may be used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
+ * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+ * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+ * SUCH DAMAGE.
+ */
 
 #ifndef lint
 
 #ifndef lint
-static char sccsid[] = "@(#)call.c 1.27 %G%";
-#endif
+static char sccsid[] = "@(#)call.c     5.4 (Berkeley) 4/16/91";
+#endif /* not lint */
 
 #include "whoami.h"
 #include "0.h"
 #include "tree.h"
 #include "opcode.h"
 #include "objfmt.h"
 
 #include "whoami.h"
 #include "0.h"
 #include "tree.h"
 #include "opcode.h"
 #include "objfmt.h"
+#include "align.h"
 #ifdef PC
 #   include "pc.h"
 #ifdef PC
 #   include "pc.h"
-#   include "pcops.h"
+#   include <pcc.h>
 #endif PC
 #include "tmps.h"
 #include "tree_ty.h"
 #endif PC
 #include "tmps.h"
 #include "tree_ty.h"
@@ -57,8 +89,10 @@ call(p, argv_node, porf, psbn)
        struct tnode    *argv_node;     /* list node */
        int porf, psbn;
 {
        struct tnode    *argv_node;     /* list node */
        int porf, psbn;
 {
-       register struct nl *p1, *q;
+       register struct nl *p1, *q, *p2;
+       register struct nl *ptype, *ctype;
        struct tnode *rnode;
        struct tnode *rnode;
+       int i, j, d;
        bool chk = TRUE;
        struct nl       *savedispnp;    /* temporary to hold saved display */
 #      ifdef PC
        bool chk = TRUE;
        struct nl       *savedispnp;    /* temporary to hold saved display */
 #      ifdef PC
@@ -93,7 +127,8 @@ call(p, argv_node, porf, psbn)
                     * Push some space
                     * for the function return type
                     */
                     * Push some space
                     * for the function return type
                     */
-                   (void) put(2, O_PUSH, leven(-lwidth(p->type)));
+                   (void) put(2, O_PUSH,
+                       -roundup(lwidth(p->type), (long) A_STACK));
            }
 #      endif OBJ
 #      ifdef PC
            }
 #      endif OBJ
 #      ifdef PC
@@ -107,17 +142,17 @@ call(p, argv_node, porf, psbn)
                tempdescrp = tmpalloc((long) (sizeof( struct formalrtn *)),
                                        NLNIL, REGOK );
                putRV((char *) 0 , cbn , tempdescrp -> value[ NL_OFFS ] ,
                tempdescrp = tmpalloc((long) (sizeof( struct formalrtn *)),
                                        NLNIL, REGOK );
                putRV((char *) 0 , cbn , tempdescrp -> value[ NL_OFFS ] ,
-                       tempdescrp -> extra_flags , P2PTR|P2STRTY );
+                       tempdescrp -> extra_flags , PCCTM_PTR|PCCT_STRTY );
                putRV((char *) 0 , psbn , p -> value[ NL_OFFS ] ,
                putRV((char *) 0 , psbn , p -> value[ NL_OFFS ] ,
-                       p -> extra_flags , P2PTR|P2STRTY );
-               putop( P2ASSIGN , P2PTR | P2STRTY );
+                       p -> extra_flags , PCCTM_PTR|PCCT_STRTY );
+               putop( PCC_ASSIGN , PCCTM_PTR | PCCT_STRTY );
            }
                /*
                 *      if we have to store a temporary,
                 *      temptype will be its type,
            }
                /*
                 *      if we have to store a temporary,
                 *      temptype will be its type,
-                *      otherwise, it's P2UNDEF.
+                *      otherwise, it's PCCT_UNDEF.
                 */
                 */
-           temptype = P2UNDEF;
+           temptype = PCCT_UNDEF;
            if ( porf == FUNC ) {
                p_type_width = width( p -> type );
                switch( p_type_class ) {
            if ( porf == FUNC ) {
                p_type_width = width( p -> type );
                switch( p_type_class ) {
@@ -126,7 +161,7 @@ call(p, argv_node, porf, psbn)
                    case TREC:
                    case TFILE:
                    case TARY:
                    case TREC:
                    case TFILE:
                    case TARY:
-                       temptype = P2STRTY;
+                       temptype = PCCT_STRTY;
                        p_type_align = align( p -> type );
                        break;
                    default:
                        p_type_align = align( p -> type );
                        break;
                    default:
@@ -135,7 +170,7 @@ call(p, argv_node, porf, psbn)
                        }
                        break;
                }
                        }
                        break;
                }
-               if ( temptype != P2UNDEF ) {
+               if ( temptype != PCCT_UNDEF ) {
                    tempnlp = tmpalloc(p_type_width, p -> type, NOREG);
                        /*
                         *      temp
                    tempnlp = tmpalloc(p_type_width, p -> type, NOREG);
                        /*
                         *      temp
@@ -152,7 +187,7 @@ call(p, argv_node, porf, psbn)
                         *      ... p( ...
                         */
                    sextname( extname , p -> symbol , BLOCKNO(p -> nl_block) );
                         *      ... p( ...
                         */
                    sextname( extname , p -> symbol , BLOCKNO(p -> nl_block) );
-                   putleaf( P2ICON , 0 , 0 , p2type( p ) , extname );
+                   putleaf( PCC_ICON , 0 , 0 , p2type( p ) , extname );
                    break;
                case FFUNC:
                case FPROC:
                    break;
                case FFUNC:
                case FPROC:
@@ -162,29 +197,29 @@ call(p, argv_node, porf, psbn)
                             */
                            /*  the descriptor */
                        putRV((char *) 0 , cbn , tempdescrp -> value[ NL_OFFS ] ,
                             */
                            /*  the descriptor */
                        putRV((char *) 0 , cbn , tempdescrp -> value[ NL_OFFS ] ,
-                               tempdescrp -> extra_flags , P2PTR | P2STRTY );
+                               tempdescrp -> extra_flags , PCCTM_PTR | PCCT_STRTY );
                            /*  the entry address within the descriptor */
                        if ( FENTRYOFFSET != 0 ) {
                            /*  the entry address within the descriptor */
                        if ( FENTRYOFFSET != 0 ) {
-                           putleaf( P2ICON , FENTRYOFFSET , 0 , P2INT , 
+                           putleaf( PCC_ICON , FENTRYOFFSET , 0 , PCCT_INT , 
                                                (char *) 0 );
                                                (char *) 0 );
-                           putop( P2PLUS , 
-                               ADDTYPE(
-                                   ADDTYPE( ADDTYPE( p2type( p ) , P2FTN ) ,
-                                           P2PTR ) ,
-                                       P2PTR ) );
+                           putop( PCC_PLUS , 
+                               PCCM_ADDTYPE(
+                                   PCCM_ADDTYPE( PCCM_ADDTYPE( p2type( p ) , PCCTM_FTN ) ,
+                                           PCCTM_PTR ) ,
+                                       PCCTM_PTR ) );
                        }
                            /*
                             *  indirect to fetch the formal entry address
                             *  with the result type of the routine.
                             */
                        if (p -> class == FFUNC) {
                        }
                            /*
                             *  indirect to fetch the formal entry address
                             *  with the result type of the routine.
                             */
                        if (p -> class == FFUNC) {
-                           putop( P2UNARY P2MUL ,
-                               ADDTYPE(ADDTYPE(p2type(p -> type), P2FTN),
-                                       P2PTR));
+                           putop( PCCOM_UNARY PCC_MUL ,
+                               PCCM_ADDTYPE(PCCM_ADDTYPE(p2type(p -> type), PCCTM_FTN),
+                                       PCCTM_PTR));
                        } else {
                                /* procedures are int returning functions */
                        } else {
                                /* procedures are int returning functions */
-                           putop( P2UNARY P2MUL ,
-                               ADDTYPE(ADDTYPE(P2INT, P2FTN), P2PTR));
+                           putop( PCCOM_UNARY PCC_MUL ,
+                               PCCM_ADDTYPE(PCCM_ADDTYPE(PCCT_INT, PCCTM_FTN), PCCTM_PTR));
                        }
                        break;
                default:
                        }
                        break;
                default:
@@ -197,6 +232,7 @@ call(p, argv_node, porf, psbn)
         * arguments to the proc/func.
         *      ... ( ... args ... ) ...
         */
         * arguments to the proc/func.
         *      ... ( ... args ... ) ...
         */
+       ptype = NIL;
        for (p1 = plist(p); p1 != NLNIL; p1 = p1->chain) {
            if (argv_node == TR_NIL) {
                    error("Not enough arguments to %s", p->symbol);
        for (p1 = plist(p); p1 != NLNIL; p1 = p1->chain) {
            if (argv_node == TR_NIL) {
                    error("Not enough arguments to %s", p->symbol);
@@ -219,10 +255,103 @@ call(p, argv_node, porf, psbn)
                                chk = FALSE;
                                break;
                        }
                                chk = FALSE;
                                break;
                        }
-                       if (q != p1->type) {
+                       p2 = p1->type;
+                       if (p2 == NLNIL || p2->chain == NLNIL || p2->chain->class != CRANGE) {
+                           if (q != p2) {
                                error("Parameter type not identical to type of var parameter %s of %s", p1->symbol, p->symbol);
                                chk = FALSE;
                                error("Parameter type not identical to type of var parameter %s of %s", p1->symbol, p->symbol);
                                chk = FALSE;
-                               break;
+                           }
+                           break;
+                       } else {
+                           /* conformant array */
+                           if (p1 == ptype) {
+                               if (q != ctype) {
+                                   error("Conformant array parameters in the same specification must be the same type.");
+                                   goto conf_err;
+                               }
+                           } else {
+                               if (classify(q) != TARY && classify(q) != TSTR) {
+                                   error("Array type required for var parameter %s of %s",p1->symbol,p->symbol);
+                                   goto conf_err;
+                               }
+                               /* check base type of array */
+                               if (p2->type != q->type) {
+                                   error("Base type of array not identical to that of conformant array parameter %s of %s", p1->symbol, p->symbol);
+                                   goto conf_err;
+                               }
+                               if (p2->value[0] != q->value[0]) {
+                                   error("Subscript number mismatch on conformant array parameter %s of %s", p1->symbol, p->symbol);
+                                   /* Don't process array bounds & width */
+conf_err:                          if (p1->chain->type->class == CRANGE) {
+                                       d = p1->value[0];
+                                       for (i = 1; i <= d; i++) {
+                                           /* for each subscript, pass by
+                                            * bounds and width
+                                            */
+                                           p1 = p1->chain->chain->chain;
+                                       }
+                                   }
+                                   ptype = ctype = NLNIL;
+                                   chk = FALSE;
+                                   break;
+                               }
+                               /*
+                                * Save array type for all parameters with same
+                                * specification.
+                                */
+                               ctype = q;
+                               ptype = p2;
+                               /*
+                                * If at end of conformant array list,
+                                * get bounds.
+                                */
+                               if (p1->chain->type->class == CRANGE) {
+                                   /* check each subscript, put on stack */
+                                   d = ptype->value[0];
+                                   q = ctype;
+                                   for (i = 1; i <= d; i++) {
+                                       p1 = p1->chain;
+                                       q = q->chain;
+                                       if (incompat(q, p1->type, TR_NIL)){
+                                           error("Subscript type not conformable with parameter %s of %s", p1->symbol, p->symbol);
+                                           chk = FALSE;
+                                           break;
+                                       }
+                                       /* Put lower and upper bound & width */
+#                                      ifdef OBJ
+                                       if (q->type->class == CRANGE) {
+                                           putcbnds(q->type);
+                                       } else {
+                                           put(2, width(p1->type) <= 2 ? O_CON2
+                                               : O_CON4, q->range[0]);
+                                           put(2, width(p1->type) <= 2 ? O_CON2
+                                               : O_CON4, q->range[1]);
+                                           put(2, width(p1->type) <= 2 ? O_CON2
+                                               : O_CON4, aryconst(ctype,i));
+                                       }
+#                                      endif OBJ
+#                                      ifdef PC
+                                       if (q->type->class == CRANGE) {
+                                           for (j = 1; j <= 3; j++) {
+                                               p2 = p->nptr[j];
+                                               putRV(p2->symbol, (p2->nl_block
+                                                   & 037), p2->value[0],
+                                                   p2->extra_flags,p2type(p2));
+                                               putop(PCC_CM, PCCT_INT);
+                                           }
+                                       } else {
+                                           putleaf(PCC_ICON, q->range[0], 0,PCCT_INT,0);
+                                           putop( PCC_CM , PCCT_INT );
+                                           putleaf(PCC_ICON, q->range[1], 0,PCCT_INT,0);
+                                           putop( PCC_CM , PCCT_INT );
+                                           putleaf(PCC_ICON,aryconst(ctype,i),0,PCCT_INT,0);
+                                           putop( PCC_CM , PCCT_INT );
+                                       }
+#                                      endif PC
+                                       p1 = p1->chain->chain;
+                                   }
+                               }
+                           }
                        }
                        break;
                case VAR:
                        }
                        break;
                case VAR:
@@ -259,7 +388,7 @@ call(p, argv_node, porf, psbn)
                                case TDOUBLE:
                                q = stkrval(argv_node->list_node.list,
                                                p1 -> type , (long) RREQ );
                                case TDOUBLE:
                                q = stkrval(argv_node->list_node.list,
                                                p1 -> type , (long) RREQ );
-                                   sconv(p2type(q), P2DOUBLE);
+                                   sconv(p2type(q), PCCT_DOUBLE);
                                    break;
                                default:
                                    q = rvalue(argv_node->list_node.list,
                                    break;
                                default:
                                    q = rvalue(argv_node->list_node.list,
@@ -290,7 +419,7 @@ call(p, argv_node, porf, psbn)
                                case TREC:
                                case TSET:
                                case TSTR:
                                case TREC:
                                case TSET:
                                case TSTR:
-                                       putstrop( P2STARG
+                                       putstrop( PCC_STARG
                                            , p2type( p1 -> type )
                                            , (int) lwidth( p1 -> type )
                                            , align( p1 -> type ) );
                                            , p2type( p1 -> type )
                                            , (int) lwidth( p1 -> type )
                                            , align( p1 -> type ) );
@@ -329,7 +458,7 @@ call(p, argv_node, porf, psbn)
                if ( noarguments ) {
                        noarguments = FALSE;
                } else {
                if ( noarguments ) {
                        noarguments = FALSE;
                } else {
-                       putop( P2LISTOP , P2INT );
+                       putop( PCC_CM , PCCT_INT );
                }
 #          endif PC
            argv_node = argv_node->list_node.next;
                }
 #          endif PC
            argv_node = argv_node->list_node.next;
@@ -347,7 +476,7 @@ call(p, argv_node, porf, psbn)
                (void) put(2, O_LV | cbn << 8 + INDX ,
                        (int) savedispnp -> value[ NL_OFFS ] );
                (void) put(1, O_FCALL);
                (void) put(2, O_LV | cbn << 8 + INDX ,
                        (int) savedispnp -> value[ NL_OFFS ] );
                (void) put(1, O_FCALL);
-               (void) put(2, O_FRTN, even(width(p->type)));
+               (void) put(2, O_FRTN, roundup(width(p->type), (long) A_STACK));
            } else {
                (void) put(2, O_CALL | psbn << 8, (long)p->value[NL_ENTLOC]);
            }
            } else {
                (void) put(2, O_CALL | psbn << 8, (long)p->value[NL_ENTLOC]);
            }
@@ -362,14 +491,14 @@ call(p, argv_node, porf, psbn)
                 */
            if ( p -> class == FFUNC || p -> class == FPROC ) {
                putRV((char *) 0 , cbn , tempdescrp -> value[ NL_OFFS ] ,
                 */
            if ( p -> class == FFUNC || p -> class == FPROC ) {
                putRV((char *) 0 , cbn , tempdescrp -> value[ NL_OFFS ] ,
-                       tempdescrp -> extra_flags , P2PTR|P2STRTY );
+                       tempdescrp -> extra_flags , PCCTM_PTR|PCCT_STRTY );
                if ( !noarguments ) {
                if ( !noarguments ) {
-                   putop( P2LISTOP , P2INT );
+                   putop( PCC_CM , PCCT_INT );
                }
                noarguments = FALSE;
                putLV((char *) 0 , cbn , savedispnp -> value[ NL_OFFS ] ,
                }
                noarguments = FALSE;
                putLV((char *) 0 , cbn , savedispnp -> value[ NL_OFFS ] ,
-                       savedispnp -> extra_flags , P2PTR | P2STRTY );
-               putop( P2LISTOP , P2INT );
+                       savedispnp -> extra_flags , PCCTM_PTR | PCCT_STRTY );
+               putop( PCC_CM , PCCT_INT );
            }
                /*
                 *      do the actual call:
            }
                /*
                 *      do the actual call:
@@ -385,52 +514,52 @@ call(p, argv_node, porf, psbn)
                    case TSCAL:
                    case TDOUBLE:
                    case TPTR:
                    case TSCAL:
                    case TDOUBLE:
                    case TPTR:
-                       putop( ( noarguments ? P2UNARY P2CALL : P2CALL ) ,
+                       putop( ( noarguments ? PCCOM_UNARY PCC_CALL : PCC_CALL ) ,
                                (int) p_type_p2type );
                        if ( p -> class == FFUNC ) {
                                (int) p_type_p2type );
                        if ( p -> class == FFUNC ) {
-                           putop( P2ASSIGN , (int) p_type_p2type );
+                           putop( PCC_ASSIGN , (int) p_type_p2type );
                        }
                        break;
                    default:
                        }
                        break;
                    default:
-                       putstrop( ( noarguments ? P2UNARY P2STCALL : P2STCALL ),
-                               (int) ADDTYPE( p_type_p2type , P2PTR ) ,
+                       putstrop( ( noarguments ? PCCOM_UNARY PCC_STCALL : PCC_STCALL ),
+                               (int) PCCM_ADDTYPE( p_type_p2type , PCCTM_PTR ) ,
                                (int) p_type_width ,(int) p_type_align );
                                (int) p_type_width ,(int) p_type_align );
-                       putstrop(P2STASG, (int) ADDTYPE(p_type_p2type, P2PTR),
+                       putstrop(PCC_STASG, (int) PCCM_ADDTYPE(p_type_p2type, PCCTM_PTR),
                                (int) lwidth(p -> type), align(p -> type));
                        break;
                }
            } else {
                                (int) lwidth(p -> type), align(p -> type));
                        break;
                }
            } else {
-               putop( ( noarguments ? P2UNARY P2CALL : P2CALL ) , P2INT );
+               putop( ( noarguments ? PCCOM_UNARY PCC_CALL : PCC_CALL ) , PCCT_INT );
            }
                /*
                 *      ( t=p , ... , FRTN( t ) ...
                 */
            if ( p -> class == FFUNC || p -> class == FPROC ) {
            }
                /*
                 *      ( t=p , ... , FRTN( t ) ...
                 */
            if ( p -> class == FFUNC || p -> class == FPROC ) {
-               putop( P2COMOP , P2INT );
-               putleaf( P2ICON , 0 , 0 , ADDTYPE( P2FTN | P2INT , P2PTR ) ,
+               putop( PCC_COMOP , PCCT_INT );
+               putleaf( PCC_ICON , 0 , 0 , PCCM_ADDTYPE( PCCTM_FTN | PCCT_INT , PCCTM_PTR ) ,
                        "_FRTN" );
                putRV((char *) 0 , cbn , tempdescrp -> value[ NL_OFFS ] ,
                        "_FRTN" );
                putRV((char *) 0 , cbn , tempdescrp -> value[ NL_OFFS ] ,
-                       tempdescrp -> extra_flags , P2PTR | P2STRTY );
+                       tempdescrp -> extra_flags , PCCTM_PTR | PCCT_STRTY );
                putLV((char *) 0 , cbn , savedispnp -> value[ NL_OFFS ] ,
                putLV((char *) 0 , cbn , savedispnp -> value[ NL_OFFS ] ,
-                       savedispnp -> extra_flags , P2PTR | P2STRTY );
-               putop( P2LISTOP , P2INT );
-               putop( P2CALL , P2INT );
-               putop( P2COMOP , P2INT );
+                       savedispnp -> extra_flags , PCCTM_PTR | PCCT_STRTY );
+               putop( PCC_CM , PCCT_INT );
+               putop( PCC_CALL , PCCT_INT );
+               putop( PCC_COMOP , PCCT_INT );
            }
                /*
                 *      if required:
                 *      either  ... , temp )
                 *      or      ... , &temp )
                 */
            }
                /*
                 *      if required:
                 *      either  ... , temp )
                 *      or      ... , &temp )
                 */
-           if ( porf == FUNC && temptype != P2UNDEF ) {
-               if ( temptype != P2STRTY ) {
+           if ( porf == FUNC && temptype != PCCT_UNDEF ) {
+               if ( temptype != PCCT_STRTY ) {
                    putRV((char *) 0 , cbn , tempnlp -> value[ NL_OFFS ] ,
                            tempnlp -> extra_flags , (int) p_type_p2type );
                } else {
                    putLV((char *) 0 , cbn , tempnlp -> value[ NL_OFFS ] ,
                            tempnlp -> extra_flags , (int) p_type_p2type );
                }
                    putRV((char *) 0 , cbn , tempnlp -> value[ NL_OFFS ] ,
                            tempnlp -> extra_flags , (int) p_type_p2type );
                } else {
                    putLV((char *) 0 , cbn , tempnlp -> value[ NL_OFFS ] ,
                            tempnlp -> extra_flags , (int) p_type_p2type );
                }
-               putop( P2COMOP , P2INT );
+               putop( PCC_COMOP , PCCT_INT );
            }
            if ( porf == PROC ) {
                putdot( filename , line );
            }
            if ( porf == PROC ) {
                putdot( filename , line );
Continuous source code history from original PDP-7 UNIX to FreeBSD 2, the first fully unencumbered FreeBSD release.