[thirdparty/gcc.git] / gcc / optc-gen.awk

#  Copyright (C) 2003-2019 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 {


# Combine the flags of identical switches.  Switches
# appear many times if they are handled by many front
# ends, for example.
for (i = 0; i < n_opts; i++) {
    merged_flags[i] = flags[i]
}
for (i = 0; i < n_opts; i++) {
    while(i + 1 != n_opts && opts[i] == opts[i + 1] ) {
	merged_flags[i + 1] = merged_flags[i] " " merged_flags[i + 1];
	i++;
    }
}

# Record 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 != "") {
        logical_and = index(enabledby_arg, " && ");
        if (logical_and != 0) {
            # EnabledBy(arg1 && arg2)
            split_sep = " && ";
        } else {
            # EnabledBy(arg) or EnabledBy(arg1 || arg2 || arg3)
            split_sep = " \\|\\| ";
        }
        n_enabledby_names = split(enabledby_arg, enabledby_names, split_sep);
        if (logical_and != 0 && n_enabledby_names > 2) {
            print "#error " opts[i] " EnabledBy(Wfoo && Wbar && Wbaz) currently not 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 " opts[i] " Enabledby(" enabledby_name "), unknown option '" enabledby_name "'"
            } else if (!flag_set_p("Common", merged_flags[enabledby_index])) {
		print "#error " opts[i] " Enabledby(" enabledby_name "), '" \
		    enabledby_name "' must have flag 'Common'"		\
		    " to use Enabledby(), otherwise use LangEnabledBy()"
	    } else {
		condition = "";
                if (logical_and != 0) {
                    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++;
}

optindex = 0
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 = "NULL"
	else
		hlp = quote help[i] quote;

	missing_arg_error = opt_args("MissingArgError", flags[i])
	if (missing_arg_error == "")
		missing_arg_error = "NULL"
	else
		missing_arg_error = quote missing_arg_error quote


	warn_message = opt_args("Warn", flags[i])
	if (warn_message == "")
		warn_message = "NULL"
	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"
        if (warn_message != "NULL")
				  print "#error Ignored option with Warn"
        if (var_name(flags[i]) != "")
				  print "#error Ignored option with Var"
        if (flag_set_p("Report", flags[i]))
				  print "#error Ignored option with Report"
      }
    else if (flag_set_p("Deprecated", flags[i])) {
			  alias_data = "NULL, NULL, OPT_SPECIAL_deprecated"
        if (warn_message != "NULL")
				  print "#error Deprecated option with Warn"
        if (flag_set_p("Report", flags[i]))
				  print "#error Deprecated option with Report"
      }
		else
			alias_data = "NULL, NULL, N_OPTS"
		if (flag_set_p("Enum.*", flags[i])) {
			if (!flag_set_p("RejectNegative", flags[i]) \
			    && opts[i] ~ "^[Wfgm]")
				print "#error Enum allowing negative form"
		}
	} 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]) != "(unsigned short) -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] ~ "^[Wfgm]")
				idx = indices[opts[i]];
			else
				idx = -1;
		}
	}
	# Split the printf after %u to work around an ia64-hp-hpux11.23
	# awk bug.
	printf(" /* [%i] = */ {\n", optindex)
	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(" /* .neg_idx = */ %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 }%s\n", var_ref(opts[i], flags[i]),
	       var_set(flags[i]), integer_range_info(opt_args("IntegerRange", flags[i]),
		    opt_args("Init", flags[i]), opts[i]), comma)

	# Bump up the informational option index.
	++optindex
 }

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 "  HOST_WIDE_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] != "") {
                value = "(" thisenableif[j] ")"
            } else {
                value = "value"
            }
            print "      if (" condition ")"
            print "        handle_generated_option (opts, opts_set,"
            print "                                 " opt_enum(thisenable[j]) ", NULL, " value ","
            print "                                 lang_mask, kind, loc, handlers, true, 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 ", HOST_WIDE_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, true, dc);"
            } else {
                print "#error " thisenable_opt " does not have a Var() flag"
            }
        }
        print "      break;\n"
    }
    print "    default:    "
    print "      break;    "
    print "    }           "
    print "  return true;  "
    print "}               "
}

