1 /* Intrinsic function resolution.
2 Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
3 Free Software Foundation, Inc.
4 Contributed by Andy Vaught & Katherine Holcomb
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 2, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
24 /* Assign name and types to intrinsic procedures. For functions, the
25 first argument to a resolution function is an expression pointer to
26 the original function node and the rest are pointers to the
27 arguments of the function call. For subroutines, a pointer to the
28 code node is passed. The result type and library subroutine name
29 are generally set according to the function arguments. */
33 #include "coretypes.h"
36 #include "intrinsic.h"
38 /* Given printf-like arguments, return a stable version of the result string.
40 We already have a working, optimized string hashing table in the form of
41 the identifier table. Reusing this table is likely not to be wasted,
42 since if the function name makes it to the gimple output of the frontend,
43 we'll have to create the identifier anyway. */
46 gfc_get_string (const char *format
, ...)
52 va_start (ap
, format
);
53 vsnprintf (temp_name
, sizeof (temp_name
), format
, ap
);
55 temp_name
[sizeof (temp_name
) - 1] = 0;
57 ident
= get_identifier (temp_name
);
58 return IDENTIFIER_POINTER (ident
);
61 /* MERGE and SPREAD need to have source charlen's present for passing
62 to the result expression. */
64 check_charlen_present (gfc_expr
*source
)
66 if (source
->expr_type
== EXPR_CONSTANT
&& source
->ts
.cl
== NULL
)
68 source
->ts
.cl
= gfc_get_charlen ();
69 source
->ts
.cl
->next
= gfc_current_ns
->cl_list
;
70 gfc_current_ns
->cl_list
= source
->ts
.cl
;
71 source
->ts
.cl
->length
= gfc_int_expr (source
->value
.character
.length
);
76 /********************** Resolution functions **********************/
80 gfc_resolve_abs (gfc_expr
*f
, gfc_expr
*a
)
83 if (f
->ts
.type
== BT_COMPLEX
)
86 f
->value
.function
.name
87 = gfc_get_string ("__abs_%c%d", gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
92 gfc_resolve_access (gfc_expr
*f
, gfc_expr
*name ATTRIBUTE_UNUSED
,
93 gfc_expr
*mode ATTRIBUTE_UNUSED
)
95 f
->ts
.type
= BT_INTEGER
;
96 f
->ts
.kind
= gfc_c_int_kind
;
97 f
->value
.function
.name
= PREFIX ("access_func");
102 gfc_resolve_acos (gfc_expr
*f
, gfc_expr
*x
)
105 f
->value
.function
.name
106 = gfc_get_string ("__acos_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
111 gfc_resolve_acosh (gfc_expr
*f
, gfc_expr
*x
)
114 f
->value
.function
.name
115 = gfc_get_string ("__acosh_%c%d", gfc_type_letter (x
->ts
.type
),
121 gfc_resolve_aimag (gfc_expr
*f
, gfc_expr
*x
)
123 f
->ts
.type
= BT_REAL
;
124 f
->ts
.kind
= x
->ts
.kind
;
125 f
->value
.function
.name
126 = gfc_get_string ("__aimag_%c%d", gfc_type_letter (x
->ts
.type
),
132 gfc_resolve_and (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*j
)
134 f
->ts
.type
= i
->ts
.type
;
135 f
->ts
.kind
= gfc_kind_max (i
, j
);
137 if (i
->ts
.kind
!= j
->ts
.kind
)
139 if (i
->ts
.kind
== gfc_kind_max (i
, j
))
140 gfc_convert_type (j
, &i
->ts
, 2);
142 gfc_convert_type (i
, &j
->ts
, 2);
145 f
->value
.function
.name
146 = gfc_get_string ("__and_%c%d", gfc_type_letter (i
->ts
.type
), f
->ts
.kind
);
151 gfc_resolve_aint (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*kind
)
155 f
->ts
.type
= a
->ts
.type
;
156 f
->ts
.kind
= (kind
== NULL
) ? a
->ts
.kind
: mpz_get_si (kind
->value
.integer
);
158 if (a
->ts
.kind
!= f
->ts
.kind
)
160 ts
.type
= f
->ts
.type
;
161 ts
.kind
= f
->ts
.kind
;
162 gfc_convert_type (a
, &ts
, 2);
164 /* The resolved name is only used for specific intrinsics where
165 the return kind is the same as the arg kind. */
166 f
->value
.function
.name
167 = gfc_get_string ("__aint_%c%d", gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
172 gfc_resolve_dint (gfc_expr
*f
, gfc_expr
*a
)
174 gfc_resolve_aint (f
, a
, NULL
);
179 gfc_resolve_all (gfc_expr
*f
, gfc_expr
*mask
, gfc_expr
*dim
)
185 gfc_resolve_dim_arg (dim
);
186 f
->rank
= mask
->rank
- 1;
187 f
->shape
= gfc_copy_shape_excluding (mask
->shape
, mask
->rank
, dim
);
190 f
->value
.function
.name
191 = gfc_get_string (PREFIX ("all_%c%d"), gfc_type_letter (mask
->ts
.type
),
197 gfc_resolve_anint (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*kind
)
201 f
->ts
.type
= a
->ts
.type
;
202 f
->ts
.kind
= (kind
== NULL
) ? a
->ts
.kind
: mpz_get_si (kind
->value
.integer
);
204 if (a
->ts
.kind
!= f
->ts
.kind
)
206 ts
.type
= f
->ts
.type
;
207 ts
.kind
= f
->ts
.kind
;
208 gfc_convert_type (a
, &ts
, 2);
211 /* The resolved name is only used for specific intrinsics where
212 the return kind is the same as the arg kind. */
213 f
->value
.function
.name
214 = gfc_get_string ("__anint_%c%d", gfc_type_letter (a
->ts
.type
),
220 gfc_resolve_dnint (gfc_expr
*f
, gfc_expr
*a
)
222 gfc_resolve_anint (f
, a
, NULL
);
227 gfc_resolve_any (gfc_expr
*f
, gfc_expr
*mask
, gfc_expr
*dim
)
233 gfc_resolve_dim_arg (dim
);
234 f
->rank
= mask
->rank
- 1;
235 f
->shape
= gfc_copy_shape_excluding (mask
->shape
, mask
->rank
, dim
);
238 f
->value
.function
.name
239 = gfc_get_string (PREFIX ("any_%c%d"), gfc_type_letter (mask
->ts
.type
),
245 gfc_resolve_asin (gfc_expr
*f
, gfc_expr
*x
)
248 f
->value
.function
.name
249 = gfc_get_string ("__asin_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
253 gfc_resolve_asinh (gfc_expr
*f
, gfc_expr
*x
)
256 f
->value
.function
.name
257 = gfc_get_string ("__asinh_%c%d", gfc_type_letter (x
->ts
.type
),
262 gfc_resolve_atan (gfc_expr
*f
, gfc_expr
*x
)
265 f
->value
.function
.name
266 = gfc_get_string ("__atan_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
270 gfc_resolve_atanh (gfc_expr
*f
, gfc_expr
*x
)
273 f
->value
.function
.name
274 = gfc_get_string ("__atanh_%c%d", gfc_type_letter (x
->ts
.type
),
279 gfc_resolve_atan2 (gfc_expr
*f
, gfc_expr
*x
, gfc_expr
*y ATTRIBUTE_UNUSED
)
282 f
->value
.function
.name
283 = gfc_get_string ("__atan2_%c%d", gfc_type_letter (x
->ts
.type
),
288 /* Resolve the BESYN and BESJN intrinsics. */
291 gfc_resolve_besn (gfc_expr
*f
, gfc_expr
*n
, gfc_expr
*x
)
296 if (n
->ts
.kind
!= gfc_c_int_kind
)
298 ts
.type
= BT_INTEGER
;
299 ts
.kind
= gfc_c_int_kind
;
300 gfc_convert_type (n
, &ts
, 2);
302 f
->value
.function
.name
= gfc_get_string ("<intrinsic>");
307 gfc_resolve_btest (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*pos
)
309 f
->ts
.type
= BT_LOGICAL
;
310 f
->ts
.kind
= gfc_default_logical_kind
;
311 f
->value
.function
.name
312 = gfc_get_string ("__btest_%d_%d", i
->ts
.kind
, pos
->ts
.kind
);
317 gfc_resolve_ceiling (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*kind
)
319 f
->ts
.type
= BT_INTEGER
;
320 f
->ts
.kind
= (kind
== NULL
)
321 ? gfc_default_integer_kind
: mpz_get_si (kind
->value
.integer
);
322 f
->value
.function
.name
323 = gfc_get_string ("__ceiling_%d_%c%d", f
->ts
.kind
,
324 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
329 gfc_resolve_char (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*kind
)
331 f
->ts
.type
= BT_CHARACTER
;
332 f
->ts
.kind
= (kind
== NULL
)
333 ? gfc_default_character_kind
: mpz_get_si (kind
->value
.integer
);
334 f
->value
.function
.name
335 = gfc_get_string ("__char_%d_%c%d", f
->ts
.kind
,
336 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
341 gfc_resolve_chdir (gfc_expr
*f
, gfc_expr
*d ATTRIBUTE_UNUSED
)
343 f
->ts
.type
= BT_INTEGER
;
344 f
->ts
.kind
= gfc_default_integer_kind
;
345 f
->value
.function
.name
= gfc_get_string (PREFIX ("chdir_i%d"), f
->ts
.kind
);
350 gfc_resolve_chdir_sub (gfc_code
*c
)
355 if (c
->ext
.actual
->next
->expr
!= NULL
)
356 kind
= c
->ext
.actual
->next
->expr
->ts
.kind
;
358 kind
= gfc_default_integer_kind
;
360 name
= gfc_get_string (PREFIX ("chdir_i%d_sub"), kind
);
361 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
366 gfc_resolve_chmod (gfc_expr
*f
, gfc_expr
*name ATTRIBUTE_UNUSED
,
367 gfc_expr
*mode ATTRIBUTE_UNUSED
)
369 f
->ts
.type
= BT_INTEGER
;
370 f
->ts
.kind
= gfc_c_int_kind
;
371 f
->value
.function
.name
= PREFIX ("chmod_func");
376 gfc_resolve_chmod_sub (gfc_code
*c
)
381 if (c
->ext
.actual
->next
->next
->expr
!= NULL
)
382 kind
= c
->ext
.actual
->next
->next
->expr
->ts
.kind
;
384 kind
= gfc_default_integer_kind
;
386 name
= gfc_get_string (PREFIX ("chmod_i%d_sub"), kind
);
387 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
392 gfc_resolve_cmplx (gfc_expr
*f
, gfc_expr
*x
, gfc_expr
*y
, gfc_expr
*kind
)
394 f
->ts
.type
= BT_COMPLEX
;
395 f
->ts
.kind
= (kind
== NULL
)
396 ? gfc_default_real_kind
: mpz_get_si (kind
->value
.integer
);
399 f
->value
.function
.name
400 = gfc_get_string ("__cmplx0_%d_%c%d", f
->ts
.kind
,
401 gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
403 f
->value
.function
.name
404 = gfc_get_string ("__cmplx1_%d_%c%d_%c%d", f
->ts
.kind
,
405 gfc_type_letter (x
->ts
.type
), x
->ts
.kind
,
406 gfc_type_letter (y
->ts
.type
), y
->ts
.kind
);
411 gfc_resolve_dcmplx (gfc_expr
*f
, gfc_expr
*x
, gfc_expr
*y
)
413 gfc_resolve_cmplx (f
, x
, y
, gfc_int_expr (gfc_default_double_kind
));
418 gfc_resolve_complex (gfc_expr
*f
, gfc_expr
*x
, gfc_expr
*y
)
422 if (x
->ts
.type
== BT_INTEGER
)
424 if (y
->ts
.type
== BT_INTEGER
)
425 kind
= gfc_default_real_kind
;
431 if (y
->ts
.type
== BT_REAL
)
432 kind
= (x
->ts
.kind
> y
->ts
.kind
) ? x
->ts
.kind
: y
->ts
.kind
;
437 f
->ts
.type
= BT_COMPLEX
;
439 f
->value
.function
.name
440 = gfc_get_string ("__cmplx1_%d_%c%d_%c%d", f
->ts
.kind
,
441 gfc_type_letter (x
->ts
.type
), x
->ts
.kind
,
442 gfc_type_letter (y
->ts
.type
), y
->ts
.kind
);
447 gfc_resolve_conjg (gfc_expr
*f
, gfc_expr
*x
)
450 f
->value
.function
.name
= gfc_get_string ("__conjg_%d", x
->ts
.kind
);
455 gfc_resolve_cos (gfc_expr
*f
, gfc_expr
*x
)
458 f
->value
.function
.name
459 = gfc_get_string ("__cos_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
464 gfc_resolve_cosh (gfc_expr
*f
, gfc_expr
*x
)
467 f
->value
.function
.name
468 = gfc_get_string ("__cosh_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
473 gfc_resolve_count (gfc_expr
*f
, gfc_expr
*mask
, gfc_expr
*dim
)
475 f
->ts
.type
= BT_INTEGER
;
476 f
->ts
.kind
= gfc_default_integer_kind
;
480 f
->rank
= mask
->rank
- 1;
481 gfc_resolve_dim_arg (dim
);
482 f
->shape
= gfc_copy_shape_excluding (mask
->shape
, mask
->rank
, dim
);
485 f
->value
.function
.name
486 = gfc_get_string (PREFIX ("count_%d_%c%d"), f
->ts
.kind
,
487 gfc_type_letter (mask
->ts
.type
), mask
->ts
.kind
);
492 gfc_resolve_cshift (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*shift
,
498 f
->rank
= array
->rank
;
499 f
->shape
= gfc_copy_shape (array
->shape
, array
->rank
);
506 /* Convert shift to at least gfc_default_integer_kind, so we don't need
507 kind=1 and kind=2 versions of the library functions. */
508 if (shift
->ts
.kind
< gfc_default_integer_kind
)
511 ts
.type
= BT_INTEGER
;
512 ts
.kind
= gfc_default_integer_kind
;
513 gfc_convert_type_warn (shift
, &ts
, 2, 0);
518 gfc_resolve_dim_arg (dim
);
519 /* Convert dim to shift's kind, so we don't need so many variations. */
520 if (dim
->ts
.kind
!= shift
->ts
.kind
)
521 gfc_convert_type_warn (dim
, &shift
->ts
, 2, 0);
523 f
->value
.function
.name
524 = gfc_get_string (PREFIX ("cshift%d_%d%s"), n
, shift
->ts
.kind
,
525 array
->ts
.type
== BT_CHARACTER
? "_char" : "");
530 gfc_resolve_ctime (gfc_expr
*f
, gfc_expr
*time
)
534 f
->ts
.type
= BT_CHARACTER
;
535 f
->ts
.kind
= gfc_default_character_kind
;
537 /* ctime TIME argument is a INTEGER(KIND=8), says the doc */
538 if (time
->ts
.kind
!= 8)
540 ts
.type
= BT_INTEGER
;
544 gfc_convert_type (time
, &ts
, 2);
547 f
->value
.function
.name
= gfc_get_string (PREFIX ("ctime"));
552 gfc_resolve_dble (gfc_expr
*f
, gfc_expr
*a
)
554 f
->ts
.type
= BT_REAL
;
555 f
->ts
.kind
= gfc_default_double_kind
;
556 f
->value
.function
.name
557 = gfc_get_string ("__dble_%c%d", gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
562 gfc_resolve_dim (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*p
)
564 f
->ts
.type
= a
->ts
.type
;
566 f
->ts
.kind
= gfc_kind_max (a
,p
);
568 f
->ts
.kind
= a
->ts
.kind
;
570 if (p
!= NULL
&& a
->ts
.kind
!= p
->ts
.kind
)
572 if (a
->ts
.kind
== gfc_kind_max (a
,p
))
573 gfc_convert_type (p
, &a
->ts
, 2);
575 gfc_convert_type (a
, &p
->ts
, 2);
578 f
->value
.function
.name
579 = gfc_get_string ("__dim_%c%d", gfc_type_letter (f
->ts
.type
), f
->ts
.kind
);
584 gfc_resolve_dot_product (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*b
)
588 temp
.expr_type
= EXPR_OP
;
589 gfc_clear_ts (&temp
.ts
);
590 temp
.value
.op
.operator = INTRINSIC_NONE
;
591 temp
.value
.op
.op1
= a
;
592 temp
.value
.op
.op2
= b
;
593 gfc_type_convert_binary (&temp
);
595 f
->value
.function
.name
596 = gfc_get_string (PREFIX ("dot_product_%c%d"),
597 gfc_type_letter (f
->ts
.type
), f
->ts
.kind
);
602 gfc_resolve_dprod (gfc_expr
*f
, gfc_expr
*a ATTRIBUTE_UNUSED
,
603 gfc_expr
*b ATTRIBUTE_UNUSED
)
605 f
->ts
.kind
= gfc_default_double_kind
;
606 f
->ts
.type
= BT_REAL
;
607 f
->value
.function
.name
= gfc_get_string ("__dprod_r%d", f
->ts
.kind
);
612 gfc_resolve_eoshift (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*shift
,
613 gfc_expr
*boundary
, gfc_expr
*dim
)
618 f
->rank
= array
->rank
;
619 f
->shape
= gfc_copy_shape (array
->shape
, array
->rank
);
624 if (boundary
&& boundary
->rank
> 0)
627 /* Convert shift to at least gfc_default_integer_kind, so we don't need
628 kind=1 and kind=2 versions of the library functions. */
629 if (shift
->ts
.kind
< gfc_default_integer_kind
)
632 ts
.type
= BT_INTEGER
;
633 ts
.kind
= gfc_default_integer_kind
;
634 gfc_convert_type_warn (shift
, &ts
, 2, 0);
639 gfc_resolve_dim_arg (dim
);
640 /* Convert dim to shift's kind, so we don't need so many variations. */
641 if (dim
->ts
.kind
!= shift
->ts
.kind
)
642 gfc_convert_type_warn (dim
, &shift
->ts
, 2, 0);
645 f
->value
.function
.name
646 = gfc_get_string (PREFIX ("eoshift%d_%d%s"), n
, shift
->ts
.kind
,
647 array
->ts
.type
== BT_CHARACTER
? "_char" : "");
652 gfc_resolve_exp (gfc_expr
*f
, gfc_expr
*x
)
655 f
->value
.function
.name
656 = gfc_get_string ("__exp_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
661 gfc_resolve_exponent (gfc_expr
*f
, gfc_expr
*x
)
663 f
->ts
.type
= BT_INTEGER
;
664 f
->ts
.kind
= gfc_default_integer_kind
;
665 f
->value
.function
.name
= gfc_get_string ("__exponent_%d", x
->ts
.kind
);
670 gfc_resolve_fdate (gfc_expr
*f
)
672 f
->ts
.type
= BT_CHARACTER
;
673 f
->ts
.kind
= gfc_default_character_kind
;
674 f
->value
.function
.name
= gfc_get_string (PREFIX ("fdate"));
679 gfc_resolve_floor (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*kind
)
681 f
->ts
.type
= BT_INTEGER
;
682 f
->ts
.kind
= (kind
== NULL
)
683 ? gfc_default_integer_kind
: mpz_get_si (kind
->value
.integer
);
684 f
->value
.function
.name
685 = gfc_get_string ("__floor%d_%c%d", f
->ts
.kind
,
686 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
691 gfc_resolve_fnum (gfc_expr
*f
, gfc_expr
*n
)
693 f
->ts
.type
= BT_INTEGER
;
694 f
->ts
.kind
= gfc_default_integer_kind
;
695 if (n
->ts
.kind
!= f
->ts
.kind
)
696 gfc_convert_type (n
, &f
->ts
, 2);
697 f
->value
.function
.name
= gfc_get_string (PREFIX ("fnum_i%d"), f
->ts
.kind
);
702 gfc_resolve_fraction (gfc_expr
*f
, gfc_expr
*x
)
705 f
->value
.function
.name
= gfc_get_string ("__fraction_%d", x
->ts
.kind
);
709 /* Resolve single-argument g77 math intrinsics, eg BESY0, ERF. */
712 gfc_resolve_g77_math1 (gfc_expr
*f
, gfc_expr
*x
)
715 f
->value
.function
.name
= gfc_get_string ("<intrinsic>");
720 gfc_resolve_getcwd (gfc_expr
*f
, gfc_expr
*n ATTRIBUTE_UNUSED
)
722 f
->ts
.type
= BT_INTEGER
;
724 f
->value
.function
.name
= gfc_get_string (PREFIX ("getcwd"));
729 gfc_resolve_getgid (gfc_expr
*f
)
731 f
->ts
.type
= BT_INTEGER
;
733 f
->value
.function
.name
= gfc_get_string (PREFIX ("getgid"));
738 gfc_resolve_getpid (gfc_expr
*f
)
740 f
->ts
.type
= BT_INTEGER
;
742 f
->value
.function
.name
= gfc_get_string (PREFIX ("getpid"));
747 gfc_resolve_getuid (gfc_expr
*f
)
749 f
->ts
.type
= BT_INTEGER
;
751 f
->value
.function
.name
= gfc_get_string (PREFIX ("getuid"));
756 gfc_resolve_hostnm (gfc_expr
*f
, gfc_expr
*n ATTRIBUTE_UNUSED
)
758 f
->ts
.type
= BT_INTEGER
;
760 f
->value
.function
.name
= gfc_get_string (PREFIX ("hostnm"));
765 gfc_resolve_iand (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*j
)
767 /* If the kind of i and j are different, then g77 cross-promoted the
768 kinds to the largest value. The Fortran 95 standard requires the
770 if (i
->ts
.kind
!= j
->ts
.kind
)
772 if (i
->ts
.kind
== gfc_kind_max (i
, j
))
773 gfc_convert_type (j
, &i
->ts
, 2);
775 gfc_convert_type (i
, &j
->ts
, 2);
779 f
->value
.function
.name
= gfc_get_string ("__iand_%d", i
->ts
.kind
);
784 gfc_resolve_ibclr (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*pos ATTRIBUTE_UNUSED
)
787 f
->value
.function
.name
= gfc_get_string ("__ibclr_%d", i
->ts
.kind
);
792 gfc_resolve_ibits (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*pos ATTRIBUTE_UNUSED
,
793 gfc_expr
*len ATTRIBUTE_UNUSED
)
796 f
->value
.function
.name
= gfc_get_string ("__ibits_%d", i
->ts
.kind
);
801 gfc_resolve_ibset (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*pos ATTRIBUTE_UNUSED
)
804 f
->value
.function
.name
= gfc_get_string ("__ibset_%d", i
->ts
.kind
);
809 gfc_resolve_ichar (gfc_expr
*f
, gfc_expr
*c
)
811 f
->ts
.type
= BT_INTEGER
;
812 f
->ts
.kind
= gfc_default_integer_kind
;
813 f
->value
.function
.name
= gfc_get_string ("__ichar_%d", c
->ts
.kind
);
818 gfc_resolve_idnint (gfc_expr
*f
, gfc_expr
*a
)
820 gfc_resolve_nint (f
, a
, NULL
);
825 gfc_resolve_ierrno (gfc_expr
*f
)
827 f
->ts
.type
= BT_INTEGER
;
828 f
->ts
.kind
= gfc_default_integer_kind
;
829 f
->value
.function
.name
= gfc_get_string (PREFIX ("ierrno_i%d"), f
->ts
.kind
);
834 gfc_resolve_ieor (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*j
)
836 /* If the kind of i and j are different, then g77 cross-promoted the
837 kinds to the largest value. The Fortran 95 standard requires the
839 if (i
->ts
.kind
!= j
->ts
.kind
)
841 if (i
->ts
.kind
== gfc_kind_max (i
, j
))
842 gfc_convert_type (j
, &i
->ts
, 2);
844 gfc_convert_type (i
, &j
->ts
, 2);
848 f
->value
.function
.name
= gfc_get_string ("__ieor_%d", i
->ts
.kind
);
853 gfc_resolve_ior (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*j
)
855 /* If the kind of i and j are different, then g77 cross-promoted the
856 kinds to the largest value. The Fortran 95 standard requires the
858 if (i
->ts
.kind
!= j
->ts
.kind
)
860 if (i
->ts
.kind
== gfc_kind_max (i
, j
))
861 gfc_convert_type (j
, &i
->ts
, 2);
863 gfc_convert_type (i
, &j
->ts
, 2);
867 f
->value
.function
.name
= gfc_get_string ("__ior_%d", i
->ts
.kind
);
872 gfc_resolve_index_func (gfc_expr
*f
, gfc_expr
*str
,
873 gfc_expr
*sub_str ATTRIBUTE_UNUSED
, gfc_expr
*back
)
877 f
->ts
.type
= BT_INTEGER
;
878 f
->ts
.kind
= gfc_default_integer_kind
;
880 if (back
&& back
->ts
.kind
!= gfc_default_integer_kind
)
882 ts
.type
= BT_LOGICAL
;
883 ts
.kind
= gfc_default_integer_kind
;
886 gfc_convert_type (back
, &ts
, 2);
889 f
->value
.function
.name
890 = gfc_get_string ("__index_%d_i%d", str
->ts
.kind
, f
->ts
.kind
);
895 gfc_resolve_int (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*kind
)
897 f
->ts
.type
= BT_INTEGER
;
898 f
->ts
.kind
= (kind
== NULL
)
899 ? gfc_default_integer_kind
: mpz_get_si (kind
->value
.integer
);
900 f
->value
.function
.name
901 = gfc_get_string ("__int_%d_%c%d", f
->ts
.kind
,
902 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
907 gfc_resolve_int2 (gfc_expr
*f
, gfc_expr
*a
)
909 f
->ts
.type
= BT_INTEGER
;
911 f
->value
.function
.name
912 = gfc_get_string ("__int_%d_%c%d", f
->ts
.kind
,
913 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
918 gfc_resolve_int8 (gfc_expr
*f
, gfc_expr
*a
)
920 f
->ts
.type
= BT_INTEGER
;
922 f
->value
.function
.name
923 = gfc_get_string ("__int_%d_%c%d", f
->ts
.kind
,
924 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
929 gfc_resolve_long (gfc_expr
*f
, gfc_expr
*a
)
931 f
->ts
.type
= BT_INTEGER
;
933 f
->value
.function
.name
934 = gfc_get_string ("__int_%d_%c%d", f
->ts
.kind
,
935 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
940 gfc_resolve_isatty (gfc_expr
*f
, gfc_expr
*u
)
944 f
->ts
.type
= BT_LOGICAL
;
945 f
->ts
.kind
= gfc_default_integer_kind
;
946 if (u
->ts
.kind
!= gfc_c_int_kind
)
948 ts
.type
= BT_INTEGER
;
949 ts
.kind
= gfc_c_int_kind
;
952 gfc_convert_type (u
, &ts
, 2);
955 f
->value
.function
.name
= gfc_get_string (PREFIX ("isatty_l%d"), f
->ts
.kind
);
960 gfc_resolve_ishft (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*shift
)
963 f
->value
.function
.name
964 = gfc_get_string ("__ishft_%d_%d", i
->ts
.kind
, shift
->ts
.kind
);
969 gfc_resolve_rshift (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*shift
)
972 f
->value
.function
.name
973 = gfc_get_string ("__rshift_%d_%d", i
->ts
.kind
, shift
->ts
.kind
);
978 gfc_resolve_lshift (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*shift
)
981 f
->value
.function
.name
982 = gfc_get_string ("__lshift_%d_%d", i
->ts
.kind
, shift
->ts
.kind
);
987 gfc_resolve_ishftc (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*shift
, gfc_expr
*size
)
991 s_kind
= (size
== NULL
) ? gfc_default_integer_kind
: shift
->ts
.kind
;
994 f
->value
.function
.name
995 = gfc_get_string ("__ishftc_%d_%d_%d", i
->ts
.kind
, shift
->ts
.kind
, s_kind
);
1000 gfc_resolve_kill (gfc_expr
*f
, gfc_expr
*p ATTRIBUTE_UNUSED
,
1001 gfc_expr
*s ATTRIBUTE_UNUSED
)
1003 f
->ts
.type
= BT_INTEGER
;
1004 f
->ts
.kind
= gfc_default_integer_kind
;
1005 f
->value
.function
.name
= gfc_get_string (PREFIX ("kill_i%d"), f
->ts
.kind
);
1010 gfc_resolve_lbound (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*dim
)
1012 static char lbound
[] = "__lbound";
1014 f
->ts
.type
= BT_INTEGER
;
1015 f
->ts
.kind
= gfc_default_integer_kind
;
1020 f
->shape
= gfc_get_shape (1);
1021 mpz_init_set_ui (f
->shape
[0], array
->rank
);
1024 f
->value
.function
.name
= lbound
;
1029 gfc_resolve_len (gfc_expr
*f
, gfc_expr
*string
)
1031 f
->ts
.type
= BT_INTEGER
;
1032 f
->ts
.kind
= gfc_default_integer_kind
;
1033 f
->value
.function
.name
1034 = gfc_get_string ("__len_%d_i%d", string
->ts
.kind
,
1035 gfc_default_integer_kind
);
1040 gfc_resolve_len_trim (gfc_expr
*f
, gfc_expr
*string
)
1042 f
->ts
.type
= BT_INTEGER
;
1043 f
->ts
.kind
= gfc_default_integer_kind
;
1044 f
->value
.function
.name
= gfc_get_string ("__len_trim%d", string
->ts
.kind
);
1049 gfc_resolve_link (gfc_expr
*f
, gfc_expr
*p1 ATTRIBUTE_UNUSED
,
1050 gfc_expr
*p2 ATTRIBUTE_UNUSED
)
1052 f
->ts
.type
= BT_INTEGER
;
1053 f
->ts
.kind
= gfc_default_integer_kind
;
1054 f
->value
.function
.name
= gfc_get_string (PREFIX ("link_i%d"), f
->ts
.kind
);
1059 gfc_resolve_loc (gfc_expr
*f
, gfc_expr
*x
)
1061 f
->ts
.type
= BT_INTEGER
;
1062 f
->ts
.kind
= gfc_index_integer_kind
;
1063 f
->value
.function
.name
= gfc_get_string ("__loc_%d", x
->ts
.kind
);
1068 gfc_resolve_log (gfc_expr
*f
, gfc_expr
*x
)
1071 f
->value
.function
.name
1072 = gfc_get_string ("__log_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
1077 gfc_resolve_log10 (gfc_expr
*f
, gfc_expr
*x
)
1080 f
->value
.function
.name
1081 = gfc_get_string ("__log10_%c%d", gfc_type_letter (x
->ts
.type
),
1087 gfc_resolve_logical (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*kind
)
1089 f
->ts
.type
= BT_LOGICAL
;
1090 f
->ts
.kind
= (kind
== NULL
)
1091 ? gfc_default_logical_kind
: mpz_get_si (kind
->value
.integer
);
1094 f
->value
.function
.name
1095 = gfc_get_string ("__logical_%d_%c%d", f
->ts
.kind
,
1096 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
1101 gfc_resolve_malloc (gfc_expr
*f
, gfc_expr
*size
)
1103 if (size
->ts
.kind
< gfc_index_integer_kind
)
1107 ts
.type
= BT_INTEGER
;
1108 ts
.kind
= gfc_index_integer_kind
;
1109 gfc_convert_type_warn (size
, &ts
, 2, 0);
1112 f
->ts
.type
= BT_INTEGER
;
1113 f
->ts
.kind
= gfc_index_integer_kind
;
1114 f
->value
.function
.name
= gfc_get_string (PREFIX ("malloc"));
1119 gfc_resolve_matmul (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*b
)
1123 if (a
->ts
.type
== BT_LOGICAL
&& b
->ts
.type
== BT_LOGICAL
)
1125 f
->ts
.type
= BT_LOGICAL
;
1126 f
->ts
.kind
= gfc_default_logical_kind
;
1130 temp
.expr_type
= EXPR_OP
;
1131 gfc_clear_ts (&temp
.ts
);
1132 temp
.value
.op
.operator = INTRINSIC_NONE
;
1133 temp
.value
.op
.op1
= a
;
1134 temp
.value
.op
.op2
= b
;
1135 gfc_type_convert_binary (&temp
);
1139 f
->rank
= (a
->rank
== 2 && b
->rank
== 2) ? 2 : 1;
1141 f
->value
.function
.name
1142 = gfc_get_string (PREFIX ("matmul_%c%d"), gfc_type_letter (f
->ts
.type
),
1148 gfc_resolve_minmax (const char *name
, gfc_expr
*f
, gfc_actual_arglist
*args
)
1150 gfc_actual_arglist
*a
;
1152 f
->ts
.type
= args
->expr
->ts
.type
;
1153 f
->ts
.kind
= args
->expr
->ts
.kind
;
1154 /* Find the largest type kind. */
1155 for (a
= args
->next
; a
; a
= a
->next
)
1157 if (a
->expr
->ts
.kind
> f
->ts
.kind
)
1158 f
->ts
.kind
= a
->expr
->ts
.kind
;
1161 /* Convert all parameters to the required kind. */
1162 for (a
= args
; a
; a
= a
->next
)
1164 if (a
->expr
->ts
.kind
!= f
->ts
.kind
)
1165 gfc_convert_type (a
->expr
, &f
->ts
, 2);
1168 f
->value
.function
.name
1169 = gfc_get_string (name
, gfc_type_letter (f
->ts
.type
), f
->ts
.kind
);
1174 gfc_resolve_max (gfc_expr
*f
, gfc_actual_arglist
*args
)
1176 gfc_resolve_minmax ("__max_%c%d", f
, args
);
1181 gfc_resolve_maxloc (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*dim
,
1187 f
->ts
.type
= BT_INTEGER
;
1188 f
->ts
.kind
= gfc_default_integer_kind
;
1193 f
->shape
= gfc_get_shape (1);
1194 mpz_init_set_si (f
->shape
[0], array
->rank
);
1198 f
->rank
= array
->rank
- 1;
1199 gfc_resolve_dim_arg (dim
);
1200 if (array
->shape
&& dim
->expr_type
== EXPR_CONSTANT
)
1202 idim
= (int) mpz_get_si (dim
->value
.integer
);
1203 f
->shape
= gfc_get_shape (f
->rank
);
1204 for (i
= 0, j
= 0; i
< f
->rank
; i
++, j
++)
1206 if (i
== (idim
- 1))
1208 mpz_init_set (f
->shape
[i
], array
->shape
[j
]);
1215 if (mask
->rank
== 0)
1220 /* The mask can be kind 4 or 8 for the array case. For the
1221 scalar case, coerce it to default kind unconditionally. */
1222 if ((mask
->ts
.kind
< gfc_default_logical_kind
)
1223 || (mask
->rank
== 0 && mask
->ts
.kind
!= gfc_default_logical_kind
))
1226 ts
.type
= BT_LOGICAL
;
1227 ts
.kind
= gfc_default_logical_kind
;
1228 gfc_convert_type_warn (mask
, &ts
, 2, 0);
1234 /* If the rank of the function is nonzero, we are going to call
1235 a library function. Coerce the argument to one of the
1236 existing library functions for this case. */
1238 if (f
->rank
!= 0 && array
->ts
.type
== BT_INTEGER
1239 && array
->ts
.kind
< gfc_default_integer_kind
)
1242 ts
.type
= BT_INTEGER
;
1243 ts
.kind
= gfc_default_integer_kind
;
1244 gfc_convert_type_warn (array
, &ts
, 2, 0);
1247 f
->value
.function
.name
1248 = gfc_get_string (PREFIX ("%s%d_%d_%c%d"), name
, dim
!= NULL
, f
->ts
.kind
,
1249 gfc_type_letter (array
->ts
.type
), array
->ts
.kind
);
1254 gfc_resolve_maxval (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*dim
,
1264 f
->rank
= array
->rank
- 1;
1265 gfc_resolve_dim_arg (dim
);
1267 if (f
->rank
&& array
->shape
&& dim
->expr_type
== EXPR_CONSTANT
)
1269 idim
= (int) mpz_get_si (dim
->value
.integer
);
1270 f
->shape
= gfc_get_shape (f
->rank
);
1271 for (i
= 0, j
= 0; i
< f
->rank
; i
++, j
++)
1273 if (i
== (idim
- 1))
1275 mpz_init_set (f
->shape
[i
], array
->shape
[j
]);
1282 if (mask
->rank
== 0)
1287 /* The mask can be kind 4 or 8 for the array case. For the
1288 scalar case, coerce it to default kind unconditionally. */
1289 if ((mask
->ts
.kind
< gfc_default_logical_kind
)
1290 || (mask
->rank
== 0 && mask
->ts
.kind
!= gfc_default_logical_kind
))
1293 ts
.type
= BT_LOGICAL
;
1294 ts
.kind
= gfc_default_logical_kind
;
1295 gfc_convert_type_warn (mask
, &ts
, 2, 0);
1301 f
->value
.function
.name
1302 = gfc_get_string (PREFIX ("%s_%c%d"), name
,
1303 gfc_type_letter (array
->ts
.type
), array
->ts
.kind
);
1308 gfc_resolve_mclock (gfc_expr
*f
)
1310 f
->ts
.type
= BT_INTEGER
;
1312 f
->value
.function
.name
= PREFIX ("mclock");
1317 gfc_resolve_mclock8 (gfc_expr
*f
)
1319 f
->ts
.type
= BT_INTEGER
;
1321 f
->value
.function
.name
= PREFIX ("mclock8");
1326 gfc_resolve_merge (gfc_expr
*f
, gfc_expr
*tsource
,
1327 gfc_expr
*fsource ATTRIBUTE_UNUSED
,
1328 gfc_expr
*mask ATTRIBUTE_UNUSED
)
1330 if (tsource
->ts
.type
== BT_CHARACTER
)
1331 check_charlen_present (tsource
);
1333 f
->ts
= tsource
->ts
;
1334 f
->value
.function
.name
1335 = gfc_get_string ("__merge_%c%d", gfc_type_letter (tsource
->ts
.type
),
1341 gfc_resolve_min (gfc_expr
*f
, gfc_actual_arglist
*args
)
1343 gfc_resolve_minmax ("__min_%c%d", f
, args
);
1348 gfc_resolve_minloc (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*dim
,
1354 f
->ts
.type
= BT_INTEGER
;
1355 f
->ts
.kind
= gfc_default_integer_kind
;
1360 f
->shape
= gfc_get_shape (1);
1361 mpz_init_set_si (f
->shape
[0], array
->rank
);
1365 f
->rank
= array
->rank
- 1;
1366 gfc_resolve_dim_arg (dim
);
1367 if (array
->shape
&& dim
->expr_type
== EXPR_CONSTANT
)
1369 idim
= (int) mpz_get_si (dim
->value
.integer
);
1370 f
->shape
= gfc_get_shape (f
->rank
);
1371 for (i
= 0, j
= 0; i
< f
->rank
; i
++, j
++)
1373 if (i
== (idim
- 1))
1375 mpz_init_set (f
->shape
[i
], array
->shape
[j
]);
1382 if (mask
->rank
== 0)
1387 /* The mask can be kind 4 or 8 for the array case. For the
1388 scalar case, coerce it to default kind unconditionally. */
1389 if ((mask
->ts
.kind
< gfc_default_logical_kind
)
1390 || (mask
->rank
== 0 && mask
->ts
.kind
!= gfc_default_logical_kind
))
1393 ts
.type
= BT_LOGICAL
;
1394 ts
.kind
= gfc_default_logical_kind
;
1395 gfc_convert_type_warn (mask
, &ts
, 2, 0);
1401 /* If the rank of the function is nonzero, we are going to call
1402 a library function. Coerce the argument to one of the
1403 existing library functions for this case. */
1405 if (f
->rank
!= 0 && array
->ts
.type
== BT_INTEGER
1406 && array
->ts
.kind
< gfc_default_integer_kind
)
1409 ts
.type
= BT_INTEGER
;
1410 ts
.kind
= gfc_default_integer_kind
;
1411 gfc_convert_type_warn (array
, &ts
, 2, 0);
1414 f
->value
.function
.name
1415 = gfc_get_string (PREFIX ("%s%d_%d_%c%d"), name
, dim
!= NULL
, f
->ts
.kind
,
1416 gfc_type_letter (array
->ts
.type
), array
->ts
.kind
);
1421 gfc_resolve_minval (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*dim
,
1431 f
->rank
= array
->rank
- 1;
1432 gfc_resolve_dim_arg (dim
);
1434 if (f
->rank
&& array
->shape
&& dim
->expr_type
== EXPR_CONSTANT
)
1436 idim
= (int) mpz_get_si (dim
->value
.integer
);
1437 f
->shape
= gfc_get_shape (f
->rank
);
1438 for (i
= 0, j
= 0; i
< f
->rank
; i
++, j
++)
1440 if (i
== (idim
- 1))
1442 mpz_init_set (f
->shape
[i
], array
->shape
[j
]);
1449 if (mask
->rank
== 0)
1454 /* The mask can be kind 4 or 8 for the array case. For the
1455 scalar case, coerce it to default kind unconditionally. */
1456 if ((mask
->ts
.kind
< gfc_default_logical_kind
)
1457 || (mask
->rank
== 0 && mask
->ts
.kind
!= gfc_default_logical_kind
))
1460 ts
.type
= BT_LOGICAL
;
1461 ts
.kind
= gfc_default_logical_kind
;
1462 gfc_convert_type_warn (mask
, &ts
, 2, 0);
1468 f
->value
.function
.name
1469 = gfc_get_string (PREFIX ("%s_%c%d"), name
,
1470 gfc_type_letter (array
->ts
.type
), array
->ts
.kind
);
1475 gfc_resolve_mod (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*p
)
1477 f
->ts
.type
= a
->ts
.type
;
1479 f
->ts
.kind
= gfc_kind_max (a
,p
);
1481 f
->ts
.kind
= a
->ts
.kind
;
1483 if (p
!= NULL
&& a
->ts
.kind
!= p
->ts
.kind
)
1485 if (a
->ts
.kind
== gfc_kind_max (a
,p
))
1486 gfc_convert_type (p
, &a
->ts
, 2);
1488 gfc_convert_type (a
, &p
->ts
, 2);
1491 f
->value
.function
.name
1492 = gfc_get_string ("__mod_%c%d", gfc_type_letter (f
->ts
.type
), f
->ts
.kind
);
1497 gfc_resolve_modulo (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*p
)
1499 f
->ts
.type
= a
->ts
.type
;
1501 f
->ts
.kind
= gfc_kind_max (a
,p
);
1503 f
->ts
.kind
= a
->ts
.kind
;
1505 if (p
!= NULL
&& a
->ts
.kind
!= p
->ts
.kind
)
1507 if (a
->ts
.kind
== gfc_kind_max (a
,p
))
1508 gfc_convert_type (p
, &a
->ts
, 2);
1510 gfc_convert_type (a
, &p
->ts
, 2);
1513 f
->value
.function
.name
1514 = gfc_get_string ("__modulo_%c%d", gfc_type_letter (f
->ts
.type
),
1519 gfc_resolve_nearest (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*p ATTRIBUTE_UNUSED
)
1522 f
->value
.function
.name
1523 = gfc_get_string ("__nearest_%c%d", gfc_type_letter (a
->ts
.type
),
1528 gfc_resolve_nint (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*kind
)
1530 f
->ts
.type
= BT_INTEGER
;
1531 f
->ts
.kind
= (kind
== NULL
)
1532 ? gfc_default_integer_kind
: mpz_get_si (kind
->value
.integer
);
1533 f
->value
.function
.name
1534 = gfc_get_string ("__nint_%d_%d", f
->ts
.kind
, a
->ts
.kind
);
1539 gfc_resolve_not (gfc_expr
*f
, gfc_expr
*i
)
1542 f
->value
.function
.name
= gfc_get_string ("__not_%d", i
->ts
.kind
);
1547 gfc_resolve_or (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*j
)
1549 f
->ts
.type
= i
->ts
.type
;
1550 f
->ts
.kind
= gfc_kind_max (i
, j
);
1552 if (i
->ts
.kind
!= j
->ts
.kind
)
1554 if (i
->ts
.kind
== gfc_kind_max (i
, j
))
1555 gfc_convert_type (j
, &i
->ts
, 2);
1557 gfc_convert_type (i
, &j
->ts
, 2);
1560 f
->value
.function
.name
1561 = gfc_get_string ("__or_%c%d", gfc_type_letter (i
->ts
.type
), f
->ts
.kind
);
1566 gfc_resolve_pack (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*mask
,
1567 gfc_expr
*vector ATTRIBUTE_UNUSED
)
1572 if (mask
->rank
!= 0)
1573 f
->value
.function
.name
= (array
->ts
.type
== BT_CHARACTER
1574 ? PREFIX ("pack_char") : PREFIX ("pack"));
1577 /* We convert mask to default logical only in the scalar case.
1578 In the array case we can simply read the array as if it were
1579 of type default logical. */
1580 if (mask
->ts
.kind
!= gfc_default_logical_kind
)
1584 ts
.type
= BT_LOGICAL
;
1585 ts
.kind
= gfc_default_logical_kind
;
1586 gfc_convert_type (mask
, &ts
, 2);
1589 f
->value
.function
.name
= (array
->ts
.type
== BT_CHARACTER
1590 ? PREFIX ("pack_s_char") : PREFIX ("pack_s"));
1596 gfc_resolve_product (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*dim
,
1605 f
->rank
= array
->rank
- 1;
1606 gfc_resolve_dim_arg (dim
);
1611 if (mask
->rank
== 0)
1616 /* The mask can be kind 4 or 8 for the array case. For the
1617 scalar case, coerce it to default kind unconditionally. */
1618 if ((mask
->ts
.kind
< gfc_default_logical_kind
)
1619 || (mask
->rank
== 0 && mask
->ts
.kind
!= gfc_default_logical_kind
))
1622 ts
.type
= BT_LOGICAL
;
1623 ts
.kind
= gfc_default_logical_kind
;
1624 gfc_convert_type_warn (mask
, &ts
, 2, 0);
1630 f
->value
.function
.name
1631 = gfc_get_string (PREFIX ("%s_%c%d"), name
,
1632 gfc_type_letter (array
->ts
.type
), array
->ts
.kind
);
1637 gfc_resolve_real (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*kind
)
1639 f
->ts
.type
= BT_REAL
;
1642 f
->ts
.kind
= mpz_get_si (kind
->value
.integer
);
1644 f
->ts
.kind
= (a
->ts
.type
== BT_COMPLEX
)
1645 ? a
->ts
.kind
: gfc_default_real_kind
;
1647 f
->value
.function
.name
1648 = gfc_get_string ("__real_%d_%c%d", f
->ts
.kind
,
1649 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
1654 gfc_resolve_realpart (gfc_expr
*f
, gfc_expr
*a
)
1656 f
->ts
.type
= BT_REAL
;
1657 f
->ts
.kind
= a
->ts
.kind
;
1658 f
->value
.function
.name
1659 = gfc_get_string ("__real_%d_%c%d", f
->ts
.kind
,
1660 gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
1665 gfc_resolve_rename (gfc_expr
*f
, gfc_expr
*p1 ATTRIBUTE_UNUSED
,
1666 gfc_expr
*p2 ATTRIBUTE_UNUSED
)
1668 f
->ts
.type
= BT_INTEGER
;
1669 f
->ts
.kind
= gfc_default_integer_kind
;
1670 f
->value
.function
.name
= gfc_get_string (PREFIX ("rename_i%d"), f
->ts
.kind
);
1675 gfc_resolve_repeat (gfc_expr
*f
, gfc_expr
*string
,
1676 gfc_expr
*ncopies ATTRIBUTE_UNUSED
)
1678 f
->ts
.type
= BT_CHARACTER
;
1679 f
->ts
.kind
= string
->ts
.kind
;
1680 f
->value
.function
.name
= gfc_get_string ("__repeat_%d", string
->ts
.kind
);
1685 gfc_resolve_reshape (gfc_expr
*f
, gfc_expr
*source
, gfc_expr
*shape
,
1686 gfc_expr
*pad ATTRIBUTE_UNUSED
,
1687 gfc_expr
*order ATTRIBUTE_UNUSED
)
1695 gfc_array_size (shape
, &rank
);
1696 f
->rank
= mpz_get_si (rank
);
1698 switch (source
->ts
.type
)
1704 kind
= source
->ts
.kind
;
1718 if (source
->ts
.type
== BT_COMPLEX
|| source
->ts
.type
== BT_REAL
)
1719 f
->value
.function
.name
1720 = gfc_get_string (PREFIX ("reshape_%c%d"),
1721 gfc_type_letter (source
->ts
.type
),
1724 f
->value
.function
.name
1725 = gfc_get_string (PREFIX ("reshape_%d"), source
->ts
.kind
);
1730 f
->value
.function
.name
= (source
->ts
.type
== BT_CHARACTER
1731 ? PREFIX ("reshape_char") : PREFIX ("reshape"));
1735 /* TODO: Make this work with a constant ORDER parameter. */
1736 if (shape
->expr_type
== EXPR_ARRAY
1737 && gfc_is_constant_expr (shape
)
1741 f
->shape
= gfc_get_shape (f
->rank
);
1742 c
= shape
->value
.constructor
;
1743 for (i
= 0; i
< f
->rank
; i
++)
1745 mpz_init_set (f
->shape
[i
], c
->expr
->value
.integer
);
1750 /* Force-convert both SHAPE and ORDER to index_kind so that we don't need
1751 so many runtime variations. */
1752 if (shape
->ts
.kind
!= gfc_index_integer_kind
)
1754 gfc_typespec ts
= shape
->ts
;
1755 ts
.kind
= gfc_index_integer_kind
;
1756 gfc_convert_type_warn (shape
, &ts
, 2, 0);
1758 if (order
&& order
->ts
.kind
!= gfc_index_integer_kind
)
1759 gfc_convert_type_warn (order
, &shape
->ts
, 2, 0);
1764 gfc_resolve_rrspacing (gfc_expr
*f
, gfc_expr
*x
)
1767 gfc_actual_arglist
*prec
;
1770 f
->value
.function
.name
= gfc_get_string ("__rrspacing_%d", x
->ts
.kind
);
1772 /* Create a hidden argument to the library routines for rrspacing. This
1773 hidden argument is the precision of x. */
1774 k
= gfc_validate_kind (BT_REAL
, x
->ts
.kind
, false);
1775 prec
= gfc_get_actual_arglist ();
1777 prec
->expr
= gfc_int_expr (gfc_real_kinds
[k
].digits
);
1778 f
->value
.function
.actual
->next
= prec
;
1783 gfc_resolve_scale (gfc_expr
*f
, gfc_expr
*x
, gfc_expr
*i
)
1787 /* The implementation calls scalbn which takes an int as the
1789 if (i
->ts
.kind
!= gfc_c_int_kind
)
1792 ts
.type
= BT_INTEGER
;
1793 ts
.kind
= gfc_default_integer_kind
;
1794 gfc_convert_type_warn (i
, &ts
, 2, 0);
1797 f
->value
.function
.name
= gfc_get_string ("__scale_%d", x
->ts
.kind
);
1802 gfc_resolve_scan (gfc_expr
*f
, gfc_expr
*string
,
1803 gfc_expr
*set ATTRIBUTE_UNUSED
,
1804 gfc_expr
*back ATTRIBUTE_UNUSED
)
1806 f
->ts
.type
= BT_INTEGER
;
1807 f
->ts
.kind
= gfc_default_integer_kind
;
1808 f
->value
.function
.name
= gfc_get_string ("__scan_%d", string
->ts
.kind
);
1813 gfc_resolve_secnds (gfc_expr
*t1
, gfc_expr
*t0
)
1816 t1
->value
.function
.name
= gfc_get_string (PREFIX ("secnds"));
1821 gfc_resolve_set_exponent (gfc_expr
*f
, gfc_expr
*x
, gfc_expr
*i
)
1825 /* The library implementation uses GFC_INTEGER_4 unconditionally,
1826 convert type so we don't have to implement all possible
1828 if (i
->ts
.kind
!= 4)
1831 ts
.type
= BT_INTEGER
;
1832 ts
.kind
= gfc_default_integer_kind
;
1833 gfc_convert_type_warn (i
, &ts
, 2, 0);
1836 f
->value
.function
.name
= gfc_get_string ("__set_exponent_%d", x
->ts
.kind
);
1841 gfc_resolve_shape (gfc_expr
*f
, gfc_expr
*array
)
1843 f
->ts
.type
= BT_INTEGER
;
1844 f
->ts
.kind
= gfc_default_integer_kind
;
1846 f
->shape
= gfc_get_shape (1);
1847 mpz_init_set_ui (f
->shape
[0], array
->rank
);
1848 f
->value
.function
.name
= gfc_get_string (PREFIX ("shape_%d"), f
->ts
.kind
);
1853 gfc_resolve_sign (gfc_expr
*f
, gfc_expr
*a
, gfc_expr
*b ATTRIBUTE_UNUSED
)
1856 f
->value
.function
.name
1857 = gfc_get_string ("__sign_%c%d", gfc_type_letter (a
->ts
.type
), a
->ts
.kind
);
1862 gfc_resolve_signal (gfc_expr
*f
, gfc_expr
*number
, gfc_expr
*handler
)
1864 f
->ts
.type
= BT_INTEGER
;
1865 f
->ts
.kind
= gfc_c_int_kind
;
1867 /* handler can be either BT_INTEGER or BT_PROCEDURE */
1868 if (handler
->ts
.type
== BT_INTEGER
)
1870 if (handler
->ts
.kind
!= gfc_c_int_kind
)
1871 gfc_convert_type (handler
, &f
->ts
, 2);
1872 f
->value
.function
.name
= gfc_get_string (PREFIX ("signal_func_int"));
1875 f
->value
.function
.name
= gfc_get_string (PREFIX ("signal_func"));
1877 if (number
->ts
.kind
!= gfc_c_int_kind
)
1878 gfc_convert_type (number
, &f
->ts
, 2);
1883 gfc_resolve_sin (gfc_expr
*f
, gfc_expr
*x
)
1886 f
->value
.function
.name
1887 = gfc_get_string ("__sin_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
1892 gfc_resolve_sinh (gfc_expr
*f
, gfc_expr
*x
)
1895 f
->value
.function
.name
1896 = gfc_get_string ("__sinh_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
1901 gfc_resolve_spacing (gfc_expr
*f
, gfc_expr
*x
)
1904 gfc_actual_arglist
*prec
, *tiny
, *emin_1
;
1907 f
->value
.function
.name
= gfc_get_string ("__spacing_%d", x
->ts
.kind
);
1909 /* Create hidden arguments to the library routine for spacing. These
1910 hidden arguments are tiny(x), min_exponent - 1, and the precision
1913 k
= gfc_validate_kind (BT_REAL
, x
->ts
.kind
, false);
1915 tiny
= gfc_get_actual_arglist ();
1916 tiny
->name
= "tiny";
1917 tiny
->expr
= gfc_get_expr ();
1918 tiny
->expr
->expr_type
= EXPR_CONSTANT
;
1919 tiny
->expr
->where
= gfc_current_locus
;
1920 tiny
->expr
->ts
.type
= x
->ts
.type
;
1921 tiny
->expr
->ts
.kind
= x
->ts
.kind
;
1922 mpfr_init (tiny
->expr
->value
.real
);
1923 mpfr_set (tiny
->expr
->value
.real
, gfc_real_kinds
[k
].tiny
, GFC_RND_MODE
);
1925 emin_1
= gfc_get_actual_arglist ();
1926 emin_1
->name
= "emin";
1927 emin_1
->expr
= gfc_int_expr (gfc_real_kinds
[k
].min_exponent
- 1);
1928 emin_1
->next
= tiny
;
1930 prec
= gfc_get_actual_arglist ();
1931 prec
->name
= "prec";
1932 prec
->expr
= gfc_int_expr (gfc_real_kinds
[k
].digits
);
1933 prec
->next
= emin_1
;
1935 f
->value
.function
.actual
->next
= prec
;
1940 gfc_resolve_spread (gfc_expr
*f
, gfc_expr
*source
, gfc_expr
*dim
,
1943 if (source
->ts
.type
== BT_CHARACTER
)
1944 check_charlen_present (source
);
1947 f
->rank
= source
->rank
+ 1;
1948 if (source
->rank
== 0)
1949 f
->value
.function
.name
= (source
->ts
.type
== BT_CHARACTER
1950 ? PREFIX ("spread_char_scalar")
1951 : PREFIX ("spread_scalar"));
1953 f
->value
.function
.name
= (source
->ts
.type
== BT_CHARACTER
1954 ? PREFIX ("spread_char")
1955 : PREFIX ("spread"));
1957 if (dim
&& gfc_is_constant_expr (dim
)
1958 && ncopies
&& gfc_is_constant_expr (ncopies
) && source
->shape
[0])
1961 idim
= mpz_get_ui (dim
->value
.integer
);
1962 f
->shape
= gfc_get_shape (f
->rank
);
1963 for (i
= 0; i
< (idim
- 1); i
++)
1964 mpz_init_set (f
->shape
[i
], source
->shape
[i
]);
1966 mpz_init_set (f
->shape
[idim
- 1], ncopies
->value
.integer
);
1968 for (i
= idim
; i
< f
->rank
; i
++)
1969 mpz_init_set (f
->shape
[i
], source
->shape
[i
-1]);
1973 gfc_resolve_dim_arg (dim
);
1974 gfc_resolve_index (ncopies
, 1);
1979 gfc_resolve_sqrt (gfc_expr
*f
, gfc_expr
*x
)
1982 f
->value
.function
.name
1983 = gfc_get_string ("__sqrt_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
1987 /* Resolve the g77 compatibility function STAT AND FSTAT. */
1990 gfc_resolve_stat (gfc_expr
*f
, gfc_expr
*n ATTRIBUTE_UNUSED
,
1991 gfc_expr
*a ATTRIBUTE_UNUSED
)
1993 f
->ts
.type
= BT_INTEGER
;
1994 f
->ts
.kind
= gfc_default_integer_kind
;
1995 f
->value
.function
.name
= gfc_get_string (PREFIX ("stat_i%d"), f
->ts
.kind
);
2000 gfc_resolve_lstat (gfc_expr
*f
, gfc_expr
*n ATTRIBUTE_UNUSED
,
2001 gfc_expr
*a ATTRIBUTE_UNUSED
)
2003 f
->ts
.type
= BT_INTEGER
;
2004 f
->ts
.kind
= gfc_default_integer_kind
;
2005 f
->value
.function
.name
= gfc_get_string (PREFIX ("lstat_i%d"), f
->ts
.kind
);
2010 gfc_resolve_fstat (gfc_expr
*f
, gfc_expr
*n
, gfc_expr
*a ATTRIBUTE_UNUSED
)
2012 f
->ts
.type
= BT_INTEGER
;
2013 f
->ts
.kind
= gfc_default_integer_kind
;
2014 if (n
->ts
.kind
!= f
->ts
.kind
)
2015 gfc_convert_type (n
, &f
->ts
, 2);
2017 f
->value
.function
.name
= gfc_get_string (PREFIX ("fstat_i%d"), f
->ts
.kind
);
2022 gfc_resolve_fgetc (gfc_expr
*f
, gfc_expr
*u
, gfc_expr
*c ATTRIBUTE_UNUSED
)
2026 f
->ts
.type
= BT_INTEGER
;
2027 f
->ts
.kind
= gfc_c_int_kind
;
2028 if (u
->ts
.kind
!= gfc_c_int_kind
)
2030 ts
.type
= BT_INTEGER
;
2031 ts
.kind
= gfc_c_int_kind
;
2034 gfc_convert_type (u
, &ts
, 2);
2037 f
->value
.function
.name
= gfc_get_string (PREFIX ("fgetc"));
2042 gfc_resolve_fget (gfc_expr
*f
, gfc_expr
*c ATTRIBUTE_UNUSED
)
2044 f
->ts
.type
= BT_INTEGER
;
2045 f
->ts
.kind
= gfc_c_int_kind
;
2046 f
->value
.function
.name
= gfc_get_string (PREFIX ("fget"));
2051 gfc_resolve_fputc (gfc_expr
*f
, gfc_expr
*u
, gfc_expr
*c ATTRIBUTE_UNUSED
)
2055 f
->ts
.type
= BT_INTEGER
;
2056 f
->ts
.kind
= gfc_c_int_kind
;
2057 if (u
->ts
.kind
!= gfc_c_int_kind
)
2059 ts
.type
= BT_INTEGER
;
2060 ts
.kind
= gfc_c_int_kind
;
2063 gfc_convert_type (u
, &ts
, 2);
2066 f
->value
.function
.name
= gfc_get_string (PREFIX ("fputc"));
2071 gfc_resolve_fput (gfc_expr
*f
, gfc_expr
*c ATTRIBUTE_UNUSED
)
2073 f
->ts
.type
= BT_INTEGER
;
2074 f
->ts
.kind
= gfc_c_int_kind
;
2075 f
->value
.function
.name
= gfc_get_string (PREFIX ("fput"));
2080 gfc_resolve_ftell (gfc_expr
*f
, gfc_expr
*u
)
2084 f
->ts
.type
= BT_INTEGER
;
2085 f
->ts
.kind
= gfc_index_integer_kind
;
2086 if (u
->ts
.kind
!= gfc_c_int_kind
)
2088 ts
.type
= BT_INTEGER
;
2089 ts
.kind
= gfc_c_int_kind
;
2092 gfc_convert_type (u
, &ts
, 2);
2095 f
->value
.function
.name
= gfc_get_string (PREFIX ("ftell"));
2100 gfc_resolve_sum (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*dim
, gfc_expr
*mask
)
2108 if (mask
->rank
== 0)
2113 /* The mask can be kind 4 or 8 for the array case. For the
2114 scalar case, coerce it to default kind unconditionally. */
2115 if ((mask
->ts
.kind
< gfc_default_logical_kind
)
2116 || (mask
->rank
== 0 && mask
->ts
.kind
!= gfc_default_logical_kind
))
2119 ts
.type
= BT_LOGICAL
;
2120 ts
.kind
= gfc_default_logical_kind
;
2121 gfc_convert_type_warn (mask
, &ts
, 2, 0);
2129 f
->rank
= array
->rank
- 1;
2130 gfc_resolve_dim_arg (dim
);
2133 f
->value
.function
.name
2134 = gfc_get_string (PREFIX ("%s_%c%d"), name
,
2135 gfc_type_letter (array
->ts
.type
), array
->ts
.kind
);
2140 gfc_resolve_symlnk (gfc_expr
*f
, gfc_expr
*p1 ATTRIBUTE_UNUSED
,
2141 gfc_expr
*p2 ATTRIBUTE_UNUSED
)
2143 f
->ts
.type
= BT_INTEGER
;
2144 f
->ts
.kind
= gfc_default_integer_kind
;
2145 f
->value
.function
.name
= gfc_get_string (PREFIX ("symlnk_i%d"), f
->ts
.kind
);
2149 /* Resolve the g77 compatibility function SYSTEM. */
2152 gfc_resolve_system (gfc_expr
*f
, gfc_expr
*n ATTRIBUTE_UNUSED
)
2154 f
->ts
.type
= BT_INTEGER
;
2156 f
->value
.function
.name
= gfc_get_string (PREFIX ("system"));
2161 gfc_resolve_tan (gfc_expr
*f
, gfc_expr
*x
)
2164 f
->value
.function
.name
2165 = gfc_get_string ("__tan_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
2170 gfc_resolve_tanh (gfc_expr
*f
, gfc_expr
*x
)
2173 f
->value
.function
.name
2174 = gfc_get_string ("__tanh_%c%d", gfc_type_letter (x
->ts
.type
), x
->ts
.kind
);
2179 gfc_resolve_time (gfc_expr
*f
)
2181 f
->ts
.type
= BT_INTEGER
;
2183 f
->value
.function
.name
= gfc_get_string (PREFIX ("time_func"));
2188 gfc_resolve_time8 (gfc_expr
*f
)
2190 f
->ts
.type
= BT_INTEGER
;
2192 f
->value
.function
.name
= gfc_get_string (PREFIX ("time8_func"));
2197 gfc_resolve_transfer (gfc_expr
*f
, gfc_expr
*source ATTRIBUTE_UNUSED
,
2198 gfc_expr
*mold
, gfc_expr
*size
)
2200 /* TODO: Make this do something meaningful. */
2201 static char transfer0
[] = "__transfer0", transfer1
[] = "__transfer1";
2205 if (size
== NULL
&& mold
->rank
== 0)
2208 f
->value
.function
.name
= transfer0
;
2213 f
->value
.function
.name
= transfer1
;
2214 if (size
&& gfc_is_constant_expr (size
))
2216 f
->shape
= gfc_get_shape (1);
2217 mpz_init_set (f
->shape
[0], size
->value
.integer
);
2224 gfc_resolve_transpose (gfc_expr
*f
, gfc_expr
*matrix
)
2230 f
->shape
= gfc_get_shape (2);
2231 mpz_init_set (f
->shape
[0], matrix
->shape
[1]);
2232 mpz_init_set (f
->shape
[1], matrix
->shape
[0]);
2235 switch (matrix
->ts
.kind
)
2241 switch (matrix
->ts
.type
)
2245 f
->value
.function
.name
2246 = gfc_get_string (PREFIX ("transpose_%c%d"),
2247 gfc_type_letter (matrix
->ts
.type
),
2253 /* Use the integer routines for real and logical cases. This
2254 assumes they all have the same alignment requirements. */
2255 f
->value
.function
.name
2256 = gfc_get_string (PREFIX ("transpose_i%d"), matrix
->ts
.kind
);
2260 f
->value
.function
.name
= PREFIX ("transpose");
2266 f
->value
.function
.name
= (matrix
->ts
.type
== BT_CHARACTER
2267 ? PREFIX ("transpose_char")
2268 : PREFIX ("transpose"));
2275 gfc_resolve_trim (gfc_expr
*f
, gfc_expr
*string
)
2277 f
->ts
.type
= BT_CHARACTER
;
2278 f
->ts
.kind
= string
->ts
.kind
;
2279 f
->value
.function
.name
= gfc_get_string ("__trim_%d", string
->ts
.kind
);
2284 gfc_resolve_ubound (gfc_expr
*f
, gfc_expr
*array
, gfc_expr
*dim
)
2286 static char ubound
[] = "__ubound";
2288 f
->ts
.type
= BT_INTEGER
;
2289 f
->ts
.kind
= gfc_default_integer_kind
;
2294 f
->shape
= gfc_get_shape (1);
2295 mpz_init_set_ui (f
->shape
[0], array
->rank
);
2298 f
->value
.function
.name
= ubound
;
2302 /* Resolve the g77 compatibility function UMASK. */
2305 gfc_resolve_umask (gfc_expr
*f
, gfc_expr
*n
)
2307 f
->ts
.type
= BT_INTEGER
;
2308 f
->ts
.kind
= n
->ts
.kind
;
2309 f
->value
.function
.name
= gfc_get_string (PREFIX ("umask_i%d"), n
->ts
.kind
);
2313 /* Resolve the g77 compatibility function UNLINK. */
2316 gfc_resolve_unlink (gfc_expr
*f
, gfc_expr
*n ATTRIBUTE_UNUSED
)
2318 f
->ts
.type
= BT_INTEGER
;
2320 f
->value
.function
.name
= gfc_get_string (PREFIX ("unlink"));
2325 gfc_resolve_ttynam (gfc_expr
*f
, gfc_expr
*unit
)
2329 f
->ts
.type
= BT_CHARACTER
;
2330 f
->ts
.kind
= gfc_default_character_kind
;
2332 if (unit
->ts
.kind
!= gfc_c_int_kind
)
2334 ts
.type
= BT_INTEGER
;
2335 ts
.kind
= gfc_c_int_kind
;
2338 gfc_convert_type (unit
, &ts
, 2);
2341 f
->value
.function
.name
= gfc_get_string (PREFIX ("ttynam"));
2346 gfc_resolve_unpack (gfc_expr
*f
, gfc_expr
*vector
, gfc_expr
*mask
,
2347 gfc_expr
*field ATTRIBUTE_UNUSED
)
2350 f
->rank
= mask
->rank
;
2352 f
->value
.function
.name
2353 = gfc_get_string (PREFIX ("unpack%d%s"), field
->rank
> 0 ? 1 : 0,
2354 vector
->ts
.type
== BT_CHARACTER
? "_char" : "");
2359 gfc_resolve_verify (gfc_expr
*f
, gfc_expr
*string
,
2360 gfc_expr
*set ATTRIBUTE_UNUSED
,
2361 gfc_expr
*back ATTRIBUTE_UNUSED
)
2363 f
->ts
.type
= BT_INTEGER
;
2364 f
->ts
.kind
= gfc_default_integer_kind
;
2365 f
->value
.function
.name
= gfc_get_string ("__verify_%d", string
->ts
.kind
);
2370 gfc_resolve_xor (gfc_expr
*f
, gfc_expr
*i
, gfc_expr
*j
)
2372 f
->ts
.type
= i
->ts
.type
;
2373 f
->ts
.kind
= gfc_kind_max (i
, j
);
2375 if (i
->ts
.kind
!= j
->ts
.kind
)
2377 if (i
->ts
.kind
== gfc_kind_max (i
, j
))
2378 gfc_convert_type (j
, &i
->ts
, 2);
2380 gfc_convert_type (i
, &j
->ts
, 2);
2383 f
->value
.function
.name
2384 = gfc_get_string ("__xor_%c%d", gfc_type_letter (i
->ts
.type
), f
->ts
.kind
);
2388 /* Intrinsic subroutine resolution. */
2391 gfc_resolve_alarm_sub (gfc_code
*c
)
2394 gfc_expr
*seconds
, *handler
, *status
;
2397 seconds
= c
->ext
.actual
->expr
;
2398 handler
= c
->ext
.actual
->next
->expr
;
2399 status
= c
->ext
.actual
->next
->next
->expr
;
2400 ts
.type
= BT_INTEGER
;
2401 ts
.kind
= gfc_c_int_kind
;
2403 /* handler can be either BT_INTEGER or BT_PROCEDURE */
2404 if (handler
->ts
.type
== BT_INTEGER
)
2406 if (handler
->ts
.kind
!= gfc_c_int_kind
)
2407 gfc_convert_type (handler
, &ts
, 2);
2408 name
= gfc_get_string (PREFIX ("alarm_sub_int"));
2411 name
= gfc_get_string (PREFIX ("alarm_sub"));
2413 if (seconds
->ts
.kind
!= gfc_c_int_kind
)
2414 gfc_convert_type (seconds
, &ts
, 2);
2415 if (status
!= NULL
&& status
->ts
.kind
!= gfc_c_int_kind
)
2416 gfc_convert_type (status
, &ts
, 2);
2418 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2422 gfc_resolve_cpu_time (gfc_code
*c
)
2425 name
= gfc_get_string (PREFIX ("cpu_time_%d"), c
->ext
.actual
->expr
->ts
.kind
);
2426 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2431 gfc_resolve_mvbits (gfc_code
*c
)
2435 kind
= c
->ext
.actual
->expr
->ts
.kind
;
2436 name
= gfc_get_string (PREFIX ("mvbits_i%d"), kind
);
2437 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2442 gfc_resolve_random_number (gfc_code
*c
)
2447 kind
= c
->ext
.actual
->expr
->ts
.kind
;
2448 if (c
->ext
.actual
->expr
->rank
== 0)
2449 name
= gfc_get_string (PREFIX ("random_r%d"), kind
);
2451 name
= gfc_get_string (PREFIX ("arandom_r%d"), kind
);
2453 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2458 gfc_resolve_rename_sub (gfc_code
*c
)
2463 if (c
->ext
.actual
->next
->next
->expr
!= NULL
)
2464 kind
= c
->ext
.actual
->next
->next
->expr
->ts
.kind
;
2466 kind
= gfc_default_integer_kind
;
2468 name
= gfc_get_string (PREFIX ("rename_i%d_sub"), kind
);
2469 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2474 gfc_resolve_kill_sub (gfc_code
*c
)
2479 if (c
->ext
.actual
->next
->next
->expr
!= NULL
)
2480 kind
= c
->ext
.actual
->next
->next
->expr
->ts
.kind
;
2482 kind
= gfc_default_integer_kind
;
2484 name
= gfc_get_string (PREFIX ("kill_i%d_sub"), kind
);
2485 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2490 gfc_resolve_link_sub (gfc_code
*c
)
2495 if (c
->ext
.actual
->next
->next
->expr
!= NULL
)
2496 kind
= c
->ext
.actual
->next
->next
->expr
->ts
.kind
;
2498 kind
= gfc_default_integer_kind
;
2500 name
= gfc_get_string (PREFIX ("link_i%d_sub"), kind
);
2501 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2506 gfc_resolve_symlnk_sub (gfc_code
*c
)
2511 if (c
->ext
.actual
->next
->next
->expr
!= NULL
)
2512 kind
= c
->ext
.actual
->next
->next
->expr
->ts
.kind
;
2514 kind
= gfc_default_integer_kind
;
2516 name
= gfc_get_string (PREFIX ("symlnk_i%d_sub"), kind
);
2517 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2521 /* G77 compatibility subroutines etime() and dtime(). */
2524 gfc_resolve_etime_sub (gfc_code
*c
)
2527 name
= gfc_get_string (PREFIX ("etime_sub"));
2528 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2532 /* G77 compatibility subroutines itime(), idate(), ltime() and gmtime(). */
2535 gfc_resolve_itime (gfc_code
*c
)
2538 = gfc_get_intrinsic_sub_symbol (gfc_get_string (PREFIX ("itime_i%d"),
2539 gfc_default_integer_kind
));
2543 gfc_resolve_idate (gfc_code
*c
)
2546 = gfc_get_intrinsic_sub_symbol (gfc_get_string (PREFIX ("idate_i%d"),
2547 gfc_default_integer_kind
));
2551 gfc_resolve_ltime (gfc_code
*c
)
2554 = gfc_get_intrinsic_sub_symbol (gfc_get_string (PREFIX ("ltime_i%d"),
2555 gfc_default_integer_kind
));
2559 gfc_resolve_gmtime (gfc_code
*c
)
2562 = gfc_get_intrinsic_sub_symbol (gfc_get_string (PREFIX ("gmtime_i%d"),
2563 gfc_default_integer_kind
));
2567 /* G77 compatibility subroutine second(). */
2570 gfc_resolve_second_sub (gfc_code
*c
)
2573 name
= gfc_get_string (PREFIX ("second_sub"));
2574 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2579 gfc_resolve_sleep_sub (gfc_code
*c
)
2584 if (c
->ext
.actual
->expr
!= NULL
)
2585 kind
= c
->ext
.actual
->expr
->ts
.kind
;
2587 kind
= gfc_default_integer_kind
;
2589 name
= gfc_get_string (PREFIX ("sleep_i%d_sub"), kind
);
2590 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2594 /* G77 compatibility function srand(). */
2597 gfc_resolve_srand (gfc_code
*c
)
2600 name
= gfc_get_string (PREFIX ("srand"));
2601 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2605 /* Resolve the getarg intrinsic subroutine. */
2608 gfc_resolve_getarg (gfc_code
*c
)
2612 kind
= gfc_default_integer_kind
;
2613 name
= gfc_get_string (PREFIX ("getarg_i%d"), kind
);
2614 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2618 /* Resolve the getcwd intrinsic subroutine. */
2621 gfc_resolve_getcwd_sub (gfc_code
*c
)
2626 if (c
->ext
.actual
->next
->expr
!= NULL
)
2627 kind
= c
->ext
.actual
->next
->expr
->ts
.kind
;
2629 kind
= gfc_default_integer_kind
;
2631 name
= gfc_get_string (PREFIX ("getcwd_i%d_sub"), kind
);
2632 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2636 /* Resolve the get_command intrinsic subroutine. */
2639 gfc_resolve_get_command (gfc_code
*c
)
2643 kind
= gfc_default_integer_kind
;
2644 name
= gfc_get_string (PREFIX ("get_command_i%d"), kind
);
2645 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2649 /* Resolve the get_command_argument intrinsic subroutine. */
2652 gfc_resolve_get_command_argument (gfc_code
*c
)
2656 kind
= gfc_default_integer_kind
;
2657 name
= gfc_get_string (PREFIX ("get_command_argument_i%d"), kind
);
2658 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2662 /* Resolve the get_environment_variable intrinsic subroutine. */
2665 gfc_resolve_get_environment_variable (gfc_code
*code
)
2669 kind
= gfc_default_integer_kind
;
2670 name
= gfc_get_string (PREFIX ("get_environment_variable_i%d"), kind
);
2671 code
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2676 gfc_resolve_signal_sub (gfc_code
*c
)
2679 gfc_expr
*number
, *handler
, *status
;
2682 number
= c
->ext
.actual
->expr
;
2683 handler
= c
->ext
.actual
->next
->expr
;
2684 status
= c
->ext
.actual
->next
->next
->expr
;
2685 ts
.type
= BT_INTEGER
;
2686 ts
.kind
= gfc_c_int_kind
;
2688 /* handler can be either BT_INTEGER or BT_PROCEDURE */
2689 if (handler
->ts
.type
== BT_INTEGER
)
2691 if (handler
->ts
.kind
!= gfc_c_int_kind
)
2692 gfc_convert_type (handler
, &ts
, 2);
2693 name
= gfc_get_string (PREFIX ("signal_sub_int"));
2696 name
= gfc_get_string (PREFIX ("signal_sub"));
2698 if (number
->ts
.kind
!= gfc_c_int_kind
)
2699 gfc_convert_type (number
, &ts
, 2);
2700 if (status
!= NULL
&& status
->ts
.kind
!= gfc_c_int_kind
)
2701 gfc_convert_type (status
, &ts
, 2);
2703 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2707 /* Resolve the SYSTEM intrinsic subroutine. */
2710 gfc_resolve_system_sub (gfc_code
*c
)
2713 name
= gfc_get_string (PREFIX ("system_sub"));
2714 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2718 /* Determine if the arguments to SYSTEM_CLOCK are INTEGER(4) or INTEGER(8) */
2721 gfc_resolve_system_clock (gfc_code
*c
)
2726 if (c
->ext
.actual
->expr
!= NULL
)
2727 kind
= c
->ext
.actual
->expr
->ts
.kind
;
2728 else if (c
->ext
.actual
->next
->expr
!= NULL
)
2729 kind
= c
->ext
.actual
->next
->expr
->ts
.kind
;
2730 else if (c
->ext
.actual
->next
->next
->expr
!= NULL
)
2731 kind
= c
->ext
.actual
->next
->next
->expr
->ts
.kind
;
2733 kind
= gfc_default_integer_kind
;
2735 name
= gfc_get_string (PREFIX ("system_clock_%d"), kind
);
2736 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2740 /* Resolve the EXIT intrinsic subroutine. */
2743 gfc_resolve_exit (gfc_code
*c
)
2748 if (c
->ext
.actual
->expr
!= NULL
)
2749 kind
= c
->ext
.actual
->expr
->ts
.kind
;
2751 kind
= gfc_default_integer_kind
;
2753 name
= gfc_get_string (PREFIX ("exit_i%d"), kind
);
2754 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2758 /* Resolve the FLUSH intrinsic subroutine. */
2761 gfc_resolve_flush (gfc_code
*c
)
2767 ts
.type
= BT_INTEGER
;
2768 ts
.kind
= gfc_default_integer_kind
;
2769 n
= c
->ext
.actual
->expr
;
2770 if (n
!= NULL
&& n
->ts
.kind
!= ts
.kind
)
2771 gfc_convert_type (n
, &ts
, 2);
2773 name
= gfc_get_string (PREFIX ("flush_i%d"), ts
.kind
);
2774 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2779 gfc_resolve_free (gfc_code
*c
)
2784 ts
.type
= BT_INTEGER
;
2785 ts
.kind
= gfc_index_integer_kind
;
2786 n
= c
->ext
.actual
->expr
;
2787 if (n
->ts
.kind
!= ts
.kind
)
2788 gfc_convert_type (n
, &ts
, 2);
2790 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (PREFIX ("free"));
2795 gfc_resolve_ctime_sub (gfc_code
*c
)
2799 /* ctime TIME argument is a INTEGER(KIND=8), says the doc */
2800 if (c
->ext
.actual
->expr
->ts
.kind
!= 8)
2802 ts
.type
= BT_INTEGER
;
2806 gfc_convert_type (c
->ext
.actual
->expr
, &ts
, 2);
2809 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (PREFIX ("ctime_sub"));
2814 gfc_resolve_fdate_sub (gfc_code
*c
)
2816 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (PREFIX ("fdate_sub"));
2821 gfc_resolve_gerror (gfc_code
*c
)
2823 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (PREFIX ("gerror"));
2828 gfc_resolve_getlog (gfc_code
*c
)
2830 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (PREFIX ("getlog"));
2835 gfc_resolve_hostnm_sub (gfc_code
*c
)
2840 if (c
->ext
.actual
->next
->expr
!= NULL
)
2841 kind
= c
->ext
.actual
->next
->expr
->ts
.kind
;
2843 kind
= gfc_default_integer_kind
;
2845 name
= gfc_get_string (PREFIX ("hostnm_i%d_sub"), kind
);
2846 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2851 gfc_resolve_perror (gfc_code
*c
)
2853 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (PREFIX ("perror_sub"));
2856 /* Resolve the STAT and FSTAT intrinsic subroutines. */
2859 gfc_resolve_stat_sub (gfc_code
*c
)
2862 name
= gfc_get_string (PREFIX ("stat_i%d_sub"), gfc_default_integer_kind
);
2863 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2868 gfc_resolve_lstat_sub (gfc_code
*c
)
2871 name
= gfc_get_string (PREFIX ("lstat_i%d_sub"), gfc_default_integer_kind
);
2872 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2877 gfc_resolve_fstat_sub (gfc_code
*c
)
2883 u
= c
->ext
.actual
->expr
;
2884 ts
= &c
->ext
.actual
->next
->expr
->ts
;
2885 if (u
->ts
.kind
!= ts
->kind
)
2886 gfc_convert_type (u
, ts
, 2);
2887 name
= gfc_get_string (PREFIX ("fstat_i%d_sub"), ts
->kind
);
2888 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2893 gfc_resolve_fgetc_sub (gfc_code
*c
)
2899 u
= c
->ext
.actual
->expr
;
2900 st
= c
->ext
.actual
->next
->next
->expr
;
2902 if (u
->ts
.kind
!= gfc_c_int_kind
)
2904 ts
.type
= BT_INTEGER
;
2905 ts
.kind
= gfc_c_int_kind
;
2908 gfc_convert_type (u
, &ts
, 2);
2912 name
= gfc_get_string (PREFIX ("fgetc_i%d_sub"), st
->ts
.kind
);
2914 name
= gfc_get_string (PREFIX ("fgetc_i%d_sub"), gfc_default_integer_kind
);
2916 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2921 gfc_resolve_fget_sub (gfc_code
*c
)
2926 st
= c
->ext
.actual
->next
->expr
;
2928 name
= gfc_get_string (PREFIX ("fget_i%d_sub"), st
->ts
.kind
);
2930 name
= gfc_get_string (PREFIX ("fget_i%d_sub"), gfc_default_integer_kind
);
2932 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2937 gfc_resolve_fputc_sub (gfc_code
*c
)
2943 u
= c
->ext
.actual
->expr
;
2944 st
= c
->ext
.actual
->next
->next
->expr
;
2946 if (u
->ts
.kind
!= gfc_c_int_kind
)
2948 ts
.type
= BT_INTEGER
;
2949 ts
.kind
= gfc_c_int_kind
;
2952 gfc_convert_type (u
, &ts
, 2);
2956 name
= gfc_get_string (PREFIX ("fputc_i%d_sub"), st
->ts
.kind
);
2958 name
= gfc_get_string (PREFIX ("fputc_i%d_sub"), gfc_default_integer_kind
);
2960 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2965 gfc_resolve_fput_sub (gfc_code
*c
)
2970 st
= c
->ext
.actual
->next
->expr
;
2972 name
= gfc_get_string (PREFIX ("fput_i%d_sub"), st
->ts
.kind
);
2974 name
= gfc_get_string (PREFIX ("fput_i%d_sub"), gfc_default_integer_kind
);
2976 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
2981 gfc_resolve_ftell_sub (gfc_code
*c
)
2988 unit
= c
->ext
.actual
->expr
;
2989 offset
= c
->ext
.actual
->next
->expr
;
2991 if (unit
->ts
.kind
!= gfc_c_int_kind
)
2993 ts
.type
= BT_INTEGER
;
2994 ts
.kind
= gfc_c_int_kind
;
2997 gfc_convert_type (unit
, &ts
, 2);
3000 name
= gfc_get_string (PREFIX ("ftell_i%d_sub"), offset
->ts
.kind
);
3001 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
3006 gfc_resolve_ttynam_sub (gfc_code
*c
)
3010 if (c
->ext
.actual
->expr
->ts
.kind
!= gfc_c_int_kind
)
3012 ts
.type
= BT_INTEGER
;
3013 ts
.kind
= gfc_c_int_kind
;
3016 gfc_convert_type (c
->ext
.actual
->expr
, &ts
, 2);
3019 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (PREFIX ("ttynam_sub"));
3023 /* Resolve the UMASK intrinsic subroutine. */
3026 gfc_resolve_umask_sub (gfc_code
*c
)
3031 if (c
->ext
.actual
->next
->expr
!= NULL
)
3032 kind
= c
->ext
.actual
->next
->expr
->ts
.kind
;
3034 kind
= gfc_default_integer_kind
;
3036 name
= gfc_get_string (PREFIX ("umask_i%d_sub"), kind
);
3037 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);
3040 /* Resolve the UNLINK intrinsic subroutine. */
3043 gfc_resolve_unlink_sub (gfc_code
*c
)
3048 if (c
->ext
.actual
->next
->expr
!= NULL
)
3049 kind
= c
->ext
.actual
->next
->expr
->ts
.kind
;
3051 kind
= gfc_default_integer_kind
;
3053 name
= gfc_get_string (PREFIX ("unlink_i%d_sub"), kind
);
3054 c
->resolved_sym
= gfc_get_intrinsic_sub_symbol (name
);