libgfortran/generated/all_l2.c

   1 /* Implementation of the ALL intrinsic
   2    Copyright (C) 2002-2014 Free Software Foundation, Inc.
   3    Contributed by Paul Brook <paul@nowt.org>
   4
   5 This file is part of the GNU Fortran runtime library (libgfortran).
   6
   7 Libgfortran is free software; you can redistribute it and/or
   8 modify it under the terms of the GNU General Public
   9 License as published by the Free Software Foundation; either
  10 version 3 of the License, or (at your option) any later version.
  11
  12 Libgfortran is distributed in the hope that it will be useful,
  13 but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 GNU General Public License for more details.
  16
  17 Under Section 7 of GPL version 3, you are granted additional
  18 permissions described in the GCC Runtime Library Exception, version
  19 3.1, as published by the Free Software Foundation.
  20
  21 You should have received a copy of the GNU General Public License and
  22 a copy of the GCC Runtime Library Exception along with this program;
  23 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  24 <http://www.gnu.org/licenses/>.  */
  25
  26 #include "libgfortran.h"
  27 #include <stdlib.h>
  28 #include <assert.h>
  29
  30
  31 #if defined (HAVE_GFC_LOGICAL_2)
  32
  33
  34 extern void all_l2 (gfc_array_l2 * const restrict,
  35         gfc_array_l1 * const restrict, const index_type * const restrict);
  36 export_proto(all_l2);
  37
  38 void
  39 all_l2 (gfc_array_l2 * const restrict retarray,
  40         gfc_array_l1 * const restrict array,
  41         const index_type * const restrict pdim)
  42 {
  43   index_type count[GFC_MAX_DIMENSIONS];
  44   index_type extent[GFC_MAX_DIMENSIONS];
  45   index_type sstride[GFC_MAX_DIMENSIONS];
  46   index_type dstride[GFC_MAX_DIMENSIONS];
  47   const GFC_LOGICAL_1 * restrict base;
  48   GFC_LOGICAL_2 * restrict dest;
  49   index_type rank;
  50   index_type n;
  51   index_type len;
  52   index_type delta;
  53   index_type dim;
  54   int src_kind;
  55   int continue_loop;
  56
  57   /* Make dim zero based to avoid confusion.  */
  58   dim = (*pdim) - 1;
  59   rank = GFC_DESCRIPTOR_RANK (array) - 1;
  60
  61   src_kind = GFC_DESCRIPTOR_SIZE (array);
  62
  63   len = GFC_DESCRIPTOR_EXTENT(array,dim);
  64   if (len < 0)
  65     len = 0;
  66
  67   delta = GFC_DESCRIPTOR_STRIDE_BYTES(array,dim);
  68
  69   for (n = 0; n < dim; n++)
  70     {
  71       sstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(array,n);
  72       extent[n] = GFC_DESCRIPTOR_EXTENT(array,n);
  73
  74       if (extent[n] < 0)
  75         extent[n] = 0;
  76     }
  77   for (n = dim; n < rank; n++)
  78     {
  79       sstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(array,n + 1);
  80       extent[n] = GFC_DESCRIPTOR_EXTENT(array,n + 1);
  81
  82       if (extent[n] < 0)
  83         extent[n] = 0;
  84     }
  85
  86   if (retarray->base_addr == NULL)
  87     {
  88       size_t alloc_size, str;
  89
  90       for (n = 0; n < rank; n++)
  91         {
  92           if (n == 0)
  93             str = 1;
  94           else
  95             str = GFC_DESCRIPTOR_STRIDE(retarray,n-1) * extent[n-1];
  96
  97           GFC_DIMENSION_SET(retarray->dim[n], 0, extent[n] - 1, str);
  98
  99         }
 100
 101       retarray->offset = 0;
 102       retarray->dtype = (array->dtype & ~GFC_DTYPE_RANK_MASK) | rank;
 103
 104       alloc_size = GFC_DESCRIPTOR_STRIDE(retarray,rank-1) * extent[rank-1];
 105
 106       if (alloc_size == 0)
 107         {
 108           /* Make sure we have a zero-sized array.  */
 109           GFC_DIMENSION_SET(retarray->dim[0], 0, -1, 1);
 110           return;
 111         }
 112       else
 113         retarray->base_addr = xmallocarray (alloc_size, sizeof (GFC_LOGICAL_2));
 114     }
 115   else
 116     {
 117       if (rank != GFC_DESCRIPTOR_RANK (retarray))
 118         runtime_error ("rank of return array incorrect in"
 119                        " ALL intrinsic: is %ld, should be %ld",
 120                        (long int) GFC_DESCRIPTOR_RANK (retarray),
 121                        (long int) rank);
 122
 123       if (unlikely (compile_options.bounds_check))
 124         {
 125           for (n=0; n < rank; n++)
 126             {
 127               index_type ret_extent;
 128
 129               ret_extent = GFC_DESCRIPTOR_EXTENT(retarray,n);
 130               if (extent[n] != ret_extent)
 131                 runtime_error ("Incorrect extent in return value of"
 132                                " ALL intrinsic in dimension %d:"
 133                                " is %ld, should be %ld", (int) n + 1,
 134                                (long int) ret_extent, (long int) extent[n]);
 135             }
 136         }
 137     }
 138
 139   for (n = 0; n < rank; n++)
 140     {
 141       count[n] = 0;
 142       dstride[n] = GFC_DESCRIPTOR_STRIDE(retarray,n);
 143       if (extent[n] <= 0)
 144         return;
 145     }
 146
 147   base = array->base_addr;
 148
 149   if (src_kind == 1 || src_kind == 2 || src_kind == 4 || src_kind == 8
 150 #ifdef HAVE_GFC_LOGICAL_16
 151       || src_kind == 16
 152 #endif
 153     )
 154     {
 155       if (base)
 156         base = GFOR_POINTER_TO_L1 (base, src_kind);
 157     }
 158   else
 159     internal_error (NULL, "Funny sized logical array in ALL intrinsic");
 160
 161   dest = retarray->base_addr;
 162
 163   continue_loop = 1;
 164   while (continue_loop)
 165     {
 166       const GFC_LOGICAL_1 * restrict src;
 167       GFC_LOGICAL_2 result;
 168       src = base;
 169       {
 170
 171   /* Return true only if all the elements are set.  */
 172   result = 1;
 173         if (len <= 0)
 174           *dest = 1;
 175         else
 176           {
 177             for (n = 0; n < len; n++, src += delta)
 178               {
 179
 180   if (! *src)
 181     {
 182       result = 0;
 183       break;
 184     }
 185           }
 186             *dest = result;
 187           }
 188       }
 189       /* Advance to the next element.  */
 190       count[0]++;
 191       base += sstride[0];
 192       dest += dstride[0];
 193       n = 0;
 194       while (count[n] == extent[n])
 195         {
 196           /* When we get to the end of a dimension, reset it and increment
 197              the next dimension.  */
 198           count[n] = 0;
 199           /* We could precalculate these products, but this is a less
 200              frequently used path so probably not worth it.  */
 201           base -= sstride[n] * extent[n];
 202           dest -= dstride[n] * extent[n];
 203           n++;
 204           if (n == rank)
 205             {
 206               /* Break out of the look.  */
 207               continue_loop = 0;
 208               break;
 209             }
 210           else
 211             {
 212               count[n]++;
 213               base += sstride[n];
 214               dest += dstride[n];
 215             }
 216         }
 217     }
 218 }
 219
 220 #endif