diff options
Diffstat (limited to 'gcc/ch/runtime/leps.c')
-rw-r--r-- | gcc/ch/runtime/leps.c | 76 |
1 files changed, 76 insertions, 0 deletions
diff --git a/gcc/ch/runtime/leps.c b/gcc/ch/runtime/leps.c new file mode 100644 index 0000000..7c5231a --- /dev/null +++ b/gcc/ch/runtime/leps.c @@ -0,0 +1,76 @@ +/* Implement POWERSET runtime actions for CHILL. + Copyright (C) 1992,1993 Free Software Foundation, Inc. + Author: Wilfried Moser, et al + +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, 675 Mass Ave, Cambridge, MA 02139, USA. */ + +#define __CHILL_LIB__ + +#include "config.h" +#include <stdio.h> +#include "powerset.h" + +/* + * function __lepowerset + * + * parameters: + * left powerset + * right powerset + * bitlength length of powerset + * + * returns: + * int 1 .. left is included in right + * 0 .. not + * + * abstract: + * check if one powerset is included in another + * + */ +int +__lepowerset (left, right, bitlength) + SET_WORD *left; + SET_WORD *right; + unsigned long bitlength; +{ + if (bitlength <= SET_CHAR_SIZE) + { + if ((*((SET_CHAR *)left) & *((SET_CHAR *)right)) + != *((SET_CHAR *)left)) + return 0; + return 1; + } + else if (bitlength <= SET_SHORT_SIZE) + { + if ((*((SET_SHORT *)left) & *((SET_SHORT *)right)) + != *((SET_SHORT *)left)) + return 0; + return 1; + } + else + { + SET_WORD *endp = left + BITS_TO_WORDS(bitlength); + + while (left < endp) + { + if ((*right & *left) != *left) + return 0; + left++; + right++; + } + return 1; + } +} |