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