diff options
Diffstat (limited to 'gcc-4.9/gcc/optc-gen.awk')
-rw-r--r-- | gcc-4.9/gcc/optc-gen.awk | 481 |
1 files changed, 481 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/optc-gen.awk b/gcc-4.9/gcc/optc-gen.awk new file mode 100644 index 000000000..a091b72af --- /dev/null +++ b/gcc-4.9/gcc/optc-gen.awk @@ -0,0 +1,481 @@ +# 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 +# <http://www.gnu.org/licenses/>. + +# 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 "} " +} + +} |