forked from llvm/llvm-project
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathISO_Fortran_binding.cpp
302 lines (282 loc) · 9.24 KB
/
ISO_Fortran_binding.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
//===-- runtime/ISO_Fortran_binding.cpp -----------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// Implements the required interoperability API from ISO_Fortran_binding.h
// as specified in section 18.5.5 of Fortran 2018.
#include "ISO_Fortran_util.h"
#include "terminator.h"
#include "flang/ISO_Fortran_binding_wrapper.h"
#include "flang/Runtime/descriptor.h"
#include "flang/Runtime/pointer.h"
#include "flang/Runtime/type-code.h"
#include <cstdlib>
namespace Fortran::ISO {
extern "C" {
RT_EXT_API_GROUP_BEGIN
RT_API_ATTRS void *CFI_address(
const CFI_cdesc_t *descriptor, const CFI_index_t subscripts[]) {
char *p{static_cast<char *>(descriptor->base_addr)};
const CFI_rank_t rank{descriptor->rank};
const CFI_dim_t *dim{descriptor->dim};
for (CFI_rank_t j{0}; j < rank; ++j, ++dim) {
p += (subscripts[j] - dim->lower_bound) * dim->sm;
}
return p;
}
RT_API_ATTRS int CFI_allocate(CFI_cdesc_t *descriptor,
const CFI_index_t lower_bounds[], const CFI_index_t upper_bounds[],
std::size_t elem_len) {
if (!descriptor) {
return CFI_INVALID_DESCRIPTOR;
}
if (descriptor->version != CFI_VERSION) {
return CFI_INVALID_DESCRIPTOR;
}
if (descriptor->attribute != CFI_attribute_allocatable &&
descriptor->attribute != CFI_attribute_pointer) {
// Non-interoperable object
return CFI_INVALID_ATTRIBUTE;
}
if (descriptor->attribute == CFI_attribute_allocatable &&
descriptor->base_addr) {
return CFI_ERROR_BASE_ADDR_NOT_NULL;
}
if (descriptor->rank > CFI_MAX_RANK) {
return CFI_INVALID_RANK;
}
if (descriptor->type < CFI_type_signed_char ||
descriptor->type > CFI_TYPE_LAST) {
return CFI_INVALID_TYPE;
}
if (!IsCharacterType(descriptor->type)) {
elem_len = descriptor->elem_len;
if (elem_len <= 0) {
return CFI_INVALID_ELEM_LEN;
}
}
std::size_t rank{descriptor->rank};
CFI_dim_t *dim{descriptor->dim};
std::size_t byteSize{elem_len};
for (std::size_t j{0}; j < rank; ++j, ++dim) {
CFI_index_t lb{lower_bounds[j]};
CFI_index_t ub{upper_bounds[j]};
CFI_index_t extent{ub >= lb ? ub - lb + 1 : 0};
dim->lower_bound = extent == 0 ? 1 : lb;
dim->extent = extent;
dim->sm = byteSize;
byteSize *= extent;
}
void *p{runtime::AllocateValidatedPointerPayload(byteSize)};
if (!p && byteSize) {
return CFI_ERROR_MEM_ALLOCATION;
}
descriptor->base_addr = p;
descriptor->elem_len = elem_len;
return CFI_SUCCESS;
}
RT_API_ATTRS int CFI_deallocate(CFI_cdesc_t *descriptor) {
if (!descriptor) {
return CFI_INVALID_DESCRIPTOR;
}
if (descriptor->version != CFI_VERSION) {
return CFI_INVALID_DESCRIPTOR;
}
if (descriptor->attribute == CFI_attribute_pointer) {
if (!runtime::ValidatePointerPayload(*descriptor)) {
return CFI_INVALID_DESCRIPTOR;
}
} else if (descriptor->attribute != CFI_attribute_allocatable) {
// Non-interoperable object
return CFI_INVALID_DESCRIPTOR;
}
if (!descriptor->base_addr) {
return CFI_ERROR_BASE_ADDR_NULL;
}
std::free(descriptor->base_addr);
descriptor->base_addr = nullptr;
return CFI_SUCCESS;
}
RT_API_ATTRS int CFI_establish(CFI_cdesc_t *descriptor, void *base_addr,
CFI_attribute_t attribute, CFI_type_t type, std::size_t elem_len,
CFI_rank_t rank, const CFI_index_t extents[]) {
int cfiStatus{VerifyEstablishParameters(descriptor, base_addr, attribute,
type, elem_len, rank, extents, /*external=*/true)};
if (cfiStatus != CFI_SUCCESS) {
return cfiStatus;
}
if (type != CFI_type_struct && type != CFI_type_other &&
!IsCharacterType(type)) {
elem_len = MinElemLen(type);
}
if (elem_len <= 0) {
return CFI_INVALID_ELEM_LEN;
}
EstablishDescriptor(
descriptor, base_addr, attribute, type, elem_len, rank, extents);
return CFI_SUCCESS;
}
RT_API_ATTRS int CFI_is_contiguous(const CFI_cdesc_t *descriptor) {
// See Descriptor::IsContiguous for the rationale.
bool stridesAreContiguous{true};
CFI_index_t bytes = descriptor->elem_len;
for (int j{0}; j < descriptor->rank; ++j) {
stridesAreContiguous &=
(bytes == descriptor->dim[j].sm) || (descriptor->dim[j].extent == 1);
bytes *= descriptor->dim[j].extent;
}
if (stridesAreContiguous || bytes == 0) {
return 1;
}
return 0;
}
RT_API_ATTRS int CFI_section(CFI_cdesc_t *result, const CFI_cdesc_t *source,
const CFI_index_t lower_bounds[], const CFI_index_t upper_bounds[],
const CFI_index_t strides[]) {
CFI_index_t extent[CFI_MAX_RANK];
CFI_index_t actualStride[CFI_MAX_RANK];
CFI_rank_t resRank{0};
if (!result || !source) {
return CFI_INVALID_DESCRIPTOR;
}
if (source->rank == 0) {
return CFI_INVALID_RANK;
}
if (IsAssumedSize(source) && !upper_bounds) {
return CFI_INVALID_DESCRIPTOR;
}
if (runtime::TypeCode{result->type} != runtime::TypeCode{source->type}) {
return CFI_INVALID_TYPE;
}
if (source->elem_len != result->elem_len) {
return CFI_INVALID_ELEM_LEN;
}
if (result->attribute == CFI_attribute_allocatable) {
return CFI_INVALID_ATTRIBUTE;
}
if (!source->base_addr) {
return CFI_ERROR_BASE_ADDR_NULL;
}
char *shiftedBaseAddr{static_cast<char *>(source->base_addr)};
bool isZeroSized{false};
for (int j{0}; j < source->rank; ++j) {
const CFI_dim_t &dim{source->dim[j]};
const CFI_index_t srcLB{dim.lower_bound};
const CFI_index_t srcUB{srcLB + dim.extent - 1};
const CFI_index_t lb{lower_bounds ? lower_bounds[j] : srcLB};
const CFI_index_t ub{upper_bounds ? upper_bounds[j] : srcUB};
const CFI_index_t stride{strides ? strides[j] : 1};
if (stride == 0 && lb != ub) {
return CFI_ERROR_OUT_OF_BOUNDS;
}
if ((lb <= ub && stride >= 0) || (lb >= ub && stride < 0)) {
if ((lb < srcLB) || (lb > srcUB) || (ub < srcLB) || (ub > srcUB)) {
return CFI_ERROR_OUT_OF_BOUNDS;
}
shiftedBaseAddr += (lb - srcLB) * dim.sm;
extent[j] = stride != 0 ? 1 + (ub - lb) / stride : 1;
} else {
isZeroSized = true;
extent[j] = 0;
}
actualStride[j] = stride;
resRank += (stride != 0);
}
if (resRank != result->rank) {
return CFI_INVALID_DESCRIPTOR;
}
// For zero-sized arrays, base_addr is processor-dependent (see 18.5.3).
// We keep it on the source base_addr
result->base_addr = isZeroSized ? source->base_addr : shiftedBaseAddr;
resRank = 0;
for (int j{0}; j < source->rank; ++j) {
if (actualStride[j] != 0) {
result->dim[resRank].extent = extent[j];
result->dim[resRank].lower_bound = extent[j] == 0 ? 1
: lower_bounds ? lower_bounds[j]
: source->dim[j].lower_bound;
result->dim[resRank].sm = actualStride[j] * source->dim[j].sm;
++resRank;
}
}
return CFI_SUCCESS;
}
RT_API_ATTRS int CFI_select_part(CFI_cdesc_t *result, const CFI_cdesc_t *source,
std::size_t displacement, std::size_t elem_len) {
if (!result || !source) {
return CFI_INVALID_DESCRIPTOR;
}
if (result->rank != source->rank) {
return CFI_INVALID_RANK;
}
if (result->attribute == CFI_attribute_allocatable) {
return CFI_INVALID_ATTRIBUTE;
}
if (!source->base_addr) {
return CFI_ERROR_BASE_ADDR_NULL;
}
if (IsAssumedSize(source)) {
return CFI_INVALID_DESCRIPTOR;
}
if (!IsCharacterType(result->type)) {
elem_len = result->elem_len;
}
if (displacement + elem_len > source->elem_len) {
return CFI_INVALID_ELEM_LEN;
}
result->base_addr = displacement + static_cast<char *>(source->base_addr);
result->elem_len = elem_len;
for (int j{0}; j < source->rank; ++j) {
result->dim[j].lower_bound = 0;
result->dim[j].extent = source->dim[j].extent;
result->dim[j].sm = source->dim[j].sm;
}
return CFI_SUCCESS;
}
RT_API_ATTRS int CFI_setpointer(CFI_cdesc_t *result, const CFI_cdesc_t *source,
const CFI_index_t lower_bounds[]) {
if (!result) {
return CFI_INVALID_DESCRIPTOR;
}
if (result->attribute != CFI_attribute_pointer) {
return CFI_INVALID_ATTRIBUTE;
}
if (!source) {
result->base_addr = nullptr;
return CFI_SUCCESS;
}
if (source->rank != result->rank) {
return CFI_INVALID_RANK;
}
if (runtime::TypeCode{source->type} != runtime::TypeCode{result->type}) {
return CFI_INVALID_TYPE;
}
if (source->elem_len != result->elem_len) {
return CFI_INVALID_ELEM_LEN;
}
if (!source->base_addr && source->attribute != CFI_attribute_pointer) {
return CFI_ERROR_BASE_ADDR_NULL;
}
if (IsAssumedSize(source)) {
return CFI_INVALID_DESCRIPTOR;
}
const bool copySrcLB{!lower_bounds};
result->base_addr = source->base_addr;
if (source->base_addr) {
for (int j{0}; j < result->rank; ++j) {
CFI_index_t extent{source->dim[j].extent};
result->dim[j].extent = extent;
result->dim[j].sm = source->dim[j].sm;
result->dim[j].lower_bound = extent == 0 ? 1
: copySrcLB ? source->dim[j].lower_bound
: lower_bounds[j];
}
}
return CFI_SUCCESS;
}
RT_EXT_API_GROUP_END
} // extern "C"
} // namespace Fortran::ISO