annotate libgfortran/m4/ifunction_logical.m4 @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 84e7813d76e9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 dnl Support macro file for intrinsic functions.
kono
parents:
diff changeset
2 dnl Contains the generic sections of the array functions.
kono
parents:
diff changeset
3 dnl This file is part of the GNU Fortran Runtime Library (libgfortran)
kono
parents:
diff changeset
4 dnl Distributed under the GNU GPL with exception. See COPYING for details.
kono
parents:
diff changeset
5 dnl
kono
parents:
diff changeset
6 dnl Pass the implementation for a single section as the parameter to
kono
parents:
diff changeset
7 dnl {MASK_}ARRAY_FUNCTION.
kono
parents:
diff changeset
8 dnl The variables base, delta, and len describe the input section.
kono
parents:
diff changeset
9 dnl For masked section the mask is described by mbase and mdelta.
kono
parents:
diff changeset
10 dnl These should not be modified. The result should be stored in *dest.
kono
parents:
diff changeset
11 dnl The names count, extent, sstride, dstride, base, dest, rank, dim
kono
parents:
diff changeset
12 dnl retarray, array, pdim and mstride should not be used.
kono
parents:
diff changeset
13 dnl The variable n is declared as index_type and may be used.
kono
parents:
diff changeset
14 dnl Other variable declarations may be placed at the start of the code,
kono
parents:
diff changeset
15 dnl The types of the array parameter and the return value are
kono
parents:
diff changeset
16 dnl atype_name and rtype_name respectively.
kono
parents:
diff changeset
17 dnl Execution should be allowed to continue to the end of the block.
kono
parents:
diff changeset
18 dnl You should not return or break from the inner loop of the implementation.
kono
parents:
diff changeset
19 dnl Care should also be taken to avoid using the names defined in iparm.m4
kono
parents:
diff changeset
20 define(START_ARRAY_FUNCTION,
kono
parents:
diff changeset
21 `
kono
parents:
diff changeset
22 extern void name`'rtype_qual`_'atype_code (rtype * const restrict,
kono
parents:
diff changeset
23 gfc_array_l1 * const restrict, const index_type * const restrict);
kono
parents:
diff changeset
24 export_proto(name`'rtype_qual`_'atype_code);
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 void
kono
parents:
diff changeset
27 name`'rtype_qual`_'atype_code (rtype * const restrict retarray,
kono
parents:
diff changeset
28 gfc_array_l1 * const restrict array,
kono
parents:
diff changeset
29 const index_type * const restrict pdim)
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 index_type count[GFC_MAX_DIMENSIONS];
kono
parents:
diff changeset
32 index_type extent[GFC_MAX_DIMENSIONS];
kono
parents:
diff changeset
33 index_type sstride[GFC_MAX_DIMENSIONS];
kono
parents:
diff changeset
34 index_type dstride[GFC_MAX_DIMENSIONS];
kono
parents:
diff changeset
35 const GFC_LOGICAL_1 * restrict base;
kono
parents:
diff changeset
36 rtype_name * restrict dest;
kono
parents:
diff changeset
37 index_type rank;
kono
parents:
diff changeset
38 index_type n;
kono
parents:
diff changeset
39 index_type len;
kono
parents:
diff changeset
40 index_type delta;
kono
parents:
diff changeset
41 index_type dim;
kono
parents:
diff changeset
42 int src_kind;
kono
parents:
diff changeset
43 int continue_loop;
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 /* Make dim zero based to avoid confusion. */
kono
parents:
diff changeset
46 dim = (*pdim) - 1;
kono
parents:
diff changeset
47 rank = GFC_DESCRIPTOR_RANK (array) - 1;
kono
parents:
diff changeset
48
kono
parents:
diff changeset
49 src_kind = GFC_DESCRIPTOR_SIZE (array);
kono
parents:
diff changeset
50
kono
parents:
diff changeset
51 len = GFC_DESCRIPTOR_EXTENT(array,dim);
kono
parents:
diff changeset
52 if (len < 0)
kono
parents:
diff changeset
53 len = 0;
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 delta = GFC_DESCRIPTOR_STRIDE_BYTES(array,dim);
kono
parents:
diff changeset
56
kono
parents:
diff changeset
57 for (n = 0; n < dim; n++)
kono
parents:
diff changeset
58 {
kono
parents:
diff changeset
59 sstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(array,n);
kono
parents:
diff changeset
60 extent[n] = GFC_DESCRIPTOR_EXTENT(array,n);
kono
parents:
diff changeset
61
kono
parents:
diff changeset
62 if (extent[n] < 0)
kono
parents:
diff changeset
63 extent[n] = 0;
kono
parents:
diff changeset
64 }
kono
parents:
diff changeset
65 for (n = dim; n < rank; n++)
kono
parents:
diff changeset
66 {
kono
parents:
diff changeset
67 sstride[n] = GFC_DESCRIPTOR_STRIDE_BYTES(array,n + 1);
kono
parents:
diff changeset
68 extent[n] = GFC_DESCRIPTOR_EXTENT(array,n + 1);
kono
parents:
diff changeset
69
kono
parents:
diff changeset
70 if (extent[n] < 0)
kono
parents:
diff changeset
71 extent[n] = 0;
kono
parents:
diff changeset
72 }
kono
parents:
diff changeset
73
kono
parents:
diff changeset
74 if (retarray->base_addr == NULL)
kono
parents:
diff changeset
75 {
kono
parents:
diff changeset
76 size_t alloc_size, str;
kono
parents:
diff changeset
77
kono
parents:
diff changeset
78 for (n = 0; n < rank; n++)
kono
parents:
diff changeset
79 {
kono
parents:
diff changeset
80 if (n == 0)
kono
parents:
diff changeset
81 str = 1;
kono
parents:
diff changeset
82 else
kono
parents:
diff changeset
83 str = GFC_DESCRIPTOR_STRIDE(retarray,n-1) * extent[n-1];
kono
parents:
diff changeset
84
kono
parents:
diff changeset
85 GFC_DIMENSION_SET(retarray->dim[n], 0, extent[n] - 1, str);
kono
parents:
diff changeset
86
kono
parents:
diff changeset
87 }
kono
parents:
diff changeset
88
kono
parents:
diff changeset
89 retarray->offset = 0;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
90 retarray->dtype.rank = rank;
111
kono
parents:
diff changeset
91
kono
parents:
diff changeset
92 alloc_size = GFC_DESCRIPTOR_STRIDE(retarray,rank-1) * extent[rank-1];
kono
parents:
diff changeset
93
kono
parents:
diff changeset
94 if (alloc_size == 0)
kono
parents:
diff changeset
95 {
kono
parents:
diff changeset
96 /* Make sure we have a zero-sized array. */
kono
parents:
diff changeset
97 GFC_DIMENSION_SET(retarray->dim[0], 0, -1, 1);
kono
parents:
diff changeset
98 return;
kono
parents:
diff changeset
99 }
kono
parents:
diff changeset
100 else
kono
parents:
diff changeset
101 retarray->base_addr = xmallocarray (alloc_size, sizeof (rtype_name));
kono
parents:
diff changeset
102 }
kono
parents:
diff changeset
103 else
kono
parents:
diff changeset
104 {
kono
parents:
diff changeset
105 if (rank != GFC_DESCRIPTOR_RANK (retarray))
kono
parents:
diff changeset
106 runtime_error ("rank of return array incorrect in"
kono
parents:
diff changeset
107 " u_name intrinsic: is %ld, should be %ld",
kono
parents:
diff changeset
108 (long int) GFC_DESCRIPTOR_RANK (retarray),
kono
parents:
diff changeset
109 (long int) rank);
kono
parents:
diff changeset
110
kono
parents:
diff changeset
111 if (unlikely (compile_options.bounds_check))
kono
parents:
diff changeset
112 {
kono
parents:
diff changeset
113 for (n=0; n < rank; n++)
kono
parents:
diff changeset
114 {
kono
parents:
diff changeset
115 index_type ret_extent;
kono
parents:
diff changeset
116
kono
parents:
diff changeset
117 ret_extent = GFC_DESCRIPTOR_EXTENT(retarray,n);
kono
parents:
diff changeset
118 if (extent[n] != ret_extent)
kono
parents:
diff changeset
119 runtime_error ("Incorrect extent in return value of"
kono
parents:
diff changeset
120 " u_name intrinsic in dimension %d:"
kono
parents:
diff changeset
121 " is %ld, should be %ld", (int) n + 1,
kono
parents:
diff changeset
122 (long int) ret_extent, (long int) extent[n]);
kono
parents:
diff changeset
123 }
kono
parents:
diff changeset
124 }
kono
parents:
diff changeset
125 }
kono
parents:
diff changeset
126
kono
parents:
diff changeset
127 for (n = 0; n < rank; n++)
kono
parents:
diff changeset
128 {
kono
parents:
diff changeset
129 count[n] = 0;
kono
parents:
diff changeset
130 dstride[n] = GFC_DESCRIPTOR_STRIDE(retarray,n);
kono
parents:
diff changeset
131 if (extent[n] <= 0)
kono
parents:
diff changeset
132 return;
kono
parents:
diff changeset
133 }
kono
parents:
diff changeset
134
kono
parents:
diff changeset
135 base = array->base_addr;
kono
parents:
diff changeset
136
kono
parents:
diff changeset
137 if (src_kind == 1 || src_kind == 2 || src_kind == 4 || src_kind == 8
kono
parents:
diff changeset
138 #ifdef HAVE_GFC_LOGICAL_16
kono
parents:
diff changeset
139 || src_kind == 16
kono
parents:
diff changeset
140 #endif
kono
parents:
diff changeset
141 )
kono
parents:
diff changeset
142 {
kono
parents:
diff changeset
143 if (base)
kono
parents:
diff changeset
144 base = GFOR_POINTER_TO_L1 (base, src_kind);
kono
parents:
diff changeset
145 }
kono
parents:
diff changeset
146 else
kono
parents:
diff changeset
147 internal_error (NULL, "Funny sized logical array in u_name intrinsic");
kono
parents:
diff changeset
148
kono
parents:
diff changeset
149 dest = retarray->base_addr;
kono
parents:
diff changeset
150
kono
parents:
diff changeset
151 continue_loop = 1;
kono
parents:
diff changeset
152 while (continue_loop)
kono
parents:
diff changeset
153 {
kono
parents:
diff changeset
154 const GFC_LOGICAL_1 * restrict src;
kono
parents:
diff changeset
155 rtype_name result;
kono
parents:
diff changeset
156 src = base;
kono
parents:
diff changeset
157 {
kono
parents:
diff changeset
158 ')dnl
kono
parents:
diff changeset
159 define(START_ARRAY_BLOCK,
kono
parents:
diff changeset
160 ` if (len <= 0)
kono
parents:
diff changeset
161 *dest = '$1`;
kono
parents:
diff changeset
162 else
kono
parents:
diff changeset
163 {
kono
parents:
diff changeset
164 for (n = 0; n < len; n++, src += delta)
kono
parents:
diff changeset
165 {
kono
parents:
diff changeset
166 ')dnl
kono
parents:
diff changeset
167 define(FINISH_ARRAY_FUNCTION,
kono
parents:
diff changeset
168 ` }
kono
parents:
diff changeset
169 *dest = result;
kono
parents:
diff changeset
170 }
kono
parents:
diff changeset
171 }
kono
parents:
diff changeset
172 /* Advance to the next element. */
kono
parents:
diff changeset
173 count[0]++;
kono
parents:
diff changeset
174 base += sstride[0];
kono
parents:
diff changeset
175 dest += dstride[0];
kono
parents:
diff changeset
176 n = 0;
kono
parents:
diff changeset
177 while (count[n] == extent[n])
kono
parents:
diff changeset
178 {
kono
parents:
diff changeset
179 /* When we get to the end of a dimension, reset it and increment
kono
parents:
diff changeset
180 the next dimension. */
kono
parents:
diff changeset
181 count[n] = 0;
kono
parents:
diff changeset
182 /* We could precalculate these products, but this is a less
kono
parents:
diff changeset
183 frequently used path so probably not worth it. */
kono
parents:
diff changeset
184 base -= sstride[n] * extent[n];
kono
parents:
diff changeset
185 dest -= dstride[n] * extent[n];
kono
parents:
diff changeset
186 n++;
kono
parents:
diff changeset
187 if (n >= rank)
kono
parents:
diff changeset
188 {
kono
parents:
diff changeset
189 /* Break out of the loop. */
kono
parents:
diff changeset
190 continue_loop = 0;
kono
parents:
diff changeset
191 break;
kono
parents:
diff changeset
192 }
kono
parents:
diff changeset
193 else
kono
parents:
diff changeset
194 {
kono
parents:
diff changeset
195 count[n]++;
kono
parents:
diff changeset
196 base += sstride[n];
kono
parents:
diff changeset
197 dest += dstride[n];
kono
parents:
diff changeset
198 }
kono
parents:
diff changeset
199 }
kono
parents:
diff changeset
200 }
kono
parents:
diff changeset
201 }')dnl
kono
parents:
diff changeset
202 define(ARRAY_FUNCTION,
kono
parents:
diff changeset
203 `START_ARRAY_FUNCTION
kono
parents:
diff changeset
204 $2
kono
parents:
diff changeset
205 START_ARRAY_BLOCK($1)
kono
parents:
diff changeset
206 $3
kono
parents:
diff changeset
207 FINISH_ARRAY_FUNCTION')dnl