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