#Handle CPP()
print "\n"
print "#include " quote "cpplib.h" quote;
print "void"
print "cpp_handle_option_auto (const struct gcc_options * opts,                   "
print "                        size_t scode, struct cpp_options * cpp_opts)"    
print "{                                                                     "
print "  enum opt_code code = (enum opt_code) scode;                         "
print "                                                                      "
print "  switch (code)                                                       "
print "    {                                                                 "
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++;
    }

    cpp_option = nth_arg(0, opt_args("CPP", flags[i]));
    if (cpp_option != "") {
        opt_var_name = var_name(flags[i]);
        init = opt_args("Init", flags[i])
        if (opt_var_name != "" && init != "") {
            print "    case " opt_enum(opts[i]) ":"
            print "      cpp_opts->" cpp_option " = opts->x_" opt_var_name ";"
            print "      break;"
        } else if (opt_var_name == "" && init == "") {
            print "#error CPP() requires setting Init() and Var() for " opts[i]
        } else if (opt_var_name != "") {
            print "#error CPP() requires setting Init() for " opts[i]
        } else {
            print "#error CPP() requires setting Var() for " opts[i]
        }
    }
}
print "    default:    "
print "      break;    "
print "    }           "
print "}\n"
print "void"
print "init_global_opts_from_cpp(struct gcc_options * opts,                   "
print "                         const struct cpp_options * cpp_opts)"    
print "{                                                                     "
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++;
    }
    cpp_option = nth_arg(0, opt_args("CPP", flags[i]));
    opt_var_name = var_name(flags[i]);
    if (cpp_option != "" && opt_var_name != "") {
        print "  opts->x_" opt_var_name " = cpp_opts->" cpp_option ";"
    }
}
print "}               "

}
Commit	Line	Data
a5544970	1	# Copyright (C) 2003-2019 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
9dcd6f09 NC	17	# <http://www.gnu.org/licenses/>.
776dc15d KC	18
776dc15d KC	19	# This Awk script reads in the option records generated from
fc54bc84	20	# opt-gather.awk, combines the flags of duplicate options and generates a
776dc15d KC	21	# C file.
776dc15d KC	22	#
86fa5de4 JM	23
	24	# This program uses functions from opt-functions.awk and code from
	25	# opt-read.awk.
