123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350 |
- /* Implementation of the MAXLOC intrinsic
- Copyright (C) 2017-2022 Free Software Foundation, Inc.
- Contributed by Thomas Koenig
- This file is part of the GNU Fortran runtime library (libgfortran).
- Libgfortran is free software; you can redistribute it and/or
- modify it under the terms of the GNU General Public
- License as published by the Free Software Foundation; either
- version 3 of the License, or (at your option) any later version.
- Libgfortran is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
- Under Section 7 of GPL version 3, you are granted additional
- permissions described in the GCC Runtime Library Exception, version
- 3.1, as published by the Free Software Foundation.
- You should have received a copy of the GNU General Public License and
- a copy of the GCC Runtime Library Exception along with this program;
- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
- <http://www.gnu.org/licenses/>. */
- #include "libgfortran.h"
- #include <stdlib.h>
- #include <string.h>
- #include <assert.h>
- #include <limits.h>
- #if defined (HAVE_GFC_UINTEGER_4) && defined (HAVE_GFC_INTEGER_16)
- #define HAVE_BACK_ARG 1
- static inline int
- compare_fcn (const GFC_UINTEGER_4 *a, const GFC_UINTEGER_4 *b, gfc_charlen_type n)
- {
- if (sizeof (GFC_UINTEGER_4) == 1)
- return memcmp (a, b, n);
- else
- return memcmp_char4 (a, b, n);
- }
- extern void maxloc0_16_s4 (gfc_array_i16 * const restrict retarray,
- gfc_array_s4 * const restrict array, GFC_LOGICAL_4 back, gfc_charlen_type len);
- export_proto(maxloc0_16_s4);
- void
- maxloc0_16_s4 (gfc_array_i16 * const restrict retarray,
- gfc_array_s4 * const restrict array, GFC_LOGICAL_4 back, gfc_charlen_type len)
- {
- index_type count[GFC_MAX_DIMENSIONS];
- index_type extent[GFC_MAX_DIMENSIONS];
- index_type sstride[GFC_MAX_DIMENSIONS];
- index_type dstride;
- const GFC_UINTEGER_4 *base;
- GFC_INTEGER_16 * restrict dest;
- index_type rank;
- index_type n;
- rank = GFC_DESCRIPTOR_RANK (array);
- if (rank <= 0)
- runtime_error ("Rank of array needs to be > 0");
- if (retarray->base_addr == NULL)
- {
- GFC_DIMENSION_SET(retarray->dim[0], 0, rank-1, 1);
- retarray->dtype.rank = 1;
- retarray->offset = 0;
- retarray->base_addr = xmallocarray (rank, sizeof (GFC_INTEGER_16));
- }
- else
- {
- if (unlikely (compile_options.bounds_check))
- bounds_iforeach_return ((array_t *) retarray, (array_t *) array,
- "MAXLOC");
- }
- dstride = GFC_DESCRIPTOR_STRIDE(retarray,0);
- dest = retarray->base_addr;
- for (n = 0; n < rank; n++)
- {
- sstride[n] = GFC_DESCRIPTOR_STRIDE(array,n) * len;
- extent[n] = GFC_DESCRIPTOR_EXTENT(array,n);
- count[n] = 0;
- if (extent[n] <= 0)
- {
- /* Set the return value. */
- for (n = 0; n < rank; n++)
- dest[n * dstride] = 0;
- return;
- }
- }
- base = array->base_addr;
- /* Initialize the return value. */
- for (n = 0; n < rank; n++)
- dest[n * dstride] = 1;
- {
- const GFC_UINTEGER_4 *maxval;
- maxval = NULL;
- while (base)
- {
- do
- {
- /* Implementation start. */
- if (maxval == NULL || (back ? compare_fcn (base, maxval, len) >= 0 :
- compare_fcn (base, maxval, len) > 0))
- {
- maxval = base;
- for (n = 0; n < rank; n++)
- dest[n * dstride] = count[n] + 1;
- }
- /* Implementation end. */
- /* Advance to the next element. */
- base += sstride[0];
- }
- while (++count[0] != extent[0]);
- n = 0;
- do
- {
- /* When we get to the end of a dimension, reset it and increment
- the next dimension. */
- count[n] = 0;
- /* We could precalculate these products, but this is a less
- frequently used path so probably not worth it. */
- base -= sstride[n] * extent[n];
- n++;
- if (n >= rank)
- {
- /* Break out of the loop. */
- base = NULL;
- break;
- }
- else
- {
- count[n]++;
- base += sstride[n];
- }
- }
- while (count[n] == extent[n]);
- }
- }
- }
- extern void mmaxloc0_16_s4 (gfc_array_i16 * const restrict,
- gfc_array_s4 * const restrict, gfc_array_l1 * const restrict , GFC_LOGICAL_4 back,
- gfc_charlen_type len);
- export_proto(mmaxloc0_16_s4);
- void
- mmaxloc0_16_s4 (gfc_array_i16 * const restrict retarray,
- gfc_array_s4 * const restrict array,
- gfc_array_l1 * const restrict mask, GFC_LOGICAL_4 back,
- gfc_charlen_type len)
- {
- index_type count[GFC_MAX_DIMENSIONS];
- index_type extent[GFC_MAX_DIMENSIONS];
- index_type sstride[GFC_MAX_DIMENSIONS];
- index_type mstride[GFC_MAX_DIMENSIONS];
- index_type dstride;
- GFC_INTEGER_16 *dest;
- const GFC_UINTEGER_4 *base;
- GFC_LOGICAL_1 *mbase;
- int rank;
- index_type n;
- int mask_kind;
- if (mask == NULL)
- {
- #ifdef HAVE_BACK_ARG
- maxloc0_16_s4 (retarray, array, back, len);
- #else
- maxloc0_16_s4 (retarray, array, len);
- #endif
- return;
- }
- rank = GFC_DESCRIPTOR_RANK (array);
- if (rank <= 0)
- runtime_error ("Rank of array needs to be > 0");
- if (retarray->base_addr == NULL)
- {
- GFC_DIMENSION_SET(retarray->dim[0], 0, rank - 1, 1);
- retarray->dtype.rank = 1;
- retarray->offset = 0;
- retarray->base_addr = xmallocarray (rank, sizeof (GFC_INTEGER_16));
- }
- else
- {
- if (unlikely (compile_options.bounds_check))
- {
- bounds_iforeach_return ((array_t *) retarray, (array_t *) array,
- "MAXLOC");
- bounds_equal_extents ((array_t *) mask, (array_t *) array,
- "MASK argument", "MAXLOC");
- }
- }
- mask_kind = GFC_DESCRIPTOR_SIZE (mask);
- mbase = mask->base_addr;
- if (mask_kind == 1 || mask_kind == 2 || mask_kind == 4 || mask_kind == 8
- #ifdef HAVE_GFC_LOGICAL_16
- || mask_kind == 16
- #endif
- )
- mbase = GFOR_POINTER_TO_L1 (mbase, mask_kind);
- else
- runtime_error ("Funny sized logical array");
- dstride = GFC_DESCRIPTOR_STRIDE(retarray,0);
- dest = retarray->base_addr;
- for (n = 0; n < rank; n++)
- {
- sstride[n] = GFC_DESCRIPTOR_STRIDE(array,n) * len;
- mstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(mask,n);
- extent[n] = GFC_DESCRIPTOR_EXTENT(array,n);
- count[n] = 0;
- if (extent[n] <= 0)
- {
- /* Set the return value. */
- for (n = 0; n < rank; n++)
- dest[n * dstride] = 0;
- return;
- }
- }
- base = array->base_addr;
- /* Initialize the return value. */
- for (n = 0; n < rank; n++)
- dest[n * dstride] = 0;
- {
- const GFC_UINTEGER_4 *maxval;
- maxval = NULL;
- while (base)
- {
- do
- {
- /* Implementation start. */
- if (*mbase &&
- (maxval == NULL || (back ? compare_fcn (base, maxval, len) >= 0:
- compare_fcn (base, maxval, len) > 0)))
- {
- maxval = base;
- for (n = 0; n < rank; n++)
- dest[n * dstride] = count[n] + 1;
- }
- /* Implementation end. */
- /* Advance to the next element. */
- base += sstride[0];
- mbase += mstride[0];
- }
- while (++count[0] != extent[0]);
- n = 0;
- do
- {
- /* When we get to the end of a dimension, reset it and increment
- the next dimension. */
- count[n] = 0;
- /* We could precalculate these products, but this is a less
- frequently used path so probably not worth it. */
- base -= sstride[n] * extent[n];
- mbase -= mstride[n] * extent[n];
- n++;
- if (n >= rank)
- {
- /* Break out of the loop. */
- base = NULL;
- break;
- }
- else
- {
- count[n]++;
- base += sstride[n];
- mbase += mstride[n];
- }
- }
- while (count[n] == extent[n]);
- }
- }
- }
- extern void smaxloc0_16_s4 (gfc_array_i16 * const restrict,
- gfc_array_s4 * const restrict, GFC_LOGICAL_4 *, GFC_LOGICAL_4 back,
- gfc_charlen_type len);
- export_proto(smaxloc0_16_s4);
- void
- smaxloc0_16_s4 (gfc_array_i16 * const restrict retarray,
- gfc_array_s4 * const restrict array,
- GFC_LOGICAL_4 * mask, GFC_LOGICAL_4 back,
- gfc_charlen_type len)
- {
- index_type rank;
- index_type dstride;
- index_type n;
- GFC_INTEGER_16 *dest;
- if (mask == NULL || *mask)
- {
- #ifdef HAVE_BACK_ARG
- maxloc0_16_s4 (retarray, array, back, len);
- #else
- maxloc0_16_s4 (retarray, array, len);
- #endif
- return;
- }
- rank = GFC_DESCRIPTOR_RANK (array);
- if (rank <= 0)
- runtime_error ("Rank of array needs to be > 0");
- if (retarray->base_addr == NULL)
- {
- GFC_DIMENSION_SET(retarray->dim[0], 0, rank-1, 1);
- retarray->dtype.rank = 1;
- retarray->offset = 0;
- retarray->base_addr = xmallocarray (rank, sizeof (GFC_INTEGER_16));
- }
- else if (unlikely (compile_options.bounds_check))
- {
- bounds_iforeach_return ((array_t *) retarray, (array_t *) array,
- "MAXLOC");
- }
- dstride = GFC_DESCRIPTOR_STRIDE(retarray,0);
- dest = retarray->base_addr;
- for (n = 0; n<rank; n++)
- dest[n * dstride] = 0 ;
- }
- #endif
|