]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/read-md.h
PR c++/61339 - add mismatch between struct and class [-Wmismatched-tags] to non-bugs
[thirdparty/gcc.git] / gcc / read-md.h
CommitLineData
10692477 1/* MD reader definitions.
a5544970 2 Copyright (C) 1987-2019 Free Software Foundation, Inc.
10692477
RS
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
15
16You should have received a copy of the GNU General Public License
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
19
f1717f8d
KC
20#ifndef GCC_READ_MD_H
21#define GCC_READ_MD_H
22
10692477 23#include "obstack.h"
9f418533 24
cc472607 25/* Records a position in the file. */
6c1dae73
MS
26class file_location {
27public:
cc472607 28 file_location () {}
3814e880 29 file_location (const char *, int, int);
cc472607
RS
30
31 const char *filename;
32 int lineno;
3814e880 33 int colno;
cc472607
RS
34};
35
3814e880
DM
36inline file_location::file_location (const char *filename_in, int lineno_in, int colno_in)
37: filename (filename_in), lineno (lineno_in), colno (colno_in) {}
cc472607 38
9f418533
RS
39/* Holds one symbol or number in the .md file. */
40struct md_name {
41 /* The name as it appeared in the .md file. Names are syntactically
42 limited to the length of this buffer. */
43 char buffer[256];
44
45 /* The name that should actually be used by the generator programs.
46 This is an expansion of NAME, after things like constant substitution. */
47 char *string;
48};
49
24609606
RS
50/* This structure represents a constant defined by define_constant,
51 define_enum, or such-like. */
9f418533 52struct md_constant {
24609606 53 /* The name of the constant. */
9f418533 54 char *name;
24609606
RS
55
56 /* The string to which the constants expands. */
9f418533 57 char *value;
24609606
RS
58
59 /* If the constant is associated with a enumeration, this field
60 points to that enumeration, otherwise it is null. */
61 struct enum_type *parent_enum;
62};
63
64/* This structure represents one value in an enum_type. */
65struct enum_value {
66 /* The next value in the enum, or null if this is the last. */
67 struct enum_value *next;
68
69 /* The name of the value as it appears in the .md file. */
70 char *name;
71
72 /* The definition of the related C value. */
73 struct md_constant *def;
74};
75
76/* This structure represents an enum defined by define_enum or the like. */
77struct enum_type {
78 /* The C name of the enumeration. */
79 char *name;
80
81 /* True if this is an md-style enum (DEFINE_ENUM) rather than
82 a C-style enum (DEFINE_C_ENUM). */
83 bool md_p;
84
85 /* The values of the enumeration. There is always at least one. */
86 struct enum_value *values;
87
88 /* A pointer to the null terminator in VALUES. */
89 struct enum_value **tail_ptr;
90
91 /* The number of enumeration values. */
92 unsigned int num_values;
9f418533 93};
10692477 94
0016d8d9
RS
95/* Describes one instance of an overloaded_name. */
96struct overloaded_instance {
97 /* The next instance in the chain, or null if none. */
98 overloaded_instance *next;
99
100 /* The values that the overloaded_name arguments should have for this
101 instance to be chosen. Each value is a C token. */
102 vec<const char *> arg_values;
103
104 /* The full (non-overloaded) name of the pattern. */
105 const char *name;
106
107 /* The corresponding define_expand or define_insn. */
108 rtx insn;
109};
110
111/* Describes a define_expand or define_insn whose name was preceded by '@'.
112 Overloads are uniquely determined by their name and the types of their
113 arguments; it's possible to have overloads with the same name but
114 different argument types. */
115struct overloaded_name {
116 /* The next overloaded name in the chain. */
117 overloaded_name *next;
118
119 /* The overloaded name (i.e. the name with "@" character and
120 "<...>" placeholders removed). */
121 const char *name;
122
123 /* The C types of the iterators that determine the underlying pattern,
124 in the same order as in the pattern name. E.g. "<mode>" in the
125 pattern name would give a "machine_mode" argument here. */
126 vec<const char *> arg_types;
127
128 /* The first instance associated with this overloaded_name. */
129 overloaded_instance *first_instance;
130
131 /* Where to chain new overloaded_instances. */
132 overloaded_instance **next_instance_ptr;
133};
134
135struct mapping;
136
a96d1f1d
DM
137/* A class for reading .md files and RTL dump files.
138
139 Implemented in read-md.c.
140
141 This class has responsibility for reading chars from input files, and
142 for certain common top-level directives including the "include"
143 directive.
144
145 It does not handle parsing the hierarchically-nested expressions of
146 rtl.def; for that see the rtx_reader subclass below (implemented in
147 read-rtl.c). */
148
149class md_reader
812b1403
DM
150{
151 public:
51b86113 152 md_reader (bool compact);
a96d1f1d 153 virtual ~md_reader ();
812b1403
DM
154
155 bool read_md_files (int, const char **, bool (*) (const char *));
51b86113 156 bool read_file (const char *filename);
c2e84327
DM
157 bool read_file_fragment (const char *filename,
158 int first_line,
159 int last_line);
812b1403
DM
160
161 /* A hook that handles a single .md-file directive, up to but not
162 including the closing ')'. It takes two arguments: the file position
163 at which the directive started, and the name of the directive. The next
164 unread character is the optional space after the directive name. */
165 virtual void handle_unknown_directive (file_location, const char *) = 0;
166
167 file_location get_current_location () const;
168
51b86113
DM
169 bool is_compact () const { return m_compact; }
170
b78027d1 171 /* Defined in read-md.c. */
812b1403
DM
172 int read_char (void);
173 void unread_char (int ch);
51b86113
DM
174 file_location read_name (struct md_name *name);
175 file_location read_name_or_nil (struct md_name *);
b78027d1
DM
176 void read_escape ();
177 char *read_quoted_string ();
178 char *read_braced_string ();
179 char *read_string (int star_if_braced);
180 void read_skip_construct (int depth, file_location loc);
9c4e96eb
DM
181 void require_char (char expected);
182 void require_char_ws (char expected);
183 void require_word_ws (const char *expected);
184 int peek_char (void);
b78027d1
DM
185
186 void set_md_ptr_loc (const void *ptr, const char *filename, int lineno);
187 const struct ptr_loc *get_md_ptr_loc (const void *ptr);
188 void copy_md_ptr_loc (const void *new_ptr, const void *old_ptr);
189 void fprint_md_ptr_loc (FILE *outf, const void *ptr);
190 void print_md_ptr_loc (const void *ptr);
191
192 struct enum_type *lookup_enum_type (const char *name);
193 void traverse_enum_types (htab_trav callback, void *info);
194
195 void handle_constants ();
196 void traverse_md_constants (htab_trav callback, void *info);
197 void handle_enum (file_location loc, bool md_p);
198
199 const char *join_c_conditions (const char *cond1, const char *cond2);
200 void fprint_c_condition (FILE *outf, const char *cond);
201 void print_c_condition (const char *cond);
202
203 /* Defined in read-rtl.c. */
204 const char *apply_iterator_to_string (const char *string);
205 rtx copy_rtx_for_iterators (rtx original);
206 void read_conditions ();
207 void record_potential_iterator_use (struct iterator_group *group,
9f33a5d9
RS
208 rtx x, unsigned int index,
209 const char *name);
b78027d1 210 struct mapping *read_mapping (struct iterator_group *group, htab_t table);
0016d8d9 211 overloaded_name *handle_overloaded_name (rtx, vec<mapping *> *);
812b1403
DM
212
213 const char *get_top_level_filename () const { return m_toplevel_fname; }
214 const char *get_filename () const { return m_read_md_filename; }
215 int get_lineno () const { return m_read_md_lineno; }
3814e880 216 int get_colno () const { return m_read_md_colno; }
812b1403 217
b78027d1
DM
218 struct obstack *get_string_obstack () { return &m_string_obstack; }
219 htab_t get_md_constants () { return m_md_constants; }
220
0016d8d9
RS
221 overloaded_name *get_overloads () const { return m_first_overload; }
222
812b1403
DM
223 private:
224 /* A singly-linked list of filenames. */
225 struct file_name_list {
226 struct file_name_list *next;
227 const char *fname;
228 };
229
230 private:
231 void handle_file ();
232 void handle_toplevel_file ();
233 void handle_include (file_location loc);
234 void add_include_path (const char *arg);
235
51b86113
DM
236 bool read_name_1 (struct md_name *name, file_location *out_loc);
237
812b1403 238 private:
51b86113
DM
239 /* Are we reading a compact dump? */
240 bool m_compact;
241
812b1403
DM
242 /* The name of the toplevel file that indirectly included
243 m_read_md_file. */
244 const char *m_toplevel_fname;
245
246 /* The directory part of m_toplevel_fname
247 NULL if m_toplevel_fname is a bare filename. */
248 char *m_base_dir;
249
250 /* The file we are reading. */
251 FILE *m_read_md_file;
252
253 /* The filename of m_read_md_file. */
254 const char *m_read_md_filename;
255
256 /* The current line number in m_read_md_file. */
257 int m_read_md_lineno;
258
3814e880
DM
259 /* The current column number in m_read_md_file. */
260 int m_read_md_colno;
261
262 /* The column number before the last newline, so that
263 we can handle unread_char ('\n') at least once whilst
264 retaining column information. */
265 int m_last_line_colno;
266
812b1403
DM
267 /* The first directory to search. */
268 file_name_list *m_first_dir_md_include;
269
270 /* A pointer to the null terminator of the md include chain. */
271 file_name_list **m_last_dir_md_include_ptr;
b78027d1
DM
272
273 /* Obstack used for allocating MD strings. */
274 struct obstack m_string_obstack;
275
276 /* A table of ptr_locs, hashed on the PTR field. */
277 htab_t m_ptr_locs;
278
279 /* An obstack for the above. Plain xmalloc is a bit heavyweight for a
280 small structure like ptr_loc. */
281 struct obstack m_ptr_loc_obstack;
282
283 /* A hash table of triples (A, B, C), where each of A, B and C is a condition
284 and A is equivalent to "B && C". This is used to keep track of the source
285 of conditions that are made up of separate MD strings (such as the split
286 condition of a define_insn_and_split). */
287 htab_t m_joined_conditions;
288
289 /* An obstack for allocating joined_conditions entries. */
290 struct obstack m_joined_conditions_obstack;
291
292 /* A table of md_constant structures, hashed by name. Null if no
293 constant expansion should occur. */
294 htab_t m_md_constants;
295
296 /* A table of enum_type structures, hashed by name. */
297 htab_t m_enum_types;
c2e84327
DM
298
299 /* If non-zero, filter the input to just this subset of lines. */
300 int m_first_line;
301 int m_last_line;
0016d8d9
RS
302
303 /* The first overloaded_name. */
304 overloaded_name *m_first_overload;
305
306 /* Where to chain further overloaded_names, */
307 overloaded_name **m_next_overload_ptr;
308
309 /* A hash table of overloaded_names, keyed off their name and the types of
310 their arguments. */
311 htab_t m_overloads_htab;
812b1403
DM
312};
313
a96d1f1d
DM
314/* Global singleton; constrast with rtx_reader_ptr below. */
315extern md_reader *md_reader_ptr;
812b1403 316
a96d1f1d
DM
317/* An md_reader subclass which skips unknown directives, for
318 the gen* tools that purely use read-md.o. */
812b1403 319
a96d1f1d 320class noop_reader : public md_reader
812b1403
DM
321{
322 public:
51b86113 323 noop_reader () : md_reader (false) {}
812b1403
DM
324
325 /* A dummy implementation which skips unknown directives. */
326 void handle_unknown_directive (file_location, const char *);
327};
328
a96d1f1d
DM
329/* An md_reader subclass that actually handles full hierarchical
330 rtx expressions.
331
332 Implemented in read-rtl.c. */
333
334class rtx_reader : public md_reader
335{
336 public:
51b86113 337 rtx_reader (bool compact);
a96d1f1d
DM
338 ~rtx_reader ();
339
340 bool read_rtx (const char *rtx_name, vec<rtx> *rtxen);
75df257b 341 rtx rtx_alloc_for_name (const char *);
a96d1f1d 342 rtx read_rtx_code (const char *code_name);
51b86113 343 virtual rtx read_rtx_operand (rtx return_rtx, int idx);
a96d1f1d
DM
344 rtx read_nested_rtx ();
345 rtx read_rtx_variadic (rtx form);
51b86113
DM
346 char *read_until (const char *terminator_chars, bool consume_terminator);
347
348 virtual void handle_any_trailing_information (rtx) {}
349 virtual rtx postprocess (rtx x) { return x; }
350
351 /* Hook to allow function_reader subclass to put STRINGBUF into gc-managed
352 memory, rather than within an obstack.
353 This base class implementation is a no-op. */
354 virtual const char *finalize_string (char *stringbuf) { return stringbuf; }
355
356 protected:
357 /* Analogous to rtx_writer's m_in_call_function_usage. */
358 bool m_in_call_function_usage;
359
360 /* Support for "reuse_rtx" directives. */
361 auto_vec<rtx> m_reuse_rtx_by_id;
a96d1f1d
DM
362};
363
364/* Global singleton; constrast with md_reader_ptr above. */
365extern rtx_reader *rtx_reader_ptr;
366
600ab3fc 367extern void (*include_callback) (const char *);
10692477 368
c5e88b39
RS
369/* Read the next character from the MD file. */
370
371static inline int
372read_char (void)
373{
a96d1f1d 374 return md_reader_ptr->read_char ();
c5e88b39
RS
375}
376
377/* Put back CH, which was the last character read from the MD file. */
378
379static inline void
380unread_char (int ch)
381{
a96d1f1d 382 md_reader_ptr->unread_char (ch);
c5e88b39
RS
383}
384
9f418533
RS
385extern hashval_t leading_string_hash (const void *);
386extern int leading_string_eq_p (const void *, const void *);
10692477 387extern const char *join_c_conditions (const char *, const char *);
cc472607
RS
388extern void message_at (file_location, const char *, ...) ATTRIBUTE_PRINTF_2;
389extern void error_at (file_location, const char *, ...) ATTRIBUTE_PRINTF_2;
8f246310 390extern void fatal_at (file_location, const char *, ...) ATTRIBUTE_PRINTF_2;
c5e88b39
RS
391extern void fatal_with_file_and_line (const char *, ...)
392 ATTRIBUTE_PRINTF_1 ATTRIBUTE_NORETURN;
393extern void fatal_expected_char (int, int) ATTRIBUTE_NORETURN;
394extern int read_skip_spaces (void);
10692477
RS
395extern int n_comma_elts (const char *);
396extern const char *scan_comma_elt (const char **);
24609606 397extern void upcase_string (char *);
24609606 398extern void traverse_enum_types (htab_trav, void *);
8f4fe86c 399extern struct enum_type *lookup_enum_type (const char *);
f1717f8d
KC
400
401#endif /* GCC_READ_MD_H */