776dc15d	26	#
86fa5de4	27	# Usage: awk -f opt-functions.awk -f opt-read.awk -f optc-gen.awk \
776dc15d KC	28	# [-v header_name=header.h] < inputfile > options.c
776dc15d KC	29
776dc15d KC	30	# Dump that array of options into a C file.
776dc15d KC	31	END {
f2bc201f	32
c2d89095 MLI	33
	34	# Combine the flags of identical switches. Switches
	35	# appear many times if they are handled by many front
	36	# ends, for example.
	37	for (i = 0; i < n_opts; i++) {
	38	merged_flags[i] = flags[i]
	39	}
	40	for (i = 0; i < n_opts; i++) {
	41	while(i + 1 != n_opts && opts[i] == opts[i + 1] ) {
	42	merged_flags[i + 1] = merged_flags[i] " " merged_flags[i + 1];
	43	i++;
	44	}
	45	}
	46
	47	# Record EnabledBy and LangEnabledBy uses.
f2bc201f MLI	48	n_enabledby = 0;
	49	for (i = 0; i < n_langs; i++) {
	50	n_enabledby_lang[i] = 0;
	51	}
	52	for (i = 0; i < n_opts; i++) {
	53	enabledby_arg = opt_args("EnabledBy", flags[i]);
	54	if (enabledby_arg != "") {
27e51192 TB	55	logical_and = index(enabledby_arg, " && ");
	56	if (logical_and != 0) {
	57	# EnabledBy(arg1 && arg2)
	58	split_sep = " && ";
	59	} else {
	60	# EnabledBy(arg) or EnabledBy(arg1 \|\| arg2 \|\| arg3)
	61	split_sep = " \\\|\\\| ";
	62	}
	63	n_enabledby_names = split(enabledby_arg, enabledby_names, split_sep);
	64	if (logical_and != 0 && n_enabledby_names > 2) {
c2d89095	65	print "#error " opts[i] " EnabledBy(Wfoo && Wbar && Wbaz) currently not supported"
d919140b MLI	66	}
	67	for (j = 1; j <= n_enabledby_names; j++) {
	68	enabledby_name = enabledby_names[j];
	69	enabledby_index = opt_numbers[enabledby_name];
	70	if (enabledby_index == "") {
c2d89095 MLI	71	print "#error " opts[i] " Enabledby(" enabledby_name "), unknown option '" enabledby_name "'"
	72	} else if (!flag_set_p("Common", merged_flags[enabledby_index])) {
	73	print "#error " opts[i] " Enabledby(" enabledby_name "), '" \
	74	enabledby_name "' must have flag 'Common'" \
	75	" to use Enabledby(), otherwise use LangEnabledBy()"
	76	} else {
	77	condition = "";
27e51192	78	if (logical_and != 0) {
d919140b MLI	79	opt_var_name_1 = search_var_name(enabledby_names[1], opt_numbers, opts, flags, n_opts);
	80	opt_var_name_2 = search_var_name(enabledby_names[2], opt_numbers, opts, flags, n_opts);
	81	if (opt_var_name_1 == "") {
	82	print "#error " enabledby_names[1] " does not have a Var() flag"
	83	}
	84	if (opt_var_name_2 == "") {
	85	print "#error " enabledby_names[2] " does not have a Var() flag"
	86	}
	87	condition = "opts->x_" opt_var_name_1 " && opts->x_" opt_var_name_2;
	88	}
	89	if (enables[enabledby_name] == "") {
	90	enabledby[n_enabledby] = enabledby_name;
	91	n_enabledby++;
	92	}
	93	enables[enabledby_name] = enables[enabledby_name] opts[i] ";";
	94	enablesif[enabledby_name] = enablesif[enabledby_name] condition ";";
f2bc201f	95	}
f2bc201f MLI	96	}
	97	}
	98
	99	enabledby_arg = opt_args("LangEnabledBy", flags[i]);
	100	if (enabledby_arg != "") {
0829c7f7	101	enabledby_langs = nth_arg(0, enabledby_arg);
f2bc201f	102	enabledby_name = nth_arg(1, enabledby_arg);
0829c7f7 MLI	103	enabledby_posarg = nth_arg(2, enabledby_arg);
	104	enabledby_negarg = nth_arg(3, enabledby_arg);
	105	lang_enabled_by(enabledby_langs, enabledby_name, enabledby_posarg, enabledby_negarg);
f2bc201f MLI	106	}
	107	}
	108
	109
af47e6ac	110	print "/* This file is auto-generated by optc-gen.awk. */"
776dc15d	111	print ""
aeb70e78 RS	112	n_headers = split(header_name, headers, " ")
	113	for (i = 1; i <= n_headers; i++)
	114	print "#include " quote headers[i] quote
776dc15d	115	print "#include " quote "opts.h" quote
fb664b5a	116	print "#include " quote "intl.h" quote
c344a866	117	print "#include " quote "insn-attr-common.h" quote
776dc15d KC	118	print ""
776dc15d KC	119
fd438373 MM	120	if (n_extra_c_includes > 0) {
	121	for (i = 0; i < n_extra_c_includes; i++) {
	122	print "#include " quote extra_c_includes[i] quote
	123	}
	124	print ""
	125	}
	126
e6d4b984 JM	127	for (i = 0; i < n_enums; i++) {
	128	name = enum_names[i]
	129	type = enum_type[name]
	130	print "static const struct cl_enum_arg cl_enum_" name \
	131	"_data[] = "
	132	print "{"
	133	print enum_data[name] " { NULL, 0, 0 }"
	134	print "};"
	135	print ""
	136	print "static void"
	137	print "cl_enum_" name "_set (void *var, int value)"
	138	print "{"
	139	print " ((" type " ) var) = (" type ") value;"
	140	print "}"
	141	print ""
	142	print "static int"
	143	print "cl_enum_" name "_get (const void *var)"
	144	print "{"
	145	print " return (int) ((const " type " ) var);"
	146	print "}"
	147	print ""
	148	}
	149
	150	print "const struct cl_enum cl_enums[] ="
	151	print "{"
	152	for (i = 0; i < n_enums; i++) {
	153	name = enum_names[i]
	154	ehelp = enum_help[name]
	155	if (ehelp == "")
	156	ehelp = "NULL"
	157	else
	158	ehelp = quote ehelp quote
	159	unknown_error = enum_unknown_error[name]
	160	if (unknown_error == "")
	161	unknown_error = "NULL"
	162	else
	163	unknown_error = quote unknown_error quote
	164	print " {"
	165	print " " ehelp ","
	166	print " " unknown_error ","
	167	print " cl_enum_" name "_data,"
	168	print " sizeof (" enum_type[name] "),"
	169	print " cl_enum_" name "_set,"
	170	print " cl_enum_" name "_get"
	171	print " },"
	172	}
	173	print "};"
	174	print "const unsigned int cl_enums_count = " n_enums ";"
	175	print ""
	176
a75bfaa6	177	print "const struct gcc_options global_options_init =\n{"
e90afde6	178	for (i = 0; i < n_extra_vars; i++) {
e3339d0f JM	179	var = extra_vars[i]
	180	init = extra_vars[i]
	181	if (var ~ "=" ) {
	182	sub(".= ", "", init)
e3339d0f JM	183	} else {
	184	init = "0"
	185	}
24f48c2f JM	186	sub(" =.", "", var)
	187	name = var
	188	sub("^.[ ]", "", name)
	189	sub("\\[.*\\]$", "", name)
	190	var_seen[name] = 1
	191	print " " init ", /* " name " */"
e90afde6	192	}
776dc15d KC	193	for (i = 0; i < n_opts; i++) {
	194	name = var_name(flags[i]);
	195	if (name == "")
	196	continue;
	197
e3339d0f JM	198	init = opt_args("Init", flags[i])
	199	if (init != "") {
	200	if (name in var_init && var_init[name] != init)
	201	print "#error multiple initializers for " name
	202	var_init[name] = init
14c7833c	203	}
e3339d0f JM	204	}
	205	for (i = 0; i < n_opts; i++) {
	206	name = var_name(flags[i]);
	207	if (name == "")
	208	continue;
	209
	210	if (name in var_seen)
	211	continue;
	212
	213	if (name in var_init)
	214	init = var_init[name]
	215	else
	216	init = "0"
a56a0779	217
e3339d0f	218	print " " init ", /* " name " */"
f7f655c7 DD	219
f7f655c7 DD	220	var_seen[name] = 1;
a56a0779	221	}
ee133b69 RS	222	for (i = 0; i < n_opts; i++) {
ee133b69 RS	223	name = static_var(opts[i], flags[i]);
46625112 JM	224	if (name != "") {
	225	print " 0, /* " name " (private state) */"
	226	print "#undef x_" name
	227	}
ee133b69	228	}
5e46b0c6 ILT	229	for (i = 0; i < n_opts; i++) {
	230	if (flag_set_p("SetByCombined", flags[i]))
	231	print " false, /* frontend_set_" var_name(flags[i]) " */"
	232	}
46625112	233	print "};"
ee133b69	234	print ""
a75bfaa6	235	print "struct gcc_options global_options;"
d4d24ba4 JM	236	print "struct gcc_options global_options_set;"
d4d24ba4 JM	237	print ""
776dc15d KC	238
	239	print "const char * const lang_names[] =\n{"
	240	for (i = 0; i < n_langs; i++) {
f2bc201f	241	macros[i] = "CL_" lang_sanitized_name(langs[i])
776dc15d KC	242	s = substr(" ", length (macros[i]))
	243	print " " quote langs[i] quote ","
	244	}
	245
	246	print " 0\n};\n"
	247	print "const unsigned int cl_options_count = N_OPTS;\n"
58265ea6 GF	248	print "#if (1U << " n_langs ") > CL_MIN_OPTION_CLASS"
	249	print " #error the number of languages exceeds the implementation limit"
	250	print "#endif"
c662432e	251	print "const unsigned int cl_lang_count = " n_langs ";\n"
776dc15d KC	252
	253	print "const struct cl_option cl_options[] =\n{"
	254
14c7833c L	255	j = 0
14c7833c L	256	for (i = 0; i < n_opts; i++) {
776dc15d	257	back_chain[i] = "N_OPTS";
14c7833c L	258	indices[opts[i]] = j;
	259	# Combine the flags of identical switches. Switches
	260	# appear many times if they are handled by many front
	261	# ends, for example.
	262	while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
	263	flags[i + 1] = flags[i] " " flags[i + 1];
a16d1645 RW	264	if (help[i + 1] == "")
a16d1645 RW	265	help[i + 1] = help[i]
40a1cfba	266	else if (help[i] != "" && help[i + 1] != help[i])
71caddc5 MLI	267	print "#error Multiple different help strings for " \
	268	opts[i] ":\n\t" help[i] "\n\t" help[i + 1]
	269
14c7833c L	270	i++;
	271	back_chain[i] = "N_OPTS";
	272	indices[opts[i]] = j;
	273	}
	274	j++;
	275	}
