summaryrefslogtreecommitdiff
path: root/src/pmie/src/andor.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/pmie/src/andor.c')
-rw-r--r--src/pmie/src/andor.c457
1 files changed, 457 insertions, 0 deletions
diff --git a/src/pmie/src/andor.c b/src/pmie/src/andor.c
new file mode 100644
index 0000000..d0e2696
--- /dev/null
+++ b/src/pmie/src/andor.c
@@ -0,0 +1,457 @@
+/*
+ * Copyright (c) 1995-2002 Silicon Graphics, Inc. All Rights Reserved.
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the
+ * Free Software Foundation; either version 2 of the License, or (at your
+ * option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+ * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
+ * for more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ */
+
+/***********************************************************************
+ * andor.c
+ *
+ * These functions were originally generated from skeletons <file>.sk
+ * by the shell-script './meta', then modified to support the semantics
+ * of the boolean AND/OR operators correctly. These are different to
+ * every other operator in that they do not always require both sides
+ * of the expression to be available in order to be evaluated, i.e.
+ * OR: if either side of the expression is true, expr is true
+ * AND: if either side of the expression is false, expr is false
+ ***********************************************************************/
+
+#include "pmapi.h"
+#include "dstruct.h"
+#include "pragmatics.h"
+#include "fun.h"
+#include "show.h"
+#include "stomp.h"
+
+
+/*
+ * operator: cndOr
+ */
+
+#define OR(x,y) (((x) == B_TRUE || (y) == B_TRUE) ? B_TRUE : (((x) == B_FALSE && (y) == B_FALSE) ? B_FALSE : B_UNKNOWN))
+#define OR1(x) ((x) == B_TRUE ? B_TRUE : B_UNKNOWN)
+
+void
+cndOr_n_n(Expr *x)
+{
+ Expr *arg1 = x->arg1;
+ Expr *arg2 = x->arg2;
+ Sample *is1 = &arg1->smpls[0];
+ Sample *is2 = &arg2->smpls[0];
+ Sample *os = &x->smpls[0];
+ Boolean *ip1;
+ Boolean *ip2;
+ Boolean *op;
+ int i;
+
+ EVALARG(arg1)
+ EVALARG(arg2)
+ ROTATE(x)
+
+ if (arg1->valid && arg2->valid && x->tspan > 0) {
+ ip1 = (Boolean *)is1->ptr;
+ ip2 = (Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = OR(*ip1, *ip2);
+ ip1++;
+ ip2++;
+ }
+ os->stamp = (is1->stamp > is2->stamp) ? is1->stamp : is2->stamp;
+ x->valid++;
+ }
+ else if (arg1->valid && x->tspan > 0) {
+ ip1 = (Boolean *)is1->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = OR1(*ip1);
+ ip1++;
+ }
+ os->stamp = is1->stamp;
+ x->valid++;
+ }
+ else if (arg2->valid && x->tspan > 0) {
+ ip2 = (Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = OR1(*ip2);
+ ip2++;
+ }
+ os->stamp = is2->stamp;
+ x->valid++;
+ }
+ else x->valid = 0;
+
+#if PCP_DEBUG
+ if (pmDebug & DBG_TRACE_APPL2) {
+ fprintf(stderr, "cndOr_n_n(" PRINTF_P_PFX "%p) ...\n", x);
+ dumpExpr(x);
+ }
+#endif
+}
+
+void
+cndOr_n_1(Expr *x)
+{
+ Expr *arg1 = x->arg1;
+ Expr *arg2 = x->arg2;
+ Sample *is1 = &arg1->smpls[0];
+ Sample *is2 = &arg2->smpls[0];
+ Sample *os = &x->smpls[0];
+ Boolean *ip1;
+ Boolean iv2;
+ Boolean *op;
+ int i;
+
+ EVALARG(arg1)
+ EVALARG(arg2)
+ ROTATE(x)
+
+ if (arg1->valid && arg2->valid && x->tspan > 0) {
+ ip1 = (Boolean *)is1->ptr;
+ iv2 = *(Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = OR(*ip1, iv2);
+ ip1++;
+ }
+ os->stamp = (is1->stamp > is2->stamp) ? is1->stamp : is2->stamp;
+ x->valid++;
+ }
+ else if (arg1->valid && x->tspan > 0) {
+ ip1 = (Boolean *)is1->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = OR1(*ip1);
+ ip1++;
+ }
+ os->stamp = is1->stamp;
+ x->valid++;
+ }
+ else if (arg2->valid && x->tspan > 0) {
+ *(Boolean *)os->ptr = OR1(*(Boolean *)is2->ptr);
+ os->stamp = is2->stamp;
+ x->valid++;
+ }
+ else x->valid = 0;
+
+#if PCP_DEBUG
+ if (pmDebug & DBG_TRACE_APPL2) {
+ fprintf(stderr, "cndOr_n_1(" PRINTF_P_PFX "%p) ...\n", x);
+ dumpExpr(x);
+ }
+#endif
+}
+
+void
+cndOr_1_n(Expr *x)
+{
+ Expr *arg1 = x->arg1;
+ Expr *arg2 = x->arg2;
+ Sample *is1 = &arg1->smpls[0];
+ Sample *is2 = &arg2->smpls[0];
+ Sample *os = &x->smpls[0];
+ Boolean iv1;
+ Boolean *ip2;
+ Boolean *op;
+ int i;
+
+ EVALARG(arg1)
+ EVALARG(arg2)
+ ROTATE(x)
+
+ if (arg1->valid && arg2->valid && x->tspan > 0) {
+ iv1 = *(Boolean *)is1->ptr;
+ ip2 = (Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = OR(iv1, *ip2);
+ ip2++;
+ }
+ os->stamp = (is1->stamp > is2->stamp) ? is1->stamp : is2->stamp;
+ x->valid++;
+ }
+ else if (arg1->valid && x->tspan > 0) {
+ *(Boolean *)os->ptr = OR1(*(Boolean *)is1->ptr);
+ os->stamp = is1->stamp;
+ x->valid++;
+ }
+ else if (arg2->valid && x->tspan > 0) {
+ ip2 = (Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = OR1(*ip2);
+ ip2++;
+ }
+ os->stamp = is2->stamp;
+ x->valid++;
+ }
+ else x->valid = 0;
+
+#if PCP_DEBUG
+ if (pmDebug & DBG_TRACE_APPL2) {
+ fprintf(stderr, "cndOr_1_n(" PRINTF_P_PFX "%p) ...\n", x);
+ dumpExpr(x);
+ }
+#endif
+}
+
+void
+cndOr_1_1(Expr *x)
+{
+ Expr *arg1 = x->arg1;
+ Expr *arg2 = x->arg2;
+ Sample *is1 = &arg1->smpls[0];
+ Sample *is2 = &arg2->smpls[0];
+ Sample *os = &x->smpls[0];
+
+ EVALARG(arg1)
+ EVALARG(arg2)
+ ROTATE(x)
+
+ if (arg1->valid && arg2->valid) {
+ *(Boolean *)os->ptr = OR(*(Boolean *)is1->ptr, *(Boolean *)is2->ptr);
+ os->stamp = (is1->stamp > is2->stamp) ? is1->stamp : is2->stamp;
+ x->valid++;
+ }
+ else if (arg1->valid) {
+ *(Boolean *)os->ptr = OR1(*(Boolean *)is1->ptr);
+ os->stamp = is1->stamp;
+ x->valid++;
+ }
+ else if (arg2->valid) {
+ *(Boolean *)os->ptr = OR1(*(Boolean *)is2->ptr);
+ os->stamp = is2->stamp;
+ x->valid++;
+ }
+ else x->valid = 0;
+
+#if PCP_DEBUG
+ if (pmDebug & DBG_TRACE_APPL2) {
+ fprintf(stderr, "cndOr_1_1(" PRINTF_P_PFX "%p) ...\n", x);
+ dumpExpr(x);
+ }
+#endif
+}
+
+/*
+ * operator: cndAnd
+ */
+
+#define AND(x,y) (((x) == B_TRUE && (y) == B_TRUE) ? B_TRUE : (((x) == B_FALSE || (y) == B_FALSE) ? B_FALSE : B_UNKNOWN))
+#define AND1(x) (((x) == B_FALSE) ? B_FALSE : B_UNKNOWN)
+
+void
+cndAnd_n_n(Expr *x)
+{
+ Expr *arg1 = x->arg1;
+ Expr *arg2 = x->arg2;
+ Sample *is1 = &arg1->smpls[0];
+ Sample *is2 = &arg2->smpls[0];
+ Sample *os = &x->smpls[0];
+ Boolean *ip1;
+ Boolean *ip2;
+ Boolean *op;
+ int i;
+
+ EVALARG(arg1)
+ EVALARG(arg2)
+ ROTATE(x)
+
+ if (arg1->valid && arg2->valid) {
+ ip1 = (Boolean *)is1->ptr;
+ ip2 = (Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = AND(*ip1, *ip2);
+ ip1++;
+ ip2++;
+ }
+ os->stamp = (is1->stamp > is2->stamp) ? is1->stamp : is2->stamp;
+ x->valid++;
+ }
+ else if (arg1->valid) {
+ ip1 = (Boolean *)is1->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = AND1(*ip1);
+ ip1++;
+ }
+ os->stamp = is1->stamp;
+ x->valid++;
+ }
+ else if (arg2->valid) {
+ ip2 = (Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = AND1(*ip2);
+ ip2++;
+ }
+ os->stamp = is2->stamp;
+ x->valid++;
+ }
+ else x->valid = 0;
+
+#if PCP_DEBUG
+ if (pmDebug & DBG_TRACE_APPL2) {
+ fprintf(stderr, "cndAnd_n_n(" PRINTF_P_PFX "%p) ...\n", x);
+ dumpExpr(x);
+ }
+#endif
+}
+
+void
+cndAnd_n_1(Expr *x)
+{
+ Expr *arg1 = x->arg1;
+ Expr *arg2 = x->arg2;
+ Sample *is1 = &arg1->smpls[0];
+ Sample *is2 = &arg2->smpls[0];
+ Sample *os = &x->smpls[0];
+ Boolean *ip1;
+ Boolean iv2;
+ Boolean *op;
+ int i;
+
+ EVALARG(arg1)
+ EVALARG(arg2)
+ ROTATE(x)
+
+ if (arg1->valid && arg2->valid && x->tspan > 0) {
+ ip1 = (Boolean *)is1->ptr;
+ iv2 = *(Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = AND(*ip1, iv2);
+ ip1++;
+ }
+ os->stamp = (is1->stamp > is2->stamp) ? is1->stamp : is2->stamp;
+ x->valid++;
+ }
+ else if (arg1->valid && x->tspan > 0) {
+ ip1 = (Boolean *)is1->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = AND1(*ip1);
+ ip1++;
+ }
+ os->stamp = is1->stamp;
+ x->valid++;
+ }
+ else if (arg2->valid && x->tspan > 0) {
+ *(Boolean *)os->ptr = AND1(*(Boolean *)is2->ptr);
+ os->stamp = is2->stamp;
+ x->valid++;
+ }
+ else x->valid = 0;
+
+#if PCP_DEBUG
+ if (pmDebug & DBG_TRACE_APPL2) {
+ fprintf(stderr, "cndAnd_n_1(" PRINTF_P_PFX "%p) ...\n", x);
+ dumpExpr(x);
+ }
+#endif
+}
+
+void
+cndAnd_1_n(Expr *x)
+{
+ Expr *arg1 = x->arg1;
+ Expr *arg2 = x->arg2;
+ Sample *is1 = &arg1->smpls[0];
+ Sample *is2 = &arg2->smpls[0];
+ Sample *os = &x->smpls[0];
+ Boolean iv1;
+ Boolean *ip2;
+ Boolean *op;
+ int i;
+
+ EVALARG(arg1)
+ EVALARG(arg2)
+ ROTATE(x)
+
+ if (arg1->valid && arg2->valid && x->tspan > 0) {
+ iv1 = *(Boolean *)is1->ptr;
+ ip2 = (Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = AND(iv1, *ip2);
+ ip2++;
+ }
+ os->stamp = (is1->stamp > is2->stamp) ? is1->stamp : is2->stamp;
+ x->valid++;
+ }
+ else if (arg1->valid && x->tspan > 0) {
+ *(Boolean *)os->ptr = AND1(*(Boolean *)is1->ptr);
+ os->stamp = is1->stamp;
+ x->valid++;
+ }
+ else if (arg2->valid && x->tspan > 0) {
+ ip2 = (Boolean *)is2->ptr;
+ op = (Boolean *)os->ptr;
+ for (i = 0; i < x->tspan; i++) {
+ *op++ = AND1(*ip2);
+ ip2++;
+ }
+ os->stamp = is2->stamp;
+ x->valid++;
+ }
+ else x->valid = 0;
+
+#if PCP_DEBUG
+ if (pmDebug & DBG_TRACE_APPL2) {
+ fprintf(stderr, "cndAnd_1_n(" PRINTF_P_PFX "%p) ...\n", x);
+ dumpExpr(x);
+ }
+#endif
+}
+
+void
+cndAnd_1_1(Expr *x)
+{
+ Expr *arg1 = x->arg1;
+ Expr *arg2 = x->arg2;
+ Sample *is1 = &arg1->smpls[0];
+ Sample *is2 = &arg2->smpls[0];
+ Sample *os = &x->smpls[0];
+
+ EVALARG(arg1)
+ EVALARG(arg2)
+ ROTATE(x)
+
+ if (arg1->valid && arg2->valid) {
+ *(Boolean *)os->ptr = AND(*(Boolean *)is1->ptr, *(Boolean *)is2->ptr);
+ os->stamp = (is1->stamp > is2->stamp) ? is1->stamp : is2->stamp;
+ x->valid++;
+ }
+ else if (arg1->valid) {
+ *(Boolean *)os->ptr = AND1(*(Boolean *)is1->ptr);
+ os->stamp = is1->stamp;
+ x->valid++;
+ }
+ else if (arg2->valid) {
+ *(Boolean *)os->ptr = AND1(*(Boolean *)is2->ptr);
+ os->stamp = is2->stamp;
+ x->valid++;
+ }
+ else x->valid = 0;
+
+#if PCP_DEBUG
+ if (pmDebug & DBG_TRACE_APPL2) {
+ fprintf(stderr, "cndAnd_1_1(" PRINTF_P_PFX "%p) ...\n", x);
+ dumpExpr(x);
+ }
+#endif
+}
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 19:51:35 +0000