OSDN Git Service

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