123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260 |
- /* Specific implementation of the PACK intrinsic
- Copyright (C) 2002-2015 Free Software Foundation, Inc.
- Contributed by Paul Brook <paul@nowt.org>
- 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.
- Ligbfortran 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 <assert.h>
- #include <string.h>
- #if defined (HAVE_GFC_REAL_8)
- /* PACK is specified as follows:
- 13.14.80 PACK (ARRAY, MASK, [VECTOR])
- Description: Pack an array into an array of rank one under the
- control of a mask.
- Class: Transformational function.
- Arguments:
- ARRAY may be of any type. It shall not be scalar.
- MASK shall be of type LOGICAL. It shall be conformable with ARRAY.
- VECTOR (optional) shall be of the same type and type parameters
- as ARRAY. VECTOR shall have at least as many elements as
- there are true elements in MASK. If MASK is a scalar
- with the value true, VECTOR shall have at least as many
- elements as there are in ARRAY.
- Result Characteristics: The result is an array of rank one with the
- same type and type parameters as ARRAY. If VECTOR is present, the
- result size is that of VECTOR; otherwise, the result size is the
- number /t/ of true elements in MASK unless MASK is scalar with the
- value true, in which case the result size is the size of ARRAY.
- Result Value: Element /i/ of the result is the element of ARRAY
- that corresponds to the /i/th true element of MASK, taking elements
- in array element order, for /i/ = 1, 2, ..., /t/. If VECTOR is
- present and has size /n/ > /t/, element /i/ of the result has the
- value VECTOR(/i/), for /i/ = /t/ + 1, ..., /n/.
- Examples: The nonzero elements of an array M with the value
- | 0 0 0 |
- | 9 0 0 | may be "gathered" by the function PACK. The result of
- | 0 0 7 |
- PACK (M, MASK = M.NE.0) is [9,7] and the result of PACK (M, M.NE.0,
- VECTOR = (/ 2,4,6,8,10,12 /)) is [9,7,6,8,10,12].
- There are two variants of the PACK intrinsic: one, where MASK is
- array valued, and the other one where MASK is scalar. */
- void
- pack_r8 (gfc_array_r8 *ret, const gfc_array_r8 *array,
- const gfc_array_l1 *mask, const gfc_array_r8 *vector)
- {
- /* r.* indicates the return array. */
- index_type rstride0;
- GFC_REAL_8 * restrict rptr;
- /* s.* indicates the source array. */
- index_type sstride[GFC_MAX_DIMENSIONS];
- index_type sstride0;
- const GFC_REAL_8 *sptr;
- /* m.* indicates the mask array. */
- index_type mstride[GFC_MAX_DIMENSIONS];
- index_type mstride0;
- const GFC_LOGICAL_1 *mptr;
- index_type count[GFC_MAX_DIMENSIONS];
- index_type extent[GFC_MAX_DIMENSIONS];
- int zero_sized;
- index_type n;
- index_type dim;
- index_type nelem;
- index_type total;
- int mask_kind;
- dim = GFC_DESCRIPTOR_RANK (array);
- mptr = mask->base_addr;
- /* Use the same loop for all logical types, by using GFC_LOGICAL_1
- and using shifting to address size and endian issues. */
- mask_kind = GFC_DESCRIPTOR_SIZE (mask);
- if (mask_kind == 1 || mask_kind == 2 || mask_kind == 4 || mask_kind == 8
- #ifdef HAVE_GFC_LOGICAL_16
- || mask_kind == 16
- #endif
- )
- {
- /* Do not convert a NULL pointer as we use test for NULL below. */
- if (mptr)
- mptr = GFOR_POINTER_TO_L1 (mptr, mask_kind);
- }
- else
- runtime_error ("Funny sized logical array");
- zero_sized = 0;
- for (n = 0; n < dim; n++)
- {
- count[n] = 0;
- extent[n] = GFC_DESCRIPTOR_EXTENT(array,n);
- if (extent[n] <= 0)
- zero_sized = 1;
- sstride[n] = GFC_DESCRIPTOR_STRIDE(array,n);
- mstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(mask,n);
- }
- if (sstride[0] == 0)
- sstride[0] = 1;
- if (mstride[0] == 0)
- mstride[0] = mask_kind;
- if (zero_sized)
- sptr = NULL;
- else
- sptr = array->base_addr;
- if (ret->base_addr == NULL || unlikely (compile_options.bounds_check))
- {
- /* Count the elements, either for allocating memory or
- for bounds checking. */
- if (vector != NULL)
- {
- /* The return array will have as many
- elements as there are in VECTOR. */
- total = GFC_DESCRIPTOR_EXTENT(vector,0);
- if (total < 0)
- {
- total = 0;
- vector = NULL;
- }
- }
- else
- {
- /* We have to count the true elements in MASK. */
- total = count_0 (mask);
- }
- if (ret->base_addr == NULL)
- {
- /* Setup the array descriptor. */
- GFC_DIMENSION_SET(ret->dim[0], 0, total-1, 1);
- ret->offset = 0;
- /* xmallocarray allocates a single byte for zero size. */
- ret->base_addr = xmallocarray (total, sizeof (GFC_REAL_8));
- if (total == 0)
- return;
- }
- else
- {
- /* We come here because of range checking. */
- index_type ret_extent;
- ret_extent = GFC_DESCRIPTOR_EXTENT(ret,0);
- if (total != ret_extent)
- runtime_error ("Incorrect extent in return value of PACK intrinsic;"
- " is %ld, should be %ld", (long int) total,
- (long int) ret_extent);
- }
- }
- rstride0 = GFC_DESCRIPTOR_STRIDE(ret,0);
- if (rstride0 == 0)
- rstride0 = 1;
- sstride0 = sstride[0];
- mstride0 = mstride[0];
- rptr = ret->base_addr;
- while (sptr && mptr)
- {
- /* Test this element. */
- if (*mptr)
- {
- /* Add it. */
- *rptr = *sptr;
- rptr += rstride0;
- }
- /* Advance to the next element. */
- sptr += sstride0;
- mptr += mstride0;
- count[0]++;
- n = 0;
- while (count[n] == extent[n])
- {
- /* 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. */
- sptr -= sstride[n] * extent[n];
- mptr -= mstride[n] * extent[n];
- n++;
- if (n >= dim)
- {
- /* Break out of the loop. */
- sptr = NULL;
- break;
- }
- else
- {
- count[n]++;
- sptr += sstride[n];
- mptr += mstride[n];
- }
- }
- }
- /* Add any remaining elements from VECTOR. */
- if (vector)
- {
- n = GFC_DESCRIPTOR_EXTENT(vector,0);
- nelem = ((rptr - ret->base_addr) / rstride0);
- if (n > nelem)
- {
- sstride0 = GFC_DESCRIPTOR_STRIDE(vector,0);
- if (sstride0 == 0)
- sstride0 = 1;
- sptr = vector->base_addr + sstride0 * nelem;
- n -= nelem;
- while (n--)
- {
- *rptr = *sptr;
- rptr += rstride0;
- sptr += sstride0;
- }
- }
- }
- }
- #endif
|