]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/opth-gen.awk
Move operand_less_p to vr-values.c.
[thirdparty/gcc.git] / gcc / opth-gen.awk
CommitLineData
8d9254fc 1# Copyright (C) 2003-2020 Free Software Foundation, Inc.
776dc15d
KC
2# Contributed by Kelley Cook, June 2004.
3# Original code from Neil Booth, May 2003.
4#
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
9dcd6f09 7# Free Software Foundation; either version 3, or (at your option) any
776dc15d
KC
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.
14#
15# You should have received a copy of the GNU General Public License
9dcd6f09
NC
16# along with this program; see the file COPYING3. If not see
17# <http://www.gnu.org/licenses/>.
776dc15d
KC
18
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.
22#
86fa5de4
JM
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
776dc15d
KC
27
28# Dump out an enumeration into a .h file.
29# Combine the flags of duplicate options.
30END {
14078ff6 31print "/* This file is auto-generated by opth-gen.awk. */"
776dc15d
KC
32print ""
33print "#ifndef OPTIONS_H"
34print "#define OPTIONS_H"
35print ""
f938f60c
JM
36print "#include \"flag-types.h\""
37print ""
776dc15d 38
fd438373
MM
39if (n_extra_h_includes > 0) {
40 for (i = 0; i < n_extra_h_includes; i++) {
41 print "#include " quote extra_h_includes[i] quote
42 }
43 print ""
44}
ab442df7 45
a75bfaa6 46print "#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS)"
e3339d0f 47print "#ifndef GENERATOR_FILE"
57dfdff0 48print "#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS)"
fd438373
MM
49print "struct GTY(()) gcc_options"
50print "#else"
51print "struct gcc_options"
52print "#endif"
53print "{"
e3339d0f
JM
54print "#endif"
55
e90afde6
JM
56for (i = 0; i < n_extra_vars; i++) {
57 var = extra_vars[i]
58 sub(" *=.*", "", var)
e3339d0f
JM
59 orig_var = var
60 name = var
61 type = var
69ccdddb 62 type_after = var
e3339d0f 63 sub("^.*[ *]", "", name)
69ccdddb
JM
64 sub("\\[.*\\]$", "", name)
65 sub("\\[.*\\]$", "", type)
e3339d0f 66 sub(" *" name "$", "", type)
69ccdddb 67 sub("^.*" name, "", type_after)
e3339d0f
JM
68 var_seen[name] = 1
69 print "#ifdef GENERATOR_FILE"
70 print "extern " orig_var ";"
71 print "#else"
69ccdddb 72 print " " type " x_" name type_after ";"
e3339d0f
JM
73 print "#define " name " global_options.x_" name
74 print "#endif"
e90afde6
JM
75}
76
776dc15d 77for (i = 0; i < n_opts; i++) {
ab442df7
MM
78 if (flag_set_p("Save", flags[i]))
79 have_save = 1;
80
776dc15d
KC
81 name = var_name(flags[i]);
82 if (name == "")
83 continue;
84
ab442df7
MM
85 if (name in var_seen)
86 continue;
87
88 var_seen[name] = 1;
e3339d0f 89 print "#ifdef GENERATOR_FILE"
55bea00a 90 print "extern " var_type(flags[i]) name ";"
e3339d0f
JM
91 print "#else"
92 print " " var_type(flags[i]) "x_" name ";"
93 print "#define " name " global_options.x_" name
94 print "#endif"
55bea00a 95}
46625112
JM
96for (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"
103 }
104}
5e46b0c6
ILT
105for (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"
110 }
111}
e3339d0f
JM
112print "#ifndef GENERATOR_FILE"
113print "};"
114print "extern struct gcc_options global_options;"
a75bfaa6 115print "extern const struct gcc_options global_options_init;"
d4d24ba4 116print "extern struct gcc_options global_options_set;"
70e8b89b 117print "#define target_flags_explicit global_options_set.x_target_flags"
e3339d0f 118print "#endif"
a75bfaa6 119print "#endif"
55bea00a 120print ""
776dc15d 121
ab442df7
MM
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.
124
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.
128
f6d08ab2 129print "#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS)"
ab442df7
MM
130print ""
131print "/* Structure to save/restore optimization and target specific options. */";
d1b38208 132print "struct GTY(()) cl_optimization";
ab442df7
MM
133print "{";
134
f521d9d8 135n_opt_char = 4;
ab442df7
MM
136n_opt_short = 0;
137n_opt_int = 0;
bea30e0d 138n_opt_enum = 0;
ab442df7 139n_opt_other = 0;
e3339d0f
JM
140var_opt_char[0] = "unsigned char x_optimize";
141var_opt_char[1] = "unsigned char x_optimize_size";
b16650ac 142var_opt_char[2] = "unsigned char x_optimize_debug";
f521d9d8 143var_opt_char[3] = "unsigned char x_optimize_fast";
ab442df7
MM
144
145for (i = 0; i < n_opts; i++) {
ff98fa95 146 if (flag_set_p("(Optimization|PerFunction)", flags[i])) {
ab442df7
MM
147 name = var_name(flags[i])
148 if(name == "")
149 continue;
150
151 if(name in var_opt_seen)
152 continue;
153
154 var_opt_seen[name]++;
155 otype = var_type_struct(flags[i]);
156 if (otype ~ "^((un)?signed +)?int *$")
e3339d0f 157 var_opt_int[n_opt_int++] = otype "x_" name;
ab442df7
MM
158
159 else if (otype ~ "^((un)?signed +)?short *$")
e3339d0f 160 var_opt_short[n_opt_short++] = otype "x_" name;
ab442df7
MM
161
162 else if (otype ~ "^((un)?signed +)?char *$")
e3339d0f 163 var_opt_char[n_opt_char++] = otype "x_" name;
ab442df7 164
fd438373
MM
165 else if (otype ~ ("^enum +[_" alnum "]+ *$"))
166 var_opt_enum[n_opt_enum++] = otype "x_" name;
167
ab442df7 168 else
e3339d0f 169 var_opt_other[n_opt_other++] = otype "x_" name;
ab442df7
MM
170 }
171}
172
173for (i = 0; i < n_opt_other; i++) {
174 print " " var_opt_other[i] ";";
175}
176
177for (i = 0; i < n_opt_int; i++) {
178 print " " var_opt_int[i] ";";
179}
180
fd438373
MM
181for (i = 0; i < n_opt_enum; i++) {
182 print " " var_opt_enum[i] ";";
183}
184
ab442df7
MM
185for (i = 0; i < n_opt_short; i++) {
186 print " " var_opt_short[i] ";";
187}
188
189for (i = 0; i < n_opt_char; i++) {
190 print " " var_opt_char[i] ";";
191}
192
193print "};";
194print "";
195
196# Target and optimization save/restore/print functions.
197print "/* Structure to save/restore selected target specific options. */";
d1b38208 198print "struct GTY(()) cl_target_option";
ab442df7
MM
199print "{";
200
201n_target_char = 0;
202n_target_short = 0;
203n_target_int = 0;
fd438373 204n_target_enum = 0;
ab442df7
MM
205n_target_other = 0;
206
207for (i = 0; i < n_target_save; i++) {
e4590d63 208 if (target_save_decl[i] ~ "^((un)?signed +)?int +[_" alnum "]+$")
ab442df7
MM
209 var_target_int[n_target_int++] = target_save_decl[i];
210
e4590d63 211 else if (target_save_decl[i] ~ "^((un)?signed +)?short +[_" alnum "]+$")
ab442df7
MM
212 var_target_short[n_target_short++] = target_save_decl[i];
213
e4590d63 214 else if (target_save_decl[i] ~ "^((un)?signed +)?char +[_ " alnum "]+$")
ab442df7
MM
215 var_target_char[n_target_char++] = target_save_decl[i];
216
fd438373
MM
217 else if (target_save_decl[i] ~ ("^enum +[_" alnum "]+ +[_" alnum "]+$")) {
218 var_target_enum[n_target_enum++] = target_save_decl[i];
219 }
ab442df7
MM
220 else
221 var_target_other[n_target_other++] = target_save_decl[i];
222}
223
224if (have_save) {
225 for (i = 0; i < n_opts; i++) {
226 if (flag_set_p("Save", flags[i])) {
227 name = var_name(flags[i])
228 if(name == "")
229 name = "target_flags";
230
231 if(name in var_save_seen)
232 continue;
233
234 var_save_seen[name]++;
235 otype = var_type_struct(flags[i])
236 if (otype ~ "^((un)?signed +)?int *$")
e3339d0f 237 var_target_int[n_target_int++] = otype "x_" name;
ab442df7
MM
238
239 else if (otype ~ "^((un)?signed +)?short *$")
e3339d0f 240 var_target_short[n_target_short++] = otype "x_" name;
ab442df7
MM
241
242 else if (otype ~ "^((un)?signed +)?char *$")
e3339d0f 243 var_target_char[n_target_char++] = otype "x_" name;
ab442df7 244
fd438373
MM
245 else if (otype ~ ("^enum +[_" alnum "]+ +[_" alnum "]+"))
246 var_target_enum[n_target_enum++] = otype "x_" name;
247
ab442df7 248 else
e3339d0f 249 var_target_other[n_target_other++] = otype "x_" name;
ab442df7
MM
250 }
251 }
252} else {
e3339d0f 253 var_target_int[n_target_int++] = "int x_target_flags";
ab442df7
MM
254}
255
256for (i = 0; i < n_target_other; i++) {
257 print " " var_target_other[i] ";";
258}
259
fd438373
MM
260for (i = 0; i < n_target_enum; i++) {
261 print " " var_target_enum[i] ";";
262}
263
ab442df7
MM
264for (i = 0; i < n_target_int; i++) {
265 print " " var_target_int[i] ";";
266}
267
268for (i = 0; i < n_target_short; i++) {
269 print " " var_target_short[i] ";";
270}
271
272for (i = 0; i < n_target_char; i++) {
273 print " " var_target_char[i] ";";
274}
275
276print "};";
277print "";
278print "";
279print "/* Save optimization variables into a structure. */"
46625112 280print "extern void cl_optimization_save (struct cl_optimization *, struct gcc_options *);";
ab442df7
MM
281print "";
282print "/* Restore optimization variables from a structure. */";
46625112 283print "extern void cl_optimization_restore (struct gcc_options *, struct cl_optimization *);";
ab442df7
MM
284print "";
285print "/* Print optimization variables from a structure. */";
286print "extern void cl_optimization_print (FILE *, int, struct cl_optimization *);";
287print "";
eaabbb00
ML
288print "/* Print different optimization variables from structures provided as arguments. */";
289print "extern void cl_optimization_print_diff (FILE *, int, cl_optimization *ptr1, cl_optimization *ptr2);";
290print "";
ab442df7 291print "/* Save selected option variables into a structure. */"
46625112 292print "extern void cl_target_option_save (struct cl_target_option *, struct gcc_options *);";
ab442df7
MM
293print "";
294print "/* Restore selected option variables from a structure. */"
46625112 295print "extern void cl_target_option_restore (struct gcc_options *, struct cl_target_option *);";
ab442df7
MM
296print "";
297print "/* Print target option variables from a structure. */";
298print "extern void cl_target_option_print (FILE *, int, struct cl_target_option *);";
7d5a5747 299print "";
eaabbb00
ML
300print "/* Print different target option variables from structures provided as arguments. */";
301print "extern void cl_target_option_print_diff (FILE *, int, cl_target_option *ptr1, cl_target_option *ptr2);";
302print "";
54e774c0
JH
303print "/* Compare two target option variables from a structure. */";
304print "extern bool cl_target_option_eq (const struct cl_target_option *, const struct cl_target_option *);";
305print "";
c6145f2a
JH
306print "/* Free heap memory used by target option variables. */";
307print "extern void cl_target_option_free (struct cl_target_option *);";
308print "";
54e774c0
JH
309print "/* Hash option variables from a structure. */";
310print "extern hashval_t cl_target_option_hash (const struct cl_target_option *);";
311print "";
ca9a04da
JH
312print "/* Hash optimization from a structure. */";
313print "extern hashval_t cl_optimization_hash (const struct cl_optimization *);";
314print "";
c518c102
ML
315print "/* Compare two optimization options. */";
316print "extern bool cl_optimization_option_eq (cl_optimization const *ptr1, cl_optimization const *ptr2);"
317print "";
c6145f2a
JH
318print "/* Free heap memory used by optimization options. */";
319print "extern void cl_optimization_option_free (cl_optimization *ptr1);"
320print "";
903f5c23
AM
321print "/* Generator files may not have access to location_t, and don't need these. */"
322print "#if defined(UNKNOWN_LOCATION)"
7d5a5747
MLI
323print "bool "
324print "common_handle_option_auto (struct gcc_options *opts, "
325print " struct gcc_options *opts_set, "
326print " const struct cl_decoded_option *decoded, "
327print " unsigned int lang_mask, int kind, "
328print " location_t loc, "
329print " const struct cl_option_handlers *handlers, "
330print " diagnostic_context *dc); "
f2bc201f
MLI
331for (i = 0; i < n_langs; i++) {
332 lang_name = lang_sanitized_name(langs[i]);
00abf86c
MS
333 print "bool"
334 print lang_name "_handle_option_auto (struct gcc_options *opts,"
335 print " struct gcc_options *opts_set,"
336 print " size_t scode, const char *arg,"
337 print " HOST_WIDE_INT value,"
338 print " unsigned int lang_mask, int kind,"
339 print " location_t loc,"
340 print " const struct cl_option_handlers *handlers,"
341 print " diagnostic_context *dc);"
f2bc201f 342}
43f9a13c
MLI
343print "void cpp_handle_option_auto (const struct gcc_options * opts, size_t scode,"
344print " struct cpp_options * cpp_opts);"
345print "void init_global_opts_from_cpp(struct gcc_options * opts, "
346print " const struct cpp_options * cpp_opts);"
7d5a5747 347print "#endif";
ab442df7
MM
348print "#endif";
349print "";
350
75685792
RS
351for (i = 0; i < n_opts; i++) {
352 name = opt_args("Mask", flags[i])
1ad36b7e
L
353 if (name == "") {
354 opt = opt_args("InverseMask", flags[i])
355 if (opt ~ ",")
356 name = nth_arg(0, opt)
357 else
358 name = opt
f7f655c7 359 }
1ad36b7e
L
360 if (name != "" && mask_bits[name] == 0) {
361 mask_bits[name] = 1
362 vname = var_name(flags[i])
363 mask = "MASK_"
d5c45ad7 364 mask_1 = "1U"
1ad36b7e
L
365 if (vname != "") {
366 mask = "OPTION_MASK_"
367 if (host_wide_int[vname] == "yes")
d5c45ad7 368 mask_1 = "HOST_WIDE_INT_1U"
eefdb8e6
L
369 } else
370 extra_mask_bits[name] = 1
99114bbf 371 print "#define " mask name " (" mask_1 " << " masknum[vname]++ ")"
1ad36b7e 372 }
75685792 373}
fe609b0f 374for (i = 0; i < n_extra_masks; i++) {
eefdb8e6 375 if (extra_mask_bits[extra_masks[i]] == 0)
d5c45ad7 376 print "#define MASK_" extra_masks[i] " (1U << " masknum[""]++ ")"
f7f655c7
DD
377}
378
379for (var in masknum) {
99114bbf 380 if (var != "" && host_wide_int[var] == "yes") {
d5c45ad7 381 print "#if defined(HOST_BITS_PER_WIDE_INT) && " masknum[var] " > HOST_BITS_PER_WIDE_INT"
99114bbf
L
382 print "#error too many masks for " var
383 print "#endif"
384 }
d5c45ad7 385 else if (masknum[var] > 32) {
f7f655c7
DD
386 if (var == "")
387 print "#error too many target masks"
388 else
389 print "#error too many masks for " var
390 }
fe609b0f 391}
75685792
RS
392print ""
393
394for (i = 0; i < n_opts; i++) {
395 name = opt_args("Mask", flags[i])
1ad36b7e
L
396 if (name == "") {
397 opt = opt_args("InverseMask", flags[i])
398 if (opt ~ ",")
399 name = nth_arg(0, opt)
400 else
401 name = opt
f7f655c7 402 }
1ad36b7e
L
403 if (name != "" && mask_macros[name] == 0) {
404 mask_macros[name] = 1
405 vname = var_name(flags[i])
1ad36b7e
L
406 mask = "OPTION_MASK_"
407 if (vname == "") {
408 vname = "target_flags"
1ad36b7e 409 mask = "MASK_"
eefdb8e6 410 extra_mask_macros[name] = 1
1ad36b7e 411 }
90922d36 412 print "#define TARGET_" name \
f7f655c7 413 " ((" vname " & " mask name ") != 0)"
bf7b5747 414 print "#define TARGET_" name "_P(" vname ")" \
d5c45ad7 415 " (((" vname ") & " mask name ") != 0)"
1ad36b7e 416 }
75685792 417}
fe609b0f 418for (i = 0; i < n_extra_masks; i++) {
eefdb8e6
L
419 if (extra_mask_macros[extra_masks[i]] == 0)
420 print "#define TARGET_" extra_masks[i] \
421 " ((target_flags & MASK_" extra_masks[i] ") != 0)"
fe609b0f 422}
75685792
RS
423print ""
424
425for (i = 0; i < n_opts; i++) {
426 opt = opt_args("InverseMask", flags[i])
7bd85ce0
JM
427 if (opt ~ ",") {
428 vname = var_name(flags[i])
7bd85ce0
JM
429 mask = "OPTION_MASK_"
430 if (vname == "") {
431 vname = "target_flags"
7bd85ce0
JM
432 mask = "MASK_"
433 }
90922d36 434 print "#define TARGET_" nth_arg(1, opt) \
7bd85ce0
JM
435 " ((" vname " & " mask nth_arg(0, opt) ") == 0)"
436 }
75685792
RS
437}
438print ""
776dc15d
KC
439
440for (i = 0; i < n_langs; i++) {
f2bc201f 441 macros[i] = "CL_" lang_sanitized_name(langs[i])
776dc15d 442 s = substr(" ", length (macros[i]))
eb50f63a 443 print "#define " macros[i] s " (1U << " i ")"
776dc15d 444 }
eb50f63a 445print "#define CL_LANG_ALL ((1U << " n_langs ") - 1)"
776dc15d
KC
446
447print ""
448print "enum opt_code"
449print "{"
450
451for (i = 0; i < n_opts; i++)
452 back_chain[i] = "N_OPTS";
453
5de8299c 454enum_value = 0
64fbae21
RS
455for (i = 0; i < n_opts; i++) {
456 # Combine the flags of identical switches. Switches
457 # appear many times if they are handled by many front
458 # ends, for example.
459 while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
460 flags[i + 1] = flags[i] " " flags[i + 1];
461 i++;
462 }
776dc15d
KC
463
464 len = length (opts[i]);
9db94baa 465 enum = opt_enum(opts[i])
5de8299c
JM
466 enum_string = enum " = " enum_value ","
467
468 # Aliases do not get enumeration names.
d1583032
JM
469 if ((flag_set_p("Alias.*", flags[i]) \
470 && !flag_set_p("SeparateAlias", flags[i])) \
471 || flag_set_p("Ignore", flags[i])) {
5de8299c
JM
472 enum_string = "/* " enum_string " */"
473 }
776dc15d
KC
474
475 # If this switch takes joined arguments, back-chain all
476 # subsequent switches to it for which it is a prefix. If
477 # a later switch S is a longer prefix of a switch T, T
478 # will be back-chained to S in a later iteration of this
479 # for() loop, which is what we want.
a56a0779 480 if (flag_set_p("Joined.*", flags[i])) {
776dc15d
KC
481 for (j = i + 1; j < n_opts; j++) {
482 if (substr (opts[j], 1, len) != opts[i])
483 break;
484 back_chain[j] = enum;
485 }
486 }
487
5de8299c
JM
488 s = substr(" ",
489 length (enum_string))
776dc15d
KC
490
491 if (help[i] == "")
492 hlp = "0"
493 else
494 hlp = "N_(\"" help[i] "\")";
495
5de8299c
JM
496 print " " enum_string s "/* -" opts[i] " */"
497 enum_value++
776dc15d
KC
498}
499
6e2f1956
JM
500print " N_OPTS,"
501print " OPT_SPECIAL_unknown,"
2d2bd949 502print " OPT_SPECIAL_ignore,"
68a57628 503print " OPT_SPECIAL_warn_removed,"
6e2f1956
JM
504print " OPT_SPECIAL_program_name,"
505print " OPT_SPECIAL_input_file"
776dc15d
KC
506print "};"
507print ""
40e23961 508print "#ifdef GCC_C_COMMON_C"
b559c810
MLI
509print "/* Mapping from cpp message reasons to the options that enable them. */"
510print "#include <cpplib.h>"
511print "struct cpp_reason_option_codes_t"
512print "{"
c24300ba
DM
513print " /* cpplib message reason. */"
514print " const enum cpp_warning_reason reason;"
515print " /* gcc option that controls this message. */"
516print " const int option_code;"
b559c810
MLI
517print "};"
518print ""
519print "static const struct cpp_reason_option_codes_t cpp_reason_option_codes[] = {"
520for (i = 0; i < n_opts; i++) {
521 # With identical flags, pick only the last one. The
522 # earlier loop ensured that it has all flags merged,
523 # and a nonempty help text if one of the texts was nonempty.
524 while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
525 i++;
526 }
527 cpp_reason = nth_arg(0, opt_args("CppReason", flags[i]));
528 if (cpp_reason != "") {
529 cpp_reason = cpp_reason ",";
530 printf(" {%-40s %s},\n", cpp_reason, opt_enum(opts[i]))
531 }
532}
533printf(" {%-40s 0},\n", "CPP_W_NONE,")
534print "};"
535print "#endif"
536print ""
776dc15d
KC
537print "#endif /* OPTIONS_H */"
538}