gcc/opth-gen.awk

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