776dc15d	276
00abf86c	277	optindex = 0
b167666c	278	for (i = 0; i < n_opts; i++) {
a16d1645 RW	279	# With identical flags, pick only the last one. The
	280	# earlier loop ensured that it has all flags merged,
	281	# and a nonempty help text if one of the texts was nonempty.
b167666c	282	while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
b167666c RS	283	i++;
b167666c RS	284	}
776dc15d	285
b167666c	286	len = length (opts[i]);
9db94baa	287	enum = opt_enum(opts[i])
b167666c RS	288
	289	# If this switch takes joined arguments, back-chain all
	290	# subsequent switches to it for which it is a prefix. If
	291	# a later switch S is a longer prefix of a switch T, T
	292	# will be back-chained to S in a later iteration of this
	293	# for() loop, which is what we want.
	294	if (flag_set_p("Joined.*", flags[i])) {
	295	for (j = i + 1; j < n_opts; j++) {
	296	if (substr (opts[j], 1, len) != opts[i])
	297	break;
	298	back_chain[j] = enum;
776dc15d	299	}
b167666c	300	}
776dc15d	301
b167666c RS	302	s = substr(" ", length (opts[i]))
	303	if (i + 1 == n_opts)
	304	comma = ""
776dc15d	305
b167666c	306	if (help[i] == "")
00abf86c	307	hlp = "NULL"
b167666c RS	308	else
b167666c RS	309	hlp = quote help[i] quote;
776dc15d	310
61ff2bdc JM	311	missing_arg_error = opt_args("MissingArgError", flags[i])
61ff2bdc JM	312	if (missing_arg_error == "")
00abf86c	313	missing_arg_error = "NULL"
61ff2bdc JM	314	else
	315	missing_arg_error = quote missing_arg_error quote
	316
