1181254a7Smrg /* Specific implementation of the UNPACK intrinsic
2*b1e83836Smrg Copyright (C) 2008-2022 Free Software Foundation, Inc.
3181254a7Smrg Contributed by Thomas Koenig <tkoenig@gcc.gnu.org>, based on
4181254a7Smrg unpack_generic.c by Paul Brook <paul@nowt.org>.
5181254a7Smrg
6181254a7Smrg This file is part of the GNU Fortran runtime library (libgfortran).
7181254a7Smrg
8181254a7Smrg Libgfortran is free software; you can redistribute it and/or
9181254a7Smrg modify it under the terms of the GNU General Public
10181254a7Smrg License as published by the Free Software Foundation; either
11181254a7Smrg version 3 of the License, or (at your option) any later version.
12181254a7Smrg
13181254a7Smrg Ligbfortran is distributed in the hope that it will be useful,
14181254a7Smrg but WITHOUT ANY WARRANTY; without even the implied warranty of
15181254a7Smrg MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16181254a7Smrg GNU General Public License for more details.
17181254a7Smrg
18181254a7Smrg Under Section 7 of GPL version 3, you are granted additional
19181254a7Smrg permissions described in the GCC Runtime Library Exception, version
20181254a7Smrg 3.1, as published by the Free Software Foundation.
21181254a7Smrg
22181254a7Smrg You should have received a copy of the GNU General Public License and
23181254a7Smrg a copy of the GCC Runtime Library Exception along with this program;
24181254a7Smrg see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
25181254a7Smrg <http://www.gnu.org/licenses/>. */
26181254a7Smrg
27181254a7Smrg #include "libgfortran.h"
28181254a7Smrg #include <string.h>
29181254a7Smrg
30181254a7Smrg
31181254a7Smrg #if defined (HAVE_GFC_COMPLEX_8)
32181254a7Smrg
33181254a7Smrg void
unpack0_c8(gfc_array_c8 * ret,const gfc_array_c8 * vector,const gfc_array_l1 * mask,const GFC_COMPLEX_8 * fptr)34181254a7Smrg unpack0_c8 (gfc_array_c8 *ret, const gfc_array_c8 *vector,
35181254a7Smrg const gfc_array_l1 *mask, const GFC_COMPLEX_8 *fptr)
36181254a7Smrg {
37181254a7Smrg /* r.* indicates the return array. */
38181254a7Smrg index_type rstride[GFC_MAX_DIMENSIONS];
39181254a7Smrg index_type rstride0;
40181254a7Smrg index_type rs;
41181254a7Smrg GFC_COMPLEX_8 * restrict rptr;
42181254a7Smrg /* v.* indicates the vector array. */
43181254a7Smrg index_type vstride0;
44181254a7Smrg GFC_COMPLEX_8 *vptr;
45181254a7Smrg /* Value for field, this is constant. */
46181254a7Smrg const GFC_COMPLEX_8 fval = *fptr;
47181254a7Smrg /* m.* indicates the mask array. */
48181254a7Smrg index_type mstride[GFC_MAX_DIMENSIONS];
49181254a7Smrg index_type mstride0;
50181254a7Smrg const GFC_LOGICAL_1 *mptr;
51181254a7Smrg
52181254a7Smrg index_type count[GFC_MAX_DIMENSIONS];
53181254a7Smrg index_type extent[GFC_MAX_DIMENSIONS];
54181254a7Smrg index_type n;
55181254a7Smrg index_type dim;
56181254a7Smrg
57181254a7Smrg int empty;
58181254a7Smrg int mask_kind;
59181254a7Smrg
60181254a7Smrg empty = 0;
61181254a7Smrg
62181254a7Smrg mptr = mask->base_addr;
63181254a7Smrg
64181254a7Smrg /* Use the same loop for all logical types, by using GFC_LOGICAL_1
65181254a7Smrg and using shifting to address size and endian issues. */
66181254a7Smrg
67181254a7Smrg mask_kind = GFC_DESCRIPTOR_SIZE (mask);
68181254a7Smrg
69181254a7Smrg if (mask_kind == 1 || mask_kind == 2 || mask_kind == 4 || mask_kind == 8
70181254a7Smrg #ifdef HAVE_GFC_LOGICAL_16
71181254a7Smrg || mask_kind == 16
72181254a7Smrg #endif
73181254a7Smrg )
74181254a7Smrg {
75181254a7Smrg /* Do not convert a NULL pointer as we use test for NULL below. */
76181254a7Smrg if (mptr)
77181254a7Smrg mptr = GFOR_POINTER_TO_L1 (mptr, mask_kind);
78181254a7Smrg }
79181254a7Smrg else
80181254a7Smrg runtime_error ("Funny sized logical array");
81181254a7Smrg
82*b1e83836Smrg /* Initialize to avoid -Wmaybe-uninitialized complaints. */
83*b1e83836Smrg rstride[0] = 1;
84181254a7Smrg if (ret->base_addr == NULL)
85181254a7Smrg {
86181254a7Smrg /* The front end has signalled that we need to populate the
87181254a7Smrg return array descriptor. */
88181254a7Smrg dim = GFC_DESCRIPTOR_RANK (mask);
89181254a7Smrg rs = 1;
90181254a7Smrg for (n = 0; n < dim; n++)
91181254a7Smrg {
92181254a7Smrg count[n] = 0;
93181254a7Smrg GFC_DIMENSION_SET(ret->dim[n], 0,
94181254a7Smrg GFC_DESCRIPTOR_EXTENT(mask,n) - 1, rs);
95181254a7Smrg extent[n] = GFC_DESCRIPTOR_EXTENT(ret,n);
96181254a7Smrg empty = empty || extent[n] <= 0;
97181254a7Smrg rstride[n] = GFC_DESCRIPTOR_STRIDE(ret,n);
98181254a7Smrg mstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(mask,n);
99181254a7Smrg rs *= extent[n];
100181254a7Smrg }
101181254a7Smrg ret->offset = 0;
102181254a7Smrg ret->base_addr = xmallocarray (rs, sizeof (GFC_COMPLEX_8));
103181254a7Smrg }
104181254a7Smrg else
105181254a7Smrg {
106181254a7Smrg dim = GFC_DESCRIPTOR_RANK (ret);
107181254a7Smrg for (n = 0; n < dim; n++)
108181254a7Smrg {
109181254a7Smrg count[n] = 0;
110181254a7Smrg extent[n] = GFC_DESCRIPTOR_EXTENT(ret,n);
111181254a7Smrg empty = empty || extent[n] <= 0;
112181254a7Smrg rstride[n] = GFC_DESCRIPTOR_STRIDE(ret,n);
113181254a7Smrg mstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(mask,n);
114181254a7Smrg }
115181254a7Smrg if (rstride[0] == 0)
116181254a7Smrg rstride[0] = 1;
117181254a7Smrg }
118181254a7Smrg
119181254a7Smrg if (empty)
120181254a7Smrg return;
121181254a7Smrg
122181254a7Smrg if (mstride[0] == 0)
123181254a7Smrg mstride[0] = 1;
124181254a7Smrg
125181254a7Smrg vstride0 = GFC_DESCRIPTOR_STRIDE(vector,0);
126181254a7Smrg if (vstride0 == 0)
127181254a7Smrg vstride0 = 1;
128181254a7Smrg rstride0 = rstride[0];
129181254a7Smrg mstride0 = mstride[0];
130181254a7Smrg rptr = ret->base_addr;
131181254a7Smrg vptr = vector->base_addr;
132181254a7Smrg
133181254a7Smrg while (rptr)
134181254a7Smrg {
135181254a7Smrg if (*mptr)
136181254a7Smrg {
137181254a7Smrg /* From vector. */
138181254a7Smrg *rptr = *vptr;
139181254a7Smrg vptr += vstride0;
140181254a7Smrg }
141181254a7Smrg else
142181254a7Smrg {
143181254a7Smrg /* From field. */
144181254a7Smrg *rptr = fval;
145181254a7Smrg }
146181254a7Smrg /* Advance to the next element. */
147181254a7Smrg rptr += rstride0;
148181254a7Smrg mptr += mstride0;
149181254a7Smrg count[0]++;
150181254a7Smrg n = 0;
151181254a7Smrg while (count[n] == extent[n])
152181254a7Smrg {
153181254a7Smrg /* When we get to the end of a dimension, reset it and increment
154181254a7Smrg the next dimension. */
155181254a7Smrg count[n] = 0;
156181254a7Smrg /* We could precalculate these products, but this is a less
157181254a7Smrg frequently used path so probably not worth it. */
158181254a7Smrg rptr -= rstride[n] * extent[n];
159181254a7Smrg mptr -= mstride[n] * extent[n];
160181254a7Smrg n++;
161181254a7Smrg if (n >= dim)
162181254a7Smrg {
163181254a7Smrg /* Break out of the loop. */
164181254a7Smrg rptr = NULL;
165181254a7Smrg break;
166181254a7Smrg }
167181254a7Smrg else
168181254a7Smrg {
169181254a7Smrg count[n]++;
170181254a7Smrg rptr += rstride[n];
171181254a7Smrg mptr += mstride[n];
172181254a7Smrg }
173181254a7Smrg }
174181254a7Smrg }
175181254a7Smrg }
176181254a7Smrg
177181254a7Smrg void
unpack1_c8(gfc_array_c8 * ret,const gfc_array_c8 * vector,const gfc_array_l1 * mask,const gfc_array_c8 * field)178181254a7Smrg unpack1_c8 (gfc_array_c8 *ret, const gfc_array_c8 *vector,
179181254a7Smrg const gfc_array_l1 *mask, const gfc_array_c8 *field)
180181254a7Smrg {
181181254a7Smrg /* r.* indicates the return array. */
182181254a7Smrg index_type rstride[GFC_MAX_DIMENSIONS];
183181254a7Smrg index_type rstride0;
184181254a7Smrg index_type rs;
185181254a7Smrg GFC_COMPLEX_8 * restrict rptr;
186181254a7Smrg /* v.* indicates the vector array. */
187181254a7Smrg index_type vstride0;
188181254a7Smrg GFC_COMPLEX_8 *vptr;
189181254a7Smrg /* f.* indicates the field array. */
190181254a7Smrg index_type fstride[GFC_MAX_DIMENSIONS];
191181254a7Smrg index_type fstride0;
192181254a7Smrg const GFC_COMPLEX_8 *fptr;
193181254a7Smrg /* m.* indicates the mask array. */
194181254a7Smrg index_type mstride[GFC_MAX_DIMENSIONS];
195181254a7Smrg index_type mstride0;
196181254a7Smrg const GFC_LOGICAL_1 *mptr;
197181254a7Smrg
198181254a7Smrg index_type count[GFC_MAX_DIMENSIONS];
199181254a7Smrg index_type extent[GFC_MAX_DIMENSIONS];
200181254a7Smrg index_type n;
201181254a7Smrg index_type dim;
202181254a7Smrg
203181254a7Smrg int empty;
204181254a7Smrg int mask_kind;
205181254a7Smrg
206181254a7Smrg empty = 0;
207181254a7Smrg
208181254a7Smrg mptr = mask->base_addr;
209181254a7Smrg
210181254a7Smrg /* Use the same loop for all logical types, by using GFC_LOGICAL_1
211181254a7Smrg and using shifting to address size and endian issues. */
212181254a7Smrg
213181254a7Smrg mask_kind = GFC_DESCRIPTOR_SIZE (mask);
214181254a7Smrg
215181254a7Smrg if (mask_kind == 1 || mask_kind == 2 || mask_kind == 4 || mask_kind == 8
216181254a7Smrg #ifdef HAVE_GFC_LOGICAL_16
217181254a7Smrg || mask_kind == 16
218181254a7Smrg #endif
219181254a7Smrg )
220181254a7Smrg {
221181254a7Smrg /* Do not convert a NULL pointer as we use test for NULL below. */
222181254a7Smrg if (mptr)
223181254a7Smrg mptr = GFOR_POINTER_TO_L1 (mptr, mask_kind);
224181254a7Smrg }
225181254a7Smrg else
226181254a7Smrg runtime_error ("Funny sized logical array");
227181254a7Smrg
228*b1e83836Smrg /* Initialize to avoid -Wmaybe-uninitialized complaints. */
229*b1e83836Smrg rstride[0] = 1;
230181254a7Smrg if (ret->base_addr == NULL)
231181254a7Smrg {
232181254a7Smrg /* The front end has signalled that we need to populate the
233181254a7Smrg return array descriptor. */
234181254a7Smrg dim = GFC_DESCRIPTOR_RANK (mask);
235181254a7Smrg rs = 1;
236181254a7Smrg for (n = 0; n < dim; n++)
237181254a7Smrg {
238181254a7Smrg count[n] = 0;
239181254a7Smrg GFC_DIMENSION_SET(ret->dim[n], 0,
240181254a7Smrg GFC_DESCRIPTOR_EXTENT(mask,n) - 1, rs);
241181254a7Smrg extent[n] = GFC_DESCRIPTOR_EXTENT(ret,n);
242181254a7Smrg empty = empty || extent[n] <= 0;
243181254a7Smrg rstride[n] = GFC_DESCRIPTOR_STRIDE(ret,n);
244181254a7Smrg fstride[n] = GFC_DESCRIPTOR_STRIDE(field,n);
245181254a7Smrg mstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(mask,n);
246181254a7Smrg rs *= extent[n];
247181254a7Smrg }
248181254a7Smrg ret->offset = 0;
249181254a7Smrg ret->base_addr = xmallocarray (rs, sizeof (GFC_COMPLEX_8));
250181254a7Smrg }
251181254a7Smrg else
252181254a7Smrg {
253181254a7Smrg dim = GFC_DESCRIPTOR_RANK (ret);
254181254a7Smrg for (n = 0; n < dim; n++)
255181254a7Smrg {
256181254a7Smrg count[n] = 0;
257181254a7Smrg extent[n] = GFC_DESCRIPTOR_EXTENT(ret,n);
258181254a7Smrg empty = empty || extent[n] <= 0;
259181254a7Smrg rstride[n] = GFC_DESCRIPTOR_STRIDE(ret,n);
260181254a7Smrg fstride[n] = GFC_DESCRIPTOR_STRIDE(field,n);
261181254a7Smrg mstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(mask,n);
262181254a7Smrg }
263181254a7Smrg if (rstride[0] == 0)
264181254a7Smrg rstride[0] = 1;
265181254a7Smrg }
266181254a7Smrg
267181254a7Smrg if (empty)
268181254a7Smrg return;
269181254a7Smrg
270181254a7Smrg if (fstride[0] == 0)
271181254a7Smrg fstride[0] = 1;
272181254a7Smrg if (mstride[0] == 0)
273181254a7Smrg mstride[0] = 1;
274181254a7Smrg
275181254a7Smrg vstride0 = GFC_DESCRIPTOR_STRIDE(vector,0);
276181254a7Smrg if (vstride0 == 0)
277181254a7Smrg vstride0 = 1;
278181254a7Smrg rstride0 = rstride[0];
279181254a7Smrg fstride0 = fstride[0];
280181254a7Smrg mstride0 = mstride[0];
281181254a7Smrg rptr = ret->base_addr;
282181254a7Smrg fptr = field->base_addr;
283181254a7Smrg vptr = vector->base_addr;
284181254a7Smrg
285181254a7Smrg while (rptr)
286181254a7Smrg {
287181254a7Smrg if (*mptr)
288181254a7Smrg {
289181254a7Smrg /* From vector. */
290181254a7Smrg *rptr = *vptr;
291181254a7Smrg vptr += vstride0;
292181254a7Smrg }
293181254a7Smrg else
294181254a7Smrg {
295181254a7Smrg /* From field. */
296181254a7Smrg *rptr = *fptr;
297181254a7Smrg }
298181254a7Smrg /* Advance to the next element. */
299181254a7Smrg rptr += rstride0;
300181254a7Smrg fptr += fstride0;
301181254a7Smrg mptr += mstride0;
302181254a7Smrg count[0]++;
303181254a7Smrg n = 0;
304181254a7Smrg while (count[n] == extent[n])
305181254a7Smrg {
306181254a7Smrg /* When we get to the end of a dimension, reset it and increment
307181254a7Smrg the next dimension. */
308181254a7Smrg count[n] = 0;
309181254a7Smrg /* We could precalculate these products, but this is a less
310181254a7Smrg frequently used path so probably not worth it. */
311181254a7Smrg rptr -= rstride[n] * extent[n];
312181254a7Smrg fptr -= fstride[n] * extent[n];
313181254a7Smrg mptr -= mstride[n] * extent[n];
314181254a7Smrg n++;
315181254a7Smrg if (n >= dim)
316181254a7Smrg {
317181254a7Smrg /* Break out of the loop. */
318181254a7Smrg rptr = NULL;
319181254a7Smrg break;
320181254a7Smrg }
321181254a7Smrg else
322181254a7Smrg {
323181254a7Smrg count[n]++;
324181254a7Smrg rptr += rstride[n];
325181254a7Smrg fptr += fstride[n];
326181254a7Smrg mptr += mstride[n];
327181254a7Smrg }
328181254a7Smrg }
329181254a7Smrg }
330181254a7Smrg }
331181254a7Smrg
332181254a7Smrg #endif
333181254a7Smrg
334