PR rtl-optimization/86620
[official-gcc.git] / gcc / opth-gen.awk
blobfecd4b8a0b5150921dd2fb4094a0864fe3c5c458
1 # Copyright (C) 2003-2018 Free Software Foundation, Inc.
2 # Contributed by Kelley Cook, June 2004.
3 # Original code from Neil Booth, May 2003.
5 # This program is free software; you can redistribute it and/or modify it
6 # under the terms of the GNU General Public License as published by the
7 # Free Software Foundation; either version 3, or (at your option) any
8 # later version.
9 #
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
15 # You should have received a copy of the GNU General Public License
16 # along with this program; see the file COPYING3. If not see
17 # <http://www.gnu.org/licenses/>.
19 # This Awk script reads in the option records generated from
20 # opt-gather.awk, combines the flags of duplicate options and generates a
21 # C header file.
23 # This program uses functions from opt-functions.awk and code from
24 # opt-read.awk.
25 # Usage: awk -f opt-functions.awk -f opt-read.awk -f opth-gen.awk \
26 # < inputfile > options.h
28 # Dump out an enumeration into a .h file.
29 # Combine the flags of duplicate options.
30 END {
31 print "/* This file is auto-generated by opth-gen.awk. */"
32 print ""
33 print "#ifndef OPTIONS_H"
34 print "#define OPTIONS_H"
35 print ""
36 print "#include \"flag-types.h\""
37 print ""
39 if (n_extra_h_includes > 0) {
40 for (i = 0; i < n_extra_h_includes; i++) {
41 print "#include " quote extra_h_includes[i] quote
43 print ""
46 print "#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS)"
47 print "#ifndef GENERATOR_FILE"
48 print "#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS)"
49 print "struct GTY(()) gcc_options"
50 print "#else"
51 print "struct gcc_options"
52 print "#endif"
53 print "{"
54 print "#endif"
56 for (i = 0; i < n_extra_vars; i++) {
57 var = extra_vars[i]
58 sub(" *=.*", "", var)
59 orig_var = var
60 name = var
61 type = var
62 type_after = var
63 sub("^.*[ *]", "", name)
64 sub("\\[.*\\]$", "", name)
65 sub("\\[.*\\]$", "", type)
66 sub(" *" name "$", "", type)
67 sub("^.*" name, "", type_after)
68 var_seen[name] = 1
69 print "#ifdef GENERATOR_FILE"
70 print "extern " orig_var ";"
71 print "#else"
72 print " " type " x_" name type_after ";"
73 print "#define " name " global_options.x_" name
74 print "#endif"
77 for (i = 0; i < n_opts; i++) {
78 if (flag_set_p("Save", flags[i]))
79 have_save = 1;
81 name = var_name(flags[i]);
82 if (name == "")
83 continue;
85 if (name in var_seen)
86 continue;
88 var_seen[name] = 1;
89 print "#ifdef GENERATOR_FILE"
90 print "extern " var_type(flags[i]) name ";"
91 print "#else"
92 print " " var_type(flags[i]) "x_" name ";"
93 print "#define " name " global_options.x_" name
94 print "#endif"
96 for (i = 0; i < n_opts; i++) {
97 name = static_var(opts[i], flags[i]);
98 if (name != "") {
99 print "#ifndef GENERATOR_FILE"
100 print " " var_type(flags[i]) "x_" name ";"
101 print "#define x_" name " do_not_use"
102 print "#endif"
105 for (i = 0; i < n_opts; i++) {
106 if (flag_set_p("SetByCombined", flags[i])) {
107 print "#ifndef GENERATOR_FILE"
108 print " bool frontend_set_" var_name(flags[i]) ";"
109 print "#endif"
112 print "#ifndef GENERATOR_FILE"
113 print "};"
114 print "extern struct gcc_options global_options;"
115 print "extern const struct gcc_options global_options_init;"
116 print "extern struct gcc_options global_options_set;"
117 print "#define target_flags_explicit global_options_set.x_target_flags"
118 print "#endif"
119 print "#endif"
120 print ""
122 # All of the optimization switches gathered together so they can be saved and restored.
123 # This will allow attribute((cold)) to turn on space optimization.
125 # Change the type of normal switches from int to unsigned char to save space.
126 # Also, order the structure so that pointer fields occur first, then int
127 # fields, and then char fields to provide the best packing.
129 print "#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS)"
130 print ""
131 print "/* Structure to save/restore optimization and target specific options. */";
132 print "struct GTY(()) cl_optimization";
133 print "{";
135 n_opt_char = 3;
136 n_opt_short = 0;
137 n_opt_int = 0;
138 n_opt_enum = 0;
139 n_opt_other = 0;
140 var_opt_char[0] = "unsigned char x_optimize";
141 var_opt_char[1] = "unsigned char x_optimize_size";
142 var_opt_char[2] = "unsigned char x_optimize_debug";
144 for (i = 0; i < n_opts; i++) {
145 if (flag_set_p("(Optimization|PerFunction)", flags[i])) {
146 name = var_name(flags[i])
147 if(name == "")
148 continue;
150 if(name in var_opt_seen)
151 continue;
153 var_opt_seen[name]++;
154 otype = var_type_struct(flags[i]);
155 if (otype ~ "^((un)?signed +)?int *$")
156 var_opt_int[n_opt_int++] = otype "x_" name;
158 else if (otype ~ "^((un)?signed +)?short *$")
159 var_opt_short[n_opt_short++] = otype "x_" name;
161 else if (otype ~ "^((un)?signed +)?char *$")
162 var_opt_char[n_opt_char++] = otype "x_" name;
164 else if (otype ~ ("^enum +[_" alnum "]+ *$"))
165 var_opt_enum[n_opt_enum++] = otype "x_" name;
167 else
168 var_opt_other[n_opt_other++] = otype "x_" name;
172 for (i = 0; i < n_opt_other; i++) {
173 print " " var_opt_other[i] ";";
176 for (i = 0; i < n_opt_int; i++) {
177 print " " var_opt_int[i] ";";
180 for (i = 0; i < n_opt_enum; i++) {
181 print " " var_opt_enum[i] ";";
184 for (i = 0; i < n_opt_short; i++) {
185 print " " var_opt_short[i] ";";
188 for (i = 0; i < n_opt_char; i++) {
189 print " " var_opt_char[i] ";";
192 print "};";
193 print "";
195 # Target and optimization save/restore/print functions.
196 print "/* Structure to save/restore selected target specific options. */";
197 print "struct GTY(()) cl_target_option";
198 print "{";
200 n_target_char = 0;
201 n_target_short = 0;
202 n_target_int = 0;
203 n_target_enum = 0;
204 n_target_other = 0;
206 for (i = 0; i < n_target_save; i++) {
207 if (target_save_decl[i] ~ "^((un)?signed +)?int +[_" alnum "]+$")
208 var_target_int[n_target_int++] = target_save_decl[i];
210 else if (target_save_decl[i] ~ "^((un)?signed +)?short +[_" alnum "]+$")
211 var_target_short[n_target_short++] = target_save_decl[i];
213 else if (target_save_decl[i] ~ "^((un)?signed +)?char +[_ " alnum "]+$")
214 var_target_char[n_target_char++] = target_save_decl[i];
216 else if (target_save_decl[i] ~ ("^enum +[_" alnum "]+ +[_" alnum "]+$")) {
217 var_target_enum[n_target_enum++] = target_save_decl[i];
219 else
220 var_target_other[n_target_other++] = target_save_decl[i];
223 if (have_save) {
224 for (i = 0; i < n_opts; i++) {
225 if (flag_set_p("Save", flags[i])) {
226 name = var_name(flags[i])
227 if(name == "")
228 name = "target_flags";
230 if(name in var_save_seen)
231 continue;
233 var_save_seen[name]++;
234 otype = var_type_struct(flags[i])
235 if (otype ~ "^((un)?signed +)?int *$")
236 var_target_int[n_target_int++] = otype "x_" name;
238 else if (otype ~ "^((un)?signed +)?short *$")
239 var_target_short[n_target_short++] = otype "x_" name;
241 else if (otype ~ "^((un)?signed +)?char *$")
242 var_target_char[n_target_char++] = otype "x_" name;
244 else if (otype ~ ("^enum +[_" alnum "]+ +[_" alnum "]+"))
245 var_target_enum[n_target_enum++] = otype "x_" name;
247 else
248 var_target_other[n_target_other++] = otype "x_" name;
251 } else {
252 var_target_int[n_target_int++] = "int x_target_flags";
255 for (i = 0; i < n_target_other; i++) {
256 print " " var_target_other[i] ";";
259 for (i = 0; i < n_target_enum; i++) {
260 print " " var_target_enum[i] ";";
263 for (i = 0; i < n_target_int; i++) {
264 print " " var_target_int[i] ";";
267 for (i = 0; i < n_target_short; i++) {
268 print " " var_target_short[i] ";";
271 for (i = 0; i < n_target_char; i++) {
272 print " " var_target_char[i] ";";
275 print "};";
276 print "";
277 print "";
278 print "/* Save optimization variables into a structure. */"
279 print "extern void cl_optimization_save (struct cl_optimization *, struct gcc_options *);";
280 print "";
281 print "/* Restore optimization variables from a structure. */";
282 print "extern void cl_optimization_restore (struct gcc_options *, struct cl_optimization *);";
283 print "";
284 print "/* Print optimization variables from a structure. */";
285 print "extern void cl_optimization_print (FILE *, int, struct cl_optimization *);";
286 print "";
287 print "/* Print different optimization variables from structures provided as arguments. */";
288 print "extern void cl_optimization_print_diff (FILE *, int, cl_optimization *ptr1, cl_optimization *ptr2);";
289 print "";
290 print "/* Save selected option variables into a structure. */"
291 print "extern void cl_target_option_save (struct cl_target_option *, struct gcc_options *);";
292 print "";
293 print "/* Restore selected option variables from a structure. */"
294 print "extern void cl_target_option_restore (struct gcc_options *, struct cl_target_option *);";
295 print "";
296 print "/* Print target option variables from a structure. */";
297 print "extern void cl_target_option_print (FILE *, int, struct cl_target_option *);";
298 print "";
299 print "/* Print different target option variables from structures provided as arguments. */";
300 print "extern void cl_target_option_print_diff (FILE *, int, cl_target_option *ptr1, cl_target_option *ptr2);";
301 print "";
302 print "/* Compare two target option variables from a structure. */";
303 print "extern bool cl_target_option_eq (const struct cl_target_option *, const struct cl_target_option *);";
304 print "";
305 print "/* Hash option variables from a structure. */";
306 print "extern hashval_t cl_target_option_hash (const struct cl_target_option *);";
307 print "";
308 print "/* Hash optimization from a structure. */";
309 print "extern hashval_t cl_optimization_hash (const struct cl_optimization *);";
310 print "";
311 print "/* Generator files may not have access to location_t, and don't need these. */"
312 print "#if defined(UNKNOWN_LOCATION)"
313 print "bool "
314 print "common_handle_option_auto (struct gcc_options *opts, "
315 print " struct gcc_options *opts_set, "
316 print " const struct cl_decoded_option *decoded, "
317 print " unsigned int lang_mask, int kind, "
318 print " location_t loc, "
319 print " const struct cl_option_handlers *handlers, "
320 print " diagnostic_context *dc); "
321 for (i = 0; i < n_langs; i++) {
322 lang_name = lang_sanitized_name(langs[i]);
323 print "bool "
324 print lang_name "_handle_option_auto (struct gcc_options *opts, "
325 print " struct gcc_options *opts_set, "
326 print " size_t scode, const char *arg, int value, "
327 print " unsigned int lang_mask, int kind, "
328 print " location_t loc, "
329 print " const struct cl_option_handlers *handlers, "
330 print " diagnostic_context *dc); "
332 print "void cpp_handle_option_auto (const struct gcc_options * opts, size_t scode,"
333 print " struct cpp_options * cpp_opts);"
334 print "void init_global_opts_from_cpp(struct gcc_options * opts, "
335 print " const struct cpp_options * cpp_opts);"
336 print "#endif";
337 print "#endif";
338 print "";
340 for (i = 0; i < n_opts; i++) {
341 name = opt_args("Mask", flags[i])
342 if (name == "") {
343 opt = opt_args("InverseMask", flags[i])
344 if (opt ~ ",")
345 name = nth_arg(0, opt)
346 else
347 name = opt
349 if (name != "" && mask_bits[name] == 0) {
350 mask_bits[name] = 1
351 vname = var_name(flags[i])
352 mask = "MASK_"
353 mask_1 = "1U"
354 if (vname != "") {
355 mask = "OPTION_MASK_"
356 if (host_wide_int[vname] == "yes")
357 mask_1 = "HOST_WIDE_INT_1U"
358 } else
359 extra_mask_bits[name] = 1
360 print "#define " mask name " (" mask_1 " << " masknum[vname]++ ")"
363 for (i = 0; i < n_extra_masks; i++) {
364 if (extra_mask_bits[extra_masks[i]] == 0)
365 print "#define MASK_" extra_masks[i] " (1U << " masknum[""]++ ")"
368 for (var in masknum) {
369 if (var != "" && host_wide_int[var] == "yes") {
370 print "#if defined(HOST_BITS_PER_WIDE_INT) && " masknum[var] " > HOST_BITS_PER_WIDE_INT"
371 print "#error too many masks for " var
372 print "#endif"
374 else if (masknum[var] > 32) {
375 if (var == "")
376 print "#error too many target masks"
377 else
378 print "#error too many masks for " var
381 print ""
383 for (i = 0; i < n_opts; i++) {
384 name = opt_args("Mask", flags[i])
385 if (name == "") {
386 opt = opt_args("InverseMask", flags[i])
387 if (opt ~ ",")
388 name = nth_arg(0, opt)
389 else
390 name = opt
392 if (name != "" && mask_macros[name] == 0) {
393 mask_macros[name] = 1
394 vname = var_name(flags[i])
395 mask = "OPTION_MASK_"
396 if (vname == "") {
397 vname = "target_flags"
398 mask = "MASK_"
399 extra_mask_macros[name] = 1
401 print "#define TARGET_" name \
402 " ((" vname " & " mask name ") != 0)"
403 print "#define TARGET_" name "_P(" vname ")" \
404 " (((" vname ") & " mask name ") != 0)"
407 for (i = 0; i < n_extra_masks; i++) {
408 if (extra_mask_macros[extra_masks[i]] == 0)
409 print "#define TARGET_" extra_masks[i] \
410 " ((target_flags & MASK_" extra_masks[i] ") != 0)"
412 print ""
414 for (i = 0; i < n_opts; i++) {
415 opt = opt_args("InverseMask", flags[i])
416 if (opt ~ ",") {
417 vname = var_name(flags[i])
418 mask = "OPTION_MASK_"
419 if (vname == "") {
420 vname = "target_flags"
421 mask = "MASK_"
423 print "#define TARGET_" nth_arg(1, opt) \
424 " ((" vname " & " mask nth_arg(0, opt) ") == 0)"
427 print ""
429 for (i = 0; i < n_langs; i++) {
430 macros[i] = "CL_" lang_sanitized_name(langs[i])
431 s = substr(" ", length (macros[i]))
432 print "#define " macros[i] s " (1U << " i ")"
434 print "#define CL_LANG_ALL ((1U << " n_langs ") - 1)"
436 print ""
437 print "enum opt_code"
438 print "{"
440 for (i = 0; i < n_opts; i++)
441 back_chain[i] = "N_OPTS";
443 enum_value = 0
444 for (i = 0; i < n_opts; i++) {
445 # Combine the flags of identical switches. Switches
446 # appear many times if they are handled by many front
447 # ends, for example.
448 while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
449 flags[i + 1] = flags[i] " " flags[i + 1];
450 i++;
453 len = length (opts[i]);
454 enum = opt_enum(opts[i])
455 enum_string = enum " = " enum_value ","
457 # Aliases do not get enumeration names.
458 if ((flag_set_p("Alias.*", flags[i]) \
459 && !flag_set_p("SeparateAlias", flags[i])) \
460 || flag_set_p("Ignore", flags[i])) {
461 enum_string = "/* " enum_string " */"
464 # If this switch takes joined arguments, back-chain all
465 # subsequent switches to it for which it is a prefix. If
466 # a later switch S is a longer prefix of a switch T, T
467 # will be back-chained to S in a later iteration of this
468 # for() loop, which is what we want.
469 if (flag_set_p("Joined.*", flags[i])) {
470 for (j = i + 1; j < n_opts; j++) {
471 if (substr (opts[j], 1, len) != opts[i])
472 break;
473 back_chain[j] = enum;
477 s = substr(" ",
478 length (enum_string))
480 if (help[i] == "")
481 hlp = "0"
482 else
483 hlp = "N_(\"" help[i] "\")";
485 print " " enum_string s "/* -" opts[i] " */"
486 enum_value++
489 print " N_OPTS,"
490 print " OPT_SPECIAL_unknown,"
491 print " OPT_SPECIAL_ignore,"
492 print " OPT_SPECIAL_program_name,"
493 print " OPT_SPECIAL_input_file"
494 print "};"
495 print ""
496 print "#ifdef GCC_C_COMMON_C"
497 print "/* Mapping from cpp message reasons to the options that enable them. */"
498 print "#include <cpplib.h>"
499 print "struct cpp_reason_option_codes_t"
500 print "{"
501 print " const int reason; /* cpplib message reason. */"
502 print " const int option_code; /* gcc option that controls this message. */"
503 print "};"
504 print ""
505 print "static const struct cpp_reason_option_codes_t cpp_reason_option_codes[] = {"
506 for (i = 0; i < n_opts; i++) {
507 # With identical flags, pick only the last one. The
508 # earlier loop ensured that it has all flags merged,
509 # and a nonempty help text if one of the texts was nonempty.
510 while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
511 i++;
513 cpp_reason = nth_arg(0, opt_args("CppReason", flags[i]));
514 if (cpp_reason != "") {
515 cpp_reason = cpp_reason ",";
516 printf(" {%-40s %s},\n", cpp_reason, opt_enum(opts[i]))
519 printf(" {%-40s 0},\n", "CPP_W_NONE,")
520 print "};"
521 print "#endif"
522 print ""
523 print "#endif /* OPTIONS_H */"