2d2bd949 JM	317
	318	warn_message = opt_args("Warn", flags[i])
	319	if (warn_message == "")
00abf86c	320	warn_message = "NULL"
2d2bd949 JM	321	else
	322	warn_message = quote warn_message quote
	323
5de8299c JM	324	alias_arg = opt_args("Alias", flags[i])
5de8299c JM	325	if (alias_arg == "") {
c0c12356 ML	326	if (flag_set_p("Ignore", flags[i])) {
	327	alias_data = "NULL, NULL, OPT_SPECIAL_ignore"
	328	if (warn_message != "NULL")
	329	print "#error Ignored option with Warn"
	330	if (var_name(flags[i]) != "")
	331	print "#error Ignored option with Var"
	332	if (flag_set_p("Report", flags[i]))
	333	print "#error Ignored option with Report"
	334	}
	335	else if (flag_set_p("Deprecated", flags[i])) {
	336	alias_data = "NULL, NULL, OPT_SPECIAL_deprecated"
	337	if (warn_message != "NULL")
	338	print "#error Deprecated option with Warn"
c0c12356 ML	339	if (flag_set_p("Report", flags[i]))
	340	print "#error Deprecated option with Report"
	341	}
2d2bd949 JM	342	else
2d2bd949 JM	343	alias_data = "NULL, NULL, N_OPTS"
742b1804 JJ	344	if (flag_set_p("Enum.*", flags[i])) {
742b1804 JJ	345	if (!flag_set_p("RejectNegative", flags[i]) \
9ed32e27	346	&& opts[i] ~ "^[Wfgm]")
742b1804 JJ	347	print "#error Enum allowing negative form"
742b1804 JJ	348	}
5de8299c JM	349	} else {
	350	alias_opt = nth_arg(0, alias_arg)
	351	alias_posarg = nth_arg(1, alias_arg)
	352	alias_negarg = nth_arg(2, alias_arg)
	353
f6b3ca5a	354	if (var_ref(opts[i], flags[i]) != "(unsigned short) -1")
5de8299c JM	355	print "#error Alias setting variable"
	356
	357	if (alias_posarg != "" && alias_negarg == "") {
	358	if (!flag_set_p("RejectNegative", flags[i]) \
	359	&& opts[i] ~ "^[Wfm]")
	360	print "#error Alias with single argument " \
	361	"allowing negative form"
	362	}
666a21a2 JM	363	if (alias_posarg != "" \
	364	&& flag_set_p("NegativeAlias", flags[i])) {
	365	print "#error Alias with multiple arguments " \
	366	"used with NegativeAlias"
	367	}
5de8299c JM	368
	369	alias_opt = opt_enum(alias_opt)
	370	if (alias_posarg == "")
	371	alias_posarg = "NULL"
	372	else
	373	alias_posarg = quote alias_posarg quote
	374	if (alias_negarg == "")
	375	alias_negarg = "NULL"
	376	else
	377	alias_negarg = quote alias_negarg quote
	378	alias_data = alias_posarg ", " alias_negarg ", " alias_opt
	379	}
	380
