]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/fortran/trans-io.c
Fix bug in an OpenACC async test case
[thirdparty/gcc.git] / gcc / fortran / trans-io.c
CommitLineData
6de9cd9a 1/* IO Code translation/library interface
cbe34bb5 2 Copyright (C) 2002-2017 Free Software Foundation, Inc.
6de9cd9a
DN
3 Contributed by Paul Brook
4
9fc4d79b 5This file is part of GCC.
6de9cd9a 6
9fc4d79b
TS
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
d234d788 9Software Foundation; either version 3, or (at your option) any later
9fc4d79b 10version.
6de9cd9a 11
9fc4d79b
TS
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
6de9cd9a
DN
16
17You should have received a copy of the GNU General Public License
d234d788
NC
18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
6de9cd9a
DN
20
21
22#include "config.h"
23#include "system.h"
24#include "coretypes.h"
2adfab87 25#include "tree.h"
6de9cd9a
DN
26#include "gfortran.h"
27#include "trans.h"
2adfab87 28#include "stringpool.h"
2adfab87
AM
29#include "fold-const.h"
30#include "stor-layout.h"
6de9cd9a
DN
31#include "trans-stmt.h"
32#include "trans-array.h"
33#include "trans-types.h"
34#include "trans-const.h"
c05c2380 35#include "options.h"
6de9cd9a 36
6de9cd9a
DN
37/* Members of the ioparm structure. */
38
5e805e44
JJ
39enum ioparam_type
40{
41 IOPARM_ptype_common,
42 IOPARM_ptype_open,
43 IOPARM_ptype_close,
44 IOPARM_ptype_filepos,
45 IOPARM_ptype_inquire,
46 IOPARM_ptype_dt,
6f0f0b2e 47 IOPARM_ptype_wait,
5e805e44
JJ
48 IOPARM_ptype_num
49};
50
51enum iofield_type
52{
53 IOPARM_type_int4,
014ec6ee 54 IOPARM_type_intio,
5e805e44 55 IOPARM_type_pint4,
014ec6ee 56 IOPARM_type_pintio,
5e805e44
JJ
57 IOPARM_type_pchar,
58 IOPARM_type_parray,
59 IOPARM_type_pad,
60 IOPARM_type_char1,
61 IOPARM_type_char2,
62 IOPARM_type_common,
63 IOPARM_type_num
64};
65
d1b38208 66typedef struct GTY(()) gfc_st_parameter_field {
5e805e44
JJ
67 const char *name;
68 unsigned int mask;
69 enum ioparam_type param_type;
70 enum iofield_type type;
71 tree field;
72 tree field_len;
73}
74gfc_st_parameter_field;
6de9cd9a 75
d1b38208 76typedef struct GTY(()) gfc_st_parameter {
5e805e44
JJ
77 const char *name;
78 tree type;
79}
80gfc_st_parameter;
81
82enum iofield
83{
84#define IOPARM(param_type, name, mask, type) IOPARM_##param_type##_##name,
85#include "ioparm.def"
86#undef IOPARM
87 IOPARM_field_num
88};
89
90static GTY(()) gfc_st_parameter st_parameter[] =
91{
92 { "common", NULL },
93 { "open", NULL },
94 { "close", NULL },
95 { "filepos", NULL },
96 { "inquire", NULL },
6f0f0b2e
JD
97 { "dt", NULL },
98 { "wait", NULL }
5e805e44
JJ
99};
100
101static GTY(()) gfc_st_parameter_field st_parameter_field[] =
102{
103#define IOPARM(param_type, name, mask, type) \
104 { #name, mask, IOPARM_ptype_##param_type, IOPARM_type_##type, NULL, NULL },
105#include "ioparm.def"
106#undef IOPARM
81f40b79 107 { NULL, 0, (enum ioparam_type) 0, (enum iofield_type) 0, NULL, NULL }
5e805e44 108};
6de9cd9a
DN
109
110/* Library I/O subroutines */
111
5e805e44
JJ
112enum iocall
113{
114 IOCALL_READ,
115 IOCALL_READ_DONE,
116 IOCALL_WRITE,
117 IOCALL_WRITE_DONE,
118 IOCALL_X_INTEGER,
6eb6875d 119 IOCALL_X_INTEGER_WRITE,
5e805e44 120 IOCALL_X_LOGICAL,
6eb6875d 121 IOCALL_X_LOGICAL_WRITE,
5e805e44 122 IOCALL_X_CHARACTER,
6eb6875d 123 IOCALL_X_CHARACTER_WRITE,
8a221914 124 IOCALL_X_CHARACTER_WIDE,
6eb6875d 125 IOCALL_X_CHARACTER_WIDE_WRITE,
5e805e44 126 IOCALL_X_REAL,
6eb6875d 127 IOCALL_X_REAL_WRITE,
5e805e44 128 IOCALL_X_COMPLEX,
6eb6875d 129 IOCALL_X_COMPLEX_WRITE,
1ec601bf
FXC
130 IOCALL_X_REAL128,
131 IOCALL_X_REAL128_WRITE,
132 IOCALL_X_COMPLEX128,
133 IOCALL_X_COMPLEX128_WRITE,
5e805e44 134 IOCALL_X_ARRAY,
6eb6875d 135 IOCALL_X_ARRAY_WRITE,
e73d3ca6 136 IOCALL_X_DERIVED,
5e805e44
JJ
137 IOCALL_OPEN,
138 IOCALL_CLOSE,
139 IOCALL_INQUIRE,
140 IOCALL_IOLENGTH,
141 IOCALL_IOLENGTH_DONE,
142 IOCALL_REWIND,
143 IOCALL_BACKSPACE,
144 IOCALL_ENDFILE,
145 IOCALL_FLUSH,
146 IOCALL_SET_NML_VAL,
e73d3ca6 147 IOCALL_SET_NML_DTIO_VAL,
5e805e44 148 IOCALL_SET_NML_VAL_DIM,
6f0f0b2e 149 IOCALL_WAIT,
5e805e44
JJ
150 IOCALL_NUM
151};
152
153static GTY(()) tree iocall[IOCALL_NUM];
6de9cd9a
DN
154
155/* Variable for keeping track of what the last data transfer statement
156 was. Used for deciding which subroutine to call when the data
f7b529fa 157 transfer is complete. */
8750f9cd 158static enum { READ, WRITE, IOLENGTH } last_dt;
6de9cd9a 159
5e805e44
JJ
160/* The data transfer parameter block that should be shared by all
161 data transfer calls belonging to the same read/write/iolength. */
162static GTY(()) tree dt_parm;
163static stmtblock_t *dt_post_end_block;
6de9cd9a 164
5e805e44
JJ
165static void
166gfc_build_st_parameter (enum ioparam_type ptype, tree *types)
167{
32e8bb8e 168 unsigned int type;
5e805e44
JJ
169 gfc_st_parameter_field *p;
170 char name[64];
171 size_t len;
172 tree t = make_node (RECORD_TYPE);
dfd6ece2 173 tree *chain = NULL;
5e805e44
JJ
174
175 len = strlen (st_parameter[ptype].name);
176 gcc_assert (len <= sizeof (name) - sizeof ("__st_parameter_"));
177 memcpy (name, "__st_parameter_", sizeof ("__st_parameter_"));
178 memcpy (name + sizeof ("__st_parameter_") - 1, st_parameter[ptype].name,
ff7417d4 179 len + 1);
5e805e44
JJ
180 TYPE_NAME (t) = get_identifier (name);
181
182 for (type = 0, p = st_parameter_field; type < IOPARM_field_num; type++, p++)
183 if (p->param_type == ptype)
184 switch (p->type)
185 {
186 case IOPARM_type_int4:
014ec6ee 187 case IOPARM_type_intio:
5e805e44 188 case IOPARM_type_pint4:
014ec6ee 189 case IOPARM_type_pintio:
5e805e44
JJ
190 case IOPARM_type_parray:
191 case IOPARM_type_pchar:
192 case IOPARM_type_pad:
35151cd5 193 p->field = gfc_add_field_to_struct (t, get_identifier (p->name),
dfd6ece2 194 types[p->type], &chain);
5e805e44
JJ
195 break;
196 case IOPARM_type_char1:
35151cd5 197 p->field = gfc_add_field_to_struct (t, get_identifier (p->name),
dfd6ece2 198 pchar_type_node, &chain);
5e805e44
JJ
199 /* FALLTHROUGH */
200 case IOPARM_type_char2:
201 len = strlen (p->name);
202 gcc_assert (len <= sizeof (name) - sizeof ("_len"));
203 memcpy (name, p->name, len);
204 memcpy (name + len, "_len", sizeof ("_len"));
35151cd5 205 p->field_len = gfc_add_field_to_struct (t, get_identifier (name),
dfd6ece2
NF
206 gfc_charlen_type_node,
207 &chain);
5e805e44 208 if (p->type == IOPARM_type_char2)
35151cd5 209 p->field = gfc_add_field_to_struct (t, get_identifier (p->name),
dfd6ece2 210 pchar_type_node, &chain);
5e805e44
JJ
211 break;
212 case IOPARM_type_common:
213 p->field
35151cd5 214 = gfc_add_field_to_struct (t,
5e805e44 215 get_identifier (p->name),
dfd6ece2
NF
216 st_parameter[IOPARM_ptype_common].type,
217 &chain);
5e805e44
JJ
218 break;
219 case IOPARM_type_num:
220 gcc_unreachable ();
221 }
6de9cd9a 222
c05c2380
JJ
223 /* -Wpadded warnings on these artificially created structures are not
224 helpful; suppress them. */
225 int save_warn_padded = warn_padded;
226 warn_padded = 0;
5e805e44 227 gfc_finish_type (t);
c05c2380 228 warn_padded = save_warn_padded;
5e805e44
JJ
229 st_parameter[ptype].type = t;
230}
6de9cd9a 231
f96d606f
JD
232
233/* Build code to test an error condition and call generate_error if needed.
234 Note: This builds calls to generate_error in the runtime library function.
235 The function generate_error is dependent on certain parameters in the
236 st_parameter_common flags to be set. (See libgfortran/runtime/error.c)
237 Therefore, the code to set these flags must be generated before
238 this function is used. */
239
ed9c79e1
JJ
240static void
241gfc_trans_io_runtime_check (bool has_iostat, tree cond, tree var,
242 int error_code, const char * msgid,
243 stmtblock_t * pblock)
f96d606f
JD
244{
245 stmtblock_t block;
246 tree body;
247 tree tmp;
248 tree arg1, arg2, arg3;
249 char *message;
250
251 if (integer_zerop (cond))
252 return;
253
254 /* The code to generate the error. */
255 gfc_start_block (&block);
8019105d 256
ed9c79e1
JJ
257 if (has_iostat)
258 gfc_add_expr_to_block (&block, build_predict_expr (PRED_FORTRAN_FAIL_IO,
259 NOT_TAKEN));
260 else
261 gfc_add_expr_to_block (&block, build_predict_expr (PRED_NORETURN,
262 NOT_TAKEN));
263
628c189e 264 arg1 = gfc_build_addr_expr (NULL_TREE, var);
8019105d 265
f96d606f 266 arg2 = build_int_cst (integer_type_node, error_code),
8019105d 267
1a33dc9e 268 message = xasprintf ("%s", _(msgid));
ee37d2f5
FXC
269 arg3 = gfc_build_addr_expr (pchar_type_node,
270 gfc_build_localized_cstring_const (message));
cede9502 271 free (message);
8019105d 272
db3927fb
AH
273 tmp = build_call_expr_loc (input_location,
274 gfor_fndecl_generate_error, 3, arg1, arg2, arg3);
f96d606f
JD
275
276 gfc_add_expr_to_block (&block, tmp);
277
278 body = gfc_finish_block (&block);
279
280 if (integer_onep (cond))
281 {
282 gfc_add_expr_to_block (pblock, body);
283 }
284 else
285 {
c2255bc4 286 tmp = build3_v (COND_EXPR, cond, body, build_empty_stmt (input_location));
f96d606f
JD
287 gfc_add_expr_to_block (pblock, tmp);
288 }
289}
290
291
6de9cd9a
DN
292/* Create function decls for IO library functions. */
293
294void
295gfc_build_io_library_fndecls (void)
296{
5e805e44 297 tree types[IOPARM_type_num], pad_idx, gfc_int4_type_node;
014ec6ee 298 tree gfc_intio_type_node;
5e805e44 299 tree parm_type, dt_parm_type;
5e805e44 300 HOST_WIDE_INT pad_size;
09639a83 301 unsigned int ptype;
5e805e44
JJ
302
303 types[IOPARM_type_int4] = gfc_int4_type_node = gfc_get_int_type (4);
014ec6ee
JD
304 types[IOPARM_type_intio] = gfc_intio_type_node
305 = gfc_get_int_type (gfc_intio_kind);
5e805e44 306 types[IOPARM_type_pint4] = build_pointer_type (gfc_int4_type_node);
014ec6ee
JD
307 types[IOPARM_type_pintio]
308 = build_pointer_type (gfc_intio_type_node);
5e805e44
JJ
309 types[IOPARM_type_parray] = pchar_type_node;
310 types[IOPARM_type_pchar] = pchar_type_node;
e1456843 311 pad_size = 16 * TREE_INT_CST_LOW (TYPE_SIZE_UNIT (pchar_type_node));
5e805e44 312 pad_size += 32 * TREE_INT_CST_LOW (TYPE_SIZE_UNIT (integer_type_node));
df09d1d5 313 pad_idx = build_index_type (size_int (pad_size - 1));
5e805e44 314 types[IOPARM_type_pad] = build_array_type (char_type_node, pad_idx);
7ae99337
SE
315
316 /* pad actually contains pointers and integers so it needs to have an
317 alignment that is at least as large as the needed alignment for those
318 types. See the st_parameter_dt structure in libgfortran/io/io.h for
319 what really goes into this space. */
fe37c7af
MM
320 SET_TYPE_ALIGN (types[IOPARM_type_pad], MAX (TYPE_ALIGN (pchar_type_node),
321 TYPE_ALIGN (gfc_get_int_type (gfc_intio_kind))));
7ae99337 322
5e805e44 323 for (ptype = IOPARM_ptype_common; ptype < IOPARM_ptype_num; ptype++)
09639a83 324 gfc_build_st_parameter ((enum ioparam_type) ptype, types);
6de9cd9a 325
6eb6875d 326 /* Define the transfer functions. */
6de9cd9a 327
5e805e44
JJ
328 dt_parm_type = build_pointer_type (st_parameter[IOPARM_ptype_dt].type);
329
3f34855a
TB
330 iocall[IOCALL_X_INTEGER] = gfc_build_library_function_decl_with_spec (
331 get_identifier (PREFIX("transfer_integer")), ".wW",
332 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
333
6eb6875d
TK
334 iocall[IOCALL_X_INTEGER_WRITE] = gfc_build_library_function_decl_with_spec (
335 get_identifier (PREFIX("transfer_integer_write")), ".wR",
336 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
337
3f34855a
TB
338 iocall[IOCALL_X_LOGICAL] = gfc_build_library_function_decl_with_spec (
339 get_identifier (PREFIX("transfer_logical")), ".wW",
340 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
341
6eb6875d
TK
342 iocall[IOCALL_X_LOGICAL_WRITE] = gfc_build_library_function_decl_with_spec (
343 get_identifier (PREFIX("transfer_logical_write")), ".wR",
344 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
345
3f34855a
TB
346 iocall[IOCALL_X_CHARACTER] = gfc_build_library_function_decl_with_spec (
347 get_identifier (PREFIX("transfer_character")), ".wW",
c1e9bbcc 348 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
3f34855a 349
6eb6875d
TK
350 iocall[IOCALL_X_CHARACTER_WRITE] = gfc_build_library_function_decl_with_spec (
351 get_identifier (PREFIX("transfer_character_write")), ".wR",
c1e9bbcc 352 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
6eb6875d 353
3f34855a
TB
354 iocall[IOCALL_X_CHARACTER_WIDE] = gfc_build_library_function_decl_with_spec (
355 get_identifier (PREFIX("transfer_character_wide")), ".wW",
356 void_type_node, 4, dt_parm_type, pvoid_type_node,
357 gfc_charlen_type_node, gfc_int4_type_node);
358
6eb6875d
TK
359 iocall[IOCALL_X_CHARACTER_WIDE_WRITE] =
360 gfc_build_library_function_decl_with_spec (
361 get_identifier (PREFIX("transfer_character_wide_write")), ".wR",
362 void_type_node, 4, dt_parm_type, pvoid_type_node,
363 gfc_charlen_type_node, gfc_int4_type_node);
364
3f34855a
TB
365 iocall[IOCALL_X_REAL] = gfc_build_library_function_decl_with_spec (
366 get_identifier (PREFIX("transfer_real")), ".wW",
367 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
368
6eb6875d
TK
369 iocall[IOCALL_X_REAL_WRITE] = gfc_build_library_function_decl_with_spec (
370 get_identifier (PREFIX("transfer_real_write")), ".wR",
371 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
372
3f34855a
TB
373 iocall[IOCALL_X_COMPLEX] = gfc_build_library_function_decl_with_spec (
374 get_identifier (PREFIX("transfer_complex")), ".wW",
375 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
376
6eb6875d
TK
377 iocall[IOCALL_X_COMPLEX_WRITE] = gfc_build_library_function_decl_with_spec (
378 get_identifier (PREFIX("transfer_complex_write")), ".wR",
379 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
380
1ec601bf
FXC
381 /* Version for __float128. */
382 iocall[IOCALL_X_REAL128] = gfc_build_library_function_decl_with_spec (
383 get_identifier (PREFIX("transfer_real128")), ".wW",
384 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
385
386 iocall[IOCALL_X_REAL128_WRITE] = gfc_build_library_function_decl_with_spec (
387 get_identifier (PREFIX("transfer_real128_write")), ".wR",
388 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
389
390 iocall[IOCALL_X_COMPLEX128] = gfc_build_library_function_decl_with_spec (
391 get_identifier (PREFIX("transfer_complex128")), ".wW",
392 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
393
394 iocall[IOCALL_X_COMPLEX128_WRITE] = gfc_build_library_function_decl_with_spec (
395 get_identifier (PREFIX("transfer_complex128_write")), ".wR",
396 void_type_node, 3, dt_parm_type, pvoid_type_node, gfc_int4_type_node);
397
3f34855a 398 iocall[IOCALL_X_ARRAY] = gfc_build_library_function_decl_with_spec (
d4d9b0a6 399 get_identifier (PREFIX("transfer_array")), ".ww",
3f34855a
TB
400 void_type_node, 4, dt_parm_type, pvoid_type_node,
401 integer_type_node, gfc_charlen_type_node);
18623fae 402
6eb6875d
TK
403 iocall[IOCALL_X_ARRAY_WRITE] = gfc_build_library_function_decl_with_spec (
404 get_identifier (PREFIX("transfer_array_write")), ".wr",
405 void_type_node, 4, dt_parm_type, pvoid_type_node,
406 integer_type_node, gfc_charlen_type_node);
407
e73d3ca6
PT
408 iocall[IOCALL_X_DERIVED] = gfc_build_library_function_decl_with_spec (
409 get_identifier (PREFIX("transfer_derived")), ".wrR",
410 void_type_node, 2, dt_parm_type, pvoid_type_node, pchar_type_node);
411
6de9cd9a
DN
412 /* Library entry points */
413
3f34855a
TB
414 iocall[IOCALL_READ] = gfc_build_library_function_decl_with_spec (
415 get_identifier (PREFIX("st_read")), ".w",
416 void_type_node, 1, dt_parm_type);
6de9cd9a 417
3f34855a
TB
418 iocall[IOCALL_WRITE] = gfc_build_library_function_decl_with_spec (
419 get_identifier (PREFIX("st_write")), ".w",
420 void_type_node, 1, dt_parm_type);
5e805e44
JJ
421
422 parm_type = build_pointer_type (st_parameter[IOPARM_ptype_open].type);
3f34855a
TB
423 iocall[IOCALL_OPEN] = gfc_build_library_function_decl_with_spec (
424 get_identifier (PREFIX("st_open")), ".w",
425 void_type_node, 1, parm_type);
5e805e44
JJ
426
427 parm_type = build_pointer_type (st_parameter[IOPARM_ptype_close].type);
3f34855a
TB
428 iocall[IOCALL_CLOSE] = gfc_build_library_function_decl_with_spec (
429 get_identifier (PREFIX("st_close")), ".w",
430 void_type_node, 1, parm_type);
6de9cd9a 431
5e805e44 432 parm_type = build_pointer_type (st_parameter[IOPARM_ptype_inquire].type);
3f34855a
TB
433 iocall[IOCALL_INQUIRE] = gfc_build_library_function_decl_with_spec (
434 get_identifier (PREFIX("st_inquire")), ".w",
a19d2b95 435 void_type_node, 1, parm_type);
6de9cd9a 436
3f34855a
TB
437 iocall[IOCALL_IOLENGTH] = gfc_build_library_function_decl_with_spec(
438 get_identifier (PREFIX("st_iolength")), ".w",
439 void_type_node, 1, dt_parm_type);
8750f9cd 440
3f34855a 441 /* TODO: Change when asynchronous I/O is implemented. */
6f0f0b2e 442 parm_type = build_pointer_type (st_parameter[IOPARM_ptype_wait].type);
3f34855a
TB
443 iocall[IOCALL_WAIT] = gfc_build_library_function_decl_with_spec (
444 get_identifier (PREFIX("st_wait")), ".X",
a19d2b95 445 void_type_node, 1, parm_type);
6f0f0b2e 446
5e805e44 447 parm_type = build_pointer_type (st_parameter[IOPARM_ptype_filepos].type);
3f34855a
TB
448 iocall[IOCALL_REWIND] = gfc_build_library_function_decl_with_spec (
449 get_identifier (PREFIX("st_rewind")), ".w",
a19d2b95 450 void_type_node, 1, parm_type);
6de9cd9a 451
3f34855a
TB
452 iocall[IOCALL_BACKSPACE] = gfc_build_library_function_decl_with_spec (
453 get_identifier (PREFIX("st_backspace")), ".w",
a19d2b95 454 void_type_node, 1, parm_type);
6de9cd9a 455
3f34855a
TB
456 iocall[IOCALL_ENDFILE] = gfc_build_library_function_decl_with_spec (
457 get_identifier (PREFIX("st_endfile")), ".w",
a19d2b95 458 void_type_node, 1, parm_type);
6403ec5f 459
3f34855a
TB
460 iocall[IOCALL_FLUSH] = gfc_build_library_function_decl_with_spec (
461 get_identifier (PREFIX("st_flush")), ".w",
a19d2b95 462 void_type_node, 1, parm_type);
6403ec5f 463
6de9cd9a
DN
464 /* Library helpers */
465
3f34855a
TB
466 iocall[IOCALL_READ_DONE] = gfc_build_library_function_decl_with_spec (
467 get_identifier (PREFIX("st_read_done")), ".w",
a19d2b95 468 void_type_node, 1, dt_parm_type);
8750f9cd 469
3f34855a
TB
470 iocall[IOCALL_WRITE_DONE] = gfc_build_library_function_decl_with_spec (
471 get_identifier (PREFIX("st_write_done")), ".w",
a19d2b95 472 void_type_node, 1, dt_parm_type);
8750f9cd 473
3f34855a
TB
474 iocall[IOCALL_IOLENGTH_DONE] = gfc_build_library_function_decl_with_spec (
475 get_identifier (PREFIX("st_iolength_done")), ".w",
a19d2b95 476 void_type_node, 1, dt_parm_type);
6de9cd9a 477
3f34855a
TB
478 iocall[IOCALL_SET_NML_VAL] = gfc_build_library_function_decl_with_spec (
479 get_identifier (PREFIX("st_set_nml_var")), ".w.R",
480 void_type_node, 6, dt_parm_type, pvoid_type_node, pvoid_type_node,
0522a84e 481 gfc_int4_type_node, gfc_charlen_type_node, gfc_int4_type_node);
6de9cd9a 482
e73d3ca6
PT
483 iocall[IOCALL_SET_NML_DTIO_VAL] = gfc_build_library_function_decl_with_spec (
484 get_identifier (PREFIX("st_set_nml_dtio_var")), ".w.R",
485 void_type_node, 8, dt_parm_type, pvoid_type_node, pvoid_type_node,
486 gfc_int4_type_node, gfc_charlen_type_node, gfc_int4_type_node,
487 pvoid_type_node, pvoid_type_node);
488
3f34855a
TB
489 iocall[IOCALL_SET_NML_VAL_DIM] = gfc_build_library_function_decl_with_spec (
490 get_identifier (PREFIX("st_set_nml_var_dim")), ".w",
491 void_type_node, 5, dt_parm_type, gfc_int4_type_node,
492 gfc_array_index_type, gfc_array_index_type, gfc_array_index_type);
6de9cd9a
DN
493}
494
495
e73d3ca6
PT
496static void
497set_parameter_tree (stmtblock_t *block, tree var, enum iofield type, tree value)
5e805e44
JJ
498{
499 tree tmp;
500 gfc_st_parameter_field *p = &st_parameter_field[type];
501
502 if (p->param_type == IOPARM_ptype_common)
65a9ca82
TB
503 var = fold_build3_loc (input_location, COMPONENT_REF,
504 st_parameter[IOPARM_ptype_common].type,
505 var, TYPE_FIELDS (TREE_TYPE (var)), NULL_TREE);
506 tmp = fold_build3_loc (input_location, COMPONENT_REF, TREE_TYPE (p->field),
507 var, p->field, NULL_TREE);
e73d3ca6
PT
508 gfc_add_modify (block, tmp, value);
509}
510
511
512/* Generate code to store an integer constant into the
513 st_parameter_XXX structure. */
514
515static unsigned int
516set_parameter_const (stmtblock_t *block, tree var, enum iofield type,
517 unsigned int val)
518{
519 gfc_st_parameter_field *p = &st_parameter_field[type];
520
521 set_parameter_tree (block, var, type,
522 build_int_cst (TREE_TYPE (p->field), val));
5e805e44
JJ
523 return p->mask;
524}
525
526
49de9e73 527/* Generate code to store a non-string I/O parameter into the
5e805e44 528 st_parameter_XXX structure. This is a pass by value. */
6de9cd9a 529
5e805e44 530static unsigned int
e344505c
JD
531set_parameter_value (stmtblock_t *block, tree var, enum iofield type,
532 gfc_expr *e)
533{
534 gfc_se se;
535 tree tmp;
536 gfc_st_parameter_field *p = &st_parameter_field[type];
537 tree dest_type = TREE_TYPE (p->field);
538
539 gfc_init_se (&se, NULL);
540 gfc_conv_expr_val (&se, e);
541
542 se.expr = convert (dest_type, se.expr);
543 gfc_add_block_to_block (block, &se.pre);
544
545 if (p->param_type == IOPARM_ptype_common)
546 var = fold_build3_loc (input_location, COMPONENT_REF,
547 st_parameter[IOPARM_ptype_common].type,
548 var, TYPE_FIELDS (TREE_TYPE (var)), NULL_TREE);
549
550 tmp = fold_build3_loc (input_location, COMPONENT_REF, dest_type, var,
551 p->field, NULL_TREE);
552 gfc_add_modify (block, tmp, se.expr);
553 return p->mask;
554}
555
556
557/* Similar to set_parameter_value except generate runtime
558 error checks. */
559
560static unsigned int
561set_parameter_value_chk (stmtblock_t *block, bool has_iostat, tree var,
ed9c79e1 562 enum iofield type, gfc_expr *e)
6de9cd9a
DN
563{
564 gfc_se se;
565 tree tmp;
5e805e44 566 gfc_st_parameter_field *p = &st_parameter_field[type];
f96d606f 567 tree dest_type = TREE_TYPE (p->field);
6de9cd9a
DN
568
569 gfc_init_se (&se, NULL);
f96d606f
JD
570 gfc_conv_expr_val (&se, e);
571
572 /* If we're storing a UNIT number, we need to check it first. */
9ad55c33 573 if (type == IOPARM_common_unit && e->ts.kind > 4)
f96d606f 574 {
9ad55c33 575 tree cond, val;
f96d606f
JD
576 int i;
577
f96d606f
JD
578 /* Don't evaluate the UNIT number multiple times. */
579 se.expr = gfc_evaluate_now (se.expr, &se.pre);
580
9ad55c33
JD
581 /* UNIT numbers should be greater than the min. */
582 i = gfc_validate_kind (BT_INTEGER, 4, false);
583 val = gfc_conv_mpz_to_tree (gfc_integer_kinds[i].pedantic_min_int, 4);
63ee5404 584 cond = fold_build2_loc (input_location, LT_EXPR, logical_type_node,
65a9ca82
TB
585 se.expr,
586 fold_convert (TREE_TYPE (se.expr), val));
ed9c79e1
JJ
587 gfc_trans_io_runtime_check (has_iostat, cond, var, LIBERROR_BAD_UNIT,
588 "Unit number in I/O statement too small",
589 &se.pre);
8019105d 590
f96d606f 591 /* UNIT numbers should be less than the max. */
9ad55c33 592 val = gfc_conv_mpz_to_tree (gfc_integer_kinds[i].huge, 4);
63ee5404 593 cond = fold_build2_loc (input_location, GT_EXPR, logical_type_node,
65a9ca82
TB
594 se.expr,
595 fold_convert (TREE_TYPE (se.expr), val));
ed9c79e1
JJ
596 gfc_trans_io_runtime_check (has_iostat, cond, var, LIBERROR_BAD_UNIT,
597 "Unit number in I/O statement too large",
598 &se.pre);
f96d606f
JD
599 }
600
601 se.expr = convert (dest_type, se.expr);
6de9cd9a
DN
602 gfc_add_block_to_block (block, &se.pre);
603
5e805e44 604 if (p->param_type == IOPARM_ptype_common)
65a9ca82
TB
605 var = fold_build3_loc (input_location, COMPONENT_REF,
606 st_parameter[IOPARM_ptype_common].type,
607 var, TYPE_FIELDS (TREE_TYPE (var)), NULL_TREE);
f96d606f 608
65a9ca82
TB
609 tmp = fold_build3_loc (input_location, COMPONENT_REF, dest_type, var,
610 p->field, NULL_TREE);
726a989a 611 gfc_add_modify (block, tmp, se.expr);
5e805e44 612 return p->mask;
6de9cd9a
DN
613}
614
615
e344505c
JD
616/* Build code to check the unit range if KIND=8 is used. Similar to
617 set_parameter_value_chk but we do not generate error calls for
618 inquire statements. */
619
620static unsigned int
621set_parameter_value_inquire (stmtblock_t *block, tree var,
622 enum iofield type, gfc_expr *e)
623{
624 gfc_se se;
625 gfc_st_parameter_field *p = &st_parameter_field[type];
626 tree dest_type = TREE_TYPE (p->field);
627
628 gfc_init_se (&se, NULL);
629 gfc_conv_expr_val (&se, e);
630
631 /* If we're inquiring on a UNIT number, we need to check to make
632 sure it exists for larger than kind = 4. */
633 if (type == IOPARM_common_unit && e->ts.kind > 4)
634 {
635 stmtblock_t newblock;
636 tree cond1, cond2, cond3, val, body;
637 int i;
638
639 /* Don't evaluate the UNIT number multiple times. */
640 se.expr = gfc_evaluate_now (se.expr, &se.pre);
641
642 /* UNIT numbers should be greater than zero. */
643 i = gfc_validate_kind (BT_INTEGER, 4, false);
63ee5404 644 cond1 = build2_loc (input_location, LT_EXPR, logical_type_node,
e344505c
JD
645 se.expr,
646 fold_convert (TREE_TYPE (se.expr),
647 integer_zero_node));
648 /* UNIT numbers should be less than the max. */
649 val = gfc_conv_mpz_to_tree (gfc_integer_kinds[i].huge, 4);
63ee5404 650 cond2 = build2_loc (input_location, GT_EXPR, logical_type_node,
e344505c
JD
651 se.expr,
652 fold_convert (TREE_TYPE (se.expr), val));
653 cond3 = build2_loc (input_location, TRUTH_OR_EXPR,
63ee5404 654 logical_type_node, cond1, cond2);
e344505c
JD
655
656 gfc_start_block (&newblock);
657
658 /* The unit number GFC_INVALID_UNIT is reserved. No units can
659 ever have this value. It is used here to signal to the
660 runtime library that the inquire unit number is outside the
661 allowable range and so cannot exist. It is needed when
662 -fdefault-integer-8 is used. */
663 set_parameter_const (&newblock, var, IOPARM_common_unit,
664 GFC_INVALID_UNIT);
665
666 body = gfc_finish_block (&newblock);
667
e73d3ca6 668 cond3 = gfc_unlikely (cond3, PRED_FORTRAN_FAIL_IO);
e344505c
JD
669 var = build3_v (COND_EXPR, cond3, body, build_empty_stmt (input_location));
670 gfc_add_expr_to_block (&se.pre, var);
671 }
672
673 se.expr = convert (dest_type, se.expr);
674 gfc_add_block_to_block (block, &se.pre);
675
676 return p->mask;
677}
678
679
49de9e73 680/* Generate code to store a non-string I/O parameter into the
5e805e44 681 st_parameter_XXX structure. This is pass by reference. */
6de9cd9a 682
5e805e44
JJ
683static unsigned int
684set_parameter_ref (stmtblock_t *block, stmtblock_t *postblock,
685 tree var, enum iofield type, gfc_expr *e)
6de9cd9a
DN
686{
687 gfc_se se;
5e805e44
JJ
688 tree tmp, addr;
689 gfc_st_parameter_field *p = &st_parameter_field[type];
6de9cd9a 690
5e805e44 691 gcc_assert (e->ts.type == BT_INTEGER || e->ts.type == BT_LOGICAL);
6de9cd9a 692 gfc_init_se (&se, NULL);
5e805e44 693 gfc_conv_expr_lhs (&se, e);
6de9cd9a 694
6de9cd9a
DN
695 gfc_add_block_to_block (block, &se.pre);
696
5e805e44
JJ
697 if (TYPE_MODE (TREE_TYPE (se.expr))
698 == TYPE_MODE (TREE_TYPE (TREE_TYPE (p->field))))
f96d606f 699 {
628c189e 700 addr = convert (TREE_TYPE (p->field), gfc_build_addr_expr (NULL_TREE, se.expr));
f96d606f
JD
701
702 /* If this is for the iostat variable initialize the
d74b97cc 703 user variable to LIBERROR_OK which is zero. */
f96d606f 704 if (type == IOPARM_common_iostat)
726a989a 705 gfc_add_modify (block, se.expr,
d74b97cc 706 build_int_cst (TREE_TYPE (se.expr), LIBERROR_OK));
f96d606f 707 }
5e805e44
JJ
708 else
709 {
710 /* The type used by the library has different size
f96d606f
JD
711 from the type of the variable supplied by the user.
712 Need to use a temporary. */
713 tree tmpvar = gfc_create_var (TREE_TYPE (TREE_TYPE (p->field)),
714 st_parameter_field[type].name);
715
716 /* If this is for the iostat variable, initialize the
d74b97cc 717 user variable to LIBERROR_OK which is zero. */
f96d606f 718 if (type == IOPARM_common_iostat)
726a989a 719 gfc_add_modify (block, tmpvar,
d74b97cc 720 build_int_cst (TREE_TYPE (tmpvar), LIBERROR_OK));
f96d606f 721
628c189e 722 addr = gfc_build_addr_expr (NULL_TREE, tmpvar);
f96d606f 723 /* After the I/O operation, we set the variable from the temporary. */
5e805e44 724 tmp = convert (TREE_TYPE (se.expr), tmpvar);
726a989a 725 gfc_add_modify (postblock, se.expr, tmp);
f96d606f 726 }
5e805e44 727
e73d3ca6 728 set_parameter_tree (block, var, type, addr);
5e805e44 729 return p->mask;
6de9cd9a
DN
730}
731
d3642f89
FW
732/* Given an array expr, find its address and length to get a string. If the
733 array is full, the string's address is the address of array's first element
7e279142 734 and the length is the size of the whole array. If it is an element, the
d3642f89 735 string's address is the element's address and the length is the rest size of
7e279142 736 the array. */
d3642f89
FW
737
738static void
739gfc_convert_array_to_string (gfc_se * se, gfc_expr * e)
740{
d3642f89 741 tree size;
d3642f89 742
7e279142 743 if (e->rank == 0)
d3642f89 744 {
7e279142
JJ
745 tree type, array, tmp;
746 gfc_symbol *sym;
747 int rank;
748
749 /* If it is an element, we need its address and size of the rest. */
750 gcc_assert (e->expr_type == EXPR_VARIABLE);
751 gcc_assert (e->ref->u.ar.type == AR_ELEMENT);
752 sym = e->symtree->n.sym;
753 rank = sym->as->rank - 1;
d3642f89 754 gfc_conv_expr (se, e);
d3642f89 755
7e279142
JJ
756 array = sym->backend_decl;
757 type = TREE_TYPE (array);
d3642f89 758
7e279142
JJ
759 if (GFC_ARRAY_TYPE_P (type))
760 size = GFC_TYPE_ARRAY_SIZE (type);
761 else
762 {
763 gcc_assert (GFC_DESCRIPTOR_TYPE_P (type));
764 size = gfc_conv_array_stride (array, rank);
65a9ca82
TB
765 tmp = fold_build2_loc (input_location, MINUS_EXPR,
766 gfc_array_index_type,
767 gfc_conv_array_ubound (array, rank),
768 gfc_conv_array_lbound (array, rank));
769 tmp = fold_build2_loc (input_location, PLUS_EXPR,
770 gfc_array_index_type, tmp,
771 gfc_index_one_node);
772 size = fold_build2_loc (input_location, MULT_EXPR,
773 gfc_array_index_type, tmp, size);
7e279142
JJ
774 }
775 gcc_assert (size);
d3642f89 776
65a9ca82
TB
777 size = fold_build2_loc (input_location, MINUS_EXPR,
778 gfc_array_index_type, size,
779 TREE_OPERAND (se->expr, 1));
628c189e 780 se->expr = gfc_build_addr_expr (NULL_TREE, se->expr);
7e279142 781 tmp = TYPE_SIZE_UNIT (gfc_get_element_type (type));
65a9ca82
TB
782 size = fold_build2_loc (input_location, MULT_EXPR,
783 gfc_array_index_type, size,
784 fold_convert (gfc_array_index_type, tmp));
7e279142
JJ
785 se->string_length = fold_convert (gfc_charlen_type_node, size);
786 return;
d3642f89
FW
787 }
788
2960a368 789 gfc_conv_array_parameter (se, e, true, NULL, NULL, &size);
d3642f89
FW
790 se->string_length = fold_convert (gfc_charlen_type_node, size);
791}
6de9cd9a 792
109b0ac2 793
6de9cd9a 794/* Generate code to store a string and its length into the
5e805e44 795 st_parameter_XXX structure. */
6de9cd9a 796
5e805e44 797static unsigned int
6de9cd9a 798set_string (stmtblock_t * block, stmtblock_t * postblock, tree var,
5e805e44 799 enum iofield type, gfc_expr * e)
6de9cd9a
DN
800{
801 gfc_se se;
802 tree tmp;
6de9cd9a
DN
803 tree io;
804 tree len;
5e805e44 805 gfc_st_parameter_field *p = &st_parameter_field[type];
6de9cd9a
DN
806
807 gfc_init_se (&se, NULL);
6de9cd9a 808
5e805e44 809 if (p->param_type == IOPARM_ptype_common)
65a9ca82
TB
810 var = fold_build3_loc (input_location, COMPONENT_REF,
811 st_parameter[IOPARM_ptype_common].type,
812 var, TYPE_FIELDS (TREE_TYPE (var)), NULL_TREE);
813 io = fold_build3_loc (input_location, COMPONENT_REF, TREE_TYPE (p->field),
44855d8c 814 var, p->field, NULL_TREE);
65a9ca82
TB
815 len = fold_build3_loc (input_location, COMPONENT_REF,
816 TREE_TYPE (p->field_len),
817 var, p->field_len, NULL_TREE);
6de9cd9a 818
7ab92584 819 /* Integer variable assigned a format label. */
7e279142
JJ
820 if (e->ts.type == BT_INTEGER
821 && e->rank == 0
822 && e->symtree->n.sym->attr.assign == 1)
6de9cd9a 823 {
dd18a33b 824 char * msg;
c8fe94c7 825 tree cond;
dd18a33b 826
ce2df7c6 827 gfc_conv_label_variable (&se, e);
6de9cd9a 828 tmp = GFC_DECL_STRING_LEN (se.expr);
63ee5404 829 cond = fold_build2_loc (input_location, LT_EXPR, logical_type_node,
65a9ca82 830 tmp, build_int_cst (TREE_TYPE (tmp), 0));
dd18a33b 831
1a33dc9e
UB
832 msg = xasprintf ("Label assigned to variable '%s' (%%ld) is not a format "
833 "label", e->symtree->name);
0d52899f 834 gfc_trans_runtime_check (true, false, cond, &se.pre, &e->where, msg,
c8fe94c7 835 fold_convert (long_integer_type_node, tmp));
cede9502 836 free (msg);
dd18a33b 837
726a989a 838 gfc_add_modify (&se.pre, io,
b078dfbf 839 fold_convert (TREE_TYPE (io), GFC_DECL_ASSIGN_ADDR (se.expr)));
726a989a 840 gfc_add_modify (&se.pre, len, GFC_DECL_STRING_LEN (se.expr));
6de9cd9a
DN
841 }
842 else
843 {
d3642f89
FW
844 /* General character. */
845 if (e->ts.type == BT_CHARACTER && e->rank == 0)
846 gfc_conv_expr (&se, e);
847 /* Array assigned Hollerith constant or character array. */
7e279142 848 else if (e->rank > 0 || (e->symtree && e->symtree->n.sym->as->rank > 0))
d3642f89
FW
849 gfc_convert_array_to_string (&se, e);
850 else
851 gcc_unreachable ();
852
6de9cd9a 853 gfc_conv_string_parameter (&se);
726a989a
RB
854 gfc_add_modify (&se.pre, io, fold_convert (TREE_TYPE (io), se.expr));
855 gfc_add_modify (&se.pre, len, se.string_length);
6de9cd9a
DN
856 }
857
858 gfc_add_block_to_block (block, &se.pre);
859 gfc_add_block_to_block (postblock, &se.post);
5e805e44 860 return p->mask;
6de9cd9a
DN
861}
862
863
109b0ac2
PT
864/* Generate code to store the character (array) and the character length
865 for an internal unit. */
866
5e805e44 867static unsigned int
d4feb3d3
PT
868set_internal_unit (stmtblock_t * block, stmtblock_t * post_block,
869 tree var, gfc_expr * e)
109b0ac2
PT
870{
871 gfc_se se;
872 tree io;
873 tree len;
874 tree desc;
875 tree tmp;
5e805e44
JJ
876 gfc_st_parameter_field *p;
877 unsigned int mask;
109b0ac2
PT
878
879 gfc_init_se (&se, NULL);
880
5e805e44
JJ
881 p = &st_parameter_field[IOPARM_dt_internal_unit];
882 mask = p->mask;
65a9ca82
TB
883 io = fold_build3_loc (input_location, COMPONENT_REF, TREE_TYPE (p->field),
884 var, p->field, NULL_TREE);
885 len = fold_build3_loc (input_location, COMPONENT_REF, TREE_TYPE (p->field_len),
886 var, p->field_len, NULL_TREE);
5e805e44 887 p = &st_parameter_field[IOPARM_dt_internal_unit_desc];
65a9ca82
TB
888 desc = fold_build3_loc (input_location, COMPONENT_REF, TREE_TYPE (p->field),
889 var, p->field, NULL_TREE);
109b0ac2
PT
890
891 gcc_assert (e->ts.type == BT_CHARACTER);
892
893 /* Character scalars. */
894 if (e->rank == 0)
895 {
896 gfc_conv_expr (&se, e);
897 gfc_conv_string_parameter (&se);
898 tmp = se.expr;
c3238e32 899 se.expr = build_int_cst (pchar_type_node, 0);
109b0ac2
PT
900 }
901
902 /* Character array. */
64db4d29 903 else if (e->rank > 0)
109b0ac2 904 {
1d6b7f39 905 if (is_subref_array (e))
d4feb3d3
PT
906 {
907 /* Use a temporary for components of arrays of derived types
908 or substring array references. */
1d6b7f39 909 gfc_conv_subref_array_arg (&se, e, 0,
430f2d1f 910 last_dt == READ ? INTENT_IN : INTENT_OUT, false);
db3927fb
AH
911 tmp = build_fold_indirect_ref_loc (input_location,
912 se.expr);
d4feb3d3
PT
913 se.expr = gfc_build_addr_expr (pchar_type_node, tmp);
914 tmp = gfc_conv_descriptor_data_get (tmp);
915 }
916 else
917 {
918 /* Return the data pointer and rank from the descriptor. */
2960a368 919 gfc_conv_expr_descriptor (&se, e);
d4feb3d3
PT
920 tmp = gfc_conv_descriptor_data_get (se.expr);
921 se.expr = gfc_build_addr_expr (pchar_type_node, se.expr);
922 }
109b0ac2
PT
923 }
924 else
925 gcc_unreachable ();
926
927 /* The cast is needed for character substrings and the descriptor
928 data. */
726a989a
RB
929 gfc_add_modify (&se.pre, io, fold_convert (TREE_TYPE (io), tmp));
930 gfc_add_modify (&se.pre, len,
d4feb3d3 931 fold_convert (TREE_TYPE (len), se.string_length));
726a989a 932 gfc_add_modify (&se.pre, desc, se.expr);
109b0ac2
PT
933
934 gfc_add_block_to_block (block, &se.pre);
d4feb3d3 935 gfc_add_block_to_block (post_block, &se.post);
5e805e44 936 return mask;
109b0ac2
PT
937}
938
6de9cd9a
DN
939/* Add a case to a IO-result switch. */
940
941static void
942add_case (int label_value, gfc_st_label * label, stmtblock_t * body)
943{
944 tree tmp, value;
945
946 if (label == NULL)
947 return; /* No label, no case */
948
df09d1d5 949 value = build_int_cst (integer_type_node, label_value);
6de9cd9a
DN
950
951 /* Make a backend label for this case. */
c006df4e 952 tmp = gfc_build_label_decl (NULL_TREE);
6de9cd9a
DN
953
954 /* And the case itself. */
3d528853 955 tmp = build_case_label (value, NULL_TREE, tmp);
6de9cd9a
DN
956 gfc_add_expr_to_block (body, tmp);
957
958 /* Jump to the label. */
959 tmp = build1_v (GOTO_EXPR, gfc_get_label_decl (label));
960 gfc_add_expr_to_block (body, tmp);
961}
962
963
964/* Generate a switch statement that branches to the correct I/O
965 result label. The last statement of an I/O call stores the
966 result into a variable because there is often cleanup that
967 must be done before the switch, so a temporary would have to
968 be created anyway. */
969
970static void
5e805e44 971io_result (stmtblock_t * block, tree var, gfc_st_label * err_label,
6de9cd9a
DN
972 gfc_st_label * end_label, gfc_st_label * eor_label)
973{
974 stmtblock_t body;
975 tree tmp, rc;
5e805e44 976 gfc_st_parameter_field *p = &st_parameter_field[IOPARM_common_flags];
6de9cd9a
DN
977
978 /* If no labels are specified, ignore the result instead
979 of building an empty switch. */
980 if (err_label == NULL
981 && end_label == NULL
982 && eor_label == NULL)
983 return;
984
985 /* Build a switch statement. */
986 gfc_start_block (&body);
987
988 /* The label values here must be the same as the values
989 in the library_return enum in the runtime library */
990 add_case (1, err_label, &body);
991 add_case (2, end_label, &body);
992 add_case (3, eor_label, &body);
993
994 tmp = gfc_finish_block (&body);
995
65a9ca82
TB
996 var = fold_build3_loc (input_location, COMPONENT_REF,
997 st_parameter[IOPARM_ptype_common].type,
998 var, TYPE_FIELDS (TREE_TYPE (var)), NULL_TREE);
999 rc = fold_build3_loc (input_location, COMPONENT_REF, TREE_TYPE (p->field),
1000 var, p->field, NULL_TREE);
1001 rc = fold_build2_loc (input_location, BIT_AND_EXPR, TREE_TYPE (rc),
1002 rc, build_int_cst (TREE_TYPE (rc),
1003 IOPARM_common_libreturn_mask));
6de9cd9a 1004
9e851845 1005 tmp = fold_build2_loc (input_location, SWITCH_EXPR, NULL_TREE, rc, tmp);
6de9cd9a
DN
1006
1007 gfc_add_expr_to_block (block, tmp);
1008}
1009
1010
1011/* Store the current file and line number to variables so that if a
1012 library call goes awry, we can tell the user where the problem is. */
1013
1014static void
5e805e44 1015set_error_locus (stmtblock_t * block, tree var, locus * where)
6de9cd9a
DN
1016{
1017 gfc_file *f;
5e805e44 1018 tree str, locus_file;
6de9cd9a 1019 int line;
5e805e44 1020 gfc_st_parameter_field *p = &st_parameter_field[IOPARM_common_filename];
6de9cd9a 1021
65a9ca82
TB
1022 locus_file = fold_build3_loc (input_location, COMPONENT_REF,
1023 st_parameter[IOPARM_ptype_common].type,
1024 var, TYPE_FIELDS (TREE_TYPE (var)), NULL_TREE);
1025 locus_file = fold_build3_loc (input_location, COMPONENT_REF,
1026 TREE_TYPE (p->field), locus_file,
1027 p->field, NULL_TREE);
d4fa05b9 1028 f = where->lb->file;
5e805e44 1029 str = gfc_build_cstring_const (f->filename);
6de9cd9a 1030
5e805e44 1031 str = gfc_build_addr_expr (pchar_type_node, str);
726a989a 1032 gfc_add_modify (block, locus_file, str);
6de9cd9a 1033
c8cc8542 1034 line = LOCATION_LINE (where->lb->location);
5e805e44 1035 set_parameter_const (block, var, IOPARM_common_line, line);
6de9cd9a
DN
1036}
1037
1038
1039/* Translate an OPEN statement. */
1040
1041tree
1042gfc_trans_open (gfc_code * code)
1043{
1044 stmtblock_t block, post_block;
1045 gfc_open *p;
5e805e44
JJ
1046 tree tmp, var;
1047 unsigned int mask = 0;
6de9cd9a 1048
5e805e44 1049 gfc_start_block (&block);
6de9cd9a
DN
1050 gfc_init_block (&post_block);
1051
5e805e44
JJ
1052 var = gfc_create_var (st_parameter[IOPARM_ptype_open].type, "open_parm");
1053
1054 set_error_locus (&block, var, &code->loc);
6de9cd9a
DN
1055 p = code->ext.open;
1056
f96d606f
JD
1057 if (p->iomsg)
1058 mask |= set_string (&block, &post_block, var, IOPARM_common_iomsg,
1059 p->iomsg);
1060
1061 if (p->iostat)
1062 mask |= set_parameter_ref (&block, &post_block, var, IOPARM_common_iostat,
1063 p->iostat);
1064
1065 if (p->err)
1066 mask |= IOPARM_common_err;
6de9cd9a
DN
1067
1068 if (p->file)
5e805e44 1069 mask |= set_string (&block, &post_block, var, IOPARM_open_file, p->file);
6de9cd9a
DN
1070
1071 if (p->status)
5e805e44
JJ
1072 mask |= set_string (&block, &post_block, var, IOPARM_open_status,
1073 p->status);
6de9cd9a
DN
1074
1075 if (p->access)
5e805e44
JJ
1076 mask |= set_string (&block, &post_block, var, IOPARM_open_access,
1077 p->access);
6de9cd9a
DN
1078
1079 if (p->form)
5e805e44 1080 mask |= set_string (&block, &post_block, var, IOPARM_open_form, p->form);
6de9cd9a
DN
1081
1082 if (p->recl)
e344505c 1083 mask |= set_parameter_value (&block, var, IOPARM_open_recl_in,
ed9c79e1 1084 p->recl);
6de9cd9a
DN
1085
1086 if (p->blank)
5e805e44
JJ
1087 mask |= set_string (&block, &post_block, var, IOPARM_open_blank,
1088 p->blank);
6de9cd9a
DN
1089
1090 if (p->position)
5e805e44
JJ
1091 mask |= set_string (&block, &post_block, var, IOPARM_open_position,
1092 p->position);
6de9cd9a
DN
1093
1094 if (p->action)
5e805e44
JJ
1095 mask |= set_string (&block, &post_block, var, IOPARM_open_action,
1096 p->action);
6de9cd9a
DN
1097
1098 if (p->delim)
5e805e44
JJ
1099 mask |= set_string (&block, &post_block, var, IOPARM_open_delim,
1100 p->delim);
6de9cd9a
DN
1101
1102 if (p->pad)
5e805e44 1103 mask |= set_string (&block, &post_block, var, IOPARM_open_pad, p->pad);
6de9cd9a 1104
6f0f0b2e
JD
1105 if (p->decimal)
1106 mask |= set_string (&block, &post_block, var, IOPARM_open_decimal,
1107 p->decimal);
1108
1109 if (p->encoding)
1110 mask |= set_string (&block, &post_block, var, IOPARM_open_encoding,
1111 p->encoding);
1112
1113 if (p->round)
1114 mask |= set_string (&block, &post_block, var, IOPARM_open_round, p->round);
1115
1116 if (p->sign)
1117 mask |= set_string (&block, &post_block, var, IOPARM_open_sign, p->sign);
1118
1119 if (p->asynchronous)
1120 mask |= set_string (&block, &post_block, var, IOPARM_open_asynchronous,
1121 p->asynchronous);
1122
181c9f4a
TK
1123 if (p->convert)
1124 mask |= set_string (&block, &post_block, var, IOPARM_open_convert,
1125 p->convert);
8019105d 1126
9ad55c33
JD
1127 if (p->newunit)
1128 mask |= set_parameter_ref (&block, &post_block, var, IOPARM_open_newunit,
1129 p->newunit);
181c9f4a 1130
0ef33d44
FR
1131 if (p->cc)
1132 mask |= set_string (&block, &post_block, var, IOPARM_open_cc, p->cc);
1133
1134 if (p->share)
1135 mask |= set_string (&block, &post_block, var, IOPARM_open_share, p->share);
1136
1137 mask |= set_parameter_const (&block, var, IOPARM_open_readonly, p->readonly);
1138
5e805e44
JJ
1139 set_parameter_const (&block, var, IOPARM_common_flags, mask);
1140
f96d606f 1141 if (p->unit)
e344505c 1142 set_parameter_value_chk (&block, p->iostat, var, IOPARM_common_unit, p->unit);
f96d606f
JD
1143 else
1144 set_parameter_const (&block, var, IOPARM_common_unit, 0);
1145
628c189e 1146 tmp = gfc_build_addr_expr (NULL_TREE, var);
db3927fb
AH
1147 tmp = build_call_expr_loc (input_location,
1148 iocall[IOCALL_OPEN], 1, tmp);
6de9cd9a
DN
1149 gfc_add_expr_to_block (&block, tmp);
1150
1151 gfc_add_block_to_block (&block, &post_block);
1152
5e805e44 1153 io_result (&block, var, p->err, NULL, NULL);
6de9cd9a
DN
1154
1155 return gfc_finish_block (&block);
1156}
1157
1158
1159/* Translate a CLOSE statement. */
1160
1161tree
1162gfc_trans_close (gfc_code * code)
1163{
1164 stmtblock_t block, post_block;
1165 gfc_close *p;
5e805e44
JJ
1166 tree tmp, var;
1167 unsigned int mask = 0;
6de9cd9a 1168
5e805e44 1169 gfc_start_block (&block);
6de9cd9a
DN
1170 gfc_init_block (&post_block);
1171
5e805e44
JJ
1172 var = gfc_create_var (st_parameter[IOPARM_ptype_close].type, "close_parm");
1173
1174 set_error_locus (&block, var, &code->loc);
6de9cd9a
DN
1175 p = code->ext.close;
1176
7aba8abe 1177 if (p->iomsg)
5e805e44
JJ
1178 mask |= set_string (&block, &post_block, var, IOPARM_common_iomsg,
1179 p->iomsg);
7aba8abe 1180
6de9cd9a 1181 if (p->iostat)
5e805e44
JJ
1182 mask |= set_parameter_ref (&block, &post_block, var, IOPARM_common_iostat,
1183 p->iostat);
6de9cd9a
DN
1184
1185 if (p->err)
5e805e44
JJ
1186 mask |= IOPARM_common_err;
1187
f96d606f
JD
1188 if (p->status)
1189 mask |= set_string (&block, &post_block, var, IOPARM_close_status,
1190 p->status);
1191
5e805e44 1192 set_parameter_const (&block, var, IOPARM_common_flags, mask);
6de9cd9a 1193
f96d606f 1194 if (p->unit)
e344505c 1195 set_parameter_value_chk (&block, p->iostat, var, IOPARM_common_unit, p->unit);
f96d606f
JD
1196 else
1197 set_parameter_const (&block, var, IOPARM_common_unit, 0);
1198
628c189e 1199 tmp = gfc_build_addr_expr (NULL_TREE, var);
db3927fb
AH
1200 tmp = build_call_expr_loc (input_location,
1201 iocall[IOCALL_CLOSE], 1, tmp);
6de9cd9a
DN
1202 gfc_add_expr_to_block (&block, tmp);
1203
1204 gfc_add_block_to_block (&block, &post_block);
1205
5e805e44 1206 io_result (&block, var, p->err, NULL, NULL);
6de9cd9a
DN
1207
1208 return gfc_finish_block (&block);
1209}
1210
1211
1212/* Common subroutine for building a file positioning statement. */
1213
1214static tree
1215build_filepos (tree function, gfc_code * code)
1216{
7aba8abe 1217 stmtblock_t block, post_block;
6de9cd9a 1218 gfc_filepos *p;
5e805e44
JJ
1219 tree tmp, var;
1220 unsigned int mask = 0;
6de9cd9a
DN
1221
1222 p = code->ext.filepos;
1223
5e805e44 1224 gfc_start_block (&block);
7aba8abe 1225 gfc_init_block (&post_block);
6de9cd9a 1226
5e805e44
JJ
1227 var = gfc_create_var (st_parameter[IOPARM_ptype_filepos].type,
1228 "filepos_parm");
1229
1230 set_error_locus (&block, var, &code->loc);
6de9cd9a 1231
7aba8abe 1232 if (p->iomsg)
5e805e44
JJ
1233 mask |= set_string (&block, &post_block, var, IOPARM_common_iomsg,
1234 p->iomsg);
7aba8abe 1235
6de9cd9a 1236 if (p->iostat)
e344505c
JD
1237 mask |= set_parameter_ref (&block, &post_block, var,
1238 IOPARM_common_iostat, p->iostat);
6de9cd9a
DN
1239
1240 if (p->err)
5e805e44
JJ
1241 mask |= IOPARM_common_err;
1242
1243 set_parameter_const (&block, var, IOPARM_common_flags, mask);
6de9cd9a 1244
f96d606f 1245 if (p->unit)
e344505c
JD
1246 set_parameter_value_chk (&block, p->iostat, var, IOPARM_common_unit,
1247 p->unit);
f96d606f
JD
1248 else
1249 set_parameter_const (&block, var, IOPARM_common_unit, 0);
1250
628c189e 1251 tmp = gfc_build_addr_expr (NULL_TREE, var);
db3927fb
AH
1252 tmp = build_call_expr_loc (input_location,
1253 function, 1, tmp);
6de9cd9a
DN
1254 gfc_add_expr_to_block (&block, tmp);
1255
7aba8abe
TK
1256 gfc_add_block_to_block (&block, &post_block);
1257
5e805e44 1258 io_result (&block, var, p->err, NULL, NULL);
6de9cd9a
DN
1259
1260 return gfc_finish_block (&block);
1261}
1262
1263
1264/* Translate a BACKSPACE statement. */
1265
1266tree
1267gfc_trans_backspace (gfc_code * code)
1268{
5e805e44 1269 return build_filepos (iocall[IOCALL_BACKSPACE], code);
6de9cd9a
DN
1270}
1271
1272
1273/* Translate an ENDFILE statement. */
1274
1275tree
1276gfc_trans_endfile (gfc_code * code)
1277{
5e805e44 1278 return build_filepos (iocall[IOCALL_ENDFILE], code);
6de9cd9a
DN
1279}
1280
1281
1282/* Translate a REWIND statement. */
1283
1284tree
1285gfc_trans_rewind (gfc_code * code)
1286{
5e805e44 1287 return build_filepos (iocall[IOCALL_REWIND], code);
6de9cd9a
DN
1288}
1289
1290
6403ec5f
JB
1291/* Translate a FLUSH statement. */
1292
1293tree
1294gfc_trans_flush (gfc_code * code)
1295{
5e805e44 1296 return build_filepos (iocall[IOCALL_FLUSH], code);
6403ec5f
JB
1297}
1298
1299
6de9cd9a
DN
1300/* Translate the non-IOLENGTH form of an INQUIRE statement. */
1301
1302tree
1303gfc_trans_inquire (gfc_code * code)
1304{
1305 stmtblock_t block, post_block;
1306 gfc_inquire *p;
5e805e44 1307 tree tmp, var;
6f0f0b2e 1308 unsigned int mask = 0, mask2 = 0;
6de9cd9a 1309
5e805e44 1310 gfc_start_block (&block);
6de9cd9a
DN
1311 gfc_init_block (&post_block);
1312
5e805e44
JJ
1313 var = gfc_create_var (st_parameter[IOPARM_ptype_inquire].type,
1314 "inquire_parm");
1315
1316 set_error_locus (&block, var, &code->loc);
6de9cd9a
DN
1317 p = code->ext.inquire;
1318
7aba8abe 1319 if (p->iomsg)
5e805e44
JJ
1320 mask |= set_string (&block, &post_block, var, IOPARM_common_iomsg,
1321 p->iomsg);
7aba8abe 1322
6de9cd9a 1323 if (p->iostat)
5e805e44
JJ
1324 mask |= set_parameter_ref (&block, &post_block, var, IOPARM_common_iostat,
1325 p->iostat);
6de9cd9a 1326
f96d606f
JD
1327 if (p->err)
1328 mask |= IOPARM_common_err;
1329
1330 /* Sanity check. */
1331 if (p->unit && p->file)
1332 gfc_error ("INQUIRE statement at %L cannot contain both FILE and UNIT specifiers", &code->loc);
1333
1334 if (p->file)
1335 mask |= set_string (&block, &post_block, var, IOPARM_inquire_file,
1336 p->file);
1337
6de9cd9a 1338 if (p->exist)
e344505c 1339 mask |= set_parameter_ref (&block, &post_block, var, IOPARM_inquire_exist,
c16dd6a8 1340 p->exist);
6de9cd9a
DN
1341
1342 if (p->opened)
5e805e44
JJ
1343 mask |= set_parameter_ref (&block, &post_block, var, IOPARM_inquire_opened,
1344 p->opened);
6de9cd9a
DN
1345
1346 if (p->number)
5e805e44
JJ
1347 mask |= set_parameter_ref (&block, &post_block, var, IOPARM_inquire_number,
1348 p->number);
6de9cd9a
DN
1349
1350 if (p->named)
5e805e44
JJ
1351 mask |= set_parameter_ref (&block, &post_block, var, IOPARM_inquire_named,
1352 p->named);
6de9cd9a
DN
1353
1354 if (p->name)
5e805e44
JJ
1355 mask |= set_string (&block, &post_block, var, IOPARM_inquire_name,
1356 p->name);
6de9cd9a
DN
1357
1358 if (p->access)
5e805e44
JJ
1359 mask |= set_string (&block, &post_block, var, IOPARM_inquire_access,
1360 p->access);
6de9cd9a
DN
1361
1362 if (p->sequential)
5e805e44
JJ
1363 mask |= set_string (&block, &post_block, var, IOPARM_inquire_sequential,
1364 p->sequential);
6de9cd9a
DN
1365
1366 if (p->direct)
5e805e44
JJ
1367 mask |= set_string (&block, &post_block, var, IOPARM_inquire_direct,
1368 p->direct);
6de9cd9a
DN
1369
1370 if (p->form)
5e805e44
JJ
1371 mask |= set_string (&block, &post_block, var, IOPARM_inquire_form,
1372 p->form);
6de9cd9a
DN
1373
1374 if (p->formatted)
5e805e44
JJ
1375 mask |= set_string (&block, &post_block, var, IOPARM_inquire_formatted,
1376 p->formatted);
6de9cd9a
DN
1377
1378 if (p->unformatted)
5e805e44
JJ
1379 mask |= set_string (&block, &post_block, var, IOPARM_inquire_unformatted,
1380 p->unformatted);
6de9cd9a
DN
1381
1382 if (p->recl)
5e805e44
JJ
1383 mask |= set_parameter_ref (&block, &post_block, var,
1384 IOPARM_inquire_recl_out, p->recl);
6de9cd9a
DN
1385
1386 if (p->nextrec)
5e805e44
JJ
1387 mask |= set_parameter_ref (&block, &post_block, var,
1388 IOPARM_inquire_nextrec, p->nextrec);
6de9cd9a
DN
1389
1390 if (p->blank)
5e805e44
JJ
1391 mask |= set_string (&block, &post_block, var, IOPARM_inquire_blank,
1392 p->blank);
6de9cd9a 1393
d06b3496
JD
1394 if (p->delim)
1395 mask |= set_string (&block, &post_block, var, IOPARM_inquire_delim,
1396 p->delim);
1397
6de9cd9a 1398 if (p->position)
5e805e44
JJ
1399 mask |= set_string (&block, &post_block, var, IOPARM_inquire_position,
1400 p->position);
6de9cd9a
DN
1401
1402 if (p->action)
5e805e44
JJ
1403 mask |= set_string (&block, &post_block, var, IOPARM_inquire_action,
1404 p->action);
6de9cd9a
DN
1405
1406 if (p->read)
5e805e44
JJ
1407 mask |= set_string (&block, &post_block, var, IOPARM_inquire_read,
1408 p->read);
6de9cd9a
DN
1409
1410 if (p->write)
5e805e44
JJ
1411 mask |= set_string (&block, &post_block, var, IOPARM_inquire_write,
1412 p->write);
6de9cd9a
DN
1413
1414 if (p->readwrite)
5e805e44
JJ
1415 mask |= set_string (&block, &post_block, var, IOPARM_inquire_readwrite,
1416 p->readwrite);
6de9cd9a 1417
dae24534 1418 if (p->pad)
5e805e44
JJ
1419 mask |= set_string (&block, &post_block, var, IOPARM_inquire_pad,
1420 p->pad);
8019105d 1421
181c9f4a
TK
1422 if (p->convert)
1423 mask |= set_string (&block, &post_block, var, IOPARM_inquire_convert,
1424 p->convert);
1425
014ec6ee
JD
1426 if (p->strm_pos)
1427 mask |= set_parameter_ref (&block, &post_block, var,
1428 IOPARM_inquire_strm_pos_out, p->strm_pos);
1429
6f0f0b2e
JD
1430 /* The second series of flags. */
1431 if (p->asynchronous)
1432 mask2 |= set_string (&block, &post_block, var, IOPARM_inquire_asynchronous,
1433 p->asynchronous);
1434
1435 if (p->decimal)
1436 mask2 |= set_string (&block, &post_block, var, IOPARM_inquire_decimal,
1437 p->decimal);
1438
1439 if (p->encoding)
1440 mask2 |= set_string (&block, &post_block, var, IOPARM_inquire_encoding,
1441 p->encoding);
1442
1443 if (p->round)
1444 mask2 |= set_string (&block, &post_block, var, IOPARM_inquire_round,
1445 p->round);
1446
1447 if (p->sign)
1448 mask2 |= set_string (&block, &post_block, var, IOPARM_inquire_sign,
1449 p->sign);
1450
1451 if (p->pending)
1452 mask2 |= set_parameter_ref (&block, &post_block, var,
1453 IOPARM_inquire_pending, p->pending);
1454
1455 if (p->size)
1456 mask2 |= set_parameter_ref (&block, &post_block, var, IOPARM_inquire_size,
1457 p->size);
1458
1459 if (p->id)
d06b3496
JD
1460 mask2 |= set_parameter_ref (&block, &post_block,var, IOPARM_inquire_id,
1461 p->id);
93e8af19
JD
1462 if (p->iqstream)
1463 mask2 |= set_string (&block, &post_block, var, IOPARM_inquire_iqstream,
1464 p->iqstream);
6f0f0b2e 1465
0ef33d44
FR
1466 if (p->share)
1467 mask2 |= set_string (&block, &post_block, var, IOPARM_inquire_share,
1468 p->share);
1469
1470 if (p->cc)
1471 mask2 |= set_string (&block, &post_block, var, IOPARM_inquire_cc, p->cc);
1472
6f0f0b2e 1473 if (mask2)
e1456843 1474 mask |= set_parameter_const (&block, var, IOPARM_inquire_flags2, mask2);
6f0f0b2e 1475
5e805e44 1476 set_parameter_const (&block, var, IOPARM_common_flags, mask);
6de9cd9a 1477
f96d606f 1478 if (p->unit)
e344505c
JD
1479 {
1480 set_parameter_value (&block, var, IOPARM_common_unit, p->unit);
1481 set_parameter_value_inquire (&block, var, IOPARM_common_unit, p->unit);
1482 }
f96d606f
JD
1483 else
1484 set_parameter_const (&block, var, IOPARM_common_unit, 0);
1485
628c189e 1486 tmp = gfc_build_addr_expr (NULL_TREE, var);
db3927fb
AH
1487 tmp = build_call_expr_loc (input_location,
1488 iocall[IOCALL_INQUIRE], 1, tmp);
6de9cd9a
DN
1489 gfc_add_expr_to_block (&block, tmp);
1490
1491 gfc_add_block_to_block (&block, &post_block);
1492
5e805e44 1493 io_result (&block, var, p->err, NULL, NULL);
6de9cd9a
DN
1494
1495 return gfc_finish_block (&block);
1496}
1497
6f0f0b2e
JD
1498
1499tree
1500gfc_trans_wait (gfc_code * code)
1501{
1502 stmtblock_t block, post_block;
1503 gfc_wait *p;
1504 tree tmp, var;
1505 unsigned int mask = 0;
1506
1507 gfc_start_block (&block);
1508 gfc_init_block (&post_block);
1509
1510 var = gfc_create_var (st_parameter[IOPARM_ptype_wait].type,
1511 "wait_parm");
1512
1513 set_error_locus (&block, var, &code->loc);
1514 p = code->ext.wait;
1515
1516 /* Set parameters here. */
1517 if (p->iomsg)
1518 mask |= set_string (&block, &post_block, var, IOPARM_common_iomsg,
1519 p->iomsg);
1520
1521 if (p->iostat)
1522 mask |= set_parameter_ref (&block, &post_block, var, IOPARM_common_iostat,
1523 p->iostat);
1524
1525 if (p->err)
1526 mask |= IOPARM_common_err;
1527
1528 if (p->id)
e344505c 1529 mask |= set_parameter_value (&block, var, IOPARM_wait_id, p->id);
6f0f0b2e
JD
1530
1531 set_parameter_const (&block, var, IOPARM_common_flags, mask);
1532
1533 if (p->unit)
e344505c 1534 set_parameter_value_chk (&block, p->iostat, var, IOPARM_common_unit, p->unit);
6f0f0b2e 1535
628c189e 1536 tmp = gfc_build_addr_expr (NULL_TREE, var);
db3927fb
AH
1537 tmp = build_call_expr_loc (input_location,
1538 iocall[IOCALL_WAIT], 1, tmp);
6f0f0b2e
JD
1539 gfc_add_expr_to_block (&block, tmp);
1540
1541 gfc_add_block_to_block (&block, &post_block);
1542
1543 io_result (&block, var, p->err, NULL, NULL);
1544
1545 return gfc_finish_block (&block);
1546
1547}
1548
6de9cd9a 1549
29dc5138 1550/* nml_full_name builds up the fully qualified name of a
3b111bd7 1551 derived type component. '+' is used to denote a type extension. */
29dc5138
PT
1552
1553static char*
3b111bd7 1554nml_full_name (const char* var_name, const char* cmp_name, bool parent)
6de9cd9a 1555{
29dc5138
PT
1556 int full_name_length;
1557 char * full_name;
1558
1559 full_name_length = strlen (var_name) + strlen (cmp_name) + 1;
93acb62c 1560 full_name = XCNEWVEC (char, full_name_length + 1);
29dc5138 1561 strcpy (full_name, var_name);
3b111bd7 1562 full_name = strcat (full_name, parent ? "+" : "%");
29dc5138
PT
1563 full_name = strcat (full_name, cmp_name);
1564 return full_name;
6de9cd9a
DN
1565}
1566
19d36107 1567
29dc5138
PT
1568/* nml_get_addr_expr builds an address expression from the
1569 gfc_symbol or gfc_component backend_decl's. An offset is
1570 provided so that the address of an element of an array of
1571 derived types is returned. This is used in the runtime to
66e4ab31 1572 determine that span of the derived type. */
29dc5138
PT
1573
1574static tree
1575nml_get_addr_expr (gfc_symbol * sym, gfc_component * c,
1576 tree base_addr)
1577{
1578 tree decl = NULL_TREE;
1579 tree tmp;
29dc5138
PT
1580
1581 if (sym)
1582 {
1583 sym->attr.referenced = 1;
1584 decl = gfc_get_symbol_decl (sym);
847b053d
PT
1585
1586 /* If this is the enclosing function declaration, use
1587 the fake result instead. */
1588 if (decl == current_function_decl)
1589 decl = gfc_get_fake_result_decl (sym, 0);
1590 else if (decl == DECL_CONTEXT (current_function_decl))
1591 decl = gfc_get_fake_result_decl (sym, 1);
29dc5138
PT
1592 }
1593 else
1594 decl = c->backend_decl;
1595
d168c883
JJ
1596 gcc_assert (decl && (TREE_CODE (decl) == FIELD_DECL
1597 || VAR_P (decl)
1598 || TREE_CODE (decl) == PARM_DECL
1599 || TREE_CODE (decl) == COMPONENT_REF));
29dc5138
PT
1600
1601 tmp = decl;
1602
1603 /* Build indirect reference, if dummy argument. */
1604
19d36107
TB
1605 if (POINTER_TYPE_P (TREE_TYPE(tmp)))
1606 tmp = build_fold_indirect_ref_loc (input_location, tmp);
29dc5138
PT
1607
1608 /* Treat the component of a derived type, using base_addr for
1609 the derived type. */
1610
1611 if (TREE_CODE (decl) == FIELD_DECL)
65a9ca82
TB
1612 tmp = fold_build3_loc (input_location, COMPONENT_REF, TREE_TYPE (tmp),
1613 base_addr, tmp, NULL_TREE);
29dc5138 1614
51cd6b78
JD
1615 if (GFC_CLASS_TYPE_P (TREE_TYPE (tmp))
1616 && GFC_DESCRIPTOR_TYPE_P (TREE_TYPE (gfc_class_data_get (tmp))))
1617 tmp = gfc_class_data_get (tmp);
1618
19d36107
TB
1619 if (GFC_DESCRIPTOR_TYPE_P (TREE_TYPE (tmp)))
1620 tmp = gfc_conv_array_data (tmp);
1621 else
1622 {
1623 if (!POINTER_TYPE_P (TREE_TYPE (tmp)))
1624 tmp = gfc_build_addr_expr (NULL_TREE, tmp);
29dc5138 1625
19d36107
TB
1626 if (TREE_CODE (TREE_TYPE (tmp)) == ARRAY_TYPE)
1627 tmp = gfc_build_array_ref (tmp, gfc_index_zero_node, NULL);
29dc5138 1628
19d36107
TB
1629 if (!POINTER_TYPE_P (TREE_TYPE (tmp)))
1630 tmp = build_fold_indirect_ref_loc (input_location,
db3927fb 1631 tmp);
19d36107 1632 }
29dc5138
PT
1633
1634 gcc_assert (tmp && POINTER_TYPE_P (TREE_TYPE (tmp)));
1635
1636 return tmp;
1637}
3bc268e6 1638
19d36107 1639
29dc5138 1640/* For an object VAR_NAME whose base address is BASE_ADDR, generate a
5e805e44
JJ
1641 call to iocall[IOCALL_SET_NML_VAL]. For derived type variable, recursively
1642 generate calls to iocall[IOCALL_SET_NML_VAL] for each component. */
3bc268e6 1643
29dc5138 1644#define IARG(i) build_int_cst (gfc_array_index_type, i)
3bc268e6
VL
1645
1646static void
29dc5138
PT
1647transfer_namelist_element (stmtblock_t * block, const char * var_name,
1648 gfc_symbol * sym, gfc_component * c,
1649 tree base_addr)
3bc268e6 1650{
29dc5138
PT
1651 gfc_typespec * ts = NULL;
1652 gfc_array_spec * as = NULL;
1653 tree addr_expr = NULL;
1654 tree dt = NULL;
1655 tree string;
1656 tree tmp;
29dc5138 1657 tree dtype;
5e805e44 1658 tree dt_parm_addr;
19d36107 1659 tree decl = NULL_TREE;
0522a84e 1660 tree gfc_int4_type_node = gfc_get_int_type (4);
e73d3ca6
PT
1661 tree dtio_proc = null_pointer_node;
1662 tree vtable = null_pointer_node;
8019105d 1663 int n_dim;
29dc5138
PT
1664 int itype;
1665 int rank = 0;
3bc268e6 1666
29dc5138 1667 gcc_assert (sym || c);
3bc268e6 1668
29dc5138
PT
1669 /* Build the namelist object name. */
1670
1671 string = gfc_build_cstring_const (var_name);
1672 string = gfc_build_addr_expr (pchar_type_node, string);
1673
1674 /* Build ts, as and data address using symbol or component. */
1675
51cd6b78
JD
1676 ts = sym ? &sym->ts : &c->ts;
1677
1678 if (ts->type != BT_CLASS)
1679 as = sym ? sym->as : c->as;
1680 else
1681 as = sym ? CLASS_DATA (sym)->as : CLASS_DATA (c)->as;
29dc5138
PT
1682
1683 addr_expr = nml_get_addr_expr (sym, c, base_addr);
1684
1685 if (as)
1686 rank = as->rank;
1687
1688 if (rank)
3bc268e6 1689 {
51cd6b78 1690 decl = sym ? sym->backend_decl : c->backend_decl;
19d36107
TB
1691 if (sym && sym->attr.dummy)
1692 decl = build_fold_indirect_ref_loc (input_location, decl);
51cd6b78
JD
1693
1694 if (ts->type == BT_CLASS)
1695 decl = gfc_class_data_get (decl);
19d36107 1696 dt = TREE_TYPE (decl);
29dc5138 1697 dtype = gfc_get_dtype (dt);
3bc268e6 1698 }
29dc5138
PT
1699 else
1700 {
a11930ba 1701 itype = ts->type;
29dc5138 1702 dtype = IARG (itype << GFC_DTYPE_TYPE_SHIFT);
3bc268e6
VL
1703 }
1704
29dc5138
PT
1705 /* Build up the arguments for the transfer call.
1706 The call for the scalar part transfers:
1707 (address, name, type, kind or string_length, dtype) */
1708
628c189e 1709 dt_parm_addr = gfc_build_addr_expr (NULL_TREE, dt_parm);
29dc5138 1710
e73d3ca6
PT
1711 /* Check if the derived type has a specific DTIO for the mode.
1712 Note that although namelist io is forbidden to have a format
1713 list, the specific subroutine is of the formatted kind. */
cf474530 1714 if (ts->type == BT_DERIVED || ts->type == BT_CLASS)
e73d3ca6 1715 {
cf474530
JW
1716 gfc_symbol *derived;
1717 if (ts->type==BT_CLASS)
1718 derived = ts->u.derived->components->ts.u.derived;
1719 else
1720 derived = ts->u.derived;
1721
1722 gfc_symtree *tb_io_st = gfc_find_typebound_dtio_proc (derived,
1723 last_dt == WRITE, true);
1724
1725 if (ts->type == BT_CLASS && tb_io_st)
1726 {
1727 // polymorphic DTIO call (based on the dynamic type)
1728 gfc_se se;
1729 gfc_symtree *st = gfc_find_symtree (sym->ns->sym_root, sym->name);
1730 // build vtable expr
1731 gfc_expr *expr = gfc_get_variable_expr (st);
1732 gfc_add_vptr_component (expr);
1733 gfc_init_se (&se, NULL);
1734 se.want_pointer = 1;
1735 gfc_conv_expr (&se, expr);
1736 vtable = se.expr;
1737 // build dtio expr
1738 gfc_add_component_ref (expr,
1739 tb_io_st->n.tb->u.generic->specific_st->name);
1740 gfc_init_se (&se, NULL);
1741 se.want_pointer = 1;
1742 gfc_conv_expr (&se, expr);
1743 gfc_free_expr (expr);
1744 dtio_proc = se.expr;
1745 }
1746 else
e73d3ca6 1747 {
cf474530
JW
1748 // non-polymorphic DTIO call (based on the declared type)
1749 gfc_symbol *dtio_sub = gfc_find_specific_dtio_proc (derived,
1750 last_dt == WRITE, true);
1751 if (dtio_sub != NULL)
1752 {
1753 dtio_proc = gfc_get_symbol_decl (dtio_sub);
1754 dtio_proc = gfc_build_addr_expr (NULL, dtio_proc);
1755 gfc_symbol *vtab = gfc_find_derived_vtab (derived);
1756 vtable = vtab->backend_decl;
1757 if (vtable == NULL_TREE)
1758 vtable = gfc_get_symbol_decl (vtab);
1759 vtable = gfc_build_addr_expr (pvoid_type_node, vtable);
1760 }
e73d3ca6
PT
1761 }
1762 }
1763
29dc5138 1764 if (ts->type == BT_CHARACTER)
bc21d315 1765 tmp = ts->u.cl->backend_decl;
29dc5138 1766 else
5039610b 1767 tmp = build_int_cst (gfc_charlen_type_node, 0);
e73d3ca6 1768
7f72e402 1769 if (dtio_proc == null_pointer_node)
e73d3ca6
PT
1770 tmp = build_call_expr_loc (input_location,
1771 iocall[IOCALL_SET_NML_VAL], 6,
1772 dt_parm_addr, addr_expr, string,
1773 build_int_cst (gfc_int4_type_node, ts->kind),
1774 tmp, dtype);
1775 else
1776 tmp = build_call_expr_loc (input_location,
1777 iocall[IOCALL_SET_NML_DTIO_VAL], 8,
1778 dt_parm_addr, addr_expr, string,
1779 build_int_cst (gfc_int4_type_node, ts->kind),
1780 tmp, dtype, dtio_proc, vtable);
3bc268e6 1781 gfc_add_expr_to_block (block, tmp);
29dc5138
PT
1782
1783 /* If the object is an array, transfer rank times:
1784 (null pointer, name, stride, lbound, ubound) */
1785
1786 for ( n_dim = 0 ; n_dim < rank ; n_dim++ )
1787 {
db3927fb
AH
1788 tmp = build_call_expr_loc (input_location,
1789 iocall[IOCALL_SET_NML_VAL_DIM], 5,
5039610b 1790 dt_parm_addr,
0522a84e 1791 build_int_cst (gfc_int4_type_node, n_dim),
19d36107
TB
1792 gfc_conv_array_stride (decl, n_dim),
1793 gfc_conv_array_lbound (decl, n_dim),
1794 gfc_conv_array_ubound (decl, n_dim));
29dc5138
PT
1795 gfc_add_expr_to_block (block, tmp);
1796 }
1797
e73d3ca6
PT
1798 if (gfc_bt_struct (ts->type) && ts->u.derived->components
1799 && dtio_proc == null_pointer_node)
29dc5138
PT
1800 {
1801 gfc_component *cmp;
1802
1803 /* Provide the RECORD_TYPE to build component references. */
1804
db3927fb
AH
1805 tree expr = build_fold_indirect_ref_loc (input_location,
1806 addr_expr);
29dc5138 1807
bc21d315 1808 for (cmp = ts->u.derived->components; cmp; cmp = cmp->next)
29dc5138 1809 {
3b111bd7
JD
1810 char *full_name = nml_full_name (var_name, cmp->name,
1811 ts->u.derived->attr.extension);
29dc5138
PT
1812 transfer_namelist_element (block,
1813 full_name,
1814 NULL, cmp, expr);
cede9502 1815 free (full_name);
29dc5138
PT
1816 }
1817 }
3bc268e6 1818}
6de9cd9a 1819
29dc5138 1820#undef IARG
29dc5138 1821
6de9cd9a
DN
1822/* Create a data transfer statement. Not all of the fields are valid
1823 for both reading and writing, but improper use has been filtered
1824 out by now. */
1825
1826static tree
5e805e44 1827build_dt (tree function, gfc_code * code)
6de9cd9a 1828{
d4feb3d3 1829 stmtblock_t block, post_block, post_end_block, post_iu_block;
6de9cd9a 1830 gfc_dt *dt;
5e805e44 1831 tree tmp, var;
29dc5138 1832 gfc_expr *nmlname;
3bc268e6 1833 gfc_namelist *nml;
5e1bdeb7 1834 unsigned int mask = 0;
6de9cd9a 1835
5e805e44 1836 gfc_start_block (&block);
6de9cd9a 1837 gfc_init_block (&post_block);
5e805e44 1838 gfc_init_block (&post_end_block);
d4feb3d3 1839 gfc_init_block (&post_iu_block);
5e805e44
JJ
1840
1841 var = gfc_create_var (st_parameter[IOPARM_ptype_dt].type, "dt_parm");
1842
1843 set_error_locus (&block, var, &code->loc);
6de9cd9a 1844
5e805e44
JJ
1845 if (last_dt == IOLENGTH)
1846 {
1847 gfc_inquire *inq;
1848
1849 inq = code->ext.inquire;
6de9cd9a 1850
5e805e44
JJ
1851 /* First check that preconditions are met. */
1852 gcc_assert (inq != NULL);
1853 gcc_assert (inq->iolength != NULL);
1854
1855 /* Connect to the iolength variable. */
1856 mask |= set_parameter_ref (&block, &post_end_block, var,
1857 IOPARM_dt_iolength, inq->iolength);
1858 dt = NULL;
1859 }
1860 else
1861 {
1862 dt = code->ext.dt;
1863 gcc_assert (dt != NULL);
1864 }
8750f9cd 1865
5e805e44 1866 if (dt && dt->io_unit)
6de9cd9a
DN
1867 {
1868 if (dt->io_unit->ts.type == BT_CHARACTER)
1869 {
d4feb3d3
PT
1870 mask |= set_internal_unit (&block, &post_iu_block,
1871 var, dt->io_unit);
c8dce2cf 1872 set_parameter_const (&block, var, IOPARM_common_unit,
4a8d4422
JD
1873 dt->io_unit->ts.kind == 1 ?
1874 GFC_INTERNAL_UNIT : GFC_INTERNAL_UNIT4);
6de9cd9a 1875 }
6de9cd9a 1876 }
5e805e44
JJ
1877 else
1878 set_parameter_const (&block, var, IOPARM_common_unit, 0);
6de9cd9a 1879
5e805e44
JJ
1880 if (dt)
1881 {
f96d606f
JD
1882 if (dt->iomsg)
1883 mask |= set_string (&block, &post_block, var, IOPARM_common_iomsg,
1884 dt->iomsg);
1885
1886 if (dt->iostat)
1887 mask |= set_parameter_ref (&block, &post_end_block, var,
1888 IOPARM_common_iostat, dt->iostat);
1889
1890 if (dt->err)
1891 mask |= IOPARM_common_err;
1892
1893 if (dt->eor)
1894 mask |= IOPARM_common_eor;
1895
1896 if (dt->end)
1897 mask |= IOPARM_common_end;
1898
6f0f0b2e
JD
1899 if (dt->id)
1900 mask |= set_parameter_ref (&block, &post_end_block, var,
1901 IOPARM_dt_id, dt->id);
1902
1903 if (dt->pos)
e344505c 1904 mask |= set_parameter_value (&block, var, IOPARM_dt_pos, dt->pos);
6f0f0b2e
JD
1905
1906 if (dt->asynchronous)
e344505c
JD
1907 mask |= set_string (&block, &post_block, var,
1908 IOPARM_dt_asynchronous, dt->asynchronous);
6f0f0b2e
JD
1909
1910 if (dt->blank)
1911 mask |= set_string (&block, &post_block, var, IOPARM_dt_blank,
1912 dt->blank);
1913
1914 if (dt->decimal)
1915 mask |= set_string (&block, &post_block, var, IOPARM_dt_decimal,
1916 dt->decimal);
1917
1918 if (dt->delim)
1919 mask |= set_string (&block, &post_block, var, IOPARM_dt_delim,
1920 dt->delim);
1921
1922 if (dt->pad)
1923 mask |= set_string (&block, &post_block, var, IOPARM_dt_pad,
1924 dt->pad);
1925
1926 if (dt->round)
1927 mask |= set_string (&block, &post_block, var, IOPARM_dt_round,
1928 dt->round);
1929
1930 if (dt->sign)
1931 mask |= set_string (&block, &post_block, var, IOPARM_dt_sign,
1932 dt->sign);
1933
5e805e44 1934 if (dt->rec)
e344505c 1935 mask |= set_parameter_value (&block, var, IOPARM_dt_rec, dt->rec);
6de9cd9a 1936
5e805e44
JJ
1937 if (dt->advance)
1938 mask |= set_string (&block, &post_block, var, IOPARM_dt_advance,
1939 dt->advance);
6de9cd9a 1940
5e805e44 1941 if (dt->format_expr)
9341698a 1942 mask |= set_string (&block, &post_end_block, var, IOPARM_dt_format,
5e805e44 1943 dt->format_expr);
6de9cd9a 1944
5e805e44
JJ
1945 if (dt->format_label)
1946 {
1947 if (dt->format_label == &format_asterisk)
1948 mask |= IOPARM_dt_list_format;
1949 else
1950 mask |= set_string (&block, &post_block, var, IOPARM_dt_format,
1951 dt->format_label->format);
1952 }
6de9cd9a 1953
5e805e44
JJ
1954 if (dt->size)
1955 mask |= set_parameter_ref (&block, &post_end_block, var,
1956 IOPARM_dt_size, dt->size);
6de9cd9a 1957
4a8d4422
JD
1958 if (dt->udtio)
1959 mask |= IOPARM_dt_dtio;
1960
6869e9c6
FR
1961 if (dt->default_exp)
1962 mask |= IOPARM_dt_default_exp;
1963
5e805e44
JJ
1964 if (dt->namelist)
1965 {
1966 if (dt->format_expr || dt->format_label)
1967 gfc_internal_error ("build_dt: format with namelist");
1968
b7e75771
JD
1969 nmlname = gfc_get_character_expr (gfc_default_character_kind, NULL,
1970 dt->namelist->name,
1971 strlen (dt->namelist->name));
29dc5138 1972
5e805e44
JJ
1973 mask |= set_string (&block, &post_block, var, IOPARM_dt_namelist_name,
1974 nmlname);
29dc5138 1975
76c1a7ec
TB
1976 gfc_free_expr (nmlname);
1977
5e805e44
JJ
1978 if (last_dt == READ)
1979 mask |= IOPARM_dt_namelist_read_mode;
29dc5138 1980
5e805e44 1981 set_parameter_const (&block, var, IOPARM_common_flags, mask);
29dc5138 1982
5e805e44
JJ
1983 dt_parm = var;
1984
1985 for (nml = dt->namelist->namelist; nml; nml = nml->next)
1986 transfer_namelist_element (&block, nml->sym->name, nml->sym,
71ff73f3 1987 NULL, NULL_TREE);
5e805e44
JJ
1988 }
1989 else
1990 set_parameter_const (&block, var, IOPARM_common_flags, mask);
f96d606f
JD
1991
1992 if (dt->io_unit && dt->io_unit->ts.type == BT_INTEGER)
e344505c
JD
1993 set_parameter_value_chk (&block, dt->iostat, var,
1994 IOPARM_common_unit, dt->io_unit);
6de9cd9a 1995 }
5e805e44
JJ
1996 else
1997 set_parameter_const (&block, var, IOPARM_common_flags, mask);
6de9cd9a 1998
628c189e 1999 tmp = gfc_build_addr_expr (NULL_TREE, var);
033e7d21 2000 tmp = build_call_expr_loc (UNKNOWN_LOCATION,
db3927fb 2001 function, 1, tmp);
6de9cd9a
DN
2002 gfc_add_expr_to_block (&block, tmp);
2003
2004 gfc_add_block_to_block (&block, &post_block);
2005
5e805e44
JJ
2006 dt_parm = var;
2007 dt_post_end_block = &post_end_block;
2008
bc51e726
JD
2009 /* Set implied do loop exit condition. */
2010 if (last_dt == READ || last_dt == WRITE)
2011 {
2012 gfc_st_parameter_field *p = &st_parameter_field[IOPARM_common_flags];
2013
65a9ca82
TB
2014 tmp = fold_build3_loc (input_location, COMPONENT_REF,
2015 st_parameter[IOPARM_ptype_common].type,
2016 dt_parm, TYPE_FIELDS (TREE_TYPE (dt_parm)),
2017 NULL_TREE);
2018 tmp = fold_build3_loc (input_location, COMPONENT_REF,
2019 TREE_TYPE (p->field), tmp, p->field, NULL_TREE);
2020 tmp = fold_build2_loc (input_location, BIT_AND_EXPR, TREE_TYPE (tmp),
2021 tmp, build_int_cst (TREE_TYPE (tmp),
2022 IOPARM_common_libreturn_mask));
bc51e726
JD
2023 }
2024 else /* IOLENGTH */
2025 tmp = NULL_TREE;
2026
2027 gfc_add_expr_to_block (&block, gfc_trans_code_cond (code->block->next, tmp));
5e805e44 2028
d4feb3d3
PT
2029 gfc_add_block_to_block (&block, &post_iu_block);
2030
5e805e44
JJ
2031 dt_parm = NULL;
2032 dt_post_end_block = NULL;
2033
6de9cd9a
DN
2034 return gfc_finish_block (&block);
2035}
2036
2037
8750f9cd
JB
2038/* Translate the IOLENGTH form of an INQUIRE statement. We treat
2039 this as a third sort of data transfer statement, except that
e7dc5b4f 2040 lengths are summed instead of actually transferring any data. */
8750f9cd
JB
2041
2042tree
2043gfc_trans_iolength (gfc_code * code)
2044{
8750f9cd 2045 last_dt = IOLENGTH;
5e805e44 2046 return build_dt (iocall[IOCALL_IOLENGTH], code);
8750f9cd
JB
2047}
2048
2049
6de9cd9a
DN
2050/* Translate a READ statement. */
2051
2052tree
2053gfc_trans_read (gfc_code * code)
2054{
6de9cd9a 2055 last_dt = READ;
5e805e44 2056 return build_dt (iocall[IOCALL_READ], code);
6de9cd9a
DN
2057}
2058
2059
2060/* Translate a WRITE statement */
2061
2062tree
2063gfc_trans_write (gfc_code * code)
2064{
6de9cd9a 2065 last_dt = WRITE;
5e805e44 2066 return build_dt (iocall[IOCALL_WRITE], code);
6de9cd9a
DN
2067}
2068
2069
2070/* Finish a data transfer statement. */
2071
2072tree
2073gfc_trans_dt_end (gfc_code * code)
2074{
2075 tree function, tmp;
2076 stmtblock_t block;
2077
2078 gfc_init_block (&block);
2079
8750f9cd
JB
2080 switch (last_dt)
2081 {
2082 case READ:
5e805e44 2083 function = iocall[IOCALL_READ_DONE];
8750f9cd
JB
2084 break;
2085
2086 case WRITE:
5e805e44 2087 function = iocall[IOCALL_WRITE_DONE];
8750f9cd
JB
2088 break;
2089
2090 case IOLENGTH:
5e805e44 2091 function = iocall[IOCALL_IOLENGTH_DONE];
8750f9cd
JB
2092 break;
2093
2094 default:
6e45f57b 2095 gcc_unreachable ();
8750f9cd 2096 }
6de9cd9a 2097
628c189e 2098 tmp = gfc_build_addr_expr (NULL_TREE, dt_parm);
db3927fb
AH
2099 tmp = build_call_expr_loc (input_location,
2100 function, 1, tmp);
6de9cd9a 2101 gfc_add_expr_to_block (&block, tmp);
5e805e44
JJ
2102 gfc_add_block_to_block (&block, dt_post_end_block);
2103 gfc_init_block (dt_post_end_block);
6de9cd9a 2104
8750f9cd
JB
2105 if (last_dt != IOLENGTH)
2106 {
6e45f57b 2107 gcc_assert (code->ext.dt != NULL);
5e805e44 2108 io_result (&block, dt_parm, code->ext.dt->err,
8750f9cd
JB
2109 code->ext.dt->end, code->ext.dt->eor);
2110 }
6de9cd9a
DN
2111
2112 return gfc_finish_block (&block);
2113}
2114
d2ccf6aa 2115static void
e73d3ca6
PT
2116transfer_expr (gfc_se * se, gfc_typespec * ts, tree addr_expr,
2117 gfc_code * code, tree vptr);
d2ccf6aa
VL
2118
2119/* Given an array field in a derived type variable, generate the code
2120 for the loop that iterates over array elements, and the code that
2121 accesses those array elements. Use transfer_expr to generate code
2122 for transferring that element. Because elements may also be
2123 derived types, transfer_expr and transfer_array_component are mutually
2124 recursive. */
2125
2126static tree
bdfd2ff0 2127transfer_array_component (tree expr, gfc_component * cm, locus * where)
d2ccf6aa
VL
2128{
2129 tree tmp;
2130 stmtblock_t body;
2131 stmtblock_t block;
2132 gfc_loopinfo loop;
2133 int n;
2134 gfc_ss *ss;
2135 gfc_se se;
08dcec61 2136 gfc_array_info *ss_array;
d2ccf6aa
VL
2137
2138 gfc_start_block (&block);
2139 gfc_init_se (&se, NULL);
2140
2141 /* Create and initialize Scalarization Status. Unlike in
2142 gfc_trans_transfer, we can't simply use gfc_walk_expr to take
2143 care of this task, because we don't have a gfc_expr at hand.
2144 Build one manually, as in gfc_trans_subarray_assign. */
2145
66877276
MM
2146 ss = gfc_get_array_ss (gfc_ss_terminator, NULL, cm->as->rank,
2147 GFC_SS_COMPONENT);
1838afec 2148 ss_array = &ss->info->data.array;
08dcec61
MM
2149 ss_array->shape = gfc_get_shape (cm->as->rank);
2150 ss_array->descriptor = expr;
2151 ss_array->data = gfc_conv_array_data (expr);
2152 ss_array->offset = gfc_conv_array_offset (expr);
d2ccf6aa
VL
2153 for (n = 0; n < cm->as->rank; n++)
2154 {
08dcec61
MM
2155 ss_array->start[n] = gfc_conv_array_lbound (expr, n);
2156 ss_array->stride[n] = gfc_index_one_node;
d2ccf6aa 2157
08dcec61
MM
2158 mpz_init (ss_array->shape[n]);
2159 mpz_sub (ss_array->shape[n], cm->as->upper[n]->value.integer,
d2ccf6aa 2160 cm->as->lower[n]->value.integer);
08dcec61 2161 mpz_add_ui (ss_array->shape[n], ss_array->shape[n], 1);
d2ccf6aa
VL
2162 }
2163
f7b529fa 2164 /* Once we got ss, we use scalarizer to create the loop. */
d2ccf6aa
VL
2165
2166 gfc_init_loopinfo (&loop);
2167 gfc_add_ss_to_loop (&loop, ss);
2168 gfc_conv_ss_startstride (&loop);
bdfd2ff0 2169 gfc_conv_loop_setup (&loop, where);
d2ccf6aa
VL
2170 gfc_mark_ss_chain_used (ss, 1);
2171 gfc_start_scalarized_body (&loop, &body);
2172
2173 gfc_copy_loopinfo_to_se (&se, &loop);
2174 se.ss = ss;
2175
2176 /* gfc_conv_tmp_array_ref assumes that se.expr contains the array. */
2177 se.expr = expr;
2178 gfc_conv_tmp_array_ref (&se);
2179
2180 /* Now se.expr contains an element of the array. Take the address and pass
2181 it to the IO routines. */
628c189e 2182 tmp = gfc_build_addr_expr (NULL_TREE, se.expr);
e73d3ca6 2183 transfer_expr (&se, &cm->ts, tmp, NULL, NULL_TREE);
d2ccf6aa
VL
2184
2185 /* We are done now with the loop body. Wrap up the scalarizer and
f7b529fa 2186 return. */
d2ccf6aa
VL
2187
2188 gfc_add_block_to_block (&body, &se.pre);
2189 gfc_add_block_to_block (&body, &se.post);
2190
2191 gfc_trans_scalarizing_loops (&loop, &body);
2192
2193 gfc_add_block_to_block (&block, &loop.pre);
2194 gfc_add_block_to_block (&block, &loop.post);
2195
08dcec61
MM
2196 gcc_assert (ss_array->shape != NULL);
2197 gfc_free_shape (&ss_array->shape, cm->as->rank);
96654664
PB
2198 gfc_cleanup_loop (&loop);
2199
d2ccf6aa
VL
2200 return gfc_finish_block (&block);
2201}
6de9cd9a 2202
e73d3ca6
PT
2203
2204/* Helper function for transfer_expr that looks for the DTIO procedure
2205 either as a typebound binding or in a generic interface. If present,
2206 the address expression of the procedure is returned. It is assumed
2207 that the procedure interface has been checked during resolution. */
2208
2209static tree
2210get_dtio_proc (gfc_typespec * ts, gfc_code * code, gfc_symbol **dtio_sub)
2211{
2212 gfc_symbol *derived;
2213 bool formatted = false;
2214 gfc_dt *dt = code->ext.dt;
2215
bef016bf 2216 if (dt)
e73d3ca6 2217 {
bef016bf
JD
2218 char *fmt = NULL;
2219
2220 if (dt->format_label == &format_asterisk)
2221 {
2222 /* List directed io must call the formatted DTIO procedure. */
2223 formatted = true;
2224 }
2225 else if (dt->format_expr)
2226 fmt = gfc_widechar_to_char (dt->format_expr->value.character.string,
2227 -1);
2228 else if (dt->format_label)
2229 fmt = gfc_widechar_to_char (dt->format_label->format->value.character.string,
2230 -1);
2231 if (fmt && strtok (fmt, "DT") != NULL)
e73d3ca6 2232 formatted = true;
bef016bf 2233
e73d3ca6
PT
2234 }
2235
707024b2
JW
2236 if (ts->type == BT_CLASS)
2237 derived = ts->u.derived->components->ts.u.derived;
2238 else
2239 derived = ts->u.derived;
2240
2241 gfc_symtree *tb_io_st = gfc_find_typebound_dtio_proc (derived,
2242 last_dt == WRITE, formatted);
2243 if (ts->type == BT_CLASS && tb_io_st)
e4e659b9 2244 {
707024b2
JW
2245 // polymorphic DTIO call (based on the dynamic type)
2246 gfc_se se;
2247 gfc_expr *expr = gfc_find_and_cut_at_last_class_ref (code->expr1);
2248 gfc_add_vptr_component (expr);
2249 gfc_add_component_ref (expr,
2250 tb_io_st->n.tb->u.generic->specific_st->name);
2251 *dtio_sub = tb_io_st->n.tb->u.generic->specific->u.specific->n.sym;
2252 gfc_init_se (&se, NULL);
2253 se.want_pointer = 1;
2254 gfc_conv_expr (&se, expr);
2255 gfc_free_expr (expr);
2256 return se.expr;
2257 }
2258 else
2259 {
2260 // non-polymorphic DTIO call (based on the declared type)
e4e659b9
JW
2261 *dtio_sub = gfc_find_specific_dtio_proc (derived, last_dt == WRITE,
2262 formatted);
2263
2264 if (*dtio_sub)
2265 return gfc_build_addr_expr (NULL, gfc_get_symbol_decl (*dtio_sub));
2266 }
e73d3ca6
PT
2267
2268 return NULL_TREE;
e73d3ca6
PT
2269}
2270
6de9cd9a
DN
2271/* Generate the call for a scalar transfer node. */
2272
2273static void
e73d3ca6
PT
2274transfer_expr (gfc_se * se, gfc_typespec * ts, tree addr_expr,
2275 gfc_code * code, tree vptr)
6de9cd9a 2276{
8a221914 2277 tree tmp, function, arg2, arg3, field, expr;
6de9cd9a
DN
2278 gfc_component *c;
2279 int kind;
2280
a8b3b0b6
CR
2281 /* It is possible to get a C_NULL_PTR or C_NULL_FUNPTR expression here if
2282 the user says something like: print *, 'c_null_ptr: ', c_null_ptr
2283 We need to translate the expression to a constant if it's either
aa5e22f0
CR
2284 C_NULL_PTR or C_NULL_FUNPTR. We could also get a user variable of
2285 type C_PTR or C_FUNPTR, in which case the ts->type may no longer be
2286 BT_DERIVED (could have been changed by gfc_conv_expr). */
bc21d315
JW
2287 if ((ts->type == BT_DERIVED || ts->type == BT_INTEGER)
2288 && ts->u.derived != NULL
2289 && (ts->is_iso_c == 1 || ts->u.derived->ts.is_iso_c == 1))
a8b3b0b6 2290 {
cadddfdd
TB
2291 ts->type = BT_INTEGER;
2292 ts->kind = gfc_index_integer_kind;
a8b3b0b6 2293 }
8019105d 2294
6de9cd9a
DN
2295 kind = ts->kind;
2296 function = NULL;
2297 arg2 = NULL;
8a221914 2298 arg3 = NULL;
6de9cd9a
DN
2299
2300 switch (ts->type)
2301 {
2302 case BT_INTEGER:
df09d1d5 2303 arg2 = build_int_cst (integer_type_node, kind);
6eb6875d
TK
2304 if (last_dt == READ)
2305 function = iocall[IOCALL_X_INTEGER];
2306 else
2307 function = iocall[IOCALL_X_INTEGER_WRITE];
2308
6de9cd9a
DN
2309 break;
2310
2311 case BT_REAL:
df09d1d5 2312 arg2 = build_int_cst (integer_type_node, kind);
6eb6875d 2313 if (last_dt == READ)
1ec601bf
FXC
2314 {
2315 if (gfc_real16_is_float128 && ts->kind == 16)
2316 function = iocall[IOCALL_X_REAL128];
2317 else
2318 function = iocall[IOCALL_X_REAL];
2319 }
6eb6875d 2320 else
1ec601bf
FXC
2321 {
2322 if (gfc_real16_is_float128 && ts->kind == 16)
2323 function = iocall[IOCALL_X_REAL128_WRITE];
2324 else
2325 function = iocall[IOCALL_X_REAL_WRITE];
2326 }
6eb6875d 2327
6de9cd9a
DN
2328 break;
2329
2330 case BT_COMPLEX:
df09d1d5 2331 arg2 = build_int_cst (integer_type_node, kind);
6eb6875d 2332 if (last_dt == READ)
1ec601bf
FXC
2333 {
2334 if (gfc_real16_is_float128 && ts->kind == 16)
2335 function = iocall[IOCALL_X_COMPLEX128];
2336 else
2337 function = iocall[IOCALL_X_COMPLEX];
2338 }
6eb6875d 2339 else
1ec601bf
FXC
2340 {
2341 if (gfc_real16_is_float128 && ts->kind == 16)
2342 function = iocall[IOCALL_X_COMPLEX128_WRITE];
2343 else
2344 function = iocall[IOCALL_X_COMPLEX_WRITE];
2345 }
6eb6875d 2346
6de9cd9a
DN
2347 break;
2348
2349 case BT_LOGICAL:
df09d1d5 2350 arg2 = build_int_cst (integer_type_node, kind);
6eb6875d
TK
2351 if (last_dt == READ)
2352 function = iocall[IOCALL_X_LOGICAL];
2353 else
2354 function = iocall[IOCALL_X_LOGICAL_WRITE];
2355
6de9cd9a
DN
2356 break;
2357
2358 case BT_CHARACTER:
8a221914
JD
2359 if (kind == 4)
2360 {
2361 if (se->string_length)
2362 arg2 = se->string_length;
2363 else
2364 {
db3927fb
AH
2365 tmp = build_fold_indirect_ref_loc (input_location,
2366 addr_expr);
8a221914
JD
2367 gcc_assert (TREE_CODE (TREE_TYPE (tmp)) == ARRAY_TYPE);
2368 arg2 = TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (tmp)));
2369 arg2 = fold_convert (gfc_charlen_type_node, arg2);
2370 }
df09d1d5 2371 arg3 = build_int_cst (integer_type_node, kind);
6eb6875d
TK
2372 if (last_dt == READ)
2373 function = iocall[IOCALL_X_CHARACTER_WIDE];
2374 else
2375 function = iocall[IOCALL_X_CHARACTER_WIDE_WRITE];
8019105d 2376
628c189e 2377 tmp = gfc_build_addr_expr (NULL_TREE, dt_parm);
db3927fb
AH
2378 tmp = build_call_expr_loc (input_location,
2379 function, 4, tmp, addr_expr, arg2, arg3);
8a221914
JD
2380 gfc_add_expr_to_block (&se->pre, tmp);
2381 gfc_add_block_to_block (&se->pre, &se->post);
2382 return;
2383 }
1cc0e193 2384 /* Fall through. */
7b95e2a8 2385 case BT_HOLLERITH:
d2ccf6aa
VL
2386 if (se->string_length)
2387 arg2 = se->string_length;
2388 else
2389 {
db3927fb
AH
2390 tmp = build_fold_indirect_ref_loc (input_location,
2391 addr_expr);
d2ccf6aa
VL
2392 gcc_assert (TREE_CODE (TREE_TYPE (tmp)) == ARRAY_TYPE);
2393 arg2 = TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (tmp)));
2394 }
6eb6875d
TK
2395 if (last_dt == READ)
2396 function = iocall[IOCALL_X_CHARACTER];
2397 else
2398 function = iocall[IOCALL_X_CHARACTER_WRITE];
2399
6de9cd9a
DN
2400 break;
2401
f6288c24 2402 case_bt_struct:
e73d3ca6 2403 case BT_CLASS:
fc2655fb
TB
2404 if (ts->u.derived->components == NULL)
2405 return;
9b460e2e 2406 if (gfc_bt_struct (ts->type) || ts->type == BT_CLASS)
e73d3ca6
PT
2407 {
2408 gfc_symbol *derived;
2409 gfc_symbol *dtio_sub = NULL;
2410 /* Test for a specific DTIO subroutine. */
2411 if (ts->type == BT_DERIVED)
2412 derived = ts->u.derived;
2413 else
2414 derived = ts->u.derived->components->ts.u.derived;
fc2655fb 2415
e73d3ca6
PT
2416 if (derived->attr.has_dtio_procs)
2417 arg2 = get_dtio_proc (ts, code, &dtio_sub);
6de9cd9a 2418
6c0347f6 2419 if ((dtio_sub != NULL) && (last_dt != IOLENGTH))
e73d3ca6
PT
2420 {
2421 tree decl;
2422 decl = build_fold_indirect_ref_loc (input_location,
2423 se->expr);
2424 /* Remember that the first dummy of the DTIO subroutines
2425 is CLASS(derived) for extensible derived types, so the
2426 conversion must be done here for derived type and for
2427 scalarized CLASS array element io-list objects. */
2428 if ((ts->type == BT_DERIVED
2429 && !(ts->u.derived->attr.sequence
2430 || ts->u.derived->attr.is_bind_c))
2431 || (ts->type == BT_CLASS
2432 && !GFC_CLASS_TYPE_P (TREE_TYPE (decl))))
2433 gfc_conv_derived_to_class (se, code->expr1,
2434 dtio_sub->formal->sym->ts,
2435 vptr, false, false);
2436 addr_expr = se->expr;
2437 function = iocall[IOCALL_X_DERIVED];
2438 break;
2439 }
9b460e2e 2440 else if (gfc_bt_struct (ts->type))
e73d3ca6
PT
2441 {
2442 /* Recurse into the elements of the derived type. */
2443 expr = gfc_evaluate_now (addr_expr, &se->pre);
2444 expr = build_fold_indirect_ref_loc (input_location,
2445 expr);
8019105d 2446
e73d3ca6
PT
2447 /* Make sure that the derived type has been built. An external
2448 function, if only referenced in an io statement, requires this
2449 check (see PR58771). */
2450 if (ts->u.derived->backend_decl == NULL_TREE)
2451 (void) gfc_typenode_for_spec (ts);
2452
2453 for (c = ts->u.derived->components; c; c = c->next)
2454 {
2455 field = c->backend_decl;
2456 gcc_assert (field && TREE_CODE (field) == FIELD_DECL);
2457
2458 tmp = fold_build3_loc (UNKNOWN_LOCATION,
2459 COMPONENT_REF, TREE_TYPE (field),
2460 expr, field, NULL_TREE);
2461
2462 if (c->attr.dimension)
2463 {
2464 tmp = transfer_array_component (tmp, c, & code->loc);
2465 gfc_add_expr_to_block (&se->pre, tmp);
2466 }
2467 else
2468 {
2469 if (!c->attr.pointer)
2470 tmp = gfc_build_addr_expr (NULL_TREE, tmp);
2471 transfer_expr (se, &c->ts, tmp, code, NULL_TREE);
2472 }
2473 }
2474 return;
2475 }
2476 /* If a CLASS object gets through to here, fall through and ICE. */
6de9cd9a 2477 }
81fea426 2478 gcc_fallthrough ();
6de9cd9a 2479 default:
17d5d49f 2480 gfc_internal_error ("Bad IO basetype (%d)", ts->type);
6de9cd9a
DN
2481 }
2482
628c189e 2483 tmp = gfc_build_addr_expr (NULL_TREE, dt_parm);
db3927fb
AH
2484 tmp = build_call_expr_loc (input_location,
2485 function, 3, tmp, addr_expr, arg2);
6de9cd9a
DN
2486 gfc_add_expr_to_block (&se->pre, tmp);
2487 gfc_add_block_to_block (&se->pre, &se->post);
8750f9cd 2488
6de9cd9a
DN
2489}
2490
2491
18623fae
JB
2492/* Generate a call to pass an array descriptor to the IO library. The
2493 array should be of one of the intrinsic types. */
2494
2495static void
2496transfer_array_desc (gfc_se * se, gfc_typespec * ts, tree addr_expr)
2497{
6eb6875d 2498 tree tmp, charlen_arg, kind_arg, io_call;
18623fae
JB
2499
2500 if (ts->type == BT_CHARACTER)
2501 charlen_arg = se->string_length;
2502 else
df09d1d5 2503 charlen_arg = build_int_cst (gfc_charlen_type_node, 0);
18623fae 2504
df09d1d5 2505 kind_arg = build_int_cst (integer_type_node, ts->kind);
e5ef4b3b 2506
628c189e 2507 tmp = gfc_build_addr_expr (NULL_TREE, dt_parm);
6eb6875d
TK
2508 if (last_dt == READ)
2509 io_call = iocall[IOCALL_X_ARRAY];
2510 else
2511 io_call = iocall[IOCALL_X_ARRAY_WRITE];
2512
033e7d21 2513 tmp = build_call_expr_loc (UNKNOWN_LOCATION,
6eb6875d 2514 io_call, 4,
5039610b 2515 tmp, addr_expr, kind_arg, charlen_arg);
18623fae
JB
2516 gfc_add_expr_to_block (&se->pre, tmp);
2517 gfc_add_block_to_block (&se->pre, &se->post);
2518}
2519
2520
6de9cd9a
DN
2521/* gfc_trans_transfer()-- Translate a TRANSFER code node */
2522
2523tree
2524gfc_trans_transfer (gfc_code * code)
2525{
2526 stmtblock_t block, body;
2527 gfc_loopinfo loop;
2528 gfc_expr *expr;
99c7ab42 2529 gfc_ref *ref;
6de9cd9a
DN
2530 gfc_ss *ss;
2531 gfc_se se;
2532 tree tmp;
e73d3ca6 2533 tree vptr;
c63173dd 2534 int n;
6de9cd9a
DN
2535
2536 gfc_start_block (&block);
18623fae 2537 gfc_init_block (&body);
6de9cd9a 2538
a513927a 2539 expr = code->expr1;
99c7ab42 2540 ref = NULL;
6de9cd9a
DN
2541 gfc_init_se (&se, NULL);
2542
2960a368 2543 if (expr->rank == 0)
18623fae 2544 {
815d8045 2545 /* Transfer a scalar value. */
e73d3ca6
PT
2546 if (expr->ts.type == BT_CLASS)
2547 {
2548 se.want_pointer = 1;
2549 gfc_conv_expr (&se, expr);
2550 vptr = gfc_get_vptr_from_expr (se.expr);
2551 }
2552 else
2553 {
2554 vptr = NULL_TREE;
2555 gfc_conv_expr_reference (&se, expr);
2556 }
2557 transfer_expr (&se, &expr->ts, se.expr, code, vptr);
18623fae 2558 }
815d8045 2559 else
6de9cd9a 2560 {
99c7ab42
PT
2561 /* Transfer an array. If it is an array of an intrinsic
2562 type, pass the descriptor to the library. Otherwise
2563 scalarize the transfer. */
2a573572 2564 if (expr->ref && !gfc_is_proc_ptr_comp (expr))
99c7ab42
PT
2565 {
2566 for (ref = expr->ref; ref && ref->type != REF_ARRAY;
fc2655fb
TB
2567 ref = ref->next);
2568 gcc_assert (ref && ref->type == REF_ARRAY);
99c7ab42
PT
2569 }
2570
ff3598bc
PT
2571 if (expr->ts.type != BT_CLASS
2572 && expr->expr_type == EXPR_VARIABLE
2573 && gfc_expr_attr (expr).pointer)
2574 goto scalarize;
2575
2576
e73d3ca6
PT
2577 if (!(gfc_bt_struct (expr->ts.type)
2578 || expr->ts.type == BT_CLASS)
1d6b7f39
PT
2579 && ref && ref->next == NULL
2580 && !is_subref_array (expr))
815d8045 2581 {
c63173dd
PT
2582 bool seen_vector = false;
2583
2584 if (ref && ref->u.ar.type == AR_SECTION)
2585 {
2586 for (n = 0; n < ref->u.ar.dimen; n++)
2587 if (ref->u.ar.dimen_type[n] == DIMEN_VECTOR)
502af491
PCC
2588 {
2589 seen_vector = true;
2590 break;
2591 }
c63173dd
PT
2592 }
2593
2594 if (seen_vector && last_dt == READ)
2595 {
2596 /* Create a temp, read to that and copy it back. */
430f2d1f 2597 gfc_conv_subref_array_arg (&se, expr, 0, INTENT_OUT, false);
c63173dd
PT
2598 tmp = se.expr;
2599 }
2600 else
2601 {
2602 /* Get the descriptor. */
2960a368 2603 gfc_conv_expr_descriptor (&se, expr);
628c189e 2604 tmp = gfc_build_addr_expr (NULL_TREE, se.expr);
c63173dd
PT
2605 }
2606
99c7ab42
PT
2607 transfer_array_desc (&se, &expr->ts, tmp);
2608 goto finish_block_label;
815d8045 2609 }
2960a368 2610
ff3598bc 2611scalarize:
6de9cd9a 2612 /* Initialize the scalarizer. */
2960a368 2613 ss = gfc_walk_expr (expr);
6de9cd9a
DN
2614 gfc_init_loopinfo (&loop);
2615 gfc_add_ss_to_loop (&loop, ss);
2616
2617 /* Initialize the loop. */
2618 gfc_conv_ss_startstride (&loop);
a513927a 2619 gfc_conv_loop_setup (&loop, &code->expr1->where);
6de9cd9a
DN
2620
2621 /* The main loop body. */
2622 gfc_mark_ss_chain_used (ss, 1);
2623 gfc_start_scalarized_body (&loop, &body);
2624
2625 gfc_copy_loopinfo_to_se (&se, &loop);
2626 se.ss = ss;
ff3598bc 2627
18623fae 2628 gfc_conv_expr_reference (&se, expr);
ff3598bc 2629
e73d3ca6
PT
2630 if (expr->ts.type == BT_CLASS)
2631 vptr = gfc_get_vptr_from_expr (ss->info->data.array.descriptor);
2632 else
2633 vptr = NULL_TREE;
2634 transfer_expr (&se, &expr->ts, se.expr, code, vptr);
18623fae 2635 }
815d8045
JB
2636
2637 finish_block_label:
6de9cd9a
DN
2638
2639 gfc_add_block_to_block (&body, &se.pre);
2640 gfc_add_block_to_block (&body, &se.post);
2641
2642 if (se.ss == NULL)
2643 tmp = gfc_finish_block (&body);
2644 else
2645 {
770caa74 2646 gcc_assert (expr->rank != 0);
6e45f57b 2647 gcc_assert (se.ss == gfc_ss_terminator);
6de9cd9a
DN
2648 gfc_trans_scalarizing_loops (&loop, &body);
2649
2650 gfc_add_block_to_block (&loop.pre, &loop.post);
2651 tmp = gfc_finish_block (&loop.pre);
2652 gfc_cleanup_loop (&loop);
2653 }
2654
2655 gfc_add_expr_to_block (&block, tmp);
2656
d2ccf6aa 2657 return gfc_finish_block (&block);
6de9cd9a
DN
2658}
2659
2660#include "gt-fortran-trans-io.h"