]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - contrib/gcc/toplev.c
This commit was generated by cvs2svn to compensate for changes in r131722,
[FreeBSD/FreeBSD.git] / contrib / gcc / toplev.c
1 /* Top level of GNU C compiler
2    Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3    1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING.  If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA.  */
21
22 /* $FreeBSD$ */
23
24 /* This is the top level of cc1/c++.
25    It parses command args, opens files, invokes the various passes
26    in the proper order, and counts the time used by each.
27    Error messages and low-level interface to malloc also handled here.  */
28
29 #include "config.h"
30 #undef FLOAT /* This is for hpux. They should change hpux.  */
31 #undef FFS  /* Some systems define this in param.h.  */
32 #include "system.h"
33 #include <signal.h>
34
35 #ifdef HAVE_SYS_RESOURCE_H
36 # include <sys/resource.h>
37 #endif
38
39 #ifdef HAVE_SYS_TIMES_H
40 # include <sys/times.h>
41 #endif
42
43 #include "input.h"
44 #include "tree.h"
45 #include "rtl.h"
46 #include "tm_p.h"
47 #include "flags.h"
48 #include "insn-attr.h"
49 #include "insn-config.h"
50 #include "insn-flags.h"
51 #include "hard-reg-set.h"
52 #include "recog.h"
53 #include "output.h"
54 #include "except.h"
55 #include "function.h"
56 #include "toplev.h"
57 #include "expr.h"
58 #include "basic-block.h"
59 #include "intl.h"
60 #include "ggc.h"
61 #include "graph.h"
62 #include "loop.h"
63 #include "regs.h"
64 #include "timevar.h"
65 #include "diagnostic.h"
66 #include "ssa.h"
67 #include "params.h"
68 #include "reload.h"
69 #include "dwarf2asm.h"
70 #include "integrate.h"
71 #include "real.h"
72 #include "debug.h"
73 #include "target.h"
74 #include "langhooks.h"
75 #include "cfglayout.h"
76
77 #if defined (DWARF2_UNWIND_INFO) || defined (DWARF2_DEBUGGING_INFO)
78 #include "dwarf2out.h"
79 #endif
80
81 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
82 #include "dbxout.h"
83 #endif
84
85 #ifdef SDB_DEBUGGING_INFO
86 #include "sdbout.h"
87 #endif
88
89 #ifdef XCOFF_DEBUGGING_INFO
90 #include "xcoffout.h"           /* Needed for external data
91                                    declarations for e.g. AIX 4.x.  */
92 #endif
93 \f
94 /* Carry information from ASM_DECLARE_OBJECT_NAME
95    to ASM_FINISH_DECLARE_OBJECT.  */
96
97 extern int size_directive_output;
98 extern tree last_assemble_variable_decl;
99
100 extern void reg_alloc PARAMS ((void));
101
102 static void general_init PARAMS ((char *));
103 static void parse_options_and_default_flags PARAMS ((int, char **));
104 static void do_compile PARAMS ((void));
105 static void process_options PARAMS ((void));
106 static void backend_init PARAMS ((void));
107 static int lang_dependent_init PARAMS ((const char *));
108 static void init_asm_output PARAMS ((const char *));
109 static void finalize PARAMS ((void));
110
111 static void set_target_switch PARAMS ((const char *));
112
113 static void crash_signal PARAMS ((int)) ATTRIBUTE_NORETURN;
114 static void compile_file PARAMS ((void));
115 static void display_help PARAMS ((void));
116 static void display_target_options PARAMS ((void));
117
118 static void decode_d_option PARAMS ((const char *));
119 static int decode_f_option PARAMS ((const char *));
120 static int decode_W_option PARAMS ((const char *));
121 static int decode_g_option PARAMS ((const char *));
122 static unsigned int independent_decode_option PARAMS ((int, char **));
123
124 static void print_version PARAMS ((FILE *, const char *));
125 static int print_single_switch PARAMS ((FILE *, int, int, const char *,
126                                       const char *, const char *,
127                                       const char *, const char *));
128 static void print_switch_values PARAMS ((FILE *, int, int, const char *,
129                                        const char *, const char *));
130
131 /* Nonzero to dump debug info whilst parsing (-dy option).  */
132 static int set_yydebug;
133
134 /* Length of line when printing switch values.  */
135 #define MAX_LINE 75
136
137 /* Name of program invoked, sans directories.  */
138
139 const char *progname;
140
141 /* Copy of arguments to toplev_main.  */
142 int save_argc;
143 char **save_argv;
144 \f
145 /* Name of current original source file (what was input to cpp).
146    This comes from each #-command in the actual input.  */
147
148 const char *input_filename;
149
150 /* Name of top-level original source file (what was input to cpp).
151    This comes from the #-command at the beginning of the actual input.
152    If there isn't any there, then this is the cc1 input file name.  */
153
154 const char *main_input_filename;
155
156 /* Current line number in real source file.  */
157
158 int lineno;
159
160 /* Nonzero if it is unsafe to create any new pseudo registers.  */
161 int no_new_pseudos;
162
163 /* Stack of currently pending input files.  */
164
165 struct file_stack *input_file_stack;
166
167 /* Incremented on each change to input_file_stack.  */
168 int input_file_stack_tick;
169
170 /* Name to use as base of names for dump output files.  */
171
172 const char *dump_base_name;
173
174 /* Name to use as a base for auxiliary output files.  */
175
176 const char *aux_base_name;
177
178 /* Format to use to print dumpfile index value */
179 #ifndef DUMPFILE_FORMAT
180 #define DUMPFILE_FORMAT ".%02d."
181 #endif
182
183 /* Bit flags that specify the machine subtype we are compiling for.
184    Bits are tested using macros TARGET_... defined in the tm.h file
185    and set by `-m...' switches.  Must be defined in rtlanal.c.  */
186
187 extern int target_flags;
188
189 /* A mask of target_flags that includes bit X if X was set or cleared
190    on the command line.  */
191
192 int target_flags_explicit;
193
194 /* Debug hooks - dependent upon command line options.  */
195
196 const struct gcc_debug_hooks *debug_hooks = &do_nothing_debug_hooks;
197
198 /* Describes a dump file.  */
199
200 struct dump_file_info
201 {
202   /* The unique extension to apply, e.g. ".jump".  */
203   const char *const extension;
204
205   /* The -d<c> character that enables this dump file.  */
206   char const debug_switch;
207
208   /* True if there is a corresponding graph dump file.  */
209   char const graph_dump_p;
210
211   /* True if the user selected this dump.  */
212   char enabled;
213
214   /* True if the files have been initialized (ie truncated).  */
215   char initialized;
216 };
217
218 /* Enumerate the extant dump files.  */
219
220 enum dump_file_index
221 {
222   DFI_rtl,
223   DFI_sibling,
224   DFI_eh,
225   DFI_jump,
226   DFI_ssa,
227   DFI_ssa_ccp,
228   DFI_ssa_dce,
229   DFI_ussa,
230   DFI_null,
231   DFI_cse,
232   DFI_addressof,
233   DFI_gcse,
234   DFI_loop,
235   DFI_cfg,
236   DFI_bp,
237   DFI_ce1,
238   DFI_tracer,
239   DFI_cse2,
240   DFI_life,
241   DFI_combine,
242   DFI_ce2,
243   DFI_regmove,
244   DFI_sched,
245   DFI_lreg,
246   DFI_greg,
247   DFI_postreload,
248   DFI_flow2,
249   DFI_peephole2,
250   DFI_rnreg,
251   DFI_ce3,
252   DFI_sched2,
253   DFI_stack,
254   DFI_bbro,
255   DFI_mach,
256   DFI_dbr,
257   DFI_MAX
258 };
259
260 /* Describes all the dump files.  Should be kept in order of the
261    pass and in sync with dump_file_index above.
262
263    Remaining -d letters:
264
265         "              o q         "
266         "       H JK   OPQ  TUV  YZ"
267 */
268
269 static struct dump_file_info dump_file[DFI_MAX] =
270 {
271   { "rtl",      'r', 0, 0, 0 },
272   { "sibling",  'i', 0, 0, 0 },
273   { "eh",       'h', 0, 0, 0 },
274   { "jump",     'j', 0, 0, 0 },
275   { "ssa",      'e', 1, 0, 0 },
276   { "ssaccp",   'W', 1, 0, 0 },
277   { "ssadce",   'X', 1, 0, 0 },
278   { "ussa",     'e', 1, 0, 0 }, /* Yes, duplicate enable switch.  */
279   { "null",     'u', 0, 0, 0 },
280   { "cse",      's', 0, 0, 0 },
281   { "addressof", 'F', 0, 0, 0 },
282   { "gcse",     'G', 1, 0, 0 },
283   { "loop",     'L', 1, 0, 0 },
284   { "cfg",      'f', 1, 0, 0 },
285   { "bp",       'b', 1, 0, 0 },
286   { "ce1",      'C', 1, 0, 0 },
287   { "tracer",   'T', 1, 0, 0 },
288   { "cse2",     't', 1, 0, 0 },
289   { "life",     'f', 1, 0, 0 }, /* Yes, duplicate enable switch.  */
290   { "combine",  'c', 1, 0, 0 },
291   { "ce2",      'C', 1, 0, 0 },
292   { "regmove",  'N', 1, 0, 0 },
293   { "sched",    'S', 1, 0, 0 },
294   { "lreg",     'l', 1, 0, 0 },
295   { "greg",     'g', 1, 0, 0 },
296   { "postreload", 'o', 1, 0, 0 },
297   { "flow2",    'w', 1, 0, 0 },
298   { "peephole2", 'z', 1, 0, 0 },
299   { "rnreg",    'n', 1, 0, 0 },
300   { "ce3",      'E', 1, 0, 0 },
301   { "sched2",   'R', 1, 0, 0 },
302   { "stack",    'k', 1, 0, 0 },
303   { "bbro",     'B', 1, 0, 0 },
304   { "mach",     'M', 1, 0, 0 },
305   { "dbr",      'd', 0, 0, 0 },
306 };
307
308 static int open_dump_file PARAMS ((enum dump_file_index, tree));
309 static void close_dump_file PARAMS ((enum dump_file_index,
310                                      void (*) (FILE *, rtx), rtx));
311
312 /* Other flags saying which kinds of debugging dump have been requested.  */
313
314 int rtl_dump_and_exit;
315 int flag_print_asm_name;
316 static int version_flag;
317 static char *filename;
318 enum graph_dump_types graph_dump_format;
319
320 /* Name for output file of assembly code, specified with -o.  */
321
322 char *asm_file_name;
323
324 /* Value of the -G xx switch, and whether it was passed or not.  */
325 int g_switch_value;
326 int g_switch_set;
327
328 /* Type(s) of debugging information we are producing (if any).
329    See flags.h for the definitions of the different possible
330    types of debugging information.  */
331 enum debug_info_type write_symbols = NO_DEBUG;
332
333 /* Level of debugging information we are producing.  See flags.h
334    for the definitions of the different possible levels.  */
335 enum debug_info_level debug_info_level = DINFO_LEVEL_NONE;
336
337 /* Nonzero means use GNU-only extensions in the generated symbolic
338    debugging information.  */
339 /* Currently, this only has an effect when write_symbols is set to
340    DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG.  */
341 int use_gnu_debug_info_extensions = 0;
342
343 /* Nonzero means do optimizations.  -O.
344    Particular numeric values stand for particular amounts of optimization;
345    thus, -O2 stores 2 here.  However, the optimizations beyond the basic
346    ones are not controlled directly by this variable.  Instead, they are
347    controlled by individual `flag_...' variables that are defaulted
348    based on this variable.  */
349
350 int optimize = 0;
351
352 /* Nonzero means optimize for size.  -Os.
353    The only valid values are zero and nonzero. When optimize_size is
354    nonzero, optimize defaults to 2, but certain individual code
355    bloating optimizations are disabled.  */
356
357 int optimize_size = 0;
358
359 /* Nonzero if we should exit after parsing options.  */
360 static int exit_after_options = 0;
361
362 /* The FUNCTION_DECL for the function currently being compiled,
363    or 0 if between functions.  */
364 tree current_function_decl;
365
366 /* Set to the FUNC_BEGIN label of the current function, or NULL_TREE
367    if none.  */
368 tree current_function_func_begin_label;
369
370 /* Nonzero if doing dwarf2 duplicate elimination.  */
371
372 int flag_eliminate_dwarf2_dups = 0;
373
374 /* Nonzero if generating code to do profiling.  */
375
376 int profile_flag = 0;
377
378 /* Nonzero if generating code to profile program flow graph arcs.  */
379
380 int profile_arc_flag = 0;
381
382 /* Nonzero if generating info for gcov to calculate line test coverage.  */
383
384 int flag_test_coverage = 0;
385
386 /* Nonzero indicates that branch taken probabilities should be calculated.  */
387
388 int flag_branch_probabilities = 0;
389
390 /* Nonzero if basic blocks should be reordered.  */
391
392 int flag_reorder_blocks = 0;
393
394 /* Nonzero if functions should be reordered.  */
395
396 int flag_reorder_functions = 0;
397
398 /* Nonzero if registers should be renamed.  */
399
400 int flag_rename_registers = 0;
401 int flag_cprop_registers = 0;
402
403 /* Nonzero for -pedantic switch: warn about anything
404    that standard spec forbids.  */
405
406 int pedantic = 0;
407
408 /* Temporarily suppress certain warnings.
409    This is set while reading code from a system header file.  */
410
411 int in_system_header = 0;
412
413 /* Don't print functions as they are compiled.  -quiet.  */
414
415 int quiet_flag = 0;
416
417 /* Print times taken by the various passes.  -ftime-report.  */
418
419 int time_report = 0;
420
421 /* Print memory still in use at end of compilation (which may have little
422    to do with peak memory consumption).  -fmem-report.  */
423
424 int mem_report = 0;
425
426 /* Non-zero means to collect statistics which might be expensive
427    and to print them when we are done.  */
428 int flag_detailed_statistics = 0;
429
430 \f
431 /* -f flags.  */
432
433 /* Nonzero means `char' should be signed.  */
434
435 int flag_signed_char;
436
437 /* Nonzero means give an enum type only as many bytes as it needs.  */
438
439 int flag_short_enums;
440
441 /* Nonzero for -fcaller-saves: allocate values in regs that need to
442    be saved across function calls, if that produces overall better code.
443    Optional now, so people can test it.  */
444
445 #ifdef DEFAULT_CALLER_SAVES
446 int flag_caller_saves = 1;
447 #else
448 int flag_caller_saves = 0;
449 #endif
450
451 /* Nonzero if structures and unions should be returned in memory.
452
453    This should only be defined if compatibility with another compiler or
454    with an ABI is needed, because it results in slower code.  */
455
456 #ifndef DEFAULT_PCC_STRUCT_RETURN
457 #define DEFAULT_PCC_STRUCT_RETURN 1
458 #endif
459
460 /* Nonzero for -fpcc-struct-return: return values the same way PCC does.  */
461
462 int flag_pcc_struct_return = DEFAULT_PCC_STRUCT_RETURN;
463
464 /* Nonzero for -fforce-mem: load memory value into a register
465    before arithmetic on it.  This makes better cse but slower compilation.  */
466
467 int flag_force_mem = 0;
468
469 /* Nonzero for -fforce-addr: load memory address into a register before
470    reference to memory.  This makes better cse but slower compilation.  */
471
472 int flag_force_addr = 0;
473
474 /* Nonzero for -fdefer-pop: don't pop args after each function call;
475    instead save them up to pop many calls' args with one insns.  */
476
477 int flag_defer_pop = 0;
478
479 /* Nonzero for -ffloat-store: don't allocate floats and doubles
480    in extended-precision registers.  */
481
482 int flag_float_store = 0;
483
484 /* Nonzero for -fcse-follow-jumps:
485    have cse follow jumps to do a more extensive job.  */
486
487 int flag_cse_follow_jumps;
488
489 /* Nonzero for -fcse-skip-blocks:
490    have cse follow a branch around a block.  */
491 int flag_cse_skip_blocks;
492
493 /* Nonzero for -fexpensive-optimizations:
494    perform miscellaneous relatively-expensive optimizations.  */
495 int flag_expensive_optimizations;
496
497 /* Nonzero for -fthread-jumps:
498    have jump optimize output of loop.  */
499
500 int flag_thread_jumps;
501
502 /* Nonzero enables strength-reduction in loop.c.  */
503
504 int flag_strength_reduce = 0;
505
506 /* Nonzero enables loop unrolling in unroll.c.  Only loops for which the
507    number of iterations can be calculated at compile-time (UNROLL_COMPLETELY,
508    UNROLL_MODULO) or at run-time (preconditioned to be UNROLL_MODULO) are
509    unrolled.  */
510
511 int flag_unroll_loops;
512
513 /* Nonzero enables loop unrolling in unroll.c.  All loops are unrolled.
514    This is generally not a win.  */
515
516 int flag_unroll_all_loops;
517
518 /* Nonzero enables prefetch optimizations for arrays in loops.  */
519
520 int flag_prefetch_loop_arrays;
521
522 /* Nonzero forces all invariant computations in loops to be moved
523    outside the loop.  */
524
525 int flag_move_all_movables = 0;
526
527 /* Nonzero forces all general induction variables in loops to be
528    strength reduced.  */
529
530 int flag_reduce_all_givs = 0;
531
532 /* Nonzero to perform full register move optimization passes.  This is the
533    default for -O2.  */
534
535 int flag_regmove = 0;
536
537 /* Nonzero for -fwritable-strings:
538    store string constants in data segment and don't uniquize them.  */
539
540 int flag_writable_strings = 0;
541
542 /* Nonzero means don't put addresses of constant functions in registers.
543    Used for compiling the Unix kernel, where strange substitutions are
544    done on the assembly output.  */
545
546 int flag_no_function_cse = 0;
547
548 /* Nonzero for -fomit-frame-pointer:
549    don't make a frame pointer in simple functions that don't require one.  */
550
551 int flag_omit_frame_pointer = 0;
552
553 /* Nonzero means place each function into its own section on those platforms
554    which support arbitrary section names and unlimited numbers of sections.  */
555
556 int flag_function_sections = 0;
557
558 /* ... and similar for data.  */
559
560 int flag_data_sections = 0;
561
562 /* Nonzero to inhibit use of define_optimization peephole opts.  */
563
564 int flag_no_peephole = 0;
565
566 /* Nonzero allows GCC to optimize sibling and tail recursive calls.  */
567
568 int flag_optimize_sibling_calls = 0;
569
570 /* Nonzero means the front end generally wants `errno' maintained by math
571    operations, like built-in SQRT.  */
572
573 int flag_errno_math = 1;
574
575 /* Nonzero means that unsafe floating-point math optimizations are allowed
576    for the sake of speed.  IEEE compliance is not guaranteed, and operations
577    are allowed to assume that their arguments and results are "normal"
578    (e.g., nonnegative for SQRT).  */
579
580 int flag_unsafe_math_optimizations = 0;
581
582 /* Nonzero means that no NaNs or +-Infs are expected.  */
583
584 int flag_finite_math_only = 0;
585
586 /* Zero means that floating-point math operations cannot generate a
587    (user-visible) trap.  This is the case, for example, in nonstop
588    IEEE 754 arithmetic.  Trapping conditions include division by zero,
589    overflow, underflow, invalid and inexact, but does not include 
590    operations on signaling NaNs (see below).  */
591
592 int flag_trapping_math = 1;
593
594 /* Nonzero means disable transformations observable by signaling NaNs.
595    This option implies that any operation on a IEEE signaling NaN can
596    generate a (user-visible) trap.  */
597
598 int flag_signaling_nans = 0;
599
600 /* 0 means straightforward implementation of complex divide acceptable.
601    1 means wide ranges of inputs must work for complex divide.
602    2 means C99-like requirements for complex divide (not yet implemented).  */
603
604 int flag_complex_divide_method = 0;
605
606 /* Nonzero means all references through pointers are volatile.  */
607
608 int flag_volatile;
609
610 /* Nonzero means treat all global and extern variables as volatile.  */
611
612 int flag_volatile_global;
613
614 /* Nonzero means treat all static variables as volatile.  */
615
616 int flag_volatile_static;
617
618 /* Nonzero means just do syntax checking; don't output anything.  */
619
620 int flag_syntax_only = 0;
621
622 /* Nonzero means perform global cse.  */
623
624 static int flag_gcse;
625
626 /* Nonzero means perform loop optimizer.  */
627
628 static int flag_loop_optimize;
629
630 /* Nonzero means perform crossjumping.  */
631
632 static int flag_crossjumping;
633
634 /* Nonzero means perform if conversion.  */
635
636 static int flag_if_conversion;
637
638 /* Nonzero means perform if conversion after reload.  */
639
640 static int flag_if_conversion2;
641
642 /* Nonzero means to use global dataflow analysis to eliminate
643    useless null pointer tests.  */
644
645 static int flag_delete_null_pointer_checks;
646
647 /* Nonzero means to do the enhanced load motion during gcse, which trys
648    to hoist loads by not killing them when a store to the same location
649    is seen.  */
650
651 int flag_gcse_lm = 1;
652
653 /* Nonzero means to perform store motion after gcse, which will try to
654    move stores closer to the exit block.  Its not very effective without
655    flag_gcse_lm.  */
656
657 int flag_gcse_sm = 1;
658
659 /* Nonzero means to rerun cse after loop optimization.  This increases
660    compilation time about 20% and picks up a few more common expressions.  */
661
662 static int flag_rerun_cse_after_loop;
663
664 /* Nonzero means to run loop optimizations twice.  */
665
666 int flag_rerun_loop_opt;
667
668 /* Nonzero for -finline-functions: ok to inline functions that look like
669    good inline candidates.  */
670
671 int flag_inline_functions;
672
673 /* Nonzero for -fkeep-inline-functions: even if we make a function
674    go inline everywhere, keep its definition around for debugging
675    purposes.  */
676
677 int flag_keep_inline_functions;
678
679 /* Nonzero means that functions will not be inlined.  */
680
681 int flag_no_inline = 2;
682
683 /* Nonzero means that we don't want inlining by virtue of -fno-inline,
684    not just because the tree inliner turned us off.  */
685
686 int flag_really_no_inline = 2;
687
688 /* Nonzero means that we should emit static const variables
689    regardless of whether or not optimization is turned on.  */
690
691 int flag_keep_static_consts = 1;
692
693 /* Nonzero means we should be saving declaration info into a .X file.  */
694
695 int flag_gen_aux_info = 0;
696
697 /* Specified name of aux-info file.  */
698
699 static char *aux_info_file_name;
700
701 /* Nonzero means make the text shared if supported.  */
702
703 int flag_shared_data;
704
705 /* Nonzero means schedule into delayed branch slots if supported.  */
706
707 int flag_delayed_branch;
708
709 /* Nonzero if we are compiling pure (sharable) code.
710    Value is 1 if we are doing "small" pic; value is 2 if we're doing
711    "large" pic.  */
712
713 int flag_pic;
714
715 /* Set to the default thread-local storage (tls) model to use.  */
716
717 enum tls_model flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
718
719 /* Nonzero means generate extra code for exception handling and enable
720    exception handling.  */
721
722 int flag_exceptions;
723
724 /* Nonzero means generate frame unwind info table when supported.  */
725
726 int flag_unwind_tables = 0;
727
728 /* Nonzero means generate frame unwind info table exact at each insn boundary */
729
730 int flag_asynchronous_unwind_tables = 0;
731
732 /* Nonzero means don't place uninitialized global data in common storage
733    by default.  */
734
735 int flag_no_common;
736
737 /* Nonzero means change certain warnings into errors.
738    Usually these are warnings about failure to conform to some standard.  */
739
740 int flag_pedantic_errors = 0;
741
742 /* flag_schedule_insns means schedule insns within basic blocks (before
743    local_alloc).
744    flag_schedule_insns_after_reload means schedule insns after
745    global_alloc.  */
746
747 int flag_schedule_insns = 0;
748 int flag_schedule_insns_after_reload = 0;
749
750 /* The following flags have effect only for scheduling before register
751    allocation:
752
753    flag_schedule_interblock means schedule insns accross basic blocks.
754    flag_schedule_speculative means allow speculative motion of non-load insns.
755    flag_schedule_speculative_load means allow speculative motion of some
756    load insns.
757    flag_schedule_speculative_load_dangerous allows speculative motion of more
758    load insns.  */
759
760 int flag_schedule_interblock = 1;
761 int flag_schedule_speculative = 1;
762 int flag_schedule_speculative_load = 0;
763 int flag_schedule_speculative_load_dangerous = 0;
764
765 int flag_single_precision_constant;
766
767 /* flag_branch_on_count_reg means try to replace add-1,compare,branch tupple
768    by a cheaper branch on a count register.  */
769 int flag_branch_on_count_reg = 1;
770
771 /* -finhibit-size-directive inhibits output of .size for ELF.
772    This is used only for compiling crtstuff.c,
773    and it may be extended to other effects
774    needed for crtstuff.c on other systems.  */
775 int flag_inhibit_size_directive = 0;
776
777 /* -fverbose-asm causes extra commentary information to be produced in
778    the generated assembly code (to make it more readable).  This option
779    is generally only of use to those who actually need to read the
780    generated assembly code (perhaps while debugging the compiler itself).
781    -fno-verbose-asm, the default, causes the extra information
782    to be omitted and is useful when comparing two assembler files.  */
783
784 int flag_verbose_asm = 0;
785
786 /* -dA causes debug commentary information to be produced in
787    the generated assembly code (to make it more readable).  This option
788    is generally only of use to those who actually need to read the
789    generated assembly code (perhaps while debugging the compiler itself).
790    Currently, this switch is only used by dwarfout.c; however, it is intended
791    to be a catchall for printing debug information in the assembler file.  */
792
793 int flag_debug_asm = 0;
794
795 /* -dP causes the rtl to be emitted as a comment in assembly.  */
796
797 int flag_dump_rtl_in_asm = 0;
798
799 /* -fgnu-linker specifies use of the GNU linker for initializations.
800    (Or, more generally, a linker that handles initializations.)
801    -fno-gnu-linker says that collect2 will be used.  */
802 #ifdef USE_COLLECT2
803 int flag_gnu_linker = 0;
804 #else
805 int flag_gnu_linker = 1;
806 #endif
807
808 /* Nonzero means put zero initialized data in the bss section.  */
809 int flag_zero_initialized_in_bss = 1;
810
811 /* Enable SSA.  */
812 int flag_ssa = 0;
813
814 /* Enable ssa conditional constant propagation.  */
815 int flag_ssa_ccp = 0;
816
817 /* Enable ssa aggressive dead code elimination.  */
818 int flag_ssa_dce = 0;
819
820 /* Tag all structures with __attribute__(packed).  */
821 int flag_pack_struct = 0;
822
823 /* Nonzero means that -Wformat accepts certain system-dependent formats.  */
824 int flag_format_extensions = 0;
825
826 /* Emit code to check for stack overflow; also may cause large objects
827    to be allocated dynamically.  */
828 int flag_stack_check;
829
830 /* When non-NULL, indicates that whenever space is allocated on the
831    stack, the resulting stack pointer must not pass this
832    address---that is, for stacks that grow downward, the stack pointer
833    must always be greater than or equal to this address; for stacks
834    that grow upward, the stack pointer must be less than this address.
835    At present, the rtx may be either a REG or a SYMBOL_REF, although
836    the support provided depends on the backend.  */
837 rtx stack_limit_rtx;
838
839 /* 0 if pointer arguments may alias each other.  True in C.
840    1 if pointer arguments may not alias each other but may alias
841    global variables.
842    2 if pointer arguments may not alias each other and may not
843    alias global variables.  True in Fortran.
844    This defaults to 0 for C.  */
845 int flag_argument_noalias = 0;
846
847 /* Nonzero if we should do (language-dependent) alias analysis.
848    Typically, this analysis will assume that expressions of certain
849    types do not alias expressions of certain other types.  Only used
850    if alias analysis (in general) is enabled.  */
851 int flag_strict_aliasing = 0;
852
853 /* Instrument functions with calls at entry and exit, for profiling.  */
854 int flag_instrument_function_entry_exit = 0;
855
856 /* Nonzero means ignore `#ident' directives.  0 means handle them.
857    On SVR4 targets, it also controls whether or not to emit a
858    string identifying the compiler.  */
859
860 int flag_no_ident = 0;
861
862 /* This will perform a peephole pass before sched2.  */
863 int flag_peephole2 = 0;
864
865 /* This will try to guess branch probabilities.  */
866 int flag_guess_branch_prob = 0;
867
868 /* -fcheck-bounds causes gcc to generate array bounds checks.
869    For C, C++, ObjC: defaults to off.
870    For Java: defaults to on.
871    For Fortran: defaults to off.  */
872 int flag_bounds_check = 0;
873
874 /* This will attempt to merge constant section constants, if 1 only
875    string constants and constants from constant pool, if 2 also constant
876    variables.  */
877 int flag_merge_constants = 1;
878
879 /* If one, renumber instruction UIDs to reduce the number of
880    unused UIDs if there are a lot of instructions.  If greater than
881    one, unconditionally renumber instruction UIDs.  */
882 int flag_renumber_insns = 1;
883
884 /* If nonzero, use the graph coloring register allocator.  */
885 int flag_new_regalloc = 0;
886
887 /* Nonzero if we perform superblock formation.  */
888
889 int flag_tracer = 0;
890
891 /* Values of the -falign-* flags: how much to align labels in code.
892    0 means `use default', 1 means `don't align'.
893    For each variable, there is an _log variant which is the power
894    of two not less than the variable, for .align output.  */
895
896 int align_loops;
897 int align_loops_log;
898 int align_loops_max_skip;
899 int align_jumps;
900 int align_jumps_log;
901 int align_jumps_max_skip;
902 int align_labels;
903 int align_labels_log;
904 int align_labels_max_skip;
905 int align_functions;
906 int align_functions_log;
907
908 /* Like align_functions_log above, but used by front-ends to force the
909    minimum function alignment.  Zero means no alignment is forced.  */
910 int force_align_functions_log;
911
912 /* Table of supported debugging formats.  */
913 static const struct
914 {
915   const char *const arg;
916   /* Since PREFERRED_DEBUGGING_TYPE isn't necessarily a
917      constant expression, we use NO_DEBUG in its place.  */
918   const enum debug_info_type debug_type;
919   const int use_extensions_p;
920   const char *const description;
921 } *da,
922 debug_args[] =
923 {
924   { "",       NO_DEBUG, DEFAULT_GDB_EXTENSIONS,
925     N_("Generate debugging info in default format") },
926   { "gdb",    NO_DEBUG, 1, N_("Generate debugging info in default extended format") },
927 #ifdef DBX_DEBUGGING_INFO
928   { "stabs",  DBX_DEBUG, 0, N_("Generate STABS format debug info") },
929   { "stabs+", DBX_DEBUG, 1, N_("Generate extended STABS format debug info") },
930 #endif
931 #ifdef DWARF_DEBUGGING_INFO
932   { "dwarf",  DWARF_DEBUG, 0, N_("Generate DWARF-1 format debug info") },
933   { "dwarf+", DWARF_DEBUG, 1,
934     N_("Generate extended DWARF-1 format debug info") },
935 #endif
936 #ifdef DWARF2_DEBUGGING_INFO
937   { "dwarf-2", DWARF2_DEBUG, 0, N_("Generate DWARF-2 debug info") },
938 #endif
939 #ifdef XCOFF_DEBUGGING_INFO
940   { "xcoff",  XCOFF_DEBUG, 0, N_("Generate XCOFF format debug info") },
941   { "xcoff+", XCOFF_DEBUG, 1, N_("Generate extended XCOFF format debug info") },
942 #endif
943 #ifdef SDB_DEBUGGING_INFO
944   { "coff", SDB_DEBUG, 0, N_("Generate COFF format debug info") },
945 #endif
946 #ifdef VMS_DEBUGGING_INFO
947   { "vms", VMS_DEBUG, 0, N_("Generate VMS format debug info") },
948 #endif
949   { 0, 0, 0, 0 }
950 };
951
952 typedef struct
953 {
954   const char *const string;
955   int *const variable;
956   const int on_value;
957   const char *const description;
958 }
959 lang_independent_options;
960
961 int flag_trapv = 0;
962
963 /* Add or remove a leading underscore from user symbols.  */
964 int flag_leading_underscore = -1;
965
966 /* The user symbol prefix after having resolved same.  */
967 const char *user_label_prefix;
968
969 static const param_info lang_independent_params[] = {
970 #define DEFPARAM(ENUM, OPTION, HELP, DEFAULT) \
971   { OPTION, DEFAULT, HELP },
972 #include "params.def"
973 #undef DEFPARAM
974   { NULL, 0, NULL }
975 };
976
977 /* Table of language-independent -f options.
978    STRING is the option name.  VARIABLE is the address of the variable.
979    ON_VALUE is the value to store in VARIABLE
980     if `-fSTRING' is seen as an option.
981    (If `-fno-STRING' is seen as an option, the opposite value is stored.)  */
982
983 static const lang_independent_options f_options[] =
984 {
985   {"format-extensions", &flag_format_extensions, 1,
986    N_("-Wformat accepts certain FreeBSD system-dependent formats") },
987   {"eliminate-dwarf2-dups", &flag_eliminate_dwarf2_dups, 1,
988    N_("Perform DWARF2 duplicate elimination") },
989   {"float-store", &flag_float_store, 1,
990    N_("Do not store floats in registers") },
991   {"volatile", &flag_volatile, 1,
992    N_("Consider all mem refs through pointers as volatile") },
993   {"volatile-global", &flag_volatile_global, 1,
994    N_("Consider all mem refs to global data to be volatile") },
995   {"volatile-static", &flag_volatile_static, 1,
996    N_("Consider all mem refs to static data to be volatile") },
997   {"defer-pop", &flag_defer_pop, 1,
998    N_("Defer popping functions args from stack until later") },
999   {"omit-frame-pointer", &flag_omit_frame_pointer, 1,
1000    N_("When possible do not generate stack frames") },
1001   {"optimize-sibling-calls", &flag_optimize_sibling_calls, 1,
1002    N_("Optimize sibling and tail recursive calls") },
1003   {"tracer", &flag_tracer, 1,
1004    N_("Perform superblock formation via tail duplication") },
1005   {"cse-follow-jumps", &flag_cse_follow_jumps, 1,
1006    N_("When running CSE, follow jumps to their targets") },
1007   {"cse-skip-blocks", &flag_cse_skip_blocks, 1,
1008    N_("When running CSE, follow conditional jumps") },
1009   {"expensive-optimizations", &flag_expensive_optimizations, 1,
1010    N_("Perform a number of minor, expensive optimizations") },
1011   {"thread-jumps", &flag_thread_jumps, 1,
1012    N_("Perform jump threading optimizations") },
1013   {"strength-reduce", &flag_strength_reduce, 1,
1014    N_("Perform strength reduction optimizations") },
1015   {"unroll-loops", &flag_unroll_loops, 1,
1016    N_("Perform loop unrolling when iteration count is known") },
1017   {"unroll-all-loops", &flag_unroll_all_loops, 1,
1018    N_("Perform loop unrolling for all loops") },
1019   {"prefetch-loop-arrays", &flag_prefetch_loop_arrays, 1,
1020    N_("Generate prefetch instructions, if available, for arrays in loops") },
1021   {"move-all-movables", &flag_move_all_movables, 1,
1022    N_("Force all loop invariant computations out of loops") },
1023   {"reduce-all-givs", &flag_reduce_all_givs, 1,
1024    N_("Strength reduce all loop general induction variables") },
1025   {"writable-strings", &flag_writable_strings, 1,
1026    N_("Store strings in writable data section") },
1027   {"peephole", &flag_no_peephole, 0,
1028    N_("Enable machine specific peephole optimizations") },
1029   {"force-mem", &flag_force_mem, 1,
1030    N_("Copy memory operands into registers before using") },
1031   {"force-addr", &flag_force_addr, 1,
1032    N_("Copy memory address constants into regs before using") },
1033   {"function-cse", &flag_no_function_cse, 0,
1034    N_("Allow function addresses to be held in registers") },
1035   {"inline-functions", &flag_inline_functions, 1,
1036    N_("Integrate simple functions into their callers") },
1037   {"keep-inline-functions", &flag_keep_inline_functions, 1,
1038    N_("Generate code for funcs even if they are fully inlined") },
1039   {"inline", &flag_no_inline, 0,
1040    N_("Pay attention to the 'inline' keyword") },
1041   {"keep-static-consts", &flag_keep_static_consts, 1,
1042    N_("Emit static const variables even if they are not used") },
1043   {"syntax-only", &flag_syntax_only, 1,
1044    N_("Check for syntax errors, then stop") },
1045   {"shared-data", &flag_shared_data, 1,
1046    N_("Mark data as shared rather than private") },
1047   {"caller-saves", &flag_caller_saves, 1,
1048    N_("Enable saving registers around function calls") },
1049   {"pcc-struct-return", &flag_pcc_struct_return, 1,
1050    N_("Return 'short' aggregates in memory, not registers") },
1051   {"reg-struct-return", &flag_pcc_struct_return, 0,
1052    N_("Return 'short' aggregates in registers") },
1053   {"delayed-branch", &flag_delayed_branch, 1,
1054    N_("Attempt to fill delay slots of branch instructions") },
1055   {"gcse", &flag_gcse, 1,
1056    N_("Perform the global common subexpression elimination") },
1057   {"gcse-lm", &flag_gcse_lm, 1,
1058    N_("Perform enhanced load motion during global subexpression elimination") },
1059   {"gcse-sm", &flag_gcse_sm, 1,
1060    N_("Perform store motion after global subexpression elimination") },
1061   {"loop-optimize", &flag_loop_optimize, 1,
1062    N_("Perform the loop optimizations") },
1063   {"crossjumping", &flag_crossjumping, 1,
1064    N_("Perform cross-jumping optimization") },
1065   {"if-conversion", &flag_if_conversion, 1,
1066    N_("Perform conversion of conditional jumps to branchless equivalents") },
1067   {"if-conversion2", &flag_if_conversion2, 1,
1068    N_("Perform conversion of conditional jumps to conditional execution") },
1069   {"rerun-cse-after-loop", &flag_rerun_cse_after_loop, 1,
1070    N_("Run CSE pass after loop optimizations") },
1071   {"rerun-loop-opt", &flag_rerun_loop_opt, 1,
1072    N_("Run the loop optimizer twice") },
1073   {"delete-null-pointer-checks", &flag_delete_null_pointer_checks, 1,
1074    N_("Delete useless null pointer checks") },
1075   {"schedule-insns", &flag_schedule_insns, 1,
1076    N_("Reschedule instructions before register allocation") },
1077   {"schedule-insns2", &flag_schedule_insns_after_reload, 1,
1078    N_("Reschedule instructions after register allocation") },
1079   {"sched-interblock",&flag_schedule_interblock, 1,
1080    N_("Enable scheduling across basic blocks") },
1081   {"sched-spec",&flag_schedule_speculative, 1,
1082    N_("Allow speculative motion of non-loads") },
1083   {"sched-spec-load",&flag_schedule_speculative_load, 1,
1084    N_("Allow speculative motion of some loads") },
1085   {"sched-spec-load-dangerous",&flag_schedule_speculative_load_dangerous, 1,
1086    N_("Allow speculative motion of more loads") },
1087   {"branch-count-reg",&flag_branch_on_count_reg, 1,
1088    N_("Replace add,compare,branch with branch on count reg") },
1089   {"pic", &flag_pic, 1,
1090    N_("Generate position independent code, if possible") },
1091   {"PIC", &flag_pic, 2, ""},
1092   {"exceptions", &flag_exceptions, 1,
1093    N_("Enable exception handling") },
1094   {"unwind-tables", &flag_unwind_tables, 1,
1095    N_("Just generate unwind tables for exception handling") },
1096   {"asynchronous-unwind-tables", &flag_asynchronous_unwind_tables, 1,
1097    N_("Generate unwind tables exact at each instruction boundary") },
1098   {"non-call-exceptions", &flag_non_call_exceptions, 1,
1099    N_("Support synchronous non-call exceptions") },
1100   {"profile-arcs", &profile_arc_flag, 1,
1101    N_("Insert arc based program profiling code") },
1102   {"test-coverage", &flag_test_coverage, 1,
1103    N_("Create data files needed by gcov") },
1104   {"branch-probabilities", &flag_branch_probabilities, 1,
1105    N_("Use profiling information for branch probabilities") },
1106   {"profile", &profile_flag, 1,
1107    N_("Enable basic program profiling code") },
1108   {"reorder-blocks", &flag_reorder_blocks, 1,
1109    N_("Reorder basic blocks to improve code placement") },
1110   {"reorder-functions", &flag_reorder_functions, 1,
1111    N_("Reorder functions to improve code placement") },
1112   {"rename-registers", &flag_rename_registers, 1,
1113    N_("Do the register renaming optimization pass") },
1114   {"cprop-registers", &flag_cprop_registers, 1,
1115    N_("Do the register copy-propagation optimization pass") },
1116   {"common", &flag_no_common, 0,
1117    N_("Do not put uninitialized globals in the common section") },
1118   {"inhibit-size-directive", &flag_inhibit_size_directive, 1,
1119    N_("Do not generate .size directives") },
1120   {"function-sections", &flag_function_sections, 1,
1121    N_("place each function into its own section") },
1122   {"data-sections", &flag_data_sections, 1,
1123    N_("place data items into their own section") },
1124   {"verbose-asm", &flag_verbose_asm, 1,
1125    N_("Add extra commentary to assembler output") },
1126   {"gnu-linker", &flag_gnu_linker, 1,
1127    N_("Output GNU ld formatted global initializers") },
1128   {"regmove", &flag_regmove, 1,
1129    N_("Enables a register move optimization") },
1130   {"optimize-register-move", &flag_regmove, 1,
1131    N_("Do the full regmove optimization pass") },
1132   {"pack-struct", &flag_pack_struct, 1,
1133    N_("Pack structure members together without holes") },
1134   {"stack-check", &flag_stack_check, 1,
1135    N_("Insert stack checking code into the program") },
1136   {"argument-alias", &flag_argument_noalias, 0,
1137    N_("Specify that arguments may alias each other & globals") },
1138   {"argument-noalias", &flag_argument_noalias, 1,
1139    N_("Assume arguments may alias globals but not each other") },
1140   {"argument-noalias-global", &flag_argument_noalias, 2,
1141    N_("Assume arguments do not alias each other or globals") },
1142   {"strict-aliasing", &flag_strict_aliasing, 1,
1143    N_("Assume strict aliasing rules apply") },
1144   {"align-loops", &align_loops, 0,
1145    N_("Align the start of loops") },
1146   {"align-jumps", &align_jumps, 0,
1147    N_("Align labels which are only reached by jumping") },
1148   {"align-labels", &align_labels, 0,
1149    N_("Align all labels") },
1150   {"align-functions", &align_functions, 0,
1151    N_("Align the start of functions") },
1152   {"merge-constants", &flag_merge_constants, 1,
1153    N_("Attempt to merge identical constants across compilation units") },
1154   {"merge-all-constants", &flag_merge_constants, 2,
1155    N_("Attempt to merge identical constants and constant variables") },
1156   {"dump-unnumbered", &flag_dump_unnumbered, 1,
1157    N_("Suppress output of instruction numbers and line number notes in debugging dumps") },
1158   {"instrument-functions", &flag_instrument_function_entry_exit, 1,
1159    N_("Instrument function entry/exit with profiling calls") },
1160   {"zero-initialized-in-bss", &flag_zero_initialized_in_bss, 1,
1161    N_("Put zero initialized data in the bss section") },
1162   {"ssa", &flag_ssa, 1,
1163    N_("Enable SSA optimizations") },
1164   {"ssa-ccp", &flag_ssa_ccp, 1,
1165    N_("Enable SSA conditional constant propagation") },
1166   {"ssa-dce", &flag_ssa_dce, 1,
1167    N_("Enable aggressive SSA dead code elimination") },
1168   {"leading-underscore", &flag_leading_underscore, 1,
1169    N_("External symbols have a leading underscore") },
1170   {"ident", &flag_no_ident, 0,
1171    N_("Process #ident directives") },
1172   { "peephole2", &flag_peephole2, 1,
1173    N_("Enables an rtl peephole pass run before sched2") },
1174   {"finite-math-only", &flag_finite_math_only, 1,
1175    N_("Assume no NaNs or +-Infs are generated") },
1176   { "guess-branch-probability", &flag_guess_branch_prob, 1,
1177    N_("Enables guessing of branch probabilities") },
1178   {"math-errno", &flag_errno_math, 1,
1179    N_("Set errno after built-in math functions") },
1180   {"trapping-math", &flag_trapping_math, 1,
1181    N_("Floating-point operations can trap") },
1182   {"unsafe-math-optimizations", &flag_unsafe_math_optimizations, 1,
1183    N_("Allow math optimizations that may violate IEEE or ANSI standards") },
1184   {"signaling-nans", &flag_signaling_nans, 1,
1185    N_("Disable optimizations observable by IEEE signaling NaNs") },
1186   {"bounds-check", &flag_bounds_check, 1,
1187    N_("Generate code to check bounds before indexing arrays") },
1188   {"single-precision-constant", &flag_single_precision_constant, 1,
1189    N_("Convert floating point constant to single precision constant") },
1190   {"time-report", &time_report, 1,
1191    N_("Report time taken by each compiler pass at end of run") },
1192   {"mem-report", &mem_report, 1,
1193    N_("Report on permanent memory allocation at end of run") },
1194   { "trapv", &flag_trapv, 1,
1195    N_("Trap for signed overflow in addition / subtraction / multiplication") },
1196   { "new-ra", &flag_new_regalloc, 1,
1197    N_("Use graph coloring register allocation.") },
1198 };
1199
1200 /* Table of language-specific options.  */
1201
1202 static const struct lang_opt
1203 {
1204   const char *const option;
1205   const char *const description;
1206 }
1207 documented_lang_options[] =
1208 {
1209   /* In order not to overload the --help output, the convention
1210      used here is to only describe those options which are not
1211      enabled by default.  */
1212
1213   { "-ansi",
1214     N_("Compile just for ISO C90") },
1215   { "-std= ",
1216     N_("Determine language standard") },
1217
1218   { "-fsigned-bitfields", "" },
1219   { "-funsigned-bitfields",
1220     N_("Make bit-fields by unsigned by default") },
1221   { "-fno-signed-bitfields", "" },
1222   { "-fno-unsigned-bitfields","" },
1223   { "-fsigned-char",
1224     N_("Make 'char' be signed by default") },
1225   { "-funsigned-char",
1226     N_("Make 'char' be unsigned by default") },
1227   { "-fno-signed-char", "" },
1228   { "-fno-unsigned-char", "" },
1229
1230   { "-fasm", "" },
1231   { "-fno-asm",
1232     N_("Do not recognize the 'asm' keyword") },
1233   { "-fbuiltin", "" },
1234   { "-fno-builtin",
1235     N_("Do not recognize any built in functions") },
1236   { "-fhosted",
1237     N_("Assume normal C execution environment") },
1238   { "-fno-hosted", "" },
1239   { "-ffreestanding",
1240     N_("Assume that standard libraries & main might not exist") },
1241   { "-fno-freestanding", "" },
1242   { "-fcond-mismatch",
1243     N_("Allow different types as args of ? operator") },
1244   { "-fno-cond-mismatch", "" },
1245   { "-fdollars-in-identifiers",
1246     N_("Allow the use of $ inside identifiers") },
1247   { "-fno-dollars-in-identifiers", "" },
1248   { "-fpreprocessed", "" },
1249   { "-fno-preprocessed", "" },
1250   { "-fshort-double",
1251     N_("Use the same size for double as for float") },
1252   { "-fno-short-double", "" },
1253   { "-fshort-enums",
1254     N_("Use the smallest fitting integer to hold enums") },
1255   { "-fno-short-enums", "" },
1256   { "-fshort-wchar",
1257     N_("Override the underlying type for wchar_t to `unsigned short'") },
1258   { "-fno-short-wchar", "" },
1259
1260   { "-Wall",
1261     N_("Enable most warning messages") },
1262   { "-Wbad-function-cast",
1263     N_("Warn about casting functions to incompatible types") },
1264   { "-Wno-bad-function-cast", "" },
1265   { "-Wmissing-format-attribute",
1266     N_("Warn about functions which might be candidates for format attributes") },
1267   { "-Wno-missing-format-attribute", "" },
1268   { "-Wcast-qual",
1269     N_("Warn about casts which discard qualifiers") },
1270   { "-Wno-cast-qual", "" },
1271   { "-Wchar-subscripts",
1272     N_("Warn about subscripts whose type is 'char'") },
1273   { "-Wno-char-subscripts", "" },
1274   { "-Wcomment",
1275     N_("Warn if nested comments are detected") },
1276   { "-Wno-comment", "" },
1277   { "-Wcomments",
1278     N_("Warn if nested comments are detected") },
1279   { "-Wno-comments", "" },
1280   { "-Wconversion",
1281     N_("Warn about possibly confusing type conversions") },
1282   { "-Wno-conversion", "" },
1283   { "-Wdiv-by-zero", "" },
1284   { "-Wno-div-by-zero",
1285     N_("Do not warn about compile-time integer division by zero") },
1286   { "-Wfloat-equal",
1287     N_("Warn about testing equality of floating point numbers") },
1288   { "-Wno-float-equal", "" },
1289   { "-Wformat",
1290     N_("Warn about printf/scanf/strftime/strfmon format anomalies") },
1291   { "-Wno-format", "" },
1292   { "-Wformat-extra-args", "" },
1293   { "-Wno-format-extra-args",
1294     N_("Don't warn about too many arguments to format functions") },
1295   { "-Wformat-nonliteral",
1296     N_("Warn about non-string-literal format strings") },
1297   { "-Wno-format-nonliteral", "" },
1298   { "-Wformat-security",
1299     N_("Warn about possible security problems with format functions") },
1300   { "-Wno-format-security", "" },
1301   { "-Wformat-y2k", "" },
1302   { "-Wno-format-y2k",
1303     N_("Don't warn about strftime formats yielding 2 digit years") },
1304   { "-Wimplicit-function-declaration",
1305     N_("Warn about implicit function declarations") },
1306   { "-Wno-implicit-function-declaration", "" },
1307   { "-Werror-implicit-function-declaration", "" },
1308   { "-Wimplicit-int",
1309     N_("Warn when a declaration does not specify a type") },
1310   { "-Wno-implicit-int", "" },
1311   { "-Wimplicit", "" },
1312   { "-Wno-implicit", "" },
1313   { "-Wimport",
1314     N_("Warn about the use of the #import directive") },
1315   { "-Wno-import", "" },
1316   { "-Wlong-long","" },
1317   { "-Wno-long-long",
1318     N_("Do not warn about using 'long long' when -pedantic") },
1319   { "-Wmain",
1320     N_("Warn about suspicious declarations of main") },
1321   { "-Wno-main", "" },
1322   { "-Wmissing-braces",
1323     N_("Warn about possibly missing braces around initializers") },
1324   { "-Wno-missing-braces", "" },
1325   { "-Wmissing-declarations",
1326     N_("Warn about global funcs without previous declarations") },
1327   { "-Wno-missing-declarations", "" },
1328   { "-Wmissing-prototypes",
1329     N_("Warn about global funcs without prototypes") },
1330   { "-Wno-missing-prototypes", "" },
1331   { "-Wmultichar",
1332     N_("Warn about use of multicharacter literals") },
1333   { "-Wno-multichar", "" },
1334   { "-Wnested-externs",
1335     N_("Warn about externs not at file scope level") },
1336   { "-Wno-nested-externs", "" },
1337   { "-Wparentheses",
1338     N_("Warn about possible missing parentheses") },
1339   { "-Wno-parentheses", "" },
1340   { "-Wpointer-arith",
1341     N_("Warn about function pointer arithmetic") },
1342   { "-Wno-pointer-arith", "" },
1343   { "-Wredundant-decls",
1344     N_("Warn about multiple declarations of the same object") },
1345   { "-Wno-redundant-decls", "" },
1346   { "-Wreturn-type",
1347     N_("Warn whenever a function's return-type defaults to int") },
1348   { "-Wno-return-type", "" },
1349   { "-Wsequence-point",
1350     N_("Warn about possible violations of sequence point rules") },
1351   { "-Wno-sequence-point", "" },
1352   { "-Wsign-compare",
1353     N_("Warn about signed/unsigned comparisons") },
1354   { "-Wno-sign-compare", "" },
1355   { "-Wstrict-prototypes",
1356     N_("Warn about non-prototyped function decls") },
1357   { "-Wno-strict-prototypes", "" },
1358   { "-Wtraditional",
1359     N_("Warn about constructs whose meanings change in ISO C") },
1360   { "-Wno-traditional", "" },
1361   { "-Wtrigraphs",
1362     N_("Warn when trigraphs are encountered") },
1363   { "-Wno-trigraphs", "" },
1364   { "-Wundef", "" },
1365   { "-Wno-undef", "" },
1366   { "-Wunknown-pragmas",
1367     N_("Warn about unrecognized pragmas") },
1368   { "-Wno-unknown-pragmas", "" },
1369   { "-Wwrite-strings",
1370     N_("Mark strings as 'const char *'") },
1371   { "-Wno-write-strings", "" },
1372
1373 #define DEFINE_LANG_NAME(NAME) { NULL, NAME },
1374
1375 #include "options.h"
1376
1377 };
1378
1379 /* Here is a table, controlled by the tm.h file, listing each -m switch
1380    and which bits in `target_switches' it should set or clear.
1381    If VALUE is positive, it is bits to set.
1382    If VALUE is negative, -VALUE is bits to clear.
1383    (The sign bit is not used so there is no confusion.)  */
1384
1385 static const struct
1386 {
1387   const char *const name;
1388   const int value;
1389   const char *const description;
1390 }
1391 target_switches[] = TARGET_SWITCHES;
1392
1393 /* This table is similar, but allows the switch to have a value.  */
1394
1395 #ifdef TARGET_OPTIONS
1396 static const struct
1397 {
1398   const char *const prefix;
1399   const char **const variable;
1400   const char *const description;
1401 }
1402 target_options[] = TARGET_OPTIONS;
1403 #endif
1404 \f
1405 /* Options controlling warnings.  */
1406
1407 /* Don't print warning messages.  -w.  */
1408
1409 int inhibit_warnings = 0;
1410
1411 /* Don't suppress warnings from system headers.  -Wsystem-headers.  */
1412
1413 int warn_system_headers = 0;
1414
1415 /* Print various extra warnings.  -W.  */
1416
1417 int extra_warnings = 0;
1418
1419 /* Treat warnings as errors.  -Werror.  */
1420
1421 int warnings_are_errors = 0;
1422
1423 /* Nonzero to warn about unused variables, functions et.al.  */
1424
1425 int warn_unused_function;
1426 int warn_unused_label;
1427 int warn_unused_parameter;
1428 int warn_unused_variable;
1429 int warn_unused_value;
1430
1431 /* Nonzero to warn about code which is never reached.  */
1432
1433 int warn_notreached;
1434
1435 /* Nonzero to warn about variables used before they are initialized.  */
1436
1437 int warn_uninitialized;
1438
1439 /* Nonzero means warn about all declarations which shadow others.  */
1440
1441 int warn_shadow;
1442
1443 /* Warn if a switch on an enum, that does not have a default case,
1444    fails to have a case for every enum value.  */
1445
1446 int warn_switch;
1447
1448 /* Warn if a switch does not have a default case.  */
1449
1450 int warn_switch_default;
1451
1452 /* Warn if a switch on an enum fails to have a case for every enum
1453    value (regardless of the presence or otherwise of a default case).  */
1454
1455 int warn_switch_enum;
1456
1457 /* Nonzero means warn about function definitions that default the return type
1458    or that use a null return and have a return-type other than void.  */
1459
1460 int warn_return_type;
1461
1462 /* Nonzero means warn about pointer casts that increase the required
1463    alignment of the target type (and might therefore lead to a crash
1464    due to a misaligned access).  */
1465
1466 int warn_cast_align;
1467
1468 /* Nonzero means warn about any objects definitions whose size is larger
1469    than N bytes.  Also want about function definitions whose returned
1470    values are larger than N bytes. The value N is in `larger_than_size'.  */
1471
1472 int warn_larger_than;
1473 HOST_WIDE_INT larger_than_size;
1474
1475 /* Nonzero means warn if inline function is too large.  */
1476
1477 int warn_inline;
1478
1479 /* Warn if a function returns an aggregate,
1480    since there are often incompatible calling conventions for doing this.  */
1481
1482 int warn_aggregate_return;
1483
1484 /* Warn if packed attribute on struct is unnecessary and inefficient.  */
1485
1486 int warn_packed;
1487
1488 /* Warn when gcc pads a structure to an alignment boundary.  */
1489
1490 int warn_padded;
1491
1492 /* Warn when an optimization pass is disabled.  */
1493
1494 int warn_disabled_optimization;
1495
1496 /* Warn about functions which might be candidates for attribute noreturn.  */
1497
1498 int warn_missing_noreturn;
1499
1500 /* Nonzero means warn about uses of __attribute__((deprecated))
1501    declarations.  */
1502
1503 int warn_deprecated_decl = 1;
1504
1505 /* Nonzero means warn about constructs which might not be
1506    strict-aliasing safe.  */
1507
1508 int warn_strict_aliasing;
1509
1510 /* Likewise for -W.  */
1511
1512 static const lang_independent_options W_options[] =
1513 {
1514   {"unused-function", &warn_unused_function, 1,
1515    N_("Warn when a function is unused") },
1516   {"unused-label", &warn_unused_label, 1,
1517    N_("Warn when a label is unused") },
1518   {"unused-parameter", &warn_unused_parameter, 1,
1519    N_("Warn when a function parameter is unused") },
1520   {"unused-variable", &warn_unused_variable, 1,
1521    N_("Warn when a variable is unused") },
1522   {"unused-value", &warn_unused_value, 1,
1523    N_("Warn when an expression value is unused") },
1524   {"system-headers", &warn_system_headers, 1,
1525    N_("Do not suppress warnings from system headers") },
1526   {"error", &warnings_are_errors, 1,
1527    N_("Treat all warnings as errors") },
1528   {"shadow", &warn_shadow, 1,
1529    N_("Warn when one local variable shadows another") },
1530   {"switch", &warn_switch, 1,
1531    N_("Warn about enumerated switches, with no default, missing a case") },
1532   {"switch-default", &warn_switch_default, 1,
1533    N_("Warn about enumerated switches missing a default case") },
1534   {"switch-enum", &warn_switch_enum, 1,
1535    N_("Warn about all enumerated switches missing a specific case") },
1536   {"aggregate-return", &warn_aggregate_return, 1,
1537    N_("Warn about returning structures, unions or arrays") },
1538   {"cast-align", &warn_cast_align, 1,
1539    N_("Warn about pointer casts which increase alignment") },
1540   {"unreachable-code", &warn_notreached, 1,
1541    N_("Warn about code that will never be executed") },
1542   {"uninitialized", &warn_uninitialized, 1,
1543    N_("Warn about uninitialized automatic variables") },
1544   {"inline", &warn_inline, 1,
1545    N_("Warn when an inlined function cannot be inlined") },
1546   {"packed", &warn_packed, 1,
1547    N_("Warn when the packed attribute has no effect on struct layout") },
1548   {"padded", &warn_padded, 1,
1549    N_("Warn when padding is required to align struct members") },
1550   {"disabled-optimization", &warn_disabled_optimization, 1,
1551    N_("Warn when an optimization pass is disabled") },
1552   {"deprecated-declarations", &warn_deprecated_decl, 1,
1553    N_("Warn about uses of __attribute__((deprecated)) declarations") },
1554   {"missing-noreturn", &warn_missing_noreturn, 1,
1555    N_("Warn about functions which might be candidates for attribute noreturn") },
1556   {"strict-aliasing", &warn_strict_aliasing, 1,
1557    N_ ("Warn about code which might break the strict aliasing rules") }
1558 };
1559
1560 void
1561 set_Wunused (setting)
1562      int setting;
1563 {
1564   warn_unused_function = setting;
1565   warn_unused_label = setting;
1566   /* Unused function parameter warnings are reported when either ``-W
1567      -Wunused'' or ``-Wunused-parameter'' is specified.  Differentiate
1568      -Wunused by setting WARN_UNUSED_PARAMETER to -1.  */
1569   if (!setting)
1570     warn_unused_parameter = 0;
1571   else if (!warn_unused_parameter)
1572     warn_unused_parameter = -1;
1573   warn_unused_variable = setting;
1574   warn_unused_value = setting;
1575 }
1576
1577 /* The following routines are useful in setting all the flags that
1578    -ffast-math and -fno-fast-math imply.  */
1579
1580 void
1581 set_fast_math_flags (set)
1582      int set;
1583 {
1584   flag_trapping_math = !set;
1585   flag_unsafe_math_optimizations = set;
1586   flag_finite_math_only = set;
1587   flag_errno_math = !set;
1588   if (set)
1589     flag_signaling_nans = 0;
1590 }
1591
1592 /* Return true iff flags are set as if -ffast-math.  */
1593 bool
1594 fast_math_flags_set_p ()
1595 {
1596   return (!flag_trapping_math
1597           && flag_unsafe_math_optimizations
1598           && flag_finite_math_only
1599           && !flag_errno_math);
1600 }
1601
1602 \f
1603 /* Output files for assembler code (real compiler output)
1604    and debugging dumps.  */
1605
1606 FILE *asm_out_file;
1607 FILE *aux_info_file;
1608 FILE *rtl_dump_file = NULL;
1609
1610 /* Decode the string P as an integral parameter.
1611    If the string is indeed an integer return its numeric value else
1612    issue an Invalid Option error for the option PNAME and return DEFVAL.
1613    If PNAME is zero just return DEFVAL, do not call error.  */
1614
1615 int
1616 read_integral_parameter (p, pname, defval)
1617      const char *p;
1618      const char *pname;
1619      const int  defval;
1620 {
1621   const char *endp = p;
1622
1623   while (*endp)
1624     {
1625       if (ISDIGIT (*endp))
1626         endp++;
1627       else
1628         break;
1629     }
1630
1631   if (*endp != 0)
1632     {
1633       if (pname != 0)
1634         error ("invalid option `%s'", pname);
1635       return defval;
1636     }
1637
1638   return atoi (p);
1639 }
1640 \f
1641 /* This calls abort and is used to avoid problems when abort is a macro.
1642    It is used when we need to pass the address of abort.  */
1643
1644 void
1645 do_abort ()
1646 {
1647   abort ();
1648 }
1649
1650 /* When `malloc.c' is compiled with `rcheck' defined,
1651    it calls this function to report clobberage.  */
1652
1653 void
1654 botch (s)
1655      const char *s ATTRIBUTE_UNUSED;
1656 {
1657   abort ();
1658 }
1659 \f
1660 /* Return the logarithm of X, base 2, considering X unsigned,
1661    if X is a power of 2.  Otherwise, returns -1.
1662
1663    This should be used via the `exact_log2' macro.  */
1664
1665 int
1666 exact_log2_wide (x)
1667      unsigned HOST_WIDE_INT x;
1668 {
1669   int log = 0;
1670   /* Test for 0 or a power of 2.  */
1671   if (x == 0 || x != (x & -x))
1672     return -1;
1673   while ((x >>= 1) != 0)
1674     log++;
1675   return log;
1676 }
1677
1678 /* Given X, an unsigned number, return the largest int Y such that 2**Y <= X.
1679    If X is 0, return -1.
1680
1681    This should be used via the floor_log2 macro.  */
1682
1683 int
1684 floor_log2_wide (x)
1685      unsigned HOST_WIDE_INT x;
1686 {
1687   int log = -1;
1688   while (x != 0)
1689     log++,
1690     x >>= 1;
1691   return log;
1692 }
1693
1694 /* Handler for fatal signals, such as SIGSEGV.  These are transformed
1695    into ICE messages, which is much more user friendly.  */
1696
1697 static void
1698 crash_signal (signo)
1699      int signo;
1700 {
1701   internal_error ("%s", strsignal (signo));
1702 }
1703
1704 /* Strip off a legitimate source ending from the input string NAME of
1705    length LEN.  Rather than having to know the names used by all of
1706    our front ends, we strip off an ending of a period followed by
1707    up to five characters.  (Java uses ".class".)  */
1708
1709 void
1710 strip_off_ending (name, len)
1711      char *name;
1712      int len;
1713 {
1714   int i;
1715   for (i = 2; i < 6 && len > i; i++)
1716     {
1717       if (name[len - i] == '.')
1718         {
1719           name[len - i] = '\0';
1720           break;
1721         }
1722     }
1723 }
1724
1725 /* Output a quoted string.  */
1726
1727 void
1728 output_quoted_string (asm_file, string)
1729      FILE *asm_file;
1730      const char *string;
1731 {
1732 #ifdef OUTPUT_QUOTED_STRING
1733   OUTPUT_QUOTED_STRING (asm_file, string);
1734 #else
1735   char c;
1736
1737   putc ('\"', asm_file);
1738   while ((c = *string++) != 0)
1739     {
1740       if (ISPRINT (c))
1741         {
1742           if (c == '\"' || c == '\\')
1743             putc ('\\', asm_file);
1744           putc (c, asm_file);
1745         }
1746       else
1747         fprintf (asm_file, "\\%03o", (unsigned char) c);
1748     }
1749   putc ('\"', asm_file);
1750 #endif
1751 }
1752
1753 /* Output NAME into FILE after having turned it into something
1754    usable as an identifier in a target's assembly file.  */
1755 void
1756 output_clean_symbol_name (file, name)
1757      FILE *file;
1758      const char *name;
1759 {
1760   /* Make a copy of NAME.  */
1761   char *id = xstrdup (name);
1762
1763   /* Make it look like a valid identifier for an assembler.  */
1764   clean_symbol_name (id);
1765
1766   fputs (id, file);
1767   free (id);
1768 }
1769
1770
1771 /* Output a file name in the form wanted by System V.  */
1772
1773 void
1774 output_file_directive (asm_file, input_name)
1775      FILE *asm_file;
1776      const char *input_name;
1777 {
1778   int len = strlen (input_name);
1779   const char *na = input_name + len;
1780
1781   /* NA gets INPUT_NAME sans directory names.  */
1782   while (na > input_name)
1783     {
1784       if (IS_DIR_SEPARATOR (na[-1]))
1785         break;
1786       na--;
1787     }
1788
1789 #ifdef ASM_OUTPUT_MAIN_SOURCE_FILENAME
1790   ASM_OUTPUT_MAIN_SOURCE_FILENAME (asm_file, na);
1791 #else
1792 #ifdef ASM_OUTPUT_SOURCE_FILENAME
1793   ASM_OUTPUT_SOURCE_FILENAME (asm_file, na);
1794 #else
1795   fprintf (asm_file, "\t.file\t");
1796   output_quoted_string (asm_file, na);
1797   fputc ('\n', asm_file);
1798 #endif
1799 #endif
1800 }
1801 \f
1802 /* Routine to open a dump file.  Return true if the dump file is enabled.  */
1803
1804 static int
1805 open_dump_file (index, decl)
1806      enum dump_file_index index;
1807      tree decl;
1808 {
1809   char *dump_name;
1810   const char *open_arg;
1811   char seq[16];
1812
1813   if (! dump_file[index].enabled)
1814     return 0;
1815
1816   timevar_push (TV_DUMP);
1817   if (rtl_dump_file != NULL)
1818     fclose (rtl_dump_file);
1819
1820   sprintf (seq, DUMPFILE_FORMAT, index);
1821
1822   if (! dump_file[index].initialized)
1823     {
1824       /* If we've not initialized the files, do so now.  */
1825       if (graph_dump_format != no_graph
1826           && dump_file[index].graph_dump_p)
1827         {
1828           dump_name = concat (seq, dump_file[index].extension, NULL);
1829           clean_graph_dump_file (dump_base_name, dump_name);
1830           free (dump_name);
1831         }
1832       dump_file[index].initialized = 1;
1833       open_arg = "w";
1834     }
1835   else
1836     open_arg = "a";
1837
1838   dump_name = concat (dump_base_name, seq,
1839                       dump_file[index].extension, NULL);
1840
1841   rtl_dump_file = fopen (dump_name, open_arg);
1842   if (rtl_dump_file == NULL)
1843     fatal_io_error ("can't open %s", dump_name);
1844
1845   free (dump_name);
1846
1847   if (decl)
1848     fprintf (rtl_dump_file, "\n;; Function %s%s\n\n",
1849              (*lang_hooks.decl_printable_name) (decl, 2),
1850              cfun->function_frequency == FUNCTION_FREQUENCY_HOT
1851              ? " (hot)"
1852              : cfun->function_frequency == FUNCTION_FREQUENCY_UNLIKELY_EXECUTED
1853              ? " (unlikely executed)"
1854              : "");
1855
1856   timevar_pop (TV_DUMP);
1857   return 1;
1858 }
1859
1860 /* Routine to close a dump file.  */
1861
1862 static void
1863 close_dump_file (index, func, insns)
1864      enum dump_file_index index;
1865      void (*func) PARAMS ((FILE *, rtx));
1866      rtx insns;
1867 {
1868   if (! rtl_dump_file)
1869     return;
1870
1871   timevar_push (TV_DUMP);
1872   if (insns
1873       && graph_dump_format != no_graph
1874       && dump_file[index].graph_dump_p)
1875     {
1876       char seq[16];
1877       char *suffix;
1878
1879       sprintf (seq, DUMPFILE_FORMAT, index);
1880       suffix = concat (seq, dump_file[index].extension, NULL);
1881       print_rtl_graph_with_bb (dump_base_name, suffix, insns);
1882       free (suffix);
1883     }
1884
1885   if (func && insns)
1886     func (rtl_dump_file, insns);
1887
1888   fflush (rtl_dump_file);
1889   fclose (rtl_dump_file);
1890
1891   rtl_dump_file = NULL;
1892   timevar_pop (TV_DUMP);
1893 }
1894
1895 /* Do any final processing required for the declarations in VEC, of
1896    which there are LEN.  We write out inline functions and variables
1897    that have been deferred until this point, but which are required.
1898    Returns nonzero if anything was put out.  */
1899
1900 int
1901 wrapup_global_declarations (vec, len)
1902      tree *vec;
1903      int len;
1904 {
1905   tree decl;
1906   int i;
1907   int reconsider;
1908   int output_something = 0;
1909
1910   for (i = 0; i < len; i++)
1911     {
1912       decl = vec[i];
1913
1914       /* We're not deferring this any longer.  Assignment is
1915          conditional to avoid needlessly dirtying PCH pages. */
1916       if (DECL_DEFER_OUTPUT (decl) != 0)
1917         DECL_DEFER_OUTPUT (decl) = 0;
1918
1919       if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
1920         (*lang_hooks.finish_incomplete_decl) (decl);
1921     }
1922
1923   /* Now emit any global variables or functions that we have been
1924      putting off.  We need to loop in case one of the things emitted
1925      here references another one which comes earlier in the list.  */
1926   do
1927     {
1928       reconsider = 0;
1929       for (i = 0; i < len; i++)
1930         {
1931           decl = vec[i];
1932
1933           if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl))
1934             continue;
1935
1936           /* Don't write out static consts, unless we still need them.
1937
1938              We also keep static consts if not optimizing (for debugging),
1939              unless the user specified -fno-keep-static-consts.
1940              ??? They might be better written into the debug information.
1941              This is possible when using DWARF.
1942
1943              A language processor that wants static constants to be always
1944              written out (even if it is not used) is responsible for
1945              calling rest_of_decl_compilation itself.  E.g. the C front-end
1946              calls rest_of_decl_compilation from finish_decl.
1947              One motivation for this is that is conventional in some
1948              environments to write things like:
1949              static const char rcsid[] = "... version string ...";
1950              intending to force the string to be in the executable.
1951
1952              A language processor that would prefer to have unneeded
1953              static constants "optimized away" would just defer writing
1954              them out until here.  E.g. C++ does this, because static
1955              constants are often defined in header files.
1956
1957              ??? A tempting alternative (for both C and C++) would be
1958              to force a constant to be written if and only if it is
1959              defined in a main file, as opposed to an include file.  */
1960
1961           if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
1962             {
1963               bool needed = 1;
1964
1965               if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
1966                 /* needed */;
1967               else if (DECL_COMDAT (decl))
1968                 needed = 0;
1969               else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
1970                        && (optimize || !flag_keep_static_consts
1971                            || DECL_ARTIFICIAL (decl)))
1972                 needed = 0;
1973
1974               if (needed)
1975                 {
1976                   reconsider = 1;
1977                   rest_of_decl_compilation (decl, NULL, 1, 1);
1978                 }
1979             }
1980
1981           if (TREE_CODE (decl) == FUNCTION_DECL
1982               && DECL_INITIAL (decl) != 0
1983               && DECL_SAVED_INSNS (decl) != 0
1984               && (flag_keep_inline_functions
1985                   || (TREE_PUBLIC (decl) && !DECL_COMDAT (decl))
1986                   || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
1987             {
1988               reconsider = 1;
1989               output_inline_function (decl);
1990             }
1991         }
1992
1993       if (reconsider)
1994         output_something = 1;
1995     }
1996   while (reconsider);
1997
1998   return output_something;
1999 }
2000
2001 /* Issue appropriate warnings for the global declarations in VEC (of
2002    which there are LEN).  Output debugging information for them.  */
2003
2004 void
2005 check_global_declarations (vec, len)
2006      tree *vec;
2007      int len;
2008 {
2009   tree decl;
2010   int i;
2011
2012   for (i = 0; i < len; i++)
2013     {
2014       decl = vec[i];
2015
2016       if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl)
2017           && ! TREE_ASM_WRITTEN (decl))
2018         /* Cancel the RTL for this decl so that, if debugging info
2019            output for global variables is still to come,
2020            this one will be omitted.  */
2021         SET_DECL_RTL (decl, NULL_RTX);
2022
2023       /* Warn about any function
2024          declared static but not defined.
2025          We don't warn about variables,
2026          because many programs have static variables
2027          that exist only to get some text into the object file.  */
2028       if (TREE_CODE (decl) == FUNCTION_DECL
2029           && (warn_unused_function
2030               || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
2031           && DECL_INITIAL (decl) == 0
2032           && DECL_EXTERNAL (decl)
2033           && ! DECL_ARTIFICIAL (decl)
2034           && ! TREE_PUBLIC (decl))
2035         {
2036           if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
2037             pedwarn_with_decl (decl,
2038                                "`%s' used but never defined");
2039           else
2040             warning_with_decl (decl,
2041                                "`%s' declared `static' but never defined");
2042           /* This symbol is effectively an "extern" declaration now.  */
2043           TREE_PUBLIC (decl) = 1;
2044           assemble_external (decl);
2045         }
2046
2047       /* Warn about static fns or vars defined but not used.  */
2048       if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
2049            /* We don't warn about "static const" variables because the
2050               "rcs_id" idiom uses that construction.  */
2051            || (warn_unused_variable
2052                && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
2053           && ! DECL_IN_SYSTEM_HEADER (decl)
2054           && ! TREE_USED (decl)
2055           /* The TREE_USED bit for file-scope decls is kept in the identifier,
2056              to handle multiple external decls in different scopes.  */
2057           && ! TREE_USED (DECL_NAME (decl))
2058           && ! DECL_EXTERNAL (decl)
2059           && ! TREE_PUBLIC (decl)
2060           /* Global register variables must be declared to reserve them.  */
2061           && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
2062           /* Otherwise, ask the language.  */
2063           && (*lang_hooks.decls.warn_unused_global) (decl))
2064         warning_with_decl (decl, "`%s' defined but not used");
2065
2066       /* Avoid confusing the debug information machinery when there are
2067          errors.  */
2068       if (errorcount == 0 && sorrycount == 0)
2069         {
2070           timevar_push (TV_SYMOUT);
2071           (*debug_hooks->global_decl) (decl);
2072           timevar_pop (TV_SYMOUT);
2073         }
2074     }
2075 }
2076
2077 /* Save the current INPUT_FILENAME and LINENO on the top entry in the
2078    INPUT_FILE_STACK.  Push a new entry for FILE and LINE, and set the
2079    INPUT_FILENAME and LINENO accordingly.  */
2080
2081 void
2082 push_srcloc (file, line)
2083      const char *file;
2084      int line;
2085 {
2086   struct file_stack *fs;
2087
2088   if (input_file_stack)
2089     {
2090       input_file_stack->name = input_filename;
2091       input_file_stack->line = lineno;
2092     }
2093
2094   fs = (struct file_stack *) xmalloc (sizeof (struct file_stack));
2095   fs->name = input_filename = file;
2096   fs->line = lineno = line;
2097   fs->next = input_file_stack;
2098   input_file_stack = fs;
2099   input_file_stack_tick++;
2100 }
2101
2102 /* Pop the top entry off the stack of presently open source files.
2103    Restore the INPUT_FILENAME and LINENO from the new topmost entry on
2104    the stack.  */
2105
2106 void
2107 pop_srcloc ()
2108 {
2109   struct file_stack *fs;
2110
2111   fs = input_file_stack;
2112   input_file_stack = fs->next;
2113   free (fs);
2114   input_file_stack_tick++;
2115   /* The initial source file is never popped.  */
2116   if (!input_file_stack)
2117     abort ();
2118   input_filename = input_file_stack->name;
2119   lineno = input_file_stack->line;
2120 }
2121
2122 /* Compile an entire translation unit.  Write a file of assembly
2123    output and various debugging dumps.  */
2124
2125 static void
2126 compile_file ()
2127 {
2128   /* Initialize yet another pass.  */
2129
2130   init_final (main_input_filename);
2131   init_branch_prob (aux_base_name);
2132
2133   timevar_push (TV_PARSE);
2134
2135   /* Call the parser, which parses the entire file (calling
2136      rest_of_compilation for each function).  */
2137   (*lang_hooks.parse_file) (set_yydebug);
2138
2139   /* In case there were missing block closers,
2140      get us back to the global binding level.  */
2141   (*lang_hooks.clear_binding_stack) ();
2142
2143   /* Compilation is now finished except for writing
2144      what's left of the symbol table output.  */
2145   timevar_pop (TV_PARSE);
2146
2147   if (flag_syntax_only)
2148     return;
2149
2150   (*lang_hooks.decls.final_write_globals)();
2151
2152     /* This must occur after the loop to output deferred functions.  Else
2153        the profiler initializer would not be emitted if all the functions
2154        in this compilation unit were deferred.
2155
2156        output_func_start_profiler can not cause any additional functions or
2157        data to need to be output, so it need not be in the deferred function
2158        loop above.  */
2159     output_func_start_profiler ();
2160
2161   /* Write out any pending weak symbol declarations.  */
2162
2163   weak_finish ();
2164
2165   /* Do dbx symbols.  */
2166   timevar_push (TV_SYMOUT);
2167
2168 #ifdef DWARF2_UNWIND_INFO
2169   if (dwarf2out_do_frame ())
2170     dwarf2out_frame_finish ();
2171 #endif
2172
2173   (*debug_hooks->finish) (main_input_filename);
2174   timevar_pop (TV_SYMOUT);
2175
2176   /* Output some stuff at end of file if nec.  */
2177
2178   dw2_output_indirect_constants ();
2179
2180   end_final (aux_base_name);
2181
2182   if (profile_arc_flag || flag_test_coverage || flag_branch_probabilities)
2183     {
2184       timevar_push (TV_DUMP);
2185       open_dump_file (DFI_bp, NULL);
2186
2187       end_branch_prob ();
2188
2189       close_dump_file (DFI_bp, NULL, NULL_RTX);
2190       timevar_pop (TV_DUMP);
2191     }
2192
2193 #ifdef ASM_FILE_END
2194   ASM_FILE_END (asm_out_file);
2195 #endif
2196
2197   /* Attach a special .ident directive to the end of the file to identify
2198      the version of GCC which compiled this code.  The format of the .ident
2199      string is patterned after the ones produced by native SVR4 compilers.  */
2200 #ifdef IDENT_ASM_OP
2201   if (!flag_no_ident)
2202     fprintf (asm_out_file, "%s\"GCC: (GNU) %s\"\n",
2203              IDENT_ASM_OP, version_string);
2204 #endif
2205
2206   if (optimize > 0 && open_dump_file (DFI_combine, NULL))
2207     {
2208       timevar_push (TV_DUMP);
2209       dump_combine_total_stats (rtl_dump_file);
2210       close_dump_file (DFI_combine, NULL, NULL_RTX);
2211       timevar_pop (TV_DUMP);
2212     }
2213 }
2214 \f
2215 /* This is called from various places for FUNCTION_DECL, VAR_DECL,
2216    and TYPE_DECL nodes.
2217
2218    This does nothing for local (non-static) variables, unless the
2219    variable is a register variable with an ASMSPEC.  In that case, or
2220    if the variable is not an automatic, it sets up the RTL and
2221    outputs any assembler code (label definition, storage allocation
2222    and initialization).
2223
2224    DECL is the declaration.  If ASMSPEC is nonzero, it specifies
2225    the assembler symbol name to be used.  TOP_LEVEL is nonzero
2226    if this declaration is not within a function.  */
2227
2228 void
2229 rest_of_decl_compilation (decl, asmspec, top_level, at_end)
2230      tree decl;
2231      const char *asmspec;
2232      int top_level;
2233      int at_end;
2234 {
2235   /* Declarations of variables, and of functions defined elsewhere.  */
2236
2237 /* The most obvious approach, to put an #ifndef around where
2238    this macro is used, doesn't work since it's inside a macro call.  */
2239 #ifndef ASM_FINISH_DECLARE_OBJECT
2240 #define ASM_FINISH_DECLARE_OBJECT(FILE, DECL, TOP, END)
2241 #endif
2242
2243   /* We deferred calling assemble_alias so that we could collect
2244      other attributes such as visibility.  Emit the alias now.  */
2245   {
2246     tree alias;
2247     alias = lookup_attribute ("alias", DECL_ATTRIBUTES (decl));
2248     if (alias)
2249       {
2250         alias = TREE_VALUE (TREE_VALUE (alias));
2251         alias = get_identifier (TREE_STRING_POINTER (alias));
2252         assemble_alias (decl, alias);
2253       }
2254   }
2255
2256   /* Forward declarations for nested functions are not "external",
2257      but we need to treat them as if they were.  */
2258   if (TREE_STATIC (decl) || DECL_EXTERNAL (decl)
2259       || TREE_CODE (decl) == FUNCTION_DECL)
2260     {
2261       timevar_push (TV_VARCONST);
2262
2263       if (asmspec)
2264         make_decl_rtl (decl, asmspec);
2265
2266       /* Don't output anything when a tentative file-scope definition
2267          is seen.  But at end of compilation, do output code for them.  */
2268       if (at_end || !DECL_DEFER_OUTPUT (decl))
2269         assemble_variable (decl, top_level, at_end, 0);
2270       if (decl == last_assemble_variable_decl)
2271         {
2272           ASM_FINISH_DECLARE_OBJECT (asm_out_file, decl,
2273                                      top_level, at_end);
2274         }
2275
2276       timevar_pop (TV_VARCONST);
2277     }
2278   else if (DECL_REGISTER (decl) && asmspec != 0)
2279     {
2280       if (decode_reg_name (asmspec) >= 0)
2281         {
2282           SET_DECL_RTL (decl, NULL_RTX);
2283           make_decl_rtl (decl, asmspec);
2284         }
2285       else
2286         {
2287           error ("invalid register name `%s' for register variable", asmspec);
2288           DECL_REGISTER (decl) = 0;
2289           if (!top_level)
2290             expand_decl (decl);
2291         }
2292     }
2293 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
2294   else if ((write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG)
2295            && TREE_CODE (decl) == TYPE_DECL)
2296     {
2297       timevar_push (TV_SYMOUT);
2298       dbxout_symbol (decl, 0);
2299       timevar_pop (TV_SYMOUT);
2300     }
2301 #endif
2302 #ifdef SDB_DEBUGGING_INFO
2303   else if (write_symbols == SDB_DEBUG && top_level
2304            && TREE_CODE (decl) == TYPE_DECL)
2305     {
2306       timevar_push (TV_SYMOUT);
2307       sdbout_symbol (decl, 0);
2308       timevar_pop (TV_SYMOUT);
2309     }
2310 #endif
2311 #ifdef DWARF2_DEBUGGING_INFO
2312   else if ((write_symbols == DWARF2_DEBUG
2313            || write_symbols == VMS_AND_DWARF2_DEBUG)
2314            && top_level
2315            && TREE_CODE (decl) == TYPE_DECL)
2316     {
2317       timevar_push (TV_SYMOUT);
2318       dwarf2out_decl (decl);
2319       timevar_pop (TV_SYMOUT);
2320     }
2321 #endif
2322 }
2323
2324 /* Called after finishing a record, union or enumeral type.  */
2325
2326 void
2327 rest_of_type_compilation (type, toplev)
2328 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO) || defined (SDB_DEBUGGING_INFO)
2329      tree type;
2330      int toplev;
2331 #else
2332      tree type ATTRIBUTE_UNUSED;
2333      int toplev ATTRIBUTE_UNUSED;
2334 #endif
2335 {
2336   /* Avoid confusing the debug information machinery when there are
2337      errors.  */
2338   if (errorcount != 0 || sorrycount != 0)
2339     return;
2340
2341   timevar_push (TV_SYMOUT);
2342 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
2343   if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG)
2344     dbxout_symbol (TYPE_STUB_DECL (type), !toplev);
2345 #endif
2346 #ifdef SDB_DEBUGGING_INFO
2347   if (write_symbols == SDB_DEBUG)
2348     sdbout_symbol (TYPE_STUB_DECL (type), !toplev);
2349 #endif
2350 #ifdef DWARF2_DEBUGGING_INFO
2351   if ((write_symbols == DWARF2_DEBUG
2352        || write_symbols == VMS_AND_DWARF2_DEBUG)
2353       && toplev)
2354     dwarf2out_decl (TYPE_STUB_DECL (type));
2355 #endif
2356   timevar_pop (TV_SYMOUT);
2357 }
2358
2359 /* This is called from finish_function (within langhooks.parse_file)
2360    after each top-level definition is parsed.
2361    It is supposed to compile that function or variable
2362    and output the assembler code for it.
2363    After we return, the tree storage is freed.  */
2364
2365 void
2366 rest_of_compilation (decl)
2367      tree decl;
2368 {
2369   rtx insns;
2370   int tem;
2371   int failure = 0;
2372   int rebuild_label_notes_after_reload;
2373   int register_life_up_to_date;
2374
2375   timevar_push (TV_REST_OF_COMPILATION);
2376
2377   /* Now that we're out of the frontend, we shouldn't have any more
2378      CONCATs anywhere.  */
2379   generating_concat_p = 0;
2380
2381   /* When processing delayed functions, prepare_function_start() won't
2382      have been run to re-initialize it.  */
2383   cse_not_expected = ! optimize;
2384
2385   /* First, make sure that NOTE_BLOCK is set correctly for each
2386      NOTE_INSN_BLOCK_BEG/NOTE_INSN_BLOCK_END note.  */
2387   if (!cfun->x_whole_function_mode_p)
2388     identify_blocks ();
2389
2390   /* In function-at-a-time mode, we do not attempt to keep the BLOCK
2391      tree in sensible shape.  So, we just recalculate it here.  */
2392   if (cfun->x_whole_function_mode_p)
2393     reorder_blocks ();
2394
2395   init_flow ();
2396
2397   /* If we are reconsidering an inline function
2398      at the end of compilation, skip the stuff for making it inline.  */
2399
2400   if (DECL_SAVED_INSNS (decl) == 0)
2401     {
2402       int inlinable = 0;
2403       tree parent;
2404       const char *lose;
2405
2406       /* If this is nested inside an inlined external function, pretend
2407          it was only declared.  Since we cannot inline such functions,
2408          generating code for this one is not only not necessary but will
2409          confuse some debugging output writers.  */
2410       for (parent = DECL_CONTEXT (current_function_decl);
2411            parent != NULL_TREE;
2412            parent = get_containing_scope (parent))
2413         if (TREE_CODE (parent) == FUNCTION_DECL
2414             && DECL_INLINE (parent) && DECL_EXTERNAL (parent))
2415           {
2416             DECL_INITIAL (decl) = 0;
2417             goto exit_rest_of_compilation;
2418           }
2419         else if (TYPE_P (parent))
2420           /* A function in a local class should be treated normally.  */
2421           break;
2422
2423       /* If requested, consider whether to make this function inline.  */
2424       if ((DECL_INLINE (decl) && !flag_no_inline)
2425           || flag_inline_functions)
2426         {
2427           timevar_push (TV_INTEGRATION);
2428           lose = function_cannot_inline_p (decl);
2429           timevar_pop (TV_INTEGRATION);
2430           if (lose || ! optimize)
2431             {
2432               if (warn_inline && DECL_INLINE (decl))
2433                 warning_with_decl (decl, lose);
2434               DECL_ABSTRACT_ORIGIN (decl) = 0;
2435               /* Don't really compile an extern inline function.
2436                  If we can't make it inline, pretend
2437                  it was only declared.  */
2438               if (DECL_EXTERNAL (decl))
2439                 {
2440                   DECL_INITIAL (decl) = 0;
2441                   goto exit_rest_of_compilation;
2442                 }
2443             }
2444           else 
2445             {
2446               /* ??? Note that we used to just make it look like if
2447                  the "inline" keyword was specified when we decide
2448                  to inline it (because of -finline-functions).
2449                  garloff at suse dot de, 2002-04-24: Add another flag to
2450                  actually record this piece of information.  */
2451               if (!DECL_INLINE (decl))
2452                 DID_INLINE_FUNC (decl) = 1;
2453               inlinable = DECL_INLINE (decl) = 1;
2454             }
2455         }
2456
2457       insns = get_insns ();
2458
2459       /* Dump the rtl code if we are dumping rtl.  */
2460
2461       if (open_dump_file (DFI_rtl, decl))
2462         {
2463           if (DECL_SAVED_INSNS (decl))
2464             fprintf (rtl_dump_file, ";; (integrable)\n\n");
2465           close_dump_file (DFI_rtl, print_rtl, insns);
2466         }
2467
2468       /* Convert from NOTE_INSN_EH_REGION style notes, and do other
2469          sorts of eh initialization.  Delay this until after the
2470          initial rtl dump so that we can see the original nesting.  */
2471       convert_from_eh_region_ranges ();
2472
2473       /* If function is inline, and we don't yet know whether to
2474          compile it by itself, defer decision till end of compilation.
2475          wrapup_global_declarations will (indirectly) call
2476          rest_of_compilation again for those functions that need to
2477          be output.  Also defer those functions that we are supposed
2478          to defer.  */
2479
2480       if (inlinable
2481           || (DECL_INLINE (decl)
2482               && ((! TREE_PUBLIC (decl) && ! TREE_ADDRESSABLE (decl)
2483                    && ! TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))
2484                    && ! flag_keep_inline_functions)
2485                   || DECL_EXTERNAL (decl))))
2486         DECL_DEFER_OUTPUT (decl) = 1;
2487
2488       if (DECL_INLINE (decl))
2489         /* DWARF wants separate debugging info for abstract and
2490            concrete instances of all inline functions, including those
2491            declared inline but not inlined, and those inlined even
2492            though they weren't declared inline.  Conveniently, that's
2493            what DECL_INLINE means at this point.  */
2494         (*debug_hooks->deferred_inline_function) (decl);
2495
2496       if (DECL_DEFER_OUTPUT (decl))
2497         {
2498           /* If -Wreturn-type, we have to do a bit of compilation.  We just
2499              want to call cleanup the cfg to figure out whether or not we can
2500              fall off the end of the function; we do the minimum amount of
2501              work necessary to make that safe.  */
2502           if (warn_return_type)
2503             {
2504               int saved_optimize = optimize;
2505
2506               optimize = 0;
2507               rebuild_jump_labels (insns);
2508               find_exception_handler_labels ();
2509               find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2510               cleanup_cfg (CLEANUP_PRE_SIBCALL | CLEANUP_PRE_LOOP);
2511               optimize = saved_optimize;
2512
2513               /* CFG is no longer maintained up-to-date.  */
2514               free_bb_for_insn ();
2515             }
2516
2517           set_nothrow_function_flags ();
2518           if (current_function_nothrow)
2519             /* Now we know that this can't throw; set the flag for the benefit
2520                of other functions later in this translation unit.  */
2521             TREE_NOTHROW (current_function_decl) = 1;
2522
2523           timevar_push (TV_INTEGRATION);
2524           save_for_inline (decl);
2525           timevar_pop (TV_INTEGRATION);
2526           DECL_SAVED_INSNS (decl)->inlinable = inlinable;
2527           goto exit_rest_of_compilation;
2528         }
2529
2530       /* If specified extern inline but we aren't inlining it, we are
2531          done.  This goes for anything that gets here with DECL_EXTERNAL
2532          set, not just things with DECL_INLINE.  */
2533       if (DECL_EXTERNAL (decl))
2534         goto exit_rest_of_compilation;
2535     }
2536
2537   /* If we're emitting a nested function, make sure its parent gets
2538      emitted as well.  Doing otherwise confuses debug info.  */
2539   {
2540     tree parent;
2541     for (parent = DECL_CONTEXT (current_function_decl);
2542          parent != NULL_TREE;
2543          parent = get_containing_scope (parent))
2544       if (TREE_CODE (parent) == FUNCTION_DECL)
2545         TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (parent)) = 1;
2546   }
2547
2548   /* We are now committed to emitting code for this function.  Do any
2549      preparation, such as emitting abstract debug info for the inline
2550      before it gets mangled by optimization.  */
2551   if (DECL_INLINE (decl))
2552     (*debug_hooks->outlining_inline_function) (decl);
2553
2554   /* Remove any notes we don't need.  That will make iterating
2555      over the instruction sequence faster, and allow the garbage
2556      collector to reclaim the memory used by the notes.  */
2557   remove_unnecessary_notes ();
2558   reorder_blocks ();
2559
2560   ggc_collect ();
2561
2562   /* Initialize some variables used by the optimizers.  */
2563   init_function_for_compilation ();
2564
2565   if (! DECL_DEFER_OUTPUT (decl))
2566     TREE_ASM_WRITTEN (decl) = 1;
2567
2568   /* Now that integrate will no longer see our rtl, we need not
2569      distinguish between the return value of this function and the
2570      return value of called functions.  Also, we can remove all SETs
2571      of subregs of hard registers; they are only here because of
2572      integrate.  Also, we can now initialize pseudos intended to
2573      carry magic hard reg data throughout the function.  */
2574   rtx_equal_function_value_matters = 0;
2575   purge_hard_subreg_sets (get_insns ());
2576
2577   /* Early return if there were errors.  We can run afoul of our
2578      consistency checks, and there's not really much point in fixing them.
2579      Don't return yet if -Wreturn-type; we need to do cleanup_cfg.  */
2580   if (((rtl_dump_and_exit || flag_syntax_only) && !warn_return_type)
2581       || errorcount || sorrycount)
2582     goto exit_rest_of_compilation;
2583
2584   timevar_push (TV_JUMP);
2585   open_dump_file (DFI_sibling, decl);
2586   insns = get_insns ();
2587   rebuild_jump_labels (insns);
2588   find_exception_handler_labels ();
2589   find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2590
2591   delete_unreachable_blocks ();
2592
2593   /* We have to issue these warnings now already, because CFG cleanups
2594      further down may destroy the required information.  */
2595   check_function_return_warnings ();
2596
2597   /* Turn NOTE_INSN_PREDICTIONs into branch predictions.  */
2598   if (flag_guess_branch_prob)
2599     {
2600       timevar_push (TV_BRANCH_PROB);
2601       note_prediction_to_br_prob ();
2602       timevar_pop (TV_BRANCH_PROB);
2603     }
2604
2605   /* We may have potential sibling or tail recursion sites.  Select one
2606      (of possibly multiple) methods of performing the call.  */
2607   if (flag_optimize_sibling_calls)
2608     {
2609       rtx insn;
2610       optimize_sibling_and_tail_recursive_calls ();
2611
2612       /* Recompute the CFG as sibling optimization clobbers it randomly.  */
2613       free_bb_for_insn ();
2614       find_exception_handler_labels ();
2615       rebuild_jump_labels (insns);
2616       find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2617
2618       /* There is pass ordering problem - we must lower NOTE_INSN_PREDICTION
2619          notes before simplifying cfg and we must do lowering after sibcall
2620          that unhides parts of RTL chain and cleans up the CFG.
2621
2622          Until sibcall is replaced by tree-level optimizer, lets just
2623          sweep away the NOTE_INSN_PREDICTION notes that leaked out.  */
2624       for (insn = get_insns (); insn; insn = NEXT_INSN (insn))
2625         if (GET_CODE (insn) == NOTE
2626             && NOTE_LINE_NUMBER (insn) == NOTE_INSN_PREDICTION)
2627           delete_insn (insn);
2628     }
2629   close_dump_file (DFI_sibling, print_rtl, get_insns ());
2630   timevar_pop (TV_JUMP);
2631
2632   scope_to_insns_initialize ();
2633   /* Complete generation of exception handling code.  */
2634   if (doing_eh (0))
2635     {
2636       timevar_push (TV_JUMP);
2637       open_dump_file (DFI_eh, decl);
2638
2639       finish_eh_generation ();
2640
2641       close_dump_file (DFI_eh, print_rtl, get_insns ());
2642       timevar_pop (TV_JUMP);
2643     }
2644
2645   /* Delay emitting hard_reg_initial_value sets until after EH landing pad
2646      generation, which might create new sets.  */
2647   emit_initial_value_sets ();
2648
2649 #ifdef FINALIZE_PIC
2650   /* If we are doing position-independent code generation, now
2651      is the time to output special prologues and epilogues.
2652      We do not want to do this earlier, because it just clutters
2653      up inline functions with meaningless insns.  */
2654   if (flag_pic)
2655     FINALIZE_PIC;
2656 #endif
2657
2658   insns = get_insns ();
2659
2660   /* Copy any shared structure that should not be shared.  */
2661   unshare_all_rtl (current_function_decl, insns);
2662
2663 #ifdef SETJMP_VIA_SAVE_AREA
2664   /* This must be performed before virtual register instantiation.
2665      Please be aware the everything in the compiler that can look
2666      at the RTL up to this point must understand that REG_SAVE_AREA
2667      is just like a use of the REG contained inside.  */
2668   if (current_function_calls_alloca)
2669     optimize_save_area_alloca (insns);
2670 #endif
2671
2672   /* Instantiate all virtual registers.  */
2673   instantiate_virtual_regs (current_function_decl, insns);
2674
2675   open_dump_file (DFI_jump, decl);
2676
2677   /* Always do one jump optimization pass to ensure that JUMP_LABEL fields
2678      are initialized and to compute whether control can drop off the end
2679      of the function.  */
2680
2681   timevar_push (TV_JUMP);
2682   /* Turn NOTE_INSN_EXPECTED_VALUE into REG_BR_PROB.  Do this
2683      before jump optimization switches branch directions.  */
2684   if (flag_guess_branch_prob)
2685     expected_value_to_br_prob ();
2686
2687   reg_scan (insns, max_reg_num (), 0);
2688   rebuild_jump_labels (insns);
2689   find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2690   delete_trivially_dead_insns (insns, max_reg_num ());
2691   if (rtl_dump_file)
2692     dump_flow_info (rtl_dump_file);
2693   cleanup_cfg ((optimize ? CLEANUP_EXPENSIVE : 0) | CLEANUP_PRE_LOOP
2694                | (flag_thread_jumps ? CLEANUP_THREADING : 0));
2695
2696   /* CFG is no longer maintained up-to-date.  */
2697   if (optimize)
2698     {
2699       free_bb_for_insn ();
2700       copy_loop_headers (insns);
2701       find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2702     }
2703   purge_line_number_notes (insns);
2704
2705   timevar_pop (TV_JUMP);
2706   close_dump_file (DFI_jump, print_rtl, insns);
2707
2708   /* Now is when we stop if -fsyntax-only and -Wreturn-type.  */
2709   if (rtl_dump_and_exit || flag_syntax_only || DECL_DEFER_OUTPUT (decl))
2710     {
2711       goto exit_rest_of_compilation;
2712     }
2713
2714   /* Long term, this should probably move before the jump optimizer too,
2715      but I didn't want to disturb the rtl_dump_and_exit and related
2716      stuff at this time.  */
2717   if (optimize > 0 && flag_ssa)
2718     {
2719       /* Convert to SSA form.  */
2720
2721       timevar_push (TV_TO_SSA);
2722       open_dump_file (DFI_ssa, decl);
2723
2724       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2725       convert_to_ssa ();
2726
2727       close_dump_file (DFI_ssa, print_rtl_with_bb, insns);
2728       timevar_pop (TV_TO_SSA);
2729
2730       /* Perform sparse conditional constant propagation, if requested.  */
2731       if (flag_ssa_ccp)
2732         {
2733           timevar_push (TV_SSA_CCP);
2734           open_dump_file (DFI_ssa_ccp, decl);
2735
2736           ssa_const_prop ();
2737
2738           close_dump_file (DFI_ssa_ccp, print_rtl_with_bb, get_insns ());
2739           timevar_pop (TV_SSA_CCP);
2740         }
2741
2742       /* It would be useful to cleanup the CFG at this point, but block
2743          merging and possibly other transformations might leave a PHI
2744          node in the middle of a basic block, which is a strict no-no.  */
2745
2746       /* The SSA implementation uses basic block numbers in its phi
2747          nodes.  Thus, changing the control-flow graph or the basic
2748          blocks, e.g., calling find_basic_blocks () or cleanup_cfg (),
2749          may cause problems.  */
2750
2751       if (flag_ssa_dce)
2752         {
2753           /* Remove dead code.  */
2754
2755           timevar_push (TV_SSA_DCE);
2756           open_dump_file (DFI_ssa_dce, decl);
2757
2758           insns = get_insns ();
2759           ssa_eliminate_dead_code ();
2760
2761           close_dump_file (DFI_ssa_dce, print_rtl_with_bb, insns);
2762           timevar_pop (TV_SSA_DCE);
2763         }
2764
2765       /* Convert from SSA form.  */
2766
2767       timevar_push (TV_FROM_SSA);
2768       open_dump_file (DFI_ussa, decl);
2769
2770       convert_from_ssa ();
2771       /* New registers have been created.  Rescan their usage.  */
2772       reg_scan (insns, max_reg_num (), 1);
2773
2774       close_dump_file (DFI_ussa, print_rtl_with_bb, insns);
2775       timevar_pop (TV_FROM_SSA);
2776
2777       ggc_collect ();
2778     }
2779
2780   timevar_push (TV_JUMP);
2781   if (optimize)
2782     cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2783
2784   /* Try to identify useless null pointer tests and delete them.  */
2785   if (flag_delete_null_pointer_checks)
2786     {
2787       open_dump_file (DFI_null, decl);
2788       if (rtl_dump_file)
2789         dump_flow_info (rtl_dump_file);
2790
2791       if (delete_null_pointer_checks (insns))
2792         cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2793
2794       close_dump_file (DFI_null, print_rtl_with_bb, insns);
2795     }
2796
2797   /* Jump optimization, and the removal of NULL pointer checks, may
2798      have reduced the number of instructions substantially.  CSE, and
2799      future passes, allocate arrays whose dimensions involve the
2800      maximum instruction UID, so if we can reduce the maximum UID
2801      we'll save big on memory.  */
2802   renumber_insns (rtl_dump_file);
2803   timevar_pop (TV_JUMP);
2804
2805   close_dump_file (DFI_jump, print_rtl_with_bb, insns);
2806
2807   ggc_collect ();
2808
2809   /* Perform common subexpression elimination.
2810      Nonzero value from `cse_main' means that jumps were simplified
2811      and some code may now be unreachable, so do
2812      jump optimization again.  */
2813
2814   if (optimize > 0)
2815     {
2816       open_dump_file (DFI_cse, decl);
2817       if (rtl_dump_file)
2818         dump_flow_info (rtl_dump_file);
2819       timevar_push (TV_CSE);
2820
2821       reg_scan (insns, max_reg_num (), 1);
2822
2823       tem = cse_main (insns, max_reg_num (), 0, rtl_dump_file);
2824       if (tem)
2825         rebuild_jump_labels (insns);
2826       if (purge_all_dead_edges (0))
2827         delete_unreachable_blocks ();
2828
2829       delete_trivially_dead_insns (insns, max_reg_num ());
2830
2831       /* If we are not running more CSE passes, then we are no longer
2832          expecting CSE to be run.  But always rerun it in a cheap mode.  */
2833       cse_not_expected = !flag_rerun_cse_after_loop && !flag_gcse;
2834
2835       if (tem || optimize > 1)
2836         cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2837       /* Try to identify useless null pointer tests and delete them.  */
2838       if (flag_delete_null_pointer_checks)
2839         {
2840           timevar_push (TV_JUMP);
2841
2842           if (delete_null_pointer_checks (insns))
2843             cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2844           timevar_pop (TV_JUMP);
2845         }
2846
2847       /* The second pass of jump optimization is likely to have
2848          removed a bunch more instructions.  */
2849       renumber_insns (rtl_dump_file);
2850
2851       timevar_pop (TV_CSE);
2852       close_dump_file (DFI_cse, print_rtl_with_bb, insns);
2853     }
2854
2855   open_dump_file (DFI_addressof, decl);
2856
2857   purge_addressof (insns);
2858   if (optimize && purge_all_dead_edges (0))
2859     delete_unreachable_blocks ();
2860   reg_scan (insns, max_reg_num (), 1);
2861
2862   close_dump_file (DFI_addressof, print_rtl, insns);
2863
2864   ggc_collect ();
2865
2866   /* Perform global cse.  */
2867
2868   if (optimize > 0 && flag_gcse)
2869     {
2870       int save_csb, save_cfj;
2871       int tem2 = 0;
2872
2873       timevar_push (TV_GCSE);
2874       open_dump_file (DFI_gcse, decl);
2875
2876       tem = gcse_main (insns, rtl_dump_file);
2877       rebuild_jump_labels (insns);
2878       delete_trivially_dead_insns (insns, max_reg_num ());
2879
2880       save_csb = flag_cse_skip_blocks;
2881       save_cfj = flag_cse_follow_jumps;
2882       flag_cse_skip_blocks = flag_cse_follow_jumps = 0;
2883
2884       /* If -fexpensive-optimizations, re-run CSE to clean up things done
2885          by gcse.  */
2886       if (flag_expensive_optimizations)
2887         {
2888           timevar_push (TV_CSE);
2889           reg_scan (insns, max_reg_num (), 1);
2890           tem2 = cse_main (insns, max_reg_num (), 0, rtl_dump_file);
2891           purge_all_dead_edges (0);
2892           delete_trivially_dead_insns (insns, max_reg_num ());
2893           timevar_pop (TV_CSE);
2894           cse_not_expected = !flag_rerun_cse_after_loop;
2895         }
2896
2897       /* If gcse or cse altered any jumps, rerun jump optimizations to clean
2898          things up.  Then possibly re-run CSE again.  */
2899       while (tem || tem2)
2900         {
2901           tem = tem2 = 0;
2902           timevar_push (TV_JUMP);
2903           rebuild_jump_labels (insns);
2904           cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2905           timevar_pop (TV_JUMP);
2906
2907           if (flag_expensive_optimizations)
2908             {
2909               timevar_push (TV_CSE);
2910               reg_scan (insns, max_reg_num (), 1);
2911               tem2 = cse_main (insns, max_reg_num (), 0, rtl_dump_file);
2912               purge_all_dead_edges (0);
2913               delete_trivially_dead_insns (insns, max_reg_num ());
2914               timevar_pop (TV_CSE);
2915             }
2916         }
2917
2918       close_dump_file (DFI_gcse, print_rtl_with_bb, insns);
2919       timevar_pop (TV_GCSE);
2920
2921       ggc_collect ();
2922       flag_cse_skip_blocks = save_csb;
2923       flag_cse_follow_jumps = save_cfj;
2924 #ifdef ENABLE_CHECKING
2925       verify_flow_info ();
2926 #endif
2927     }
2928
2929   /* Move constant computations out of loops.  */
2930
2931   if (optimize > 0 && flag_loop_optimize)
2932     {
2933       int do_unroll, do_prefetch;
2934
2935       timevar_push (TV_LOOP);
2936       delete_dead_jumptables ();
2937       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2938       open_dump_file (DFI_loop, decl);
2939       /* CFG is no longer maintained up-to-date.  */
2940       free_bb_for_insn ();
2941
2942       do_unroll = flag_unroll_loops ? LOOP_UNROLL : LOOP_AUTO_UNROLL;
2943       do_prefetch = flag_prefetch_loop_arrays ? LOOP_PREFETCH : 0;
2944       if (flag_rerun_loop_opt)
2945         {
2946           cleanup_barriers ();
2947
2948           /* We only want to perform unrolling once.  */
2949           loop_optimize (insns, rtl_dump_file, do_unroll);
2950           do_unroll = 0;
2951
2952           /* The first call to loop_optimize makes some instructions
2953              trivially dead.  We delete those instructions now in the
2954              hope that doing so will make the heuristics in loop work
2955              better and possibly speed up compilation.  */
2956           delete_trivially_dead_insns (insns, max_reg_num ());
2957
2958           /* The regscan pass is currently necessary as the alias
2959                   analysis code depends on this information.  */
2960           reg_scan (insns, max_reg_num (), 1);
2961         }
2962       cleanup_barriers ();
2963       loop_optimize (insns, rtl_dump_file, do_unroll | LOOP_BCT | do_prefetch);
2964
2965       /* Loop can create trivially dead instructions.  */
2966       delete_trivially_dead_insns (insns, max_reg_num ());
2967       close_dump_file (DFI_loop, print_rtl, insns);
2968       timevar_pop (TV_LOOP);
2969       find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2970
2971       ggc_collect ();
2972     }
2973
2974   /* Do control and data flow analysis; wrote some of the results to
2975      the dump file.  */
2976
2977   timevar_push (TV_FLOW);
2978   open_dump_file (DFI_cfg, decl);
2979   if (rtl_dump_file)
2980     dump_flow_info (rtl_dump_file);
2981   if (optimize)
2982     cleanup_cfg (CLEANUP_EXPENSIVE
2983                  | (flag_thread_jumps ? CLEANUP_THREADING : 0));
2984
2985   /* It may make more sense to mark constant functions after dead code is
2986      eliminated by life_analyzis, but we need to do it early, as -fprofile-arcs
2987      may insert code making function non-constant, but we still must consider
2988      it as constant, otherwise -fbranch-probabilities will not read data back.
2989
2990      life_analyzis rarely eliminates modification of external memory.
2991    */
2992   if (optimize)
2993     mark_constant_function ();
2994
2995   close_dump_file (DFI_cfg, print_rtl_with_bb, insns);
2996
2997   /* Do branch profiling and static profile estimation passes.  */
2998   if (optimize > 0 || cfun->arc_profile || flag_branch_probabilities)
2999     {
3000       struct loops loops;
3001
3002       timevar_push (TV_BRANCH_PROB);
3003       open_dump_file (DFI_bp, decl);
3004       if (cfun->arc_profile || flag_branch_probabilities)
3005         branch_prob ();
3006
3007       /* Discover and record the loop depth at the head of each basic
3008          block.  The loop infrastructure does the real job for us.  */
3009       flow_loops_find (&loops, LOOP_TREE);
3010
3011       if (rtl_dump_file)
3012         flow_loops_dump (&loops, rtl_dump_file, NULL, 0);
3013
3014       /* Estimate using heuristics if no profiling info is available.  */
3015       if (flag_guess_branch_prob)
3016         estimate_probability (&loops);
3017
3018       flow_loops_free (&loops);
3019       close_dump_file (DFI_bp, print_rtl_with_bb, insns);
3020       timevar_pop (TV_BRANCH_PROB);
3021     }
3022   if (optimize > 0)
3023     {
3024       open_dump_file (DFI_ce1, decl);
3025       if (flag_if_conversion)
3026         {
3027           timevar_push (TV_IFCVT);
3028           if (rtl_dump_file)
3029             dump_flow_info (rtl_dump_file);
3030           cleanup_cfg (CLEANUP_EXPENSIVE);
3031           reg_scan (insns, max_reg_num (), 0);
3032           if_convert (0);
3033           timevar_pop (TV_IFCVT);
3034         }
3035       timevar_push (TV_JUMP);
3036       cleanup_cfg (CLEANUP_EXPENSIVE);
3037       reg_scan (insns, max_reg_num (), 0);
3038       timevar_pop (TV_JUMP);
3039       close_dump_file (DFI_ce1, print_rtl_with_bb, get_insns ());
3040     }
3041   if (flag_tracer)
3042     {
3043       timevar_push (TV_TRACER);
3044       open_dump_file (DFI_tracer, decl);
3045       if (rtl_dump_file)
3046         dump_flow_info (rtl_dump_file);
3047       tracer ();
3048       cleanup_cfg (CLEANUP_EXPENSIVE);
3049       reg_scan (insns, max_reg_num (), 0);
3050       close_dump_file (DFI_tracer, print_rtl_with_bb, get_insns ());
3051       timevar_pop (TV_TRACER);
3052     }
3053
3054   if (flag_rerun_cse_after_loop)
3055     {
3056       timevar_push (TV_CSE2);
3057       open_dump_file (DFI_cse2, decl);
3058       if (rtl_dump_file)
3059         dump_flow_info (rtl_dump_file);
3060       /* CFG is no longer maintained up-to-date.  */
3061       tem = cse_main (insns, max_reg_num (), 1, rtl_dump_file);
3062       purge_all_dead_edges (0);
3063       delete_trivially_dead_insns (insns, max_reg_num ());
3064
3065       if (tem)
3066         {
3067           timevar_push (TV_JUMP);
3068           rebuild_jump_labels (insns);
3069           cleanup_cfg (CLEANUP_EXPENSIVE);
3070           timevar_pop (TV_JUMP);
3071         }
3072       reg_scan (insns, max_reg_num (), 0);
3073       close_dump_file (DFI_cse2, print_rtl_with_bb, insns);
3074       ggc_collect ();
3075       timevar_pop (TV_CSE2);
3076     }
3077
3078   cse_not_expected = 1;
3079
3080   open_dump_file (DFI_life, decl);
3081   regclass_init ();
3082
3083 #ifdef ENABLE_CHECKING
3084   verify_flow_info ();
3085 #endif
3086   life_analysis (insns, rtl_dump_file, PROP_FINAL);
3087   if (optimize)
3088     cleanup_cfg ((optimize ? CLEANUP_EXPENSIVE : 0) | CLEANUP_UPDATE_LIFE
3089                  | (flag_thread_jumps ? CLEANUP_THREADING : 0));
3090   timevar_pop (TV_FLOW);
3091
3092   if (warn_uninitialized || extra_warnings)
3093     {
3094       uninitialized_vars_warning (DECL_INITIAL (decl));
3095       if (extra_warnings)
3096         setjmp_args_warning ();
3097     }
3098
3099   if (optimize)
3100     {
3101       if (!flag_new_regalloc && initialize_uninitialized_subregs ())
3102         {
3103           /* Insns were inserted, and possibly pseudos created, so
3104              things might look a bit different.  */
3105           insns = get_insns ();
3106           allocate_reg_life_data ();
3107           update_life_info (NULL, UPDATE_LIFE_GLOBAL_RM_NOTES,
3108                             PROP_LOG_LINKS | PROP_REG_INFO | PROP_DEATH_NOTES);
3109         }
3110     }
3111
3112   no_new_pseudos = 1;
3113
3114   close_dump_file (DFI_life, print_rtl_with_bb, insns);
3115
3116   ggc_collect ();
3117
3118   /* If -opt, try combining insns through substitution.  */
3119
3120   if (optimize > 0)
3121     {
3122       int rebuild_jump_labels_after_combine = 0;
3123
3124       timevar_push (TV_COMBINE);
3125       open_dump_file (DFI_combine, decl);
3126
3127       rebuild_jump_labels_after_combine
3128         = combine_instructions (insns, max_reg_num ());
3129
3130       /* Combining insns may have turned an indirect jump into a
3131          direct jump.  Rebuid the JUMP_LABEL fields of jumping
3132          instructions.  */
3133       if (rebuild_jump_labels_after_combine)
3134         {
3135           timevar_push (TV_JUMP);
3136           rebuild_jump_labels (insns);
3137           timevar_pop (TV_JUMP);
3138
3139           cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE);
3140         }
3141
3142       close_dump_file (DFI_combine, print_rtl_with_bb, insns);
3143       timevar_pop (TV_COMBINE);
3144
3145       ggc_collect ();
3146     }
3147
3148   /* Rerun if-conversion, as combine may have simplified things enough to
3149      now meet sequence length restrictions.  */
3150   if (flag_if_conversion)
3151     {
3152       timevar_push (TV_IFCVT);
3153       open_dump_file (DFI_ce2, decl);
3154
3155       no_new_pseudos = 0;
3156       if_convert (1);
3157       no_new_pseudos = 1;
3158
3159       close_dump_file (DFI_ce2, print_rtl_with_bb, insns);
3160       timevar_pop (TV_IFCVT);
3161     }
3162
3163   /* Register allocation pre-pass, to reduce number of moves
3164      necessary for two-address machines.  */
3165   if (optimize > 0 && (flag_regmove || flag_expensive_optimizations))
3166     {
3167       timevar_push (TV_REGMOVE);
3168       open_dump_file (DFI_regmove, decl);
3169
3170       regmove_optimize (insns, max_reg_num (), rtl_dump_file);
3171
3172       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE);
3173       close_dump_file (DFI_regmove, print_rtl_with_bb, insns);
3174       timevar_pop (TV_REGMOVE);
3175
3176       ggc_collect ();
3177     }
3178
3179   /* Do unconditional splitting before register allocation to allow machine
3180      description to add extra information not needed previously.  */
3181   split_all_insns (1);
3182
3183   /* Any of the several passes since flow1 will have munged register
3184      lifetime data a bit.  */
3185   register_life_up_to_date = 0;
3186
3187 #ifdef OPTIMIZE_MODE_SWITCHING
3188   timevar_push (TV_MODE_SWITCH);
3189
3190   no_new_pseudos = 0;
3191   optimize_mode_switching (NULL);
3192   no_new_pseudos = 1;
3193
3194   timevar_pop (TV_MODE_SWITCH);
3195 #endif
3196
3197   timevar_push (TV_SCHED);
3198
3199 #ifdef INSN_SCHEDULING
3200
3201   /* Print function header into sched dump now
3202      because doing the sched analysis makes some of the dump.  */
3203   if (optimize > 0 && flag_schedule_insns)
3204     {
3205       open_dump_file (DFI_sched, decl);
3206
3207       /* Do control and data sched analysis,
3208          and write some of the results to dump file.  */
3209
3210       schedule_insns (rtl_dump_file);
3211
3212       close_dump_file (DFI_sched, print_rtl_with_bb, insns);
3213
3214       /* Register lifetime information was updated as part of verifying
3215          the schedule.  */
3216       register_life_up_to_date = 1;
3217     }
3218 #endif
3219   timevar_pop (TV_SCHED);
3220
3221   ggc_collect ();
3222
3223   /* Determine if the current function is a leaf before running reload
3224      since this can impact optimizations done by the prologue and
3225      epilogue thus changing register elimination offsets.  */
3226   current_function_is_leaf = leaf_function_p ();
3227
3228   timevar_push (TV_LOCAL_ALLOC);
3229   open_dump_file (DFI_lreg, decl);
3230
3231   /* Allocate pseudo-regs that are used only within 1 basic block.
3232
3233      RUN_JUMP_AFTER_RELOAD records whether or not we need to rerun the
3234      jump optimizer after register allocation and reloading are finished.  */
3235
3236   if (! register_life_up_to_date)
3237     recompute_reg_usage (insns, ! optimize_size);
3238
3239   if (flag_new_regalloc)
3240     {
3241       delete_trivially_dead_insns (insns, max_reg_num ());
3242       reg_alloc ();
3243
3244       timevar_pop (TV_LOCAL_ALLOC);
3245       if (dump_file[DFI_lreg].enabled)
3246         {
3247           timevar_push (TV_DUMP);
3248
3249           close_dump_file (DFI_lreg, NULL, NULL);
3250           timevar_pop (TV_DUMP);
3251         }
3252
3253       /* XXX clean up the whole mess to bring live info in shape again.  */
3254       timevar_push (TV_GLOBAL_ALLOC);
3255       open_dump_file (DFI_greg, decl);
3256
3257       build_insn_chain (insns);
3258       failure = reload (insns, 0);
3259
3260       timevar_pop (TV_GLOBAL_ALLOC);
3261
3262       if (dump_file[DFI_greg].enabled)
3263         {
3264           timevar_push (TV_DUMP);
3265
3266           dump_global_regs (rtl_dump_file);
3267
3268           close_dump_file (DFI_greg, print_rtl_with_bb, insns);
3269           timevar_pop (TV_DUMP);
3270         }
3271
3272       if (failure)
3273         goto exit_rest_of_compilation;
3274       reload_completed = 1;
3275       rebuild_label_notes_after_reload = 0;
3276     }
3277   else
3278     {
3279       /* Allocate the reg_renumber array.  */
3280       allocate_reg_info (max_regno, FALSE, TRUE);
3281
3282       /* And the reg_equiv_memory_loc array.  */
3283       reg_equiv_memory_loc = (rtx *) xcalloc (max_regno, sizeof (rtx));
3284
3285       allocate_initial_values (reg_equiv_memory_loc);
3286
3287       regclass (insns, max_reg_num (), rtl_dump_file);
3288       rebuild_label_notes_after_reload = local_alloc ();
3289
3290       timevar_pop (TV_LOCAL_ALLOC);
3291
3292       if (dump_file[DFI_lreg].enabled)
3293         {
3294           timevar_push (TV_DUMP);
3295
3296           dump_flow_info (rtl_dump_file);
3297           dump_local_alloc (rtl_dump_file);
3298
3299           close_dump_file (DFI_lreg, print_rtl_with_bb, insns);
3300           timevar_pop (TV_DUMP);
3301         }
3302
3303       ggc_collect ();
3304
3305       timevar_push (TV_GLOBAL_ALLOC);
3306       open_dump_file (DFI_greg, decl);
3307
3308       /* If optimizing, allocate remaining pseudo-regs.  Do the reload
3309          pass fixing up any insns that are invalid.  */
3310
3311       if (optimize)
3312         failure = global_alloc (rtl_dump_file);
3313       else
3314         {
3315           build_insn_chain (insns);
3316           failure = reload (insns, 0);
3317         }
3318
3319       timevar_pop (TV_GLOBAL_ALLOC);
3320
3321       if (dump_file[DFI_greg].enabled)
3322         {
3323           timevar_push (TV_DUMP);
3324
3325           dump_global_regs (rtl_dump_file);
3326
3327           close_dump_file (DFI_greg, print_rtl_with_bb, insns);
3328           timevar_pop (TV_DUMP);
3329         }
3330
3331       if (failure)
3332         goto exit_rest_of_compilation;
3333     }
3334
3335   ggc_collect ();
3336
3337   open_dump_file (DFI_postreload, decl);
3338
3339   /* Do a very simple CSE pass over just the hard registers.  */
3340   if (optimize > 0)
3341     {
3342       timevar_push (TV_RELOAD_CSE_REGS);
3343       reload_cse_regs (insns);
3344       timevar_pop (TV_RELOAD_CSE_REGS);
3345     }
3346
3347   /* Register allocation and reloading may have turned an indirect jump into
3348      a direct jump.  If so, we must rebuild the JUMP_LABEL fields of
3349      jumping instructions.  */
3350   if (rebuild_label_notes_after_reload)
3351     {
3352       timevar_push (TV_JUMP);
3353
3354       rebuild_jump_labels (insns);
3355       purge_all_dead_edges (0);
3356
3357       timevar_pop (TV_JUMP);
3358     }
3359
3360   close_dump_file (DFI_postreload, print_rtl_with_bb, insns);
3361
3362   /* Re-create the death notes which were deleted during reload.  */
3363   timevar_push (TV_FLOW2);
3364   open_dump_file (DFI_flow2, decl);
3365
3366 #ifdef ENABLE_CHECKING
3367   verify_flow_info ();
3368 #endif
3369
3370   /* If optimizing, then go ahead and split insns now.  */
3371 #ifndef STACK_REGS
3372   if (optimize > 0)
3373 #endif
3374     split_all_insns (0);
3375
3376   if (optimize)
3377     cleanup_cfg (CLEANUP_EXPENSIVE);
3378
3379   /* On some machines, the prologue and epilogue code, or parts thereof,
3380      can be represented as RTL.  Doing so lets us schedule insns between
3381      it and the rest of the code and also allows delayed branch
3382      scheduling to operate in the epilogue.  */
3383   thread_prologue_and_epilogue_insns (insns);
3384
3385   if (optimize)
3386     {
3387       life_analysis (insns, rtl_dump_file, PROP_FINAL);
3388       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE
3389                    | (flag_crossjumping ? CLEANUP_CROSSJUMP : 0));
3390
3391       /* This is kind of a heuristic.  We need to run combine_stack_adjustments
3392          even for machines with possibly nonzero RETURN_POPS_ARGS
3393          and ACCUMULATE_OUTGOING_ARGS.  We expect that only ports having
3394          push instructions will have popping returns.  */
3395 #ifndef PUSH_ROUNDING
3396       if (!ACCUMULATE_OUTGOING_ARGS)
3397 #endif
3398         combine_stack_adjustments ();
3399
3400       ggc_collect ();
3401     }
3402
3403   flow2_completed = 1;
3404
3405   close_dump_file (DFI_flow2, print_rtl_with_bb, insns);
3406   timevar_pop (TV_FLOW2);
3407
3408 #ifdef HAVE_peephole2
3409   if (optimize > 0 && flag_peephole2)
3410     {
3411       timevar_push (TV_PEEPHOLE2);
3412       open_dump_file (DFI_peephole2, decl);
3413
3414       peephole2_optimize (rtl_dump_file);
3415
3416       close_dump_file (DFI_peephole2, print_rtl_with_bb, insns);
3417       timevar_pop (TV_PEEPHOLE2);
3418     }
3419 #endif
3420
3421   if (optimize > 0 && (flag_rename_registers || flag_cprop_registers))
3422     {
3423       timevar_push (TV_RENAME_REGISTERS);
3424       open_dump_file (DFI_rnreg, decl);
3425
3426       if (flag_rename_registers)
3427         regrename_optimize ();
3428       if (flag_cprop_registers)
3429         copyprop_hardreg_forward ();
3430
3431       close_dump_file (DFI_rnreg, print_rtl_with_bb, insns);
3432       timevar_pop (TV_RENAME_REGISTERS);
3433     }
3434
3435   if (flag_if_conversion2)
3436     {
3437       timevar_push (TV_IFCVT2);
3438       open_dump_file (DFI_ce3, decl);
3439
3440       if_convert (1);
3441
3442       close_dump_file (DFI_ce3, print_rtl_with_bb, insns);
3443       timevar_pop (TV_IFCVT2);
3444     }
3445
3446 #ifdef INSN_SCHEDULING
3447   if (optimize > 0 && flag_schedule_insns_after_reload)
3448     {
3449       timevar_push (TV_SCHED2);
3450       open_dump_file (DFI_sched2, decl);
3451
3452       /* Do control and data sched analysis again,
3453          and write some more of the results to dump file.  */
3454
3455       split_all_insns (1);
3456
3457       schedule_insns (rtl_dump_file);
3458
3459       close_dump_file (DFI_sched2, print_rtl_with_bb, insns);
3460       timevar_pop (TV_SCHED2);
3461
3462       ggc_collect ();
3463     }
3464 #endif
3465
3466 #ifdef LEAF_REGISTERS
3467   current_function_uses_only_leaf_regs
3468     = optimize > 0 && only_leaf_regs_used () && leaf_function_p ();
3469 #endif
3470
3471 #ifdef STACK_REGS
3472 #if defined (HAVE_ATTR_length)
3473   /* If flow2 creates new instructions which need splitting
3474      and scheduling after reload is not done, they might not be
3475      splitten until final which doesn't allow splitting
3476      if HAVE_ATTR_length.  */
3477 #ifdef INSN_SCHEDULING
3478   if (optimize && !flag_schedule_insns_after_reload)
3479 #else
3480   if (optimize)
3481 #endif
3482     {
3483       timevar_push (TV_SHORTEN_BRANCH);
3484       split_all_insns (1);
3485       timevar_pop (TV_SHORTEN_BRANCH);
3486     }
3487 #endif
3488
3489   timevar_push (TV_REG_STACK);
3490   open_dump_file (DFI_stack, decl);
3491
3492   reg_to_stack (insns, rtl_dump_file);
3493
3494   close_dump_file (DFI_stack, print_rtl_with_bb, insns);
3495   timevar_pop (TV_REG_STACK);
3496
3497   ggc_collect ();
3498 #endif
3499   if (optimize > 0)
3500     {
3501       timevar_push (TV_REORDER_BLOCKS);
3502       open_dump_file (DFI_bbro, decl);
3503
3504       /* Last attempt to optimize CFG, as scheduling, peepholing and insn
3505          splitting possibly introduced more crossjumping oppurtuntities.
3506          Except that we can't actually run crossjumping without running
3507          another DCE pass, which we can't do after reg-stack.  */
3508       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_POST_REGSTACK
3509                    | (flag_crossjumping ? CLEANUP_CROSSJUMP : 0));
3510       if (flag_reorder_blocks)
3511         {
3512           reorder_basic_blocks ();
3513           cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_POST_REGSTACK);
3514         }
3515
3516       close_dump_file (DFI_bbro, print_rtl_with_bb, insns);
3517       timevar_pop (TV_REORDER_BLOCKS);
3518     }
3519   compute_alignments ();
3520
3521   /* CFG is no longer maintained up-to-date.  */
3522   free_bb_for_insn ();
3523
3524   /* If a machine dependent reorganization is needed, call it.  */
3525 #ifdef MACHINE_DEPENDENT_REORG
3526   timevar_push (TV_MACH_DEP);
3527   open_dump_file (DFI_mach, decl);
3528
3529   MACHINE_DEPENDENT_REORG (insns);
3530
3531   close_dump_file (DFI_mach, print_rtl, insns);
3532   timevar_pop (TV_MACH_DEP);
3533
3534   ggc_collect ();
3535 #endif
3536
3537   purge_line_number_notes (insns);
3538   cleanup_barriers ();
3539
3540   /* If a scheduling pass for delayed branches is to be done,
3541      call the scheduling code.  */
3542
3543 #ifdef DELAY_SLOTS
3544   if (optimize > 0 && flag_delayed_branch)
3545     {
3546       timevar_push (TV_DBR_SCHED);
3547       open_dump_file (DFI_dbr, decl);
3548
3549       dbr_schedule (insns, rtl_dump_file);
3550
3551       close_dump_file (DFI_dbr, print_rtl, insns);
3552       timevar_pop (TV_DBR_SCHED);
3553
3554       ggc_collect ();
3555     }
3556 #endif
3557
3558 #if defined (HAVE_ATTR_length) && !defined (STACK_REGS)
3559   timevar_push (TV_SHORTEN_BRANCH);
3560   split_all_insns_noflow ();
3561   timevar_pop (TV_SHORTEN_BRANCH);
3562 #endif
3563
3564   convert_to_eh_region_ranges ();
3565
3566   /* Shorten branches.  */
3567   timevar_push (TV_SHORTEN_BRANCH);
3568   shorten_branches (get_insns ());
3569   timevar_pop (TV_SHORTEN_BRANCH);
3570
3571   set_nothrow_function_flags ();
3572   if (current_function_nothrow)
3573     /* Now we know that this can't throw; set the flag for the benefit
3574        of other functions later in this translation unit.  */
3575     TREE_NOTHROW (current_function_decl) = 1;
3576
3577   /* Now turn the rtl into assembler code.  */
3578
3579   timevar_push (TV_FINAL);
3580   {
3581     rtx x;
3582     const char *fnname;
3583
3584     /* Get the function's name, as described by its RTL.  This may be
3585        different from the DECL_NAME name used in the source file.  */
3586
3587     x = DECL_RTL (decl);
3588     if (GET_CODE (x) != MEM)
3589       abort ();
3590     x = XEXP (x, 0);
3591     if (GET_CODE (x) != SYMBOL_REF)
3592       abort ();
3593     fnname = XSTR (x, 0);
3594
3595     assemble_start_function (decl, fnname);
3596     final_start_function (insns, asm_out_file, optimize);
3597     final (insns, asm_out_file, optimize, 0);
3598     final_end_function ();
3599
3600 #ifdef IA64_UNWIND_INFO
3601     /* ??? The IA-64 ".handlerdata" directive must be issued before
3602        the ".endp" directive that closes the procedure descriptor.  */
3603     output_function_exception_table ();
3604 #endif
3605
3606     assemble_end_function (decl, fnname);
3607
3608 #ifndef IA64_UNWIND_INFO
3609     /* Otherwise, it feels unclean to switch sections in the middle.  */
3610     output_function_exception_table ();
3611 #endif
3612
3613     if (! quiet_flag)
3614       fflush (asm_out_file);
3615
3616     /* Release all memory allocated by flow.  */
3617     free_basic_block_vars (0);
3618
3619     /* Release all memory held by regsets now.  */
3620     regset_release_memory ();
3621   }
3622   timevar_pop (TV_FINAL);
3623
3624   ggc_collect ();
3625
3626   /* Write DBX symbols if requested.  */
3627
3628   /* Note that for those inline functions where we don't initially
3629      know for certain that we will be generating an out-of-line copy,
3630      the first invocation of this routine (rest_of_compilation) will
3631      skip over this code by doing a `goto exit_rest_of_compilation;'.
3632      Later on, wrapup_global_declarations will (indirectly) call
3633      rest_of_compilation again for those inline functions that need
3634      to have out-of-line copies generated.  During that call, we
3635      *will* be routed past here.  */
3636
3637   timevar_push (TV_SYMOUT);
3638   (*debug_hooks->function_decl) (decl);
3639   timevar_pop (TV_SYMOUT);
3640
3641  exit_rest_of_compilation:
3642
3643   /* In case the function was not output,
3644      don't leave any temporary anonymous types
3645      queued up for sdb output.  */
3646 #ifdef SDB_DEBUGGING_INFO
3647   if (write_symbols == SDB_DEBUG)
3648     sdbout_types (NULL_TREE);
3649 #endif
3650
3651   reload_completed = 0;
3652   flow2_completed = 0;
3653   no_new_pseudos = 0;
3654
3655   timevar_push (TV_FINAL);
3656
3657   /* Clear out the insn_length contents now that they are no
3658      longer valid.  */
3659   init_insn_lengths ();
3660
3661   /* Show no temporary slots allocated.  */
3662   init_temp_slots ();
3663
3664   free_basic_block_vars (0);
3665   free_bb_for_insn ();
3666
3667   timevar_pop (TV_FINAL);
3668
3669   /* Make sure volatile mem refs aren't considered valid operands for
3670      arithmetic insns.  We must call this here if this is a nested inline
3671      function, since the above code leaves us in the init_recog state
3672      (from final.c), and the function context push/pop code does not
3673      save/restore volatile_ok.
3674
3675      ??? Maybe it isn't necessary for expand_start_function to call this
3676      anymore if we do it here?  */
3677
3678   init_recog_no_volatile ();
3679
3680   /* We're done with this function.  Free up memory if we can.  */
3681   free_after_parsing (cfun);
3682   if (! DECL_DEFER_OUTPUT (decl))
3683     {
3684       free_after_compilation (cfun);
3685
3686       /* Clear integrate.c's pointer to the cfun structure we just
3687          destroyed.  */
3688       DECL_SAVED_INSNS (decl) = 0;
3689     }
3690   cfun = 0;
3691
3692   ggc_collect ();
3693
3694   timevar_pop (TV_REST_OF_COMPILATION);
3695 }
3696 \f
3697 static void
3698 display_help ()
3699 {
3700   int undoc;
3701   unsigned long i;
3702   const char *lang;
3703
3704   printf (_("  -ffixed-<register>      Mark <register> as being unavailable to the compiler\n"));
3705   printf (_("  -fcall-used-<register>  Mark <register> as being corrupted by function calls\n"));
3706   printf (_("  -fcall-saved-<register> Mark <register> as being preserved across functions\n"));
3707   printf (_("  -finline-limit=<number> Limits the size of inlined functions to <number>\n"));
3708   printf (_("  -fmessage-length=<number> Limits diagnostics messages lengths to <number> characters per line.  0 suppresses line-wrapping\n"));
3709   printf (_("  -fdiagnostics-show-location=[once | every-line] Indicates how often source location information should be emitted, as prefix, at the beginning of diagnostics when line-wrapping\n"));
3710   printf (_("  -ftls-model=[global-dynamic | local-dynamic | initial-exec | local-exec] Indicates the default thread-local storage code generation model\n"));
3711   printf (_("  -fstack-limit-register=<register>  Trap if the stack goes past <register>\n"));
3712   printf (_("  -fstack-limit-symbol=<name>  Trap if the stack goes past symbol <name>\n"));
3713   printf (_("  -frandom-seed=<string>  Make compile reproducible using <string>\n"));
3714   
3715
3716   for (i = ARRAY_SIZE (f_options); i--;)
3717     {
3718       const char *description = f_options[i].description;
3719
3720       if (description != NULL && *description != 0)
3721         printf ("  -f%-21s %s\n",
3722                 f_options[i].string, _(description));
3723     }
3724
3725   printf (_("  -O[number]              Set optimization level to [number]\n"));
3726   printf (_("  -Os                     Optimize for space rather than speed\n"));
3727   for (i = LAST_PARAM; i--;)
3728     {
3729       const char *description = compiler_params[i].help;
3730       const int length = 21 - strlen (compiler_params[i].option);
3731
3732       if (description != NULL && *description != 0)
3733         printf ("  --param %s=<value>%.*s%s\n",
3734                 compiler_params[i].option,
3735                 length > 0 ? length : 1, "                     ",
3736                 _(description));
3737     }
3738   printf (_("  -pedantic               Issue warnings needed by strict compliance to ISO C\n"));
3739   printf (_("  -pedantic-errors        Like -pedantic except that errors are produced\n"));
3740   printf (_("  -w                      Suppress warnings\n"));
3741   printf (_("  -W                      Enable extra warnings\n"));
3742
3743   for (i = ARRAY_SIZE (W_options); i--;)
3744     {
3745       const char *description = W_options[i].description;
3746
3747       if (description != NULL && *description != 0)
3748         printf ("  -W%-21s %s\n",
3749                 W_options[i].string, _(description));
3750     }
3751
3752   printf (_("  -Wunused                Enable unused warnings\n"));
3753   printf (_("  -Wlarger-than-<number>  Warn if an object is larger than <number> bytes\n"));
3754   printf (_("  -p                      Enable function profiling\n"));
3755   printf (_("  -o <file>               Place output into <file> \n"));
3756   printf (_("\
3757   -G <number>             Put global and static data smaller than <number>\n\
3758                           bytes into a special section (on some targets)\n"));
3759
3760   for (i = ARRAY_SIZE (debug_args); i--;)
3761     {
3762       if (debug_args[i].description != NULL)
3763         printf ("  -g%-21s %s\n",
3764                 debug_args[i].arg, _(debug_args[i].description));
3765     }
3766
3767   printf (_("  -aux-info <file>        Emit declaration info into <file>\n"));
3768   printf (_("  -quiet                  Do not display functions compiled or elapsed time\n"));
3769   printf (_("  -version                Display the compiler's version\n"));
3770   printf (_("  -d[letters]             Enable dumps from specific passes of the compiler\n"));
3771   printf (_("  -dumpbase <file>        Base name to be used for dumps from specific passes\n"));
3772 #if defined INSN_SCHEDULING
3773   printf (_("  -fsched-verbose=<number> Set the verbosity level of the scheduler\n"));
3774 #endif
3775   printf (_("  --help                  Display this information\n"));
3776
3777   undoc = 0;
3778   lang  = "language";
3779
3780   /* Display descriptions of language specific options.
3781      If there is no description, note that there is an undocumented option.
3782      If the description is empty, do not display anything.  (This allows
3783      options to be deliberately undocumented, for whatever reason).
3784      If the option string is missing, then this is a marker, indicating
3785      that the description string is in fact the name of a language, whose
3786      language specific options are to follow.  */
3787
3788   if (ARRAY_SIZE (documented_lang_options) > 1)
3789     {
3790       printf (_("\nLanguage specific options:\n"));
3791
3792       for (i = 0; i < ARRAY_SIZE (documented_lang_options); i++)
3793         {
3794           const char *description = documented_lang_options[i].description;
3795           const char *option      = documented_lang_options[i].option;
3796
3797           if (description == NULL)
3798             {
3799               undoc = 1;
3800
3801               if (extra_warnings)
3802                 printf (_("  %-23.23s [undocumented]\n"), option);
3803             }
3804           else if (*description == 0)
3805             continue;
3806           else if (option == NULL)
3807             {
3808               if (undoc)
3809                 printf
3810                   (_("\nThere are undocumented %s specific options as well.\n"),
3811                         lang);
3812               undoc = 0;
3813
3814               printf (_("\n Options for %s:\n"), description);
3815
3816               lang = description;
3817             }
3818           else
3819             printf ("  %-23.23s %s\n", option, _(description));
3820         }
3821     }
3822
3823   if (undoc)
3824     printf (_("\nThere are undocumented %s specific options as well.\n"),
3825             lang);
3826
3827   display_target_options ();
3828 }
3829
3830 static void
3831 display_target_options ()
3832 {
3833   int undoc, i;
3834   static bool displayed = false;
3835
3836   /* Avoid double printing for --help --target-help.  */
3837   if (displayed)
3838     return;
3839   displayed = true;
3840
3841   if (ARRAY_SIZE (target_switches) > 1
3842 #ifdef TARGET_OPTIONS
3843       || ARRAY_SIZE (target_options) > 1
3844 #endif
3845       )
3846     {
3847       int doc = 0;
3848
3849       undoc = 0;
3850
3851       printf (_("\nTarget specific options:\n"));
3852
3853       for (i = ARRAY_SIZE (target_switches); i--;)
3854         {
3855           const char *option      = target_switches[i].name;
3856           const char *description = target_switches[i].description;
3857
3858           if (option == NULL || *option == 0)
3859             continue;
3860           else if (description == NULL)
3861             {
3862               undoc = 1;
3863
3864               if (extra_warnings)
3865                 printf (_("  -m%-23.23s [undocumented]\n"), option);
3866             }
3867           else if (*description != 0)
3868             doc += printf ("  -m%-23.23s %s\n", option, _(description));
3869         }
3870
3871 #ifdef TARGET_OPTIONS
3872       for (i = ARRAY_SIZE (target_options); i--;)
3873         {
3874           const char *option      = target_options[i].prefix;
3875           const char *description = target_options[i].description;
3876
3877           if (option == NULL || *option == 0)
3878             continue;
3879           else if (description == NULL)
3880             {
3881               undoc = 1;
3882
3883               if (extra_warnings)
3884                 printf (_("  -m%-23.23s [undocumented]\n"), option);
3885             }
3886           else if (*description != 0)
3887             doc += printf ("  -m%-23.23s %s\n", option, _(description));
3888         }
3889 #endif
3890       if (undoc)
3891         {
3892           if (doc)
3893             printf (_("\nThere are undocumented target specific options as well.\n"));
3894           else
3895             printf (_("  They exist, but they are not documented.\n"));
3896         }
3897     }
3898 }
3899 \f
3900 /* Parse a -d... command line switch.  */
3901
3902 static void
3903 decode_d_option (arg)
3904      const char *arg;
3905 {
3906   int i, c, matched;
3907
3908   while (*arg)
3909     switch (c = *arg++)
3910       {
3911       case 'a':
3912         for (i = 0; i < (int) DFI_MAX; ++i)
3913           dump_file[i].enabled = 1;
3914         break;
3915       case 'A':
3916         flag_debug_asm = 1;
3917         break;
3918       case 'p':
3919         flag_print_asm_name = 1;
3920         break;
3921       case 'P':
3922         flag_dump_rtl_in_asm = 1;
3923         flag_print_asm_name = 1;
3924         break;
3925       case 'v':
3926         graph_dump_format = vcg;
3927         break;
3928       case 'x':
3929         rtl_dump_and_exit = 1;
3930         break;
3931       case 'y':
3932         set_yydebug = 1;
3933         break;
3934       case 'D': /* These are handled by the preprocessor.  */
3935       case 'I':
3936         break;
3937
3938       default:
3939         matched = 0;
3940         for (i = 0; i < (int) DFI_MAX; ++i)
3941           if (c == dump_file[i].debug_switch)
3942             {
3943               dump_file[i].enabled = 1;
3944               matched = 1;
3945             }
3946
3947         if (! matched)
3948           warning ("unrecognized gcc debugging option: %c", c);
3949         break;
3950       }
3951 }
3952
3953 /* Parse a -f... command line switch.  ARG is the value after the -f.
3954    It is safe to access 'ARG - 2' to generate the full switch name.
3955    Return the number of strings consumed.  */
3956
3957 static int
3958 decode_f_option (arg)
3959      const char *arg;
3960 {
3961   int j;
3962   const char *option_value = NULL;
3963
3964   /* Search for the option in the table of binary f options.  */
3965   for (j = ARRAY_SIZE (f_options); j--;)
3966     {
3967       if (!strcmp (arg, f_options[j].string))
3968         {
3969           *f_options[j].variable = f_options[j].on_value;
3970           return 1;
3971         }
3972
3973       if (arg[0] == 'n' && arg[1] == 'o' && arg[2] == '-'
3974           && ! strcmp (arg + 3, f_options[j].string))
3975         {
3976           *f_options[j].variable = ! f_options[j].on_value;
3977           return 1;
3978         }
3979     }
3980
3981   if (!strcmp (arg, "fast-math"))
3982     set_fast_math_flags (1);
3983   else if (!strcmp (arg, "no-fast-math"))
3984     set_fast_math_flags (0);
3985   else if ((option_value = skip_leading_substring (arg, "inline-limit-"))
3986            || (option_value = skip_leading_substring (arg, "inline-limit=")))
3987     {
3988       int val =
3989         read_integral_parameter (option_value, arg - 2,
3990                                  MAX_INLINE_INSNS);
3991       set_param_value ("max-inline-insns", val);
3992       set_param_value ("max-inline-insns-single", val/2);
3993       set_param_value ("max-inline-insns-auto", val/2);
3994       set_param_value ("max-inline-insns-rtl", val);
3995       if (val/4 < MIN_INLINE_INSNS)
3996         {
3997           if (val/4 > 10)
3998             set_param_value ("min-inline-insns", val/4);
3999           else
4000             set_param_value ("min-inline-insns", 10);
4001         }
4002     }
4003   else if ((option_value = skip_leading_substring (arg, "tls-model=")))
4004     {
4005       if (strcmp (option_value, "global-dynamic") == 0)
4006         flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
4007       else if (strcmp (option_value, "local-dynamic") == 0)
4008         flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC;
4009       else if (strcmp (option_value, "initial-exec") == 0)
4010         flag_tls_default = TLS_MODEL_INITIAL_EXEC;
4011       else if (strcmp (option_value, "local-exec") == 0)
4012         flag_tls_default = TLS_MODEL_LOCAL_EXEC;
4013       else
4014         warning ("`%s': unknown tls-model option", arg - 2);
4015     }
4016 #ifdef INSN_SCHEDULING
4017   else if ((option_value = skip_leading_substring (arg, "sched-verbose=")))
4018     fix_sched_param ("verbose", option_value);
4019 #endif
4020   else if ((option_value = skip_leading_substring (arg, "fixed-")))
4021     fix_register (option_value, 1, 1);
4022   else if ((option_value = skip_leading_substring (arg, "call-used-")))
4023     fix_register (option_value, 0, 1);
4024   else if ((option_value = skip_leading_substring (arg, "call-saved-")))
4025     fix_register (option_value, 0, 0);
4026   else if ((option_value = skip_leading_substring (arg, "align-loops=")))
4027     align_loops = read_integral_parameter (option_value, arg - 2, align_loops);
4028   else if ((option_value = skip_leading_substring (arg, "align-functions=")))
4029     align_functions
4030       = read_integral_parameter (option_value, arg - 2, align_functions);
4031   else if ((option_value = skip_leading_substring (arg, "align-jumps=")))
4032     align_jumps = read_integral_parameter (option_value, arg - 2, align_jumps);
4033   else if ((option_value = skip_leading_substring (arg, "align-labels=")))
4034     align_labels
4035       = read_integral_parameter (option_value, arg - 2, align_labels);
4036   else if ((option_value
4037             = skip_leading_substring (arg, "stack-limit-register=")))
4038     {
4039       int reg = decode_reg_name (option_value);
4040       if (reg < 0)
4041         error ("unrecognized register name `%s'", option_value);
4042       else
4043         stack_limit_rtx = gen_rtx_REG (Pmode, reg);
4044     }
4045   else if ((option_value
4046             = skip_leading_substring (arg, "stack-limit-symbol=")))
4047     {
4048       const char *nm;
4049       nm = ggc_strdup (option_value);
4050       stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, nm);
4051     }
4052   else if ((option_value
4053             = skip_leading_substring (arg, "message-length=")))
4054     output_set_maximum_length
4055       (&global_dc->buffer, read_integral_parameter
4056        (option_value, arg - 2, diagnostic_line_cutoff (global_dc)));
4057   else if ((option_value
4058             = skip_leading_substring (arg, "diagnostics-show-location=")))
4059     {
4060       if (!strcmp (option_value, "once"))
4061         diagnostic_prefixing_rule (global_dc) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
4062       else if (!strcmp (option_value, "every-line"))
4063         diagnostic_prefixing_rule (global_dc)
4064           = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE;
4065       else
4066         error ("unrecognized option `%s'", arg - 2);
4067     }
4068   else if (!strcmp (arg, "no-stack-limit"))
4069     stack_limit_rtx = NULL_RTX;
4070   else if ((option_value = skip_leading_substring (arg, "random-seed=")))
4071     flag_random_seed = option_value;
4072   else if (!strcmp (arg, "no-random-seed"))
4073     flag_random_seed = NULL;
4074   else if (!strcmp (arg, "preprocessed"))
4075     /* Recognize this switch but do nothing.  This prevents warnings
4076        about an unrecognized switch if cpplib has not been linked in.  */
4077     ;
4078   else
4079     return 0;
4080
4081   return 1;
4082 }
4083
4084 /* Parse a -W... command line switch.  ARG is the value after the -W.
4085    It is safe to access 'ARG - 2' to generate the full switch name.
4086    Return the number of strings consumed.  */
4087
4088 static int
4089 decode_W_option (arg)
4090      const char *arg;
4091 {
4092   const char *option_value = NULL;
4093   int j;
4094
4095   /* Search for the option in the table of binary W options.  */
4096
4097   for (j = ARRAY_SIZE (W_options); j--;)
4098     {
4099       if (!strcmp (arg, W_options[j].string))
4100         {
4101           *W_options[j].variable = W_options[j].on_value;
4102           return 1;
4103         }
4104
4105       if (arg[0] == 'n' && arg[1] == 'o' && arg[2] == '-'
4106           && ! strcmp (arg + 3, W_options[j].string))
4107         {
4108           *W_options[j].variable = ! W_options[j].on_value;
4109           return 1;
4110         }
4111     }
4112
4113   if ((option_value = skip_leading_substring (arg, "id-clash-")))
4114     warning ("-Wid-clash-LEN is no longer supported");
4115   else if ((option_value = skip_leading_substring (arg, "larger-than-")))
4116     {
4117       larger_than_size = read_integral_parameter (option_value, arg - 2, -1);
4118
4119       warn_larger_than = larger_than_size != -1;
4120     }
4121   else if (!strcmp (arg, "unused"))
4122     {
4123       set_Wunused (1);
4124     }
4125   else if (!strcmp (arg, "no-unused"))
4126     {
4127       set_Wunused (0);
4128     }
4129   else
4130     return 0;
4131
4132   return 1;
4133 }
4134
4135 /* Parse a -g... command line switch.  ARG is the value after the -g.
4136    It is safe to access 'ARG - 2' to generate the full switch name.
4137    Return the number of strings consumed.  */
4138
4139 static int
4140 decode_g_option (arg)
4141      const char *arg;
4142 {
4143   static unsigned level = 0;
4144   /* A lot of code assumes write_symbols == NO_DEBUG if the
4145      debugging level is 0 (thus -gstabs1 -gstabs0 would lose track
4146      of what debugging type has been selected).  This records the
4147      selected type.  It is an error to specify more than one
4148      debugging type.  */
4149   static enum debug_info_type selected_debug_type = NO_DEBUG;
4150   /* Non-zero if debugging format has been explicitly set.
4151      -g and -ggdb don't explicitly set the debugging format so
4152      -gdwarf -g3 is equivalent to -gdwarf3.  */
4153   static int type_explicitly_set_p = 0;
4154   /* Indexed by enum debug_info_type.  */
4155   static const char *const debug_type_names[] =
4156   {
4157     "none", "stabs", "coff", "dwarf-1", "dwarf-2", "xcoff", "vms"
4158   };
4159
4160   /* The maximum admissible debug level value.  */
4161   static const unsigned max_debug_level = 3;
4162
4163   /* Look up ARG in the table.  */
4164   for (da = debug_args; da->arg; da++)
4165     {
4166       const int da_len = strlen (da->arg);
4167
4168       if (da_len == 0 || ! strncmp (arg, da->arg, da_len))
4169         {
4170           enum debug_info_type type = da->debug_type;
4171           const char *p = arg + da_len;
4172
4173           if (*p && ! ISDIGIT (*p))
4174             continue;
4175
4176           /* A debug flag without a level defaults to level 2.
4177              Note we do not want to call read_integral_parameter
4178              for that case since it will call atoi which
4179              will return zero.
4180
4181              ??? We may want to generalize the interface to
4182              read_integral_parameter to better handle this case
4183              if this case shows up often.  */
4184           if (*p)
4185             level = read_integral_parameter (p, 0, max_debug_level + 1);
4186           else
4187             level = (level == 0) ? 2 : level;
4188
4189           if (da_len > 1 && *p && !strncmp (arg, "dwarf", da_len))
4190             {
4191               error ("use -gdwarf -g%d for DWARF v1, level %d",
4192                      level, level);
4193               if (level == 2)
4194                 error ("use -gdwarf-2   for DWARF v2");
4195             }
4196
4197           if (level > max_debug_level)
4198             {
4199               warning ("\
4200 ignoring option `%s' due to invalid debug level specification",
4201                        arg - 2);
4202               level = debug_info_level;
4203             }
4204
4205           if (type == NO_DEBUG)
4206             {
4207               type = PREFERRED_DEBUGGING_TYPE;
4208
4209               if (da_len > 1 && strncmp (arg, "gdb", da_len) == 0)
4210                 {
4211 #ifdef DWARF2_DEBUGGING_INFO
4212                   type = DWARF2_DEBUG;
4213 #else
4214 #ifdef DBX_DEBUGGING_INFO
4215                   type = DBX_DEBUG;
4216 #endif
4217 #endif
4218                 }
4219             }
4220
4221           if (type == NO_DEBUG)
4222             warning ("`%s': unknown or unsupported -g option", arg - 2);
4223
4224           /* Does it conflict with an already selected type?  */
4225           if (type_explicitly_set_p
4226               /* -g/-ggdb don't conflict with anything.  */
4227               && da->debug_type != NO_DEBUG
4228               && type != selected_debug_type)
4229             warning ("`%s' ignored, conflicts with `-g%s'",
4230                      arg - 2, debug_type_names[(int) selected_debug_type]);
4231           else
4232             {
4233               /* If the format has already been set, -g/-ggdb
4234                  only change the debug level.  */
4235               if (type_explicitly_set_p && da->debug_type == NO_DEBUG)
4236                 /* Don't change debugging type.  */
4237                 ;
4238               else
4239                 {
4240                   selected_debug_type = type;
4241                   type_explicitly_set_p = da->debug_type != NO_DEBUG;
4242                 }
4243
4244               write_symbols = (level == 0
4245                                ? NO_DEBUG
4246                                : selected_debug_type);
4247               use_gnu_debug_info_extensions = da->use_extensions_p;
4248               debug_info_level = (enum debug_info_level) level;
4249             }
4250
4251           break;
4252         }
4253     }
4254
4255   if (! da->arg)
4256     return 0;
4257
4258   return 1;
4259 }
4260
4261 /* Decode the first argument in the argv as a language-independent option.
4262    Return the number of strings consumed.  */
4263
4264 static unsigned int
4265 independent_decode_option (argc, argv)
4266      int argc;
4267      char **argv;
4268 {
4269   char *arg = argv[0];
4270
4271   if (arg[0] != '-' || arg[1] == 0)
4272     {
4273       if (arg[0] == '+')
4274         return 0;
4275
4276       filename = arg;
4277
4278       return 1;
4279     }
4280
4281   arg++;
4282
4283   if (!strcmp (arg, "-help"))
4284     {
4285       display_help ();
4286       exit_after_options = 1;
4287       return 1;
4288     }
4289
4290   if (!strcmp (arg, "-target-help"))
4291     {
4292       display_target_options ();
4293       exit_after_options = 1;
4294       return 1;
4295     }
4296
4297   if (!strcmp (arg, "-version"))
4298     {
4299       print_version (stderr, "");
4300       exit_after_options = 1;
4301       return 1;
4302     }
4303
4304   /* Handle '--param <name>=<value>'.  */
4305   if (strcmp (arg, "-param") == 0)
4306     {
4307       char *equal;
4308
4309       if (argc == 1)
4310         {
4311           error ("-param option missing argument");
4312           return 1;
4313         }
4314
4315       /* Get the '<name>=<value>' parameter.  */
4316       arg = argv[1];
4317       /* Look for the `='.  */
4318       equal = strchr (arg, '=');
4319       if (!equal)
4320         error ("invalid --param option: %s", arg);
4321       else
4322         {
4323           int val;
4324
4325           /* Zero out the `=' sign so that we get two separate strings.  */
4326           *equal = '\0';
4327           /* Figure out what value is specified.  */
4328           val = read_integral_parameter (equal + 1, NULL, INVALID_PARAM_VAL);
4329           if (val != INVALID_PARAM_VAL)
4330             set_param_value (arg, val);
4331           else
4332             error ("invalid parameter value `%s'", equal + 1);
4333         }
4334
4335       return 2;
4336     }
4337
4338   if (*arg == 'Y')
4339     arg++;
4340
4341   switch (*arg)
4342     {
4343     default:
4344       return 0;
4345
4346     case 'O':
4347       /* Already been treated in main (). Do nothing.  */
4348       break;
4349
4350     case 'm':
4351       set_target_switch (arg + 1);
4352       break;
4353
4354     case 'f':
4355       return decode_f_option (arg + 1);
4356
4357     case 'g':
4358       return decode_g_option (arg + 1);
4359
4360     case 'd':
4361       if (!strcmp (arg, "dumpbase"))
4362         {
4363           if (argc == 1)
4364             return 0;
4365
4366           if (argv[1][0])
4367             dump_base_name = argv[1];
4368           
4369           return 2;
4370         }
4371       else
4372         decode_d_option (arg + 1);
4373       break;
4374
4375     case 'p':
4376       if (!strcmp (arg, "pedantic"))
4377         pedantic = 1;
4378       else if (!strcmp (arg, "pedantic-errors"))
4379         flag_pedantic_errors = pedantic = 1;
4380       else if (arg[1] == 0)
4381         profile_flag = 1;
4382       else
4383         return 0;
4384       break;
4385
4386     case 'q':
4387       if (!strcmp (arg, "quiet"))
4388         quiet_flag = 1;
4389       else
4390         return 0;
4391       break;
4392
4393     case 'v':
4394       if (!strcmp (arg, "version"))
4395         version_flag = 1;
4396       else
4397         return 0;
4398       break;
4399
4400     case 'w':
4401       if (arg[1] == 0)
4402         inhibit_warnings = 1;
4403       else
4404         return 0;
4405       break;
4406
4407     case 'W':
4408       if (arg[1] == 0)
4409         {
4410           extra_warnings = 1;
4411           /* We save the value of warn_uninitialized, since if they put
4412              -Wuninitialized on the command line, we need to generate a
4413              warning about not using it without also specifying -O.  */
4414           if (warn_uninitialized != 1)
4415             warn_uninitialized = 2;
4416         }
4417       else
4418         return decode_W_option (arg + 1);
4419       break;
4420
4421     case 'a':
4422       if (!strncmp (arg, "aux-info", 8))
4423         {
4424           if (arg[8] == '\0')
4425             {
4426               if (argc == 1)
4427                 return 0;
4428
4429               aux_info_file_name = argv[1];
4430               flag_gen_aux_info = 1;
4431               return 2;
4432             }
4433           else if (arg[8] == '=')
4434             {
4435               aux_info_file_name = arg + 9;
4436               flag_gen_aux_info = 1;
4437             }
4438           else
4439             return 0;
4440         }
4441       else if (!strcmp (arg, "auxbase"))
4442         {
4443           if (argc == 1)
4444             return 0;
4445
4446           if (argv[1][0])
4447             aux_base_name = argv[1];
4448           
4449           return 2;
4450         }
4451       else if (!strcmp (arg, "auxbase-strip"))
4452         {
4453           if (argc == 1)
4454             return 0;
4455
4456           if (argv[1][0])
4457             {
4458               strip_off_ending (argv[1], strlen (argv[1]));
4459               if (argv[1][0])
4460                 aux_base_name = argv[1];
4461             }
4462           
4463           return 2;
4464         }
4465       else
4466         return 0;
4467       break;
4468
4469     case 'o':
4470       if (arg[1] == 0)
4471         {
4472           if (argc == 1)
4473             return 0;
4474
4475           asm_file_name = argv[1];
4476           return 2;
4477         }
4478       return 0;
4479
4480     case 'G':
4481       {
4482         int g_switch_val;
4483         int return_val;
4484
4485         if (arg[1] == 0)
4486           {
4487             if (argc == 1)
4488               return 0;
4489
4490             g_switch_val = read_integral_parameter (argv[1], 0, -1);
4491             return_val = 2;
4492           }
4493         else
4494           {
4495             g_switch_val = read_integral_parameter (arg + 1, 0, -1);
4496             return_val = 1;
4497           }
4498
4499         if (g_switch_val == -1)
4500           return_val = 0;
4501         else
4502           {
4503             g_switch_set = TRUE;
4504             g_switch_value = g_switch_val;
4505           }
4506
4507         return return_val;
4508       }
4509     }
4510
4511   return 1;
4512 }
4513 \f
4514 /* Decode -m switches.  */
4515 /* Decode the switch -mNAME.  */
4516
4517 static void
4518 set_target_switch (name)
4519      const char *name;
4520 {
4521   size_t j;
4522   int valid_target_option = 0;
4523
4524   for (j = 0; j < ARRAY_SIZE (target_switches); j++)
4525     if (!strcmp (target_switches[j].name, name))
4526       {
4527         if (target_switches[j].value < 0)
4528           target_flags &= ~-target_switches[j].value;
4529         else
4530           target_flags |= target_switches[j].value;
4531         if (name[0] != 0)
4532           {
4533             if (target_switches[j].value < 0)
4534               target_flags_explicit |= -target_switches[j].value;
4535             else
4536               target_flags_explicit |= target_switches[j].value;
4537           }
4538         valid_target_option = 1;
4539       }
4540
4541 #ifdef TARGET_OPTIONS
4542   if (!valid_target_option)
4543     for (j = 0; j < ARRAY_SIZE (target_options); j++)
4544       {
4545         int len = strlen (target_options[j].prefix);
4546         if (!strncmp (target_options[j].prefix, name, len))
4547           {
4548             *target_options[j].variable = name + len;
4549             valid_target_option = 1;
4550           }
4551       }
4552 #endif
4553
4554   if (!valid_target_option)
4555     error ("invalid option `%s'", name);
4556 }
4557 \f
4558 /* Print version information to FILE.
4559    Each line begins with INDENT (for the case where FILE is the
4560    assembler output file).  */
4561
4562 static void
4563 print_version (file, indent)
4564      FILE *file;
4565      const char *indent;
4566 {
4567 #ifndef __VERSION__
4568 #define __VERSION__ "[?]"
4569 #endif
4570   fnotice (file,
4571 #ifdef __GNUC__
4572            "%s%s%s version %s (%s)\n%s\tcompiled by GNU C version %s.\n"
4573 #else
4574            "%s%s%s version %s (%s) compiled by CC.\n"
4575 #endif
4576            , indent, *indent != 0 ? " " : "",
4577            lang_hooks.name, version_string, TARGET_NAME,
4578            indent, __VERSION__);
4579   fnotice (file, "%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n",
4580            indent, *indent != 0 ? " " : "",
4581            PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
4582 }
4583
4584 /* Print an option value and return the adjusted position in the line.
4585    ??? We don't handle error returns from fprintf (disk full); presumably
4586    other code will catch a disk full though.  */
4587
4588 static int
4589 print_single_switch (file, pos, max, indent, sep, term, type, name)
4590      FILE *file;
4591      int pos, max;
4592      const char *indent, *sep, *term, *type, *name;
4593 {
4594   /* The ultrix fprintf returns 0 on success, so compute the result we want
4595      here since we need it for the following test.  */
4596   int len = strlen (sep) + strlen (type) + strlen (name);
4597
4598   if (pos != 0
4599       && pos + len > max)
4600     {
4601       fprintf (file, "%s", term);
4602       pos = 0;
4603     }
4604   if (pos == 0)
4605     {
4606       fprintf (file, "%s", indent);
4607       pos = strlen (indent);
4608     }
4609   fprintf (file, "%s%s%s", sep, type, name);
4610   pos += len;
4611   return pos;
4612 }
4613
4614 /* Print active target switches to FILE.
4615    POS is the current cursor position and MAX is the size of a "line".
4616    Each line begins with INDENT and ends with TERM.
4617    Each switch is separated from the next by SEP.  */
4618
4619 static void
4620 print_switch_values (file, pos, max, indent, sep, term)
4621      FILE *file;
4622      int pos, max;
4623      const char *indent, *sep, *term;
4624 {
4625   size_t j;
4626   char **p;
4627
4628   /* Fill in the -frandom-seed option, if the user didn't pass it, so
4629      that it can be printed below.  This helps reproducibility.  Of
4630      course, the string may never be used, but we can't tell that at
4631      this point in the compile.  */
4632   default_flag_random_seed ();
4633
4634   /* Print the options as passed.  */
4635
4636   pos = print_single_switch (file, pos, max, indent, *indent ? " " : "", term,
4637                              _("options passed: "), "");
4638
4639   for (p = &save_argv[1]; *p != NULL; p++)
4640     if (**p == '-')
4641       {
4642         /* Ignore these.  */
4643         if (strcmp (*p, "-o") == 0)
4644           {
4645             if (p[1] != NULL)
4646               p++;
4647             continue;
4648           }
4649         if (strcmp (*p, "-quiet") == 0)
4650           continue;
4651         if (strcmp (*p, "-version") == 0)
4652           continue;
4653         if ((*p)[1] == 'd')
4654           continue;
4655
4656         pos = print_single_switch (file, pos, max, indent, sep, term, *p, "");
4657       }
4658   if (pos > 0)
4659     fprintf (file, "%s", term);
4660
4661   /* Print the -f and -m options that have been enabled.
4662      We don't handle language specific options but printing argv
4663      should suffice.  */
4664
4665   pos = print_single_switch (file, 0, max, indent, *indent ? " " : "", term,
4666                              _("options enabled: "), "");
4667
4668   for (j = 0; j < ARRAY_SIZE (f_options); j++)
4669     if (*f_options[j].variable == f_options[j].on_value)
4670       pos = print_single_switch (file, pos, max, indent, sep, term,
4671                                  "-f", f_options[j].string);
4672
4673   /* Print target specific options.  */
4674
4675   for (j = 0; j < ARRAY_SIZE (target_switches); j++)
4676     if (target_switches[j].name[0] != '\0'
4677         && target_switches[j].value > 0
4678         && ((target_switches[j].value & target_flags)
4679             == target_switches[j].value))
4680       {
4681         pos = print_single_switch (file, pos, max, indent, sep, term,
4682                                    "-m", target_switches[j].name);
4683       }
4684
4685 #ifdef TARGET_OPTIONS
4686   for (j = 0; j < ARRAY_SIZE (target_options); j++)
4687     if (*target_options[j].variable != NULL)
4688       {
4689         char prefix[256];
4690         sprintf (prefix, "-m%s", target_options[j].prefix);
4691         pos = print_single_switch (file, pos, max, indent, sep, term,
4692                                    prefix, *target_options[j].variable);
4693       }
4694 #endif
4695
4696   fprintf (file, "%s", term);
4697 }
4698 \f
4699 /* Open assembly code output file.  Do this even if -fsyntax-only is
4700    on, because then the driver will have provided the name of a
4701    temporary file or bit bucket for us.  NAME is the file specified on
4702    the command line, possibly NULL.  */
4703 static void
4704 init_asm_output (name)
4705      const char *name;
4706 {
4707   if (name == NULL && asm_file_name == 0)
4708     asm_out_file = stdout;
4709   else
4710     {
4711       if (asm_file_name == 0)
4712         {
4713           int len = strlen (dump_base_name);
4714           char *dumpname = (char *) xmalloc (len + 6);
4715           memcpy (dumpname, dump_base_name, len + 1);
4716           strip_off_ending (dumpname, len);
4717           strcat (dumpname, ".s");
4718           asm_file_name = dumpname;
4719         }
4720       if (!strcmp (asm_file_name, "-"))
4721         asm_out_file = stdout;
4722       else
4723         asm_out_file = fopen (asm_file_name, "w");
4724       if (asm_out_file == 0)
4725         fatal_io_error ("can't open %s for writing", asm_file_name);
4726     }
4727
4728 #ifdef IO_BUFFER_SIZE
4729   setvbuf (asm_out_file, (char *) xmalloc (IO_BUFFER_SIZE),
4730            _IOFBF, IO_BUFFER_SIZE);
4731 #endif
4732
4733   if (!flag_syntax_only)
4734     {
4735 #ifdef ASM_FILE_START
4736       ASM_FILE_START (asm_out_file);
4737 #endif
4738
4739 #ifdef ASM_COMMENT_START
4740       if (flag_verbose_asm)
4741         {
4742           /* Print the list of options in effect.  */
4743           print_version (asm_out_file, ASM_COMMENT_START);
4744           print_switch_values (asm_out_file, 0, MAX_LINE,
4745                                ASM_COMMENT_START, " ", "\n");
4746           /* Add a blank line here so it appears in assembler output but not
4747              screen output.  */
4748           fprintf (asm_out_file, "\n");
4749         }
4750 #endif
4751     }
4752 }
4753 \f
4754 /* Initialization of the front end environment, before command line
4755    options are parsed.  Signal handlers, internationalization etc.
4756    ARGV0 is main's argv[0].  */
4757 static void
4758 general_init (argv0)
4759      char *argv0;
4760 {
4761   char *p;
4762
4763   p = argv0 + strlen (argv0);
4764   while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
4765     --p;
4766   progname = p;
4767
4768   xmalloc_set_program_name (progname);
4769
4770   hex_init ();
4771
4772   gcc_init_libintl ();
4773
4774   /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages.  */
4775 #ifdef SIGSEGV
4776   signal (SIGSEGV, crash_signal);
4777 #endif
4778 #ifdef SIGILL
4779   signal (SIGILL, crash_signal);
4780 #endif
4781 #ifdef SIGBUS
4782   signal (SIGBUS, crash_signal);
4783 #endif
4784 #ifdef SIGABRT
4785   signal (SIGABRT, crash_signal);
4786 #endif
4787 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
4788   signal (SIGIOT, crash_signal);
4789 #endif
4790 #ifdef SIGFPE
4791   signal (SIGFPE, crash_signal);
4792 #endif
4793
4794   /* Initialize the diagnostics reporting machinery, so option parsing
4795      can give warnings and errors.  */
4796   diagnostic_initialize (global_dc);
4797
4798   /* Initialize the garbage-collector, string pools and tree type hash
4799      table.  */
4800   init_ggc ();
4801   init_stringpool ();
4802   init_ttree ();
4803 }
4804 \f
4805 /* Parse command line options and set default flag values, called
4806    after language-independent option-independent initialization.  Do
4807    minimal options processing.  Outputting diagnostics is OK, but GC
4808    and identifier hashtables etc. are not initialized yet.
4809
4810    Return nonzero to suppress compiler back end initialization.  */
4811 static void
4812 parse_options_and_default_flags (argc, argv)
4813      int argc;
4814      char **argv;
4815 {
4816   int i;
4817
4818   /* Save in case md file wants to emit args as a comment.  */
4819   save_argc = argc;
4820   save_argv = argv;
4821
4822   /* Initialize register usage now so switches may override.  */
4823   init_reg_sets ();
4824
4825   /* Register the language-independent parameters.  */
4826   add_params (lang_independent_params, LAST_PARAM);
4827
4828   /* This must be done after add_params but before argument processing.  */
4829   init_ggc_heuristics();
4830
4831   /* Perform language-specific options initialization.  */
4832   (*lang_hooks.init_options) ();
4833
4834   /* Scan to see what optimization level has been specified.  That will
4835      determine the default value of many flags.  */
4836   for (i = 1; i < argc; i++)
4837     {
4838       if (!strcmp (argv[i], "-O"))
4839         {
4840           optimize = 1;
4841           optimize_size = 0;
4842         }
4843       else if (argv[i][0] == '-' && argv[i][1] == 'O')
4844         {
4845           /* Handle -Os, -O2, -O3, -O69, ...  */
4846           char *p = &argv[i][2];
4847
4848           if ((p[0] == 's') && (p[1] == 0))
4849             {
4850               optimize_size = 1;
4851
4852               /* Optimizing for size forces optimize to be 2.  */
4853               optimize = 2;
4854             }
4855           else
4856             {
4857               const int optimize_val = read_integral_parameter (p, p - 2, -1);
4858               if (optimize_val != -1)
4859                 {
4860                   optimize = optimize_val;
4861
4862 #ifdef FORCE_OPTIMIZATION_DOWNGRADE
4863 #warning FORCE_OPTIMIZATION_DOWNGRADE
4864                   if (optimize > FORCE_OPTIMIZATION_DOWNGRADE)
4865                     {
4866                       optimize = FORCE_OPTIMIZATION_DOWNGRADE;
4867                       warning ("\n***\n***\t-O%d converted to \"-O%d\" due to optimizer bugs on this platform\n***",
4868                               optimize_val,
4869                               FORCE_OPTIMIZATION_DOWNGRADE);
4870
4871                     }
4872 #endif /*FORCE_OPTIMIZATION_DOWNGRADE*/
4873
4874 #if defined(TRY_WITHOUT_THIS__alpha__)
4875                   if (optimize > 1)
4876                     {
4877                       warning ("\n***\n***\tThe -O%d flag TRIGGERS KNOWN OPTIMIZER BUGS ON THIS PLATFORM\n***",
4878                               optimize_val);
4879                     }
4880 #endif /*__alpha__*/
4881
4882                   optimize_size = 0;
4883                 }
4884             }
4885         }
4886     }
4887
4888   if (!optimize)
4889     {
4890       flag_merge_constants = 0;
4891     }
4892
4893   if (optimize >= 1)
4894     {
4895       flag_defer_pop = 1;
4896       flag_thread_jumps = 1;
4897 #ifdef DELAY_SLOTS
4898       flag_delayed_branch = 1;
4899 #endif
4900 #ifdef CAN_DEBUG_WITHOUT_FP
4901       flag_omit_frame_pointer = 1;
4902 #endif
4903       flag_guess_branch_prob = 1;
4904       flag_cprop_registers = 1;
4905       flag_loop_optimize = 1;
4906       flag_crossjumping = 1;
4907       flag_if_conversion = 1;
4908       flag_if_conversion2 = 1;
4909     }
4910
4911   if (optimize >= 2)
4912     {
4913       flag_optimize_sibling_calls = 1;
4914       flag_cse_follow_jumps = 1;
4915       flag_cse_skip_blocks = 1;
4916       flag_gcse = 1;
4917       flag_expensive_optimizations = 1;
4918       flag_strength_reduce = 1;
4919       flag_rerun_cse_after_loop = 1;
4920       flag_rerun_loop_opt = 1;
4921       flag_caller_saves = 1;
4922       flag_force_mem = 1;
4923       flag_peephole2 = 1;
4924 #ifdef INSN_SCHEDULING
4925       flag_schedule_insns = 1;
4926       flag_schedule_insns_after_reload = 1;
4927 #endif
4928       flag_regmove = 1;
4929       flag_strict_aliasing = 1;
4930       flag_delete_null_pointer_checks = 1;
4931       flag_reorder_blocks = 1;
4932       flag_reorder_functions = 1;
4933     }
4934
4935   if (optimize >= 3)
4936     {
4937       flag_inline_functions = 1;
4938       flag_rename_registers = 1;
4939     }
4940
4941   if (optimize_size)
4942     {
4943       align_loops = 1;
4944       align_jumps = 1;
4945       align_labels = 1;
4946       align_functions = 1;
4947
4948       /* Don't reorder blocks when optimizing for size because extra
4949          jump insns may be created; also barrier may create extra padding.
4950
4951          More correctly we should have a block reordering mode that tried
4952          to minimize the combined size of all the jumps.  This would more
4953          or less automatically remove extra jumps, but would also try to
4954          use more short jumps instead of long jumps.  */
4955       flag_reorder_blocks = 0;
4956     }
4957
4958   /* Initialize whether `char' is signed.  */
4959   flag_signed_char = DEFAULT_SIGNED_CHAR;
4960 #ifdef DEFAULT_SHORT_ENUMS
4961   /* Initialize how much space enums occupy, by default.  */
4962   flag_short_enums = DEFAULT_SHORT_ENUMS;
4963 #endif
4964
4965   /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
4966      modify it.  */
4967   target_flags = 0;
4968   set_target_switch ("");
4969
4970   /* Unwind tables are always present in an ABI-conformant IA-64
4971      object file, so the default should be ON.  */
4972 #ifdef IA64_UNWIND_INFO
4973   flag_unwind_tables = IA64_UNWIND_INFO;
4974 #endif
4975
4976 #ifdef OPTIMIZATION_OPTIONS
4977   /* Allow default optimizations to be specified on a per-machine basis.  */
4978   OPTIMIZATION_OPTIONS (optimize, optimize_size);
4979 #endif
4980
4981   /* Perform normal command line switch decoding.  */
4982   for (i = 1; i < argc;)
4983     {
4984       int lang_processed;
4985       int indep_processed;
4986
4987       /* Give the language a chance to decode the option for itself.  */
4988       lang_processed = (*lang_hooks.decode_option) (argc - i, argv + i);
4989
4990       if (lang_processed >= 0)
4991         /* Now see if the option also has a language independent meaning.
4992            Some options are both language specific and language independent,
4993            eg --help.  */
4994         indep_processed = independent_decode_option (argc - i, argv + i);
4995       else
4996         {
4997           lang_processed = -lang_processed;
4998           indep_processed = 0;
4999         }
5000
5001       if (lang_processed || indep_processed)
5002         i += MAX (lang_processed, indep_processed);
5003       else
5004         {
5005           const char *option = NULL;
5006           const char *lang = NULL;
5007           unsigned int j;
5008
5009           /* It is possible that the command line switch is not valid for the
5010              current language, but it is valid for another language.  In order
5011              to be compatible with previous versions of the compiler (which
5012              did not issue an error message in this case) we check for this
5013              possibility here.  If we do find a match, then if extra_warnings
5014              is set we generate a warning message, otherwise we will just
5015              ignore the option.  */
5016           for (j = 0; j < ARRAY_SIZE (documented_lang_options); j++)
5017             {
5018               option = documented_lang_options[j].option;
5019
5020               if (option == NULL)
5021                 lang = documented_lang_options[j].description;
5022               else if (! strncmp (argv[i], option, strlen (option)))
5023                 break;
5024             }
5025
5026           if (j != ARRAY_SIZE (documented_lang_options))
5027             {
5028               if (extra_warnings)
5029                 {
5030                   warning ("ignoring command line option '%s'", argv[i]);
5031                   if (lang)
5032                     warning
5033                       ("(it is valid for %s but not the selected language)",
5034                        lang);
5035                 }
5036             }
5037           else if (argv[i][0] == '-' && argv[i][1] == 'g')
5038             warning ("`%s': unknown or unsupported -g option", &argv[i][2]);
5039           else
5040             error ("unrecognized option `%s'", argv[i]);
5041
5042           i++;
5043         }
5044     }
5045
5046   if (flag_no_inline == 2)
5047     flag_no_inline = 0;
5048   else
5049     flag_really_no_inline = flag_no_inline;
5050
5051   /* Set flag_no_inline before the post_options () hook.  The C front
5052      ends use it to determine tree inlining defaults.  FIXME: such
5053      code should be lang-independent when all front ends use tree
5054      inlining, in which case it, and this condition, should be moved
5055      to the top of process_options() instead.  */
5056   if (optimize == 0)
5057     {
5058       /* Inlining does not work if not optimizing,
5059          so force it not to be done.  */
5060       flag_no_inline = 1;
5061       warn_inline = 0;
5062
5063       /* The c_decode_option function and decode_option hook set
5064          this to `2' if -Wall is used, so we can avoid giving out
5065          lots of errors for people who don't realize what -Wall does.  */
5066       if (warn_uninitialized == 1)
5067         warning ("-Wuninitialized is not supported without -O");
5068     }
5069
5070   if (flag_really_no_inline == 2)
5071     flag_really_no_inline = flag_no_inline;
5072 }
5073 \f
5074 /* Process the options that have been parsed.  */
5075 static void
5076 process_options ()
5077 {
5078 #ifdef OVERRIDE_OPTIONS
5079   /* Some machines may reject certain combinations of options.  */
5080   OVERRIDE_OPTIONS;
5081 #endif
5082
5083   /* Set up the align_*_log variables, defaulting them to 1 if they
5084      were still unset.  */
5085   if (align_loops <= 0) align_loops = 1;
5086   if (align_loops_max_skip > align_loops || !align_loops)
5087     align_loops_max_skip = align_loops - 1;
5088   align_loops_log = floor_log2 (align_loops * 2 - 1);
5089   if (align_jumps <= 0) align_jumps = 1;
5090   if (align_jumps_max_skip > align_jumps || !align_jumps)
5091     align_jumps_max_skip = align_jumps - 1;
5092   align_jumps_log = floor_log2 (align_jumps * 2 - 1);
5093   if (align_labels <= 0) align_labels = 1;
5094   align_labels_log = floor_log2 (align_labels * 2 - 1);
5095   if (align_labels_max_skip > align_labels || !align_labels)
5096     align_labels_max_skip = align_labels - 1;
5097   if (align_functions <= 0) align_functions = 1;
5098   align_functions_log = floor_log2 (align_functions * 2 - 1);
5099
5100   /* Unrolling all loops implies that standard loop unrolling must also
5101      be done.  */
5102   if (flag_unroll_all_loops)
5103     flag_unroll_loops = 1;
5104   /* Loop unrolling requires that strength_reduction be on also.  Silently
5105      turn on strength reduction here if it isn't already on.  Also, the loop
5106      unrolling code assumes that cse will be run after loop, so that must
5107      be turned on also.  */
5108   if (flag_unroll_loops)
5109     {
5110       flag_strength_reduce = 1;
5111       flag_rerun_cse_after_loop = 1;
5112     }
5113
5114   if (flag_non_call_exceptions)
5115     flag_asynchronous_unwind_tables = 1;
5116   if (flag_asynchronous_unwind_tables)
5117     flag_unwind_tables = 1;
5118
5119   /* Warn about options that are not supported on this machine.  */
5120 #ifndef INSN_SCHEDULING
5121   if (flag_schedule_insns || flag_schedule_insns_after_reload)
5122     warning ("instruction scheduling not supported on this target machine");
5123 #endif
5124 #ifndef DELAY_SLOTS
5125   if (flag_delayed_branch)
5126     warning ("this target machine does not have delayed branches");
5127 #endif
5128
5129   user_label_prefix = USER_LABEL_PREFIX;
5130   if (flag_leading_underscore != -1)
5131     {
5132       /* If the default prefix is more complicated than "" or "_",
5133          issue a warning and ignore this option.  */
5134       if (user_label_prefix[0] == 0 ||
5135           (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
5136         {
5137           user_label_prefix = flag_leading_underscore ? "_" : "";
5138         }
5139       else
5140         warning ("-f%sleading-underscore not supported on this target machine",
5141                  flag_leading_underscore ? "" : "no-");
5142     }
5143
5144   /* If we are in verbose mode, write out the version and maybe all the
5145      option flags in use.  */
5146   if (version_flag)
5147     {
5148       print_version (stderr, "");
5149       if (! quiet_flag)
5150         print_switch_values (stderr, 0, MAX_LINE, "", " ", "\n");
5151     }
5152
5153   if (! quiet_flag || flag_detailed_statistics)
5154     time_report = 1;
5155
5156   if (flag_syntax_only)
5157     {
5158       write_symbols = NO_DEBUG;
5159       profile_flag = 0;
5160     }
5161
5162   /* Now we know write_symbols, set up the debug hooks based on it.
5163      By default we do nothing for debug output.  */
5164 #if defined(DBX_DEBUGGING_INFO)
5165   if (write_symbols == DBX_DEBUG)
5166     debug_hooks = &dbx_debug_hooks;
5167 #endif
5168 #if defined(XCOFF_DEBUGGING_INFO)
5169   if (write_symbols == XCOFF_DEBUG)
5170     debug_hooks = &xcoff_debug_hooks;
5171 #endif
5172 #ifdef SDB_DEBUGGING_INFO
5173   if (write_symbols == SDB_DEBUG)
5174     debug_hooks = &sdb_debug_hooks;
5175 #endif
5176 #ifdef DWARF_DEBUGGING_INFO
5177   if (write_symbols == DWARF_DEBUG)
5178     debug_hooks = &dwarf_debug_hooks;
5179 #endif
5180 #ifdef DWARF2_DEBUGGING_INFO
5181   if (write_symbols == DWARF2_DEBUG)
5182     debug_hooks = &dwarf2_debug_hooks;
5183 #endif
5184 #ifdef VMS_DEBUGGING_INFO
5185   if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
5186     debug_hooks = &vmsdbg_debug_hooks;
5187 #endif
5188
5189   /* If auxiliary info generation is desired, open the output file.
5190      This goes in the same directory as the source file--unlike
5191      all the other output files.  */
5192   if (flag_gen_aux_info)
5193     {
5194       aux_info_file = fopen (aux_info_file_name, "w");
5195       if (aux_info_file == 0)
5196         fatal_io_error ("can't open %s", aux_info_file_name);
5197     }
5198
5199   if (! targetm.have_named_sections)
5200     {
5201       if (flag_function_sections)
5202         {
5203           warning ("-ffunction-sections not supported for this target");
5204           flag_function_sections = 0;
5205         }
5206       if (flag_data_sections)
5207         {
5208           warning ("-fdata-sections not supported for this target");
5209           flag_data_sections = 0;
5210         }
5211     }
5212
5213   if (flag_function_sections && profile_flag)
5214     {
5215       warning ("-ffunction-sections disabled; it makes profiling impossible");
5216       flag_function_sections = 0;
5217     }
5218
5219 #ifndef HAVE_prefetch
5220   if (flag_prefetch_loop_arrays)
5221     {
5222       warning ("-fprefetch-loop-arrays not supported for this target");
5223       flag_prefetch_loop_arrays = 0;
5224     }
5225 #else
5226   if (flag_prefetch_loop_arrays && !HAVE_prefetch)
5227     {
5228       warning ("-fprefetch-loop-arrays not supported for this target (try -march switches)");
5229       flag_prefetch_loop_arrays = 0;
5230     }
5231 #endif
5232
5233   /* This combination of options isn't handled for i386 targets and doesn't
5234      make much sense anyway, so don't allow it.  */
5235   if (flag_prefetch_loop_arrays && optimize_size)
5236     {
5237       warning ("-fprefetch-loop-arrays is not supported with -Os");
5238       flag_prefetch_loop_arrays = 0;
5239     }
5240
5241 #ifndef OBJECT_FORMAT_ELF
5242   if (flag_function_sections && write_symbols != NO_DEBUG)
5243     warning ("-ffunction-sections may affect debugging on some targets");
5244 #endif
5245
5246     /* The presence of IEEE signaling NaNs, implies all math can trap.  */
5247     if (flag_signaling_nans)
5248       flag_trapping_math = 1;
5249 }
5250 \f
5251 /* Initialize the compiler back end.  */
5252 static void
5253 backend_init ()
5254 {
5255   /* init_emit_once uses reg_raw_mode and therefore must be called
5256      after init_regs which initialized reg_raw_mode.  */
5257   init_regs ();
5258   init_emit_once (debug_info_level == DINFO_LEVEL_NORMAL
5259                   || debug_info_level == DINFO_LEVEL_VERBOSE
5260 #ifdef VMS_DEBUGGING_INFO
5261                     /* Enable line number info for traceback */
5262                     || debug_info_level > DINFO_LEVEL_NONE
5263 #endif
5264                     || flag_test_coverage
5265                     || warn_notreached);
5266   init_fake_stack_mems ();
5267   init_alias_once ();
5268   init_loop ();
5269   init_reload ();
5270   init_function_once ();
5271   init_varasm_once ();
5272
5273   /* The following initialization functions need to generate rtl, so
5274      provide a dummy function context for them.  */
5275   init_dummy_function_start ();
5276   init_expmed ();
5277   if (flag_caller_saves)
5278     init_caller_save ();
5279   expand_dummy_function_end ();
5280 }
5281 \f
5282 /* Language-dependent initialization.  Returns nonzero on success.  */
5283 static int
5284 lang_dependent_init (name)
5285      const char *name;
5286 {
5287   if (dump_base_name == 0)
5288     dump_base_name = name ? name : "gccdump";
5289   
5290   /* Front-end initialization.  This hook can assume that GC,
5291      identifier hashes etc. are set up, but debug initialization is
5292      not done yet.  This routine must return the original filename
5293      (e.g. foo.i -> foo.c) so can correctly initialize debug output.  */
5294   name = (*lang_hooks.init) (name);
5295   if (name == NULL)
5296     return 0;
5297
5298   /* Is this duplication necessary?  */
5299   name = ggc_strdup (name);
5300   main_input_filename = input_filename = name;
5301   init_asm_output (name);
5302
5303   /* These create various _DECL nodes, so need to be called after the
5304      front end is initialized.  */
5305   init_eh ();
5306   init_optabs ();
5307
5308   /* The following initialization functions need to generate rtl, so
5309      provide a dummy function context for them.  */
5310   init_dummy_function_start ();
5311   init_expr_once ();
5312   expand_dummy_function_end ();
5313
5314   /* Put an entry on the input file stack for the main input file.  */
5315   push_srcloc (input_filename, 0);
5316
5317   /* If dbx symbol table desired, initialize writing it and output the
5318      predefined types.  */
5319   timevar_push (TV_SYMOUT);
5320
5321 #ifdef DWARF2_UNWIND_INFO
5322   if (dwarf2out_do_frame ())
5323     dwarf2out_frame_init ();
5324 #endif
5325
5326   /* Now we have the correct original filename, we can initialize
5327      debug output.  */
5328   (*debug_hooks->init) (name);
5329
5330   timevar_pop (TV_SYMOUT);
5331
5332   return 1;
5333 }
5334 \f
5335 /* Clean up: close opened files, etc.  */
5336
5337 static void
5338 finalize ()
5339 {
5340   /* Close the dump files.  */
5341   if (flag_gen_aux_info)
5342     {
5343       fclose (aux_info_file);
5344       if (errorcount)
5345         unlink (aux_info_file_name);
5346     }
5347
5348   /* Close non-debugging input and output files.  Take special care to note
5349      whether fclose returns an error, since the pages might still be on the
5350      buffer chain while the file is open.  */
5351
5352   if (asm_out_file)
5353     {
5354       if (ferror (asm_out_file) != 0)
5355         fatal_io_error ("error writing to %s", asm_file_name);
5356       if (fclose (asm_out_file) != 0)
5357         fatal_io_error ("error closing %s", asm_file_name);
5358     }
5359
5360   /* Do whatever is necessary to finish printing the graphs.  */
5361   if (graph_dump_format != no_graph)
5362     {
5363       int i;
5364
5365       for (i = 0; i < (int) DFI_MAX; ++i)
5366         if (dump_file[i].initialized && dump_file[i].graph_dump_p)
5367           {
5368             char seq[16];
5369             char *suffix;
5370
5371             sprintf (seq, DUMPFILE_FORMAT, i);
5372             suffix = concat (seq, dump_file[i].extension, NULL);
5373             finish_graph_dump_file (dump_base_name, suffix);
5374             free (suffix);
5375           }
5376     }
5377
5378   if (mem_report)
5379     {
5380       ggc_print_statistics ();
5381       stringpool_statistics ();
5382       dump_tree_statistics ();
5383     }
5384
5385   /* Free up memory for the benefit of leak detectors.  */
5386   free_reg_info ();
5387
5388   /* Language-specific end of compilation actions.  */
5389   (*lang_hooks.finish) ();
5390 }
5391 \f
5392 /* Initialize the compiler, and compile the input file.  */
5393 static void
5394 do_compile ()
5395 {
5396   /* All command line options have been parsed; allow the front end to
5397      perform consistency checks, etc.  */
5398   bool no_backend = (*lang_hooks.post_options) ();
5399
5400   /* The bulk of command line switch processing.  */
5401   process_options ();
5402
5403   /* If an error has already occurred, give up.  */
5404   if (errorcount)
5405     return;
5406
5407   if (aux_base_name)
5408     /*NOP*/;
5409   else if (filename)
5410     {
5411       char *name = xstrdup (lbasename (filename));
5412       
5413       aux_base_name = name;
5414       strip_off_ending (name, strlen (name));
5415     }
5416   else
5417     aux_base_name = "gccaux";
5418
5419   /* We cannot start timing until after options are processed since that
5420      says if we run timers or not.  */
5421   init_timevar ();
5422   timevar_start (TV_TOTAL);
5423
5424   /* Set up the back-end if requested.  */
5425   if (!no_backend)
5426     backend_init ();
5427
5428   /* Language-dependent initialization.  Returns true on success.  */
5429   if (lang_dependent_init (filename))
5430     compile_file ();
5431
5432   finalize ();
5433
5434   /* Stop timing and print the times.  */
5435   timevar_stop (TV_TOTAL);
5436   timevar_print (stderr);
5437 }
5438 \f
5439 /* Entry point of cc1, cc1plus, jc1, f771, etc.
5440    Decode command args, then call compile_file.
5441    Exit code is FATAL_EXIT_CODE if can't open files or if there were
5442    any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
5443
5444    It is not safe to call this function more than once.  */
5445
5446 int
5447 toplev_main (argc, argv)
5448      int argc;
5449      char **argv;
5450 {
5451   /* Initialization of GCC's environment, and diagnostics.  */
5452   general_init (argv[0]);
5453
5454   /* Parse the options and do minimal processing; basically just
5455      enough to default flags appropriately.  */
5456   parse_options_and_default_flags (argc, argv);
5457
5458   /* Exit early if we can (e.g. -help).  */
5459   if (!exit_after_options)
5460     do_compile ();
5461
5462   if (errorcount || sorrycount)
5463     return (FATAL_EXIT_CODE);
5464
5465   return (SUCCESS_EXIT_CODE);
5466 }