14c7833c L	381	neg = opt_args("Negative", flags[i]);
	382	if (neg != "")
	383	idx = indices[neg]
	384	else {
	385	if (flag_set_p("RejectNegative", flags[i]))
	386	idx = -1;
	387	else {
9ed32e27	388	if (opts[i] ~ "^[Wfgm]")
14c7833c L	389	idx = indices[opts[i]];
	390	else
	391	idx = -1;
	392	}
	393	}
b1c61c7e RW	394	# Split the printf after %u to work around an ia64-hp-hpux11.23
b1c61c7e RW	395	# awk bug.
00abf86c MS	396	printf(" /* [%i] = */ {\n", optindex)
00abf86c MS	397	printf(" %c-%s%c,\n %s,\n %s,\n %s,\n %s, %s, %u,",
2d2bd949	398	quote, opts[i], quote, hlp, missing_arg_error, warn_message,
5de8299c	399	alias_data, back_chain[i], len)
00abf86c	400	printf(" /* .neg_idx = */ %d,\n", idx)
aeb70e78 RS	401	condition = opt_args("Condition", flags[i])
aeb70e78 RS	402	cl_flags = switch_flags(flags[i])
300d83d9 JM	403	cl_bit_fields = switch_bit_fields(flags[i])
300d83d9 JM	404	cl_zero_bit_fields = switch_bit_fields("")
aeb70e78 RS	405	if (condition != "")
	406	printf("#if %s\n" \
	407	" %s,\n" \
300d83d9	408	" 0, %s,\n" \
aeb70e78	409	"#else\n" \
300d83d9 JM	410	" 0,\n" \
300d83d9 JM	411	" 1 /* Disabled. */, %s,\n" \
aeb70e78	412	"#endif\n",
300d83d9	413	condition, cl_flags, cl_bit_fields, cl_zero_bit_fields)
aeb70e78	414	else
300d83d9 JM	415	printf(" %s,\n" \
	416	" 0, %s,\n",
	417	cl_flags, cl_bit_fields)
