Return to reduct.c CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Annotation of OpenXM_contrib2/asir2000/builtin/reduct.c, Revision 1.1

1.1     ! noro        1: /* $OpenXM: OpenXM/src/asir99/builtin/reduct.c,v 1.1.1.1 1999/11/10 08:12:26 noro Exp $ */
        !             2: #include "ca.h"
        !             3: #include "parse.h"
        !             4:
        !             5: void Pred(), Predc(), Pprim();
        !             6:
        !             7: struct ftab reduct_tab[] = {
        !             8:        {"red",Pred,1},
        !             9:        {"redc",Predc,2},
        !            10:        {"prim",Pprim,-2},
        !            11:        {0,0,0},
        !            12: };
        !            13:
        !            14: void Pred(arg,rp)
        !            15: NODE arg;
        !            16: Obj *rp;
        !            17: {
        !            18:        asir_assert(ARG0(arg),O_R,"red");
        !            19:        reductr(CO,(Obj)ARG0(arg),rp);
        !            20: }
        !            21:
        !            22: void Predc(arg,rp)
        !            23: NODE arg;
        !            24: P *rp;
        !            25: {
        !            26:        asir_assert(ARG0(arg),O_P,"redc");
        !            27:        asir_assert(ARG1(arg),O_P,"redc");
        !            28:        remsdcp(CO,(P)ARG0(arg),(P)ARG1(arg),rp);
        !            29: }
        !            30:
        !            31: void Pprim(arg,rp)
        !            32: NODE arg;
        !            33: P *rp;
        !            34: {
        !            35:        P t,p,p1,r;
        !            36:        V v;
        !            37:        VL vl;
        !            38:
        !            39:        asir_assert(ARG0(arg),O_P,"prim");
        !            40:        p = (P)ARG0(arg);
        !            41:        if ( NUM(p) )
        !            42:                *rp = (P)ONE;
        !            43:        else {
        !            44:                if ( argc(arg) == 2 ) {
        !            45:                        v = VR((P)ARG1(arg));
        !            46:                        change_mvar(CO,p,v,&p1);
        !            47:                        if ( VR(p1) != v ) {
        !            48:                                *rp = (P)ONE; return;
        !            49:                        } else {
        !            50:                                reordvar(CO,v,&vl); pcp(vl,p1,&r,&t);
        !            51:                                restore_mvar(CO,r,v,rp);
        !            52:                        }
        !            53:                } else
        !            54:                        pcp(CO,p,rp,&t);
        !            55:        }
        !            56: }