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;