63010089	418	printf(" %s, %s, %s }%s\n", var_ref(opts[i], flags[i]),
e88a9384 ML	419	var_set(flags[i]), integer_range_info(opt_args("IntegerRange", flags[i]),
e88a9384 ML	420	opt_args("Init", flags[i]), opts[i]), comma)
00abf86c MS	421
	422	# Bump up the informational option index.
	423	++optindex
	424	}
776dc15d KC	425
776dc15d KC	426	print "};"
ab442df7	427
7d5a5747 MLI	428	print "\n\n"
	429	print "bool "
	430	print "common_handle_option_auto (struct gcc_options *opts, "
	431	print " struct gcc_options *opts_set, "
	432	print " const struct cl_decoded_option *decoded, "
	433	print " unsigned int lang_mask, int kind, "
	434	print " location_t loc, "
	435	print " const struct cl_option_handlers *handlers, "
	436	print " diagnostic_context *dc) "
	437	print "{ "
	438	print " size_t scode = decoded->opt_index; "
00abf86c	439	print " HOST_WIDE_INT value = decoded->value; "
7d5a5747 MLI	440	print " enum opt_code code = (enum opt_code) scode; "
	441	print " "
	442	print " gcc_assert (decoded->canonical_option_num_elements <= 2); "
	443	print " "
	444	print " switch (code) "
	445	print " { "
d919140b	446	# Handle EnabledBy
7d5a5747 MLI	447	for (i = 0; i < n_enabledby; i++) {
	448	enabledby_name = enabledby[i];
	449	print " case " opt_enum(enabledby_name) ":"
65d4f2cd	450	n_enables = split(enables[enabledby_name], thisenable, ";");
d919140b MLI	451	n_enablesif = split(enablesif[enabledby_name], thisenableif, ";");
	452	if (n_enables != n_enablesif) {
	453	print "#error n_enables != n_enablesif: Something went wrong!"
	454	}
7d5a5747 MLI	455	for (j = 1; j < n_enables; j++) {
7d5a5747 MLI	456	opt_var_name = var_name(flags[opt_numbers[thisenable[j]]]);
9b095bf1	457	if (opt_var_name != "") {
d919140b MLI	458	condition = "!opts_set->x_" opt_var_name
d919140b MLI	459	if (thisenableif[j] != "") {
a82122df MK	460	value = "(" thisenableif[j] ")"
	461	} else {
	462	value = "value"
d919140b MLI	463	}
d919140b MLI	464	print " if (" condition ")"
9b095bf1	465	print " handle_generated_option (opts, opts_set,"
a82122df	466	print " " opt_enum(thisenable[j]) ", NULL, " value ","
b9822443	467	print " lang_mask, kind, loc, handlers, true, dc);"
9b095bf1 MLI	468	} else {
	469	print "#error " thisenable[j] " does not have a Var() flag"
	470	}
7d5a5747 MLI	471	}
7d5a5747 MLI	472	print " break;\n"
7d5a5747 MLI	473	}
	474	print " default: "
	475	print " break; "
	476	print " } "
	477	print " return true; "
	478	print "} "
	479
