X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Foptc-gen.awk;h=e28c397f48a9a3614d58a172c34b21d855c7d0f6;hb=43c5cb7038177164b1675b51a587cb9c72b369d4;hp=845efb4a5157d99fb5c7e066513acd700738269f;hpb=46f8e3b0dc1cbb88c7dde984d0f0c2ce8935011d;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk index 845efb4a515..e28c397f48a 100644 --- a/gcc/optc-gen.awk +++ b/gcc/optc-gen.awk @@ -1,4 +1,5 @@ -# Copyright (C) 2003, 2004, 2007 Free Software Foundation, Inc. +# Copyright (C) 2003, 2004, 2007, 2008, 2009, 2010, 2011 +# Free Software Foundation, Inc. # Contributed by Kelley Cook, June 2004. # Original code from Neil Booth, May 2003. # @@ -20,44 +21,13 @@ # opt-gather.awk, combines the flags of duplicate options and generates a # C file. # -# This program uses functions from opt-functions.awk + +# This program uses functions from opt-functions.awk and code from +# opt-read.awk. # -# Usage: awk -f opt-functions.awk -f optc-gen.awk \ +# Usage: awk -f opt-functions.awk -f opt-read.awk -f optc-gen.awk \ # [-v header_name=header.h] < inputfile > options.c -BEGIN { - n_opts = 0 - n_langs = 0 - n_target_save = 0 - quote = "\042" - comma = "," - FS=SUBSEP - # Default the name of header created from opth-gen.awk to options.h - if (header_name == "") header_name="options.h" -} - -# Collect the text and flags of each option into an array - { - if ($1 == "Language") { - langs[n_langs] = $2 - n_langs++; - } - else if ($1 == "TargetSave") { - # Make sure the declarations are put in source order - target_save_decl[n_target_save] = $2 - n_target_save++ - } - else { - name = opt_args("Mask", $1) - if (name == "") { - opts[n_opts] = $1 - flags[n_opts] = $2 - help[n_opts] = $3 - n_opts++; - } - } - } - # Dump that array of options into a C file. END { print "/* This file is auto-generated by optc-gen.awk. */" @@ -67,71 +37,141 @@ 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 "" -print "#ifdef GCC_DRIVER" -print "int target_flags;" -print "#else" -print "#include " quote "flags.h" quote -print "#include " quote "target.h" quote -print "#endif /* GCC_DRIVER */" + +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 "" -have_save = 0; +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++) { - if (flag_set_p("Save", flags[i])) - have_save = 1; - name = var_name(flags[i]); if (name == "") continue; - if (flag_set_p("VarExists", flags[i])) { - # Need it for the gcc driver. - if (name in var_seen) - continue; - init = "" - gcc_driver = 1 - } - else { - init = opt_args("Init", flags[i]) - if (init != "") - init = " = " init; - else if (name in var_seen) - continue; - gcc_driver = 0 + 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 (gcc_driver == 1) - print "#ifdef GCC_DRIVER" - print "/* Set by -" opts[i] "." - print " " help[i] " */" - print var_type(flags[i]) name init ";" - if (gcc_driver == 1) - print "#endif /* GCC_DRIVER */" - print "" + 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; } - -print "" -print "/* Local state variables. */" for (i = 0; i < n_opts; i++) { name = static_var(opts[i], flags[i]); - if (name != "") - print "static " var_type(flags[i]) name ";" + 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_" langs[i] - gsub( "[^A-Za-z0-9_]", "X", macros[i] ) + gsub( "[^" alnum "_]", "X", macros[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{" @@ -145,6 +185,12 @@ for (i = 0; i < n_opts; i++) { # 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 "warning: multiple different help strings for " \ + opts[i] ":\n\t" help[i] "\n\t" help[i + 1] \ + | "cat 1>&2" i++; back_chain[i] = "N_OPTS"; indices[opts[i]] = j; @@ -153,19 +199,15 @@ for (i = 0; i < n_opts; i++) { } for (i = 0; i < n_opts; i++) { - # Combine the flags of identical switches. Switches - # appear many times if they are handled by many front - # ends, for example. + # 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] ) { - flags[i + 1] = flags[i] " " flags[i + 1]; i++; } len = length (opts[i]); - enum = "OPT_" opts[i] - if (opts[i] == "finline-limit=" || opts[i] == "Wlarger-than=") - enum = enum "eq" - gsub ("[^A-Za-z0-9]", "_", enum) + 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 @@ -189,6 +231,57 @@ for (i = 0; i < n_opts; i++) { 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] @@ -204,329 +297,31 @@ for (i = 0; i < n_opts; i++) { } # Split the printf after %u to work around an ia64-hp-hpux11.23 # awk bug. - printf(" { %c-%s%c,\n %s,\n %s, %u,", - quote, opts[i], quote, hlp, back_chain[i], len) + 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" \ - " CL_DISABLED,\n" \ + " 0,\n" \ + " 1 /* Disabled. */, %s,\n" \ "#endif\n", - condition, cl_flags, cl_flags) + condition, cl_flags, cl_bit_fields, cl_zero_bit_fields) else - printf(" %s,\n", cl_flags) + 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 ""; -print "#if !defined(GCC_DRIVER) && !defined(IN_LIBGCC2)" -print ""; -print "/* Save optimization variables into a structure. */" -print "void"; -print "cl_optimization_save (struct cl_optimization *ptr)"; -print "{"; - -n_opt_char = 2; -n_opt_short = 0; -n_opt_int = 0; -n_opt_other = 0; -var_opt_char[0] = "optimize"; -var_opt_char[1] = "optimize_size"; -var_opt_range["optimize"] = "0, 255"; -var_opt_range["optimize_size"] = "0, 255"; - -# Sort by size to mimic how the structure is laid out to be friendlier to the -# cache. - -for (i = 0; i < n_opts; i++) { - if (flag_set_p("Optimization", flags[i])) { - name = var_name(flags[i]) - if(name == "") - continue; - - if(name in var_opt_seen) - continue; - - var_opt_seen[name]++; - otype = var_type_struct(flags[i]); - if (otype ~ "^((un)?signed +)?int *$") - var_opt_int[n_opt_int++] = name; - - else if (otype ~ "^((un)?signed +)?short *$") - var_opt_short[n_opt_short++] = name; - - else if (otype ~ "^((un)?signed +)?char *$") { - var_opt_char[n_opt_char++] = name; - if (otype ~ "^unsigned +char *$") - var_opt_range[name] = "0, 255" - else if (otype ~ "^signed +char *$") - var_opt_range[name] = "-128, 127" - } - else - var_opt_other[n_opt_other++] = name; - } -} - -for (i = 0; i < n_opt_char; i++) { - name = var_opt_char[i]; - if (var_opt_range[name] != "") - print " gcc_assert (IN_RANGE (" name ", " var_opt_range[name] "));"; -} - -print ""; -for (i = 0; i < n_opt_other; i++) { - print " ptr->" var_opt_other[i] " = " var_opt_other[i] ";"; -} - -for (i = 0; i < n_opt_int; i++) { - print " ptr->" var_opt_int[i] " = " var_opt_int[i] ";"; -} - -for (i = 0; i < n_opt_short; i++) { - print " ptr->" var_opt_short[i] " = " var_opt_short[i] ";"; -} - -for (i = 0; i < n_opt_char; i++) { - print " ptr->" var_opt_char[i] " = " var_opt_char[i] ";"; -} - -print "}"; - -print ""; -print "/* Restore optimization options from a structure. */"; -print "void"; -print "cl_optimization_restore (struct cl_optimization *ptr)"; -print "{"; - -for (i = 0; i < n_opt_other; i++) { - print " " var_opt_other[i] " = ptr->" var_opt_other[i] ";"; -} - -for (i = 0; i < n_opt_int; i++) { - print " " var_opt_int[i] " = ptr->" var_opt_int[i] ";"; -} - -for (i = 0; i < n_opt_short; i++) { - print " " var_opt_short[i] " = ptr->" var_opt_short[i] ";"; -} - -for (i = 0; i < n_opt_char; i++) { - print " " var_opt_char[i] " = ptr->" var_opt_char[i] ";"; -} - -print "}"; - -print ""; -print "/* Print optimization options from a structure. */"; -print "void"; -print "cl_optimization_print (FILE *file,"; -print " int indent_to,"; -print " struct cl_optimization *ptr)"; -print "{"; - -print " fputs (\"\\n\", file);"; -for (i = 0; i < n_opt_other; i++) { - print " if (ptr->" var_opt_other[i] ")"; - print " fprintf (file, \"%*s%s (0x%lx)\\n\","; - print " indent_to, \"\","; - print " \"" var_opt_other[i] "\","; - print " (unsigned long)ptr->" var_opt_other[i] ");"; - print ""; -} - -for (i = 0; i < n_opt_int; i++) { - print " if (ptr->" var_opt_int[i] ")"; - print " fprintf (file, \"%*s%s (0x%x)\\n\","; - print " indent_to, \"\","; - print " \"" var_opt_int[i] "\","; - print " ptr->" var_opt_int[i] ");"; - print ""; -} - -for (i = 0; i < n_opt_short; i++) { - print " if (ptr->" var_opt_short[i] ")"; - print " fprintf (file, \"%*s%s (0x%x)\\n\","; - print " indent_to, \"\","; - print " \"" var_opt_short[i] "\","; - print " ptr->" var_opt_short[i] ");"; - print ""; -} - -for (i = 0; i < n_opt_char; i++) { - print " if (ptr->" var_opt_char[i] ")"; - print " fprintf (file, \"%*s%s (0x%x)\\n\","; - print " indent_to, \"\","; - print " \"" var_opt_char[i] "\","; - print " ptr->" var_opt_char[i] ");"; - print ""; -} - -print "}"; - -print ""; -print "/* Save selected option variables into a structure. */" -print "void"; -print "cl_target_option_save (struct cl_target_option *ptr)"; -print "{"; - -n_target_char = 0; -n_target_short = 0; -n_target_int = 0; -n_target_other = 0; - -if (have_save) { - for (i = 0; i < n_opts; i++) { - if (flag_set_p("Save", flags[i])) { - name = var_name(flags[i]) - if(name == "") - name = "target_flags"; - - if(name in var_save_seen) - continue; - - var_save_seen[name]++; - otype = var_type_struct(flags[i]) - if (otype ~ "^((un)?signed +)?int *$") - var_target_int[n_target_int++] = name; - - else if (otype ~ "^((un)?signed +)?short *$") - var_target_short[n_target_short++] = name; - - else if (otype ~ "^((un)?signed +)?char *$") { - var_target_char[n_target_char++] = name; - if (otype ~ "^unsigned +char *$") - var_target_range[name] = "0, 255" - else if (otype ~ "^signed +char *$") - var_target_range[name] = "-128, 127" - } - else - var_target_other[n_target_other++] = name; - } - } -} else { - var_target_int[n_target_int++] = "target_flags"; -} - -have_assert = 0; -for (i = 0; i < n_target_char; i++) { - name = var_target_char[i]; - if (var_target_range[name] != "") { - have_assert = 1; - print " gcc_assert (IN_RANGE (" name ", " var_target_range[name] "));"; - } -} - -if (have_assert) - print ""; - -print " if (targetm.target_option.save)"; -print " targetm.target_option.save (ptr);"; -print ""; - -for (i = 0; i < n_target_other; i++) { - print " ptr->" var_target_other[i] " = " var_target_other[i] ";"; -} - -for (i = 0; i < n_target_int; i++) { - print " ptr->" var_target_int[i] " = " var_target_int[i] ";"; -} - -for (i = 0; i < n_target_short; i++) { - print " ptr->" var_target_short[i] " = " var_target_short[i] ";"; -} - -for (i = 0; i < n_target_char; i++) { - print " ptr->" var_target_char[i] " = " var_target_char[i] ";"; -} - -print "}"; - -print ""; -print "/* Restore selected current options from a structure. */"; -print "void"; -print "cl_target_option_restore (struct cl_target_option *ptr)"; -print "{"; - -for (i = 0; i < n_target_other; i++) { - print " " var_target_other[i] " = ptr->" var_target_other[i] ";"; -} - -for (i = 0; i < n_target_int; i++) { - print " " var_target_int[i] " = ptr->" var_target_int[i] ";"; -} - -for (i = 0; i < n_target_short; i++) { - print " " var_target_short[i] " = ptr->" var_target_short[i] ";"; -} - -for (i = 0; i < n_target_char; i++) { - print " " var_target_char[i] " = ptr->" var_target_char[i] ";"; -} - -# This must occur after the normal variables in case the code depends on those -# variables. -print ""; -print " if (targetm.target_option.restore)"; -print " targetm.target_option.restore (ptr);"; - -print "}"; - -print ""; -print "/* Print optimization options from a structure. */"; -print "void"; -print "cl_target_option_print (FILE *file,"; -print " int indent,"; -print " struct cl_target_option *ptr)"; -print "{"; - -print " fputs (\"\\n\", file);"; -for (i = 0; i < n_target_other; i++) { - print " if (ptr->" var_target_other[i] ")"; - print " fprintf (file, \"%*s%s (0x%lx)\\n\","; - print " indent, \"\","; - print " \"" var_target_other[i] "\","; - print " (unsigned long)ptr->" var_target_other[i] ");"; - print ""; -} - -for (i = 0; i < n_target_int; i++) { - print " if (ptr->" var_target_int[i] ")"; - print " fprintf (file, \"%*s%s (0x%x)\\n\","; - print " indent, \"\","; - print " \"" var_target_int[i] "\","; - print " ptr->" var_target_int[i] ");"; - print ""; -} - -for (i = 0; i < n_target_short; i++) { - print " if (ptr->" var_target_short[i] ")"; - print " fprintf (file, \"%*s%s (0x%x)\\n\","; - print " indent, \"\","; - print " \"" var_target_short[i] "\","; - print " ptr->" var_target_short[i] ");"; - print ""; -} - -for (i = 0; i < n_target_char; i++) { - print " if (ptr->" var_target_char[i] ")"; - print " fprintf (file, \"%*s%s (0x%x)\\n\","; - print " indent, \"\","; - print " \"" var_target_char[i] "\","; - print " ptr->" var_target_char[i] ");"; - print ""; -} - -print ""; -print " if (targetm.target_option.print)"; -print " targetm.target_option.print (file, indent, ptr);"; - -print "}"; -print "#endif"; - }