libgfortran/m4/reshape.m4

   1 `/* Implementation of the RESHAPE
   2    Copyright 2002, 2006, 2007 Free Software Foundation, Inc.
   3    Contributed by Paul Brook <paul@nowt.org>
   4
   5 This file is part of the GNU Fortran 95 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 2 of the License, or (at your option) any later version.
  11
  12 In addition to the permissions in the GNU General Public License, the
  13 Free Software Foundation gives you unlimited permission to link the
  14 compiled version of this file into combinations with other programs,
  15 and to distribute those combinations without any restriction coming
  16 from the use of this file.  (The General Public License restrictions
  17 do apply in other respects; for example, they cover modification of
  18 the file, and distribution when not linked into a combine
  19 executable.)
  20
  21 Libgfortran is distributed in the hope that it will be useful,
  22 but WITHOUT ANY WARRANTY; without even the implied warranty of
  23 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  24 GNU General Public License for more details.
  25
  26 You should have received a copy of the GNU General Public
  27 License along with libgfortran; see the file COPYING.  If not,
  28 write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
  29 Boston, MA 02110-1301, USA.  */
  30
  31 #include "libgfortran.h"
  32 #include <stdlib.h>
  33 #include <assert.h>'
  34
  35 include(iparm.m4)dnl
  36
  37 `#if defined (HAVE_'rtype_name`)
  38
  39 typedef GFC_ARRAY_DESCRIPTOR(1, 'index_type`) 'shape_type`;'
  40
  41 dnl For integer routines, only the kind (ie size) is used to name the
  42 dnl function.  The same function will be used for integer and logical
  43 dnl arrays of the same kind.
  44
  45 `extern void reshape_'rtype_ccode` ('rtype` * const restrict,
  46         'rtype` * const restrict,
  47         'shape_type` * const restrict,
  48         'rtype` * const restrict,
  49         'shape_type` * const restrict);
  50 export_proto(reshape_'rtype_ccode`);
  51
  52 void
  53 reshape_'rtype_ccode` ('rtype` * const restrict ret,
  54         'rtype` * const restrict source,
  55         'shape_type` * const restrict shape,
  56         'rtype` * const restrict pad,
  57         'shape_type` * const restrict order)
  58 {
  59   /* r.* indicates the return array.  */
  60   index_type rcount[GFC_MAX_DIMENSIONS];
  61   index_type rextent[GFC_MAX_DIMENSIONS];
  62   index_type rstride[GFC_MAX_DIMENSIONS];
  63   index_type rstride0;
  64   index_type rdim;
  65   index_type rsize;
  66   index_type rs;
  67   index_type rex;
  68   'rtype_name` *rptr;
  69   /* s.* indicates the source array.  */
  70   index_type scount[GFC_MAX_DIMENSIONS];
  71   index_type sextent[GFC_MAX_DIMENSIONS];
  72   index_type sstride[GFC_MAX_DIMENSIONS];
  73   index_type sstride0;
  74   index_type sdim;
  75   index_type ssize;
  76   const 'rtype_name` *sptr;
  77   /* p.* indicates the pad array.  */
  78   index_type pcount[GFC_MAX_DIMENSIONS];
  79   index_type pextent[GFC_MAX_DIMENSIONS];
  80   index_type pstride[GFC_MAX_DIMENSIONS];
  81   index_type pdim;
  82   index_type psize;
  83   const 'rtype_name` *pptr;
  84
  85   const 'rtype_name` *src;
  86   int n;
  87   int dim;
  88   int sempty, pempty, shape_empty;
  89   index_type shape_data[GFC_MAX_DIMENSIONS];
  90
  91   rdim = shape->dim[0].ubound - shape->dim[0].lbound + 1;
  92   if (rdim != GFC_DESCRIPTOR_RANK(ret))
  93     runtime_error("rank of return array incorrect in RESHAPE intrinsic");
  94
  95   shape_empty = 0;
  96
  97   for (n = 0; n < rdim; n++)
  98     {
  99       shape_data[n] = shape->data[n * shape->dim[0].stride];
 100       if (shape_data[n] <= 0)
 101       {
 102         shape_data[n] = 0;
 103         shape_empty = 1;
 104       }
 105     }
 106
 107   if (ret->data == NULL)
 108     {
 109       rs = 1;
 110       for (n = 0; n < rdim; n++)
 111         {
 112           ret->dim[n].lbound = 0;
 113           rex = shape_data[n];
 114           ret->dim[n].ubound =  rex - 1;
 115           ret->dim[n].stride = rs;
 116           rs *= rex;
 117         }
 118       ret->offset = 0;
 119       ret->data = internal_malloc_size ( rs * sizeof ('rtype_name`));
 120       ret->dtype = (source->dtype & ~GFC_DTYPE_RANK_MASK) | rdim;
 121     }
 122
 123   if (shape_empty)
 124     return;
 125
 126   if (unlikely (compile_options.bounds_check))
 127     {
 128       index_type ret_extent, source_extent;
 129
 130       rs = 1;
 131       for (n = 0; n < rdim; n++)
 132         {
 133           rs *= shape_data[n];
 134           ret_extent = ret->dim[n].ubound + 1 - ret->dim[n].lbound;
 135           if (ret_extent != shape_data[n])
 136             runtime_error("Incorrect extent in return value of RESHAPE"
 137                           " intrinsic in dimension %ld: is %ld,"
 138                           " should be %ld", (long int) n+1,
 139                           (long int) ret_extent, (long int) shape_data[n]);
 140         }
 141
 142       source_extent = source->dim[0].ubound + 1 - source->dim[0].lbound;
 143
 144       if (rs < source_extent || (rs > source_extent && !pad))
 145         runtime_error("Incorrect size in SOURCE argument to RESHAPE"
 146                       " intrinsic: is %ld, should be %ld",
 147                       (long int) source_extent, (long int) rs);
 148
 149       if (order)
 150         {
 151           int seen[GFC_MAX_DIMENSIONS];
 152           index_type v;
 153
 154           for (n = 0; n < rdim; n++)
 155             seen[n] = 0;
 156
 157           for (n = 0; n < rdim; n++)
 158             {
 159               v = order->data[n * order->dim[0].stride] - 1;
 160
 161               if (v < 0 || v >= rdim)
 162                 runtime_error("Value %ld out of range in ORDER argument"
 163                               " to RESHAPE intrinsic", (long int) v + 1);
 164
 165               if (seen[v] != 0)
 166                 runtime_error("Duplicate value %ld in ORDER argument to"
 167                               " RESHAPE intrinsic", (long int) v + 1);
 168
 169               seen[v] = 1;
 170             }
 171         }
 172     }
 173
 174   rsize = 1;
 175   for (n = 0; n < rdim; n++)
 176     {
 177       if (order)
 178         dim = order->data[n * order->dim[0].stride] - 1;
 179       else
 180         dim = n;
 181
 182       rcount[n] = 0;
 183       rstride[n] = ret->dim[dim].stride;
 184       rextent[n] = ret->dim[dim].ubound + 1 - ret->dim[dim].lbound;
 185       if (rextent[n] < 0)
 186         rextent[n] = 0;
 187
 188       if (rextent[n] != shape_data[dim])
 189         runtime_error ("shape and target do not conform");
 190
 191       if (rsize == rstride[n])
 192         rsize *= rextent[n];
 193       else
 194         rsize = 0;
 195       if (rextent[n] <= 0)
 196         return;
 197     }
 198
 199   sdim = GFC_DESCRIPTOR_RANK (source);
 200   ssize = 1;
 201   sempty = 0;
 202   for (n = 0; n < sdim; n++)
 203     {
 204       scount[n] = 0;
 205       sstride[n] = source->dim[n].stride;
 206       sextent[n] = source->dim[n].ubound + 1 - source->dim[n].lbound;
 207       if (sextent[n] <= 0)
 208         {
 209           sempty = 1;
 210           sextent[n] = 0;
 211         }
 212
 213       if (ssize == sstride[n])
 214         ssize *= sextent[n];
 215       else
 216         ssize = 0;
 217     }
 218
 219   if (pad)
 220     {
 221       pdim = GFC_DESCRIPTOR_RANK (pad);
 222       psize = 1;
 223       pempty = 0;
 224       for (n = 0; n < pdim; n++)
 225         {
 226           pcount[n] = 0;
 227           pstride[n] = pad->dim[n].stride;
 228           pextent[n] = pad->dim[n].ubound + 1 - pad->dim[n].lbound;
 229           if (pextent[n] <= 0)
 230             {
 231               pempty = 1;
 232               pextent[n] = 0;
 233             }
 234
 235           if (psize == pstride[n])
 236             psize *= pextent[n];
 237           else
 238             psize = 0;
 239         }
 240       pptr = pad->data;
 241     }
 242   else
 243     {
 244       pdim = 0;
 245       psize = 1;
 246       pempty = 1;
 247       pptr = NULL;
 248     }
 249
 250   if (rsize != 0 && ssize != 0 && psize != 0)
 251     {
 252       rsize *= sizeof ('rtype_name`);
 253       ssize *= sizeof ('rtype_name`);
 254       psize *= sizeof ('rtype_name`);
 255       reshape_packed ((char *)ret->data, rsize, (char *)source->data,
 256                       ssize, pad ? (char *)pad->data : NULL, psize);
 257       return;
 258     }
 259   rptr = ret->data;
 260   src = sptr = source->data;
 261   rstride0 = rstride[0];
 262   sstride0 = sstride[0];
 263
 264   if (sempty && pempty)
 265     abort ();
 266
 267   if (sempty)
 268     {
 269       /* Pretend we are using the pad array the first time around, too.  */
 270       src = pptr;
 271       sptr = pptr;
 272       sdim = pdim;
 273       for (dim = 0; dim < pdim; dim++)
 274         {
 275           scount[dim] = pcount[dim];
 276           sextent[dim] = pextent[dim];
 277           sstride[dim] = pstride[dim];
 278           sstride0 = pstride[0];
 279         }
 280     }
 281
 282   while (rptr)
 283     {
 284       /* Select between the source and pad arrays.  */
 285       *rptr = *src;
 286       /* Advance to the next element.  */
 287       rptr += rstride0;
 288       src += sstride0;
 289       rcount[0]++;
 290       scount[0]++;
 291
 292       /* Advance to the next destination element.  */
 293       n = 0;
 294       while (rcount[n] == rextent[n])
 295         {
 296           /* When we get to the end of a dimension, reset it and increment
 297              the next dimension.  */
 298           rcount[n] = 0;
 299           /* We could precalculate these products, but this is a less
 300              frequently used path so probably not worth it.  */
 301           rptr -= rstride[n] * rextent[n];
 302           n++;
 303           if (n == rdim)
 304             {
 305               /* Break out of the loop.  */
 306               rptr = NULL;
 307               break;
 308             }
 309           else
 310             {
 311               rcount[n]++;
 312               rptr += rstride[n];
 313             }
 314         }
 315       /* Advance to the next source element.  */
 316       n = 0;
 317       while (scount[n] == sextent[n])
 318         {
 319           /* When we get to the end of a dimension, reset it and increment
 320              the next dimension.  */
 321           scount[n] = 0;
 322           /* We could precalculate these products, but this is a less
 323              frequently used path so probably not worth it.  */
 324           src -= sstride[n] * sextent[n];
 325           n++;
 326           if (n == sdim)
 327             {
 328               if (sptr && pad)
 329                 {
 330                   /* Switch to the pad array.  */
 331                   sptr = NULL;
 332                   sdim = pdim;
 333                   for (dim = 0; dim < pdim; dim++)
 334                     {
 335                       scount[dim] = pcount[dim];
 336                       sextent[dim] = pextent[dim];
 337                       sstride[dim] = pstride[dim];
 338                       sstride0 = sstride[0];
 339                     }
 340                 }
 341               /* We now start again from the beginning of the pad array.  */
 342               src = pptr;
 343               break;
 344             }
 345           else
 346             {
 347               scount[n]++;
 348               src += sstride[n];
 349             }
 350         }
 351     }
 352 }
 353
 354 #endif'