f2bc201f MLI	480	# Handle LangEnabledBy
	481	for (i = 0; i < n_langs; i++) {
	482	lang_name = lang_sanitized_name(langs[i]);
	483	mark_unused = " ATTRIBUTE_UNUSED";
	484
	485	print "\n\n"
	486	print "bool "
	487	print lang_name "_handle_option_auto (struct gcc_options *opts" mark_unused ", "
	488	print " struct gcc_options *opts_set" mark_unused ", "
00abf86c	489	print " size_t scode" mark_unused ", const char *arg" mark_unused ", HOST_WIDE_INT value" mark_unused ", "
f2bc201f MLI	490	print " unsigned int lang_mask" mark_unused ", int kind" mark_unused ", "
	491	print " location_t loc" mark_unused ", "
	492	print " const struct cl_option_handlers *handlers" mark_unused ", "
	493	print " diagnostic_context *dc" mark_unused ") "
	494	print "{ "
	495	print " enum opt_code code = (enum opt_code) scode; "
	496	print " "
	497	print " switch (code) "
	498	print " { "
	499
	500	for (k = 0; k < n_enabledby_lang[i]; k++) {
	501	enabledby_name = enabledby[lang_name,k];
	502	print " case " opt_enum(enabledby_name) ":"
65d4f2cd MLI	503	n_thisenable = split(enables[lang_name,enabledby_name], thisenable, ";");
	504	for (j = 1; j < n_thisenable; j++) {
	505	n_thisenable_args = split(thisenable[j], thisenable_args, ",");
	506	if (n_thisenable_args == 1) {
	507	thisenable_opt = thisenable[j];
	508	value = "value";
	509	} else {
	510	thisenable_opt = thisenable_args[1];
	511	with_posarg = thisenable_args[2];
	512	with_negarg = thisenable_args[3];
	513	value = "value ? " with_posarg " : " with_negarg;
	514	}
	515	opt_var_name = var_name(flags[opt_numbers[thisenable_opt]]);
9b095bf1 MLI	516	if (opt_var_name != "") {
	517	print " if (!opts_set->x_" opt_var_name ")"
	518	print " handle_generated_option (opts, opts_set,"
65d4f2cd	519	print " " opt_enum(thisenable_opt) ", NULL, " value ","
b9822443	520	print " lang_mask, kind, loc, handlers, true, dc);"
9b095bf1	521	} else {
65d4f2cd	522	print "#error " thisenable_opt " does not have a Var() flag"
9b095bf1	523	}
f2bc201f MLI	524	}
	525	print " break;\n"
	526	}
	527	print " default: "
	528	print " break; "
	529	print " } "
	530	print " return true; "
	531	print "} "
	532	}
	533
43f9a13c MLI	534	#Handle CPP()
	535	print "\n"
	536	print "#include " quote "cpplib.h" quote;
	537	print "void"
	538	print "cpp_handle_option_auto (const struct gcc_options * opts, "
	539	print " size_t scode, struct cpp_options * cpp_opts)"
	540	print "{ "
	541	print " enum opt_code code = (enum opt_code) scode; "
	542	print " "
	543	print " switch (code) "
	544	print " { "
	545	for (i = 0; i < n_opts; i++) {
	546	# With identical flags, pick only the last one. The
	547	# earlier loop ensured that it has all flags merged,
	548	# and a nonempty help text if one of the texts was nonempty.
	549	while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
	550	i++;
	551	}
	552
	553	cpp_option = nth_arg(0, opt_args("CPP", flags[i]));
2b71f4a4 MLI	554	if (cpp_option != "") {
	555	opt_var_name = var_name(flags[i]);
	556	init = opt_args("Init", flags[i])
	557	if (opt_var_name != "" && init != "") {
	558	print " case " opt_enum(opts[i]) ":"
	559	print " cpp_opts->" cpp_option " = opts->x_" opt_var_name ";"
	560	print " break;"
	561	} else if (opt_var_name == "" && init == "") {
	562	print "#error CPP() requires setting Init() and Var() for " opts[i]
	563	} else if (opt_var_name != "") {
	564	print "#error CPP() requires setting Init() for " opts[i]
	565	} else {
	566	print "#error CPP() requires setting Var() for " opts[i]
	567	}
43f9a13c	568	}
776dc15d	569	}
43f9a13c MLI	570	print " default: "
	571	print " break; "
	572	print " } "
	573	print "}\n"
	574	print "void"
	575	print "init_global_opts_from_cpp(struct gcc_options * opts, "
	576	print " const struct cpp_options * cpp_opts)"
	577	print "{ "
	578	for (i = 0; i < n_opts; i++) {
	579	# With identical flags, pick only the last one. The
	580	# earlier loop ensured that it has all flags merged,
	581	# and a nonempty help text if one of the texts was nonempty.
	582	while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
	583	i++;
	584	}
	585	cpp_option = nth_arg(0, opt_args("CPP", flags[i]));
	586	opt_var_name = var_name(flags[i]);
	587	if (cpp_option != "" && opt_var_name != "") {
	588	print " opts->x_" opt_var_name " = cpp_opts->" cpp_option ";"
	589	}
	590	}
	591	print "} "
	592
	593	}
	594