aboutsummaryrefslogtreecommitdiff
path: root/libchill/concatps.c
diff options
context:
space:
mode:
Diffstat (limited to 'libchill/concatps.c')
-rw-r--r--libchill/concatps.c101
1 files changed, 0 insertions, 101 deletions
diff --git a/libchill/concatps.c b/libchill/concatps.c
deleted file mode 100644
index f350f2b5363..00000000000
--- a/libchill/concatps.c
+++ /dev/null
@@ -1,101 +0,0 @@
-/* Implement powerset-related runtime actions for CHILL.
- Copyright (C) 1992, 93, 1994 Free Software Foundation, Inc.
- Author: Bill Cox
-
-This file is part of GNU CC.
-
-GNU CC 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, or (at your option)
-any later version.
-
-GNU CC 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 GNU CC; see the file COPYING. If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA. */
-
-/* As a special exception, if you link this library with other files,
- some of which are compiled with GCC, to produce an executable,
- this library does not by itself cause the resulting executable
- to be covered by the GNU General Public License.
- This exception does not however invalidate any other reasons why
- the executable file might be covered by the GNU General Public License. */
-
-#define __CHILL_LIB__
-
-#include "powerset.h"
-
-extern void cause_exception (char *exname, char *file, int lineno);
-
-/*
- * function __concatps
- *
- * parameters:
- * OUT - pointer to output PS
- * LEFT - pointer to left PS
- * LEFTLEN - length of left PS in bits
- * RIGHT - pointer to right PS
- * RIGHTLEN - length of right PS in bits
- *
- * returns:
- * void
- *
- * exceptions:
- * none
- *
- * abstract:
- * concatenates two powersets into the output powerset.
- *
- */
-
-extern void
-__pscpy (SET_WORD *dps,
- unsigned long dbl,
- unsigned long doffset,
- SET_WORD *sps,
- unsigned long sbl,
- unsigned long start,
- unsigned long length);
-
-void
-__concatps (out, left, leftlen, right, rightlen)
- SET_WORD *out;
- SET_WORD *left;
- unsigned long leftlen;
- SET_WORD *right;
- unsigned long rightlen;
-{
- /* allocated sizes for each set involved */
- unsigned long outall, leftall, rightall;
-
- if (!out)
- {
- /* FIXME: cause an exception */
- }
- else if (leftlen == 0 || !left)
- {
- if (rightlen == 0 || !right)
- return; /* no work to do */
- __pscpy (out, rightlen, (unsigned long)0,
- right, rightlen, (unsigned long)0, rightlen);
- }
- else if (rightlen == 0 || !right)
- {
- if (leftlen == 0 || !left)
- return; /* no work to do */
- __pscpy (out, leftlen, (unsigned long)0,
- left, leftlen, (unsigned long)0, leftlen);
- }
- /* copy the left powerset into bits 0..leftlen - 1 */
- __pscpy (out, leftlen + rightlen, (unsigned long)0,
- left, leftlen, (unsigned long)0, leftlen);
-
- /* copy the right powerset into bits leftlen..leftlen+rightlen-1 */
- __pscpy (out, leftlen + rightlen, leftlen,
- right, rightlen, (unsigned long)0, rightlen);
-}