gcc/opth-gen.awk

   1 #  Copyright (C) 2003,2004,2005,2006,2007,2008, 2010, 2011, 2012
   2 #  Free Software Foundation, Inc.
   3 #  Contributed by Kelley Cook, June 2004.
   4 #  Original code from Neil Booth, May 2003.
   5 #
   6 # This program is free software; you can redistribute it and/or modify it
   7 # under the terms of the GNU General Public License as published by the
   8 # Free Software Foundation; either version 3, or (at your option) any
   9 # later version.
  10 #
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License
  17 # along with this program; see the file COPYING3.  If not see
  18 # <http://www.gnu.org/licenses/>.
  19
  20 # This Awk script reads in the option records generated from
  21 # opt-gather.awk, combines the flags of duplicate options and generates a
  22 # C header file.
  23 #
  24 # This program uses functions from opt-functions.awk and code from
  25 # opt-read.awk.
  26 # Usage: awk -f opt-functions.awk -f opt-read.awk -f opth-gen.awk \
  27 #            < inputfile > options.h
  28
  29 # Dump out an enumeration into a .h file.
  30 # Combine the flags of duplicate options.
  31 END {
  32 print "/* This file is auto-generated by opth-gen.awk.  */"
  33 print ""
  34 print "#ifndef OPTIONS_H"
  35 print "#define OPTIONS_H"
  36 print ""
  37 print "#include \"flag-types.h\""
  38 print ""
  39
  40 if (n_extra_h_includes > 0) {
  41         for (i = 0; i < n_extra_h_includes; i++) {
  42                 print "#include " quote extra_h_includes[i] quote
  43         }
  44         print ""
  45 }
  46
  47 print "#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS)"
  48 print "#ifndef GENERATOR_FILE"
  49 print "#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS)"
  50 print "struct GTY(()) gcc_options"
  51 print "#else"
  52 print "struct gcc_options"
  53 print "#endif"
  54 print "{"
  55 print "#endif"
  56
  57 for (i = 0; i < n_extra_vars; i++) {
  58         var = extra_vars[i]
  59         sub(" *=.*", "", var)
  60         orig_var = var
  61         name = var
  62         type = var
  63         type_after = var
  64         sub("^.*[ *]", "", name)
  65         sub("\\[.*\\]$", "", name)
  66         sub("\\[.*\\]$", "", type)
  67         sub(" *" name "$", "", type)
  68         sub("^.*" name, "", type_after)
  69         var_seen[name] = 1
  70         print "#ifdef GENERATOR_FILE"
  71         print "extern " orig_var ";"
  72         print "#else"
  73         print "  " type " x_" name type_after ";"
  74         print "#define " name " global_options.x_" name
  75         print "#endif"
  76 }
  77
  78 for (i = 0; i < n_opts; i++) {
  79         if (flag_set_p("Save", flags[i]))
  80                 have_save = 1;
  81
  82         name = var_name(flags[i]);
  83         if (name == "")
  84                 continue;
  85
  86         if (name in var_seen)
  87                 continue;
  88
  89         var_seen[name] = 1;
  90         print "#ifdef GENERATOR_FILE"
  91         print "extern " var_type(flags[i]) name ";"
  92         print "#else"
  93         print "  " var_type(flags[i]) "x_" name ";"
  94         print "#define " name " global_options.x_" name
  95         print "#endif"
  96 }
  97 for (i = 0; i < n_opts; i++) {
  98         name = static_var(opts[i], flags[i]);
  99         if (name != "") {
 100                 print "#ifndef GENERATOR_FILE"
 101                 print "  " var_type(flags[i]) "x_" name ";"
 102                 print "#define x_" name " do_not_use"
 103                 print "#endif"
 104         }
 105 }
 106 for (i = 0; i < n_opts; i++) {
 107         if (flag_set_p("SetByCombined", flags[i])) {
 108                 print "#ifndef GENERATOR_FILE"
 109                 print "  bool frontend_set_" var_name(flags[i]) ";"
 110                 print "#endif"
 111         }
 112 }
 113 print "#ifndef GENERATOR_FILE"
 114 print "};"
 115 print "extern struct gcc_options global_options;"
 116 print "extern const struct gcc_options global_options_init;"
 117 print "extern struct gcc_options global_options_set;"
 118 print "#define target_flags_explicit global_options_set.x_target_flags"
 119 print "#endif"
 120 print "#endif"
 121 print ""
 122
 123 # All of the optimization switches gathered together so they can be saved and restored.
 124 # This will allow attribute((cold)) to turn on space optimization.
 125
 126 # Change the type of normal switches from int to unsigned char to save space.
 127 # Also, order the structure so that pointer fields occur first, then int
 128 # fields, and then char fields to provide the best packing.
 129
 130 print "#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS)"
 131 print ""
 132 print "/* Structure to save/restore optimization and target specific options.  */";
 133 print "struct GTY(()) cl_optimization";
 134 print "{";
 135
 136 n_opt_char = 2;
 137 n_opt_short = 0;
 138 n_opt_int = 0;
 139 n_opt_enum = 1;
 140 n_opt_other = 0;
 141 var_opt_char[0] = "unsigned char x_optimize";
 142 var_opt_char[1] = "unsigned char x_optimize_size";
 143 var_opt_enum[0] = "enum fp_contract_mode x_flag_fp_contract_mode";
 144
 145 for (i = 0; i < n_opts; i++) {
 146         if (flag_set_p("Optimization", flags[i])) {
 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 *$")
 157                         var_opt_int[n_opt_int++] = otype "x_" name;
 158
 159                 else if (otype ~ "^((un)?signed +)?short *$")
 160                         var_opt_short[n_opt_short++] = otype "x_" name;
 161
 162                 else if (otype ~ "^((un)?signed +)?char *$")
 163                         var_opt_char[n_opt_char++] = otype "x_" name;
 164
 165                 else if (otype ~ ("^enum +[_" alnum "]+ *$"))
 166                         var_opt_enum[n_opt_enum++] = otype "x_" name;
 167
 168                 else
 169                         var_opt_other[n_opt_other++] = otype "x_" name;
 170         }
 171 }
 172
 173 for (i = 0; i < n_opt_other; i++) {
 174         print "  " var_opt_other[i] ";";
 175 }
 176
 177 for (i = 0; i < n_opt_int; i++) {
 178         print "  " var_opt_int[i] ";";
 179 }
 180
 181 for (i = 0; i < n_opt_enum; i++) {
 182         print "  " var_opt_enum[i] ";";
 183 }
 184
 185 for (i = 0; i < n_opt_short; i++) {
 186         print "  " var_opt_short[i] ";";
 187 }
 188
 189 for (i = 0; i < n_opt_char; i++) {
 190         print "  " var_opt_char[i] ";";
 191 }
 192
 193 print "};";
 194 print "";
 195
 196 # Target and optimization save/restore/print functions.
 197 print "/* Structure to save/restore selected target specific options.  */";
 198 print "struct GTY(()) cl_target_option";
 199 print "{";
 200
 201 n_target_char = 0;
 202 n_target_short = 0;
 203 n_target_int = 0;
 204 n_target_enum = 0;
 205 n_target_other = 0;
 206
 207 for (i = 0; i < n_target_save; i++) {
 208         if (target_save_decl[i] ~ "^((un)?signed +)?int +[_" alnum "]+$")
 209                 var_target_int[n_target_int++] = target_save_decl[i];
 210
 211         else if (target_save_decl[i] ~ "^((un)?signed +)?short +[_" alnum "]+$")
 212                 var_target_short[n_target_short++] = target_save_decl[i];
 213
 214         else if (target_save_decl[i] ~ "^((un)?signed +)?char +[_ " alnum "]+$")
 215                 var_target_char[n_target_char++] = target_save_decl[i];
 216
 217         else if (target_save_decl[i] ~ ("^enum +[_" alnum "]+ +[_" alnum "]+$")) {
 218                 var_target_enum[n_target_enum++] = target_save_decl[i];
 219         }
 220         else
 221                 var_target_other[n_target_other++] = target_save_decl[i];
 222 }
 223
 224 if (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 *$")
 237                                 var_target_int[n_target_int++] = otype "x_" name;
 238
 239                         else if (otype ~ "^((un)?signed +)?short *$")
 240                                 var_target_short[n_target_short++] = otype "x_" name;
 241
 242                         else if (otype ~ "^((un)?signed +)?char *$")
 243                                 var_target_char[n_target_char++] = otype "x_" name;
 244
 245                         else if (otype ~ ("^enum +[_" alnum "]+ +[_" alnum "]+"))
 246                                 var_target_enum[n_target_enum++] = otype "x_" name;
 247
 248                         else
 249                                 var_target_other[n_target_other++] = otype "x_" name;
 250                 }
 251         }
 252 } else {
 253         var_target_int[n_target_int++] = "int x_target_flags";
 254 }
 255
 256 for (i = 0; i < n_target_other; i++) {
 257         print "  " var_target_other[i] ";";
 258 }
 259
 260 for (i = 0; i < n_target_enum; i++) {
 261         print "  " var_target_enum[i] ";";
 262 }
 263
 264 for (i = 0; i < n_target_int; i++) {
 265         print "  " var_target_int[i] ";";
 266 }
 267
 268 for (i = 0; i < n_target_short; i++) {
 269         print "  " var_target_short[i] ";";
 270 }
 271
 272 for (i = 0; i < n_target_char; i++) {
 273         print "  " var_target_char[i] ";";
 274 }
 275
 276 print "};";
 277 print "";
 278 print "";
 279 print "/* Save optimization variables into a structure.  */"
 280 print "extern void cl_optimization_save (struct cl_optimization *, struct gcc_options *);";
 281 print "";
 282 print "/* Restore optimization variables from a structure.  */";
 283 print "extern void cl_optimization_restore (struct gcc_options *, struct cl_optimization *);";
 284 print "";
 285 print "/* Print optimization variables from a structure.  */";
 286 print "extern void cl_optimization_print (FILE *, int, struct cl_optimization *);";
 287 print "";
 288 print "/* Save selected option variables into a structure.  */"
 289 print "extern void cl_target_option_save (struct cl_target_option *, struct gcc_options *);";
 290 print "";
 291 print "/* Restore selected option variables from a structure.  */"
 292 print "extern void cl_target_option_restore (struct gcc_options *, struct cl_target_option *);";
 293 print "";
 294 print "/* Print target option variables from a structure.  */";
 295 print "extern void cl_target_option_print (FILE *, int, struct cl_target_option *);";
 296 print "";
 297 print "/* Anything that includes tm.h, does not necessarily need this.  */"
 298 print "#if !defined(GCC_TM_H)"
 299 print "#include \"input.h\" /* for location_t */"
 300 print "bool                                                                  "
 301 print "common_handle_option_auto (struct gcc_options *opts,                  "
 302 print "                           struct gcc_options *opts_set,              "
 303 print "                           const struct cl_decoded_option *decoded,   "
 304 print "                           unsigned int lang_mask, int kind,          "
 305 print "                           location_t loc,                            "
 306 print "                           const struct cl_option_handlers *handlers, "
 307 print "                           diagnostic_context *dc);                   "
 308 for (i = 0; i < n_langs; i++) {
 309     lang_name = lang_sanitized_name(langs[i]);
 310     print "bool                                                                  "
 311     print lang_name "_handle_option_auto (struct gcc_options *opts,              "
 312     print "                           struct gcc_options *opts_set,              "
 313     print "                           size_t scode, const char *arg, int value,  "
 314     print "                           unsigned int lang_mask, int kind,          "
 315     print "                           location_t loc,                            "
 316     print "                           const struct cl_option_handlers *handlers, "
 317     print "                           diagnostic_context *dc);                   "
 318 }
 319 print "#endif";
 320 print "#endif";
 321 print "";
 322
 323 for (i = 0; i < n_opts; i++) {
 324         name = opt_args("Mask", flags[i])
 325         if (name == "") {
 326                 opt = opt_args("InverseMask", flags[i])
 327                 if (opt ~ ",")
 328                         name = nth_arg(0, opt)
 329                 else
 330                         name = opt
 331         }
 332         if (name != "" && mask_bits[name] == 0) {
 333                 mask_bits[name] = 1
 334                 vname = var_name(flags[i])
 335                 mask = "MASK_"
 336                 mask_1 = "1"
 337                 if (vname != "") {
 338                         mask = "OPTION_MASK_"
 339                         if (host_wide_int[vname] == "yes")
 340                                 mask_1 = "HOST_WIDE_INT_1"
 341                 } else
 342                         extra_mask_bits[name] = 1
 343                 print "#define " mask name " (" mask_1 " << " masknum[vname]++ ")"
 344         }
 345 }
 346 for (i = 0; i < n_extra_masks; i++) {
 347         if (extra_mask_bits[extra_masks[i]] == 0)
 348                 print "#define MASK_" extra_masks[i] " (1 << " masknum[""]++ ")"
 349 }
 350
 351 for (var in masknum) {
 352         if (var != "" && host_wide_int[var] == "yes") {
 353                 print" #if defined(HOST_BITS_PER_WIDE_INT) && " masknum[var] " >= HOST_BITS_PER_WIDE_INT"
 354                 print "#error too many masks for " var
 355                 print "#endif"
 356         }
 357         else if (masknum[var] > 31) {
 358                 if (var == "")
 359                         print "#error too many target masks"
 360                 else
 361                         print "#error too many masks for " var
 362         }
 363 }
 364 print ""
 365
 366 for (i = 0; i < n_opts; i++) {
 367         name = opt_args("Mask", flags[i])
 368         if (name == "") {
 369                 opt = opt_args("InverseMask", flags[i])
 370                 if (opt ~ ",")
 371                         name = nth_arg(0, opt)
 372                 else
 373                         name = opt
 374         }
 375         if (name != "" && mask_macros[name] == 0) {
 376                 mask_macros[name] = 1
 377                 vname = var_name(flags[i])
 378                 macro = "OPTION_"
 379                 mask = "OPTION_MASK_"
 380                 if (vname == "") {
 381                         vname = "target_flags"
 382                         macro = "TARGET_"
 383                         mask = "MASK_"
 384                         extra_mask_macros[name] = 1
 385                 }
 386                 print "#define " macro name \
 387                       " ((" vname " & " mask name ") != 0)"
 388         }
 389 }
 390 for (i = 0; i < n_extra_masks; i++) {
 391         if (extra_mask_macros[extra_masks[i]] == 0)
 392                 print "#define TARGET_" extra_masks[i] \
 393                       " ((target_flags & MASK_" extra_masks[i] ") != 0)"
 394 }
 395 print ""
 396
 397 for (i = 0; i < n_opts; i++) {
 398         opt = opt_args("InverseMask", flags[i])
 399         if (opt ~ ",") {
 400                 vname = var_name(flags[i])
 401                 macro = "OPTION_"
 402                 mask = "OPTION_MASK_"
 403                 if (vname == "") {
 404                         vname = "target_flags"
 405                         macro = "TARGET_"
 406                         mask = "MASK_"
 407                 }
 408                 print "#define " macro nth_arg(1, opt) \
 409                       " ((" vname " & " mask nth_arg(0, opt) ") == 0)"
 410         }
 411 }
 412 print ""
 413
 414 for (i = 0; i < n_langs; i++) {
 415         macros[i] = "CL_" lang_sanitized_name(langs[i])
 416         s = substr("            ", length (macros[i]))
 417         print "#define " macros[i] s " (1U << " i ")"
 418     }
 419 print "#define CL_LANG_ALL   ((1U << " n_langs ") - 1)"
 420
 421 print ""
 422 print "enum opt_code"
 423 print "{"
 424
 425 for (i = 0; i < n_opts; i++)
 426         back_chain[i] = "N_OPTS";
 427
 428 enum_value = 0
 429 for (i = 0; i < n_opts; i++) {
 430         # Combine the flags of identical switches.  Switches
 431         # appear many times if they are handled by many front
 432         # ends, for example.
 433         while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
 434                 flags[i + 1] = flags[i] " " flags[i + 1];
 435                 i++;
 436         }
 437
 438         len = length (opts[i]);
 439         enum = opt_enum(opts[i])
 440         enum_string = enum " = " enum_value ","
 441
 442         # Aliases do not get enumeration names.
 443         if ((flag_set_p("Alias.*", flags[i]) \
 444              && !flag_set_p("SeparateAlias", flags[i])) \
 445             || flag_set_p("Ignore", flags[i])) {
 446                 enum_string = "/* " enum_string " */"
 447         }
 448
 449         # If this switch takes joined arguments, back-chain all
 450         # subsequent switches to it for which it is a prefix.  If
 451         # a later switch S is a longer prefix of a switch T, T
 452         # will be back-chained to S in a later iteration of this
 453         # for() loop, which is what we want.
 454         if (flag_set_p("Joined.*", flags[i])) {
 455                 for (j = i + 1; j < n_opts; j++) {
 456                         if (substr (opts[j], 1, len) != opts[i])
 457                                 break;
 458                         back_chain[j] = enum;
 459                 }
 460         }
 461
 462         s = substr("                                          ",
 463                    length (enum_string))
 464
 465         if (help[i] == "")
 466                 hlp = "0"
 467         else
 468                 hlp = "N_(\"" help[i] "\")";
 469
 470         print "  " enum_string s "/* -" opts[i] " */"
 471         enum_value++
 472 }
 473
 474 print "  N_OPTS,"
 475 print "  OPT_SPECIAL_unknown,"
 476 print "  OPT_SPECIAL_ignore,"
 477 print "  OPT_SPECIAL_program_name,"
 478 print "  OPT_SPECIAL_input_file"
 479 print "};"
 480 print ""
 481 print "#endif /* OPTIONS_H */"
 482 }