OSDN Git Service

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