OSDN Git Service

2008-11-18 Thomas Koenig <tkoenig@gcc.gnu.org>
[pf3gnuchains/gcc-fork.git] / 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'