1 /* Generic implementation of the SPREAD intrinsic
2 Copyright (C) 2002-2018 Free Software Foundation, Inc.
3 Contributed by Paul Brook <paul@nowt.org>
5 This file is part of the GNU Fortran 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 Ligbfortran 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"
30 spread_internal (gfc_array_char
*ret
, const gfc_array_char
*source
,
31 const index_type
*along
, const index_type
*pncopies
)
33 /* r.* indicates the return array. */
34 index_type rstride
[GFC_MAX_DIMENSIONS
];
36 index_type rdelta
= 0;
41 /* s.* indicates the source array. */
42 index_type sstride
[GFC_MAX_DIMENSIONS
];
47 index_type count
[GFC_MAX_DIMENSIONS
];
48 index_type extent
[GFC_MAX_DIMENSIONS
];
54 size
= GFC_DESCRIPTOR_SIZE(source
);
56 srank
= GFC_DESCRIPTOR_RANK(source
);
59 if (rrank
> GFC_MAX_DIMENSIONS
)
60 runtime_error ("return rank too large in spread()");
63 runtime_error ("dim outside of rank in spread()");
67 if (ret
->base_addr
== NULL
)
69 /* The front end has signalled that we need to populate the
70 return array descriptor. */
74 ret
->dtype
.rank
= rrank
;
78 for (n
= 0; n
< rrank
; n
++)
90 extent
[dim
] = GFC_DESCRIPTOR_EXTENT(source
,dim
);
91 sstride
[dim
] = GFC_DESCRIPTOR_STRIDE_BYTES(source
,dim
);
92 rstride
[dim
] = rs
* size
;
99 GFC_DIMENSION_SET(ret
->dim
[n
], 0, ub
, stride
);
102 ret
->base_addr
= xmallocarray (rs
, size
);
114 if (GFC_DESCRIPTOR_RANK(ret
) != rrank
)
115 runtime_error ("rank mismatch in spread()");
117 if (compile_options
.bounds_check
)
119 for (n
= 0; n
< rrank
; n
++)
121 index_type ret_extent
;
123 ret_extent
= GFC_DESCRIPTOR_EXTENT(ret
,n
);
126 rdelta
= GFC_DESCRIPTOR_STRIDE_BYTES(ret
,n
);
128 if (ret_extent
!= ncopies
)
129 runtime_error("Incorrect extent in return value of SPREAD"
130 " intrinsic in dimension %ld: is %ld,"
131 " should be %ld", (long int) n
+1,
132 (long int) ret_extent
, (long int) ncopies
);
137 extent
[dim
] = GFC_DESCRIPTOR_EXTENT(source
,dim
);
138 if (ret_extent
!= extent
[dim
])
139 runtime_error("Incorrect extent in return value of SPREAD"
140 " intrinsic in dimension %ld: is %ld,"
141 " should be %ld", (long int) n
+1,
142 (long int) ret_extent
,
143 (long int) extent
[dim
]);
145 if (extent
[dim
] <= 0)
147 sstride
[dim
] = GFC_DESCRIPTOR_STRIDE_BYTES(source
,dim
);
148 rstride
[dim
] = GFC_DESCRIPTOR_STRIDE_BYTES(ret
,n
);
155 for (n
= 0; n
< rrank
; n
++)
159 rdelta
= GFC_DESCRIPTOR_STRIDE_BYTES(ret
,n
);
164 extent
[dim
] = GFC_DESCRIPTOR_EXTENT(source
,dim
);
165 if (extent
[dim
] <= 0)
167 sstride
[dim
] = GFC_DESCRIPTOR_STRIDE_BYTES(source
,dim
);
168 rstride
[dim
] = GFC_DESCRIPTOR_STRIDE_BYTES(ret
,n
);
180 sstride0
= sstride
[0];
181 rstride0
= rstride
[0];
182 rptr
= ret
->base_addr
;
183 sptr
= source
->base_addr
;
187 /* Spread this element. */
189 for (n
= 0; n
< ncopies
; n
++)
191 memcpy (dest
, sptr
, size
);
194 /* Advance to the next element. */
199 while (count
[n
] == extent
[n
])
201 /* When we get to the end of a dimension, reset it and increment
202 the next dimension. */
204 /* We could precalculate these products, but this is a less
205 frequently used path so probably not worth it. */
206 sptr
-= sstride
[n
] * extent
[n
];
207 rptr
-= rstride
[n
] * extent
[n
];
211 /* Break out of the loop. */
225 /* This version of spread_internal treats the special case of a scalar
226 source. This is much simpler than the more general case above. */
229 spread_internal_scalar (gfc_array_char
*ret
, const char *source
,
230 const index_type
*along
, const index_type
*pncopies
)
233 int ncopies
= *pncopies
;
237 size
= GFC_DESCRIPTOR_SIZE(ret
);
239 if (GFC_DESCRIPTOR_RANK (ret
) != 1)
240 runtime_error ("incorrect destination rank in spread()");
243 runtime_error ("dim outside of rank in spread()");
245 if (ret
->base_addr
== NULL
)
247 ret
->base_addr
= xmallocarray (ncopies
, size
);
249 GFC_DIMENSION_SET(ret
->dim
[0], 0, ncopies
- 1, 1);
253 if (ncopies
- 1 > (GFC_DESCRIPTOR_EXTENT(ret
,0) - 1)
254 / GFC_DESCRIPTOR_STRIDE(ret
,0))
255 runtime_error ("dim too large in spread()");
258 for (n
= 0; n
< ncopies
; n
++)
260 dest
= (char*)(ret
->base_addr
+ n
* GFC_DESCRIPTOR_STRIDE_BYTES(ret
,0));
261 memcpy (dest
, source
, size
);
265 extern void spread (gfc_array_char
*, const gfc_array_char
*,
266 const index_type
*, const index_type
*);
267 export_proto(spread
);
270 spread (gfc_array_char
*ret
, const gfc_array_char
*source
,
271 const index_type
*along
, const index_type
*pncopies
)
273 index_type type_size
;
275 type_size
= GFC_DTYPE_TYPE_SIZE(ret
);
278 case GFC_DTYPE_LOGICAL_1
:
279 case GFC_DTYPE_INTEGER_1
:
280 spread_i1 ((gfc_array_i1
*) ret
, (gfc_array_i1
*) source
,
284 case GFC_DTYPE_LOGICAL_2
:
285 case GFC_DTYPE_INTEGER_2
:
286 spread_i2 ((gfc_array_i2
*) ret
, (gfc_array_i2
*) source
,
290 case GFC_DTYPE_LOGICAL_4
:
291 case GFC_DTYPE_INTEGER_4
:
292 spread_i4 ((gfc_array_i4
*) ret
, (gfc_array_i4
*) source
,
296 case GFC_DTYPE_LOGICAL_8
:
297 case GFC_DTYPE_INTEGER_8
:
298 spread_i8 ((gfc_array_i8
*) ret
, (gfc_array_i8
*) source
,
302 #ifdef HAVE_GFC_INTEGER_16
303 case GFC_DTYPE_LOGICAL_16
:
304 case GFC_DTYPE_INTEGER_16
:
305 spread_i16 ((gfc_array_i16
*) ret
, (gfc_array_i16
*) source
,
310 case GFC_DTYPE_REAL_4
:
311 spread_r4 ((gfc_array_r4
*) ret
, (gfc_array_r4
*) source
,
315 case GFC_DTYPE_REAL_8
:
316 spread_r8 ((gfc_array_r8
*) ret
, (gfc_array_r8
*) source
,
320 /* FIXME: This here is a hack, which will have to be removed when
321 the array descriptor is reworked. Currently, we don't store the
322 kind value for the type, but only the size. Because on targets with
323 __float128, we have sizeof(logn double) == sizeof(__float128),
324 we cannot discriminate here and have to fall back to the generic
325 handling (which is suboptimal). */
326 #if !defined(GFC_REAL_16_IS_FLOAT128)
327 # ifdef GFC_HAVE_REAL_10
328 case GFC_DTYPE_REAL_10
:
329 spread_r10 ((gfc_array_r10
*) ret
, (gfc_array_r10
*) source
,
334 # ifdef GFC_HAVE_REAL_16
335 case GFC_DTYPE_REAL_16
:
336 spread_r16 ((gfc_array_r16
*) ret
, (gfc_array_r16
*) source
,
342 case GFC_DTYPE_COMPLEX_4
:
343 spread_c4 ((gfc_array_c4
*) ret
, (gfc_array_c4
*) source
,
347 case GFC_DTYPE_COMPLEX_8
:
348 spread_c8 ((gfc_array_c8
*) ret
, (gfc_array_c8
*) source
,
352 /* FIXME: This here is a hack, which will have to be removed when
353 the array descriptor is reworked. Currently, we don't store the
354 kind value for the type, but only the size. Because on targets with
355 __float128, we have sizeof(logn double) == sizeof(__float128),
356 we cannot discriminate here and have to fall back to the generic
357 handling (which is suboptimal). */
358 #if !defined(GFC_REAL_16_IS_FLOAT128)
359 # ifdef GFC_HAVE_COMPLEX_10
360 case GFC_DTYPE_COMPLEX_10
:
361 spread_c10 ((gfc_array_c10
*) ret
, (gfc_array_c10
*) source
,
366 # ifdef GFC_HAVE_COMPLEX_16
367 case GFC_DTYPE_COMPLEX_16
:
368 spread_c16 ((gfc_array_c16
*) ret
, (gfc_array_c16
*) source
,
376 switch (GFC_DESCRIPTOR_SIZE (ret
))
379 spread_i1 ((gfc_array_i1
*) ret
, (gfc_array_i1
*) source
,
384 if (GFC_UNALIGNED_2(ret
->base_addr
) || GFC_UNALIGNED_2(source
->base_addr
))
388 spread_i2 ((gfc_array_i2
*) ret
, (gfc_array_i2
*) source
,
394 if (GFC_UNALIGNED_4(ret
->base_addr
) || GFC_UNALIGNED_4(source
->base_addr
))
398 spread_i4 ((gfc_array_i4
*) ret
, (gfc_array_i4
*) source
,
404 if (GFC_UNALIGNED_8(ret
->base_addr
) || GFC_UNALIGNED_8(source
->base_addr
))
408 spread_i8 ((gfc_array_i8
*) ret
, (gfc_array_i8
*) source
,
412 #ifdef HAVE_GFC_INTEGER_16
414 if (GFC_UNALIGNED_16(ret
->base_addr
)
415 || GFC_UNALIGNED_16(source
->base_addr
))
419 spread_i16 ((gfc_array_i16
*) ret
, (gfc_array_i16
*) source
,
427 spread_internal (ret
, source
, along
, pncopies
);
431 extern void spread_char (gfc_array_char
*, GFC_INTEGER_4
,
432 const gfc_array_char
*, const index_type
*,
433 const index_type
*, GFC_INTEGER_4
);
434 export_proto(spread_char
);
437 spread_char (gfc_array_char
*ret
,
438 GFC_INTEGER_4 ret_length
__attribute__((unused
)),
439 const gfc_array_char
*source
, const index_type
*along
,
440 const index_type
*pncopies
,
441 GFC_INTEGER_4 source_length
__attribute__((unused
)))
443 spread_internal (ret
, source
, along
, pncopies
);
447 extern void spread_char4 (gfc_array_char
*, GFC_INTEGER_4
,
448 const gfc_array_char
*, const index_type
*,
449 const index_type
*, GFC_INTEGER_4
);
450 export_proto(spread_char4
);
453 spread_char4 (gfc_array_char
*ret
,
454 GFC_INTEGER_4 ret_length
__attribute__((unused
)),
455 const gfc_array_char
*source
, const index_type
*along
,
456 const index_type
*pncopies
,
457 GFC_INTEGER_4 source_length
__attribute__((unused
)))
459 spread_internal (ret
, source
, along
, pncopies
);
463 /* The following are the prototypes for the versions of spread with a
466 extern void spread_scalar (gfc_array_char
*, const char *,
467 const index_type
*, const index_type
*);
468 export_proto(spread_scalar
);
471 spread_scalar (gfc_array_char
*ret
, const char *source
,
472 const index_type
*along
, const index_type
*pncopies
)
474 index_type type_size
;
476 if (GFC_DTYPE_IS_UNSET(ret
))
477 runtime_error ("return array missing descriptor in spread()");
479 type_size
= GFC_DTYPE_TYPE_SIZE(ret
);
482 case GFC_DTYPE_LOGICAL_1
:
483 case GFC_DTYPE_INTEGER_1
:
484 spread_scalar_i1 ((gfc_array_i1
*) ret
, (GFC_INTEGER_1
*) source
,
488 case GFC_DTYPE_LOGICAL_2
:
489 case GFC_DTYPE_INTEGER_2
:
490 spread_scalar_i2 ((gfc_array_i2
*) ret
, (GFC_INTEGER_2
*) source
,
494 case GFC_DTYPE_LOGICAL_4
:
495 case GFC_DTYPE_INTEGER_4
:
496 spread_scalar_i4 ((gfc_array_i4
*) ret
, (GFC_INTEGER_4
*) source
,
500 case GFC_DTYPE_LOGICAL_8
:
501 case GFC_DTYPE_INTEGER_8
:
502 spread_scalar_i8 ((gfc_array_i8
*) ret
, (GFC_INTEGER_8
*) source
,
506 #ifdef HAVE_GFC_INTEGER_16
507 case GFC_DTYPE_LOGICAL_16
:
508 case GFC_DTYPE_INTEGER_16
:
509 spread_scalar_i16 ((gfc_array_i16
*) ret
, (GFC_INTEGER_16
*) source
,
514 case GFC_DTYPE_REAL_4
:
515 spread_scalar_r4 ((gfc_array_r4
*) ret
, (GFC_REAL_4
*) source
,
519 case GFC_DTYPE_REAL_8
:
520 spread_scalar_r8 ((gfc_array_r8
*) ret
, (GFC_REAL_8
*) source
,
524 /* FIXME: This here is a hack, which will have to be removed when
525 the array descriptor is reworked. Currently, we don't store the
526 kind value for the type, but only the size. Because on targets with
527 __float128, we have sizeof(logn double) == sizeof(__float128),
528 we cannot discriminate here and have to fall back to the generic
529 handling (which is suboptimal). */
530 #if !defined(GFC_REAL_16_IS_FLOAT128)
531 # ifdef HAVE_GFC_REAL_10
532 case GFC_DTYPE_REAL_10
:
533 spread_scalar_r10 ((gfc_array_r10
*) ret
, (GFC_REAL_10
*) source
,
538 # ifdef HAVE_GFC_REAL_16
539 case GFC_DTYPE_REAL_16
:
540 spread_scalar_r16 ((gfc_array_r16
*) ret
, (GFC_REAL_16
*) source
,
546 case GFC_DTYPE_COMPLEX_4
:
547 spread_scalar_c4 ((gfc_array_c4
*) ret
, (GFC_COMPLEX_4
*) source
,
551 case GFC_DTYPE_COMPLEX_8
:
552 spread_scalar_c8 ((gfc_array_c8
*) ret
, (GFC_COMPLEX_8
*) source
,
556 /* FIXME: This here is a hack, which will have to be removed when
557 the array descriptor is reworked. Currently, we don't store the
558 kind value for the type, but only the size. Because on targets with
559 __float128, we have sizeof(logn double) == sizeof(__float128),
560 we cannot discriminate here and have to fall back to the generic
561 handling (which is suboptimal). */
562 #if !defined(GFC_REAL_16_IS_FLOAT128)
563 # ifdef HAVE_GFC_COMPLEX_10
564 case GFC_DTYPE_COMPLEX_10
:
565 spread_scalar_c10 ((gfc_array_c10
*) ret
, (GFC_COMPLEX_10
*) source
,
570 # ifdef HAVE_GFC_COMPLEX_16
571 case GFC_DTYPE_COMPLEX_16
:
572 spread_scalar_c16 ((gfc_array_c16
*) ret
, (GFC_COMPLEX_16
*) source
,
580 switch (GFC_DESCRIPTOR_SIZE(ret
))
583 spread_scalar_i1 ((gfc_array_i1
*) ret
, (GFC_INTEGER_1
*) source
,
588 if (GFC_UNALIGNED_2(ret
->base_addr
) || GFC_UNALIGNED_2(source
))
592 spread_scalar_i2 ((gfc_array_i2
*) ret
, (GFC_INTEGER_2
*) source
,
598 if (GFC_UNALIGNED_4(ret
->base_addr
) || GFC_UNALIGNED_4(source
))
602 spread_scalar_i4 ((gfc_array_i4
*) ret
, (GFC_INTEGER_4
*) source
,
608 if (GFC_UNALIGNED_8(ret
->base_addr
) || GFC_UNALIGNED_8(source
))
612 spread_scalar_i8 ((gfc_array_i8
*) ret
, (GFC_INTEGER_8
*) source
,
616 #ifdef HAVE_GFC_INTEGER_16
618 if (GFC_UNALIGNED_16(ret
->base_addr
) || GFC_UNALIGNED_16(source
))
622 spread_scalar_i16 ((gfc_array_i16
*) ret
, (GFC_INTEGER_16
*) source
,
631 spread_internal_scalar (ret
, source
, along
, pncopies
);
635 extern void spread_char_scalar (gfc_array_char
*, GFC_INTEGER_4
,
636 const char *, const index_type
*,
637 const index_type
*, GFC_INTEGER_4
);
638 export_proto(spread_char_scalar
);
641 spread_char_scalar (gfc_array_char
*ret
,
642 GFC_INTEGER_4 ret_length
__attribute__((unused
)),
643 const char *source
, const index_type
*along
,
644 const index_type
*pncopies
,
645 GFC_INTEGER_4 source_length
__attribute__((unused
)))
647 if (GFC_DTYPE_IS_UNSET(ret
))
648 runtime_error ("return array missing descriptor in spread()");
649 spread_internal_scalar (ret
, source
, along
, pncopies
);
653 extern void spread_char4_scalar (gfc_array_char
*, GFC_INTEGER_4
,
654 const char *, const index_type
*,
655 const index_type
*, GFC_INTEGER_4
);
656 export_proto(spread_char4_scalar
);
659 spread_char4_scalar (gfc_array_char
*ret
,
660 GFC_INTEGER_4 ret_length
__attribute__((unused
)),
661 const char *source
, const index_type
*along
,
662 const index_type
*pncopies
,
663 GFC_INTEGER_4 source_length
__attribute__((unused
)))
665 if (GFC_DTYPE_IS_UNSET(ret
))
666 runtime_error ("return array missing descriptor in spread()");
667 spread_internal_scalar (ret
, source
, along
, pncopies
);