tree-optimization/115199 - fix PTA constraint processing for &ANYTHING LHS
[official-gcc.git] / libgfortran / generated / sum_c10.c
bloba5f5dcf9dc9cd2582b5cb23caa75f95bcae3730e
1 /* Implementation of the SUM intrinsic
2 Copyright (C) 2002-2024 Free Software Foundation, Inc.
3 Contributed by Paul Brook <paul@nowt.org>
5 This file is part of the GNU Fortran 95 runtime library (libgfortran).
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.
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.
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.
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/>. */
26 #include "libgfortran.h"
29 #if defined (HAVE_GFC_COMPLEX_10) && defined (HAVE_GFC_COMPLEX_10)
32 extern void sum_c10 (gfc_array_c10 * const restrict,
33 gfc_array_c10 * const restrict, const index_type * const restrict);
34 export_proto(sum_c10);
36 void
37 sum_c10 (gfc_array_c10 * const restrict retarray,
38 gfc_array_c10 * const restrict array,
39 const index_type * const restrict pdim)
41 index_type count[GFC_MAX_DIMENSIONS];
42 index_type extent[GFC_MAX_DIMENSIONS];
43 index_type sstride[GFC_MAX_DIMENSIONS];
44 index_type dstride[GFC_MAX_DIMENSIONS];
45 const GFC_COMPLEX_10 * restrict base;
46 GFC_COMPLEX_10 * restrict dest;
47 index_type rank;
48 index_type n;
49 index_type len;
50 index_type delta;
51 index_type dim;
52 int continue_loop;
54 /* Make dim zero based to avoid confusion. */
55 rank = GFC_DESCRIPTOR_RANK (array) - 1;
56 dim = (*pdim) - 1;
58 if (unlikely (dim < 0 || dim > rank))
60 runtime_error ("Dim argument incorrect in SUM intrinsic: "
61 "is %ld, should be between 1 and %ld",
62 (long int) dim + 1, (long int) rank + 1);
65 len = GFC_DESCRIPTOR_EXTENT(array,dim);
66 if (len < 0)
67 len = 0;
68 delta = GFC_DESCRIPTOR_STRIDE(array,dim);
70 for (n = 0; n < dim; n++)
72 sstride[n] = GFC_DESCRIPTOR_STRIDE(array,n);
73 extent[n] = GFC_DESCRIPTOR_EXTENT(array,n);
75 if (extent[n] < 0)
76 extent[n] = 0;
78 for (n = dim; n < rank; n++)
80 sstride[n] = GFC_DESCRIPTOR_STRIDE(array, n + 1);
81 extent[n] = GFC_DESCRIPTOR_EXTENT(array, n + 1);
83 if (extent[n] < 0)
84 extent[n] = 0;
87 if (retarray->base_addr == NULL)
89 size_t alloc_size, str;
91 for (n = 0; n < rank; n++)
93 if (n == 0)
94 str = 1;
95 else
96 str = GFC_DESCRIPTOR_STRIDE(retarray,n-1) * extent[n-1];
98 GFC_DIMENSION_SET(retarray->dim[n], 0, extent[n] - 1, str);
102 retarray->offset = 0;
103 retarray->dtype.rank = rank;
105 alloc_size = GFC_DESCRIPTOR_STRIDE(retarray,rank-1) * extent[rank-1];
107 retarray->base_addr = xmallocarray (alloc_size, sizeof (GFC_COMPLEX_10));
108 if (alloc_size == 0)
109 return;
111 else
113 if (rank != GFC_DESCRIPTOR_RANK (retarray))
114 runtime_error ("rank of return array incorrect in"
115 " SUM intrinsic: is %ld, should be %ld",
116 (long int) (GFC_DESCRIPTOR_RANK (retarray)),
117 (long int) rank);
119 if (unlikely (compile_options.bounds_check))
120 bounds_ifunction_return ((array_t *) retarray, extent,
121 "return value", "SUM");
124 for (n = 0; n < rank; n++)
126 count[n] = 0;
127 dstride[n] = GFC_DESCRIPTOR_STRIDE(retarray,n);
128 if (extent[n] <= 0)
129 return;
132 base = array->base_addr;
133 dest = retarray->base_addr;
135 continue_loop = 1;
136 while (continue_loop)
138 const GFC_COMPLEX_10 * restrict src;
139 GFC_COMPLEX_10 result;
140 src = base;
143 result = 0;
144 if (len <= 0)
145 *dest = 0;
146 else
148 #if ! defined HAVE_BACK_ARG
149 for (n = 0; n < len; n++, src += delta)
151 #endif
153 result += *src;
156 *dest = result;
159 /* Advance to the next element. */
160 count[0]++;
161 base += sstride[0];
162 dest += dstride[0];
163 n = 0;
164 while (count[n] == extent[n])
166 /* When we get to the end of a dimension, reset it and increment
167 the next dimension. */
168 count[n] = 0;
169 /* We could precalculate these products, but this is a less
170 frequently used path so probably not worth it. */
171 base -= sstride[n] * extent[n];
172 dest -= dstride[n] * extent[n];
173 n++;
174 if (n >= rank)
176 /* Break out of the loop. */
177 continue_loop = 0;
178 break;
180 else
182 count[n]++;
183 base += sstride[n];
184 dest += dstride[n];
191 extern void msum_c10 (gfc_array_c10 * const restrict,
192 gfc_array_c10 * const restrict, const index_type * const restrict,
193 gfc_array_l1 * const restrict);
194 export_proto(msum_c10);
196 void
197 msum_c10 (gfc_array_c10 * const restrict retarray,
198 gfc_array_c10 * const restrict array,
199 const index_type * const restrict pdim,
200 gfc_array_l1 * const restrict mask)
202 index_type count[GFC_MAX_DIMENSIONS];
203 index_type extent[GFC_MAX_DIMENSIONS];
204 index_type sstride[GFC_MAX_DIMENSIONS];
205 index_type dstride[GFC_MAX_DIMENSIONS];
206 index_type mstride[GFC_MAX_DIMENSIONS];
207 GFC_COMPLEX_10 * restrict dest;
208 const GFC_COMPLEX_10 * restrict base;
209 const GFC_LOGICAL_1 * restrict mbase;
210 index_type rank;
211 index_type dim;
212 index_type n;
213 index_type len;
214 index_type delta;
215 index_type mdelta;
216 int mask_kind;
218 if (mask == NULL)
220 #ifdef HAVE_BACK_ARG
221 sum_c10 (retarray, array, pdim, back);
222 #else
223 sum_c10 (retarray, array, pdim);
224 #endif
225 return;
228 dim = (*pdim) - 1;
229 rank = GFC_DESCRIPTOR_RANK (array) - 1;
232 if (unlikely (dim < 0 || dim > rank))
234 runtime_error ("Dim argument incorrect in SUM intrinsic: "
235 "is %ld, should be between 1 and %ld",
236 (long int) dim + 1, (long int) rank + 1);
239 len = GFC_DESCRIPTOR_EXTENT(array,dim);
240 if (len < 0)
241 len = 0;
243 mbase = mask->base_addr;
245 mask_kind = GFC_DESCRIPTOR_SIZE (mask);
247 if (mask_kind == 1 || mask_kind == 2 || mask_kind == 4 || mask_kind == 8
248 #ifdef HAVE_GFC_LOGICAL_16
249 || mask_kind == 16
250 #endif
252 mbase = GFOR_POINTER_TO_L1 (mbase, mask_kind);
253 else
254 runtime_error ("Funny sized logical array");
256 delta = GFC_DESCRIPTOR_STRIDE(array,dim);
257 mdelta = GFC_DESCRIPTOR_STRIDE_BYTES(mask,dim);
259 for (n = 0; n < dim; n++)
261 sstride[n] = GFC_DESCRIPTOR_STRIDE(array,n);
262 mstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(mask,n);
263 extent[n] = GFC_DESCRIPTOR_EXTENT(array,n);
265 if (extent[n] < 0)
266 extent[n] = 0;
269 for (n = dim; n < rank; n++)
271 sstride[n] = GFC_DESCRIPTOR_STRIDE(array,n + 1);
272 mstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(mask, n + 1);
273 extent[n] = GFC_DESCRIPTOR_EXTENT(array, n + 1);
275 if (extent[n] < 0)
276 extent[n] = 0;
279 if (retarray->base_addr == NULL)
281 size_t alloc_size, str;
283 for (n = 0; n < rank; n++)
285 if (n == 0)
286 str = 1;
287 else
288 str= GFC_DESCRIPTOR_STRIDE(retarray,n-1) * extent[n-1];
290 GFC_DIMENSION_SET(retarray->dim[n], 0, extent[n] - 1, str);
294 alloc_size = GFC_DESCRIPTOR_STRIDE(retarray,rank-1) * extent[rank-1];
296 retarray->offset = 0;
297 retarray->dtype.rank = rank;
299 retarray->base_addr = xmallocarray (alloc_size, sizeof (GFC_COMPLEX_10));
300 if (alloc_size == 0)
301 return;
303 else
305 if (rank != GFC_DESCRIPTOR_RANK (retarray))
306 runtime_error ("rank of return array incorrect in SUM intrinsic");
308 if (unlikely (compile_options.bounds_check))
310 bounds_ifunction_return ((array_t *) retarray, extent,
311 "return value", "SUM");
312 bounds_equal_extents ((array_t *) mask, (array_t *) array,
313 "MASK argument", "SUM");
317 for (n = 0; n < rank; n++)
319 count[n] = 0;
320 dstride[n] = GFC_DESCRIPTOR_STRIDE(retarray,n);
321 if (extent[n] <= 0)
322 return;
325 dest = retarray->base_addr;
326 base = array->base_addr;
328 while (base)
330 const GFC_COMPLEX_10 * restrict src;
331 const GFC_LOGICAL_1 * restrict msrc;
332 GFC_COMPLEX_10 result;
333 src = base;
334 msrc = mbase;
337 result = 0;
338 for (n = 0; n < len; n++, src += delta, msrc += mdelta)
341 if (*msrc)
342 result += *src;
344 *dest = result;
346 /* Advance to the next element. */
347 count[0]++;
348 base += sstride[0];
349 mbase += mstride[0];
350 dest += dstride[0];
351 n = 0;
352 while (count[n] == extent[n])
354 /* When we get to the end of a dimension, reset it and increment
355 the next dimension. */
356 count[n] = 0;
357 /* We could precalculate these products, but this is a less
358 frequently used path so probably not worth it. */
359 base -= sstride[n] * extent[n];
360 mbase -= mstride[n] * extent[n];
361 dest -= dstride[n] * extent[n];
362 n++;
363 if (n >= rank)
365 /* Break out of the loop. */
366 base = NULL;
367 break;
369 else
371 count[n]++;
372 base += sstride[n];
373 mbase += mstride[n];
374 dest += dstride[n];
381 extern void ssum_c10 (gfc_array_c10 * const restrict,
382 gfc_array_c10 * const restrict, const index_type * const restrict,
383 GFC_LOGICAL_4 *);
384 export_proto(ssum_c10);
386 void
387 ssum_c10 (gfc_array_c10 * const restrict retarray,
388 gfc_array_c10 * const restrict array,
389 const index_type * const restrict pdim,
390 GFC_LOGICAL_4 * mask)
392 index_type count[GFC_MAX_DIMENSIONS];
393 index_type extent[GFC_MAX_DIMENSIONS];
394 index_type dstride[GFC_MAX_DIMENSIONS];
395 GFC_COMPLEX_10 * restrict dest;
396 index_type rank;
397 index_type n;
398 index_type dim;
401 if (mask == NULL || *mask)
403 #ifdef HAVE_BACK_ARG
404 sum_c10 (retarray, array, pdim, back);
405 #else
406 sum_c10 (retarray, array, pdim);
407 #endif
408 return;
410 /* Make dim zero based to avoid confusion. */
411 dim = (*pdim) - 1;
412 rank = GFC_DESCRIPTOR_RANK (array) - 1;
414 if (unlikely (dim < 0 || dim > rank))
416 runtime_error ("Dim argument incorrect in SUM intrinsic: "
417 "is %ld, should be between 1 and %ld",
418 (long int) dim + 1, (long int) rank + 1);
421 for (n = 0; n < dim; n++)
423 extent[n] = GFC_DESCRIPTOR_EXTENT(array,n);
425 if (extent[n] <= 0)
426 extent[n] = 0;
429 for (n = dim; n < rank; n++)
431 extent[n] =
432 GFC_DESCRIPTOR_EXTENT(array,n + 1);
434 if (extent[n] <= 0)
435 extent[n] = 0;
438 if (retarray->base_addr == NULL)
440 size_t alloc_size, str;
442 for (n = 0; n < rank; n++)
444 if (n == 0)
445 str = 1;
446 else
447 str = GFC_DESCRIPTOR_STRIDE(retarray,n-1) * extent[n-1];
449 GFC_DIMENSION_SET(retarray->dim[n], 0, extent[n] - 1, str);
453 retarray->offset = 0;
454 retarray->dtype.rank = rank;
456 alloc_size = GFC_DESCRIPTOR_STRIDE(retarray,rank-1) * extent[rank-1];
458 retarray->base_addr = xmallocarray (alloc_size, sizeof (GFC_COMPLEX_10));
459 if (alloc_size == 0)
460 return;
462 else
464 if (rank != GFC_DESCRIPTOR_RANK (retarray))
465 runtime_error ("rank of return array incorrect in"
466 " SUM intrinsic: is %ld, should be %ld",
467 (long int) (GFC_DESCRIPTOR_RANK (retarray)),
468 (long int) rank);
470 if (unlikely (compile_options.bounds_check))
472 for (n=0; n < rank; n++)
474 index_type ret_extent;
476 ret_extent = GFC_DESCRIPTOR_EXTENT(retarray,n);
477 if (extent[n] != ret_extent)
478 runtime_error ("Incorrect extent in return value of"
479 " SUM intrinsic in dimension %ld:"
480 " is %ld, should be %ld", (long int) n + 1,
481 (long int) ret_extent, (long int) extent[n]);
486 for (n = 0; n < rank; n++)
488 count[n] = 0;
489 dstride[n] = GFC_DESCRIPTOR_STRIDE(retarray,n);
492 dest = retarray->base_addr;
494 while(1)
496 *dest = 0;
497 count[0]++;
498 dest += dstride[0];
499 n = 0;
500 while (count[n] == extent[n])
502 /* When we get to the end of a dimension, reset it and increment
503 the next dimension. */
504 count[n] = 0;
505 /* We could precalculate these products, but this is a less
506 frequently used path so probably not worth it. */
507 dest -= dstride[n] * extent[n];
508 n++;
509 if (n >= rank)
510 return;
511 else
513 count[n]++;
514 dest += dstride[n];
520 #endif