1 /* info.c -- Implementation File (module.c template V1.0)
2 Copyright (C) 1995, 2002, 2003 Free Software Foundation, Inc.
3 Contributed by James Craig Burley.
5 This file is part of GNU Fortran.
7 GNU Fortran is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GNU Fortran is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU Fortran; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
26 An abstraction for information maintained on a per-operator and per-
27 operand basis in expression trees.
31 Extensive rewrite for new cleaner approach.
41 /* Externals defined here. */
44 /* Simple definitions and enumerations. */
47 /* Internal typedefs. */
50 /* Private include files. */
53 /* Internal structure definitions. */
56 /* Static objects accessed by functions in this module. */
58 static const char *const ffeinfo_basictype_string_
[]
61 #define FFEINFO_BASICTYPE(KWD,LNAM,SNAM) SNAM,
63 #undef FFEINFO_BASICTYPE
65 static const char *const ffeinfo_kind_message_
[]
68 #define FFEINFO_KIND(kwd,msgid,snam) msgid,
72 static const char *const ffeinfo_kind_string_
[]
75 #define FFEINFO_KIND(KWD,LNAM,SNAM) SNAM,
79 static ffeinfoBasictype ffeinfo_combine_
[FFEINFO_basictype
][FFEINFO_basictype
];
80 static const char *const ffeinfo_kindtype_string_
[]
94 static const char *const ffeinfo_where_string_
[]
97 #define FFEINFO_WHERE(KWD,LNAM,SNAM) SNAM,
101 static ffetype ffeinfo_types_
[FFEINFO_basictype
][FFEINFO_kindtype
];
103 /* Static functions (internal). */
106 /* Internal macros. */
109 /* ffeinfo_basictype_combine -- Combine two basictypes into highest rank type
111 ffeinfoBasictype i, j, k;
112 k = ffeinfo_basictype_combine(i,j);
114 Returns a type based on "standard" operation between two given types. */
117 ffeinfo_basictype_combine (ffeinfoBasictype l
, ffeinfoBasictype r
)
119 assert (l
< FFEINFO_basictype
);
120 assert (r
< FFEINFO_basictype
);
121 return ffeinfo_combine_
[l
][r
];
124 /* ffeinfo_basictype_string -- Return tiny string showing the basictype
127 printf("%s",ffeinfo_basictype_string(dt));
129 Returns the string based on the basic type. */
132 ffeinfo_basictype_string (ffeinfoBasictype basictype
)
134 if (basictype
>= ARRAY_SIZE (ffeinfo_basictype_string_
))
136 return ffeinfo_basictype_string_
[basictype
];
139 /* ffeinfo_init_0 -- Initialize
144 ffeinfo_init_0 (void)
149 assert (FFEINFO_basictype
== ARRAY_SIZE (ffeinfo_basictype_string_
));
150 assert (FFEINFO_kind
== ARRAY_SIZE (ffeinfo_kind_message_
));
151 assert (FFEINFO_kind
== ARRAY_SIZE (ffeinfo_kind_string_
));
152 assert (FFEINFO_kindtype
== ARRAY_SIZE (ffeinfo_kindtype_string_
));
153 assert (FFEINFO_where
== ARRAY_SIZE (ffeinfo_where_string_
));
155 /* Make array that, given two basic types, produces resulting basic type. */
157 for (i
= 0; i
< FFEINFO_basictype
; ++i
)
158 for (j
= 0; j
< FFEINFO_basictype
; ++j
)
159 if ((i
== FFEINFO_basictypeANY
) || (j
== FFEINFO_basictypeANY
))
160 ffeinfo_combine_
[i
][j
] = FFEINFO_basictypeANY
;
162 ffeinfo_combine_
[i
][j
] = FFEINFO_basictypeNONE
;
164 #define same(bt) ffeinfo_combine_[bt][bt] = bt
165 #define use2(bt1,bt2) ffeinfo_combine_[bt1][bt2] \
166 = ffeinfo_combine_[bt2][bt1] = bt2
168 same (FFEINFO_basictypeINTEGER
);
169 same (FFEINFO_basictypeLOGICAL
);
170 same (FFEINFO_basictypeREAL
);
171 same (FFEINFO_basictypeCOMPLEX
);
172 same (FFEINFO_basictypeCHARACTER
);
173 use2 (FFEINFO_basictypeINTEGER
, FFEINFO_basictypeREAL
);
174 use2 (FFEINFO_basictypeINTEGER
, FFEINFO_basictypeCOMPLEX
);
175 use2 (FFEINFO_basictypeREAL
, FFEINFO_basictypeCOMPLEX
);
181 /* ffeinfo_kind_message -- Return helpful string showing the kind
184 printf("%s",ffeinfo_kind_message(kind));
186 Returns the string based on the kind. */
189 ffeinfo_kind_message (ffeinfoKind kind
)
191 if (kind
>= ARRAY_SIZE (ffeinfo_kind_message_
))
193 return ffeinfo_kind_message_
[kind
];
196 /* ffeinfo_kind_string -- Return tiny string showing the kind
199 printf("%s",ffeinfo_kind_string(kind));
201 Returns the string based on the kind. */
204 ffeinfo_kind_string (ffeinfoKind kind
)
206 if (kind
>= ARRAY_SIZE (ffeinfo_kind_string_
))
208 return ffeinfo_kind_string_
[kind
];
212 ffeinfo_kindtype_max(ffeinfoBasictype bt
,
216 if ((bt
== FFEINFO_basictypeANY
)
217 || (k1
== FFEINFO_kindtypeANY
)
218 || (k2
== FFEINFO_kindtypeANY
))
219 return FFEINFO_kindtypeANY
;
221 if (ffetype_size (ffeinfo_types_
[bt
][k1
])
222 > ffetype_size (ffeinfo_types_
[bt
][k2
]))
227 /* ffeinfo_kindtype_string -- Return tiny string showing the kind type
229 ffeinfoKindtype kind_type;
230 printf("%s",ffeinfo_kindtype_string(kind));
232 Returns the string based on the kind type. */
235 ffeinfo_kindtype_string (ffeinfoKindtype kind_type
)
237 if (kind_type
>= ARRAY_SIZE (ffeinfo_kindtype_string_
))
239 return ffeinfo_kindtype_string_
[kind_type
];
243 ffeinfo_set_type (ffeinfoBasictype basictype
, ffeinfoKindtype kindtype
,
246 assert (basictype
< FFEINFO_basictype
);
247 assert (kindtype
< FFEINFO_kindtype
);
248 assert (ffeinfo_types_
[basictype
][kindtype
] == NULL
);
250 ffeinfo_types_
[basictype
][kindtype
] = type
;
254 ffeinfo_type (ffeinfoBasictype basictype
, ffeinfoKindtype kindtype
)
256 assert (basictype
< FFEINFO_basictype
);
257 assert (kindtype
< FFEINFO_kindtype
);
259 return ffeinfo_types_
[basictype
][kindtype
];
262 /* ffeinfo_where_string -- Return tiny string showing the where
265 printf("%s",ffeinfo_where_string(where));
267 Returns the string based on the where. */
270 ffeinfo_where_string (ffeinfoWhere where
)
272 if (where
>= ARRAY_SIZE (ffeinfo_where_string_
))
274 return ffeinfo_where_string_
[where
];
277 /* ffeinfo_new -- Return object representing datatype, kind, and where info
280 i = ffeinfo_new(FFEINFO_datatypeINTEGER,FFEINFO_kindSCALAR,
283 Returns the string based on the data type. */
287 ffeinfo_new (ffeinfoBasictype basictype
, ffeinfoKindtype kindtype
,
288 ffeinfoRank rank
, ffeinfoKind kind
, ffeinfoWhere where
,
289 ffetargetCharacterSize size
)
293 i
.basictype
= basictype
;
294 i
.kindtype
= kindtype
;