OSDN Git Service

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