OSDN Git Service

gcc/
[pf3gnuchains/gcc-fork.git] / gcc / optc-gen.awk
1 #  Copyright (C) 2003, 2004, 2007, 2008 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 file.
22 #
23 # This program uses functions from opt-functions.awk
24 #
25 # Usage: awk -f opt-functions.awk -f optc-gen.awk \
26 #            [-v header_name=header.h] < inputfile > options.c
27
28 BEGIN {
29         n_opts = 0
30         n_langs = 0
31         n_target_save = 0
32         quote = "\042"
33         comma = ","
34         FS=SUBSEP
35         # Default the name of header created from opth-gen.awk to options.h
36         if (header_name == "") header_name="options.h"
37 }
38
39 # Collect the text and flags of each option into an array
40         {
41                 if ($1 == "Language") {
42                         langs[n_langs] = $2
43                         n_langs++;
44                 }
45                 else if ($1 == "TargetSave") {
46                         # Make sure the declarations are put in source order
47                         target_save_decl[n_target_save] = $2
48                         n_target_save++
49                 }
50                 else {
51                         name = opt_args("Mask", $1)
52                         if (name == "") {
53                                 opts[n_opts]  = $1
54                                 flags[n_opts] = $2
55                                 help[n_opts]  = $3
56                                 for (i = 4; i <= NF; i++)
57                                         help[n_opts] = help[n_opts] " " $i
58                                 n_opts++;
59                         }
60                 }
61         }
62
63 # Dump that array of options into a C file.
64 END {
65 print "/* This file is auto-generated by optc-gen.awk.  */"
66 print ""
67 n_headers = split(header_name, headers, " ")
68 for (i = 1; i <= n_headers; i++)
69         print "#include " quote headers[i] quote
70 print "#include " quote "opts.h" quote
71 print "#include " quote "intl.h" quote
72 print ""
73 print "#ifdef GCC_DRIVER"
74 print "int target_flags;"
75 print "#else"
76 print "#include " quote "flags.h" quote
77 print "#include " quote "target.h" quote
78 print "#endif /* GCC_DRIVER */"
79 print ""
80
81 have_save = 0;
82 for (i = 0; i < n_opts; i++) {
83         if (flag_set_p("Save", flags[i]))
84                 have_save = 1;
85
86         name = var_name(flags[i]);
87         if (name == "")
88                 continue;
89
90         if (flag_set_p("VarExists", flags[i])) {
91                 # Need it for the gcc driver.
92                 if (name in var_seen)
93                         continue;
94                 init = ""
95                 gcc_driver = 1
96         }
97         else {
98                 init = opt_args("Init", flags[i])
99                 if (init != "")
100                         init = " = " init;
101                 else if (name in var_seen)
102                         continue;
103                 gcc_driver = 0
104         }
105
106         if (gcc_driver == 1)
107                 print "#ifdef GCC_DRIVER"
108         print "/* Set by -" opts[i] "."
109         print "   " help[i] "  */"
110         print var_type(flags[i]) name init ";"
111         if (gcc_driver == 1)
112                 print "#endif /* GCC_DRIVER */"
113         print ""
114
115         var_seen[name] = 1;
116 }
117
118 print ""
119 print "/* Local state variables.  */"
120 for (i = 0; i < n_opts; i++) {
121         name = static_var(opts[i], flags[i]);
122         if (name != "")
123                 print "static " var_type(flags[i]) name ";"
124 }
125 print ""
126
127 print "const char * const lang_names[] =\n{"
128 for (i = 0; i < n_langs; i++) {
129         macros[i] = "CL_" langs[i]
130         gsub( "[^A-Za-z0-9_]", "X", macros[i] )
131         s = substr("         ", length (macros[i]))
132         print "  " quote langs[i] quote ","
133     }
134
135 print "  0\n};\n"
136 print "const unsigned int cl_options_count = N_OPTS;\n"
137 print "const unsigned int cl_lang_count = " n_langs ";\n"
138
139 print "const struct cl_option cl_options[] =\n{"
140
141 j = 0
142 for (i = 0; i < n_opts; i++) {
143         back_chain[i] = "N_OPTS";
144         indices[opts[i]] = j;
145         # Combine the flags of identical switches.  Switches
146         # appear many times if they are handled by many front
147         # ends, for example.
148         while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
149                 flags[i + 1] = flags[i] " " flags[i + 1];
150                 i++;
151                 back_chain[i] = "N_OPTS";
152                 indices[opts[i]] = j;
153         }
154         j++;
155 }
156
157 for (i = 0; i < n_opts; i++) {
158         # Combine the flags of identical switches.  Switches
159         # appear many times if they are handled by many front
160         # ends, for example.
161         while( i + 1 != n_opts && opts[i] == opts[i + 1] ) {
162                 flags[i + 1] = flags[i] " " flags[i + 1];
163                 i++;
164         }
165
166         len = length (opts[i]);
167         enum = "OPT_" opts[i]
168         if (opts[i] == "finline-limit=" || opts[i] == "Wlarger-than=")
169                 enum = enum "eq"
170         gsub ("[^A-Za-z0-9]", "_", enum)
171
172         # If this switch takes joined arguments, back-chain all
173         # subsequent switches to it for which it is a prefix.  If
174         # a later switch S is a longer prefix of a switch T, T
175         # will be back-chained to S in a later iteration of this
176         # for() loop, which is what we want.
177         if (flag_set_p("Joined.*", flags[i])) {
178                 for (j = i + 1; j < n_opts; j++) {
179                         if (substr (opts[j], 1, len) != opts[i])
180                                 break;
181                         back_chain[j] = enum;
182                 }
183         }
184
185         s = substr("                                  ", length (opts[i]))
186         if (i + 1 == n_opts)
187                 comma = ""
188
189         if (help[i] == "")
190                 hlp = "0"
191         else
192                 hlp = quote help[i] quote;
193
194         neg = opt_args("Negative", flags[i]);
195         if (neg != "")
196                 idx = indices[neg]
197         else {
198                 if (flag_set_p("RejectNegative", flags[i]))
199                         idx = -1;
200                 else {
201                         if (opts[i] ~ "^[Wfm]")
202                                 idx = indices[opts[i]];
203                         else
204                                 idx = -1;
205                 }
206         }
207         # Split the printf after %u to work around an ia64-hp-hpux11.23
208         # awk bug.
209         printf("  { %c-%s%c,\n    %s,\n    %s, %u,",
210                quote, opts[i], quote, hlp, back_chain[i], len)
211         printf(" %d,\n", idx)
212         condition = opt_args("Condition", flags[i])
213         cl_flags = switch_flags(flags[i])
214         if (condition != "")
215                 printf("#if %s\n" \
216                        "    %s,\n" \
217                        "#else\n" \
218                        "    CL_DISABLED,\n" \
219                        "#endif\n",
220                        condition, cl_flags, cl_flags)
221         else
222                 printf("    %s,\n", cl_flags)
223         printf("    %s, %s }%s\n", var_ref(opts[i], flags[i]),
224                var_set(flags[i]), comma)
225 }
226
227 print "};"
228
229 print "";
230 print "#if !defined(GCC_DRIVER) && !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS)"
231 print "";
232 print "/* Save optimization variables into a structure.  */"
233 print "void";
234 print "cl_optimization_save (struct cl_optimization *ptr)";
235 print "{";
236
237 n_opt_char = 2;
238 n_opt_short = 0;
239 n_opt_int = 0;
240 n_opt_other = 0;
241 var_opt_char[0] = "optimize";
242 var_opt_char[1] = "optimize_size";
243 var_opt_range["optimize"] = "0, 255";
244 var_opt_range["optimize_size"] = "0, 255";
245
246 # Sort by size to mimic how the structure is laid out to be friendlier to the
247 # cache.
248
249 for (i = 0; i < n_opts; i++) {
250         if (flag_set_p("Optimization", flags[i])) {
251                 name = var_name(flags[i])
252                 if(name == "")
253                         continue;
254
255                 if(name in var_opt_seen)
256                         continue;
257
258                 var_opt_seen[name]++;
259                 otype = var_type_struct(flags[i]);
260                 if (otype ~ "^((un)?signed +)?int *$")
261                         var_opt_int[n_opt_int++] = name;
262
263                 else if (otype ~ "^((un)?signed +)?short *$")
264                         var_opt_short[n_opt_short++] = name;
265
266                 else if (otype ~ "^((un)?signed +)?char *$") {
267                         var_opt_char[n_opt_char++] = name;
268                         if (otype ~ "^unsigned +char *$")
269                                 var_opt_range[name] = "0, 255"
270                         else if (otype ~ "^signed +char *$")
271                                 var_opt_range[name] = "-128, 127"
272                 }
273                 else
274                         var_opt_other[n_opt_other++] = name;
275         }
276 }
277
278 for (i = 0; i < n_opt_char; i++) {
279         name = var_opt_char[i];
280         if (var_opt_range[name] != "")
281                 print "  gcc_assert (IN_RANGE (" name ", " var_opt_range[name] "));";
282 }
283
284 print "";
285 for (i = 0; i < n_opt_other; i++) {
286         print "  ptr->" var_opt_other[i] " = " var_opt_other[i] ";";
287 }
288
289 for (i = 0; i < n_opt_int; i++) {
290         print "  ptr->" var_opt_int[i] " = " var_opt_int[i] ";";
291 }
292
293 for (i = 0; i < n_opt_short; i++) {
294         print "  ptr->" var_opt_short[i] " = " var_opt_short[i] ";";
295 }
296
297 for (i = 0; i < n_opt_char; i++) {
298         print "  ptr->" var_opt_char[i] " = " var_opt_char[i] ";";
299 }
300
301 print "}";
302
303 print "";
304 print "/* Restore optimization options from a structure.  */";
305 print "void";
306 print "cl_optimization_restore (struct cl_optimization *ptr)";
307 print "{";
308
309 for (i = 0; i < n_opt_other; i++) {
310         print "  " var_opt_other[i] " = ptr->" var_opt_other[i] ";";
311 }
312
313 for (i = 0; i < n_opt_int; i++) {
314         print "  " var_opt_int[i] " = ptr->" var_opt_int[i] ";";
315 }
316
317 for (i = 0; i < n_opt_short; i++) {
318         print "  " var_opt_short[i] " = ptr->" var_opt_short[i] ";";
319 }
320
321 for (i = 0; i < n_opt_char; i++) {
322         print "  " var_opt_char[i] " = ptr->" var_opt_char[i] ";";
323 }
324
325 print "}";
326
327 print "";
328 print "/* Print optimization options from a structure.  */";
329 print "void";
330 print "cl_optimization_print (FILE *file,";
331 print "                       int indent_to,";
332 print "                       struct cl_optimization *ptr)";
333 print "{";
334
335 print "  fputs (\"\\n\", file);";
336 for (i = 0; i < n_opt_other; i++) {
337         print "  if (ptr->" var_opt_other[i] ")";
338         print "    fprintf (file, \"%*s%s (0x%lx)\\n\",";
339         print "             indent_to, \"\",";
340         print "             \"" var_opt_other[i] "\",";
341         print "             (unsigned long)ptr->" var_opt_other[i] ");";
342         print "";
343 }
344
345 for (i = 0; i < n_opt_int; i++) {
346         print "  if (ptr->" var_opt_int[i] ")";
347         print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
348         print "             indent_to, \"\",";
349         print "             \"" var_opt_int[i] "\",";
350         print "             ptr->" var_opt_int[i] ");";
351         print "";
352 }
353
354 for (i = 0; i < n_opt_short; i++) {
355         print "  if (ptr->" var_opt_short[i] ")";
356         print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
357         print "             indent_to, \"\",";
358         print "             \"" var_opt_short[i] "\",";
359         print "             ptr->" var_opt_short[i] ");";
360         print "";
361 }
362
363 for (i = 0; i < n_opt_char; i++) {
364         print "  if (ptr->" var_opt_char[i] ")";
365         print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
366         print "             indent_to, \"\",";
367         print "             \"" var_opt_char[i] "\",";
368         print "             ptr->" var_opt_char[i] ");";
369         print "";
370 }
371
372 print "}";
373
374 print "";
375 print "/* Save selected option variables into a structure.  */"
376 print "void";
377 print "cl_target_option_save (struct cl_target_option *ptr)";
378 print "{";
379
380 n_target_char = 0;
381 n_target_short = 0;
382 n_target_int = 0;
383 n_target_other = 0;
384
385 if (have_save) {
386         for (i = 0; i < n_opts; i++) {
387                 if (flag_set_p("Save", flags[i])) {
388                         name = var_name(flags[i])
389                         if(name == "")
390                                 name = "target_flags";
391
392                         if(name in var_save_seen)
393                                 continue;
394
395                         var_save_seen[name]++;
396                         otype = var_type_struct(flags[i])
397                         if (otype ~ "^((un)?signed +)?int *$")
398                                 var_target_int[n_target_int++] = name;
399
400                         else if (otype ~ "^((un)?signed +)?short *$")
401                                 var_target_short[n_target_short++] = name;
402
403                         else if (otype ~ "^((un)?signed +)?char *$") {
404                                 var_target_char[n_target_char++] = name;
405                                 if (otype ~ "^unsigned +char *$")
406                                         var_target_range[name] = "0, 255"
407                                 else if (otype ~ "^signed +char *$")
408                                         var_target_range[name] = "-128, 127"
409                         }
410                         else
411                                 var_target_other[n_target_other++] = name;
412                 }
413         }
414 } else {
415         var_target_int[n_target_int++] = "target_flags";
416 }
417
418 have_assert = 0;
419 for (i = 0; i < n_target_char; i++) {
420         name = var_target_char[i];
421         if (var_target_range[name] != "") {
422                 have_assert = 1;
423                 print "  gcc_assert (IN_RANGE (" name ", " var_target_range[name] "));";
424         }
425 }
426
427 if (have_assert)
428         print "";
429
430 print "  if (targetm.target_option.save)";
431 print "    targetm.target_option.save (ptr);";
432 print "";
433
434 for (i = 0; i < n_target_other; i++) {
435         print "  ptr->" var_target_other[i] " = " var_target_other[i] ";";
436 }
437
438 for (i = 0; i < n_target_int; i++) {
439         print "  ptr->" var_target_int[i] " = " var_target_int[i] ";";
440 }
441
442 for (i = 0; i < n_target_short; i++) {
443         print "  ptr->" var_target_short[i] " = " var_target_short[i] ";";
444 }
445
446 for (i = 0; i < n_target_char; i++) {
447         print "  ptr->" var_target_char[i] " = " var_target_char[i] ";";
448 }
449
450 print "}";
451
452 print "";
453 print "/* Restore selected current options from a structure.  */";
454 print "void";
455 print "cl_target_option_restore (struct cl_target_option *ptr)";
456 print "{";
457
458 for (i = 0; i < n_target_other; i++) {
459         print "  " var_target_other[i] " = ptr->" var_target_other[i] ";";
460 }
461
462 for (i = 0; i < n_target_int; i++) {
463         print "  " var_target_int[i] " = ptr->" var_target_int[i] ";";
464 }
465
466 for (i = 0; i < n_target_short; i++) {
467         print "  " var_target_short[i] " = ptr->" var_target_short[i] ";";
468 }
469
470 for (i = 0; i < n_target_char; i++) {
471         print "  " var_target_char[i] " = ptr->" var_target_char[i] ";";
472 }
473
474 # This must occur after the normal variables in case the code depends on those
475 # variables.
476 print "";
477 print "  if (targetm.target_option.restore)";
478 print "    targetm.target_option.restore (ptr);";
479
480 print "}";
481
482 print "";
483 print "/* Print optimization options from a structure.  */";
484 print "void";
485 print "cl_target_option_print (FILE *file,";
486 print "                        int indent,";
487 print "                        struct cl_target_option *ptr)";
488 print "{";
489
490 print "  fputs (\"\\n\", file);";
491 for (i = 0; i < n_target_other; i++) {
492         print "  if (ptr->" var_target_other[i] ")";
493         print "    fprintf (file, \"%*s%s (0x%lx)\\n\",";
494         print "             indent, \"\",";
495         print "             \"" var_target_other[i] "\",";
496         print "             (unsigned long)ptr->" var_target_other[i] ");";
497         print "";
498 }
499
500 for (i = 0; i < n_target_int; i++) {
501         print "  if (ptr->" var_target_int[i] ")";
502         print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
503         print "             indent, \"\",";
504         print "             \"" var_target_int[i] "\",";
505         print "             ptr->" var_target_int[i] ");";
506         print "";
507 }
508
509 for (i = 0; i < n_target_short; i++) {
510         print "  if (ptr->" var_target_short[i] ")";
511         print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
512         print "             indent, \"\",";
513         print "             \"" var_target_short[i] "\",";
514         print "             ptr->" var_target_short[i] ");";
515         print "";
516 }
517
518 for (i = 0; i < n_target_char; i++) {
519         print "  if (ptr->" var_target_char[i] ")";
520         print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
521         print "             indent, \"\",";
522         print "             \"" var_target_char[i] "\",";
523         print "             ptr->" var_target_char[i] ");";
524         print "";
525 }
526
527 print "";
528 print "  if (targetm.target_option.print)";
529 print "    targetm.target_option.print (file, indent, ptr);";
530
531 print "}";
532 print "#endif";
533
534 }