usr.bin/yacc/warshall.c

   1 /*
   2  * Copyright (c) 1989 The Regents of the University of California.
   3  * All rights reserved.
   4  *
   5  * This code is derived from software contributed to Berkeley by
   6  * Robert Paul Corbett.
   7  *
   8  * Redistribution and use in source and binary forms, with or without
   9  * modification, are permitted provided that the following conditions
  10  * are met:
  11  * 1. Redistributions of source code must retain the above copyright
  12  *    notice, this list of conditions and the following disclaimer.
  13  * 2. Redistributions in binary form must reproduce the above copyright
  14  *    notice, this list of conditions and the following disclaimer in the
  15  *    documentation and/or other materials provided with the distribution.
  16  * 3. All advertising materials mentioning features or use of this software
  17  *    must display the following acknowledgement:
  18  *      This product includes software developed by the University of
  19  *      California, Berkeley and its contributors.
  20  * 4. Neither the name of the University nor the names of its contributors
  21  *    may be used to endorse or promote products derived from this software
  22  *    without specific prior written permission.
  23  *
  24  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
  25  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  26  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  27  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
  28  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  29  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  30  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  31  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  32  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  33  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  34  * SUCH DAMAGE.
  35  *
  36  * $FreeBSD: src/usr.bin/yacc/warshall.c,v 1.6 1999/08/28 01:08:04 peter Exp $
  37  * $DragonFly: src/usr.bin/yacc/warshall.c,v 1.2 2003/06/17 04:29:34 dillon Exp $
  38  *
  39  * @(#)warshall.c       5.4 (Berkeley) 5/24/93
  40  */
  41
  42 #include "defs.h"
  43
  44 static void transitive_closure __P((unsigned *, int));
  45
  46 static void
  47 transitive_closure(R, n)
  48 unsigned *R;
  49 int n;
  50 {
  51     register int rowsize;
  52     register unsigned i;
  53     register unsigned *rowj;
  54     register unsigned *rp;
  55     register unsigned *rend;
  56     register unsigned *ccol;
  57     register unsigned *relend;
  58     register unsigned *cword;
  59     register unsigned *rowi;
  60
  61     rowsize = WORDSIZE(n);
  62     relend = R + n*rowsize;
  63
  64     cword = R;
  65     i = 0;
  66     rowi = R;
  67     while (rowi < relend)
  68     {
  69         ccol = cword;
  70         rowj = R;
  71
  72         while (rowj < relend)
  73         {
  74             if (*ccol & (1 << i))
  75             {
  76                 rp = rowi;
  77                 rend = rowj + rowsize;
  78                 while (rowj < rend)
  79                     *rowj++ |= *rp++;
  80             }
  81             else
  82             {
  83                 rowj += rowsize;
  84             }
  85
  86             ccol += rowsize;
  87         }
  88
  89         if (++i >= BITS_PER_WORD)
  90         {
  91             i = 0;
  92             cword++;
  93         }
  94
  95         rowi += rowsize;
  96     }
  97 }
  98
  99 void
 100 reflexive_transitive_closure(R, n)
 101 unsigned *R;
 102 int n;
 103 {
 104     register int rowsize;
 105     register unsigned i;
 106     register unsigned *rp;
 107     register unsigned *relend;
 108
 109     transitive_closure(R, n);
 110
 111     rowsize = WORDSIZE(n);
 112     relend = R + n*rowsize;
 113
 114     i = 0;
 115     rp = R;
 116     while (rp < relend)
 117     {
 118         *rp |= (1 << i);
 119         if (++i >= BITS_PER_WORD)
 120         {
 121             i = 0;
 122             rp++;
 123         }
 124
 125         rp += rowsize;
 126     }
 127 }