i386.c (builtin_description): Add __builtin_ia32_paddq and __builtin_ia32_psubq.
[platform/upstream/gcc.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   if (flag_guess_branch_prob)
2609     {
2610       timevar_push (TV_BRANCH_PROB);
2611       note_prediction_to_br_prob ();
2612       timevar_pop (TV_BRANCH_PROB);
2613     }
2614
2615   /* We may have potential sibling or tail recursion sites.  Select one
2616      (of possibly multiple) methods of performing the call.  */
2617   if (flag_optimize_sibling_calls)
2618     {
2619       rtx insn;
2620       optimize_sibling_and_tail_recursive_calls ();
2621
2622       /* Recompute the CFG as sibling optimization clobbers it randomly.  */
2623       free_bb_for_insn ();
2624       find_exception_handler_labels ();
2625       rebuild_jump_labels (insns);
2626       find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2627
2628       /* There is pass ordering problem - we must lower NOTE_INSN_PREDICTION
2629          notes before simplifying cfg and we must do lowering after sibcall
2630          that unhides parts of RTL chain and cleans up the CFG.
2631
2632          Until sibcall is replaced by tree-level optimizer, lets just
2633          sweep away the NOTE_INSN_PREDICTION notes that leaked out.  */
2634       for (insn = get_insns (); insn; insn = NEXT_INSN (insn))
2635         if (GET_CODE (insn) == NOTE
2636             && NOTE_LINE_NUMBER (insn) == NOTE_INSN_PREDICTION)
2637           delete_insn (insn);
2638     }
2639   close_dump_file (DFI_sibling, print_rtl, get_insns ());
2640   timevar_pop (TV_JUMP);
2641
2642   scope_to_insns_initialize ();
2643   /* Complete generation of exception handling code.  */
2644   if (doing_eh (0))
2645     {
2646       timevar_push (TV_JUMP);
2647       open_dump_file (DFI_eh, decl);
2648
2649       finish_eh_generation ();
2650
2651       close_dump_file (DFI_eh, print_rtl, get_insns ());
2652       timevar_pop (TV_JUMP);
2653     }
2654
2655   /* Delay emitting hard_reg_initial_value sets until after EH landing pad
2656      generation, which might create new sets.  */
2657   emit_initial_value_sets ();
2658
2659 #ifdef FINALIZE_PIC
2660   /* If we are doing position-independent code generation, now
2661      is the time to output special prologues and epilogues.
2662      We do not want to do this earlier, because it just clutters
2663      up inline functions with meaningless insns.  */
2664   if (flag_pic)
2665     FINALIZE_PIC;
2666 #endif
2667
2668   insns = get_insns ();
2669
2670   /* Copy any shared structure that should not be shared.  */
2671   unshare_all_rtl (current_function_decl, insns);
2672
2673 #ifdef SETJMP_VIA_SAVE_AREA
2674   /* This must be performed before virtual register instantiation.
2675      Please be aware the everything in the compiler that can look
2676      at the RTL up to this point must understand that REG_SAVE_AREA
2677      is just like a use of the REG contained inside.  */
2678   if (current_function_calls_alloca)
2679     optimize_save_area_alloca (insns);
2680 #endif
2681
2682   /* Instantiate all virtual registers.  */
2683   instantiate_virtual_regs (current_function_decl, insns);
2684
2685   open_dump_file (DFI_jump, decl);
2686
2687   /* Always do one jump optimization pass to ensure that JUMP_LABEL fields
2688      are initialized and to compute whether control can drop off the end
2689      of the function.  */
2690
2691   timevar_push (TV_JUMP);
2692   /* Turn NOTE_INSN_EXPECTED_VALUE into REG_BR_PROB.  Do this
2693      before jump optimization switches branch directions.  */
2694   if (flag_guess_branch_prob)
2695     expected_value_to_br_prob ();
2696
2697   reg_scan (insns, max_reg_num (), 0);
2698   rebuild_jump_labels (insns);
2699   find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2700   if (rtl_dump_file)
2701     dump_flow_info (rtl_dump_file);
2702   cleanup_cfg ((optimize ? CLEANUP_EXPENSIVE : 0) | CLEANUP_PRE_LOOP
2703                | (flag_thread_jumps ? CLEANUP_THREADING : 0));
2704
2705   /* CFG is no longer maintained up-to-date.  */
2706   free_bb_for_insn ();
2707   copy_loop_headers (insns);
2708   purge_line_number_notes (insns);
2709   find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2710
2711   timevar_pop (TV_JUMP);
2712   close_dump_file (DFI_jump, print_rtl, insns);
2713
2714   /* Now is when we stop if -fsyntax-only and -Wreturn-type.  */
2715   if (rtl_dump_and_exit || flag_syntax_only || DECL_DEFER_OUTPUT (decl))
2716     {
2717       goto exit_rest_of_compilation;
2718     }
2719
2720   /* Long term, this should probably move before the jump optimizer too,
2721      but I didn't want to disturb the rtl_dump_and_exit and related
2722      stuff at this time.  */
2723   if (optimize > 0 && flag_ssa)
2724     {
2725       /* Convert to SSA form.  */
2726
2727       timevar_push (TV_TO_SSA);
2728       open_dump_file (DFI_ssa, decl);
2729
2730       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2731       convert_to_ssa ();
2732
2733       close_dump_file (DFI_ssa, print_rtl_with_bb, insns);
2734       timevar_pop (TV_TO_SSA);
2735
2736       /* Perform sparse conditional constant propagation, if requested.  */
2737       if (flag_ssa_ccp)
2738         {
2739           timevar_push (TV_SSA_CCP);
2740           open_dump_file (DFI_ssa_ccp, decl);
2741
2742           ssa_const_prop ();
2743
2744           close_dump_file (DFI_ssa_ccp, print_rtl_with_bb, get_insns ());
2745           timevar_pop (TV_SSA_CCP);
2746         }
2747
2748       /* It would be useful to cleanup the CFG at this point, but block
2749          merging and possibly other transformations might leave a PHI
2750          node in the middle of a basic block, which is a strict no-no.  */
2751
2752       /* The SSA implementation uses basic block numbers in its phi
2753          nodes.  Thus, changing the control-flow graph or the basic
2754          blocks, e.g., calling find_basic_blocks () or cleanup_cfg (),
2755          may cause problems.  */
2756
2757       if (flag_ssa_dce)
2758         {
2759           /* Remove dead code.  */
2760
2761           timevar_push (TV_SSA_DCE);
2762           open_dump_file (DFI_ssa_dce, decl);
2763
2764           insns = get_insns ();
2765           ssa_eliminate_dead_code ();
2766
2767           close_dump_file (DFI_ssa_dce, print_rtl_with_bb, insns);
2768           timevar_pop (TV_SSA_DCE);
2769         }
2770
2771       /* Convert from SSA form.  */
2772
2773       timevar_push (TV_FROM_SSA);
2774       open_dump_file (DFI_ussa, decl);
2775
2776       convert_from_ssa ();
2777       /* New registers have been created.  Rescan their usage.  */
2778       reg_scan (insns, max_reg_num (), 1);
2779
2780       close_dump_file (DFI_ussa, print_rtl_with_bb, insns);
2781       timevar_pop (TV_FROM_SSA);
2782
2783       ggc_collect ();
2784     }
2785
2786   timevar_push (TV_JUMP);
2787   cleanup_cfg (optimize ? CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP: 0);
2788
2789   /* Try to identify useless null pointer tests and delete them.  */
2790   if (flag_delete_null_pointer_checks)
2791     {
2792       open_dump_file (DFI_null, decl);
2793       if (rtl_dump_file)
2794         dump_flow_info (rtl_dump_file);
2795
2796       if (delete_null_pointer_checks (insns))
2797         cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2798
2799       close_dump_file (DFI_null, print_rtl_with_bb, insns);
2800     }
2801
2802   /* Jump optimization, and the removal of NULL pointer checks, may
2803      have reduced the number of instructions substantially.  CSE, and
2804      future passes, allocate arrays whose dimensions involve the
2805      maximum instruction UID, so if we can reduce the maximum UID
2806      we'll save big on memory.  */
2807   renumber_insns (rtl_dump_file);
2808   timevar_pop (TV_JUMP);
2809
2810   close_dump_file (DFI_jump, print_rtl_with_bb, insns);
2811
2812   ggc_collect ();
2813
2814   /* Perform common subexpression elimination.
2815      Nonzero value from `cse_main' means that jumps were simplified
2816      and some code may now be unreachable, so do
2817      jump optimization again.  */
2818
2819   if (optimize > 0)
2820     {
2821       open_dump_file (DFI_cse, decl);
2822       if (rtl_dump_file)
2823         dump_flow_info (rtl_dump_file);
2824       timevar_push (TV_CSE);
2825
2826       reg_scan (insns, max_reg_num (), 1);
2827
2828       tem = cse_main (insns, max_reg_num (), 0, rtl_dump_file);
2829       if (tem)
2830         rebuild_jump_labels (insns);
2831       purge_all_dead_edges (0);
2832
2833       delete_trivially_dead_insns (insns, max_reg_num ());
2834
2835       /* If we are not running more CSE passes, then we are no longer
2836          expecting CSE to be run.  But always rerun it in a cheap mode.  */
2837       cse_not_expected = !flag_rerun_cse_after_loop && !flag_gcse;
2838
2839       if (tem || optimize > 1)
2840         cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2841       /* Try to identify useless null pointer tests and delete them.  */
2842       if (flag_delete_null_pointer_checks)
2843         {
2844           timevar_push (TV_JUMP);
2845
2846           if (delete_null_pointer_checks (insns))
2847             cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2848           timevar_pop (TV_JUMP);
2849         }
2850
2851       /* The second pass of jump optimization is likely to have
2852          removed a bunch more instructions.  */
2853       renumber_insns (rtl_dump_file);
2854
2855       timevar_pop (TV_CSE);
2856       close_dump_file (DFI_cse, print_rtl_with_bb, insns);
2857     }
2858
2859   open_dump_file (DFI_addressof, decl);
2860
2861   purge_addressof (insns);
2862   if (optimize)
2863     purge_all_dead_edges (0);
2864   reg_scan (insns, max_reg_num (), 1);
2865
2866   close_dump_file (DFI_addressof, print_rtl, insns);
2867
2868   ggc_collect ();
2869
2870   /* Perform global cse.  */
2871
2872   if (optimize > 0 && flag_gcse)
2873     {
2874       int save_csb, save_cfj;
2875       int tem2 = 0;
2876
2877       timevar_push (TV_GCSE);
2878       open_dump_file (DFI_gcse, decl);
2879
2880       tem = gcse_main (insns, rtl_dump_file);
2881       rebuild_jump_labels (insns);
2882       delete_trivially_dead_insns (insns, max_reg_num ());
2883
2884       save_csb = flag_cse_skip_blocks;
2885       save_cfj = flag_cse_follow_jumps;
2886       flag_cse_skip_blocks = flag_cse_follow_jumps = 0;
2887
2888       /* If -fexpensive-optimizations, re-run CSE to clean up things done
2889          by gcse.  */
2890       if (flag_expensive_optimizations)
2891         {
2892           timevar_push (TV_CSE);
2893           reg_scan (insns, max_reg_num (), 1);
2894           tem2 = cse_main (insns, max_reg_num (), 0, rtl_dump_file);
2895           purge_all_dead_edges (0);
2896           delete_trivially_dead_insns (insns, max_reg_num ());
2897           timevar_pop (TV_CSE);
2898           cse_not_expected = !flag_rerun_cse_after_loop;
2899         }
2900
2901       /* If gcse or cse altered any jumps, rerun jump optimizations to clean
2902          things up.  Then possibly re-run CSE again.  */
2903       while (tem || tem2)
2904         {
2905           tem = tem2 = 0;
2906           timevar_push (TV_JUMP);
2907           rebuild_jump_labels (insns);
2908           cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2909           timevar_pop (TV_JUMP);
2910
2911           if (flag_expensive_optimizations)
2912             {
2913               timevar_push (TV_CSE);
2914               reg_scan (insns, max_reg_num (), 1);
2915               tem2 = cse_main (insns, max_reg_num (), 0, rtl_dump_file);
2916               purge_all_dead_edges (0);
2917               delete_trivially_dead_insns (insns, max_reg_num ());
2918               timevar_pop (TV_CSE);
2919             }
2920         }
2921
2922       close_dump_file (DFI_gcse, print_rtl_with_bb, insns);
2923       timevar_pop (TV_GCSE);
2924
2925       ggc_collect ();
2926       flag_cse_skip_blocks = save_csb;
2927       flag_cse_follow_jumps = save_cfj;
2928 #ifdef ENABLE_CHECKING
2929       verify_flow_info ();
2930 #endif
2931     }
2932
2933   /* Instantiate any remaining CONSTANT_P_RTX nodes.  */
2934   if (optimize > 0 && flag_gcse && current_function_calls_constant_p)
2935     purge_builtin_constant_p ();
2936
2937   /* Move constant computations out of loops.  */
2938
2939   if (optimize > 0 && flag_loop_optimize)
2940     {
2941       int do_unroll, do_prefetch;
2942
2943       timevar_push (TV_LOOP);
2944       delete_dead_jumptables ();
2945       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_PRE_LOOP);
2946       open_dump_file (DFI_loop, decl);
2947       /* CFG is no longer maintained up-to-date.  */
2948       free_bb_for_insn ();
2949
2950       do_unroll = flag_unroll_loops ? LOOP_UNROLL : LOOP_AUTO_UNROLL;
2951       do_prefetch = flag_prefetch_loop_arrays ? LOOP_PREFETCH : 0;
2952       if (flag_rerun_loop_opt)
2953         {
2954           cleanup_barriers ();
2955
2956           /* We only want to perform unrolling once.  */
2957           loop_optimize (insns, rtl_dump_file, do_unroll);
2958           do_unroll = 0;
2959
2960           /* The first call to loop_optimize makes some instructions
2961              trivially dead.  We delete those instructions now in the
2962              hope that doing so will make the heuristics in loop work
2963              better and possibly speed up compilation.  */
2964           delete_trivially_dead_insns (insns, max_reg_num ());
2965
2966           /* The regscan pass is currently necessary as the alias
2967                   analysis code depends on this information.  */
2968           reg_scan (insns, max_reg_num (), 1);
2969         }
2970       cleanup_barriers ();
2971       loop_optimize (insns, rtl_dump_file, do_unroll | LOOP_BCT | do_prefetch);
2972
2973       /* Loop can create trivially dead instructions.  */
2974       delete_trivially_dead_insns (insns, max_reg_num ());
2975       close_dump_file (DFI_loop, print_rtl, insns);
2976       timevar_pop (TV_LOOP);
2977       find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
2978
2979       ggc_collect ();
2980     }
2981
2982   /* Perform jump bypassing and control flow optimizations.  */
2983   if (optimize > 0 && flag_gcse)
2984     {
2985       timevar_push (TV_BYPASS);
2986       open_dump_file (DFI_bypass, decl);
2987
2988       cleanup_cfg (CLEANUP_EXPENSIVE);
2989       tem = bypass_jumps (rtl_dump_file);
2990
2991       if (tem)
2992         {
2993           rebuild_jump_labels (insns);
2994           cleanup_cfg (CLEANUP_EXPENSIVE);
2995           delete_trivially_dead_insns (insns, max_reg_num ());
2996         }
2997
2998       close_dump_file (DFI_bypass, print_rtl_with_bb, insns);
2999       timevar_pop (TV_BYPASS);
3000
3001       ggc_collect ();
3002
3003 #ifdef ENABLE_CHECKING
3004       verify_flow_info ();
3005 #endif
3006     }
3007
3008   /* Do control and data flow analysis; wrote some of the results to
3009      the dump file.  */
3010
3011   timevar_push (TV_FLOW);
3012   open_dump_file (DFI_cfg, decl);
3013   if (rtl_dump_file)
3014     dump_flow_info (rtl_dump_file);
3015   cleanup_cfg ((optimize ? CLEANUP_EXPENSIVE : 0)
3016                | (flag_thread_jumps ? CLEANUP_THREADING : 0));
3017
3018   /* It may make more sense to mark constant functions after dead code is
3019      eliminated by life_analysis, but we need to do it early, as -fprofile-arcs
3020      may insert code making function non-constant, but we still must consider
3021      it as constant, otherwise -fbranch-probabilities will not read data back.
3022
3023      life_analysis rarely eliminates modification of external memory.
3024    */
3025   if (optimize)
3026     mark_constant_function ();
3027
3028   close_dump_file (DFI_cfg, print_rtl_with_bb, insns);
3029
3030   /* Do branch profiling and static profile estimation passes.  */
3031   if (optimize > 0 || cfun->arc_profile || flag_branch_probabilities)
3032     {
3033       struct loops loops;
3034
3035       timevar_push (TV_BRANCH_PROB);
3036       open_dump_file (DFI_bp, decl);
3037       if (cfun->arc_profile || flag_branch_probabilities)
3038         branch_prob ();
3039
3040       /* Discover and record the loop depth at the head of each basic
3041          block.  The loop infrastructure does the real job for us.  */
3042       flow_loops_find (&loops, LOOP_TREE);
3043
3044       if (rtl_dump_file)
3045         flow_loops_dump (&loops, rtl_dump_file, NULL, 0);
3046
3047       /* Estimate using heuristics if no profiling info is available.  */
3048       if (flag_guess_branch_prob)
3049         estimate_probability (&loops);
3050
3051       flow_loops_free (&loops);
3052       close_dump_file (DFI_bp, print_rtl_with_bb, insns);
3053       timevar_pop (TV_BRANCH_PROB);
3054     }
3055   if (optimize >= 0)
3056     {
3057       open_dump_file (DFI_ce1, decl);
3058       if (flag_if_conversion)
3059         {
3060           timevar_push (TV_IFCVT);
3061           if (rtl_dump_file)
3062             dump_flow_info (rtl_dump_file);
3063           cleanup_cfg (CLEANUP_EXPENSIVE);
3064           reg_scan (insns, max_reg_num (), 0);
3065           if_convert (0);
3066           timevar_pop (TV_IFCVT);
3067         }
3068       timevar_push (TV_JUMP);
3069       cleanup_cfg (CLEANUP_EXPENSIVE);
3070       reg_scan (insns, max_reg_num (), 0);
3071       timevar_pop (TV_JUMP);
3072       close_dump_file (DFI_ce1, print_rtl_with_bb, get_insns ());
3073     }
3074   if (flag_tracer)
3075     {
3076       timevar_push (TV_TRACER);
3077       open_dump_file (DFI_tracer, decl);
3078       if (rtl_dump_file)
3079         dump_flow_info (rtl_dump_file);
3080       tracer ();
3081       cleanup_cfg (CLEANUP_EXPENSIVE);
3082       reg_scan (insns, max_reg_num (), 0);
3083       close_dump_file (DFI_tracer, print_rtl_with_bb, get_insns ());
3084       timevar_pop (TV_TRACER);
3085     }
3086
3087   /* Perform loop optimalizations.  It might be better to do them a bit
3088      sooner, but we want the profile feedback to work more efficiently.  */
3089   if (optimize > 0
3090       && flag_unswitch_loops)
3091     {
3092       struct loops *loops;
3093       timevar_push (TV_LOOP);
3094       open_dump_file (DFI_loop2, decl);
3095       if (rtl_dump_file)
3096         dump_flow_info (rtl_dump_file);
3097
3098       loops = loop_optimizer_init (rtl_dump_file);
3099
3100       if (loops)
3101         {
3102           /* The optimalizations:  */
3103           if (flag_unswitch_loops)
3104             unswitch_loops (loops);
3105
3106           loop_optimizer_finalize (loops, rtl_dump_file);
3107         }
3108
3109       cleanup_cfg (CLEANUP_EXPENSIVE);
3110       delete_trivially_dead_insns (insns, max_reg_num ());
3111       reg_scan (insns, max_reg_num (), 0);
3112       if (rtl_dump_file)
3113         dump_flow_info (rtl_dump_file);
3114       close_dump_file (DFI_loop2, print_rtl_with_bb, get_insns ());
3115       timevar_pop (TV_LOOP);
3116       ggc_collect ();
3117     }
3118
3119   if (flag_rerun_cse_after_loop)
3120     {
3121       timevar_push (TV_CSE2);
3122       open_dump_file (DFI_cse2, decl);
3123       if (rtl_dump_file)
3124         dump_flow_info (rtl_dump_file);
3125       /* CFG is no longer maintained up-to-date.  */
3126       tem = cse_main (insns, max_reg_num (), 1, rtl_dump_file);
3127       purge_all_dead_edges (0);
3128       delete_trivially_dead_insns (insns, max_reg_num ());
3129
3130       if (tem)
3131         {
3132           timevar_push (TV_JUMP);
3133           rebuild_jump_labels (insns);
3134           cleanup_cfg (CLEANUP_EXPENSIVE);
3135           timevar_pop (TV_JUMP);
3136         }
3137       reg_scan (insns, max_reg_num (), 0);
3138       close_dump_file (DFI_cse2, print_rtl_with_bb, insns);
3139       ggc_collect ();
3140       timevar_pop (TV_CSE2);
3141     }
3142
3143   cse_not_expected = 1;
3144
3145   open_dump_file (DFI_life, decl);
3146   regclass_init ();
3147
3148   check_function_return_warnings ();
3149
3150 #ifdef ENABLE_CHECKING
3151   verify_flow_info ();
3152 #endif
3153   life_analysis (insns, rtl_dump_file, PROP_FINAL);
3154   if (optimize)
3155     cleanup_cfg ((optimize ? CLEANUP_EXPENSIVE : 0) | CLEANUP_UPDATE_LIFE
3156                  | (flag_thread_jumps ? CLEANUP_THREADING : 0));
3157   timevar_pop (TV_FLOW);
3158
3159   no_new_pseudos = 1;
3160
3161   if (warn_uninitialized || extra_warnings)
3162     {
3163       uninitialized_vars_warning (DECL_INITIAL (decl));
3164       if (extra_warnings)
3165         setjmp_args_warning ();
3166     }
3167
3168   if (optimize)
3169     {
3170       clear_bb_flags ();
3171       if (!flag_new_regalloc && initialize_uninitialized_subregs ())
3172         {
3173           /* Insns were inserted, so things might look a bit different.  */
3174           insns = get_insns ();
3175           update_life_info_in_dirty_blocks (UPDATE_LIFE_GLOBAL_RM_NOTES,
3176                                             PROP_LOG_LINKS | PROP_REG_INFO
3177                                             | PROP_DEATH_NOTES);
3178         }
3179     }
3180
3181   close_dump_file (DFI_life, print_rtl_with_bb, insns);
3182
3183   ggc_collect ();
3184
3185   /* If -opt, try combining insns through substitution.  */
3186
3187   if (optimize > 0)
3188     {
3189       int rebuild_jump_labels_after_combine = 0;
3190
3191       timevar_push (TV_COMBINE);
3192       open_dump_file (DFI_combine, decl);
3193
3194       rebuild_jump_labels_after_combine
3195         = combine_instructions (insns, max_reg_num ());
3196
3197       /* Combining insns may have turned an indirect jump into a
3198          direct jump.  Rebuild the JUMP_LABEL fields of jumping
3199          instructions.  */
3200       if (rebuild_jump_labels_after_combine)
3201         {
3202           timevar_push (TV_JUMP);
3203           rebuild_jump_labels (insns);
3204           timevar_pop (TV_JUMP);
3205
3206           cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE);
3207         }
3208
3209       close_dump_file (DFI_combine, print_rtl_with_bb, insns);
3210       timevar_pop (TV_COMBINE);
3211
3212       ggc_collect ();
3213     }
3214
3215   /* Rerun if-conversion, as combine may have simplified things enough to
3216      now meet sequence length restrictions.  */
3217   if (flag_if_conversion)
3218     {
3219       timevar_push (TV_IFCVT);
3220       open_dump_file (DFI_ce2, decl);
3221
3222       no_new_pseudos = 0;
3223       if_convert (1);
3224       no_new_pseudos = 1;
3225
3226       close_dump_file (DFI_ce2, print_rtl_with_bb, insns);
3227       timevar_pop (TV_IFCVT);
3228     }
3229
3230   /* Register allocation pre-pass, to reduce number of moves
3231      necessary for two-address machines.  */
3232   if (optimize > 0 && (flag_regmove || flag_expensive_optimizations))
3233     {
3234       timevar_push (TV_REGMOVE);
3235       open_dump_file (DFI_regmove, decl);
3236
3237       regmove_optimize (insns, max_reg_num (), rtl_dump_file);
3238
3239       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE);
3240       close_dump_file (DFI_regmove, print_rtl_with_bb, insns);
3241       timevar_pop (TV_REGMOVE);
3242
3243       ggc_collect ();
3244     }
3245
3246   /* Do unconditional splitting before register allocation to allow machine
3247      description to add extra information not needed previously.  */
3248   split_all_insns (1);
3249
3250 #ifdef OPTIMIZE_MODE_SWITCHING
3251   timevar_push (TV_MODE_SWITCH);
3252
3253   no_new_pseudos = 0;
3254   optimize_mode_switching (NULL);
3255   no_new_pseudos = 1;
3256
3257   timevar_pop (TV_MODE_SWITCH);
3258 #endif
3259
3260   /* Any of the several passes since flow1 will have munged register
3261      lifetime data a bit.  We need it to be up to date for scheduling
3262      (see handling of reg_known_equiv in init_alias_analysis).  */
3263   recompute_reg_usage (insns, !optimize_size);
3264
3265   timevar_push (TV_SCHED);
3266
3267 #ifdef INSN_SCHEDULING
3268
3269   /* Print function header into sched dump now
3270      because doing the sched analysis makes some of the dump.  */
3271   if (optimize > 0 && flag_schedule_insns)
3272     {
3273       open_dump_file (DFI_sched, decl);
3274
3275       /* Do control and data sched analysis,
3276          and write some of the results to dump file.  */
3277
3278       schedule_insns (rtl_dump_file);
3279
3280       close_dump_file (DFI_sched, print_rtl_with_bb, insns);
3281     }
3282 #endif
3283   timevar_pop (TV_SCHED);
3284
3285   ggc_collect ();
3286
3287   /* Determine if the current function is a leaf before running reload
3288      since this can impact optimizations done by the prologue and
3289      epilogue thus changing register elimination offsets.  */
3290   current_function_is_leaf = leaf_function_p ();
3291
3292   timevar_push (TV_LOCAL_ALLOC);
3293   open_dump_file (DFI_lreg, decl);
3294
3295   /* Allocate pseudo-regs that are used only within 1 basic block.
3296
3297      RUN_JUMP_AFTER_RELOAD records whether or not we need to rerun the
3298      jump optimizer after register allocation and reloading are finished.  */
3299
3300   if (flag_new_regalloc)
3301     {
3302       delete_trivially_dead_insns (insns, max_reg_num ());
3303       reg_alloc ();
3304
3305       timevar_pop (TV_LOCAL_ALLOC);
3306       if (dump_file[DFI_lreg].enabled)
3307         {
3308           timevar_push (TV_DUMP);
3309
3310           close_dump_file (DFI_lreg, NULL, NULL);
3311           timevar_pop (TV_DUMP);
3312         }
3313
3314       /* XXX clean up the whole mess to bring live info in shape again.  */
3315       timevar_push (TV_GLOBAL_ALLOC);
3316       open_dump_file (DFI_greg, decl);
3317
3318       build_insn_chain (insns);
3319       failure = reload (insns, 0);
3320
3321       timevar_pop (TV_GLOBAL_ALLOC);
3322
3323       if (dump_file[DFI_greg].enabled)
3324         {
3325           timevar_push (TV_DUMP);
3326
3327           dump_global_regs (rtl_dump_file);
3328
3329           close_dump_file (DFI_greg, print_rtl_with_bb, insns);
3330           timevar_pop (TV_DUMP);
3331         }
3332
3333       if (failure)
3334         goto exit_rest_of_compilation;
3335       reload_completed = 1;
3336       rebuild_label_notes_after_reload = 0;
3337     }
3338   else
3339     {
3340       /* Allocate the reg_renumber array.  */
3341       allocate_reg_info (max_regno, FALSE, TRUE);
3342
3343       /* And the reg_equiv_memory_loc array.  */
3344       reg_equiv_memory_loc = (rtx *) xcalloc (max_regno, sizeof (rtx));
3345
3346       allocate_initial_values (reg_equiv_memory_loc);
3347
3348       regclass (insns, max_reg_num (), rtl_dump_file);
3349       rebuild_label_notes_after_reload = local_alloc ();
3350
3351       timevar_pop (TV_LOCAL_ALLOC);
3352
3353       if (dump_file[DFI_lreg].enabled)
3354         {
3355           timevar_push (TV_DUMP);
3356
3357           dump_flow_info (rtl_dump_file);
3358           dump_local_alloc (rtl_dump_file);
3359
3360           close_dump_file (DFI_lreg, print_rtl_with_bb, insns);
3361           timevar_pop (TV_DUMP);
3362         }
3363
3364       ggc_collect ();
3365
3366       timevar_push (TV_GLOBAL_ALLOC);
3367       open_dump_file (DFI_greg, decl);
3368
3369       /* If optimizing, allocate remaining pseudo-regs.  Do the reload
3370          pass fixing up any insns that are invalid.  */
3371
3372       if (optimize)
3373         failure = global_alloc (rtl_dump_file);
3374       else
3375         {
3376           build_insn_chain (insns);
3377           failure = reload (insns, 0);
3378         }
3379
3380       timevar_pop (TV_GLOBAL_ALLOC);
3381
3382       if (dump_file[DFI_greg].enabled)
3383         {
3384           timevar_push (TV_DUMP);
3385
3386           dump_global_regs (rtl_dump_file);
3387
3388           close_dump_file (DFI_greg, print_rtl_with_bb, insns);
3389           timevar_pop (TV_DUMP);
3390         }
3391
3392       if (failure)
3393         goto exit_rest_of_compilation;
3394     }
3395
3396   ggc_collect ();
3397
3398   open_dump_file (DFI_postreload, decl);
3399
3400   /* Do a very simple CSE pass over just the hard registers.  */
3401   if (optimize > 0)
3402     {
3403       timevar_push (TV_RELOAD_CSE_REGS);
3404       reload_cse_regs (insns);
3405       timevar_pop (TV_RELOAD_CSE_REGS);
3406     }
3407
3408   /* Register allocation and reloading may have turned an indirect jump into
3409      a direct jump.  If so, we must rebuild the JUMP_LABEL fields of
3410      jumping instructions.  */
3411   if (rebuild_label_notes_after_reload)
3412     {
3413       timevar_push (TV_JUMP);
3414
3415       rebuild_jump_labels (insns);
3416       purge_all_dead_edges (0);
3417
3418       timevar_pop (TV_JUMP);
3419     }
3420
3421   close_dump_file (DFI_postreload, print_rtl_with_bb, insns);
3422
3423   /* Re-create the death notes which were deleted during reload.  */
3424   timevar_push (TV_FLOW2);
3425   open_dump_file (DFI_flow2, decl);
3426
3427 #ifdef ENABLE_CHECKING
3428   verify_flow_info ();
3429 #endif
3430
3431   /* If optimizing, then go ahead and split insns now.  */
3432   if (optimize > 0)
3433     split_all_insns (0);
3434
3435   cleanup_cfg (optimize ? CLEANUP_EXPENSIVE : 0);
3436
3437   /* On some machines, the prologue and epilogue code, or parts thereof,
3438      can be represented as RTL.  Doing so lets us schedule insns between
3439      it and the rest of the code and also allows delayed branch
3440      scheduling to operate in the epilogue.  */
3441   thread_prologue_and_epilogue_insns (insns);
3442
3443   if (optimize)
3444     {
3445       life_analysis (insns, rtl_dump_file, PROP_FINAL);
3446       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE
3447                    | (flag_crossjumping ? CLEANUP_CROSSJUMP : 0));
3448
3449       /* This is kind of a heuristic.  We need to run combine_stack_adjustments
3450          even for machines with possibly nonzero RETURN_POPS_ARGS
3451          and ACCUMULATE_OUTGOING_ARGS.  We expect that only ports having
3452          push instructions will have popping returns.  */
3453 #ifndef PUSH_ROUNDING
3454       if (!ACCUMULATE_OUTGOING_ARGS)
3455 #endif
3456         combine_stack_adjustments ();
3457
3458       ggc_collect ();
3459     }
3460
3461   flow2_completed = 1;
3462
3463   close_dump_file (DFI_flow2, print_rtl_with_bb, insns);
3464   timevar_pop (TV_FLOW2);
3465
3466 #ifdef HAVE_peephole2
3467   if (optimize > 0 && flag_peephole2)
3468     {
3469       timevar_push (TV_PEEPHOLE2);
3470       open_dump_file (DFI_peephole2, decl);
3471
3472       peephole2_optimize (rtl_dump_file);
3473
3474       close_dump_file (DFI_peephole2, print_rtl_with_bb, insns);
3475       timevar_pop (TV_PEEPHOLE2);
3476     }
3477 #endif
3478
3479   if (optimize > 0 && (flag_rename_registers || flag_cprop_registers))
3480     {
3481       timevar_push (TV_RENAME_REGISTERS);
3482       open_dump_file (DFI_rnreg, decl);
3483
3484       if (flag_rename_registers)
3485         regrename_optimize ();
3486       if (flag_cprop_registers)
3487         copyprop_hardreg_forward ();
3488
3489       close_dump_file (DFI_rnreg, print_rtl_with_bb, insns);
3490       timevar_pop (TV_RENAME_REGISTERS);
3491     }
3492
3493   if (flag_if_conversion2)
3494     {
3495       timevar_push (TV_IFCVT2);
3496       open_dump_file (DFI_ce3, decl);
3497
3498       if_convert (1);
3499
3500       close_dump_file (DFI_ce3, print_rtl_with_bb, insns);
3501       timevar_pop (TV_IFCVT2);
3502     }
3503 #ifdef STACK_REGS
3504   if (optimize)
3505     split_all_insns (1);
3506 #endif
3507
3508   if (optimize > 0)
3509     {
3510       timevar_push (TV_REORDER_BLOCKS);
3511       open_dump_file (DFI_bbro, decl);
3512
3513       /* Last attempt to optimize CFG, as scheduling, peepholing and insn
3514          splitting possibly introduced more crossjumping opportunities. */
3515       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE
3516                    | (flag_crossjumping ? CLEANUP_CROSSJUMP : 0));
3517
3518       if (flag_sched2_use_traces && flag_schedule_insns_after_reload)
3519         tracer ();
3520       if (flag_reorder_blocks)
3521         reorder_basic_blocks ();
3522       if (flag_reorder_blocks
3523           || (flag_sched2_use_traces && flag_schedule_insns_after_reload))
3524           cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_UPDATE_LIFE);
3525
3526       close_dump_file (DFI_bbro, print_rtl_with_bb, insns);
3527       timevar_pop (TV_REORDER_BLOCKS);
3528     }
3529
3530 #ifdef INSN_SCHEDULING
3531   if (optimize > 0 && flag_schedule_insns_after_reload)
3532     {
3533       timevar_push (TV_SCHED2);
3534       open_dump_file (DFI_sched2, decl);
3535
3536       /* Do control and data sched analysis again,
3537          and write some more of the results to dump file.  */
3538
3539       split_all_insns (1);
3540
3541       if (flag_sched2_use_superblocks || flag_sched2_use_traces)
3542         {
3543           schedule_ebbs (rtl_dump_file);
3544           /* No liveness updating code yet, but it should be easy to do.
3545              reg-stack recompute the liveness when needed for now.  */
3546           count_or_remove_death_notes (NULL, 1);
3547           cleanup_cfg (CLEANUP_EXPENSIVE);
3548         }
3549       else
3550         schedule_insns (rtl_dump_file);
3551
3552       close_dump_file (DFI_sched2, print_rtl_with_bb, insns);
3553       timevar_pop (TV_SCHED2);
3554
3555       ggc_collect ();
3556     }
3557 #endif
3558
3559 #ifdef LEAF_REGISTERS
3560   current_function_uses_only_leaf_regs
3561     = optimize > 0 && only_leaf_regs_used () && leaf_function_p ();
3562 #endif
3563
3564 #ifdef STACK_REGS
3565   timevar_push (TV_REG_STACK);
3566   open_dump_file (DFI_stack, decl);
3567
3568   if (reg_to_stack (insns, rtl_dump_file) && optimize)
3569     {
3570       if (cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_POST_REGSTACK
3571                        | (flag_crossjumping ? CLEANUP_CROSSJUMP : 0))
3572           && flag_reorder_blocks)
3573         {
3574           reorder_basic_blocks ();
3575           cleanup_cfg (CLEANUP_EXPENSIVE);
3576         }
3577     }
3578
3579   close_dump_file (DFI_stack, print_rtl_with_bb, insns);
3580   timevar_pop (TV_REG_STACK);
3581
3582   ggc_collect ();
3583 #endif
3584   if (optimize > 0)
3585     {
3586       timevar_push (TV_REORDER_BLOCKS);
3587       open_dump_file (DFI_bbro, decl);
3588
3589       /* Last attempt to optimize CFG, as scheduling, peepholing and insn
3590          splitting possibly introduced more crossjumping opportunities.
3591          Except that we can't actually run crossjumping without running
3592          another DCE pass, which we can't do after reg-stack.  */
3593       cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_POST_REGSTACK
3594                    | (flag_crossjumping ? CLEANUP_CROSSJUMP : 0));
3595       if (flag_reorder_blocks)
3596         {
3597           reorder_basic_blocks ();
3598           cleanup_cfg (CLEANUP_EXPENSIVE | CLEANUP_POST_REGSTACK);
3599         }
3600
3601       close_dump_file (DFI_bbro, print_rtl_with_bb, insns);
3602       timevar_pop (TV_REORDER_BLOCKS);
3603     }
3604   compute_alignments ();
3605
3606   /* CFG is no longer maintained up-to-date.  */
3607   free_bb_for_insn ();
3608
3609   /* If a machine dependent reorganization is needed, call it.  */
3610 #ifdef MACHINE_DEPENDENT_REORG
3611   timevar_push (TV_MACH_DEP);
3612   open_dump_file (DFI_mach, decl);
3613
3614   MACHINE_DEPENDENT_REORG (insns);
3615
3616   close_dump_file (DFI_mach, print_rtl, insns);
3617   timevar_pop (TV_MACH_DEP);
3618
3619   ggc_collect ();
3620 #endif
3621
3622   purge_line_number_notes (insns);
3623   cleanup_barriers ();
3624
3625   /* If a scheduling pass for delayed branches is to be done,
3626      call the scheduling code.  */
3627
3628 #ifdef DELAY_SLOTS
3629   if (optimize > 0 && flag_delayed_branch)
3630     {
3631       timevar_push (TV_DBR_SCHED);
3632       open_dump_file (DFI_dbr, decl);
3633
3634       dbr_schedule (insns, rtl_dump_file);
3635
3636       close_dump_file (DFI_dbr, print_rtl, insns);
3637       timevar_pop (TV_DBR_SCHED);
3638
3639       ggc_collect ();
3640     }
3641 #endif
3642
3643 #if defined (HAVE_ATTR_length) && !defined (STACK_REGS)
3644   timevar_push (TV_SHORTEN_BRANCH);
3645   split_all_insns_noflow ();
3646   timevar_pop (TV_SHORTEN_BRANCH);
3647 #endif
3648
3649   convert_to_eh_region_ranges ();
3650
3651   /* Shorten branches.  */
3652   timevar_push (TV_SHORTEN_BRANCH);
3653   shorten_branches (get_insns ());
3654   timevar_pop (TV_SHORTEN_BRANCH);
3655
3656   set_nothrow_function_flags ();
3657   if (current_function_nothrow)
3658     /* Now we know that this can't throw; set the flag for the benefit
3659        of other functions later in this translation unit.  */
3660     TREE_NOTHROW (current_function_decl) = 1;
3661
3662   /* Now turn the rtl into assembler code.  */
3663
3664   timevar_push (TV_FINAL);
3665   {
3666     rtx x;
3667     const char *fnname;
3668
3669     /* Get the function's name, as described by its RTL.  This may be
3670        different from the DECL_NAME name used in the source file.  */
3671
3672     x = DECL_RTL (decl);
3673     if (GET_CODE (x) != MEM)
3674       abort ();
3675     x = XEXP (x, 0);
3676     if (GET_CODE (x) != SYMBOL_REF)
3677       abort ();
3678     fnname = XSTR (x, 0);
3679
3680     assemble_start_function (decl, fnname);
3681     final_start_function (insns, asm_out_file, optimize);
3682     final (insns, asm_out_file, optimize, 0);
3683     final_end_function ();
3684
3685 #ifdef IA64_UNWIND_INFO
3686     /* ??? The IA-64 ".handlerdata" directive must be issued before
3687        the ".endp" directive that closes the procedure descriptor.  */
3688     output_function_exception_table ();
3689 #endif
3690
3691     assemble_end_function (decl, fnname);
3692
3693 #ifndef IA64_UNWIND_INFO
3694     /* Otherwise, it feels unclean to switch sections in the middle.  */
3695     output_function_exception_table ();
3696 #endif
3697
3698     if (! quiet_flag)
3699       fflush (asm_out_file);
3700
3701     /* Release all memory allocated by flow.  */
3702     free_basic_block_vars (0);
3703
3704     /* Release all memory held by regsets now.  */
3705     regset_release_memory ();
3706   }
3707   timevar_pop (TV_FINAL);
3708
3709   ggc_collect ();
3710
3711   /* Write DBX symbols if requested.  */
3712
3713   /* Note that for those inline functions where we don't initially
3714      know for certain that we will be generating an out-of-line copy,
3715      the first invocation of this routine (rest_of_compilation) will
3716      skip over this code by doing a `goto exit_rest_of_compilation;'.
3717      Later on, wrapup_global_declarations will (indirectly) call
3718      rest_of_compilation again for those inline functions that need
3719      to have out-of-line copies generated.  During that call, we
3720      *will* be routed past here.  */
3721
3722   timevar_push (TV_SYMOUT);
3723   (*debug_hooks->function_decl) (decl);
3724   timevar_pop (TV_SYMOUT);
3725
3726  exit_rest_of_compilation:
3727
3728   /* In case the function was not output,
3729      don't leave any temporary anonymous types
3730      queued up for sdb output.  */
3731 #ifdef SDB_DEBUGGING_INFO
3732   if (write_symbols == SDB_DEBUG)
3733     sdbout_types (NULL_TREE);
3734 #endif
3735
3736   reload_completed = 0;
3737   flow2_completed = 0;
3738   no_new_pseudos = 0;
3739
3740   timevar_push (TV_FINAL);
3741
3742   /* Clear out the insn_length contents now that they are no
3743      longer valid.  */
3744   init_insn_lengths ();
3745
3746   /* Show no temporary slots allocated.  */
3747   init_temp_slots ();
3748
3749   free_basic_block_vars (0);
3750   free_bb_for_insn ();
3751
3752   timevar_pop (TV_FINAL);
3753
3754   /* Make sure volatile mem refs aren't considered valid operands for
3755      arithmetic insns.  We must call this here if this is a nested inline
3756      function, since the above code leaves us in the init_recog state
3757      (from final.c), and the function context push/pop code does not
3758      save/restore volatile_ok.
3759
3760      ??? Maybe it isn't necessary for expand_start_function to call this
3761      anymore if we do it here?  */
3762
3763   init_recog_no_volatile ();
3764
3765   /* We're done with this function.  Free up memory if we can.  */
3766   free_after_parsing (cfun);
3767   if (! DECL_DEFER_OUTPUT (decl))
3768     {
3769       free_after_compilation (cfun);
3770
3771       /* Clear integrate.c's pointer to the cfun structure we just
3772          destroyed.  */
3773       DECL_SAVED_INSNS (decl) = 0;
3774     }
3775   cfun = 0;
3776
3777   ggc_collect ();
3778
3779   timevar_pop (TV_REST_OF_COMPILATION);
3780 }
3781 \f
3782 static void
3783 display_help ()
3784 {
3785   int undoc;
3786   unsigned long i;
3787   const char *lang;
3788
3789   printf (_("  -ffixed-<register>      Mark <register> as being unavailable to the compiler\n"));
3790   printf (_("  -fcall-used-<register>  Mark <register> as being corrupted by function calls\n"));
3791   printf (_("  -fcall-saved-<register> Mark <register> as being preserved across functions\n"));
3792   printf (_("  -finline-limit=<number> Limits the size of inlined functions to <number>\n"));
3793   printf (_("  -fmessage-length=<number> Limits diagnostics messages lengths to <number> characters per line.  0 suppresses line-wrapping\n"));
3794   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"));
3795   printf (_("  -ftls-model=[global-dynamic | local-dynamic | initial-exec | local-exec] Indicates the default thread-local storage code generation model\n"));
3796
3797   for (i = ARRAY_SIZE (f_options); i--;)
3798     {
3799       const char *description = f_options[i].description;
3800
3801       if (description != NULL && *description != 0)
3802         printf ("  -f%-21s %s\n",
3803                 f_options[i].string, _(description));
3804     }
3805
3806   printf (_("  -O[number]              Set optimization level to [number]\n"));
3807   printf (_("  -Os                     Optimize for space rather than speed\n"));
3808   for (i = LAST_PARAM; i--;)
3809     {
3810       const char *description = compiler_params[i].help;
3811       const int length = 21 - strlen (compiler_params[i].option);
3812
3813       if (description != NULL && *description != 0)
3814         printf ("  --param %s=<value>%.*s%s\n",
3815                 compiler_params[i].option,
3816                 length > 0 ? length : 1, "                     ",
3817                 _(description));
3818     }
3819   printf (_("  -pedantic               Issue warnings needed by strict compliance to ISO C\n"));
3820   printf (_("  -pedantic-errors        Like -pedantic except that errors are produced\n"));
3821   printf (_("  -w                      Suppress warnings\n"));
3822
3823   for (i = ARRAY_SIZE (W_options); i--;)
3824     {
3825       const char *description = W_options[i].description;
3826
3827       if (description != NULL && *description != 0)
3828         printf ("  -W%-21s %s\n",
3829                 W_options[i].string, _(description));
3830     }
3831
3832   printf (_("  -Wunused                Enable unused warnings\n"));
3833   printf (_("  -Wlarger-than-<number>  Warn if an object is larger than <number> bytes\n"));
3834   printf (_("  -p                      Enable function profiling\n"));
3835   printf (_("  -o <file>               Place output into <file> \n"));
3836   printf (_("\
3837   -G <number>             Put global and static data smaller than <number>\n\
3838                           bytes into a special section (on some targets)\n"));
3839
3840   for (i = ARRAY_SIZE (debug_args); i--;)
3841     {
3842       if (debug_args[i].description != NULL)
3843         printf ("  -g%-21s %s\n",
3844                 debug_args[i].arg, _(debug_args[i].description));
3845     }
3846
3847   printf (_("  -aux-info <file>        Emit declaration info into <file>\n"));
3848   printf (_("  -quiet                  Do not display functions compiled or elapsed time\n"));
3849   printf (_("  -version                Display the compiler's version\n"));
3850   printf (_("  -d[letters]             Enable dumps from specific passes of the compiler\n"));
3851   printf (_("  -dumpbase <file>        Base name to be used for dumps from specific passes\n"));
3852 #if defined INSN_SCHEDULING
3853   printf (_("  -fsched-verbose=<number> Set the verbosity level of the scheduler\n"));
3854 #endif
3855   printf (_("  --help                  Display this information\n"));
3856
3857   undoc = 0;
3858   lang  = "language";
3859
3860   /* Display descriptions of language specific options.
3861      If there is no description, note that there is an undocumented option.
3862      If the description is empty, do not display anything.  (This allows
3863      options to be deliberately undocumented, for whatever reason).
3864      If the option string is missing, then this is a marker, indicating
3865      that the description string is in fact the name of a language, whose
3866      language specific options are to follow.  */
3867
3868   if (ARRAY_SIZE (documented_lang_options) > 1)
3869     {
3870       printf (_("\nLanguage specific options:\n"));
3871
3872       for (i = 0; i < ARRAY_SIZE (documented_lang_options); i++)
3873         {
3874           const char *description = documented_lang_options[i].description;
3875           const char *option      = documented_lang_options[i].option;
3876
3877           if (description == NULL)
3878             {
3879               undoc = 1;
3880
3881               if (extra_warnings)
3882                 printf (_("  %-23.23s [undocumented]\n"), option);
3883             }
3884           else if (*description == 0)
3885             continue;
3886           else if (option == NULL)
3887             {
3888               if (undoc)
3889                 printf
3890                   (_("\nThere are undocumented %s specific options as well.\n"),
3891                         lang);
3892               undoc = 0;
3893
3894               printf (_("\n Options for %s:\n"), description);
3895
3896               lang = description;
3897             }
3898           else
3899             printf ("  %-23.23s %s\n", option, _(description));
3900         }
3901     }
3902
3903   if (undoc)
3904     printf (_("\nThere are undocumented %s specific options as well.\n"),
3905             lang);
3906
3907   display_target_options ();
3908 }
3909
3910 static void
3911 display_target_options ()
3912 {
3913   int undoc, i;
3914   static bool displayed = false;
3915
3916   /* Avoid double printing for --help --target-help.  */
3917   if (displayed)
3918     return;
3919   displayed = true;
3920
3921   if (ARRAY_SIZE (target_switches) > 1
3922 #ifdef TARGET_OPTIONS
3923       || ARRAY_SIZE (target_options) > 1
3924 #endif
3925       )
3926     {
3927       int doc = 0;
3928
3929       undoc = 0;
3930
3931       printf (_("\nTarget specific options:\n"));
3932
3933       for (i = ARRAY_SIZE (target_switches); i--;)
3934         {
3935           const char *option      = target_switches[i].name;
3936           const char *description = target_switches[i].description;
3937
3938           if (option == NULL || *option == 0)
3939             continue;
3940           else if (description == NULL)
3941             {
3942               undoc = 1;
3943
3944               if (extra_warnings)
3945                 printf (_("  -m%-23.23s [undocumented]\n"), option);
3946             }
3947           else if (*description != 0)
3948             doc += printf ("  -m%-23.23s %s\n", option, _(description));
3949         }
3950
3951 #ifdef TARGET_OPTIONS
3952       for (i = ARRAY_SIZE (target_options); i--;)
3953         {
3954           const char *option      = target_options[i].prefix;
3955           const char *description = target_options[i].description;
3956
3957           if (option == NULL || *option == 0)
3958             continue;
3959           else if (description == NULL)
3960             {
3961               undoc = 1;
3962
3963               if (extra_warnings)
3964                 printf (_("  -m%-23.23s [undocumented]\n"), option);
3965             }
3966           else if (*description != 0)
3967             doc += printf ("  -m%-23.23s %s\n", option, _(description));
3968         }
3969 #endif
3970       if (undoc)
3971         {
3972           if (doc)
3973             printf (_("\nThere are undocumented target specific options as well.\n"));
3974           else
3975             printf (_("  They exist, but they are not documented.\n"));
3976         }
3977     }
3978 }
3979 \f
3980 /* Parse a -d... command line switch.  */
3981
3982 static void
3983 decode_d_option (arg)
3984      const char *arg;
3985 {
3986   int i, c, matched;
3987
3988   while (*arg)
3989     switch (c = *arg++)
3990       {
3991       case 'a':
3992         for (i = 0; i < (int) DFI_MAX; ++i)
3993           dump_file[i].enabled = 1;
3994         break;
3995       case 'A':
3996         flag_debug_asm = 1;
3997         break;
3998       case 'p':
3999         flag_print_asm_name = 1;
4000         break;
4001       case 'P':
4002         flag_dump_rtl_in_asm = 1;
4003         flag_print_asm_name = 1;
4004         break;
4005       case 'v':
4006         graph_dump_format = vcg;
4007         break;
4008       case 'x':
4009         rtl_dump_and_exit = 1;
4010         break;
4011       case 'y':
4012         set_yydebug = 1;
4013         break;
4014       case 'D': /* These are handled by the preprocessor.  */
4015       case 'I':
4016         break;
4017       case 'H':
4018         setup_core_dumping();
4019         break;
4020
4021       default:
4022         matched = 0;
4023         for (i = 0; i < (int) DFI_MAX; ++i)
4024           if (c == dump_file[i].debug_switch)
4025             {
4026               dump_file[i].enabled = 1;
4027               matched = 1;
4028             }
4029
4030         if (! matched)
4031           warning ("unrecognized gcc debugging option: %c", c);
4032         break;
4033       }
4034 }
4035
4036 /* Parse a -f... command line switch.  ARG is the value after the -f.
4037    It is safe to access 'ARG - 2' to generate the full switch name.
4038    Return the number of strings consumed.  */
4039
4040 static int
4041 decode_f_option (arg)
4042      const char *arg;
4043 {
4044   int j;
4045   const char *option_value = NULL;
4046
4047   /* Search for the option in the table of binary f options.  */
4048   for (j = ARRAY_SIZE (f_options); j--;)
4049     {
4050       if (!strcmp (arg, f_options[j].string))
4051         {
4052           *f_options[j].variable = f_options[j].on_value;
4053           return 1;
4054         }
4055
4056       if (arg[0] == 'n' && arg[1] == 'o' && arg[2] == '-'
4057           && ! strcmp (arg + 3, f_options[j].string))
4058         {
4059           *f_options[j].variable = ! f_options[j].on_value;
4060           return 1;
4061         }
4062     }
4063
4064   if (!strcmp (arg, "fast-math"))
4065     set_fast_math_flags (1);
4066   else if (!strcmp (arg, "no-fast-math"))
4067     set_fast_math_flags (0);
4068   else if ((option_value = skip_leading_substring (arg, "inline-limit-"))
4069            || (option_value = skip_leading_substring (arg, "inline-limit=")))
4070     {
4071       int val =
4072         read_integral_parameter (option_value, arg - 2,
4073                                  MAX_INLINE_INSNS);
4074       set_param_value ("max-inline-insns", val);
4075     }
4076   else if ((option_value = skip_leading_substring (arg, "tls-model=")))
4077     {
4078       if (strcmp (option_value, "global-dynamic") == 0)
4079         flag_tls_default = TLS_MODEL_GLOBAL_DYNAMIC;
4080       else if (strcmp (option_value, "local-dynamic") == 0)
4081         flag_tls_default = TLS_MODEL_LOCAL_DYNAMIC;
4082       else if (strcmp (option_value, "initial-exec") == 0)
4083         flag_tls_default = TLS_MODEL_INITIAL_EXEC;
4084       else if (strcmp (option_value, "local-exec") == 0)
4085         flag_tls_default = TLS_MODEL_LOCAL_EXEC;
4086       else
4087         warning ("`%s': unknown tls-model option", arg - 2);
4088     }
4089 #ifdef INSN_SCHEDULING
4090   else if ((option_value = skip_leading_substring (arg, "sched-verbose=")))
4091     fix_sched_param ("verbose", option_value);
4092 #endif
4093   else if ((option_value = skip_leading_substring (arg, "fixed-")))
4094     fix_register (option_value, 1, 1);
4095   else if ((option_value = skip_leading_substring (arg, "call-used-")))
4096     fix_register (option_value, 0, 1);
4097   else if ((option_value = skip_leading_substring (arg, "call-saved-")))
4098     fix_register (option_value, 0, 0);
4099   else if ((option_value = skip_leading_substring (arg, "align-loops=")))
4100     align_loops = read_integral_parameter (option_value, arg - 2, align_loops);
4101   else if ((option_value = skip_leading_substring (arg, "align-functions=")))
4102     align_functions
4103       = read_integral_parameter (option_value, arg - 2, align_functions);
4104   else if ((option_value = skip_leading_substring (arg, "align-jumps=")))
4105     align_jumps = read_integral_parameter (option_value, arg - 2, align_jumps);
4106   else if ((option_value = skip_leading_substring (arg, "align-labels=")))
4107     align_labels
4108       = read_integral_parameter (option_value, arg - 2, align_labels);
4109   else if ((option_value
4110             = skip_leading_substring (arg, "stack-limit-register=")))
4111     {
4112       int reg = decode_reg_name (option_value);
4113       if (reg < 0)
4114         error ("unrecognized register name `%s'", option_value);
4115       else
4116         stack_limit_rtx = gen_rtx_REG (Pmode, reg);
4117     }
4118   else if ((option_value
4119             = skip_leading_substring (arg, "stack-limit-symbol=")))
4120     {
4121       const char *nm;
4122       nm = ggc_strdup (option_value);
4123       stack_limit_rtx = gen_rtx_SYMBOL_REF (Pmode, nm);
4124     }
4125   else if ((option_value
4126             = skip_leading_substring (arg, "message-length=")))
4127     output_set_maximum_length
4128       (&global_dc->buffer, read_integral_parameter
4129        (option_value, arg - 2, diagnostic_line_cutoff (global_dc)));
4130   else if ((option_value
4131             = skip_leading_substring (arg, "diagnostics-show-location=")))
4132     {
4133       if (!strcmp (option_value, "once"))
4134         diagnostic_prefixing_rule (global_dc) = DIAGNOSTICS_SHOW_PREFIX_ONCE;
4135       else if (!strcmp (option_value, "every-line"))
4136         diagnostic_prefixing_rule (global_dc)
4137           = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE;
4138       else
4139         error ("unrecognized option `%s'", arg - 2);
4140     }
4141   else if (!strcmp (arg, "no-stack-limit"))
4142     stack_limit_rtx = NULL_RTX;
4143   else if (!strcmp (arg, "preprocessed"))
4144     /* Recognize this switch but do nothing.  This prevents warnings
4145        about an unrecognized switch if cpplib has not been linked in.  */
4146     ;
4147   else
4148     return 0;
4149
4150   return 1;
4151 }
4152
4153 /* Parse a -W... command line switch.  ARG is the value after the -W.
4154    It is safe to access 'ARG - 2' to generate the full switch name.
4155    Return the number of strings consumed.  */
4156
4157 static int
4158 decode_W_option (arg)
4159      const char *arg;
4160 {
4161   const char *option_value = NULL;
4162   int j;
4163
4164   /* Search for the option in the table of binary W options.  */
4165
4166   for (j = ARRAY_SIZE (W_options); j--;)
4167     {
4168       if (!strcmp (arg, W_options[j].string))
4169         {
4170           *W_options[j].variable = W_options[j].on_value;
4171           return 1;
4172         }
4173
4174       if (arg[0] == 'n' && arg[1] == 'o' && arg[2] == '-'
4175           && ! strcmp (arg + 3, W_options[j].string))
4176         {
4177           *W_options[j].variable = ! W_options[j].on_value;
4178           return 1;
4179         }
4180     }
4181
4182   if ((option_value = skip_leading_substring (arg, "id-clash-")))
4183     warning ("-Wid-clash-LEN is no longer supported");
4184   else if ((option_value = skip_leading_substring (arg, "larger-than-")))
4185     {
4186       larger_than_size = read_integral_parameter (option_value, arg - 2, -1);
4187
4188       warn_larger_than = larger_than_size != -1;
4189     }
4190   else if (!strcmp (arg, "unused"))
4191     {
4192       set_Wunused (1);
4193     }
4194   else if (!strcmp (arg, "no-unused"))
4195     {
4196       set_Wunused (0);
4197     }
4198   else if (!strcmp (arg, "extra"))
4199     {
4200       /* We save the value of warn_uninitialized, since if they put
4201          -Wuninitialized on the command line, we need to generate a
4202          warning about not using it without also specifying -O.  */
4203       if (warn_uninitialized != 1)
4204         warn_uninitialized = 2;
4205     }
4206   else
4207     return 0;
4208
4209   return 1;
4210 }
4211
4212 /* Parse a -g... command line switch.  ARG is the value after the -g.
4213    It is safe to access 'ARG - 2' to generate the full switch name.
4214    Return the number of strings consumed.  */
4215
4216 static int
4217 decode_g_option (arg)
4218      const char *arg;
4219 {
4220   static unsigned level = 0;
4221   /* A lot of code assumes write_symbols == NO_DEBUG if the
4222      debugging level is 0 (thus -gstabs1 -gstabs0 would lose track
4223      of what debugging type has been selected).  This records the
4224      selected type.  It is an error to specify more than one
4225      debugging type.  */
4226   static enum debug_info_type selected_debug_type = NO_DEBUG;
4227   /* Nonzero if debugging format has been explicitly set.
4228      -g and -ggdb don't explicitly set the debugging format so
4229      -gdwarf -g3 is equivalent to -gdwarf3.  */
4230   static int type_explicitly_set_p = 0;
4231   /* Indexed by enum debug_info_type.  */
4232   static const char *const debug_type_names[] =
4233   {
4234     "none", "stabs", "coff", "dwarf-1", "dwarf-2", "xcoff", "vms"
4235   };
4236
4237   /* The maximum admissible debug level value.  */
4238   static const unsigned max_debug_level = 3;
4239
4240   /* Look up ARG in the table.  */
4241   for (da = debug_args; da->arg; da++)
4242     {
4243       const int da_len = strlen (da->arg);
4244
4245       if (da_len == 0 || ! strncmp (arg, da->arg, da_len))
4246         {
4247           enum debug_info_type type = da->debug_type;
4248           const char *p = arg + da_len;
4249
4250           if (*p && ! ISDIGIT (*p))
4251             continue;
4252
4253           /* A debug flag without a level defaults to level 2.
4254              Note we do not want to call read_integral_parameter
4255              for that case since it will call atoi which
4256              will return zero.
4257
4258              ??? We may want to generalize the interface to
4259              read_integral_parameter to better handle this case
4260              if this case shows up often.  */
4261           if (*p)
4262             level = read_integral_parameter (p, 0, max_debug_level + 1);
4263           else
4264             level = (level == 0) ? 2 : level;
4265
4266           if (da_len > 1 && *p && !strncmp (arg, "dwarf", da_len))
4267             {
4268               error ("use -gdwarf -g%d for DWARF v1, level %d",
4269                      level, level);
4270               if (level == 2)
4271                 error ("use -gdwarf-2   for DWARF v2");
4272             }
4273
4274           if (level > max_debug_level)
4275             {
4276               warning ("\
4277 ignoring option `%s' due to invalid debug level specification",
4278                        arg - 2);
4279               level = debug_info_level;
4280             }
4281
4282           if (type == NO_DEBUG)
4283             {
4284               type = PREFERRED_DEBUGGING_TYPE;
4285
4286               if (da_len > 1 && strncmp (arg, "gdb", da_len) == 0)
4287                 {
4288 #ifdef DWARF2_DEBUGGING_INFO
4289                   type = DWARF2_DEBUG;
4290 #else
4291 #ifdef DBX_DEBUGGING_INFO
4292                   type = DBX_DEBUG;
4293 #endif
4294 #endif
4295                 }
4296             }
4297
4298           if (type == NO_DEBUG)
4299             warning ("`%s': unknown or unsupported -g option", arg - 2);
4300
4301           /* Does it conflict with an already selected type?  */
4302           if (type_explicitly_set_p
4303               /* -g/-ggdb don't conflict with anything.  */
4304               && da->debug_type != NO_DEBUG
4305               && type != selected_debug_type)
4306             warning ("`%s' ignored, conflicts with `-g%s'",
4307                      arg - 2, debug_type_names[(int) selected_debug_type]);
4308           else
4309             {
4310               /* If the format has already been set, -g/-ggdb
4311                  only change the debug level.  */
4312               if (type_explicitly_set_p && da->debug_type == NO_DEBUG)
4313                 /* Don't change debugging type.  */
4314                 ;
4315               else
4316                 {
4317                   selected_debug_type = type;
4318                   type_explicitly_set_p = da->debug_type != NO_DEBUG;
4319                 }
4320
4321               write_symbols = (level == 0
4322                                ? NO_DEBUG
4323                                : selected_debug_type);
4324               use_gnu_debug_info_extensions = da->use_extensions_p;
4325               debug_info_level = (enum debug_info_level) level;
4326             }
4327
4328           break;
4329         }
4330     }
4331
4332   if (! da->arg)
4333     return 0;
4334
4335   return 1;
4336 }
4337
4338 /* Decode the first argument in the argv as a language-independent option.
4339    Return the number of strings consumed.  */
4340
4341 static unsigned int
4342 independent_decode_option (argc, argv)
4343      int argc;
4344      char **argv;
4345 {
4346   char *arg = argv[0];
4347
4348   if (arg[0] != '-' || arg[1] == 0)
4349     {
4350       if (arg[0] == '+')
4351         return 0;
4352
4353       filename = arg;
4354
4355       return 1;
4356     }
4357
4358   arg++;
4359
4360   if (!strcmp (arg, "-help"))
4361     {
4362       display_help ();
4363       exit_after_options = 1;
4364     }
4365
4366   if (!strcmp (arg, "-target-help"))
4367     {
4368       display_target_options ();
4369       exit_after_options = 1;
4370     }
4371
4372   if (!strcmp (arg, "-version"))
4373     {
4374       print_version (stderr, "");
4375       exit_after_options = 1;
4376     }
4377
4378   /* Handle '--param <name>=<value>'.  */
4379   if (strcmp (arg, "-param") == 0)
4380     {
4381       char *equal;
4382
4383       if (argc == 1)
4384         {
4385           error ("-param option missing argument");
4386           return 1;
4387         }
4388
4389       /* Get the '<name>=<value>' parameter.  */
4390       arg = argv[1];
4391       /* Look for the `='.  */
4392       equal = strchr (arg, '=');
4393       if (!equal)
4394         error ("invalid --param option: %s", arg);
4395       else
4396         {
4397           int val;
4398
4399           /* Zero out the `=' sign so that we get two separate strings.  */
4400           *equal = '\0';
4401           /* Figure out what value is specified.  */
4402           val = read_integral_parameter (equal + 1, NULL, INVALID_PARAM_VAL);
4403           if (val != INVALID_PARAM_VAL)
4404             set_param_value (arg, val);
4405           else
4406             error ("invalid parameter value `%s'", equal + 1);
4407         }
4408
4409       return 2;
4410     }
4411
4412   if (*arg == 'Y')
4413     arg++;
4414
4415   switch (*arg)
4416     {
4417     default:
4418       return 0;
4419
4420     case 'O':
4421       /* Already been treated in main (). Do nothing.  */
4422       break;
4423
4424     case 'm':
4425       set_target_switch (arg + 1);
4426       break;
4427
4428     case 'f':
4429       return decode_f_option (arg + 1);
4430
4431     case 'g':
4432       return decode_g_option (arg + 1);
4433
4434     case 'd':
4435       if (!strcmp (arg, "dumpbase"))
4436         {
4437           if (argc == 1)
4438             return 0;
4439
4440           if (argv[1][0])
4441             dump_base_name = argv[1];
4442           
4443           return 2;
4444         }
4445       else
4446         decode_d_option (arg + 1);
4447       break;
4448
4449     case 'p':
4450       if (!strcmp (arg, "pedantic"))
4451         pedantic = 1;
4452       else if (!strcmp (arg, "pedantic-errors"))
4453         flag_pedantic_errors = pedantic = 1;
4454       else if (arg[1] == 0)
4455         profile_flag = 1;
4456       else
4457         return 0;
4458       break;
4459
4460     case 'q':
4461       if (!strcmp (arg, "quiet"))
4462         quiet_flag = 1;
4463       else
4464         return 0;
4465       break;
4466
4467     case 'v':
4468       if (!strcmp (arg, "version"))
4469         version_flag = 1;
4470       else
4471         return 0;
4472       break;
4473
4474     case 'w':
4475       if (arg[1] == 0)
4476         inhibit_warnings = 1;
4477       else
4478         return 0;
4479       break;
4480
4481     case 'W':
4482       if (arg[1] == 0)
4483         {
4484           extra_warnings = 1;
4485           /* We save the value of warn_uninitialized, since if they put
4486              -Wuninitialized on the command line, we need to generate a
4487              warning about not using it without also specifying -O.  */
4488           if (warn_uninitialized != 1)
4489             warn_uninitialized = 2;
4490         }
4491       else
4492         return decode_W_option (arg + 1);
4493       break;
4494
4495     case 'a':
4496       if (!strncmp (arg, "aux-info", 8))
4497         {
4498           if (arg[8] == '\0')
4499             {
4500               if (argc == 1)
4501                 return 0;
4502
4503               aux_info_file_name = argv[1];
4504               flag_gen_aux_info = 1;
4505               return 2;
4506             }
4507           else if (arg[8] == '=')
4508             {
4509               aux_info_file_name = arg + 9;
4510               flag_gen_aux_info = 1;
4511             }
4512           else
4513             return 0;
4514         }
4515       else if (!strcmp (arg, "auxbase"))
4516         {
4517           if (argc == 1)
4518             return 0;
4519
4520           if (argv[1][0])
4521             aux_base_name = argv[1];
4522           
4523           return 2;
4524         }
4525       else if (!strcmp (arg, "auxbase-strip"))
4526         {
4527           if (argc == 1)
4528             return 0;
4529
4530           if (argv[1][0])
4531             {
4532               strip_off_ending (argv[1], strlen (argv[1]));
4533               if (argv[1][0])
4534                 aux_base_name = argv[1];
4535             }
4536           
4537           return 2;
4538         }
4539       else
4540         return 0;
4541       break;
4542
4543     case 'o':
4544       if (arg[1] == 0)
4545         {
4546           if (argc == 1)
4547             return 0;
4548
4549           asm_file_name = argv[1];
4550           return 2;
4551         }
4552       return 0;
4553
4554     case 'G':
4555       {
4556         int g_switch_val;
4557         int return_val;
4558
4559         if (arg[1] == 0)
4560           {
4561             if (argc == 1)
4562               return 0;
4563
4564             g_switch_val = read_integral_parameter (argv[1], 0, -1);
4565             return_val = 2;
4566           }
4567         else
4568           {
4569             g_switch_val = read_integral_parameter (arg + 1, 0, -1);
4570             return_val = 1;
4571           }
4572
4573         if (g_switch_val == -1)
4574           return_val = 0;
4575         else
4576           {
4577             g_switch_set = TRUE;
4578             g_switch_value = g_switch_val;
4579           }
4580
4581         return return_val;
4582       }
4583     }
4584
4585   return 1;
4586 }
4587 \f
4588 /* Decode -m switches.  */
4589 /* Decode the switch -mNAME.  */
4590
4591 static void
4592 set_target_switch (name)
4593      const char *name;
4594 {
4595   size_t j;
4596   int valid_target_option = 0;
4597
4598   for (j = 0; j < ARRAY_SIZE (target_switches); j++)
4599     if (!strcmp (target_switches[j].name, name))
4600       {
4601         if (target_switches[j].value < 0)
4602           target_flags &= ~-target_switches[j].value;
4603         else
4604           target_flags |= target_switches[j].value;
4605         if (name[0] != 0)
4606           {
4607             if (target_switches[j].value < 0)
4608               target_flags_explicit |= -target_switches[j].value;
4609             else
4610               target_flags_explicit |= target_switches[j].value;
4611           }
4612         valid_target_option = 1;
4613       }
4614
4615 #ifdef TARGET_OPTIONS
4616   if (!valid_target_option)
4617     for (j = 0; j < ARRAY_SIZE (target_options); j++)
4618       {
4619         int len = strlen (target_options[j].prefix);
4620         if (!strncmp (target_options[j].prefix, name, len))
4621           {
4622             *target_options[j].variable = name + len;
4623             valid_target_option = 1;
4624           }
4625       }
4626 #endif
4627
4628   if (!valid_target_option)
4629     error ("invalid option `%s'", name);
4630 }
4631 \f
4632 /* Print version information to FILE.
4633    Each line begins with INDENT (for the case where FILE is the
4634    assembler output file).  */
4635
4636 static void
4637 print_version (file, indent)
4638      FILE *file;
4639      const char *indent;
4640 {
4641 #ifndef __VERSION__
4642 #define __VERSION__ "[?]"
4643 #endif
4644   fnotice (file,
4645 #ifdef __GNUC__
4646            "%s%s%s version %s (%s)\n%s\tcompiled by GNU C version %s.\n"
4647 #else
4648            "%s%s%s version %s (%s) compiled by CC.\n"
4649 #endif
4650            , indent, *indent != 0 ? " " : "",
4651            lang_hooks.name, version_string, TARGET_NAME,
4652            indent, __VERSION__);
4653 }
4654
4655 /* Print an option value and return the adjusted position in the line.
4656    ??? We don't handle error returns from fprintf (disk full); presumably
4657    other code will catch a disk full though.  */
4658
4659 static int
4660 print_single_switch (file, pos, max, indent, sep, term, type, name)
4661      FILE *file;
4662      int pos, max;
4663      const char *indent, *sep, *term, *type, *name;
4664 {
4665   /* The ultrix fprintf returns 0 on success, so compute the result we want
4666      here since we need it for the following test.  */
4667   int len = strlen (sep) + strlen (type) + strlen (name);
4668
4669   if (pos != 0
4670       && pos + len > max)
4671     {
4672       fprintf (file, "%s", term);
4673       pos = 0;
4674     }
4675   if (pos == 0)
4676     {
4677       fprintf (file, "%s", indent);
4678       pos = strlen (indent);
4679     }
4680   fprintf (file, "%s%s%s", sep, type, name);
4681   pos += len;
4682   return pos;
4683 }
4684
4685 /* Print active target switches to FILE.
4686    POS is the current cursor position and MAX is the size of a "line".
4687    Each line begins with INDENT and ends with TERM.
4688    Each switch is separated from the next by SEP.  */
4689
4690 static void
4691 print_switch_values (file, pos, max, indent, sep, term)
4692      FILE *file;
4693      int pos, max;
4694      const char *indent, *sep, *term;
4695 {
4696   size_t j;
4697   char **p;
4698
4699   /* Print the options as passed.  */
4700
4701   pos = print_single_switch (file, pos, max, indent, *indent ? " " : "", term,
4702                              _("options passed: "), "");
4703
4704   for (p = &save_argv[1]; *p != NULL; p++)
4705     if (**p == '-')
4706       {
4707         /* Ignore these.  */
4708         if (strcmp (*p, "-o") == 0)
4709           {
4710             if (p[1] != NULL)
4711               p++;
4712             continue;
4713           }
4714         if (strcmp (*p, "-quiet") == 0)
4715           continue;
4716         if (strcmp (*p, "-version") == 0)
4717           continue;
4718         if ((*p)[1] == 'd')
4719           continue;
4720
4721         pos = print_single_switch (file, pos, max, indent, sep, term, *p, "");
4722       }
4723   if (pos > 0)
4724     fprintf (file, "%s", term);
4725
4726   /* Print the -f and -m options that have been enabled.
4727      We don't handle language specific options but printing argv
4728      should suffice.  */
4729
4730   pos = print_single_switch (file, 0, max, indent, *indent ? " " : "", term,
4731                              _("options enabled: "), "");
4732
4733   for (j = 0; j < ARRAY_SIZE (f_options); j++)
4734     if (*f_options[j].variable == f_options[j].on_value)
4735       pos = print_single_switch (file, pos, max, indent, sep, term,
4736                                  "-f", f_options[j].string);
4737
4738   /* Print target specific options.  */
4739
4740   for (j = 0; j < ARRAY_SIZE (target_switches); j++)
4741     if (target_switches[j].name[0] != '\0'
4742         && target_switches[j].value > 0
4743         && ((target_switches[j].value & target_flags)
4744             == target_switches[j].value))
4745       {
4746         pos = print_single_switch (file, pos, max, indent, sep, term,
4747                                    "-m", target_switches[j].name);
4748       }
4749
4750 #ifdef TARGET_OPTIONS
4751   for (j = 0; j < ARRAY_SIZE (target_options); j++)
4752     if (*target_options[j].variable != NULL)
4753       {
4754         char prefix[256];
4755         sprintf (prefix, "-m%s", target_options[j].prefix);
4756         pos = print_single_switch (file, pos, max, indent, sep, term,
4757                                    prefix, *target_options[j].variable);
4758       }
4759 #endif
4760
4761   fprintf (file, "%s", term);
4762 }
4763 \f
4764 /* Open assembly code output file.  Do this even if -fsyntax-only is
4765    on, because then the driver will have provided the name of a
4766    temporary file or bit bucket for us.  NAME is the file specified on
4767    the command line, possibly NULL.  */
4768 static void
4769 init_asm_output (name)
4770      const char *name;
4771 {
4772   if (name == NULL && asm_file_name == 0)
4773     asm_out_file = stdout;
4774   else
4775     {
4776       if (asm_file_name == 0)
4777         {
4778           int len = strlen (dump_base_name);
4779           char *dumpname = (char *) xmalloc (len + 6);
4780           memcpy (dumpname, dump_base_name, len + 1);
4781           strip_off_ending (dumpname, len);
4782           strcat (dumpname, ".s");
4783           asm_file_name = dumpname;
4784         }
4785       if (!strcmp (asm_file_name, "-"))
4786         asm_out_file = stdout;
4787       else
4788         asm_out_file = fopen (asm_file_name, "w+");
4789       if (asm_out_file == 0)
4790         fatal_io_error ("can't open %s for writing", asm_file_name);
4791     }
4792
4793 #ifdef IO_BUFFER_SIZE
4794   setvbuf (asm_out_file, (char *) xmalloc (IO_BUFFER_SIZE),
4795            _IOFBF, IO_BUFFER_SIZE);
4796 #endif
4797
4798   if (!flag_syntax_only)
4799     {
4800 #ifdef ASM_FILE_START
4801       ASM_FILE_START (asm_out_file);
4802 #endif
4803
4804 #ifdef ASM_COMMENT_START
4805       if (flag_verbose_asm)
4806         {
4807           /* Print the list of options in effect.  */
4808           print_version (asm_out_file, ASM_COMMENT_START);
4809           print_switch_values (asm_out_file, 0, MAX_LINE,
4810                                ASM_COMMENT_START, " ", "\n");
4811           /* Add a blank line here so it appears in assembler output but not
4812              screen output.  */
4813           fprintf (asm_out_file, "\n");
4814         }
4815 #endif
4816     }
4817 }
4818 \f
4819 /* Initialization of the front end environment, before command line
4820    options are parsed.  Signal handlers, internationalization etc.
4821    ARGV0 is main's argv[0].  */
4822 static void
4823 general_init (argv0)
4824      char *argv0;
4825 {
4826   char *p;
4827
4828   p = argv0 + strlen (argv0);
4829   while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
4830     --p;
4831   progname = p;
4832
4833   xmalloc_set_program_name (progname);
4834
4835   hex_init ();
4836
4837   gcc_init_libintl ();
4838
4839   /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages.  */
4840 #ifdef SIGSEGV
4841   signal (SIGSEGV, crash_signal);
4842 #endif
4843 #ifdef SIGILL
4844   signal (SIGILL, crash_signal);
4845 #endif
4846 #ifdef SIGBUS
4847   signal (SIGBUS, crash_signal);
4848 #endif
4849 #ifdef SIGABRT
4850   signal (SIGABRT, crash_signal);
4851 #endif
4852 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
4853   signal (SIGIOT, crash_signal);
4854 #endif
4855 #ifdef SIGFPE
4856   signal (SIGFPE, crash_signal);
4857 #endif
4858
4859   /* Other host-specific signal setup.  */
4860   (*host_hooks.extra_signals)();
4861
4862   /* Initialize the diagnostics reporting machinery, so option parsing
4863      can give warnings and errors.  */
4864   diagnostic_initialize (global_dc);
4865
4866   /* Initialize the garbage-collector, string pools and tree type hash
4867      table.  */
4868   init_ggc ();
4869   init_stringpool ();
4870   init_ttree ();
4871 }
4872 \f
4873 /* Parse command line options and set default flag values, called
4874    after language-independent option-independent initialization.  Do
4875    minimal options processing.  Outputting diagnostics is OK, but GC
4876    and identifier hashtables etc. are not initialized yet.
4877
4878    Return nonzero to suppress compiler back end initialization.  */
4879 static void
4880 parse_options_and_default_flags (argc, argv)
4881      int argc;
4882      char **argv;
4883 {
4884   int i;
4885
4886   /* Save in case md file wants to emit args as a comment.  */
4887   save_argc = argc;
4888   save_argv = argv;
4889
4890   /* Initialize register usage now so switches may override.  */
4891   init_reg_sets ();
4892
4893   /* Register the language-independent parameters.  */
4894   add_params (lang_independent_params, LAST_PARAM);
4895
4896   /* Perform language-specific options initialization.  */
4897   (*lang_hooks.init_options) ();
4898
4899   /* Scan to see what optimization level has been specified.  That will
4900      determine the default value of many flags.  */
4901   for (i = 1; i < argc; i++)
4902     {
4903       if (!strcmp (argv[i], "-O"))
4904         {
4905           optimize = 1;
4906           optimize_size = 0;
4907         }
4908       else if (argv[i][0] == '-' && argv[i][1] == 'O')
4909         {
4910           /* Handle -Os, -O2, -O3, -O69, ...  */
4911           char *p = &argv[i][2];
4912
4913           if ((p[0] == 's') && (p[1] == 0))
4914             {
4915               optimize_size = 1;
4916
4917               /* Optimizing for size forces optimize to be 2.  */
4918               optimize = 2;
4919             }
4920           else
4921             {
4922               const int optimize_val = read_integral_parameter (p, p - 2, -1);
4923               if (optimize_val != -1)
4924                 {
4925                   optimize = optimize_val;
4926                   optimize_size = 0;
4927                 }
4928             }
4929         }
4930     }
4931
4932   if (!optimize)
4933     {
4934       flag_merge_constants = 0;
4935     }
4936
4937   if (optimize >= 1)
4938     {
4939       flag_defer_pop = 1;
4940       flag_thread_jumps = 1;
4941 #ifdef DELAY_SLOTS
4942       flag_delayed_branch = 1;
4943 #endif
4944 #ifdef CAN_DEBUG_WITHOUT_FP
4945       flag_omit_frame_pointer = 1;
4946 #endif
4947       flag_guess_branch_prob = 1;
4948       flag_cprop_registers = 1;
4949       flag_loop_optimize = 1;
4950       flag_crossjumping = 1;
4951       flag_if_conversion = 1;
4952       flag_if_conversion2 = 1;
4953     }
4954
4955   if (optimize >= 2)
4956     {
4957       flag_optimize_sibling_calls = 1;
4958       flag_cse_follow_jumps = 1;
4959       flag_cse_skip_blocks = 1;
4960       flag_gcse = 1;
4961       flag_expensive_optimizations = 1;
4962       flag_strength_reduce = 1;
4963       flag_rerun_cse_after_loop = 1;
4964       flag_rerun_loop_opt = 1;
4965       flag_caller_saves = 1;
4966       flag_force_mem = 1;
4967       flag_peephole2 = 1;
4968 #ifdef INSN_SCHEDULING
4969       flag_schedule_insns = 1;
4970       flag_schedule_insns_after_reload = 1;
4971 #endif
4972       flag_regmove = 1;
4973       flag_strict_aliasing = 1;
4974       flag_delete_null_pointer_checks = 1;
4975       flag_reorder_blocks = 1;
4976       flag_reorder_functions = 1;
4977     }
4978
4979   if (optimize >= 3)
4980     {
4981       flag_inline_functions = 1;
4982       flag_rename_registers = 1;
4983       flag_unswitch_loops = 1;
4984     }
4985
4986   if (optimize < 2 || optimize_size)
4987     {
4988       align_loops = 1;
4989       align_jumps = 1;
4990       align_labels = 1;
4991       align_functions = 1;
4992
4993       /* Don't reorder blocks when optimizing for size because extra
4994          jump insns may be created; also barrier may create extra padding.
4995
4996          More correctly we should have a block reordering mode that tried
4997          to minimize the combined size of all the jumps.  This would more
4998          or less automatically remove extra jumps, but would also try to
4999          use more short jumps instead of long jumps.  */
5000       flag_reorder_blocks = 0;
5001     }
5002
5003   /* Initialize whether `char' is signed.  */
5004   flag_signed_char = DEFAULT_SIGNED_CHAR;
5005 #ifdef DEFAULT_SHORT_ENUMS
5006   /* Initialize how much space enums occupy, by default.  */
5007   flag_short_enums = DEFAULT_SHORT_ENUMS;
5008 #endif
5009
5010   /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
5011      modify it.  */
5012   target_flags = 0;
5013   set_target_switch ("");
5014
5015   /* Unwind tables are always present in an ABI-conformant IA-64
5016      object file, so the default should be ON.  */
5017 #ifdef IA64_UNWIND_INFO
5018   flag_unwind_tables = IA64_UNWIND_INFO;
5019 #endif
5020
5021 #ifdef OPTIMIZATION_OPTIONS
5022   /* Allow default optimizations to be specified on a per-machine basis.  */
5023   OPTIMIZATION_OPTIONS (optimize, optimize_size);
5024 #endif
5025
5026   /* Perform normal command line switch decoding.  */
5027   for (i = 1; i < argc;)
5028     {
5029       int lang_processed;
5030       int indep_processed;
5031
5032       /* Give the language a chance to decode the option for itself.  */
5033       lang_processed = (*lang_hooks.decode_option) (argc - i, argv + i);
5034
5035       if (lang_processed >= 0)
5036         /* Now see if the option also has a language independent meaning.
5037            Some options are both language specific and language independent,
5038            eg --help.  */
5039         indep_processed = independent_decode_option (argc - i, argv + i);
5040       else
5041         {
5042           lang_processed = -lang_processed;
5043           indep_processed = 0;
5044         }
5045
5046       if (lang_processed || indep_processed)
5047         i += MAX (lang_processed, indep_processed);
5048       else
5049         {
5050           const char *option = NULL;
5051           const char *lang = NULL;
5052           unsigned int j;
5053
5054           /* It is possible that the command line switch is not valid for the
5055              current language, but it is valid for another language.  In order
5056              to be compatible with previous versions of the compiler (which
5057              did not issue an error message in this case) we check for this
5058              possibility here.  If we do find a match, then if extra_warnings
5059              is set we generate a warning message, otherwise we will just
5060              ignore the option.  */
5061           for (j = 0; j < ARRAY_SIZE (documented_lang_options); j++)
5062             {
5063               option = documented_lang_options[j].option;
5064
5065               if (option == NULL)
5066                 lang = documented_lang_options[j].description;
5067               else if (! strncmp (argv[i], option, strlen (option)))
5068                 break;
5069             }
5070
5071           if (j != ARRAY_SIZE (documented_lang_options))
5072             {
5073               if (extra_warnings)
5074                 {
5075                   warning ("ignoring command line option '%s'", argv[i]);
5076                   if (lang)
5077                     warning
5078                       ("(it is valid for %s but not the selected language)",
5079                        lang);
5080                 }
5081             }
5082           else if (argv[i][0] == '-' && argv[i][1] == 'g')
5083             warning ("`%s': unknown or unsupported -g option", &argv[i][2]);
5084           else
5085             error ("unrecognized option `%s'", argv[i]);
5086
5087           i++;
5088         }
5089     }
5090
5091   if (flag_no_inline == 2)
5092     flag_no_inline = 0;
5093   else
5094     flag_really_no_inline = flag_no_inline;
5095
5096   /* Set flag_no_inline before the post_options () hook.  The C front
5097      ends use it to determine tree inlining defaults.  FIXME: such
5098      code should be lang-independent when all front ends use tree
5099      inlining, in which case it, and this condition, should be moved
5100      to the top of process_options() instead.  */
5101   if (optimize == 0)
5102     {
5103       /* Inlining does not work if not optimizing,
5104          so force it not to be done.  */
5105       flag_no_inline = 1;
5106       warn_inline = 0;
5107
5108       /* The c_decode_option function and decode_option hook set
5109          this to `2' if -Wall is used, so we can avoid giving out
5110          lots of errors for people who don't realize what -Wall does.  */
5111       if (warn_uninitialized == 1)
5112         warning ("-Wuninitialized is not supported without -O");
5113     }
5114
5115   if (flag_really_no_inline == 2)
5116     flag_really_no_inline = flag_no_inline;
5117 }
5118 \f
5119 /* Process the options that have been parsed.  */
5120 static void
5121 process_options ()
5122 {
5123 #ifdef OVERRIDE_OPTIONS
5124   /* Some machines may reject certain combinations of options.  */
5125   OVERRIDE_OPTIONS;
5126 #endif
5127
5128   /* Set up the align_*_log variables, defaulting them to 1 if they
5129      were still unset.  */
5130   if (align_loops <= 0) align_loops = 1;
5131   if (align_loops_max_skip > align_loops || !align_loops)
5132     align_loops_max_skip = align_loops - 1;
5133   align_loops_log = floor_log2 (align_loops * 2 - 1);
5134   if (align_jumps <= 0) align_jumps = 1;
5135   if (align_jumps_max_skip > align_jumps || !align_jumps)
5136     align_jumps_max_skip = align_jumps - 1;
5137   align_jumps_log = floor_log2 (align_jumps * 2 - 1);
5138   if (align_labels <= 0) align_labels = 1;
5139   align_labels_log = floor_log2 (align_labels * 2 - 1);
5140   if (align_labels_max_skip > align_labels || !align_labels)
5141     align_labels_max_skip = align_labels - 1;
5142   if (align_functions <= 0) align_functions = 1;
5143   align_functions_log = floor_log2 (align_functions * 2 - 1);
5144
5145   /* Unrolling all loops implies that standard loop unrolling must also
5146      be done.  */
5147   if (flag_unroll_all_loops)
5148     flag_unroll_loops = 1;
5149   /* Loop unrolling requires that strength_reduction be on also.  Silently
5150      turn on strength reduction here if it isn't already on.  Also, the loop
5151      unrolling code assumes that cse will be run after loop, so that must
5152      be turned on also.  */
5153   if (flag_unroll_loops)
5154     {
5155       flag_strength_reduce = 1;
5156       flag_rerun_cse_after_loop = 1;
5157     }
5158
5159   if (flag_non_call_exceptions)
5160     flag_asynchronous_unwind_tables = 1;
5161   if (flag_asynchronous_unwind_tables)
5162     flag_unwind_tables = 1;
5163
5164   /* Disable unit-at-a-time mode for frontends not supporting callgraph
5165      interface.  */
5166   if (flag_unit_at_a_time && ! lang_hooks.callgraph.expand_function)
5167     flag_unit_at_a_time = 0;
5168
5169   /* Warn about options that are not supported on this machine.  */
5170 #ifndef INSN_SCHEDULING
5171   if (flag_schedule_insns || flag_schedule_insns_after_reload)
5172     warning ("instruction scheduling not supported on this target machine");
5173 #endif
5174 #ifndef DELAY_SLOTS
5175   if (flag_delayed_branch)
5176     warning ("this target machine does not have delayed branches");
5177 #endif
5178
5179   user_label_prefix = USER_LABEL_PREFIX;
5180   if (flag_leading_underscore != -1)
5181     {
5182       /* If the default prefix is more complicated than "" or "_",
5183          issue a warning and ignore this option.  */
5184       if (user_label_prefix[0] == 0 ||
5185           (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
5186         {
5187           user_label_prefix = flag_leading_underscore ? "_" : "";
5188         }
5189       else
5190         warning ("-f%sleading-underscore not supported on this target machine",
5191                  flag_leading_underscore ? "" : "no-");
5192     }
5193
5194   /* If we are in verbose mode, write out the version and maybe all the
5195      option flags in use.  */
5196   if (version_flag)
5197     {
5198       print_version (stderr, "");
5199       if (! quiet_flag)
5200         print_switch_values (stderr, 0, MAX_LINE, "", " ", "\n");
5201     }
5202
5203   if (! quiet_flag)
5204     time_report = 1;
5205
5206   if (flag_syntax_only)
5207     {
5208       write_symbols = NO_DEBUG;
5209       profile_flag = 0;
5210     }
5211
5212   /* Now we know write_symbols, set up the debug hooks based on it.
5213      By default we do nothing for debug output.  */
5214 #if defined(DBX_DEBUGGING_INFO)
5215   if (write_symbols == DBX_DEBUG)
5216     debug_hooks = &dbx_debug_hooks;
5217 #endif
5218 #if defined(XCOFF_DEBUGGING_INFO)
5219   if (write_symbols == XCOFF_DEBUG)
5220     debug_hooks = &xcoff_debug_hooks;
5221 #endif
5222 #ifdef SDB_DEBUGGING_INFO
5223   if (write_symbols == SDB_DEBUG)
5224     debug_hooks = &sdb_debug_hooks;
5225 #endif
5226 #ifdef DWARF_DEBUGGING_INFO
5227   if (write_symbols == DWARF_DEBUG)
5228     debug_hooks = &dwarf_debug_hooks;
5229 #endif
5230 #ifdef DWARF2_DEBUGGING_INFO
5231   if (write_symbols == DWARF2_DEBUG)
5232     debug_hooks = &dwarf2_debug_hooks;
5233 #endif
5234 #ifdef VMS_DEBUGGING_INFO
5235   if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
5236     debug_hooks = &vmsdbg_debug_hooks;
5237 #endif
5238
5239   /* If auxiliary info generation is desired, open the output file.
5240      This goes in the same directory as the source file--unlike
5241      all the other output files.  */
5242   if (flag_gen_aux_info)
5243     {
5244       aux_info_file = fopen (aux_info_file_name, "w");
5245       if (aux_info_file == 0)
5246         fatal_io_error ("can't open %s", aux_info_file_name);
5247     }
5248
5249   if (! targetm.have_named_sections)
5250     {
5251       if (flag_function_sections)
5252         {
5253           warning ("-ffunction-sections not supported for this target");
5254           flag_function_sections = 0;
5255         }
5256       if (flag_data_sections)
5257         {
5258           warning ("-fdata-sections not supported for this target");
5259           flag_data_sections = 0;
5260         }
5261     }
5262
5263   if (flag_function_sections && profile_flag)
5264     {
5265       warning ("-ffunction-sections disabled; it makes profiling impossible");
5266       flag_function_sections = 0;
5267     }
5268
5269 #ifndef HAVE_prefetch
5270   if (flag_prefetch_loop_arrays)
5271     {
5272       warning ("-fprefetch-loop-arrays not supported for this target");
5273       flag_prefetch_loop_arrays = 0;
5274     }
5275 #else
5276   if (flag_prefetch_loop_arrays && !HAVE_prefetch)
5277     {
5278       warning ("-fprefetch-loop-arrays not supported for this target (try -march switches)");
5279       flag_prefetch_loop_arrays = 0;
5280     }
5281 #endif
5282
5283   /* This combination of options isn't handled for i386 targets and doesn't
5284      make much sense anyway, so don't allow it.  */
5285   if (flag_prefetch_loop_arrays && optimize_size)
5286     {
5287       warning ("-fprefetch-loop-arrays is not supported with -Os");
5288       flag_prefetch_loop_arrays = 0;
5289     }
5290
5291 #ifndef OBJECT_FORMAT_ELF
5292   if (flag_function_sections && write_symbols != NO_DEBUG)
5293     warning ("-ffunction-sections may affect debugging on some targets");
5294 #endif
5295
5296     /* The presence of IEEE signaling NaNs, implies all math can trap.  */
5297     if (flag_signaling_nans)
5298       flag_trapping_math = 1;
5299 }
5300 \f
5301 /* Initialize the compiler back end.  */
5302 static void
5303 backend_init ()
5304 {
5305   /* init_emit_once uses reg_raw_mode and therefore must be called
5306      after init_regs which initialized reg_raw_mode.  */
5307   init_regs ();
5308   init_emit_once (debug_info_level == DINFO_LEVEL_NORMAL
5309                   || debug_info_level == DINFO_LEVEL_VERBOSE
5310 #ifdef VMS_DEBUGGING_INFO
5311                     /* Enable line number info for traceback */
5312                     || debug_info_level > DINFO_LEVEL_NONE
5313 #endif
5314                     || flag_test_coverage
5315                     || warn_notreached);
5316   init_fake_stack_mems ();
5317   init_alias_once ();
5318   init_loop ();
5319   init_reload ();
5320   init_function_once ();
5321   init_varasm_once ();
5322
5323   /* The following initialization functions need to generate rtl, so
5324      provide a dummy function context for them.  */
5325   init_dummy_function_start ();
5326   init_expmed ();
5327   if (flag_caller_saves)
5328     init_caller_save ();
5329   expand_dummy_function_end ();
5330 }
5331 \f
5332 /* Language-dependent initialization.  Returns nonzero on success.  */
5333 static int
5334 lang_dependent_init (name)
5335      const char *name;
5336 {
5337   if (dump_base_name == 0)
5338     dump_base_name = name ? name : "gccdump";
5339   
5340   /* Front-end initialization.  This hook can assume that GC,
5341      identifier hashes etc. are set up, but debug initialization is
5342      not done yet.  This routine must return the original filename
5343      (e.g. foo.i -> foo.c) so can correctly initialize debug output.  */
5344   name = (*lang_hooks.init) (name);
5345   if (name == NULL)
5346     return 0;
5347
5348   /* Is this duplication necessary?  */
5349   name = ggc_strdup (name);
5350   main_input_filename = input_filename = name;
5351   init_asm_output (name);
5352
5353   /* These create various _DECL nodes, so need to be called after the
5354      front end is initialized.  */
5355   init_eh ();
5356   init_optabs ();
5357
5358   /* The following initialization functions need to generate rtl, so
5359      provide a dummy function context for them.  */
5360   init_dummy_function_start ();
5361   init_expr_once ();
5362   expand_dummy_function_end ();
5363
5364   /* Put an entry on the input file stack for the main input file.  */
5365   push_srcloc (input_filename, 0);
5366
5367   /* If dbx symbol table desired, initialize writing it and output the
5368      predefined types.  */
5369   timevar_push (TV_SYMOUT);
5370
5371 #ifdef DWARF2_UNWIND_INFO
5372   if (dwarf2out_do_frame ())
5373     dwarf2out_frame_init ();
5374 #endif
5375
5376   /* Now we have the correct original filename, we can initialize
5377      debug output.  */
5378   (*debug_hooks->init) (name);
5379
5380   timevar_pop (TV_SYMOUT);
5381
5382   return 1;
5383 }
5384 \f
5385 /* Clean up: close opened files, etc.  */
5386
5387 static void
5388 finalize ()
5389 {
5390   /* Close the dump files.  */
5391   if (flag_gen_aux_info)
5392     {
5393       fclose (aux_info_file);
5394       if (errorcount)
5395         unlink (aux_info_file_name);
5396     }
5397
5398   /* Close non-debugging input and output files.  Take special care to note
5399      whether fclose returns an error, since the pages might still be on the
5400      buffer chain while the file is open.  */
5401
5402   if (asm_out_file)
5403     {
5404       if (ferror (asm_out_file) != 0)
5405         fatal_io_error ("error writing to %s", asm_file_name);
5406       if (fclose (asm_out_file) != 0)
5407         fatal_io_error ("error closing %s", asm_file_name);
5408     }
5409
5410   /* Do whatever is necessary to finish printing the graphs.  */
5411   if (graph_dump_format != no_graph)
5412     {
5413       int i;
5414
5415       for (i = 0; i < (int) DFI_MAX; ++i)
5416         if (dump_file[i].initialized && dump_file[i].graph_dump_p)
5417           {
5418             char seq[16];
5419             char *suffix;
5420
5421             sprintf (seq, DUMPFILE_FORMAT, i);
5422             suffix = concat (seq, dump_file[i].extension, NULL);
5423             finish_graph_dump_file (dump_base_name, suffix);
5424             free (suffix);
5425           }
5426     }
5427
5428   if (mem_report)
5429     {
5430       ggc_print_statistics ();
5431       stringpool_statistics ();
5432       dump_tree_statistics ();
5433     }
5434
5435   /* Free up memory for the benefit of leak detectors.  */
5436   free_reg_info ();
5437
5438   /* Language-specific end of compilation actions.  */
5439   (*lang_hooks.finish) ();
5440 }
5441 \f
5442 /* Initialize the compiler, and compile the input file.  */
5443 static void
5444 do_compile ()
5445 {
5446   /* All command line options have been parsed; allow the front end to
5447      perform consistency checks, etc.  */
5448   bool no_backend = (*lang_hooks.post_options) ();
5449
5450   /* The bulk of command line switch processing.  */
5451   process_options ();
5452
5453   /* If an error has already occurred, give up.  */
5454   if (errorcount)
5455     return;
5456
5457   if (aux_base_name)
5458     /*NOP*/;
5459   else if (filename)
5460     {
5461       char *name = xstrdup (lbasename (filename));
5462       
5463       aux_base_name = name;
5464       strip_off_ending (name, strlen (name));
5465     }
5466   else
5467     aux_base_name = "gccaux";
5468
5469   /* We cannot start timing until after options are processed since that
5470      says if we run timers or not.  */
5471   init_timevar ();
5472   timevar_start (TV_TOTAL);
5473
5474   /* Set up the back-end if requested.  */
5475   if (!no_backend)
5476     backend_init ();
5477
5478   /* Language-dependent initialization.  Returns true on success.  */
5479   if (lang_dependent_init (filename))
5480     compile_file ();
5481
5482   finalize ();
5483
5484   /* Stop timing and print the times.  */
5485   timevar_stop (TV_TOTAL);
5486   timevar_print (stderr);
5487 }
5488 \f
5489 /* Entry point of cc1, cc1plus, jc1, f771, etc.
5490    Decode command args, then call compile_file.
5491    Exit code is FATAL_EXIT_CODE if can't open files or if there were
5492    any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
5493
5494    It is not safe to call this function more than once.  */
5495
5496 int
5497 toplev_main (argc, argv)
5498      int argc;
5499      char **argv;
5500 {
5501   /* Initialization of GCC's environment, and diagnostics.  */
5502   general_init (argv[0]);
5503
5504   /* Parse the options and do minimal processing; basically just
5505      enough to default flags appropriately.  */
5506   parse_options_and_default_flags (argc, argv);
5507
5508   /* Exit early if we can (e.g. -help).  */
5509   if (!exit_after_options)
5510     do_compile ();
5511
5512   if (errorcount || sorrycount)
5513     return (FATAL_EXIT_CODE);
5514
5515   return (SUCCESS_EXIT_CODE);
5516 }