]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/fortran/intrinsic.h
re PR fortran/14066 (Infinite DO loops not recognized.)
[thirdparty/gcc.git] / gcc / fortran / intrinsic.h
CommitLineData
6de9cd9a
DN
1/* Header file for intrinsics check, resolve and simplify function
2 prototypes.
3 Copyright (C) 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
4 Contributed by Andy Vaught & Katherine Holcomb
5
9fc4d79b 6This file is part of GCC.
6de9cd9a 7
9fc4d79b
TS
8GCC is free software; you can redistribute it and/or modify it under
9the terms of the GNU General Public License as published by the Free
10Software Foundation; either version 2, or (at your option) any later
11version.
6de9cd9a 12
9fc4d79b
TS
13GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14WARRANTY; without even the implied warranty of MERCHANTABILITY or
15FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16for more details.
6de9cd9a
DN
17
18You should have received a copy of the GNU General Public License
9fc4d79b
TS
19along with GCC; see the file COPYING. If not, write to the Free
20Software Foundation, 59 Temple Place - Suite 330, Boston, MA
2102111-1307, USA. */
6de9cd9a
DN
22
23/* Expression returned when simplification fails. */
24
25extern gfc_expr gfc_bad_expr;
26
27
28/* Check functions. */
29try gfc_check_a_ikind (gfc_expr *, gfc_expr *);
30try gfc_check_a_xkind (gfc_expr *, gfc_expr *);
31try gfc_check_a_p (gfc_expr *, gfc_expr *);
32
33try gfc_check_abs (gfc_expr *);
34try gfc_check_all_any (gfc_expr *, gfc_expr *);
35try gfc_check_allocated (gfc_expr *);
36try gfc_check_associated (gfc_expr *, gfc_expr *);
37try gfc_check_btest (gfc_expr *, gfc_expr *);
38try gfc_check_char (gfc_expr *, gfc_expr *);
39try gfc_check_cmplx (gfc_expr *, gfc_expr *, gfc_expr *);
40try gfc_check_count (gfc_expr *, gfc_expr *);
41try gfc_check_cshift (gfc_expr *, gfc_expr *, gfc_expr *);
42try gfc_check_dcmplx (gfc_expr *, gfc_expr *);
43try gfc_check_dble (gfc_expr *);
44try gfc_check_digits (gfc_expr *);
45try gfc_check_dot_product (gfc_expr *, gfc_expr *);
46try gfc_check_eoshift (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
47try gfc_check_huge (gfc_expr *);
48try gfc_check_i (gfc_expr *);
49try gfc_check_iand (gfc_expr *, gfc_expr *);
50try gfc_check_ibclr (gfc_expr *, gfc_expr *);
51try gfc_check_ibits (gfc_expr *, gfc_expr *, gfc_expr *);
52try gfc_check_ibset (gfc_expr *, gfc_expr *);
53try gfc_check_idnint (gfc_expr *);
54try gfc_check_ieor (gfc_expr *, gfc_expr *);
55try gfc_check_index (gfc_expr *, gfc_expr *, gfc_expr *);
56try gfc_check_int (gfc_expr *, gfc_expr *);
57try gfc_check_ior (gfc_expr *, gfc_expr *);
58try gfc_check_ishft (gfc_expr *, gfc_expr *);
59try gfc_check_ishftc (gfc_expr *, gfc_expr *, gfc_expr *);
60try gfc_check_kind (gfc_expr *);
61try gfc_check_lbound (gfc_expr *, gfc_expr *);
62try gfc_check_logical (gfc_expr *, gfc_expr *);
63try gfc_check_min_max (gfc_actual_arglist *);
64try gfc_check_min_max_integer (gfc_actual_arglist *);
65try gfc_check_min_max_real (gfc_actual_arglist *);
66try gfc_check_min_max_double (gfc_actual_arglist *);
67try gfc_check_matmul (gfc_expr *, gfc_expr *);
68try gfc_check_merge (gfc_expr *, gfc_expr *, gfc_expr *);
69try gfc_check_minloc_maxloc (gfc_expr *, gfc_expr *, gfc_expr *);
70try gfc_check_minval_maxval (gfc_expr *, gfc_expr *, gfc_expr *);
71try gfc_check_nearest (gfc_expr *, gfc_expr *);
72try gfc_check_null (gfc_expr *);
73try gfc_check_pack (gfc_expr *, gfc_expr *, gfc_expr *);
74try gfc_check_precision (gfc_expr *);
75try gfc_check_present (gfc_expr *);
76try gfc_check_product (gfc_expr *, gfc_expr *, gfc_expr *);
77try gfc_check_radix (gfc_expr *);
78try gfc_check_range (gfc_expr *);
79try gfc_check_real (gfc_expr *, gfc_expr *);
80try gfc_check_repeat (gfc_expr *, gfc_expr *);
81try gfc_check_reshape (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
82try gfc_check_scale (gfc_expr *, gfc_expr *);
83try gfc_check_scan (gfc_expr *, gfc_expr *, gfc_expr *);
84try gfc_check_selected_real_kind (gfc_expr *, gfc_expr *);
85try gfc_check_set_exponent (gfc_expr *, gfc_expr *);
86try gfc_check_shape (gfc_expr *);
87try gfc_check_size (gfc_expr *, gfc_expr *);
88try gfc_check_sign (gfc_expr *, gfc_expr *);
89try gfc_check_spread (gfc_expr *, gfc_expr *, gfc_expr *);
90try gfc_check_sum (gfc_expr *, gfc_expr *, gfc_expr *);
91try gfc_check_transfer (gfc_expr *, gfc_expr *, gfc_expr *);
92try gfc_check_transpose (gfc_expr *);
93try gfc_check_trim (gfc_expr *);
94try gfc_check_ubound (gfc_expr *, gfc_expr *);
95try gfc_check_unpack (gfc_expr *, gfc_expr *, gfc_expr *);
96try gfc_check_verify (gfc_expr *, gfc_expr *, gfc_expr *);
97try gfc_check_x (gfc_expr *);
98
99
100/* Intrinsic subroutines. */
101try gfc_check_cpu_time (gfc_expr *);
102try gfc_check_date_and_time (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
103try gfc_check_mvbits (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *,
104 gfc_expr *);
105try gfc_check_random_number (gfc_expr *);
106try gfc_check_random_seed (gfc_expr *, gfc_expr *, gfc_expr *);
107
108
109/* Simplification functions. */
110gfc_expr *gfc_simplify_abs (gfc_expr *);
111gfc_expr *gfc_simplify_achar (gfc_expr *);
112gfc_expr *gfc_simplify_acos (gfc_expr *);
113gfc_expr *gfc_simplify_adjustl (gfc_expr *);
114gfc_expr *gfc_simplify_adjustr (gfc_expr *);
115gfc_expr *gfc_simplify_aimag (gfc_expr *);
116gfc_expr *gfc_simplify_aint (gfc_expr *, gfc_expr *);
117gfc_expr *gfc_simplify_dint (gfc_expr *);
118gfc_expr *gfc_simplify_anint (gfc_expr *, gfc_expr *);
119gfc_expr *gfc_simplify_dnint (gfc_expr *);
120gfc_expr *gfc_simplify_asin (gfc_expr *);
121gfc_expr *gfc_simplify_atan (gfc_expr *);
122gfc_expr *gfc_simplify_atan2 (gfc_expr *, gfc_expr *);
123gfc_expr *gfc_simplify_bit_size (gfc_expr *);
124gfc_expr *gfc_simplify_btest (gfc_expr *, gfc_expr *);
125gfc_expr *gfc_simplify_ceiling (gfc_expr *, gfc_expr *);
126gfc_expr *gfc_simplify_char (gfc_expr *, gfc_expr *);
127gfc_expr *gfc_simplify_cmplx (gfc_expr *, gfc_expr *, gfc_expr *);
128gfc_expr *gfc_simplify_conjg (gfc_expr *);
129gfc_expr *gfc_simplify_cos (gfc_expr *);
130gfc_expr *gfc_simplify_cosh (gfc_expr *);
131gfc_expr *gfc_simplify_dcmplx (gfc_expr *, gfc_expr *);
132gfc_expr *gfc_simplify_dble (gfc_expr *);
133gfc_expr *gfc_simplify_digits (gfc_expr *);
134gfc_expr *gfc_simplify_dim (gfc_expr *, gfc_expr *);
135gfc_expr *gfc_simplify_dprod (gfc_expr *, gfc_expr *);
136gfc_expr *gfc_simplify_epsilon (gfc_expr *);
137gfc_expr *gfc_simplify_exp (gfc_expr *);
138gfc_expr *gfc_simplify_exponent (gfc_expr *);
139gfc_expr *gfc_simplify_float (gfc_expr *);
140gfc_expr *gfc_simplify_floor (gfc_expr *, gfc_expr *);
141gfc_expr *gfc_simplify_fraction (gfc_expr *);
142gfc_expr *gfc_simplify_huge (gfc_expr *);
143gfc_expr *gfc_simplify_iachar (gfc_expr *);
144gfc_expr *gfc_simplify_iand (gfc_expr *, gfc_expr *);
145gfc_expr *gfc_simplify_ibclr (gfc_expr *, gfc_expr *);
146gfc_expr *gfc_simplify_ibits (gfc_expr *, gfc_expr *, gfc_expr *);
147gfc_expr *gfc_simplify_ibset (gfc_expr *, gfc_expr *);
148gfc_expr *gfc_simplify_ichar (gfc_expr *);
149gfc_expr *gfc_simplify_ieor (gfc_expr *, gfc_expr *);
150gfc_expr *gfc_simplify_index (gfc_expr *, gfc_expr *, gfc_expr *);
151gfc_expr *gfc_simplify_int (gfc_expr *, gfc_expr *);
152gfc_expr *gfc_simplify_ifix (gfc_expr *);
153gfc_expr *gfc_simplify_idint (gfc_expr *);
154gfc_expr *gfc_simplify_ior (gfc_expr *, gfc_expr *);
155gfc_expr *gfc_simplify_ishft (gfc_expr *, gfc_expr *);
156gfc_expr *gfc_simplify_ishftc (gfc_expr *, gfc_expr *, gfc_expr *);
157gfc_expr *gfc_simplify_kind (gfc_expr *);
158gfc_expr *gfc_simplify_lbound (gfc_expr *, gfc_expr *);
159gfc_expr *gfc_simplify_len (gfc_expr *);
160gfc_expr *gfc_simplify_len_trim (gfc_expr *);
161gfc_expr *gfc_simplify_lge (gfc_expr *, gfc_expr *);
162gfc_expr *gfc_simplify_lgt (gfc_expr *, gfc_expr *);
163gfc_expr *gfc_simplify_lle (gfc_expr *, gfc_expr *);
164gfc_expr *gfc_simplify_llt (gfc_expr *, gfc_expr *);
165gfc_expr *gfc_simplify_log (gfc_expr *);
166gfc_expr *gfc_simplify_log10 (gfc_expr *);
167gfc_expr *gfc_simplify_logical (gfc_expr *, gfc_expr *);
168gfc_expr *gfc_simplify_min (gfc_expr *);
169gfc_expr *gfc_simplify_max (gfc_expr *);
170gfc_expr *gfc_simplify_maxexponent (gfc_expr *);
171gfc_expr *gfc_simplify_minexponent (gfc_expr *);
172gfc_expr *gfc_simplify_mod (gfc_expr *, gfc_expr *);
173gfc_expr *gfc_simplify_modulo (gfc_expr *, gfc_expr *);
174gfc_expr *gfc_simplify_mvbits (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *,
175 gfc_expr *);
176gfc_expr *gfc_simplify_nearest (gfc_expr *, gfc_expr *);
177gfc_expr *gfc_simplify_nint (gfc_expr *, gfc_expr *);
178gfc_expr *gfc_simplify_null (gfc_expr *);
179gfc_expr *gfc_simplify_idnint (gfc_expr *);
180gfc_expr *gfc_simplify_not (gfc_expr *);
181gfc_expr *gfc_simplify_precision (gfc_expr *);
182gfc_expr *gfc_simplify_radix (gfc_expr *);
183gfc_expr *gfc_simplify_range (gfc_expr *);
184gfc_expr *gfc_simplify_real (gfc_expr *, gfc_expr *);
185gfc_expr *gfc_simplify_repeat (gfc_expr *, gfc_expr *);
186gfc_expr *gfc_simplify_reshape (gfc_expr *, gfc_expr *, gfc_expr *,
187 gfc_expr *);
188gfc_expr *gfc_simplify_rrspacing (gfc_expr *);
189gfc_expr *gfc_simplify_scale (gfc_expr *, gfc_expr *);
190gfc_expr *gfc_simplify_scan (gfc_expr *, gfc_expr *, gfc_expr *);
191gfc_expr *gfc_simplify_selected_int_kind (gfc_expr *);
192gfc_expr *gfc_simplify_selected_real_kind (gfc_expr *, gfc_expr *);
193gfc_expr *gfc_simplify_set_exponent (gfc_expr *, gfc_expr *);
194gfc_expr *gfc_simplify_sign (gfc_expr *, gfc_expr *);
195gfc_expr *gfc_simplify_shape (gfc_expr *);
196gfc_expr *gfc_simplify_sin (gfc_expr *);
197gfc_expr *gfc_simplify_sinh (gfc_expr *);
198gfc_expr *gfc_simplify_size (gfc_expr *, gfc_expr *);
199gfc_expr *gfc_simplify_sngl (gfc_expr *);
200gfc_expr *gfc_simplify_spacing (gfc_expr *);
201gfc_expr *gfc_simplify_sqrt (gfc_expr *);
202gfc_expr *gfc_simplify_tan (gfc_expr *);
203gfc_expr *gfc_simplify_tanh (gfc_expr *);
204gfc_expr *gfc_simplify_tiny (gfc_expr *);
205gfc_expr *gfc_simplify_trim (gfc_expr *);
206gfc_expr *gfc_simplify_ubound (gfc_expr *, gfc_expr *);
207gfc_expr *gfc_simplify_verify (gfc_expr *, gfc_expr *, gfc_expr *);
208
209/* Constant conversion simplification. */
210gfc_expr *gfc_convert_constant (gfc_expr *, bt, int);
211
212
213/* Resolution functions. */
214void gfc_resolve_abs (gfc_expr *, gfc_expr *);
215void gfc_resolve_acos (gfc_expr *, gfc_expr *);
216void gfc_resolve_aimag (gfc_expr *, gfc_expr *);
217void gfc_resolve_aint (gfc_expr *, gfc_expr *, gfc_expr *);
218void gfc_resolve_dint (gfc_expr *, gfc_expr *);
219void gfc_resolve_all (gfc_expr *, gfc_expr *, gfc_expr *);
220void gfc_resolve_anint (gfc_expr *, gfc_expr *, gfc_expr *);
221void gfc_resolve_dnint (gfc_expr *, gfc_expr *);
222void gfc_resolve_any (gfc_expr *, gfc_expr *, gfc_expr *);
223void gfc_resolve_asin (gfc_expr *, gfc_expr *);
224void gfc_resolve_atan (gfc_expr *, gfc_expr *);
225void gfc_resolve_atan2 (gfc_expr *, gfc_expr *, gfc_expr *);
226void gfc_resolve_btest (gfc_expr *, gfc_expr *, gfc_expr *);
227void gfc_resolve_ceiling (gfc_expr *, gfc_expr *, gfc_expr *);
228void gfc_resolve_char (gfc_expr *, gfc_expr *, gfc_expr *);
229void gfc_resolve_cmplx (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
230void gfc_resolve_dcmplx (gfc_expr *, gfc_expr *, gfc_expr *);
231void gfc_resolve_conjg (gfc_expr *, gfc_expr *);
232void gfc_resolve_cos (gfc_expr *, gfc_expr *);
233void gfc_resolve_cosh (gfc_expr *, gfc_expr *);
234void gfc_resolve_count (gfc_expr *, gfc_expr *, gfc_expr *);
235void gfc_resolve_cshift (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
236void gfc_resolve_dble (gfc_expr *, gfc_expr *);
237void gfc_resolve_dim (gfc_expr *, gfc_expr *, gfc_expr *);
238void gfc_resolve_dot_product (gfc_expr *, gfc_expr *, gfc_expr *);
239void gfc_resolve_dprod (gfc_expr *, gfc_expr *, gfc_expr *);
240void gfc_resolve_eoshift (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *,
241 gfc_expr *);
242void gfc_resolve_exp (gfc_expr *, gfc_expr *);
243void gfc_resolve_exponent (gfc_expr *, gfc_expr *);
244void gfc_resolve_floor (gfc_expr *, gfc_expr *, gfc_expr *);
245void gfc_resolve_fraction (gfc_expr *, gfc_expr *);
246void gfc_resolve_iand (gfc_expr *, gfc_expr *, gfc_expr *);
247void gfc_resolve_ibclr (gfc_expr *, gfc_expr *, gfc_expr *);
248void gfc_resolve_ibits (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
249void gfc_resolve_ibset (gfc_expr *, gfc_expr *, gfc_expr *);
250void gfc_resolve_ieor (gfc_expr *, gfc_expr *, gfc_expr *);
251void gfc_resolve_ichar (gfc_expr *, gfc_expr *);
252void gfc_resolve_idnint (gfc_expr *, gfc_expr *);
253void gfc_resolve_int (gfc_expr *, gfc_expr *, gfc_expr *);
254void gfc_resolve_ior (gfc_expr *, gfc_expr *, gfc_expr *);
255void gfc_resolve_ishft (gfc_expr *, gfc_expr *, gfc_expr *);
256void gfc_resolve_ishftc (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
257void gfc_resolve_lbound (gfc_expr *, gfc_expr *, gfc_expr *);
258void gfc_resolve_len (gfc_expr *, gfc_expr *);
259void gfc_resolve_len_trim (gfc_expr *, gfc_expr *);
260void gfc_resolve_log (gfc_expr *, gfc_expr *);
261void gfc_resolve_log10 (gfc_expr *, gfc_expr *);
262void gfc_resolve_logical (gfc_expr *, gfc_expr *, gfc_expr *);
263void gfc_resolve_matmul (gfc_expr *, gfc_expr *, gfc_expr *);
264void gfc_resolve_max (gfc_expr *, gfc_actual_arglist *);
265void gfc_resolve_maxloc (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
266void gfc_resolve_maxval (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
267void gfc_resolve_merge (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
268void gfc_resolve_min (gfc_expr *, gfc_actual_arglist *);
269void gfc_resolve_minloc (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
270void gfc_resolve_minval (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
271void gfc_resolve_mod (gfc_expr *, gfc_expr *, gfc_expr *);
272void gfc_resolve_modulo (gfc_expr *, gfc_expr *, gfc_expr *);
273void gfc_resolve_nint (gfc_expr *, gfc_expr *, gfc_expr *);
274void gfc_resolve_not (gfc_expr *, gfc_expr *);
275void gfc_resolve_pack (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
276void gfc_resolve_product (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
277void gfc_resolve_real (gfc_expr *, gfc_expr *, gfc_expr *);
278void gfc_resolve_repeat (gfc_expr *, gfc_expr *, gfc_expr *);
279void gfc_resolve_reshape (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *,
280 gfc_expr *);
281void gfc_resolve_rrspacing (gfc_expr *, gfc_expr *);
282void gfc_resolve_scale (gfc_expr *, gfc_expr *, gfc_expr *);
283void gfc_resolve_scan (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
284void gfc_resolve_set_exponent (gfc_expr *, gfc_expr *, gfc_expr *);
285void gfc_resolve_shape (gfc_expr *, gfc_expr *);
286void gfc_resolve_sign (gfc_expr *, gfc_expr *, gfc_expr *);
287void gfc_resolve_sin (gfc_expr *, gfc_expr *);
288void gfc_resolve_sinh (gfc_expr *, gfc_expr *);
289void gfc_resolve_spacing (gfc_expr *, gfc_expr *);
290void gfc_resolve_spread (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
291void gfc_resolve_sqrt (gfc_expr *, gfc_expr *);
292void gfc_resolve_sum (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
293void gfc_resolve_tan (gfc_expr *, gfc_expr *);
294void gfc_resolve_tanh (gfc_expr *, gfc_expr *);
295void gfc_resolve_transfer (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
296void gfc_resolve_transpose (gfc_expr *, gfc_expr *);
297void gfc_resolve_trim (gfc_expr *, gfc_expr *);
298void gfc_resolve_ubound (gfc_expr *, gfc_expr *, gfc_expr *);
299void gfc_resolve_unpack (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
300void gfc_resolve_verify (gfc_expr *, gfc_expr *, gfc_expr *, gfc_expr *);
301
302
303/* Intrinsic subroutine resolution. */
304void gfc_resolve_cpu_time (gfc_code *);
305void gfc_resolve_random_number (gfc_code *);
306
307
308/* The mvbits() subroutine requires the most arguments: five. */
309
310#define MAX_INTRINSIC_ARGS 5
311
312extern char *gfc_current_intrinsic,
313 *gfc_current_intrinsic_arg[MAX_INTRINSIC_ARGS];
314extern locus *gfc_current_intrinsic_where;