]> git.ipfire.org Git - thirdparty/gcc.git/blame - libgfortran/generated/minloc0_4_i2.c
re PR testsuite/39696 (gcc.dg/tree-ssa/ssa-ccp-25.c scan-tree-dump doesn't work on...
[thirdparty/gcc.git] / libgfortran / generated / minloc0_4_i2.c
CommitLineData
567c915b 1/* Implementation of the MINLOC intrinsic
36ae8a61 2 Copyright 2002, 2007 Free Software Foundation, Inc.
567c915b
TK
3 Contributed by Paul Brook <paul@nowt.org>
4
5This file is part of the GNU Fortran 95 runtime library (libgfortran).
6
7Libgfortran is free software; you can redistribute it and/or
8modify it under the terms of the GNU General Public
9License as published by the Free Software Foundation; either
10version 2 of the License, or (at your option) any later version.
11
12In addition to the permissions in the GNU General Public License, the
13Free Software Foundation gives you unlimited permission to link the
14compiled version of this file into combinations with other programs,
15and to distribute those combinations without any restriction coming
16from the use of this file. (The General Public License restrictions
17do apply in other respects; for example, they cover modification of
18the file, and distribution when not linked into a combine
19executable.)
20
21Libgfortran is distributed in the hope that it will be useful,
22but WITHOUT ANY WARRANTY; without even the implied warranty of
23MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
24GNU General Public License for more details.
25
26You should have received a copy of the GNU General Public
27License along with libgfortran; see the file COPYING. If not,
28write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
29Boston, MA 02110-1301, USA. */
30
36ae8a61 31#include "libgfortran.h"
567c915b
TK
32#include <stdlib.h>
33#include <assert.h>
567c915b 34#include <limits.h>
567c915b
TK
35
36
37#if defined (HAVE_GFC_INTEGER_2) && defined (HAVE_GFC_INTEGER_4)
38
39
40extern void minloc0_4_i2 (gfc_array_i4 * const restrict retarray,
41 gfc_array_i2 * const restrict array);
42export_proto(minloc0_4_i2);
43
44void
45minloc0_4_i2 (gfc_array_i4 * const restrict retarray,
46 gfc_array_i2 * const restrict array)
47{
48 index_type count[GFC_MAX_DIMENSIONS];
49 index_type extent[GFC_MAX_DIMENSIONS];
50 index_type sstride[GFC_MAX_DIMENSIONS];
51 index_type dstride;
52 const GFC_INTEGER_2 *base;
5863aacf 53 GFC_INTEGER_4 * restrict dest;
567c915b
TK
54 index_type rank;
55 index_type n;
56
57 rank = GFC_DESCRIPTOR_RANK (array);
58 if (rank <= 0)
59 runtime_error ("Rank of array needs to be > 0");
60
61 if (retarray->data == NULL)
62 {
63 retarray->dim[0].lbound = 0;
64 retarray->dim[0].ubound = rank-1;
65 retarray->dim[0].stride = 1;
66 retarray->dtype = (retarray->dtype & ~GFC_DTYPE_RANK_MASK) | 1;
67 retarray->offset = 0;
68 retarray->data = internal_malloc_size (sizeof (GFC_INTEGER_4) * rank);
69 }
70 else
71 {
9731c4a3 72 if (unlikely (compile_options.bounds_check))
fd6590f8
TK
73 {
74 int ret_rank;
75 index_type ret_extent;
76
77 ret_rank = GFC_DESCRIPTOR_RANK (retarray);
78 if (ret_rank != 1)
79 runtime_error ("rank of return array in MINLOC intrinsic"
ccacefc7 80 " should be 1, is %ld", (long int) ret_rank);
fd6590f8
TK
81
82 ret_extent = retarray->dim[0].ubound + 1 - retarray->dim[0].lbound;
83 if (ret_extent != rank)
84 runtime_error ("Incorrect extent in return value of"
ccacefc7
TK
85 " MINLOC intrnisic: is %ld, should be %ld",
86 (long int) ret_extent, (long int) rank);
fd6590f8 87 }
567c915b
TK
88 }
89
90 dstride = retarray->dim[0].stride;
91 dest = retarray->data;
92 for (n = 0; n < rank; n++)
93 {
94 sstride[n] = array->dim[n].stride;
95 extent[n] = array->dim[n].ubound + 1 - array->dim[n].lbound;
96 count[n] = 0;
97 if (extent[n] <= 0)
98 {
99 /* Set the return value. */
100 for (n = 0; n < rank; n++)
101 dest[n * dstride] = 0;
102 return;
103 }
104 }
105
106 base = array->data;
107
108 /* Initialize the return value. */
109 for (n = 0; n < rank; n++)
110 dest[n * dstride] = 0;
111 {
112
113 GFC_INTEGER_2 minval;
114
115 minval = GFC_INTEGER_2_HUGE;
116
117 while (base)
118 {
119 {
120 /* Implementation start. */
121
122 if (*base < minval || !dest[0])
123 {
124 minval = *base;
125 for (n = 0; n < rank; n++)
126 dest[n * dstride] = count[n] + 1;
127 }
128 /* Implementation end. */
129 }
130 /* Advance to the next element. */
131 count[0]++;
132 base += sstride[0];
133 n = 0;
134 while (count[n] == extent[n])
135 {
136 /* When we get to the end of a dimension, reset it and increment
137 the next dimension. */
138 count[n] = 0;
139 /* We could precalculate these products, but this is a less
140 frequently used path so probably not worth it. */
141 base -= sstride[n] * extent[n];
142 n++;
143 if (n == rank)
144 {
145 /* Break out of the loop. */
146 base = NULL;
147 break;
148 }
149 else
150 {
151 count[n]++;
152 base += sstride[n];
153 }
154 }
155 }
156 }
157}
158
159
160extern void mminloc0_4_i2 (gfc_array_i4 * const restrict,
28dc6b33 161 gfc_array_i2 * const restrict, gfc_array_l1 * const restrict);
567c915b
TK
162export_proto(mminloc0_4_i2);
163
164void
165mminloc0_4_i2 (gfc_array_i4 * const restrict retarray,
166 gfc_array_i2 * const restrict array,
28dc6b33 167 gfc_array_l1 * const restrict mask)
567c915b
TK
168{
169 index_type count[GFC_MAX_DIMENSIONS];
170 index_type extent[GFC_MAX_DIMENSIONS];
171 index_type sstride[GFC_MAX_DIMENSIONS];
172 index_type mstride[GFC_MAX_DIMENSIONS];
173 index_type dstride;
174 GFC_INTEGER_4 *dest;
175 const GFC_INTEGER_2 *base;
28dc6b33 176 GFC_LOGICAL_1 *mbase;
567c915b
TK
177 int rank;
178 index_type n;
28dc6b33 179 int mask_kind;
567c915b
TK
180
181 rank = GFC_DESCRIPTOR_RANK (array);
182 if (rank <= 0)
183 runtime_error ("Rank of array needs to be > 0");
184
185 if (retarray->data == NULL)
186 {
187 retarray->dim[0].lbound = 0;
188 retarray->dim[0].ubound = rank-1;
189 retarray->dim[0].stride = 1;
190 retarray->dtype = (retarray->dtype & ~GFC_DTYPE_RANK_MASK) | 1;
191 retarray->offset = 0;
192 retarray->data = internal_malloc_size (sizeof (GFC_INTEGER_4) * rank);
193 }
194 else
195 {
9731c4a3 196 if (unlikely (compile_options.bounds_check))
fd6590f8
TK
197 {
198 int ret_rank, mask_rank;
199 index_type ret_extent;
200 int n;
201 index_type array_extent, mask_extent;
202
203 ret_rank = GFC_DESCRIPTOR_RANK (retarray);
204 if (ret_rank != 1)
205 runtime_error ("rank of return array in MINLOC intrinsic"
ccacefc7 206 " should be 1, is %ld", (long int) ret_rank);
fd6590f8
TK
207
208 ret_extent = retarray->dim[0].ubound + 1 - retarray->dim[0].lbound;
209 if (ret_extent != rank)
210 runtime_error ("Incorrect extent in return value of"
ccacefc7
TK
211 " MINLOC intrnisic: is %ld, should be %ld",
212 (long int) ret_extent, (long int) rank);
fd6590f8
TK
213
214 mask_rank = GFC_DESCRIPTOR_RANK (mask);
215 if (rank != mask_rank)
216 runtime_error ("rank of MASK argument in MINLOC intrnisic"
ccacefc7
TK
217 "should be %ld, is %ld", (long int) rank,
218 (long int) mask_rank);
fd6590f8
TK
219
220 for (n=0; n<rank; n++)
221 {
222 array_extent = array->dim[n].ubound + 1 - array->dim[n].lbound;
223 mask_extent = mask->dim[n].ubound + 1 - mask->dim[n].lbound;
224 if (array_extent != mask_extent)
225 runtime_error ("Incorrect extent in MASK argument of"
ccacefc7
TK
226 " MINLOC intrinsic in dimension %ld:"
227 " is %ld, should be %ld", (long int) n + 1,
fd6590f8
TK
228 (long int) mask_extent, (long int) array_extent);
229 }
230 }
567c915b
TK
231 }
232
28dc6b33
TK
233 mask_kind = GFC_DESCRIPTOR_SIZE (mask);
234
235 mbase = mask->data;
236
237 if (mask_kind == 1 || mask_kind == 2 || mask_kind == 4 || mask_kind == 8
238#ifdef HAVE_GFC_LOGICAL_16
239 || mask_kind == 16
240#endif
241 )
242 mbase = GFOR_POINTER_TO_L1 (mbase, mask_kind);
243 else
244 runtime_error ("Funny sized logical array");
245
567c915b
TK
246 dstride = retarray->dim[0].stride;
247 dest = retarray->data;
248 for (n = 0; n < rank; n++)
249 {
250 sstride[n] = array->dim[n].stride;
28dc6b33 251 mstride[n] = mask->dim[n].stride * mask_kind;
567c915b
TK
252 extent[n] = array->dim[n].ubound + 1 - array->dim[n].lbound;
253 count[n] = 0;
254 if (extent[n] <= 0)
255 {
256 /* Set the return value. */
257 for (n = 0; n < rank; n++)
258 dest[n * dstride] = 0;
259 return;
260 }
261 }
262
263 base = array->data;
567c915b
TK
264
265 /* Initialize the return value. */
266 for (n = 0; n < rank; n++)
267 dest[n * dstride] = 0;
268 {
269
270 GFC_INTEGER_2 minval;
271
272 minval = GFC_INTEGER_2_HUGE;
273
274 while (base)
275 {
276 {
277 /* Implementation start. */
278
279 if (*mbase && (*base < minval || !dest[0]))
280 {
281 minval = *base;
282 for (n = 0; n < rank; n++)
283 dest[n * dstride] = count[n] + 1;
284 }
285 /* Implementation end. */
286 }
287 /* Advance to the next element. */
288 count[0]++;
289 base += sstride[0];
290 mbase += mstride[0];
291 n = 0;
292 while (count[n] == extent[n])
293 {
294 /* When we get to the end of a dimension, reset it and increment
295 the next dimension. */
296 count[n] = 0;
297 /* We could precalculate these products, but this is a less
298 frequently used path so probably not worth it. */
299 base -= sstride[n] * extent[n];
300 mbase -= mstride[n] * extent[n];
301 n++;
302 if (n == rank)
303 {
304 /* Break out of the loop. */
305 base = NULL;
306 break;
307 }
308 else
309 {
310 count[n]++;
311 base += sstride[n];
312 mbase += mstride[n];
313 }
314 }
315 }
316 }
317}
318
319
320extern void sminloc0_4_i2 (gfc_array_i4 * const restrict,
321 gfc_array_i2 * const restrict, GFC_LOGICAL_4 *);
322export_proto(sminloc0_4_i2);
323
324void
325sminloc0_4_i2 (gfc_array_i4 * const restrict retarray,
326 gfc_array_i2 * const restrict array,
327 GFC_LOGICAL_4 * mask)
328{
329 index_type rank;
330 index_type dstride;
331 index_type n;
332 GFC_INTEGER_4 *dest;
333
334 if (*mask)
335 {
336 minloc0_4_i2 (retarray, array);
337 return;
338 }
339
340 rank = GFC_DESCRIPTOR_RANK (array);
341
342 if (rank <= 0)
343 runtime_error ("Rank of array needs to be > 0");
344
345 if (retarray->data == NULL)
346 {
347 retarray->dim[0].lbound = 0;
348 retarray->dim[0].ubound = rank-1;
349 retarray->dim[0].stride = 1;
350 retarray->dtype = (retarray->dtype & ~GFC_DTYPE_RANK_MASK) | 1;
351 retarray->offset = 0;
352 retarray->data = internal_malloc_size (sizeof (GFC_INTEGER_4) * rank);
353 }
354 else
355 {
9731c4a3 356 if (unlikely (compile_options.bounds_check))
fd6590f8
TK
357 {
358 int ret_rank;
359 index_type ret_extent;
567c915b 360
fd6590f8
TK
361 ret_rank = GFC_DESCRIPTOR_RANK (retarray);
362 if (ret_rank != 1)
363 runtime_error ("rank of return array in MINLOC intrinsic"
ccacefc7 364 " should be 1, is %ld", (long int) ret_rank);
fd6590f8
TK
365
366 ret_extent = retarray->dim[0].ubound + 1 - retarray->dim[0].lbound;
367 if (ret_extent != rank)
368 runtime_error ("dimension of return array incorrect");
369 }
567c915b
TK
370 }
371
372 dstride = retarray->dim[0].stride;
373 dest = retarray->data;
374 for (n = 0; n<rank; n++)
375 dest[n * dstride] = 0 ;
376}
377#endif