# Copyright (C) 2003-2014 Free Software Foundation, Inc. # Contributed by Kelley Cook, June 2004. # Original code from Neil Booth, May 2003. # # This program is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by the # Free Software Foundation; either version 3, or (at your option) any # later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with this program; see the file COPYING3. If not see # . # This Awk script reads in the option records generated from # opt-gather.awk, combines the flags of duplicate options and generates a # C file. # # This program uses functions from opt-functions.awk and code from # opt-read.awk. # # Usage: awk -f opt-functions.awk -f opt-read.awk -f optc-gen.awk \ # [-v header_name=header.h] < inputfile > options.c # Dump that array of options into a C file. END { # Record first EnabledBy and LangEnabledBy uses. n_enabledby = 0; for (i = 0; i < n_langs; i++) { n_enabledby_lang[i] = 0; } for (i = 0; i < n_opts; i++) { enabledby_arg = opt_args("EnabledBy", flags[i]); if (enabledby_arg != "") { n_enabledby_names = split(enabledby_arg, enabledby_names, " && "); if (n_enabledby_names > 2) { print "#error EnabledBy (Wfoo && Wbar && Wbaz) not currently supported" } for (j = 1; j <= n_enabledby_names; j++) { enabledby_name = enabledby_names[j]; enabledby_index = opt_numbers[enabledby_name]; if (enabledby_index == "") { print "#error Enabledby: " enabledby_name } else { condition = ""; if (n_enabledby_names == 2) { opt_var_name_1 = search_var_name(enabledby_names[1], opt_numbers, opts, flags, n_opts); opt_var_name_2 = search_var_name(enabledby_names[2], opt_numbers, opts, flags, n_opts); if (opt_var_name_1 == "") { print "#error " enabledby_names[1] " does not have a Var() flag" } if (opt_var_name_2 == "") { print "#error " enabledby_names[2] " does not have a Var() flag" } condition = "opts->x_" opt_var_name_1 " && opts->x_" opt_var_name_2; } if (enables[enabledby_name] == "") { enabledby[n_enabledby] = enabledby_name; n_enabledby++; } enables[enabledby_name] = enables[enabledby_name] opts[i] ";"; enablesif[enabledby_name] = enablesif[enabledby_name] condition ";"; } } } enabledby_arg = opt_args("LangEnabledBy", flags[i]); if (enabledby_arg != "") { enabledby_langs = nth_arg(0, enabledby_arg); enabledby_name = nth_arg(1, enabledby_arg); enabledby_posarg = nth_arg(2, enabledby_arg); enabledby_negarg = nth_arg(3, enabledby_arg); lang_enabled_by(enabledby_langs, enabledby_name, enabledby_posarg, enabledby_negarg); } } print "/* This file is auto-generated by optc-gen.awk. */" print "" n_headers = split(header_name, headers, " ") for (i = 1; i <= n_headers; i++) print "#include " quote headers[i] quote print "#include " quote "opts.h" quote print "#include " quote "intl.h" quote print "#include " quote "insn-attr-common.h" quote print "" if (n_extra_c_includes > 0) { for (i = 0; i < n_extra_c_includes; i++) { print "#include " quote extra_c_includes[i] quote } print "" } for (i = 0; i < n_enums; i++) { name = enum_names[i] type = enum_type[name] print "static const struct cl_enum_arg cl_enum_" name \ "_data[] = " print "{" print enum_data[name] " { NULL, 0, 0 }" print "};" print "" print "static void" print "cl_enum_" name "_set (void *var, int value)" print "{" print " *((" type " *) var) = (" type ") value;" print "}" print "" print "static int" print "cl_enum_" name "_get (const void *var)" print "{" print " return (int) *((const " type " *) var);" print "}" print "" } print "const struct cl_enum cl_enums[] =" print "{" for (i = 0; i < n_enums; i++) { name = enum_names[i] ehelp = enum_help[name] if (ehelp == "") ehelp = "NULL" else ehelp = quote ehelp quote unknown_error = enum_unknown_error[name] if (unknown_error == "") unknown_error = "NULL" else unknown_error = quote unknown_error quote print " {" print " " ehelp "," print " " unknown_error "," print " cl_enum_" name "_data," print " sizeof (" enum_type[name] ")," print " cl_enum_" name "_set," print " cl_enum_" name "_get" print " }," } print "};" print "const unsigned int cl_enums_count = " n_enums ";" print "" print "const struct gcc_options global_options_init =\n{" for (i = 0; i < n_extra_vars; i++) { var = extra_vars[i] init = extra_vars[i] if (var ~ "=" ) { sub(".*= *", "", init) } else { init = "0" } sub(" *=.*", "", var) name = var sub("^.*[ *]", "", name) sub("\\[.*\\]$", "", name) var_seen[name] = 1 print " " init ", /* " name " */" } for (i = 0; i < n_opts; i++) { name = var_name(flags[i]); if (name == "") continue; init = opt_args("Init", flags[i]) if (init != "") { if (name in var_init && var_init[name] != init) print "#error multiple initializers for " name var_init[name] = init } } for (i = 0; i < n_opts; i++) { name = var_name(flags[i]); if (name == "") continue; if (name in var_seen) continue; if (name in var_init) init = var_init[name] else init = "0" print " " init ", /* " name " */" var_seen[name] = 1; } for (i = 0; i < n_opts; i++) { name = static_var(opts[i], flags[i]); if (name != "") { print " 0, /* " name " (private state) */" print "#undef x_" name } } for (i = 0; i < n_opts; i++) { if (flag_set_p("SetByCombined", flags[i])) print " false, /* frontend_set_" var_name(flags[i]) " */" } print "};" print "" print "struct gcc_options global_options;" print "struct gcc_options global_options_set;" print "" print "const char * const lang_names[] =\n{" for (i = 0; i < n_langs; i++) { macros[i] = "CL_" lang_sanitized_name(langs[i]) s = substr(" ", length (macros[i])) print " " quote langs[i] quote "," } print " 0\n};\n" print "const unsigned int cl_options_count = N_OPTS;\n" print "#if (1U << " n_langs ") > CL_MIN_OPTION_CLASS" print " #error the number of languages exceeds the implementation limit" print "#endif" print "const unsigned int cl_lang_count = " n_langs ";\n" print "const struct cl_option cl_options[] =\n{" j = 0 for (i = 0; i < n_opts; i++) { back_chain[i] = "N_OPTS"; indices[opts[i]] = j; # Combine the flags of identical switches. Switches # appear many times if they are handled by many front # ends, for example. while( i + 1 != n_opts && opts[i] == opts[i + 1] ) { flags[i + 1] = flags[i] " " flags[i + 1]; if (help[i + 1] == "") help[i + 1] = help[i] else if (help[i] != "" && help[i + 1] != help[i]) print "#error Multiple different help strings for " \ opts[i] ":\n\t" help[i] "\n\t" help[i + 1] i++; back_chain[i] = "N_OPTS"; indices[opts[i]] = j; } j++; } for (i = 0; i < n_opts; i++) { # With identical flags, pick only the last one. The # earlier loop ensured that it has all flags merged, # and a nonempty help text if one of the texts was nonempty. while( i + 1 != n_opts && opts[i] == opts[i + 1] ) { i++; } len = length (opts[i]); enum = opt_enum(opts[i]) # If this switch takes joined arguments, back-chain all # subsequent switches to it for which it is a prefix. If # a later switch S is a longer prefix of a switch T, T # will be back-chained to S in a later iteration of this # for() loop, which is what we want. if (flag_set_p("Joined.*", flags[i])) { for (j = i + 1; j < n_opts; j++) { if (substr (opts[j], 1, len) != opts[i]) break; back_chain[j] = enum; } } s = substr(" ", length (opts[i])) if (i + 1 == n_opts) comma = "" if (help[i] == "") hlp = "0" else hlp = quote help[i] quote; missing_arg_error = opt_args("MissingArgError", flags[i]) if (missing_arg_error == "") missing_arg_error = "0" else missing_arg_error = quote missing_arg_error quote warn_message = opt_args("Warn", flags[i]) if (warn_message == "") warn_message = "0" else warn_message = quote warn_message quote alias_arg = opt_args("Alias", flags[i]) if (alias_arg == "") { if (flag_set_p("Ignore", flags[i])) alias_data = "NULL, NULL, OPT_SPECIAL_ignore" else alias_data = "NULL, NULL, N_OPTS" } else { alias_opt = nth_arg(0, alias_arg) alias_posarg = nth_arg(1, alias_arg) alias_negarg = nth_arg(2, alias_arg) if (var_ref(opts[i], flags[i]) != "-1") print "#error Alias setting variable" if (alias_posarg != "" && alias_negarg == "") { if (!flag_set_p("RejectNegative", flags[i]) \ && opts[i] ~ "^[Wfm]") print "#error Alias with single argument " \ "allowing negative form" } if (alias_posarg != "" \ && flag_set_p("NegativeAlias", flags[i])) { print "#error Alias with multiple arguments " \ "used with NegativeAlias" } alias_opt = opt_enum(alias_opt) if (alias_posarg == "") alias_posarg = "NULL" else alias_posarg = quote alias_posarg quote if (alias_negarg == "") alias_negarg = "NULL" else alias_negarg = quote alias_negarg quote alias_data = alias_posarg ", " alias_negarg ", " alias_opt } neg = opt_args("Negative", flags[i]); if (neg != "") idx = indices[neg] else { if (flag_set_p("RejectNegative", flags[i])) idx = -1; else { if (opts[i] ~ "^[Wfm]") idx = indices[opts[i]]; else idx = -1; } } # Split the printf after %u to work around an ia64-hp-hpux11.23 # awk bug. printf(" { %c-%s%c,\n %s,\n %s,\n %s,\n %s, %s, %u,", quote, opts[i], quote, hlp, missing_arg_error, warn_message, alias_data, back_chain[i], len) printf(" %d,\n", idx) condition = opt_args("Condition", flags[i]) cl_flags = switch_flags(flags[i]) cl_bit_fields = switch_bit_fields(flags[i]) cl_zero_bit_fields = switch_bit_fields("") if (condition != "") printf("#if %s\n" \ " %s,\n" \ " 0, %s,\n" \ "#else\n" \ " 0,\n" \ " 1 /* Disabled. */, %s,\n" \ "#endif\n", condition, cl_flags, cl_bit_fields, cl_zero_bit_fields) else printf(" %s,\n" \ " 0, %s,\n", cl_flags, cl_bit_fields) printf(" %s, %s }%s\n", var_ref(opts[i], flags[i]), var_set(flags[i]), comma) } print "};" print "\n\n" print "bool " print "common_handle_option_auto (struct gcc_options *opts, " print " struct gcc_options *opts_set, " print " const struct cl_decoded_option *decoded, " print " unsigned int lang_mask, int kind, " print " location_t loc, " print " const struct cl_option_handlers *handlers, " print " diagnostic_context *dc) " print "{ " print " size_t scode = decoded->opt_index; " print " int value = decoded->value; " print " enum opt_code code = (enum opt_code) scode; " print " " print " gcc_assert (decoded->canonical_option_num_elements <= 2); " print " " print " switch (code) " print " { " # Handle EnabledBy for (i = 0; i < n_enabledby; i++) { enabledby_name = enabledby[i]; print " case " opt_enum(enabledby_name) ":" n_enables = split(enables[enabledby_name], thisenable, ";"); n_enablesif = split(enablesif[enabledby_name], thisenableif, ";"); if (n_enables != n_enablesif) { print "#error n_enables != n_enablesif: Something went wrong!" } for (j = 1; j < n_enables; j++) { opt_var_name = var_name(flags[opt_numbers[thisenable[j]]]); if (opt_var_name != "") { condition = "!opts_set->x_" opt_var_name if (thisenableif[j] != "") { condition = condition " && (" thisenableif[j] ")" } print " if (" condition ")" print " handle_generated_option (opts, opts_set," print " " opt_enum(thisenable[j]) ", NULL, value," print " lang_mask, kind, loc, handlers, dc);" } else { print "#error " thisenable[j] " does not have a Var() flag" } } print " break;\n" } print " default: " print " break; " print " } " print " return true; " print "} " # Handle LangEnabledBy for (i = 0; i < n_langs; i++) { lang_name = lang_sanitized_name(langs[i]); mark_unused = " ATTRIBUTE_UNUSED"; print "\n\n" print "bool " print lang_name "_handle_option_auto (struct gcc_options *opts" mark_unused ", " print " struct gcc_options *opts_set" mark_unused ", " print " size_t scode" mark_unused ", const char *arg" mark_unused ", int value" mark_unused ", " print " unsigned int lang_mask" mark_unused ", int kind" mark_unused ", " print " location_t loc" mark_unused ", " print " const struct cl_option_handlers *handlers" mark_unused ", " print " diagnostic_context *dc" mark_unused ") " print "{ " print " enum opt_code code = (enum opt_code) scode; " print " " print " switch (code) " print " { " for (k = 0; k < n_enabledby_lang[i]; k++) { enabledby_name = enabledby[lang_name,k]; print " case " opt_enum(enabledby_name) ":" n_thisenable = split(enables[lang_name,enabledby_name], thisenable, ";"); for (j = 1; j < n_thisenable; j++) { n_thisenable_args = split(thisenable[j], thisenable_args, ","); if (n_thisenable_args == 1) { thisenable_opt = thisenable[j]; value = "value"; } else { thisenable_opt = thisenable_args[1]; with_posarg = thisenable_args[2]; with_negarg = thisenable_args[3]; value = "value ? " with_posarg " : " with_negarg; } opt_var_name = var_name(flags[opt_numbers[thisenable_opt]]); if (opt_var_name != "") { print " if (!opts_set->x_" opt_var_name ")" print " handle_generated_option (opts, opts_set," print " " opt_enum(thisenable_opt) ", NULL, " value "," print " lang_mask, kind, loc, handlers, dc);" } else { print "#error " thisenable_opt " does not have a Var() flag" } } print " break;\n" } print " default: " print " break; " print " } " print " return true; " print "} " } }