1 /* Implementation of the PRODUCT intrinsic
2 Copyright (C) 2002-2018 Free Software Foundation, Inc.
3 Contributed by Paul Brook <paul@nowt.org>
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_REAL_16) && defined (HAVE_GFC_REAL_16)
32 extern void product_r16 (gfc_array_r16
* const restrict
,
33 gfc_array_r16
* const restrict
, const index_type
* const restrict
);
34 export_proto(product_r16
);
37 product_r16 (gfc_array_r16
* const restrict retarray
,
38 gfc_array_r16
* 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_REAL_16
* restrict base
;
46 GFC_REAL_16
* restrict dest
;
58 /* Make dim zero based to avoid confusion. */
59 rank
= GFC_DESCRIPTOR_RANK (array
) - 1;
62 if (unlikely (dim
< 0 || dim
> rank
))
64 runtime_error ("Dim argument incorrect in PRODUCT intrinsic: "
65 "is %ld, should be between 1 and %ld",
66 (long int) dim
+ 1, (long int) rank
+ 1);
69 len
= GFC_DESCRIPTOR_EXTENT(array
,dim
);
72 delta
= GFC_DESCRIPTOR_STRIDE(array
,dim
);
74 for (n
= 0; n
< dim
; n
++)
76 sstride
[n
] = GFC_DESCRIPTOR_STRIDE(array
,n
);
77 extent
[n
] = GFC_DESCRIPTOR_EXTENT(array
,n
);
82 for (n
= dim
; n
< rank
; n
++)
84 sstride
[n
] = GFC_DESCRIPTOR_STRIDE(array
, n
+ 1);
85 extent
[n
] = GFC_DESCRIPTOR_EXTENT(array
, n
+ 1);
91 if (retarray
->base_addr
== NULL
)
93 size_t alloc_size
, str
;
95 for (n
= 0; n
< rank
; n
++)
100 str
= GFC_DESCRIPTOR_STRIDE(retarray
,n
-1) * extent
[n
-1];
102 GFC_DIMENSION_SET(retarray
->dim
[n
], 0, extent
[n
] - 1, str
);
106 retarray
->offset
= 0;
107 GFC_DTYPE_COPY_SETRANK(retarray
,array
,rank
);
109 alloc_size
= GFC_DESCRIPTOR_STRIDE(retarray
,rank
-1) * extent
[rank
-1];
111 retarray
->base_addr
= xmallocarray (alloc_size
, sizeof (GFC_REAL_16
));
114 /* Make sure we have a zero-sized array. */
115 GFC_DIMENSION_SET(retarray
->dim
[0], 0, -1, 1);
122 if (rank
!= GFC_DESCRIPTOR_RANK (retarray
))
123 runtime_error ("rank of return array incorrect in"
124 " PRODUCT intrinsic: is %ld, should be %ld",
125 (long int) (GFC_DESCRIPTOR_RANK (retarray
)),
128 if (unlikely (compile_options
.bounds_check
))
129 bounds_ifunction_return ((array_t
*) retarray
, extent
,
130 "return value", "PRODUCT");
133 for (n
= 0; n
< rank
; n
++)
136 dstride
[n
] = GFC_DESCRIPTOR_STRIDE(retarray
,n
);
141 base
= array
->base_addr
;
142 dest
= retarray
->base_addr
;
145 while (continue_loop
)
147 const GFC_REAL_16
* restrict src
;
157 for (n
= 0; n
< len
; n
++, src
+= delta
)
166 /* Advance to the next element. */
171 while (count
[n
] == extent
[n
])
173 /* When we get to the end of a dimension, reset it and increment
174 the next dimension. */
176 /* We could precalculate these products, but this is a less
177 frequently used path so probably not worth it. */
178 base
-= sstride
[n
] * extent
[n
];
179 dest
-= dstride
[n
] * extent
[n
];
183 /* Break out of the loop. */
198 extern void mproduct_r16 (gfc_array_r16
* const restrict
,
199 gfc_array_r16
* const restrict
, const index_type
* const restrict
,
200 gfc_array_l1
* const restrict
);
201 export_proto(mproduct_r16
);
204 mproduct_r16 (gfc_array_r16
* const restrict retarray
,
205 gfc_array_r16
* const restrict array
,
206 const index_type
* const restrict pdim
,
207 gfc_array_l1
* const restrict mask
)
209 index_type count
[GFC_MAX_DIMENSIONS
];
210 index_type extent
[GFC_MAX_DIMENSIONS
];
211 index_type sstride
[GFC_MAX_DIMENSIONS
];
212 index_type dstride
[GFC_MAX_DIMENSIONS
];
213 index_type mstride
[GFC_MAX_DIMENSIONS
];
214 GFC_REAL_16
* restrict dest
;
215 const GFC_REAL_16
* restrict base
;
216 const GFC_LOGICAL_1
* restrict mbase
;
229 rank
= GFC_DESCRIPTOR_RANK (array
) - 1;
232 if (unlikely (dim
< 0 || dim
> rank
))
234 runtime_error ("Dim argument incorrect in PRODUCT intrinsic: "
235 "is %ld, should be between 1 and %ld",
236 (long int) dim
+ 1, (long int) rank
+ 1);
239 len
= GFC_DESCRIPTOR_EXTENT(array
,dim
);
243 mbase
= mask
->base_addr
;
245 mask_kind
= GFC_DESCRIPTOR_SIZE (mask
);
247 if (mask_kind
== 1 || mask_kind
== 2 || mask_kind
== 4 || mask_kind
== 8
248 #ifdef HAVE_GFC_LOGICAL_16
252 mbase
= GFOR_POINTER_TO_L1 (mbase
, mask_kind
);
254 runtime_error ("Funny sized logical array");
256 delta
= GFC_DESCRIPTOR_STRIDE(array
,dim
);
257 mdelta
= GFC_DESCRIPTOR_STRIDE_BYTES(mask
,dim
);
259 for (n
= 0; n
< dim
; n
++)
261 sstride
[n
] = GFC_DESCRIPTOR_STRIDE(array
,n
);
262 mstride
[n
] = GFC_DESCRIPTOR_STRIDE_BYTES(mask
,n
);
263 extent
[n
] = GFC_DESCRIPTOR_EXTENT(array
,n
);
269 for (n
= dim
; n
< rank
; n
++)
271 sstride
[n
] = GFC_DESCRIPTOR_STRIDE(array
,n
+ 1);
272 mstride
[n
] = GFC_DESCRIPTOR_STRIDE_BYTES(mask
, n
+ 1);
273 extent
[n
] = GFC_DESCRIPTOR_EXTENT(array
, n
+ 1);
279 if (retarray
->base_addr
== NULL
)
281 size_t alloc_size
, str
;
283 for (n
= 0; n
< rank
; n
++)
288 str
= GFC_DESCRIPTOR_STRIDE(retarray
,n
-1) * extent
[n
-1];
290 GFC_DIMENSION_SET(retarray
->dim
[n
], 0, extent
[n
] - 1, str
);
294 alloc_size
= GFC_DESCRIPTOR_STRIDE(retarray
,rank
-1) * extent
[rank
-1];
296 retarray
->offset
= 0;
297 GFC_DTYPE_COPY_SETRANK(retarray
,array
,rank
);
301 /* Make sure we have a zero-sized array. */
302 GFC_DIMENSION_SET(retarray
->dim
[0], 0, -1, 1);
306 retarray
->base_addr
= xmallocarray (alloc_size
, sizeof (GFC_REAL_16
));
311 if (rank
!= GFC_DESCRIPTOR_RANK (retarray
))
312 runtime_error ("rank of return array incorrect in PRODUCT intrinsic");
314 if (unlikely (compile_options
.bounds_check
))
316 bounds_ifunction_return ((array_t
*) retarray
, extent
,
317 "return value", "PRODUCT");
318 bounds_equal_extents ((array_t
*) mask
, (array_t
*) array
,
319 "MASK argument", "PRODUCT");
323 for (n
= 0; n
< rank
; n
++)
326 dstride
[n
] = GFC_DESCRIPTOR_STRIDE(retarray
,n
);
331 dest
= retarray
->base_addr
;
332 base
= array
->base_addr
;
336 const GFC_REAL_16
* restrict src
;
337 const GFC_LOGICAL_1
* restrict msrc
;
344 for (n
= 0; n
< len
; n
++, src
+= delta
, msrc
+= mdelta
)
352 /* Advance to the next element. */
358 while (count
[n
] == extent
[n
])
360 /* When we get to the end of a dimension, reset it and increment
361 the next dimension. */
363 /* We could precalculate these products, but this is a less
364 frequently used path so probably not worth it. */
365 base
-= sstride
[n
] * extent
[n
];
366 mbase
-= mstride
[n
] * extent
[n
];
367 dest
-= dstride
[n
] * extent
[n
];
371 /* Break out of the loop. */
387 extern void sproduct_r16 (gfc_array_r16
* const restrict
,
388 gfc_array_r16
* const restrict
, const index_type
* const restrict
,
390 export_proto(sproduct_r16
);
393 sproduct_r16 (gfc_array_r16
* const restrict retarray
,
394 gfc_array_r16
* const restrict array
,
395 const index_type
* const restrict pdim
,
396 GFC_LOGICAL_4
* mask
)
398 index_type count
[GFC_MAX_DIMENSIONS
];
399 index_type extent
[GFC_MAX_DIMENSIONS
];
400 index_type dstride
[GFC_MAX_DIMENSIONS
];
401 GFC_REAL_16
* restrict dest
;
410 product_r16 (retarray
, array
, pdim
, back
);
412 product_r16 (retarray
, array
, pdim
);
416 /* Make dim zero based to avoid confusion. */
418 rank
= GFC_DESCRIPTOR_RANK (array
) - 1;
420 if (unlikely (dim
< 0 || dim
> rank
))
422 runtime_error ("Dim argument incorrect in PRODUCT intrinsic: "
423 "is %ld, should be between 1 and %ld",
424 (long int) dim
+ 1, (long int) rank
+ 1);
427 for (n
= 0; n
< dim
; n
++)
429 extent
[n
] = GFC_DESCRIPTOR_EXTENT(array
,n
);
435 for (n
= dim
; n
< rank
; n
++)
438 GFC_DESCRIPTOR_EXTENT(array
,n
+ 1);
444 if (retarray
->base_addr
== NULL
)
446 size_t alloc_size
, str
;
448 for (n
= 0; n
< rank
; n
++)
453 str
= GFC_DESCRIPTOR_STRIDE(retarray
,n
-1) * extent
[n
-1];
455 GFC_DIMENSION_SET(retarray
->dim
[n
], 0, extent
[n
] - 1, str
);
459 retarray
->offset
= 0;
460 GFC_DTYPE_COPY_SETRANK(retarray
,array
,rank
);
462 alloc_size
= GFC_DESCRIPTOR_STRIDE(retarray
,rank
-1) * extent
[rank
-1];
466 /* Make sure we have a zero-sized array. */
467 GFC_DIMENSION_SET(retarray
->dim
[0], 0, -1, 1);
471 retarray
->base_addr
= xmallocarray (alloc_size
, sizeof (GFC_REAL_16
));
475 if (rank
!= GFC_DESCRIPTOR_RANK (retarray
))
476 runtime_error ("rank of return array incorrect in"
477 " PRODUCT intrinsic: is %ld, should be %ld",
478 (long int) (GFC_DESCRIPTOR_RANK (retarray
)),
481 if (unlikely (compile_options
.bounds_check
))
483 for (n
=0; n
< rank
; n
++)
485 index_type ret_extent
;
487 ret_extent
= GFC_DESCRIPTOR_EXTENT(retarray
,n
);
488 if (extent
[n
] != ret_extent
)
489 runtime_error ("Incorrect extent in return value of"
490 " PRODUCT intrinsic in dimension %ld:"
491 " is %ld, should be %ld", (long int) n
+ 1,
492 (long int) ret_extent
, (long int) extent
[n
]);
497 for (n
= 0; n
< rank
; n
++)
500 dstride
[n
] = GFC_DESCRIPTOR_STRIDE(retarray
,n
);
503 dest
= retarray
->base_addr
;
511 while (count
[n
] == extent
[n
])
513 /* When we get to the end of a dimension, reset it and increment
514 the next dimension. */
516 /* We could precalculate these products, but this is a less
517 frequently used path so probably not worth it. */
518 dest
-= dstride
[n
] * extent
[n
];