OSDN Git Service

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