1 /* Implementation of the IANY intrinsic
2 Copyright (C) 2010-2023 Free Software Foundation, Inc.
3 Contributed by Tobias Burnus <burnus@net-b.de>
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 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_INTEGER_8) && defined (HAVE_GFC_INTEGER_8)
32 extern void iany_i8 (gfc_array_i8
* const restrict
,
33 gfc_array_i8
* const restrict
, const index_type
* const restrict
);
34 export_proto(iany_i8
);
37 iany_i8 (gfc_array_i8
* const restrict retarray
,
38 gfc_array_i8
* 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_INTEGER_8
* restrict base
;
46 GFC_INTEGER_8
* restrict dest
;
54 /* Make dim zero based to avoid confusion. */
55 rank
= GFC_DESCRIPTOR_RANK (array
) - 1;
58 if (unlikely (dim
< 0 || dim
> rank
))
60 runtime_error ("Dim argument incorrect in IANY 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
);
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
);
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);
87 if (retarray
->base_addr
== NULL
)
89 size_t alloc_size
, str
;
91 for (n
= 0; n
< rank
; n
++)
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_INTEGER_8
));
110 /* Make sure we have a zero-sized array. */
111 GFC_DIMENSION_SET(retarray
->dim
[0], 0, -1, 1);
118 if (rank
!= GFC_DESCRIPTOR_RANK (retarray
))
119 runtime_error ("rank of return array incorrect in"
120 " IANY intrinsic: is %ld, should be %ld",
121 (long int) (GFC_DESCRIPTOR_RANK (retarray
)),
124 if (unlikely (compile_options
.bounds_check
))
125 bounds_ifunction_return ((array_t
*) retarray
, extent
,
126 "return value", "IANY");
129 for (n
= 0; n
< rank
; n
++)
132 dstride
[n
] = GFC_DESCRIPTOR_STRIDE(retarray
,n
);
137 base
= array
->base_addr
;
138 dest
= retarray
->base_addr
;
141 while (continue_loop
)
143 const GFC_INTEGER_8
* restrict src
;
144 GFC_INTEGER_8 result
;
153 #if ! defined HAVE_BACK_ARG
154 for (n
= 0; n
< len
; n
++, src
+= delta
)
164 /* Advance to the next element. */
169 while (count
[n
] == extent
[n
])
171 /* When we get to the end of a dimension, reset it and increment
172 the next dimension. */
174 /* We could precalculate these products, but this is a less
175 frequently used path so probably not worth it. */
176 base
-= sstride
[n
] * extent
[n
];
177 dest
-= dstride
[n
] * extent
[n
];
181 /* Break out of the loop. */
196 extern void miany_i8 (gfc_array_i8
* const restrict
,
197 gfc_array_i8
* const restrict
, const index_type
* const restrict
,
198 gfc_array_l1
* const restrict
);
199 export_proto(miany_i8
);
202 miany_i8 (gfc_array_i8
* const restrict retarray
,
203 gfc_array_i8
* const restrict array
,
204 const index_type
* const restrict pdim
,
205 gfc_array_l1
* const restrict mask
)
207 index_type count
[GFC_MAX_DIMENSIONS
];
208 index_type extent
[GFC_MAX_DIMENSIONS
];
209 index_type sstride
[GFC_MAX_DIMENSIONS
];
210 index_type dstride
[GFC_MAX_DIMENSIONS
];
211 index_type mstride
[GFC_MAX_DIMENSIONS
];
212 GFC_INTEGER_8
* restrict dest
;
213 const GFC_INTEGER_8
* restrict base
;
214 const GFC_LOGICAL_1
* restrict mbase
;
226 iany_i8 (retarray
, array
, pdim
, back
);
228 iany_i8 (retarray
, array
, pdim
);
234 rank
= GFC_DESCRIPTOR_RANK (array
) - 1;
237 if (unlikely (dim
< 0 || dim
> rank
))
239 runtime_error ("Dim argument incorrect in IANY intrinsic: "
240 "is %ld, should be between 1 and %ld",
241 (long int) dim
+ 1, (long int) rank
+ 1);
244 len
= GFC_DESCRIPTOR_EXTENT(array
,dim
);
248 mbase
= mask
->base_addr
;
250 mask_kind
= GFC_DESCRIPTOR_SIZE (mask
);
252 if (mask_kind
== 1 || mask_kind
== 2 || mask_kind
== 4 || mask_kind
== 8
253 #ifdef HAVE_GFC_LOGICAL_16
257 mbase
= GFOR_POINTER_TO_L1 (mbase
, mask_kind
);
259 runtime_error ("Funny sized logical array");
261 delta
= GFC_DESCRIPTOR_STRIDE(array
,dim
);
262 mdelta
= GFC_DESCRIPTOR_STRIDE_BYTES(mask
,dim
);
264 for (n
= 0; n
< dim
; n
++)
266 sstride
[n
] = GFC_DESCRIPTOR_STRIDE(array
,n
);
267 mstride
[n
] = GFC_DESCRIPTOR_STRIDE_BYTES(mask
,n
);
268 extent
[n
] = GFC_DESCRIPTOR_EXTENT(array
,n
);
274 for (n
= dim
; n
< rank
; n
++)
276 sstride
[n
] = GFC_DESCRIPTOR_STRIDE(array
,n
+ 1);
277 mstride
[n
] = GFC_DESCRIPTOR_STRIDE_BYTES(mask
, n
+ 1);
278 extent
[n
] = GFC_DESCRIPTOR_EXTENT(array
, n
+ 1);
284 if (retarray
->base_addr
== NULL
)
286 size_t alloc_size
, str
;
288 for (n
= 0; n
< rank
; n
++)
293 str
= GFC_DESCRIPTOR_STRIDE(retarray
,n
-1) * extent
[n
-1];
295 GFC_DIMENSION_SET(retarray
->dim
[n
], 0, extent
[n
] - 1, str
);
299 alloc_size
= GFC_DESCRIPTOR_STRIDE(retarray
,rank
-1) * extent
[rank
-1];
301 retarray
->offset
= 0;
302 retarray
->dtype
.rank
= rank
;
306 /* Make sure we have a zero-sized array. */
307 GFC_DIMENSION_SET(retarray
->dim
[0], 0, -1, 1);
311 retarray
->base_addr
= xmallocarray (alloc_size
, sizeof (GFC_INTEGER_8
));
316 if (rank
!= GFC_DESCRIPTOR_RANK (retarray
))
317 runtime_error ("rank of return array incorrect in IANY intrinsic");
319 if (unlikely (compile_options
.bounds_check
))
321 bounds_ifunction_return ((array_t
*) retarray
, extent
,
322 "return value", "IANY");
323 bounds_equal_extents ((array_t
*) mask
, (array_t
*) array
,
324 "MASK argument", "IANY");
328 for (n
= 0; n
< rank
; n
++)
331 dstride
[n
] = GFC_DESCRIPTOR_STRIDE(retarray
,n
);
336 dest
= retarray
->base_addr
;
337 base
= array
->base_addr
;
341 const GFC_INTEGER_8
* restrict src
;
342 const GFC_LOGICAL_1
* restrict msrc
;
343 GFC_INTEGER_8 result
;
349 for (n
= 0; n
< len
; n
++, src
+= delta
, msrc
+= mdelta
)
357 /* Advance to the next element. */
363 while (count
[n
] == extent
[n
])
365 /* When we get to the end of a dimension, reset it and increment
366 the next dimension. */
368 /* We could precalculate these products, but this is a less
369 frequently used path so probably not worth it. */
370 base
-= sstride
[n
] * extent
[n
];
371 mbase
-= mstride
[n
] * extent
[n
];
372 dest
-= dstride
[n
] * extent
[n
];
376 /* Break out of the loop. */
392 extern void siany_i8 (gfc_array_i8
* const restrict
,
393 gfc_array_i8
* const restrict
, const index_type
* const restrict
,
395 export_proto(siany_i8
);
398 siany_i8 (gfc_array_i8
* const restrict retarray
,
399 gfc_array_i8
* const restrict array
,
400 const index_type
* const restrict pdim
,
401 GFC_LOGICAL_4
* mask
)
403 index_type count
[GFC_MAX_DIMENSIONS
];
404 index_type extent
[GFC_MAX_DIMENSIONS
];
405 index_type dstride
[GFC_MAX_DIMENSIONS
];
406 GFC_INTEGER_8
* restrict dest
;
412 if (mask
== NULL
|| *mask
)
415 iany_i8 (retarray
, array
, pdim
, back
);
417 iany_i8 (retarray
, array
, pdim
);
421 /* Make dim zero based to avoid confusion. */
423 rank
= GFC_DESCRIPTOR_RANK (array
) - 1;
425 if (unlikely (dim
< 0 || dim
> rank
))
427 runtime_error ("Dim argument incorrect in IANY intrinsic: "
428 "is %ld, should be between 1 and %ld",
429 (long int) dim
+ 1, (long int) rank
+ 1);
432 for (n
= 0; n
< dim
; n
++)
434 extent
[n
] = GFC_DESCRIPTOR_EXTENT(array
,n
);
440 for (n
= dim
; n
< rank
; n
++)
443 GFC_DESCRIPTOR_EXTENT(array
,n
+ 1);
449 if (retarray
->base_addr
== NULL
)
451 size_t alloc_size
, str
;
453 for (n
= 0; n
< rank
; n
++)
458 str
= GFC_DESCRIPTOR_STRIDE(retarray
,n
-1) * extent
[n
-1];
460 GFC_DIMENSION_SET(retarray
->dim
[n
], 0, extent
[n
] - 1, str
);
464 retarray
->offset
= 0;
465 retarray
->dtype
.rank
= rank
;
467 alloc_size
= GFC_DESCRIPTOR_STRIDE(retarray
,rank
-1) * extent
[rank
-1];
471 /* Make sure we have a zero-sized array. */
472 GFC_DIMENSION_SET(retarray
->dim
[0], 0, -1, 1);
476 retarray
->base_addr
= xmallocarray (alloc_size
, sizeof (GFC_INTEGER_8
));
480 if (rank
!= GFC_DESCRIPTOR_RANK (retarray
))
481 runtime_error ("rank of return array incorrect in"
482 " IANY intrinsic: is %ld, should be %ld",
483 (long int) (GFC_DESCRIPTOR_RANK (retarray
)),
486 if (unlikely (compile_options
.bounds_check
))
488 for (n
=0; n
< rank
; n
++)
490 index_type ret_extent
;
492 ret_extent
= GFC_DESCRIPTOR_EXTENT(retarray
,n
);
493 if (extent
[n
] != ret_extent
)
494 runtime_error ("Incorrect extent in return value of"
495 " IANY intrinsic in dimension %ld:"
496 " is %ld, should be %ld", (long int) n
+ 1,
497 (long int) ret_extent
, (long int) extent
[n
]);
502 for (n
= 0; n
< rank
; n
++)
505 dstride
[n
] = GFC_DESCRIPTOR_STRIDE(retarray
,n
);
508 dest
= retarray
->base_addr
;
516 while (count
[n
] == extent
[n
])
518 /* When we get to the end of a dimension, reset it and increment
519 the next dimension. */
521 /* We could precalculate these products, but this is a less
522 frequently used path so probably not worth it. */
523 dest
-= dstride
[n
] * extent
[n
];