OSDN Git Service

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