rtl.def (CALL_PLACEHOLDER): New rtx code.
[gcc.git] / gcc / toplev.c
1 /* Top level of GNU C compiler
2 Copyright (C) 1987, 88, 89, 92-98, 1999 Free Software Foundation, Inc.
3
4 This file is part of GNU CC.
5
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
10
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
20
21 /* This is the top level of cc1/c++.
22 It parses command args, opens files, invokes the various passes
23 in the proper order, and counts the time used by each.
24 Error messages and low-level interface to malloc also handled here. */
25
26 #include "config.h"
27 #undef FLOAT /* This is for hpux. They should change hpux. */
28 #undef FFS /* Some systems define this in param.h. */
29 #include "system.h"
30 #include <signal.h>
31 #include <setjmp.h>
32
33 #ifdef HAVE_SYS_RESOURCE_H
34 # include <sys/resource.h>
35 #endif
36
37 #ifdef HAVE_SYS_TIMES_H
38 # include <sys/times.h>
39 #endif
40
41 #include "input.h"
42 #include "tree.h"
43 #include "rtl.h"
44 #include "flags.h"
45 #include "insn-attr.h"
46 #include "insn-codes.h"
47 #include "insn-config.h"
48 #include "recog.h"
49 #include "defaults.h"
50 #include "output.h"
51 #include "except.h"
52 #include "toplev.h"
53 #include "expr.h"
54
55 #ifdef DWARF_DEBUGGING_INFO
56 #include "dwarfout.h"
57 #endif
58
59 #if defined (DWARF2_UNWIND_INFO) || defined (DWARF2_DEBUGGING_INFO)
60 #include "dwarf2out.h"
61 #endif
62
63 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
64 #include "dbxout.h"
65 #endif
66
67 #ifdef SDB_DEBUGGING_INFO
68 #include "sdbout.h"
69 #endif
70
71 #ifdef XCOFF_DEBUGGING_INFO
72 #include "xcoffout.h"
73 #endif
74 \f
75 #ifdef VMS
76 /* The extra parameters substantially improve the I/O performance. */
77 static FILE *
78 vms_fopen (fname, type)
79 char * fname;
80 char * type;
81 {
82 /* The <stdio.h> in the gcc-vms-1.42 distribution prototypes fopen with two
83 fixed arguments, which matches ANSI's specification but not VAXCRTL's
84 pre-ANSI implementation. This hack circumvents the mismatch problem. */
85 FILE *(*vmslib_fopen)() = (FILE *(*)()) fopen;
86
87 if (*type == 'w')
88 return (*vmslib_fopen) (fname, type, "mbc=32",
89 "deq=64", "fop=tef", "shr=nil");
90 else
91 return (*vmslib_fopen) (fname, type, "mbc=32");
92 }
93 #define fopen vms_fopen
94 #endif /* VMS */
95
96 #ifndef DEFAULT_GDB_EXTENSIONS
97 #define DEFAULT_GDB_EXTENSIONS 1
98 #endif
99
100 /* If more than one debugging type is supported, you must define
101 PREFERRED_DEBUGGING_TYPE to choose a format in a system-dependent way.
102
103 This is one long line cause VAXC can't handle a \-newline. */
104 #if 1 < (defined (DBX_DEBUGGING_INFO) + defined (SDB_DEBUGGING_INFO) + defined (DWARF_DEBUGGING_INFO) + defined (DWARF2_DEBUGGING_INFO) + defined (XCOFF_DEBUGGING_INFO))
105 #ifndef PREFERRED_DEBUGGING_TYPE
106 You Lose! You must define PREFERRED_DEBUGGING_TYPE!
107 #endif /* no PREFERRED_DEBUGGING_TYPE */
108 #else /* Only one debugging format supported. Define PREFERRED_DEBUGGING_TYPE
109 so the following code needn't care. */
110 #ifdef DBX_DEBUGGING_INFO
111 #define PREFERRED_DEBUGGING_TYPE DBX_DEBUG
112 #endif
113 #ifdef SDB_DEBUGGING_INFO
114 #define PREFERRED_DEBUGGING_TYPE SDB_DEBUG
115 #endif
116 #ifdef DWARF_DEBUGGING_INFO
117 #define PREFERRED_DEBUGGING_TYPE DWARF_DEBUG
118 #endif
119 #ifdef DWARF2_DEBUGGING_INFO
120 #define PREFERRED_DEBUGGING_TYPE DWARF2_DEBUG
121 #endif
122 #ifdef XCOFF_DEBUGGING_INFO
123 #define PREFERRED_DEBUGGING_TYPE XCOFF_DEBUG
124 #endif
125 #endif /* More than one debugger format enabled. */
126
127 /* If still not defined, must have been because no debugging formats
128 are supported. */
129 #ifndef PREFERRED_DEBUGGING_TYPE
130 #define PREFERRED_DEBUGGING_TYPE NO_DEBUG
131 #endif
132
133 extern int rtx_equal_function_value_matters;
134
135 #if ! (defined (VMS) || defined (OS2))
136 extern char **environ;
137 #endif
138 extern char *version_string, *language_string;
139
140 /* Carry information from ASM_DECLARE_OBJECT_NAME
141 to ASM_FINISH_DECLARE_OBJECT. */
142
143 extern int size_directive_output;
144 extern tree last_assemble_variable_decl;
145
146 extern char *init_parse PVPROTO((char *));
147 extern void finish_parse ();
148 extern void init_decl_processing ();
149 extern void init_obstacks ();
150 extern void init_tree_codes ();
151 extern void init_rtl ();
152 extern void init_regs ();
153 extern void init_optabs ();
154 extern void init_stmt ();
155 extern void init_reg_sets ();
156 extern void dump_flow_info ();
157 extern void dump_sched_info ();
158 extern void dump_local_alloc ();
159 extern void regset_release_memory ();
160
161 extern void print_rtl ();
162 extern void print_rtl_with_bb ();
163
164 void rest_of_decl_compilation ();
165 static void set_target_switch PROTO((const char *));
166 static char *decl_name PROTO((tree, int));
167 static void vmessage PROTO((const char *, const char *, va_list));
168 static void v_message_with_file_and_line PROTO((const char *, int,
169 const char *, const char *,
170 va_list));
171 static void v_message_with_decl PROTO((tree, const char *,
172 const char *, va_list));
173 static void file_and_line_for_asm PROTO((rtx, char **, int *));
174 static void v_error_with_file_and_line PROTO((const char *, int,
175 const char *, va_list));
176 static void v_error_with_decl PROTO((tree, const char *, va_list));
177 static void v_error_for_asm PROTO((rtx, const char *, va_list));
178 static void verror PROTO((const char *, va_list));
179 static void vfatal PROTO((const char *, va_list)) ATTRIBUTE_NORETURN;
180 static void v_warning_with_file_and_line PROTO ((const char *, int,
181 const char *, va_list));
182 static void v_warning_with_decl PROTO((tree, const char *, va_list));
183 static void v_warning_for_asm PROTO((rtx, const char *, va_list));
184 static void vwarning PROTO((const char *, va_list));
185 static void vpedwarn PROTO((const char *, va_list));
186 static void v_pedwarn_with_decl PROTO((tree, const char *, va_list));
187 static void v_pedwarn_with_file_and_line PROTO((const char *, int,
188 const char *, va_list));
189 static void vsorry PROTO((const char *, va_list));
190 static void v_really_sorry PROTO((const char *, va_list)) ATTRIBUTE_NORETURN;
191 static void float_signal PROTO((int)) ATTRIBUTE_NORETURN;
192 static void pipe_closed PROTO((int)) ATTRIBUTE_NORETURN;
193 #ifdef ASM_IDENTIFY_LANGUAGE
194 /* This might or might not be used in ASM_IDENTIFY_LANGUAGE. */
195 static void output_lang_identify PROTO((FILE *)) ATTRIBUTE_UNUSED;
196 #endif
197 static void open_dump_file PROTO((const char *, const char *));
198 static void close_dump_file PROTO((void (*) (FILE *, rtx), rtx));
199 static void dump_rtl PROTO((const char *, tree, void (*) (FILE *, rtx), rtx));
200 static void clean_dump_file PROTO((const char *));
201 static void compile_file PROTO((char *));
202 static void display_help PROTO ((void));
203
204 static void print_version PROTO((FILE *, const char *));
205 static int print_single_switch PROTO((FILE *, int, int, const char *,
206 const char *, const char *,
207 const char *, const char *));
208 static void print_switch_values PROTO((FILE *, int, int, const char *,
209 const char *, const char *));
210
211 void print_rtl_graph_with_bb PROTO ((const char *, const char *, rtx));
212 void clean_graph_dump_file PROTO ((const char *, const char *));
213 void finish_graph_dump_file PROTO ((const char *, const char *));
214 /* Length of line when printing switch values. */
215 #define MAX_LINE 75
216
217 /* Name of program invoked, sans directories. */
218
219 char *progname;
220
221 /* Copy of arguments to main. */
222 int save_argc;
223 char **save_argv;
224 \f
225 /* Name of current original source file (what was input to cpp).
226 This comes from each #-command in the actual input. */
227
228 char *input_filename;
229
230 /* Name of top-level original source file (what was input to cpp).
231 This comes from the #-command at the beginning of the actual input.
232 If there isn't any there, then this is the cc1 input file name. */
233
234 char *main_input_filename;
235
236 /* Current line number in real source file. */
237
238 int lineno;
239
240 /* Nonzero if it is unsafe to create any new pseudo registers. */
241 int no_new_pseudos;
242
243 /* Stack of currently pending input files. */
244
245 struct file_stack *input_file_stack;
246
247 /* Incremented on each change to input_file_stack. */
248 int input_file_stack_tick;
249
250 /* FUNCTION_DECL for function now being parsed or compiled. */
251
252 extern tree current_function_decl;
253
254 /* Name to use as base of names for dump output files. */
255
256 const char *dump_base_name;
257
258 /* Bit flags that specify the machine subtype we are compiling for.
259 Bits are tested using macros TARGET_... defined in the tm.h file
260 and set by `-m...' switches. Must be defined in rtlanal.c. */
261
262 extern int target_flags;
263
264 /* Flags saying which kinds of debugging dump have been requested. */
265
266 int rtl_dump = 0;
267 int rtl_dump_and_exit = 0;
268 int jump_opt_dump = 0;
269 int addressof_dump = 0;
270 int cse_dump = 0;
271 int gcse_dump = 0;
272 int loop_dump = 0;
273 int cse2_dump = 0;
274 int branch_prob_dump = 0;
275 int flow_dump = 0;
276 int combine_dump = 0;
277 int regmove_dump = 0;
278 int sched_dump = 0;
279 int local_reg_dump = 0;
280 int global_reg_dump = 0;
281 int sched2_dump = 0;
282 int jump2_opt_dump = 0;
283 #ifdef DELAY_SLOTS
284 int dbr_sched_dump = 0;
285 #endif
286 int flag_print_asm_name = 0;
287 #ifdef STACK_REGS
288 int stack_reg_dump = 0;
289 #endif
290 #ifdef MACHINE_DEPENDENT_REORG
291 int mach_dep_reorg_dump = 0;
292 #endif
293 enum graph_dump_types graph_dump_format;
294
295 /* Name for output file of assembly code, specified with -o. */
296
297 char *asm_file_name;
298
299 /* Value of the -G xx switch, and whether it was passed or not. */
300 int g_switch_value;
301 int g_switch_set;
302
303 /* Type(s) of debugging information we are producing (if any).
304 See flags.h for the definitions of the different possible
305 types of debugging information. */
306 enum debug_info_type write_symbols = NO_DEBUG;
307
308 /* Level of debugging information we are producing. See flags.h
309 for the definitions of the different possible levels. */
310 enum debug_info_level debug_info_level = DINFO_LEVEL_NONE;
311
312 /* Nonzero means use GNU-only extensions in the generated symbolic
313 debugging information. */
314 /* Currently, this only has an effect when write_symbols is set to
315 DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */
316 int use_gnu_debug_info_extensions = 0;
317
318 /* Nonzero means do optimizations. -O.
319 Particular numeric values stand for particular amounts of optimization;
320 thus, -O2 stores 2 here. However, the optimizations beyond the basic
321 ones are not controlled directly by this variable. Instead, they are
322 controlled by individual `flag_...' variables that are defaulted
323 based on this variable. */
324
325 int optimize = 0;
326
327 /* Nonzero means optimize for size. -Os.
328 The only valid values are zero and non-zero. When optimize_size is
329 non-zero, optimize defaults to 2, but certain individual code
330 bloating optimizations are disabled. */
331
332 int optimize_size = 0;
333
334 /* Number of error messages and warning messages so far. */
335
336 int errorcount = 0;
337 int warningcount = 0;
338 int sorrycount = 0;
339
340 /* Pointer to function to compute the name to use to print a declaration.
341 DECL is the declaration in question.
342 VERBOSITY determines what information will be printed:
343 0: DECL_NAME, demangled as necessary.
344 1: and scope information.
345 2: and any other information that might be interesting, such as function
346 parameter types in C++. */
347
348 char *(*decl_printable_name) PROTO ((tree, int));
349
350 /* Pointer to function to compute rtl for a language-specific tree code. */
351
352 typedef rtx (*lang_expand_expr_t)
353 PROTO ((union tree_node *, rtx, enum machine_mode,
354 enum expand_modifier modifier));
355
356 lang_expand_expr_t lang_expand_expr = 0;
357
358 /* Pointer to function to finish handling an incomplete decl at the
359 end of compilation. */
360
361 void (*incomplete_decl_finalize_hook) PROTO((tree)) = 0;
362
363 /* Nonzero if generating code to do profiling. */
364
365 int profile_flag = 0;
366
367 /* Nonzero if generating code to do profiling on a line-by-line basis. */
368
369 int profile_block_flag;
370
371 /* Nonzero if generating code to profile program flow graph arcs. */
372
373 int profile_arc_flag = 0;
374
375 /* Nonzero if generating info for gcov to calculate line test coverage. */
376
377 int flag_test_coverage = 0;
378
379 /* Nonzero indicates that branch taken probabilities should be calculated. */
380
381 int flag_branch_probabilities = 0;
382
383 /* Nonzero for -pedantic switch: warn about anything
384 that standard spec forbids. */
385
386 int pedantic = 0;
387
388 /* Temporarily suppress certain warnings.
389 This is set while reading code from a system header file. */
390
391 int in_system_header = 0;
392
393 /* Nonzero means do stupid register allocation.
394 Currently, this is 1 if `optimize' is 0. */
395
396 int obey_regdecls = 0;
397
398 /* Don't print functions as they are compiled and don't print
399 times taken by the various passes. -quiet. */
400
401 int quiet_flag = 0;
402 \f
403 /* -f flags. */
404
405 /* Nonzero means `char' should be signed. */
406
407 int flag_signed_char;
408
409 /* Nonzero means give an enum type only as many bytes as it needs. */
410
411 int flag_short_enums;
412
413 /* Nonzero for -fcaller-saves: allocate values in regs that need to
414 be saved across function calls, if that produces overall better code.
415 Optional now, so people can test it. */
416
417 #ifdef DEFAULT_CALLER_SAVES
418 int flag_caller_saves = 1;
419 #else
420 int flag_caller_saves = 0;
421 #endif
422
423 /* Nonzero if structures and unions should be returned in memory.
424
425 This should only be defined if compatibility with another compiler or
426 with an ABI is needed, because it results in slower code. */
427
428 #ifndef DEFAULT_PCC_STRUCT_RETURN
429 #define DEFAULT_PCC_STRUCT_RETURN 1
430 #endif
431
432 /* Nonzero for -fpcc-struct-return: return values the same way PCC does. */
433
434 int flag_pcc_struct_return = DEFAULT_PCC_STRUCT_RETURN;
435
436 /* Nonzero for -fforce-mem: load memory value into a register
437 before arithmetic on it. This makes better cse but slower compilation. */
438
439 int flag_force_mem = 0;
440
441 /* Nonzero for -fforce-addr: load memory address into a register before
442 reference to memory. This makes better cse but slower compilation. */
443
444 int flag_force_addr = 0;
445
446 /* Nonzero for -fdefer-pop: don't pop args after each function call;
447 instead save them up to pop many calls' args with one insns. */
448
449 int flag_defer_pop = 0;
450
451 /* Nonzero for -ffloat-store: don't allocate floats and doubles
452 in extended-precision registers. */
453
454 int flag_float_store = 0;
455
456 /* Nonzero for -fcse-follow-jumps:
457 have cse follow jumps to do a more extensive job. */
458
459 int flag_cse_follow_jumps;
460
461 /* Nonzero for -fcse-skip-blocks:
462 have cse follow a branch around a block. */
463 int flag_cse_skip_blocks;
464
465 /* Nonzero for -fexpensive-optimizations:
466 perform miscellaneous relatively-expensive optimizations. */
467 int flag_expensive_optimizations;
468
469 /* Nonzero for -fthread-jumps:
470 have jump optimize output of loop. */
471
472 int flag_thread_jumps;
473
474 /* Nonzero enables strength-reduction in loop.c. */
475
476 int flag_strength_reduce = 0;
477
478 /* Nonzero enables loop unrolling in unroll.c. Only loops for which the
479 number of iterations can be calculated at compile-time (UNROLL_COMPLETELY,
480 UNROLL_MODULO) or at run-time (preconditioned to be UNROLL_MODULO) are
481 unrolled. */
482
483 int flag_unroll_loops;
484
485 /* Nonzero enables loop unrolling in unroll.c. All loops are unrolled.
486 This is generally not a win. */
487
488 int flag_unroll_all_loops;
489
490 /* Nonzero forces all invariant computations in loops to be moved
491 outside the loop. */
492
493 int flag_move_all_movables = 0;
494
495 /* Nonzero forces all general induction variables in loops to be
496 strength reduced. */
497
498 int flag_reduce_all_givs = 0;
499
500 /* Nonzero to perform full register move optimization passes. This is the
501 default for -O2. */
502
503 int flag_regmove = 0;
504
505 /* Nonzero for -fwritable-strings:
506 store string constants in data segment and don't uniquize them. */
507
508 int flag_writable_strings = 0;
509
510 /* Nonzero means don't put addresses of constant functions in registers.
511 Used for compiling the Unix kernel, where strange substitutions are
512 done on the assembly output. */
513
514 int flag_no_function_cse = 0;
515
516 /* Nonzero for -fomit-frame-pointer:
517 don't make a frame pointer in simple functions that don't require one. */
518
519 int flag_omit_frame_pointer = 0;
520
521 /* Nonzero means place each function into its own section on those platforms
522 which support arbitrary section names and unlimited numbers of sections. */
523
524 int flag_function_sections = 0;
525
526 /* ... and similar for data. */
527
528 int flag_data_sections = 0;
529
530 /* Nonzero to inhibit use of define_optimization peephole opts. */
531
532 int flag_no_peephole = 0;
533
534 /* Nonzero allows GCC to violate some IEEE or ANSI rules regarding math
535 operations in the interest of optimization. For example it allows
536 GCC to assume arguments to sqrt are nonnegative numbers, allowing
537 faster code for sqrt to be generated. */
538
539 int flag_fast_math = 0;
540
541 /* Nonzero means all references through pointers are volatile. */
542
543 int flag_volatile;
544
545 /* Nonzero means treat all global and extern variables as global. */
546
547 int flag_volatile_global;
548
549 /* Nonzero means just do syntax checking; don't output anything. */
550
551 int flag_syntax_only = 0;
552
553 /* Nonzero means perform global cse. */
554
555 static int flag_gcse;
556
557 /* Nonzero means to rerun cse after loop optimization. This increases
558 compilation time about 20% and picks up a few more common expressions. */
559
560 static int flag_rerun_cse_after_loop;
561
562 /* Nonzero means to run loop optimizations twice. */
563
564 int flag_rerun_loop_opt;
565
566 /* Nonzero for -finline-functions: ok to inline functions that look like
567 good inline candidates. */
568
569 int flag_inline_functions;
570
571 /* Nonzero for -fkeep-inline-functions: even if we make a function
572 go inline everywhere, keep its definition around for debugging
573 purposes. */
574
575 int flag_keep_inline_functions;
576
577 /* Nonzero means that functions will not be inlined. */
578
579 int flag_no_inline;
580
581 /* Nonzero means that we should emit static const variables
582 regardless of whether or not optimization is turned on. */
583
584 int flag_keep_static_consts = 1;
585
586 /* Nonzero means we should be saving declaration info into a .X file. */
587
588 int flag_gen_aux_info = 0;
589
590 /* Specified name of aux-info file. */
591
592 static char *aux_info_file_name;
593
594 /* Nonzero means make the text shared if supported. */
595
596 int flag_shared_data;
597
598 /* Nonzero means schedule into delayed branch slots if supported. */
599
600 int flag_delayed_branch;
601
602 /* Nonzero if we are compiling pure (sharable) code.
603 Value is 1 if we are doing reasonable (i.e. simple
604 offset into offset table) pic. Value is 2 if we can
605 only perform register offsets. */
606
607 int flag_pic;
608
609 /* Nonzero means generate extra code for exception handling and enable
610 exception handling. */
611
612 int flag_exceptions;
613
614 /* Nonzero means use the new model for exception handling. Replaces
615 -DNEW_EH_MODEL as a compile option. */
616
617 int flag_new_exceptions = 0;
618
619 /* Nonzero means don't place uninitialized global data in common storage
620 by default. */
621
622 int flag_no_common;
623
624 /* Nonzero means pretend it is OK to examine bits of target floats,
625 even if that isn't true. The resulting code will have incorrect constants,
626 but the same series of instructions that the native compiler would make. */
627
628 int flag_pretend_float;
629
630 /* Nonzero means change certain warnings into errors.
631 Usually these are warnings about failure to conform to some standard. */
632
633 int flag_pedantic_errors = 0;
634
635 /* flag_schedule_insns means schedule insns within basic blocks (before
636 local_alloc).
637 flag_schedule_insns_after_reload means schedule insns after
638 global_alloc. */
639
640 int flag_schedule_insns = 0;
641 int flag_schedule_insns_after_reload = 0;
642
643 #ifdef HAIFA
644 /* The following flags have effect only for scheduling before register
645 allocation:
646
647 flag_schedule_interblock means schedule insns accross basic blocks.
648 flag_schedule_speculative means allow speculative motion of non-load insns.
649 flag_schedule_speculative_load means allow speculative motion of some
650 load insns.
651 flag_schedule_speculative_load_dangerous allows speculative motion of more
652 load insns. */
653
654 int flag_schedule_interblock = 1;
655 int flag_schedule_speculative = 1;
656 int flag_schedule_speculative_load = 0;
657 int flag_schedule_speculative_load_dangerous = 0;
658 #endif /* HAIFA */
659
660 /* flag_on_branch_count_reg means try to replace add-1,compare,branch tupple
661 by a cheaper branch, on a count register. */
662 int flag_branch_on_count_reg;
663
664 /* -finhibit-size-directive inhibits output of .size for ELF.
665 This is used only for compiling crtstuff.c,
666 and it may be extended to other effects
667 needed for crtstuff.c on other systems. */
668 int flag_inhibit_size_directive = 0;
669
670 /* -fverbose-asm causes extra commentary information to be produced in
671 the generated assembly code (to make it more readable). This option
672 is generally only of use to those who actually need to read the
673 generated assembly code (perhaps while debugging the compiler itself).
674 -fno-verbose-asm, the default, causes the extra information
675 to be omitted and is useful when comparing two assembler files. */
676
677 int flag_verbose_asm = 0;
678
679 /* -dA causes debug commentary information to be produced in
680 the generated assembly code (to make it more readable). This option
681 is generally only of use to those who actually need to read the
682 generated assembly code (perhaps while debugging the compiler itself).
683 Currently, this switch is only used by dwarfout.c; however, it is intended
684 to be a catchall for printing debug information in the assembler file. */
685
686 int flag_debug_asm = 0;
687
688 /* -fgnu-linker specifies use of the GNU linker for initializations.
689 (Or, more generally, a linker that handles initializations.)
690 -fno-gnu-linker says that collect2 will be used. */
691 #ifdef USE_COLLECT2
692 int flag_gnu_linker = 0;
693 #else
694 int flag_gnu_linker = 1;
695 #endif
696
697 /* Tag all structures with __attribute__(packed) */
698 int flag_pack_struct = 0;
699
700 /* Emit code to check for stack overflow; also may cause large objects
701 to be allocated dynamically. */
702 int flag_stack_check;
703
704 /* -fcheck-memory-usage causes extra code to be generated in order to check
705 memory accesses. This is used by a detector of bad memory accesses such
706 as Checker. */
707 int flag_check_memory_usage = 0;
708
709 /* -fprefix-function-name causes function name to be prefixed. This
710 can be used with -fcheck-memory-usage to isolate code compiled with
711 -fcheck-memory-usage. */
712 int flag_prefix_function_name = 0;
713
714 /* 0 if pointer arguments may alias each other. True in C.
715 1 if pointer arguments may not alias each other but may alias
716 global variables.
717 2 if pointer arguments may not alias each other and may not
718 alias global variables. True in Fortran.
719 This defaults to 0 for C. */
720 int flag_argument_noalias = 0;
721
722 /* Nonzero if we should do (language-dependent) alias analysis.
723 Typically, this analysis will assume that expressions of certain
724 types do not alias expressions of certain other types. Only used
725 if alias analysis (in general) is enabled. */
726 int flag_strict_aliasing = 0;
727
728 /* Instrument functions with calls at entry and exit, for profiling. */
729 int flag_instrument_function_entry_exit = 0;
730
731
732 /* Table of supported debugging formats. */
733 static struct
734 {
735 const char * arg;
736 /* Since PREFERRED_DEBUGGING_TYPE isn't necessarily a
737 constant expression, we use NO_DEBUG in its place. */
738 enum debug_info_type debug_type;
739 int use_extensions_p;
740 const char * description;
741 } *da,
742 debug_args[] =
743 {
744 { "g", NO_DEBUG, DEFAULT_GDB_EXTENSIONS,
745 "Generate default debug format output" },
746 { "ggdb", NO_DEBUG, 1, "Generate default extended debug format output" },
747 #ifdef DBX_DEBUGGING_INFO
748 { "gstabs", DBX_DEBUG, 0, "Generate STABS format debug output" },
749 { "gstabs+", DBX_DEBUG, 1, "Generate extended STABS format debug output" },
750 #endif
751 #ifdef DWARF_DEBUGGING_INFO
752 { "gdwarf", DWARF_DEBUG, 0, "Generate DWARF-1 format debug output"},
753 { "gdwarf+", DWARF_DEBUG, 1,
754 "Generated extended DWARF-1 format debug output" },
755 #endif
756 #ifdef DWARF2_DEBUGGING_INFO
757 { "gdwarf-2", DWARF2_DEBUG, 0, "Enable DWARF-2 debug output" },
758 #endif
759 #ifdef XCOFF_DEBUGGING_INFO
760 { "gxcoff", XCOFF_DEBUG, 0, "Generate XCOFF format debug output" },
761 { "gxcoff+", XCOFF_DEBUG, 1, "Generate extended XCOFF format debug output" },
762 #endif
763 #ifdef SDB_DEBUGGING_INFO
764 { "gcoff", SDB_DEBUG, 0, "Generate COFF format debug output" },
765 #endif
766 { 0, 0, 0, 0 }
767 };
768
769 typedef struct
770 {
771 const char * string;
772 int * variable;
773 int on_value;
774 const char * description;
775 }
776 lang_independent_options;
777
778 /* Add or remove a leading underscore from user symbols. */
779 int flag_leading_underscore = -1;
780
781 /* The user symbol prefix after having resolved same. */
782 const char *user_label_prefix;
783
784 /* A default for same. */
785 #ifndef USER_LABEL_PREFIX
786 #define USER_LABEL_PREFIX ""
787 #endif
788
789 /* Table of language-independent -f options.
790 STRING is the option name. VARIABLE is the address of the variable.
791 ON_VALUE is the value to store in VARIABLE
792 if `-fSTRING' is seen as an option.
793 (If `-fno-STRING' is seen as an option, the opposite value is stored.) */
794
795 lang_independent_options f_options[] =
796 {
797 {"float-store", &flag_float_store, 1,
798 "Do not store floats in registers" },
799 {"volatile", &flag_volatile, 1,
800 "Consider all mem refs through pointers as volatile"},
801 {"volatile-global", &flag_volatile_global, 1,
802 "Consider all mem refs to global data to be volatile" },
803 {"defer-pop", &flag_defer_pop, 1,
804 "Defer popping functions args from stack until later" },
805 {"omit-frame-pointer", &flag_omit_frame_pointer, 1,
806 "When possible do not generate stack frames"},
807 {"cse-follow-jumps", &flag_cse_follow_jumps, 1,
808 "When running CSE, follow jumps to their targets" },
809 {"cse-skip-blocks", &flag_cse_skip_blocks, 1,
810 "When running CSE, follow conditional jumps" },
811 {"expensive-optimizations", &flag_expensive_optimizations, 1,
812 "Perform a number of minor, expensive optimisations" },
813 {"thread-jumps", &flag_thread_jumps, 1,
814 "Perform jump threading optimisations"},
815 {"strength-reduce", &flag_strength_reduce, 1,
816 "Perform strength reduction optimisations" },
817 {"unroll-loops", &flag_unroll_loops, 1,
818 "Perform loop unrolling when iteration count is known" },
819 {"unroll-all-loops", &flag_unroll_all_loops, 1,
820 "Perform loop unrolling for all loops" },
821 {"move-all-movables", &flag_move_all_movables, 1,
822 "Force all loop invariant computations out of loops" },
823 {"reduce-all-givs", &flag_reduce_all_givs, 1,
824 "Strength reduce all loop general induction variables" },
825 {"writable-strings", &flag_writable_strings, 1,
826 "Store strings in writable data section" },
827 {"peephole", &flag_no_peephole, 0,
828 "Enable machine specific peephole optimisations" },
829 {"force-mem", &flag_force_mem, 1,
830 "Copy memory operands into registers before using" },
831 {"force-addr", &flag_force_addr, 1,
832 "Copy memory address constants into regs before using" },
833 {"function-cse", &flag_no_function_cse, 0,
834 "Allow function addresses to be held in registers" },
835 {"inline-functions", &flag_inline_functions, 1,
836 "Integrate simple functions into their callers" },
837 {"keep-inline-functions", &flag_keep_inline_functions, 1,
838 "Generate code for funcs even if they are fully inlined" },
839 {"inline", &flag_no_inline, 0,
840 "Pay attention to the 'inline' keyword"},
841 {"keep-static-consts", &flag_keep_static_consts, 1,
842 "Emit static const variables even if they are not used" },
843 {"syntax-only", &flag_syntax_only, 1,
844 "Check for syntax errors, then stop" },
845 {"shared-data", &flag_shared_data, 1,
846 "Mark data as shared rather than private" },
847 {"caller-saves", &flag_caller_saves, 1,
848 "Enable saving registers around function calls" },
849 {"pcc-struct-return", &flag_pcc_struct_return, 1,
850 "Return 'short' aggregates in memory, not registers" },
851 {"reg-struct-return", &flag_pcc_struct_return, 0,
852 "Return 'short' aggregates in registers" },
853 {"delayed-branch", &flag_delayed_branch, 1,
854 "Attempt to fill delay slots of branch instructions" },
855 {"gcse", &flag_gcse, 1,
856 "Perform the global common subexpression elimination" },
857 {"rerun-cse-after-loop", &flag_rerun_cse_after_loop, 1,
858 "Run CSE pass after loop optimisations"},
859 {"rerun-loop-opt", &flag_rerun_loop_opt, 1,
860 "Run the loop optimiser twice"},
861 {"pretend-float", &flag_pretend_float, 1,
862 "Pretend that host and target use the same FP format"},
863 {"schedule-insns", &flag_schedule_insns, 1,
864 "Reschedule instructions to avoid pipeline stalls"},
865 {"schedule-insns2", &flag_schedule_insns_after_reload, 1,
866 "Run two passes of the instruction scheduler"},
867 #ifdef HAIFA
868 {"sched-interblock",&flag_schedule_interblock, 1,
869 "Enable scheduling across basic blocks" },
870 {"sched-spec",&flag_schedule_speculative, 1,
871 "Allow speculative motion of non-loads" },
872 {"sched-spec-load",&flag_schedule_speculative_load, 1,
873 "Allow speculative motion of some loads" },
874 {"sched-spec-load-dangerous",&flag_schedule_speculative_load_dangerous, 1,
875 "Allow speculative motion of more loads" },
876 #endif /* HAIFA */
877 {"branch-count-reg",&flag_branch_on_count_reg, 1,
878 "Replace add,compare,branch with branch on count reg"},
879 {"pic", &flag_pic, 1,
880 "Generate position independent code, if possible"},
881 {"PIC", &flag_pic, 2, ""},
882 {"exceptions", &flag_exceptions, 1,
883 "Enable exception handling" },
884 {"new-exceptions", &flag_new_exceptions, 1,
885 "Use the new model for exception handling" },
886 {"sjlj-exceptions", &exceptions_via_longjmp, 1,
887 "Use setjmp/longjmp to handle exceptions" },
888 {"asynchronous-exceptions", &asynchronous_exceptions, 1,
889 "Support asynchronous exceptions" },
890 {"profile-arcs", &profile_arc_flag, 1,
891 "Insert arc based program profiling code" },
892 {"test-coverage", &flag_test_coverage, 1,
893 "Create data files needed by gcov" },
894 {"branch-probabilities", &flag_branch_probabilities, 1,
895 "Use profiling information for branch probabilities" },
896 {"fast-math", &flag_fast_math, 1,
897 "Improve FP speed by violating ANSI & IEEE rules" },
898 {"common", &flag_no_common, 0,
899 "Do not put unitialised globals in the common section" },
900 {"inhibit-size-directive", &flag_inhibit_size_directive, 1,
901 "Do not generate .size directives" },
902 {"function-sections", &flag_function_sections, 1,
903 "place each function into its own section" },
904 {"data-sections", &flag_data_sections, 1,
905 "place data items into their own section" },
906 {"verbose-asm", &flag_verbose_asm, 1,
907 "Add extra commentry to assembler output"},
908 {"gnu-linker", &flag_gnu_linker, 1,
909 "Output GNU ld formatted global initialisers"},
910 {"regmove", &flag_regmove, 1,
911 "Enables a register move optimisation"},
912 {"optimize-register-move", &flag_regmove, 1,
913 "Do the full regmove optimization pass"},
914 {"pack-struct", &flag_pack_struct, 1,
915 "Pack structure members together without holes" },
916 {"stack-check", &flag_stack_check, 1,
917 "Insert stack checking code into the program" },
918 {"argument-alias", &flag_argument_noalias, 0,
919 "Specify that arguments may alias each other & globals"},
920 {"argument-noalias", &flag_argument_noalias, 1,
921 "Assume arguments may alias globals but not each other"},
922 {"argument-noalias-global", &flag_argument_noalias, 2,
923 "Assume arguments do not alias each other or globals" },
924 {"strict-aliasing", &flag_strict_aliasing, 1,
925 "Assume strict aliasing rules apply" },
926 {"check-memory-usage", &flag_check_memory_usage, 1,
927 "Generate code to check every memory access" },
928 {"prefix-function-name", &flag_prefix_function_name, 1,
929 "Add a prefix to all function names" },
930 {"dump-unnumbered", &flag_dump_unnumbered, 1,
931 "Suppress output of instruction numbers and line number notes in debugging dumps"},
932 {"instrument-functions", &flag_instrument_function_entry_exit, 1,
933 "Instrument function entry/exit with profiling calls"},
934 {"leading-underscore", &flag_leading_underscore, 1,
935 "External symbols have a leading underscore" }
936 };
937
938 #define NUM_ELEM(a) (sizeof (a) / sizeof ((a)[0]))
939
940 /* Table of language-specific options. */
941
942 static struct lang_opt
943 {
944 const char * option;
945 const char * description;
946 }
947 documented_lang_options[] =
948 {
949 /* In order not to overload the --help output, the convention
950 used here is to only describe those options which are not
951 enabled by default. */
952
953 { "-ansi", "Compile just for ANSI C" },
954 { "-fallow-single-precision",
955 "Do not promote floats to double if using -traditional" },
956 { "-std= ", "Determine language standard"},
957
958 { "-fsigned-bitfields", "" },
959 { "-funsigned-bitfields","Make bitfields by unsigned by default" },
960 { "-fno-signed-bitfields", "" },
961 { "-fno-unsigned-bitfields","" },
962 { "-fsigned-char", "Make 'char' be signed by default"},
963 { "-funsigned-char", "Make 'char' be unsigned by default"},
964 { "-fno-signed-char", "" },
965 { "-fno-unsigned-char", "" },
966
967 { "-ftraditional", "" },
968 { "-traditional", "Attempt to support traditional K&R style C"},
969 { "-fnotraditional", "" },
970 { "-fno-traditional", "" },
971
972 { "-fasm", "" },
973 { "-fno-asm", "Do not recognise the 'asm' keyword" },
974 { "-fbuiltin", "" },
975 { "-fno-builtin", "Do not recognise any built in functions" },
976 { "-fhosted", "Assume normal C execution environment" },
977 { "-fno-hosted", "" },
978 { "-ffreestanding",
979 "Assume that standard libraries & main might not exist" },
980 { "-fno-freestanding", "" },
981 { "-fcond-mismatch", "Allow different types as args of ? operator"},
982 { "-fno-cond-mismatch", "" },
983 { "-fdollars-in-identifiers", "Allow the use of $ inside identifiers" },
984 { "-fno-dollars-in-identifiers", "" },
985 { "-fident", "" },
986 { "-fno-ident", "Ignore #ident directives" },
987 { "-fshort-double", "Use the same size for double as for float" },
988 { "-fno-short-double", "" },
989 { "-fshort-enums", "Use the smallest fitting integer to hold enums"},
990 { "-fno-short-enums", "" },
991
992 { "-Wall", "Enable most warning messages" },
993 { "-Wbad-function-cast",
994 "Warn about casting functions to incompatible types" },
995 { "-Wno-bad-function-cast", "" },
996 { "-Wmissing-noreturn",
997 "Warn about functions which might be candidates for attribute noreturn" },
998 { "-Wno-missing-noreturn", "" },
999 { "-Wcast-qual", "Warn about casts which discard qualifiers"},
1000 { "-Wno-cast-qual", "" },
1001 { "-Wchar-subscripts", "Warn about subscripts whose type is 'char'"},
1002 { "-Wno-char-subscripts", "" },
1003 { "-Wcomment", "Warn if nested comments are detected" },
1004 { "-Wno-comment", "" },
1005 { "-Wcomments", "Warn if nested comments are detected" },
1006 { "-Wno-comments", "" },
1007 { "-Wconversion", "Warn about possibly confusing type conversions" },
1008 { "-Wno-conversion", "" },
1009 { "-Wformat", "Warn about printf format anomalies" },
1010 { "-Wno-format", "" },
1011 { "-Wimplicit-function-declaration",
1012 "Warn about implicit function declarations" },
1013 { "-Wno-implicit-function-declaration", "" },
1014 { "-Werror-implicit-function-declaration", "" },
1015 { "-Wimplicit-int", "Warn when a declaration does not specify a type" },
1016 { "-Wno-implicit-int", "" },
1017 { "-Wimplicit", "" },
1018 { "-Wno-implicit", "" },
1019 { "-Wimport", "Warn about the use of the #import directive" },
1020 { "-Wno-import", "" },
1021 { "-Wlong-long","" },
1022 { "-Wno-long-long", "Do not warn about using 'long long' when -pedantic" },
1023 { "-Wmain", "Warn about suspicious declarations of main" },
1024 { "-Wno-main", "" },
1025 { "-Wmissing-braces",
1026 "Warn about possibly missing braces around initialisers" },
1027 { "-Wno-missing-braces", "" },
1028 { "-Wmissing-declarations",
1029 "Warn about global funcs without previous declarations"},
1030 { "-Wno-missing-declarations", "" },
1031 { "-Wmissing-prototypes", "Warn about global funcs without prototypes" },
1032 { "-Wno-missing-prototypes", "" },
1033 { "-Wmultichar", "Warn about use of multicharacter literals"},
1034 { "-Wno-multichar", "" },
1035 { "-Wnested-externs", "Warn about externs not at file scope level" },
1036 { "-Wno-nested-externs", "" },
1037 { "-Wparentheses", "Warn about possible missing parentheses" },
1038 { "-Wno-parentheses", "" },
1039 { "-Wpointer-arith", "Warn about function pointer arithmetic" },
1040 { "-Wno-pointer-arith", "" },
1041 { "-Wredundant-decls",
1042 "Warn about multiple declarations of the same object" },
1043 { "-Wno-redundant-decls", "" },
1044 { "-Wsign-compare", "Warn about signed/unsigned comparisons" },
1045 { "-Wno-sign-compare", "" },
1046 { "-Wunknown-pragmas", "Warn about unrecognised pragmas" },
1047 { "-Wno-unknown-pragmas", "" },
1048 { "-Wstrict-prototypes", "Warn about non-prototyped function decls" },
1049 { "-Wno-strict-prototypes", "" },
1050 { "-Wtraditional", "Warn about constructs whose meaning change in ANSI C"},
1051 { "-Wno-traditional", "" },
1052 { "-Wtrigraphs", "Warn when trigraphs are encountered" },
1053 { "-Wno-trigraphs", "" },
1054 { "-Wundef", "" },
1055 { "-Wno-undef", "" },
1056 { "-Wwrite-strings", "Mark strings as 'const char *'"},
1057 { "-Wno-write-strings", "" },
1058
1059 /* These are for languages with USE_CPPLIB. */
1060 /* These options are already documented in cpplib.c */
1061 { "--help", "" },
1062 { "-A", "" },
1063 { "-D", "" },
1064 { "-I", "" },
1065 { "-U", "" },
1066 { "-H", "" },
1067 { "-idirafter", "" },
1068 { "-imacros", "" },
1069 { "-include", "" },
1070 { "-iprefix", "" },
1071 { "-isystem", "" },
1072 { "-iwithprefix", "" },
1073 { "-iwithprefixbefore", "" },
1074 { "-lang-c", "" },
1075 { "-lang-c89", "" },
1076 { "-lang-c++", "" },
1077 { "-remap", "" },
1078 { "-nostdinc", "" },
1079 { "-nostdinc++", "" },
1080 { "-trigraphs", "" },
1081 { "-undef", "" },
1082
1083 #define DEFINE_LANG_NAME(NAME) { NULL, NAME },
1084
1085 /* These are for obj c. */
1086 DEFINE_LANG_NAME ("Objective C")
1087
1088 { "-lang-objc", "" },
1089 { "-gen-decls", "Dump decls to a .decl file" },
1090 { "-fgnu-runtime", "Generate code for GNU runtime environment" },
1091 { "-fno-gnu-runtime", "" },
1092 { "-fnext-runtime", "Generate code for NeXT runtime environment" },
1093 { "-fno-next-runtime", "" },
1094 { "-Wselector", "Warn if a selector has multiple methods" },
1095 { "-Wno-selector", "" },
1096 { "-Wprotocol", "" },
1097 { "-Wno-protocol", "Do not warn if inherited methods are unimplemented"},
1098 { "-print-objc-runtime-info",
1099 "Generate C header of platform specific features" },
1100
1101 #include "options.h"
1102
1103 };
1104
1105 /* Here is a table, controlled by the tm.h file, listing each -m switch
1106 and which bits in `target_switches' it should set or clear.
1107 If VALUE is positive, it is bits to set.
1108 If VALUE is negative, -VALUE is bits to clear.
1109 (The sign bit is not used so there is no confusion.) */
1110
1111 struct
1112 {
1113 const char * name;
1114 int value;
1115 const char * description;
1116 }
1117 target_switches [] = TARGET_SWITCHES;
1118
1119 /* This table is similar, but allows the switch to have a value. */
1120
1121 #ifdef TARGET_OPTIONS
1122 struct
1123 {
1124 const char * prefix;
1125 const char ** variable;
1126 const char * description;
1127 }
1128 target_options [] = TARGET_OPTIONS;
1129 #endif
1130 \f
1131 /* Options controlling warnings */
1132
1133 /* Don't print warning messages. -w. */
1134
1135 int inhibit_warnings = 0;
1136
1137 /* Print various extra warnings. -W. */
1138
1139 int extra_warnings = 0;
1140
1141 /* Treat warnings as errors. -Werror. */
1142
1143 int warnings_are_errors = 0;
1144
1145 /* Nonzero to warn about unused local variables. */
1146
1147 int warn_unused;
1148
1149 /* Nonzero to warn about variables used before they are initialized. */
1150
1151 int warn_uninitialized;
1152
1153 /* Nonzero means warn about all declarations which shadow others. */
1154
1155 int warn_shadow;
1156
1157 /* Warn if a switch on an enum fails to have a case for every enum value. */
1158
1159 int warn_switch;
1160
1161 /* Nonzero means warn about function definitions that default the return type
1162 or that use a null return and have a return-type other than void. */
1163
1164 int warn_return_type;
1165
1166 /* Nonzero means warn about pointer casts that increase the required
1167 alignment of the target type (and might therefore lead to a crash
1168 due to a misaligned access). */
1169
1170 int warn_cast_align;
1171
1172 /* Nonzero means warn about any identifiers that match in the first N
1173 characters. The value N is in `id_clash_len'. */
1174
1175 int warn_id_clash;
1176 unsigned id_clash_len;
1177
1178 /* Nonzero means warn about any objects definitions whose size is larger
1179 than N bytes. Also want about function definitions whose returned
1180 values are larger than N bytes. The value N is in `larger_than_size'. */
1181
1182 int warn_larger_than;
1183 unsigned larger_than_size;
1184
1185 /* Nonzero means warn if inline function is too large. */
1186
1187 int warn_inline;
1188
1189 /* Warn if a function returns an aggregate,
1190 since there are often incompatible calling conventions for doing this. */
1191
1192 int warn_aggregate_return;
1193
1194 /* Likewise for -W. */
1195
1196 lang_independent_options W_options[] =
1197 {
1198 {"unused", &warn_unused, 1, "Warn when a variable is unused" },
1199 {"error", &warnings_are_errors, 1, ""},
1200 {"shadow", &warn_shadow, 1, "Warn when one local variable shadows another" },
1201 {"switch", &warn_switch, 1,
1202 "Warn about enumerated switches missing a specific case" },
1203 {"aggregate-return", &warn_aggregate_return, 1,
1204 "Warn about returning structures, unions or arrays" },
1205 {"cast-align", &warn_cast_align, 1,
1206 "Warn about pointer casts which increase alignment" },
1207 {"uninitialized", &warn_uninitialized, 1,
1208 "Warn about unitialized automatic variables"},
1209 {"inline", &warn_inline, 1,
1210 "Warn when an inlined function cannot be inlined"}
1211 };
1212 \f
1213 /* Output files for assembler code (real compiler output)
1214 and debugging dumps. */
1215
1216 FILE *asm_out_file;
1217 FILE *aux_info_file;
1218 FILE *rtl_dump_file = NULL;
1219
1220 /* Time accumulators, to count the total time spent in various passes. */
1221
1222 int parse_time;
1223 int varconst_time;
1224 int integration_time;
1225 int jump_time;
1226 int cse_time;
1227 int gcse_time;
1228 int loop_time;
1229 int cse2_time;
1230 int branch_prob_time;
1231 int flow_time;
1232 int combine_time;
1233 int regmove_time;
1234 int sched_time;
1235 int local_alloc_time;
1236 int global_alloc_time;
1237 int sched2_time;
1238 #ifdef DELAY_SLOTS
1239 int dbr_sched_time;
1240 #endif
1241 int shorten_branch_time;
1242 int stack_reg_time;
1243 int final_time;
1244 int symout_time;
1245 int dump_time;
1246 \f
1247 /* Return time used so far, in microseconds. */
1248
1249 long
1250 get_run_time ()
1251 {
1252 if (quiet_flag)
1253 return 0;
1254
1255 #ifdef __BEOS__
1256 return 0;
1257 #else /* not BeOS */
1258 #if defined (_WIN32) && !defined (__CYGWIN__)
1259 if (clock() < 0)
1260 return 0;
1261 else
1262 return (clock() * 1000);
1263 #else /* not _WIN32 */
1264 #ifdef _SC_CLK_TCK
1265 {
1266 static int tick;
1267 struct tms tms;
1268 if (tick == 0)
1269 tick = 1000000 / sysconf(_SC_CLK_TCK);
1270 times (&tms);
1271 return (tms.tms_utime + tms.tms_stime) * tick;
1272 }
1273 #else
1274 #ifdef USG
1275 {
1276 struct tms tms;
1277 # if HAVE_SYSCONF && defined _SC_CLK_TCK
1278 # define TICKS_PER_SECOND sysconf (_SC_CLK_TCK) /* POSIX 1003.1-1996 */
1279 # else
1280 # ifdef CLK_TCK
1281 # define TICKS_PER_SECOND CLK_TCK /* POSIX 1003.1-1988; obsolescent */
1282 # else
1283 # define TICKS_PER_SECOND HZ /* traditional UNIX */
1284 # endif
1285 # endif
1286 times (&tms);
1287 return (tms.tms_utime + tms.tms_stime) * (1000000 / TICKS_PER_SECOND);
1288 }
1289 #else
1290 #ifndef VMS
1291 {
1292 struct rusage rusage;
1293 getrusage (0, &rusage);
1294 return (rusage.ru_utime.tv_sec * 1000000 + rusage.ru_utime.tv_usec
1295 + rusage.ru_stime.tv_sec * 1000000 + rusage.ru_stime.tv_usec);
1296 }
1297 #else /* VMS */
1298 {
1299 struct
1300 {
1301 int proc_user_time;
1302 int proc_system_time;
1303 int child_user_time;
1304 int child_system_time;
1305 } vms_times;
1306 times ((void *) &vms_times);
1307 return (vms_times.proc_user_time + vms_times.proc_system_time) * 10000;
1308 }
1309 #endif /* VMS */
1310 #endif /* USG */
1311 #endif /* _SC_CLK_TCK */
1312 #endif /* _WIN32 */
1313 #endif /* __BEOS__ */
1314 }
1315
1316 #define TIMEVAR(VAR, BODY) \
1317 do { int otime = get_run_time (); BODY; VAR += get_run_time () - otime; } while (0)
1318
1319 void
1320 print_time (str, total)
1321 const char *str;
1322 int total;
1323 {
1324 fprintf (stderr,
1325 "time in %s: %d.%06d\n",
1326 str, total / 1000000, total % 1000000);
1327 }
1328
1329 /* Count an error or warning. Return 1 if the message should be printed. */
1330
1331 int
1332 count_error (warningp)
1333 int warningp;
1334 {
1335 if (warningp && inhibit_warnings)
1336 return 0;
1337
1338 if (warningp && !warnings_are_errors)
1339 warningcount++;
1340 else
1341 {
1342 static int warning_message = 0;
1343
1344 if (warningp && !warning_message)
1345 {
1346 fprintf (stderr, "%s: warnings being treated as errors\n", progname);
1347 warning_message = 1;
1348 }
1349 errorcount++;
1350 }
1351
1352 return 1;
1353 }
1354
1355 /* Print a fatal error message. NAME is the text.
1356 Also include a system error message based on `errno'. */
1357
1358 void
1359 pfatal_with_name (name)
1360 const char *name;
1361 {
1362 fprintf (stderr, "%s: ", progname);
1363 perror (name);
1364 exit (FATAL_EXIT_CODE);
1365 }
1366
1367 void
1368 fatal_io_error (name)
1369 const char *name;
1370 {
1371 fprintf (stderr, "%s: %s: I/O error\n", progname, name);
1372 exit (FATAL_EXIT_CODE);
1373 }
1374
1375 /* Called to give a better error message for a bad insn rather than
1376 just calling abort(). */
1377
1378 void
1379 fatal_insn (message, insn)
1380 const char *message;
1381 rtx insn;
1382 {
1383 error (message);
1384 debug_rtx (insn);
1385 if (asm_out_file)
1386 fflush (asm_out_file);
1387 if (aux_info_file)
1388 fflush (aux_info_file);
1389 if (rtl_dump_file != NULL)
1390 fflush (rtl_dump_file);
1391 fflush (stdout);
1392 fflush (stderr);
1393 abort ();
1394 }
1395
1396 /* Called to give a better error message when we don't have an insn to match
1397 what we are looking for or if the insn's constraints aren't satisfied,
1398 rather than just calling abort(). */
1399
1400 void
1401 fatal_insn_not_found (insn)
1402 rtx insn;
1403 {
1404 if (INSN_CODE (insn) < 0)
1405 fatal_insn ("internal error--unrecognizable insn:", insn);
1406 else
1407 fatal_insn ("internal error--insn does not satisfy its constraints:", insn);
1408 }
1409
1410 /* This is the default decl_printable_name function. */
1411
1412 static char *
1413 decl_name (decl, verbosity)
1414 tree decl;
1415 int verbosity ATTRIBUTE_UNUSED;
1416 {
1417 return IDENTIFIER_POINTER (DECL_NAME (decl));
1418 }
1419 \f
1420 static int need_error_newline;
1421
1422 /* Function of last error message;
1423 more generally, function such that if next error message is in it
1424 then we don't have to mention the function name. */
1425 static tree last_error_function = NULL;
1426
1427 /* Used to detect when input_file_stack has changed since last described. */
1428 static int last_error_tick;
1429
1430 /* Called when the start of a function definition is parsed,
1431 this function prints on stderr the name of the function. */
1432
1433 void
1434 announce_function (decl)
1435 tree decl;
1436 {
1437 if (! quiet_flag)
1438 {
1439 if (rtl_dump_and_exit)
1440 fprintf (stderr, "%s ", IDENTIFIER_POINTER (DECL_NAME (decl)));
1441 else
1442 fprintf (stderr, " %s", (*decl_printable_name) (decl, 2));
1443 fflush (stderr);
1444 need_error_newline = 1;
1445 last_error_function = current_function_decl;
1446 }
1447 }
1448
1449 /* The default function to print out name of current function that caused
1450 an error. */
1451
1452 void
1453 default_print_error_function (file)
1454 const char *file;
1455 {
1456 if (last_error_function != current_function_decl)
1457 {
1458 const char *kind = "function";
1459 if (current_function_decl != 0
1460 && TREE_CODE (TREE_TYPE (current_function_decl)) == METHOD_TYPE)
1461 kind = "method";
1462
1463 if (file)
1464 fprintf (stderr, "%s: ", file);
1465
1466 if (current_function_decl == NULL)
1467 fprintf (stderr, "At top level:\n");
1468 else
1469 {
1470 char *name = (*decl_printable_name) (current_function_decl, 2);
1471 fprintf (stderr, "In %s `%s':\n", kind, name);
1472 }
1473
1474 last_error_function = current_function_decl;
1475 }
1476 }
1477
1478 /* Called by report_error_function to print out function name.
1479 * Default may be overridden by language front-ends. */
1480
1481 void (*print_error_function) PROTO((const char *)) =
1482 default_print_error_function;
1483
1484 /* Prints out, if necessary, the name of the current function
1485 that caused an error. Called from all error and warning functions. */
1486
1487 void
1488 report_error_function (file)
1489 const char *file;
1490 {
1491 struct file_stack *p;
1492
1493 if (need_error_newline)
1494 {
1495 fprintf (stderr, "\n");
1496 need_error_newline = 0;
1497 }
1498
1499 (*print_error_function) (file);
1500
1501 if (input_file_stack && input_file_stack->next != 0
1502 && input_file_stack_tick != last_error_tick
1503 && file == input_filename)
1504 {
1505 fprintf (stderr, "In file included");
1506 for (p = input_file_stack->next; p; p = p->next)
1507 {
1508 fprintf (stderr, " from %s:%d", p->name, p->line);
1509 if (p->next)
1510 fprintf (stderr, ",\n ");
1511 }
1512 fprintf (stderr, ":\n");
1513 last_error_tick = input_file_stack_tick;
1514 }
1515 }
1516 \f
1517 /* Print a message. */
1518
1519 static void
1520 vmessage (prefix, s, ap)
1521 const char *prefix;
1522 const char *s;
1523 va_list ap;
1524 {
1525 if (prefix)
1526 fprintf (stderr, "%s: ", prefix);
1527
1528 vfprintf (stderr, s, ap);
1529 }
1530
1531 /* Print a message relevant to line LINE of file FILE. */
1532
1533 static void
1534 v_message_with_file_and_line (file, line, prefix, s, ap)
1535 const char *file;
1536 int line;
1537 const char *prefix;
1538 const char *s;
1539 va_list ap;
1540 {
1541 if (file)
1542 fprintf (stderr, "%s:%d: ", file, line);
1543 else
1544 fprintf (stderr, "%s: ", progname);
1545
1546 vmessage (prefix, s, ap);
1547 fputc ('\n', stderr);
1548 }
1549
1550 /* Print a message relevant to the given DECL. */
1551
1552 static void
1553 v_message_with_decl (decl, prefix, s, ap)
1554 tree decl;
1555 const char *prefix;
1556 const char *s;
1557 va_list ap;
1558 {
1559 const char *p;
1560
1561 fprintf (stderr, "%s:%d: ",
1562 DECL_SOURCE_FILE (decl), DECL_SOURCE_LINE (decl));
1563
1564 if (prefix)
1565 fprintf (stderr, "%s: ", prefix);
1566
1567 /* Do magic to get around lack of varargs support for insertion
1568 of arguments into existing list. We know that the decl is first;
1569 we ass_u_me that it will be printed with "%s". */
1570
1571 for (p = s; *p; ++p)
1572 {
1573 if (*p == '%')
1574 {
1575 if (*(p + 1) == '%')
1576 ++p;
1577 else
1578 break;
1579 }
1580 }
1581
1582 if (p > s) /* Print the left-hand substring. */
1583 {
1584 char fmt[sizeof "%.255s"];
1585 long width = p - s;
1586
1587 if (width > 255L) width = 255L; /* arbitrary */
1588 sprintf (fmt, "%%.%lds", width);
1589 fprintf (stderr, fmt, s);
1590 }
1591
1592 if (*p == '%') /* Print the name. */
1593 {
1594 const char *n = (DECL_NAME (decl)
1595 ? (*decl_printable_name) (decl, 2)
1596 : "((anonymous))");
1597 fputs (n, stderr);
1598 while (*p)
1599 {
1600 ++p;
1601 if (ISALPHA (*(p - 1) & 0xFF))
1602 break;
1603 }
1604 }
1605
1606 if (*p) /* Print the rest of the message. */
1607 vmessage ((char *)NULL, p, ap);
1608
1609 fputc ('\n', stderr);
1610 }
1611
1612 /* Figure file and line of the given INSN. */
1613
1614 static void
1615 file_and_line_for_asm (insn, pfile, pline)
1616 rtx insn;
1617 char **pfile;
1618 int *pline;
1619 {
1620 rtx body = PATTERN (insn);
1621 rtx asmop;
1622
1623 /* Find the (or one of the) ASM_OPERANDS in the insn. */
1624 if (GET_CODE (body) == SET && GET_CODE (SET_SRC (body)) == ASM_OPERANDS)
1625 asmop = SET_SRC (body);
1626 else if (GET_CODE (body) == ASM_OPERANDS)
1627 asmop = body;
1628 else if (GET_CODE (body) == PARALLEL
1629 && GET_CODE (XVECEXP (body, 0, 0)) == SET)
1630 asmop = SET_SRC (XVECEXP (body, 0, 0));
1631 else if (GET_CODE (body) == PARALLEL
1632 && GET_CODE (XVECEXP (body, 0, 0)) == ASM_OPERANDS)
1633 asmop = XVECEXP (body, 0, 0);
1634 else
1635 asmop = NULL;
1636
1637 if (asmop)
1638 {
1639 *pfile = ASM_OPERANDS_SOURCE_FILE (asmop);
1640 *pline = ASM_OPERANDS_SOURCE_LINE (asmop);
1641 }
1642 else
1643 {
1644 *pfile = input_filename;
1645 *pline = lineno;
1646 }
1647 }
1648
1649 /* Report an error at line LINE of file FILE. */
1650
1651 static void
1652 v_error_with_file_and_line (file, line, s, ap)
1653 const char *file;
1654 int line;
1655 const char *s;
1656 va_list ap;
1657 {
1658 count_error (0);
1659 report_error_function (file);
1660 v_message_with_file_and_line (file, line, (char *)NULL, s, ap);
1661 }
1662
1663 void
1664 error_with_file_and_line VPROTO((const char *file, int line,
1665 const char *s, ...))
1666 {
1667 #ifndef ANSI_PROTOTYPES
1668 const char *file;
1669 int line;
1670 const char *s;
1671 #endif
1672 va_list ap;
1673
1674 VA_START (ap, s);
1675
1676 #ifndef ANSI_PROTOTYPES
1677 file = va_arg (ap, const char *);
1678 line = va_arg (ap, int);
1679 s = va_arg (ap, const char *);
1680 #endif
1681
1682 v_error_with_file_and_line (file, line, s, ap);
1683 va_end (ap);
1684 }
1685
1686 /* Report an error at the declaration DECL.
1687 S is a format string which uses %s to substitute the declaration
1688 name; subsequent substitutions are a la printf. */
1689
1690 static void
1691 v_error_with_decl (decl, s, ap)
1692 tree decl;
1693 const char *s;
1694 va_list ap;
1695 {
1696 count_error (0);
1697 report_error_function (DECL_SOURCE_FILE (decl));
1698 v_message_with_decl (decl, (char *)NULL, s, ap);
1699 }
1700
1701 void
1702 error_with_decl VPROTO((tree decl, const char *s, ...))
1703 {
1704 #ifndef ANSI_PROTOTYPES
1705 tree decl;
1706 const char *s;
1707 #endif
1708 va_list ap;
1709
1710 VA_START (ap, s);
1711
1712 #ifndef ANSI_PROTOTYPES
1713 decl = va_arg (ap, tree);
1714 s = va_arg (ap, const char *);
1715 #endif
1716
1717 v_error_with_decl (decl, s, ap);
1718 va_end (ap);
1719 }
1720
1721 /* Report an error at the line number of the insn INSN.
1722 This is used only when INSN is an `asm' with operands,
1723 and each ASM_OPERANDS records its own source file and line. */
1724
1725 static void
1726 v_error_for_asm (insn, s, ap)
1727 rtx insn;
1728 const char *s;
1729 va_list ap;
1730 {
1731 char *file;
1732 int line;
1733
1734 count_error (0);
1735 file_and_line_for_asm (insn, &file, &line);
1736 report_error_function (file);
1737 v_message_with_file_and_line (file, line, (char *)NULL, s, ap);
1738 }
1739
1740 void
1741 error_for_asm VPROTO((rtx insn, const char *s, ...))
1742 {
1743 #ifndef ANSI_PROTOTYPES
1744 rtx insn;
1745 const char *s;
1746 #endif
1747 va_list ap;
1748
1749 VA_START (ap, s);
1750
1751 #ifndef ANSI_PROTOTYPES
1752 insn = va_arg (ap, rtx);
1753 s = va_arg (ap, const char *);
1754 #endif
1755
1756 v_error_for_asm (insn, s, ap);
1757 va_end (ap);
1758 }
1759
1760 /* Report an error at the current line number. */
1761
1762 static void
1763 verror (s, ap)
1764 const char *s;
1765 va_list ap;
1766 {
1767 v_error_with_file_and_line (input_filename, lineno, s, ap);
1768 }
1769
1770 void
1771 error VPROTO((const char *s, ...))
1772 {
1773 #ifndef ANSI_PROTOTYPES
1774 const char *s;
1775 #endif
1776 va_list ap;
1777
1778 VA_START (ap, s);
1779
1780 #ifndef ANSI_PROTOTYPES
1781 s = va_arg (ap, const char *);
1782 #endif
1783
1784 verror (s, ap);
1785 va_end (ap);
1786 }
1787
1788 /* Report a fatal error at the current line number. */
1789
1790 static void
1791 vfatal (s, ap)
1792 const char *s;
1793 va_list ap;
1794 {
1795 verror (s, ap);
1796 exit (FATAL_EXIT_CODE);
1797 }
1798
1799 void
1800 fatal VPROTO((const char *s, ...))
1801 {
1802 #ifndef ANSI_PROTOTYPES
1803 const char *s;
1804 #endif
1805 va_list ap;
1806
1807 VA_START (ap, s);
1808
1809 #ifndef ANSI_PROTOTYPES
1810 s = va_arg (ap, const char *);
1811 #endif
1812
1813 vfatal (s, ap);
1814 va_end (ap);
1815 }
1816
1817 /* Report a warning at line LINE of file FILE. */
1818
1819 static void
1820 v_warning_with_file_and_line (file, line, s, ap)
1821 const char *file;
1822 int line;
1823 const char *s;
1824 va_list ap;
1825 {
1826 if (count_error (1))
1827 {
1828 report_error_function (file);
1829 v_message_with_file_and_line (file, line, "warning", s, ap);
1830 }
1831 }
1832
1833 void
1834 warning_with_file_and_line VPROTO((const char *file, int line,
1835 const char *s, ...))
1836 {
1837 #ifndef ANSI_PROTOTYPES
1838 const char *file;
1839 int line;
1840 const char *s;
1841 #endif
1842 va_list ap;
1843
1844 VA_START (ap, s);
1845
1846 #ifndef ANSI_PROTOTYPES
1847 file = va_arg (ap, const char *);
1848 line = va_arg (ap, int);
1849 s = va_arg (ap, const char *);
1850 #endif
1851
1852 v_warning_with_file_and_line (file, line, s, ap);
1853 va_end (ap);
1854 }
1855
1856 /* Report a warning at the declaration DECL.
1857 S is a format string which uses %s to substitute the declaration
1858 name; subsequent substitutions are a la printf. */
1859
1860 static void
1861 v_warning_with_decl (decl, s, ap)
1862 tree decl;
1863 const char *s;
1864 va_list ap;
1865 {
1866 if (count_error (1))
1867 {
1868 report_error_function (DECL_SOURCE_FILE (decl));
1869 v_message_with_decl (decl, "warning", s, ap);
1870 }
1871 }
1872
1873 void
1874 warning_with_decl VPROTO((tree decl, const char *s, ...))
1875 {
1876 #ifndef ANSI_PROTOTYPES
1877 tree decl;
1878 const char *s;
1879 #endif
1880 va_list ap;
1881
1882 VA_START (ap, s);
1883
1884 #ifndef ANSI_PROTOTYPES
1885 decl = va_arg (ap, tree);
1886 s = va_arg (ap, const char *);
1887 #endif
1888
1889 v_warning_with_decl (decl, s, ap);
1890 va_end (ap);
1891 }
1892
1893 /* Report a warning at the line number of the insn INSN.
1894 This is used only when INSN is an `asm' with operands,
1895 and each ASM_OPERANDS records its own source file and line. */
1896
1897 static void
1898 v_warning_for_asm (insn, s, ap)
1899 rtx insn;
1900 const char *s;
1901 va_list ap;
1902 {
1903 if (count_error (1))
1904 {
1905 char *file;
1906 int line;
1907
1908 file_and_line_for_asm (insn, &file, &line);
1909 report_error_function (file);
1910 v_message_with_file_and_line (file, line, "warning", s, ap);
1911 }
1912 }
1913
1914 void
1915 warning_for_asm VPROTO((rtx insn, const char *s, ...))
1916 {
1917 #ifndef ANSI_PROTOTYPES
1918 rtx insn;
1919 const char *s;
1920 #endif
1921 va_list ap;
1922
1923 VA_START (ap, s);
1924
1925 #ifndef ANSI_PROTOTYPES
1926 insn = va_arg (ap, rtx);
1927 s = va_arg (ap, const char *);
1928 #endif
1929
1930 v_warning_for_asm (insn, s, ap);
1931 va_end (ap);
1932 }
1933
1934 /* Report a warning at the current line number. */
1935
1936 static void
1937 vwarning (s, ap)
1938 const char *s;
1939 va_list ap;
1940 {
1941 v_warning_with_file_and_line (input_filename, lineno, s, ap);
1942 }
1943
1944 void
1945 warning VPROTO((const char *s, ...))
1946 {
1947 #ifndef ANSI_PROTOTYPES
1948 const char *s;
1949 #endif
1950 va_list ap;
1951
1952 VA_START (ap, s);
1953
1954 #ifndef ANSI_PROTOTYPES
1955 s = va_arg (ap, const char *);
1956 #endif
1957
1958 vwarning (s, ap);
1959 va_end (ap);
1960 }
1961
1962 /* These functions issue either warnings or errors depending on
1963 -pedantic-errors. */
1964
1965 static void
1966 vpedwarn (s, ap)
1967 const char *s;
1968 va_list ap;
1969 {
1970 if (flag_pedantic_errors)
1971 verror (s, ap);
1972 else
1973 vwarning (s, ap);
1974 }
1975
1976 void
1977 pedwarn VPROTO((const char *s, ...))
1978 {
1979 #ifndef ANSI_PROTOTYPES
1980 const char *s;
1981 #endif
1982 va_list ap;
1983
1984 VA_START (ap, s);
1985
1986 #ifndef ANSI_PROTOTYPES
1987 s = va_arg (ap, const char *);
1988 #endif
1989
1990 vpedwarn (s, ap);
1991 va_end (ap);
1992 }
1993
1994 static void
1995 v_pedwarn_with_decl (decl, s, ap)
1996 tree decl;
1997 const char *s;
1998 va_list ap;
1999 {
2000 /* We don't want -pedantic-errors to cause the compilation to fail from
2001 "errors" in system header files. Sometimes fixincludes can't fix what's
2002 broken (eg: unsigned char bitfields - fixing it may change the alignment
2003 which will cause programs to mysteriously fail because the C library
2004 or kernel uses the original layout). There's no point in issuing a
2005 warning either, it's just unnecessary noise. */
2006
2007 if (! DECL_IN_SYSTEM_HEADER (decl))
2008 {
2009 if (flag_pedantic_errors)
2010 v_error_with_decl (decl, s, ap);
2011 else
2012 v_warning_with_decl (decl, s, ap);
2013 }
2014 }
2015
2016 void
2017 pedwarn_with_decl VPROTO((tree decl, const char *s, ...))
2018 {
2019 #ifndef ANSI_PROTOTYPES
2020 tree decl;
2021 const char *s;
2022 #endif
2023 va_list ap;
2024
2025 VA_START (ap, s);
2026
2027 #ifndef ANSI_PROTOTYPES
2028 decl = va_arg (ap, tree);
2029 s = va_arg (ap, const char *);
2030 #endif
2031
2032 v_pedwarn_with_decl (decl, s, ap);
2033 va_end (ap);
2034 }
2035
2036 static void
2037 v_pedwarn_with_file_and_line (file, line, s, ap)
2038 const char *file;
2039 int line;
2040 const char *s;
2041 va_list ap;
2042 {
2043 if (flag_pedantic_errors)
2044 v_error_with_file_and_line (file, line, s, ap);
2045 else
2046 v_warning_with_file_and_line (file, line, s, ap);
2047 }
2048
2049 void
2050 pedwarn_with_file_and_line VPROTO((const char *file, int line,
2051 const char *s, ...))
2052 {
2053 #ifndef ANSI_PROTOTYPES
2054 const char *file;
2055 int line;
2056 const char *s;
2057 #endif
2058 va_list ap;
2059
2060 VA_START (ap, s);
2061
2062 #ifndef ANSI_PROTOTYPES
2063 file = va_arg (ap, const char *);
2064 line = va_arg (ap, int);
2065 s = va_arg (ap, const char *);
2066 #endif
2067
2068 v_pedwarn_with_file_and_line (file, line, s, ap);
2069 va_end (ap);
2070 }
2071
2072 /* Apologize for not implementing some feature. */
2073
2074 static void
2075 vsorry (s, ap)
2076 const char *s;
2077 va_list ap;
2078 {
2079 sorrycount++;
2080 if (input_filename)
2081 fprintf (stderr, "%s:%d: ", input_filename, lineno);
2082 else
2083 fprintf (stderr, "%s: ", progname);
2084 vmessage ("sorry, not implemented", s, ap);
2085 fputc ('\n', stderr);
2086 }
2087
2088 void
2089 sorry VPROTO((const char *s, ...))
2090 {
2091 #ifndef ANSI_PROTOTYPES
2092 const char *s;
2093 #endif
2094 va_list ap;
2095
2096 VA_START (ap, s);
2097
2098 #ifndef ANSI_PROTOTYPES
2099 s = va_arg (ap, const char *);
2100 #endif
2101
2102 vsorry (s, ap);
2103 va_end (ap);
2104 }
2105
2106 /* Apologize for not implementing some feature, then quit. */
2107
2108 static void
2109 v_really_sorry (s, ap)
2110 const char *s;
2111 va_list ap;
2112 {
2113 sorrycount++;
2114 if (input_filename)
2115 fprintf (stderr, "%s:%d: ", input_filename, lineno);
2116 else
2117 fprintf (stderr, "%s: ", progname);
2118 vmessage ("sorry, not implemented", s, ap);
2119 fatal (" (fatal)\n");
2120 }
2121
2122 void
2123 really_sorry VPROTO((const char *s, ...))
2124 {
2125 #ifndef ANSI_PROTOTYPES
2126 const char *s;
2127 #endif
2128 va_list ap;
2129
2130 VA_START (ap, s);
2131
2132 #ifndef ANSI_PROTOTYPES
2133 s = va_arg (ap, const char *);
2134 #endif
2135
2136 v_really_sorry (s, ap);
2137 va_end (ap);
2138 }
2139 \f
2140 /* More 'friendly' abort that prints the line and file.
2141 config.h can #define abort fancy_abort if you like that sort of thing.
2142
2143 I don't think this is actually a good idea.
2144 Other sorts of crashes will look a certain way.
2145 It is a good thing if crashes from calling abort look the same way.
2146 -- RMS */
2147
2148 void
2149 fancy_abort ()
2150 {
2151 fatal ("internal gcc abort");
2152 }
2153
2154 /* This calls abort and is used to avoid problems when abort if a macro.
2155 It is used when we need to pass the address of abort. */
2156
2157 void
2158 do_abort ()
2159 {
2160 abort ();
2161 }
2162
2163 /* When `malloc.c' is compiled with `rcheck' defined,
2164 it calls this function to report clobberage. */
2165
2166 void
2167 botch (s)
2168 const char * s ATTRIBUTE_UNUSED;
2169 {
2170 abort ();
2171 }
2172
2173 /* Same as `malloc' but report error if no memory available. */
2174
2175 PTR
2176 xmalloc (size)
2177 size_t size;
2178 {
2179 register PTR value;
2180
2181 if (size == 0)
2182 size = 1;
2183
2184 value = (PTR) malloc (size);
2185 if (value == 0)
2186 fatal ("virtual memory exhausted");
2187 return value;
2188 }
2189
2190 /* Same as `calloc' but report error if no memory available. */
2191
2192 PTR
2193 xcalloc (size1, size2)
2194 size_t size1, size2;
2195 {
2196 register PTR value;
2197
2198 if (size1 == 0 || size2 == 0)
2199 size1 = size2 = 1;
2200
2201 value = (PTR) calloc (size1, size2);
2202 if (value == 0)
2203 fatal ("virtual memory exhausted");
2204 return value;
2205 }
2206
2207
2208 /* Same as `realloc' but report error if no memory available.
2209 Also handle null PTR even if the vendor realloc gets it wrong. */
2210
2211 PTR
2212 xrealloc (ptr, size)
2213 PTR ptr;
2214 size_t size;
2215 {
2216 register PTR result;
2217
2218 if (size == 0)
2219 size = 1;
2220
2221 result = (ptr ? (PTR) realloc (ptr, size) : (PTR) malloc (size));
2222
2223 if (!result)
2224 fatal ("virtual memory exhausted");
2225
2226 return result;
2227 }
2228
2229 /* Same as `strdup' but report error if no memory available. */
2230
2231 char *
2232 xstrdup (s)
2233 register const char *s;
2234 {
2235 register char *result = (char *) malloc (strlen (s) + 1);
2236
2237 if (! result)
2238 fatal ("virtual memory exhausted");
2239 strcpy (result, s);
2240 return result;
2241 }
2242 \f
2243 /* Return the logarithm of X, base 2, considering X unsigned,
2244 if X is a power of 2. Otherwise, returns -1.
2245
2246 This should be used via the `exact_log2' macro. */
2247
2248 int
2249 exact_log2_wide (x)
2250 register unsigned HOST_WIDE_INT x;
2251 {
2252 register int log = 0;
2253 /* Test for 0 or a power of 2. */
2254 if (x == 0 || x != (x & -x))
2255 return -1;
2256 while ((x >>= 1) != 0)
2257 log++;
2258 return log;
2259 }
2260
2261 /* Given X, an unsigned number, return the largest int Y such that 2**Y <= X.
2262 If X is 0, return -1.
2263
2264 This should be used via the floor_log2 macro. */
2265
2266 int
2267 floor_log2_wide (x)
2268 register unsigned HOST_WIDE_INT x;
2269 {
2270 register int log = -1;
2271 while (x != 0)
2272 log++,
2273 x >>= 1;
2274 return log;
2275 }
2276
2277 static int float_handler_set;
2278 int float_handled;
2279 jmp_buf float_handler;
2280
2281 /* Signals actually come here. */
2282
2283 static void
2284 float_signal (signo)
2285 /* If this is missing, some compilers complain. */
2286 int signo ATTRIBUTE_UNUSED;
2287 {
2288 if (float_handled == 0)
2289 abort ();
2290 #if defined (USG) || defined (hpux)
2291 signal (SIGFPE, float_signal); /* re-enable the signal catcher */
2292 #endif
2293 float_handled = 0;
2294 signal (SIGFPE, float_signal);
2295 longjmp (float_handler, 1);
2296 }
2297
2298 /* Specify where to longjmp to when a floating arithmetic error happens.
2299 If HANDLER is 0, it means don't handle the errors any more. */
2300
2301 void
2302 set_float_handler (handler)
2303 jmp_buf handler;
2304 {
2305 float_handled = (handler != 0);
2306 if (handler)
2307 bcopy ((char *) handler, (char *) float_handler, sizeof (float_handler));
2308
2309 if (float_handled && ! float_handler_set)
2310 {
2311 signal (SIGFPE, float_signal);
2312 float_handler_set = 1;
2313 }
2314 }
2315
2316 /* Specify, in HANDLER, where to longjmp to when a floating arithmetic
2317 error happens, pushing the previous specification into OLD_HANDLER.
2318 Return an indication of whether there was a previous handler in effect. */
2319
2320 int
2321 push_float_handler (handler, old_handler)
2322 jmp_buf handler, old_handler;
2323 {
2324 int was_handled = float_handled;
2325
2326 float_handled = 1;
2327 if (was_handled)
2328 memcpy ((char *) old_handler, (char *) float_handler,
2329 sizeof (float_handler));
2330
2331 memcpy ((char *) float_handler, (char *) handler, sizeof (float_handler));
2332 return was_handled;
2333 }
2334
2335 /* Restore the previous specification of whether and where to longjmp to
2336 when a floating arithmetic error happens. */
2337
2338 void
2339 pop_float_handler (handled, handler)
2340 int handled;
2341 jmp_buf handler;
2342 {
2343 float_handled = handled;
2344 if (handled)
2345 bcopy ((char *) handler, (char *) float_handler, sizeof (float_handler));
2346 }
2347
2348 /* Handler for SIGPIPE. */
2349
2350 static void
2351 pipe_closed (signo)
2352 /* If this is missing, some compilers complain. */
2353 int signo ATTRIBUTE_UNUSED;
2354 {
2355 fatal ("output pipe has been closed");
2356 }
2357
2358 /* Strip off a legitimate source ending from the input string NAME of
2359 length LEN. Rather than having to know the names used by all of
2360 our front ends, we strip off an ending of a period followed by
2361 up to five characters. (Java uses ".class".) */
2362
2363 void
2364 strip_off_ending (name, len)
2365 char *name;
2366 int len;
2367 {
2368 int i;
2369 for (i = 2; i < 6 && len > i; i++)
2370 {
2371 if (name[len - i] == '.')
2372 {
2373 name[len - i] = '\0';
2374 break;
2375 }
2376 }
2377 }
2378
2379 /* Output a quoted string. */
2380
2381 void
2382 output_quoted_string (asm_file, string)
2383 FILE *asm_file;
2384 const char *string;
2385 {
2386 #ifdef OUTPUT_QUOTED_STRING
2387 OUTPUT_QUOTED_STRING (asm_file, string);
2388 #else
2389 char c;
2390
2391 putc ('\"', asm_file);
2392 while ((c = *string++) != 0)
2393 {
2394 if (c == '\"' || c == '\\')
2395 putc ('\\', asm_file);
2396 putc (c, asm_file);
2397 }
2398 putc ('\"', asm_file);
2399 #endif
2400 }
2401
2402 /* Output a file name in the form wanted by System V. */
2403
2404 void
2405 output_file_directive (asm_file, input_name)
2406 FILE *asm_file;
2407 const char *input_name;
2408 {
2409 int len = strlen (input_name);
2410 const char *na = input_name + len;
2411
2412 /* NA gets INPUT_NAME sans directory names. */
2413 while (na > input_name)
2414 {
2415 if (na[-1] == '/')
2416 break;
2417 #ifdef DIR_SEPARATOR
2418 if (na[-1] == DIR_SEPARATOR)
2419 break;
2420 #endif
2421 na--;
2422 }
2423
2424 #ifdef ASM_OUTPUT_MAIN_SOURCE_FILENAME
2425 ASM_OUTPUT_MAIN_SOURCE_FILENAME (asm_file, na);
2426 #else
2427 #ifdef ASM_OUTPUT_SOURCE_FILENAME
2428 ASM_OUTPUT_SOURCE_FILENAME (asm_file, na);
2429 #else
2430 fprintf (asm_file, "\t.file\t");
2431 output_quoted_string (asm_file, na);
2432 fputc ('\n', asm_file);
2433 #endif
2434 #endif
2435 }
2436 \f
2437 #ifdef ASM_IDENTIFY_LANGUAGE
2438 /* Routine to build language identifier for object file. */
2439 static void
2440 output_lang_identify (asm_out_file)
2441 FILE *asm_out_file;
2442 {
2443 int len = strlen (lang_identify ()) + sizeof ("__gnu_compiled_") + 1;
2444 char *s = (char *) alloca (len);
2445 sprintf (s, "__gnu_compiled_%s", lang_identify ());
2446 ASM_OUTPUT_LABEL (asm_out_file, s);
2447 }
2448 #endif
2449
2450 /* Routine to open a dump file. */
2451 static void
2452 open_dump_file (suffix, function_name)
2453 const char *suffix;
2454 const char *function_name;
2455 {
2456 char *dumpname;
2457
2458 TIMEVAR
2459 (dump_time,
2460 {
2461 dumpname = (char *) xmalloc (strlen (dump_base_name) + strlen (suffix) + 1);
2462
2463 if (rtl_dump_file != NULL)
2464 fclose (rtl_dump_file);
2465
2466 strcpy (dumpname, dump_base_name);
2467 strcat (dumpname, suffix);
2468
2469 rtl_dump_file = fopen (dumpname, "a");
2470
2471 if (rtl_dump_file == NULL)
2472 pfatal_with_name (dumpname);
2473
2474 free (dumpname);
2475
2476 if (function_name)
2477 fprintf (rtl_dump_file, "\n;; Function %s\n\n", function_name);
2478 });
2479
2480 return;
2481 }
2482
2483 /* Routine to close a dump file. */
2484 static void
2485 close_dump_file (func, insns)
2486 void (*func) PROTO ((FILE *, rtx));
2487 rtx insns;
2488 {
2489 TIMEVAR
2490 (dump_time,
2491 {
2492 if (func)
2493 func (rtl_dump_file, insns);
2494
2495 fflush (rtl_dump_file);
2496 fclose (rtl_dump_file);
2497
2498 rtl_dump_file = NULL;
2499 });
2500
2501 return;
2502 }
2503
2504 /* Routine to dump rtl into a file. */
2505 static void
2506 dump_rtl (suffix, decl, func, insns)
2507 const char *suffix;
2508 tree decl;
2509 void (*func) PROTO ((FILE *, rtx));
2510 rtx insns;
2511 {
2512 open_dump_file (suffix, decl_printable_name (decl, 2));
2513 close_dump_file (func, insns);
2514 }
2515
2516 /* Routine to empty a dump file. */
2517 static void
2518 clean_dump_file (suffix)
2519 const char *suffix;
2520 {
2521 char *dumpname;
2522
2523 dumpname = (char *) xmalloc (strlen (dump_base_name) + strlen (suffix) + 1);
2524
2525 strcpy (dumpname, dump_base_name);
2526 strcat (dumpname, suffix);
2527
2528 rtl_dump_file = fopen (dumpname, "w");
2529
2530 if (rtl_dump_file == NULL)
2531 pfatal_with_name (dumpname);
2532
2533 free (dumpname);
2534
2535 fclose (rtl_dump_file);
2536 rtl_dump_file = NULL;
2537
2538 return;
2539 }
2540
2541
2542 /* Compile an entire file of output from cpp, named NAME.
2543 Write a file of assembly output and various debugging dumps. */
2544
2545 static void
2546 compile_file (name)
2547 char *name;
2548 {
2549 tree globals;
2550 int start_time;
2551
2552 int name_specified = name != 0;
2553
2554 if (dump_base_name == 0)
2555 dump_base_name = name ? name : "gccdump";
2556
2557 parse_time = 0;
2558 varconst_time = 0;
2559 integration_time = 0;
2560 jump_time = 0;
2561 cse_time = 0;
2562 gcse_time = 0;
2563 loop_time = 0;
2564 cse2_time = 0;
2565 branch_prob_time = 0;
2566 flow_time = 0;
2567 combine_time = 0;
2568 regmove_time = 0;
2569 sched_time = 0;
2570 local_alloc_time = 0;
2571 global_alloc_time = 0;
2572 sched2_time = 0;
2573 #ifdef DELAY_SLOTS
2574 dbr_sched_time = 0;
2575 #endif
2576 shorten_branch_time = 0;
2577 stack_reg_time = 0;
2578 final_time = 0;
2579 symout_time = 0;
2580 dump_time = 0;
2581
2582 /* Initialize data in various passes. */
2583
2584 init_obstacks ();
2585 init_tree_codes ();
2586 name = init_parse (name);
2587 init_rtl ();
2588 init_emit_once (debug_info_level == DINFO_LEVEL_NORMAL
2589 || debug_info_level == DINFO_LEVEL_VERBOSE
2590 || flag_test_coverage);
2591 init_regs ();
2592 init_decl_processing ();
2593 init_optabs ();
2594 init_stmt ();
2595 init_expmed ();
2596 init_expr_once ();
2597 init_loop ();
2598 init_reload ();
2599 init_alias_once ();
2600
2601 if (flag_caller_saves)
2602 init_caller_save ();
2603
2604 /* If auxiliary info generation is desired, open the output file.
2605 This goes in the same directory as the source file--unlike
2606 all the other output files. */
2607 if (flag_gen_aux_info)
2608 {
2609 aux_info_file = fopen (aux_info_file_name, "w");
2610 if (aux_info_file == 0)
2611 pfatal_with_name (aux_info_file_name);
2612 }
2613
2614 /* Clear the dump files. */
2615 if (rtl_dump)
2616 clean_dump_file (".rtl");
2617 if (jump_opt_dump)
2618 {
2619 clean_dump_file (".jump");
2620 if (graph_dump_format != no_graph)
2621 clean_graph_dump_file (dump_base_name, ".jump");
2622 }
2623 if (addressof_dump)
2624 {
2625 clean_dump_file (".addressof");
2626 if (graph_dump_format != no_graph)
2627 clean_graph_dump_file (dump_base_name, ".addressof");
2628 }
2629 if (cse_dump)
2630 {
2631 clean_dump_file (".cse");
2632 if (graph_dump_format != no_graph)
2633 clean_graph_dump_file (dump_base_name, ".cse");
2634 }
2635 if (loop_dump)
2636 {
2637 clean_dump_file (".loop");
2638 if (graph_dump_format != no_graph)
2639 clean_graph_dump_file (dump_base_name, ".loop");
2640 }
2641 if (cse2_dump)
2642 {
2643 clean_dump_file (".cse2");
2644 if (graph_dump_format != no_graph)
2645 clean_graph_dump_file (dump_base_name, ".cse2");
2646 }
2647 if (branch_prob_dump)
2648 {
2649 clean_dump_file (".bp");
2650 if (graph_dump_format != no_graph)
2651 clean_graph_dump_file (dump_base_name, ".bp");
2652 }
2653 if (flow_dump)
2654 {
2655 clean_dump_file (".flow");
2656 if (graph_dump_format != no_graph)
2657 clean_graph_dump_file (dump_base_name, ".flow");
2658 }
2659 if (combine_dump)
2660 {
2661 clean_dump_file (".combine");
2662 if (graph_dump_format != no_graph)
2663 clean_graph_dump_file (dump_base_name, ".combine");
2664 }
2665 if (regmove_dump)
2666 {
2667 clean_dump_file (".regmove");
2668 if (graph_dump_format != no_graph)
2669 clean_graph_dump_file (dump_base_name, ".regmove");
2670 }
2671 if (sched_dump)
2672 {
2673 clean_dump_file (".sched");
2674 if (graph_dump_format != no_graph)
2675 clean_graph_dump_file (dump_base_name, ".sched");
2676 }
2677 if (local_reg_dump)
2678 {
2679 clean_dump_file (".lreg");
2680 if (graph_dump_format != no_graph)
2681 clean_graph_dump_file (dump_base_name, ".lreg");
2682 }
2683 if (global_reg_dump)
2684 {
2685 clean_dump_file (".greg");
2686 if (graph_dump_format != no_graph)
2687 clean_graph_dump_file (dump_base_name, ".greg");
2688 }
2689 if (sched2_dump)
2690 {
2691 clean_dump_file (".sched2");
2692 if (graph_dump_format != no_graph)
2693 clean_graph_dump_file (dump_base_name, ".sched2");
2694 }
2695 if (jump2_opt_dump)
2696 {
2697 clean_dump_file (".jump2");
2698 if (graph_dump_format != no_graph)
2699 clean_graph_dump_file (dump_base_name, ".jump2");
2700 }
2701 #ifdef DELAY_SLOTS
2702 if (dbr_sched_dump)
2703 {
2704 clean_dump_file (".dbr");
2705 if (graph_dump_format != no_graph)
2706 clean_graph_dump_file (dump_base_name, ".dbr");
2707 }
2708 #endif
2709 if (gcse_dump)
2710 {
2711 clean_dump_file (".gcse");
2712 if (graph_dump_format != no_graph)
2713 clean_graph_dump_file (dump_base_name, ".gcse");
2714 }
2715 #ifdef STACK_REGS
2716 if (stack_reg_dump)
2717 {
2718 clean_dump_file (".stack");
2719 if (graph_dump_format != no_graph)
2720 clean_graph_dump_file (dump_base_name, ".stack");
2721 }
2722 #endif
2723 #ifdef MACHINE_DEPENDENT_REORG
2724 if (mach_dep_reorg_dump)
2725 {
2726 clean_dump_file (".mach");
2727 if (graph_dump_format != no_graph)
2728 clean_graph_dump_file (dump_base_name, ".mach");
2729 }
2730 #endif
2731
2732 /* Open assembler code output file. */
2733
2734 if (flag_syntax_only)
2735 asm_out_file = NULL;
2736 else
2737 {
2738 if (! name_specified && asm_file_name == 0)
2739 asm_out_file = stdout;
2740 else
2741 {
2742 int len = strlen (dump_base_name);
2743 register char *dumpname = (char *) xmalloc (len + 6);
2744 strcpy (dumpname, dump_base_name);
2745 strip_off_ending (dumpname, len);
2746 strcat (dumpname, ".s");
2747 if (asm_file_name == 0)
2748 {
2749 asm_file_name = (char *) xmalloc (strlen (dumpname) + 1);
2750 strcpy (asm_file_name, dumpname);
2751 }
2752 if (!strcmp (asm_file_name, "-"))
2753 asm_out_file = stdout;
2754 else
2755 asm_out_file = fopen (asm_file_name, "w");
2756 if (asm_out_file == 0)
2757 pfatal_with_name (asm_file_name);
2758 }
2759
2760 #ifdef IO_BUFFER_SIZE
2761 setvbuf (asm_out_file, (char *) xmalloc (IO_BUFFER_SIZE),
2762 _IOFBF, IO_BUFFER_SIZE);
2763 #endif
2764 }
2765
2766 input_filename = name;
2767
2768 /* Put an entry on the input file stack for the main input file. */
2769 input_file_stack
2770 = (struct file_stack *) xmalloc (sizeof (struct file_stack));
2771 input_file_stack->next = 0;
2772 input_file_stack->name = input_filename;
2773
2774 /* Perform language-specific initialization.
2775 This may set main_input_filename. */
2776 lang_init ();
2777
2778 /* If the input doesn't start with a #line, use the input name
2779 as the official input file name. */
2780 if (main_input_filename == 0)
2781 main_input_filename = name;
2782
2783 if (flag_syntax_only)
2784 {
2785 write_symbols = NO_DEBUG;
2786 profile_flag = 0;
2787 profile_block_flag = 0;
2788 }
2789 else
2790 {
2791 ASM_FILE_START (asm_out_file);
2792
2793 #ifdef ASM_COMMENT_START
2794 if (flag_verbose_asm)
2795 {
2796 /* Print the list of options in effect. */
2797 print_version (asm_out_file, ASM_COMMENT_START);
2798 print_switch_values (asm_out_file, 0, MAX_LINE,
2799 ASM_COMMENT_START, " ", "\n");
2800 /* Add a blank line here so it appears in assembler output but not
2801 screen output. */
2802 fprintf (asm_out_file, "\n");
2803 }
2804 #endif
2805
2806 /* Output something to inform GDB that this compilation was by GCC. */
2807 #ifndef ASM_IDENTIFY_GCC
2808 fprintf (asm_out_file, "gcc2_compiled.:\n");
2809 #else
2810 ASM_IDENTIFY_GCC (asm_out_file);
2811 #endif
2812
2813 /* Output something to identify which front-end produced this file. */
2814 #ifdef ASM_IDENTIFY_LANGUAGE
2815 ASM_IDENTIFY_LANGUAGE (asm_out_file);
2816 #endif
2817 } /* ! flag_syntax_only */
2818
2819 #ifndef ASM_OUTPUT_SECTION_NAME
2820 if (flag_function_sections)
2821 {
2822 warning ("-ffunction-sections not supported for this target.");
2823 flag_function_sections = 0;
2824 }
2825 if (flag_data_sections)
2826 {
2827 warning ("-fdata-sections not supported for this target.");
2828 flag_data_sections = 0;
2829 }
2830 #endif
2831
2832 if (flag_function_sections
2833 && (profile_flag || profile_block_flag))
2834 {
2835 warning ("-ffunction-sections disabled; it makes profiling impossible.");
2836 flag_function_sections = 0;
2837 }
2838
2839 if (flag_function_sections && write_symbols != NO_DEBUG)
2840 warning ("-ffunction-sections may affect debugging on some targets.");
2841
2842 /* ??? Note: There used to be a conditional here
2843 to call assemble_zeros without fail if DBX_DEBUGGING_INFO is defined.
2844 This was to guarantee separation between gcc_compiled. and
2845 the first function, for the sake of dbx on Suns.
2846 However, having the extra zero here confused the Emacs
2847 code for unexec, and might confuse other programs too.
2848 Therefore, I took out that change.
2849 In future versions we should find another way to solve
2850 that dbx problem. -- rms, 23 May 93. */
2851
2852 /* Don't let the first function fall at the same address
2853 as gcc_compiled., if profiling. */
2854 if (profile_flag || profile_block_flag)
2855 {
2856 /* It's best if we can write a nop here since some
2857 assemblers don't tolerate zeros in the text section. */
2858 if (insn_template[CODE_FOR_nop] != 0)
2859 output_asm_insn (insn_template[CODE_FOR_nop], NULL_PTR);
2860 else
2861 assemble_zeros (UNITS_PER_WORD);
2862 }
2863
2864 /* If dbx symbol table desired, initialize writing it
2865 and output the predefined types. */
2866 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
2867 if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG)
2868 TIMEVAR (symout_time, dbxout_init (asm_out_file, main_input_filename,
2869 getdecls ()));
2870 #endif
2871 #ifdef SDB_DEBUGGING_INFO
2872 if (write_symbols == SDB_DEBUG)
2873 TIMEVAR (symout_time, sdbout_init (asm_out_file, main_input_filename,
2874 getdecls ()));
2875 #endif
2876 #ifdef DWARF_DEBUGGING_INFO
2877 if (write_symbols == DWARF_DEBUG)
2878 TIMEVAR (symout_time, dwarfout_init (asm_out_file, main_input_filename));
2879 #endif
2880 #ifdef DWARF2_UNWIND_INFO
2881 if (dwarf2out_do_frame ())
2882 dwarf2out_frame_init ();
2883 #endif
2884 #ifdef DWARF2_DEBUGGING_INFO
2885 if (write_symbols == DWARF2_DEBUG)
2886 TIMEVAR (symout_time, dwarf2out_init (asm_out_file, main_input_filename));
2887 #endif
2888
2889 /* Initialize yet another pass. */
2890
2891 init_final (main_input_filename);
2892 init_branch_prob (dump_base_name);
2893
2894 start_time = get_run_time ();
2895
2896 /* Call the parser, which parses the entire file
2897 (calling rest_of_compilation for each function). */
2898
2899 if (yyparse () != 0)
2900 {
2901 if (errorcount == 0)
2902 fprintf (stderr, "Errors detected in input file (your bison.simple is out of date)");
2903
2904 /* In case there were missing closebraces,
2905 get us back to the global binding level. */
2906 while (! global_bindings_p ())
2907 poplevel (0, 0, 0);
2908 }
2909
2910 /* Compilation is now finished except for writing
2911 what's left of the symbol table output. */
2912
2913 parse_time += get_run_time () - start_time;
2914
2915 parse_time -= integration_time;
2916 parse_time -= varconst_time;
2917
2918 if (flag_syntax_only)
2919 goto finish_syntax;
2920
2921 globals = getdecls ();
2922
2923 /* Really define vars that have had only a tentative definition.
2924 Really output inline functions that must actually be callable
2925 and have not been output so far. */
2926
2927 {
2928 int len = list_length (globals);
2929 tree *vec = (tree *) alloca (sizeof (tree) * len);
2930 int i;
2931 tree decl;
2932 int reconsider = 1;
2933
2934 /* Process the decls in reverse order--earliest first.
2935 Put them into VEC from back to front, then take out from front. */
2936
2937 for (i = 0, decl = globals; i < len; i++, decl = TREE_CHAIN (decl))
2938 vec[len - i - 1] = decl;
2939
2940 for (i = 0; i < len; i++)
2941 {
2942 decl = vec[i];
2943
2944 /* We're not deferring this any longer. */
2945 DECL_DEFER_OUTPUT (decl) = 0;
2946
2947 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0
2948 && incomplete_decl_finalize_hook != 0)
2949 (*incomplete_decl_finalize_hook) (decl);
2950 }
2951
2952 /* Now emit any global variables or functions that we have been putting
2953 off. We need to loop in case one of the things emitted here
2954 references another one which comes earlier in the list. */
2955 while (reconsider)
2956 {
2957 reconsider = 0;
2958 for (i = 0; i < len; i++)
2959 {
2960 decl = vec[i];
2961
2962 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl))
2963 continue;
2964
2965 /* Don't write out static consts, unless we still need them.
2966
2967 We also keep static consts if not optimizing (for debugging),
2968 unless the user specified -fno-keep-static-consts.
2969 ??? They might be better written into the debug information.
2970 This is possible when using DWARF.
2971
2972 A language processor that wants static constants to be always
2973 written out (even if it is not used) is responsible for
2974 calling rest_of_decl_compilation itself. E.g. the C front-end
2975 calls rest_of_decl_compilation from finish_decl.
2976 One motivation for this is that is conventional in some
2977 environments to write things like:
2978 static const char rcsid[] = "... version string ...";
2979 intending to force the string to be in the executable.
2980
2981 A language processor that would prefer to have unneeded
2982 static constants "optimized away" would just defer writing
2983 them out until here. E.g. C++ does this, because static
2984 constants are often defined in header files.
2985
2986 ??? A tempting alternative (for both C and C++) would be
2987 to force a constant to be written if and only if it is
2988 defined in a main file, as opposed to an include file. */
2989
2990 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl)
2991 && (! TREE_READONLY (decl)
2992 || TREE_PUBLIC (decl)
2993 || (!optimize && flag_keep_static_consts)
2994 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
2995 {
2996 reconsider = 1;
2997 rest_of_decl_compilation (decl, NULL_PTR, 1, 1);
2998 }
2999
3000 if (TREE_CODE (decl) == FUNCTION_DECL
3001 && DECL_INITIAL (decl) != 0
3002 && DECL_SAVED_INSNS (decl) != 0
3003 && (flag_keep_inline_functions
3004 || TREE_PUBLIC (decl)
3005 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
3006 {
3007 reconsider = 1;
3008 temporary_allocation ();
3009 output_inline_function (decl);
3010 permanent_allocation (1);
3011 }
3012 }
3013 }
3014
3015 /* This must occur after the loop to output deferred functions. Else
3016 the profiler initializer would not be emitted if all the functions
3017 in this compilation unit were deferred.
3018
3019 output_func_start_profiler can not cause any additional functions or
3020 data to need to be output, so it need not be in the deferred function
3021 loop above. */
3022 output_func_start_profiler ();
3023
3024 /* Now that all possible functions have been output, we can dump
3025 the exception table. */
3026
3027 output_exception_table ();
3028
3029 for (i = 0; i < len; i++)
3030 {
3031 decl = vec[i];
3032
3033 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl)
3034 && ! TREE_ASM_WRITTEN (decl))
3035 /* Cancel the RTL for this decl so that, if debugging info
3036 output for global variables is still to come,
3037 this one will be omitted. */
3038 DECL_RTL (decl) = NULL;
3039
3040 /* Warn about any function
3041 declared static but not defined.
3042 We don't warn about variables,
3043 because many programs have static variables
3044 that exist only to get some text into the object file. */
3045 if (TREE_CODE (decl) == FUNCTION_DECL
3046 && (warn_unused
3047 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
3048 && DECL_INITIAL (decl) == 0
3049 && DECL_EXTERNAL (decl)
3050 && ! DECL_ARTIFICIAL (decl)
3051 && ! TREE_PUBLIC (decl))
3052 {
3053 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
3054 pedwarn_with_decl (decl,
3055 "`%s' used but never defined");
3056 else
3057 warning_with_decl (decl,
3058 "`%s' declared `static' but never defined");
3059 /* This symbol is effectively an "extern" declaration now. */
3060 TREE_PUBLIC (decl) = 1;
3061 assemble_external (decl);
3062 }
3063
3064 /* Warn about static fns or vars defined but not used,
3065 but not about inline functions or static consts
3066 since defining those in header files is normal practice. */
3067 if (warn_unused
3068 && ((TREE_CODE (decl) == FUNCTION_DECL && ! DECL_INLINE (decl))
3069 || (TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
3070 && ! DECL_IN_SYSTEM_HEADER (decl)
3071 && ! DECL_EXTERNAL (decl)
3072 && ! TREE_PUBLIC (decl)
3073 && ! TREE_USED (decl)
3074 && (TREE_CODE (decl) == FUNCTION_DECL || ! DECL_REGISTER (decl))
3075 /* The TREE_USED bit for file-scope decls
3076 is kept in the identifier, to handle multiple
3077 external decls in different scopes. */
3078 && ! TREE_USED (DECL_NAME (decl)))
3079 warning_with_decl (decl, "`%s' defined but not used");
3080
3081 #ifdef SDB_DEBUGGING_INFO
3082 /* The COFF linker can move initialized global vars to the end.
3083 And that can screw up the symbol ordering.
3084 By putting the symbols in that order to begin with,
3085 we avoid a problem. mcsun!unido!fauern!tumuc!pes@uunet.uu.net. */
3086 if (write_symbols == SDB_DEBUG && TREE_CODE (decl) == VAR_DECL
3087 && TREE_PUBLIC (decl) && DECL_INITIAL (decl)
3088 && ! DECL_EXTERNAL (decl)
3089 && DECL_RTL (decl) != 0)
3090 TIMEVAR (symout_time, sdbout_symbol (decl, 0));
3091
3092 /* Output COFF information for non-global
3093 file-scope initialized variables. */
3094 if (write_symbols == SDB_DEBUG
3095 && TREE_CODE (decl) == VAR_DECL
3096 && DECL_INITIAL (decl)
3097 && ! DECL_EXTERNAL (decl)
3098 && DECL_RTL (decl) != 0
3099 && GET_CODE (DECL_RTL (decl)) == MEM)
3100 TIMEVAR (symout_time, sdbout_toplevel_data (decl));
3101 #endif /* SDB_DEBUGGING_INFO */
3102 #ifdef DWARF_DEBUGGING_INFO
3103 /* Output DWARF information for file-scope tentative data object
3104 declarations, file-scope (extern) function declarations (which
3105 had no corresponding body) and file-scope tagged type declarations
3106 and definitions which have not yet been forced out. */
3107
3108 if (write_symbols == DWARF_DEBUG
3109 && (TREE_CODE (decl) != FUNCTION_DECL || !DECL_INITIAL (decl)))
3110 TIMEVAR (symout_time, dwarfout_file_scope_decl (decl, 1));
3111 #endif
3112 #ifdef DWARF2_DEBUGGING_INFO
3113 /* Output DWARF2 information for file-scope tentative data object
3114 declarations, file-scope (extern) function declarations (which
3115 had no corresponding body) and file-scope tagged type declarations
3116 and definitions which have not yet been forced out. */
3117
3118 if (write_symbols == DWARF2_DEBUG
3119 && (TREE_CODE (decl) != FUNCTION_DECL || !DECL_INITIAL (decl)))
3120 TIMEVAR (symout_time, dwarf2out_decl (decl));
3121 #endif
3122 }
3123 }
3124
3125 /* Write out any pending weak symbol declarations. */
3126
3127 weak_finish ();
3128
3129 /* Do dbx symbols */
3130 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
3131 if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG)
3132 TIMEVAR (symout_time,
3133 {
3134 dbxout_finish (asm_out_file, main_input_filename);
3135 });
3136 #endif
3137
3138 #ifdef DWARF_DEBUGGING_INFO
3139 if (write_symbols == DWARF_DEBUG)
3140 TIMEVAR (symout_time,
3141 {
3142 dwarfout_finish ();
3143 });
3144 #endif
3145
3146 #ifdef DWARF2_UNWIND_INFO
3147 if (dwarf2out_do_frame ())
3148 dwarf2out_frame_finish ();
3149 #endif
3150
3151 #ifdef DWARF2_DEBUGGING_INFO
3152 if (write_symbols == DWARF2_DEBUG)
3153 TIMEVAR (symout_time,
3154 {
3155 dwarf2out_finish ();
3156 });
3157 #endif
3158
3159 /* Output some stuff at end of file if nec. */
3160
3161 end_final (dump_base_name);
3162
3163 if (branch_prob_dump)
3164 open_dump_file (".bp", NULL);
3165
3166 TIMEVAR (dump_time, end_branch_prob (rtl_dump_file));
3167
3168 if (branch_prob_dump)
3169 close_dump_file (NULL, NULL_RTX);
3170
3171 #ifdef ASM_FILE_END
3172 ASM_FILE_END (asm_out_file);
3173 #endif
3174
3175
3176 /* Language-specific end of compilation actions. */
3177 finish_syntax:
3178 lang_finish ();
3179
3180 /* Close the dump files. */
3181
3182 if (flag_gen_aux_info)
3183 {
3184 fclose (aux_info_file);
3185 if (errorcount)
3186 unlink (aux_info_file_name);
3187 }
3188
3189 if (combine_dump)
3190 {
3191 open_dump_file (".combine", NULL);
3192 TIMEVAR (dump_time, dump_combine_total_stats (rtl_dump_file));
3193 close_dump_file (NULL, NULL_RTX);
3194 }
3195
3196 /* Close non-debugging input and output files. Take special care to note
3197 whether fclose returns an error, since the pages might still be on the
3198 buffer chain while the file is open. */
3199
3200 finish_parse ();
3201
3202 if (! flag_syntax_only
3203 && (ferror (asm_out_file) != 0 || fclose (asm_out_file) != 0))
3204 fatal_io_error (asm_file_name);
3205
3206 /* Do whatever is necessary to finish printing the graphs. */
3207 if (graph_dump_format != no_graph)
3208 {
3209 if (jump_opt_dump)
3210 finish_graph_dump_file (dump_base_name, ".jump");
3211 if (addressof_dump)
3212 finish_graph_dump_file (dump_base_name, ".addressof");
3213 if (cse_dump)
3214 finish_graph_dump_file (dump_base_name, ".cse");
3215 if (loop_dump)
3216 finish_graph_dump_file (dump_base_name, ".loop");
3217 if (cse2_dump)
3218 finish_graph_dump_file (dump_base_name, ".cse2");
3219 if (branch_prob_dump)
3220 finish_graph_dump_file (dump_base_name, ".bp");
3221 if (flow_dump)
3222 finish_graph_dump_file (dump_base_name, ".flow");
3223 if (combine_dump)
3224 finish_graph_dump_file (dump_base_name, ".combine");
3225 if (regmove_dump)
3226 finish_graph_dump_file (dump_base_name, ".regmove");
3227 if (sched_dump)
3228 finish_graph_dump_file (dump_base_name, ".sched");
3229 if (local_reg_dump)
3230 finish_graph_dump_file (dump_base_name, ".lreg");
3231 if (global_reg_dump)
3232 finish_graph_dump_file (dump_base_name, ".greg");
3233 if (sched2_dump)
3234 finish_graph_dump_file (dump_base_name, ".sched2");
3235 if (jump2_opt_dump)
3236 finish_graph_dump_file (dump_base_name, ".jump2");
3237 #ifdef DELAY_SLOTS
3238 if (dbr_sched_dump)
3239 finish_graph_dump_file (dump_base_name, ".dbr");
3240 #endif
3241 if (gcse_dump)
3242 finish_graph_dump_file (dump_base_name, ".gcse");
3243 #ifdef STACK_REGS
3244 if (stack_reg_dump)
3245 finish_graph_dump_file (dump_base_name, ".stack");
3246 #endif
3247 #ifdef MACHINE_DEPENDENT_REORG
3248 if (mach_dep_reorg_dump)
3249 finish_graph_dump_file (dump_base_name, ".mach");
3250 #endif
3251 }
3252
3253 /* Free up memory for the benefit of leak detectors. */
3254 free_reg_info ();
3255
3256 /* Print the times. */
3257
3258 if (! quiet_flag)
3259 {
3260 fprintf (stderr,"\n");
3261 print_time ("parse", parse_time);
3262
3263 print_time ("integration", integration_time);
3264 print_time ("jump", jump_time);
3265 print_time ("cse", cse_time);
3266 print_time ("gcse", gcse_time);
3267 print_time ("loop", loop_time);
3268 print_time ("cse2", cse2_time);
3269 print_time ("branch-prob", branch_prob_time);
3270 print_time ("flow", flow_time);
3271 print_time ("combine", combine_time);
3272 print_time ("regmove", regmove_time);
3273 print_time ("sched", sched_time);
3274 print_time ("local-alloc", local_alloc_time);
3275 print_time ("global-alloc", global_alloc_time);
3276 print_time ("sched2", sched2_time);
3277 #ifdef DELAY_SLOTS
3278 print_time ("dbranch", dbr_sched_time);
3279 #endif
3280 print_time ("shorten-branch", shorten_branch_time);
3281 print_time ("stack-reg", stack_reg_time);
3282 print_time ("final", final_time);
3283 print_time ("varconst", varconst_time);
3284 print_time ("symout", symout_time);
3285 print_time ("dump", dump_time);
3286 }
3287 }
3288 \f
3289 /* This is called from various places for FUNCTION_DECL, VAR_DECL,
3290 and TYPE_DECL nodes.
3291
3292 This does nothing for local (non-static) variables.
3293 Otherwise, it sets up the RTL and outputs any assembler code
3294 (label definition, storage allocation and initialization).
3295
3296 DECL is the declaration. If ASMSPEC is nonzero, it specifies
3297 the assembler symbol name to be used. TOP_LEVEL is nonzero
3298 if this declaration is not within a function. */
3299
3300 void
3301 rest_of_decl_compilation (decl, asmspec, top_level, at_end)
3302 tree decl;
3303 const char *asmspec;
3304 int top_level;
3305 int at_end;
3306 {
3307 /* Declarations of variables, and of functions defined elsewhere. */
3308
3309 /* The most obvious approach, to put an #ifndef around where
3310 this macro is used, doesn't work since it's inside a macro call. */
3311 #ifndef ASM_FINISH_DECLARE_OBJECT
3312 #define ASM_FINISH_DECLARE_OBJECT(FILE, DECL, TOP, END)
3313 #endif
3314
3315 /* Forward declarations for nested functions are not "external",
3316 but we need to treat them as if they were. */
3317 if (TREE_STATIC (decl) || DECL_EXTERNAL (decl)
3318 || TREE_CODE (decl) == FUNCTION_DECL)
3319 TIMEVAR (varconst_time,
3320 {
3321 make_decl_rtl (decl, asmspec, top_level);
3322 /* Initialized extern variable exists to be replaced
3323 with its value, or represents something that will be
3324 output in another file. */
3325 if (! (TREE_CODE (decl) == VAR_DECL
3326 && DECL_EXTERNAL (decl) && TREE_READONLY (decl)
3327 && DECL_INITIAL (decl) != 0
3328 && DECL_INITIAL (decl) != error_mark_node))
3329 /* Don't output anything
3330 when a tentative file-scope definition is seen.
3331 But at end of compilation, do output code for them. */
3332 if (! (! at_end && top_level
3333 && (DECL_INITIAL (decl) == 0
3334 || DECL_INITIAL (decl) == error_mark_node)))
3335 assemble_variable (decl, top_level, at_end, 0);
3336 if (decl == last_assemble_variable_decl)
3337 {
3338 ASM_FINISH_DECLARE_OBJECT (asm_out_file, decl,
3339 top_level, at_end);
3340 }
3341 });
3342 else if (DECL_REGISTER (decl) && asmspec != 0)
3343 {
3344 if (decode_reg_name (asmspec) >= 0)
3345 {
3346 DECL_RTL (decl) = 0;
3347 make_decl_rtl (decl, asmspec, top_level);
3348 }
3349 else
3350 error ("invalid register name `%s' for register variable", asmspec);
3351 }
3352 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
3353 else if ((write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG)
3354 && TREE_CODE (decl) == TYPE_DECL)
3355 TIMEVAR (symout_time, dbxout_symbol (decl, 0));
3356 #endif
3357 #ifdef SDB_DEBUGGING_INFO
3358 else if (write_symbols == SDB_DEBUG && top_level
3359 && TREE_CODE (decl) == TYPE_DECL)
3360 TIMEVAR (symout_time, sdbout_symbol (decl, 0));
3361 #endif
3362 }
3363
3364 /* Called after finishing a record, union or enumeral type. */
3365
3366 void
3367 rest_of_type_compilation (type, toplev)
3368 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO) || defined (SDB_DEBUGGING_INFO)
3369 tree type;
3370 int toplev;
3371 #else
3372 tree type ATTRIBUTE_UNUSED;
3373 int toplev ATTRIBUTE_UNUSED;
3374 #endif
3375 {
3376 #if defined (DBX_DEBUGGING_INFO) || defined (XCOFF_DEBUGGING_INFO)
3377 if (write_symbols == DBX_DEBUG || write_symbols == XCOFF_DEBUG)
3378 TIMEVAR (symout_time, dbxout_symbol (TYPE_STUB_DECL (type), !toplev));
3379 #endif
3380 #ifdef SDB_DEBUGGING_INFO
3381 if (write_symbols == SDB_DEBUG)
3382 TIMEVAR (symout_time, sdbout_symbol (TYPE_STUB_DECL (type), !toplev));
3383 #endif
3384 }
3385
3386 /* This is called from finish_function (within yyparse)
3387 after each top-level definition is parsed.
3388 It is supposed to compile that function or variable
3389 and output the assembler code for it.
3390 After we return, the tree storage is freed. */
3391
3392 void
3393 rest_of_compilation (decl)
3394 tree decl;
3395 {
3396 register rtx insns;
3397 int start_time = get_run_time ();
3398 int tem;
3399 /* Nonzero if we have saved the original DECL_INITIAL of the function,
3400 to be restored after we finish compiling the function
3401 (for use when compiling inline calls to this function). */
3402 tree saved_block_tree = 0;
3403 /* Likewise, for DECL_ARGUMENTS. */
3404 tree saved_arguments = 0;
3405 int failure = 0;
3406
3407 /* If we are reconsidering an inline function
3408 at the end of compilation, skip the stuff for making it inline. */
3409
3410 if (DECL_SAVED_INSNS (decl) == 0)
3411 {
3412 int inlinable = 0;
3413 char *lose;
3414
3415 /* If requested, consider whether to make this function inline. */
3416 if (DECL_INLINE (decl) || flag_inline_functions)
3417 TIMEVAR (integration_time,
3418 {
3419 lose = function_cannot_inline_p (decl);
3420 if (lose || ! optimize)
3421 {
3422 if (warn_inline && DECL_INLINE (decl))
3423 warning_with_decl (decl, lose);
3424 DECL_ABSTRACT_ORIGIN (decl) = 0;
3425 /* Don't really compile an extern inline function.
3426 If we can't make it inline, pretend
3427 it was only declared. */
3428 if (DECL_EXTERNAL (decl))
3429 {
3430 DECL_INITIAL (decl) = 0;
3431 goto exit_rest_of_compilation;
3432 }
3433 }
3434 else
3435 /* ??? Note that this has the effect of making it look
3436 like "inline" was specified for a function if we choose
3437 to inline it. This isn't quite right, but it's
3438 probably not worth the trouble to fix. */
3439 inlinable = DECL_INLINE (decl) = 1;
3440 });
3441
3442 insns = get_insns ();
3443
3444 /* Dump the rtl code if we are dumping rtl. */
3445
3446 if (rtl_dump)
3447 {
3448 open_dump_file (".rtl", decl_printable_name (decl, 2));
3449
3450 if (DECL_SAVED_INSNS (decl))
3451 fprintf (rtl_dump_file, ";; (integrable)\n\n");
3452
3453 close_dump_file (print_rtl, insns);
3454 }
3455
3456 /* If we can, defer compiling inlines until EOF.
3457 save_for_inline_copying can be extremely expensive. */
3458 if (inlinable && ! decl_function_context (decl))
3459 DECL_DEFER_OUTPUT (decl) = 1;
3460
3461 /* If function is inline, and we don't yet know whether to
3462 compile it by itself, defer decision till end of compilation.
3463 finish_compilation will call rest_of_compilation again
3464 for those functions that need to be output. Also defer those
3465 functions that we are supposed to defer. We cannot defer
3466 functions containing nested functions since the nested function
3467 data is in our non-saved obstack. We cannot defer nested
3468 functions for the same reason. */
3469
3470 /* If this is a nested inline, remove ADDRESSOF now so we can
3471 finish compiling ourselves. Otherwise, wait until EOF.
3472 We have to do this because the purge_addressof transformation
3473 changes the DECL_RTL for many variables, which confuses integrate. */
3474 if (inlinable)
3475 {
3476 if (decl_function_context (decl))
3477 purge_addressof (insns);
3478 else
3479 DECL_DEFER_OUTPUT (decl) = 1;
3480 }
3481
3482 if (! current_function_contains_functions
3483 && (DECL_DEFER_OUTPUT (decl)
3484 || (DECL_INLINE (decl)
3485 && ((! TREE_PUBLIC (decl) && ! TREE_ADDRESSABLE (decl)
3486 && ! flag_keep_inline_functions)
3487 || DECL_EXTERNAL (decl)))))
3488 {
3489 DECL_DEFER_OUTPUT (decl) = 1;
3490
3491 /* If -Wreturn-type, we have to do a bit of compilation.
3492 However, if we just fall through we will call
3493 save_for_inline_copying() which results in excessive
3494 memory use. Instead, we just want to call
3495 jump_optimize() to figure out whether or not we can fall
3496 off the end of the function; we do the minimum amount of
3497 work necessary to make that safe. And, we set optimize
3498 to zero to keep jump_optimize from working too hard. */
3499 if (warn_return_type)
3500 {
3501 int saved_optimize = optimize;
3502 optimize = 0;
3503 find_exception_handler_labels ();
3504 jump_optimize (get_insns(), !JUMP_CROSS_JUMP, !JUMP_NOOP_MOVES,
3505 !JUMP_AFTER_REGSCAN);
3506 optimize = saved_optimize;
3507 }
3508
3509 #ifdef DWARF_DEBUGGING_INFO
3510 /* Generate the DWARF info for the "abstract" instance
3511 of a function which we may later generate inlined and/or
3512 out-of-line instances of. */
3513 if (write_symbols == DWARF_DEBUG)
3514 {
3515 set_decl_abstract_flags (decl, 1);
3516 TIMEVAR (symout_time, dwarfout_file_scope_decl (decl, 0));
3517 set_decl_abstract_flags (decl, 0);
3518 }
3519 #endif
3520 #ifdef DWARF2_DEBUGGING_INFO
3521 /* Generate the DWARF2 info for the "abstract" instance
3522 of a function which we may later generate inlined and/or
3523 out-of-line instances of. */
3524 if (write_symbols == DWARF2_DEBUG)
3525 {
3526 set_decl_abstract_flags (decl, 1);
3527 TIMEVAR (symout_time, dwarf2out_decl (decl));
3528 set_decl_abstract_flags (decl, 0);
3529 }
3530 #endif
3531 TIMEVAR (integration_time, save_for_inline_nocopy (decl));
3532 RTX_INTEGRATED_P (DECL_SAVED_INSNS (decl)) = inlinable;
3533 goto exit_rest_of_compilation;
3534 }
3535
3536 /* If we have to compile the function now, save its rtl and subdecls
3537 so that its compilation will not affect what others get. */
3538 if (inlinable || DECL_DEFER_OUTPUT (decl))
3539 {
3540 #ifdef DWARF_DEBUGGING_INFO
3541 /* Generate the DWARF info for the "abstract" instance of
3542 a function which we will generate an out-of-line instance
3543 of almost immediately (and which we may also later generate
3544 various inlined instances of). */
3545 if (write_symbols == DWARF_DEBUG)
3546 {
3547 set_decl_abstract_flags (decl, 1);
3548 TIMEVAR (symout_time, dwarfout_file_scope_decl (decl, 0));
3549 set_decl_abstract_flags (decl, 0);
3550 }
3551 #endif
3552 #ifdef DWARF2_DEBUGGING_INFO
3553 /* Generate the DWARF2 info for the "abstract" instance of
3554 a function which we will generate an out-of-line instance
3555 of almost immediately (and which we may also later generate
3556 various inlined instances of). */
3557 if (write_symbols == DWARF2_DEBUG)
3558 {
3559 set_decl_abstract_flags (decl, 1);
3560 TIMEVAR (symout_time, dwarf2out_decl (decl));
3561 set_decl_abstract_flags (decl, 0);
3562 }
3563 #endif
3564 saved_block_tree = DECL_INITIAL (decl);
3565 saved_arguments = DECL_ARGUMENTS (decl);
3566 TIMEVAR (integration_time, save_for_inline_copying (decl));
3567 RTX_INTEGRATED_P (DECL_SAVED_INSNS (decl)) = inlinable;
3568 }
3569
3570 /* If specified extern inline but we aren't inlining it, we are
3571 done. This goes for anything that gets here with DECL_EXTERNAL
3572 set, not just things with DECL_INLINE. */
3573 if (DECL_EXTERNAL (decl))
3574 goto exit_rest_of_compilation;
3575 }
3576
3577 if (! DECL_DEFER_OUTPUT (decl))
3578 TREE_ASM_WRITTEN (decl) = 1;
3579
3580 /* Now that integrate will no longer see our rtl, we need not distinguish
3581 between the return value of this function and the return value of called
3582 functions. */
3583 rtx_equal_function_value_matters = 0;
3584
3585 /* Don't return yet if -Wreturn-type; we need to do jump_optimize. */
3586 if ((rtl_dump_and_exit || flag_syntax_only) && !warn_return_type)
3587 {
3588 goto exit_rest_of_compilation;
3589 }
3590
3591 /* Emit code to get eh context, if needed. */
3592 emit_eh_context ();
3593
3594 #ifdef FINALIZE_PIC
3595 /* If we are doing position-independent code generation, now
3596 is the time to output special prologues and epilogues.
3597 We do not want to do this earlier, because it just clutters
3598 up inline functions with meaningless insns. */
3599 if (flag_pic)
3600 FINALIZE_PIC;
3601 #endif
3602
3603 /* From now on, allocate rtl in current_obstack, not in saveable_obstack.
3604 Note that that may have been done above, in save_for_inline_copying.
3605 The call to resume_temporary_allocation near the end of this function
3606 goes back to the usual state of affairs. This must be done after
3607 we've built up any unwinders for exception handling, and done
3608 the FINALIZE_PIC work, if necessary. */
3609
3610 rtl_in_current_obstack ();
3611
3612 insns = get_insns ();
3613
3614 /* Copy any shared structure that should not be shared. */
3615
3616 unshare_all_rtl (insns);
3617
3618 #ifdef SETJMP_VIA_SAVE_AREA
3619 /* This must be performed before virutal register instantiation. */
3620 if (current_function_calls_alloca)
3621 optimize_save_area_alloca (insns);
3622 #endif
3623
3624 /* Instantiate all virtual registers. */
3625
3626 instantiate_virtual_regs (current_function_decl, get_insns ());
3627
3628 /* See if we have allocated stack slots that are not directly addressable.
3629 If so, scan all the insns and create explicit address computation
3630 for all references to such slots. */
3631 /* fixup_stack_slots (); */
3632
3633 /* Find all the EH handlers. */
3634 find_exception_handler_labels ();
3635
3636 /* Always do one jump optimization pass to ensure that JUMP_LABEL fields
3637 are initialized and to compute whether control can drop off the end
3638 of the function. */
3639 TIMEVAR (jump_time, reg_scan (insns, max_reg_num (), 0));
3640 TIMEVAR (jump_time, jump_optimize (insns, !JUMP_CROSS_JUMP, !JUMP_NOOP_MOVES,
3641 JUMP_AFTER_REGSCAN));
3642
3643 /* Now is when we stop if -fsyntax-only and -Wreturn-type. */
3644 if (rtl_dump_and_exit || flag_syntax_only || DECL_DEFER_OUTPUT (decl))
3645 goto exit_rest_of_compilation;
3646
3647 /* Dump rtl code after jump, if we are doing that. */
3648
3649 if (jump_opt_dump)
3650 dump_rtl (".jump", decl, print_rtl, insns);
3651
3652 /* Perform common subexpression elimination.
3653 Nonzero value from `cse_main' means that jumps were simplified
3654 and some code may now be unreachable, so do
3655 jump optimization again. */
3656
3657 if (optimize > 0)
3658 {
3659 if (cse_dump)
3660 open_dump_file (".cse", decl_printable_name (decl, 2));
3661
3662 TIMEVAR (cse_time, reg_scan (insns, max_reg_num (), 1));
3663
3664 if (flag_thread_jumps)
3665 /* Hacks by tiemann & kenner. */
3666 TIMEVAR (jump_time, thread_jumps (insns, max_reg_num (), 1));
3667
3668 TIMEVAR (cse_time, tem = cse_main (insns, max_reg_num (),
3669 0, rtl_dump_file));
3670 TIMEVAR (cse_time, delete_trivially_dead_insns (insns, max_reg_num ()));
3671
3672 if (tem || optimize > 1)
3673 TIMEVAR (jump_time, jump_optimize (insns, !JUMP_CROSS_JUMP,
3674 !JUMP_NOOP_MOVES,
3675 !JUMP_AFTER_REGSCAN));
3676
3677 /* Dump rtl code after cse, if we are doing that. */
3678
3679 if (cse_dump)
3680 {
3681 close_dump_file (print_rtl, insns);
3682 if (graph_dump_format != no_graph)
3683 print_rtl_graph_with_bb (dump_base_name, ".cse", insns);
3684 }
3685 }
3686
3687 purge_addressof (insns);
3688 reg_scan (insns, max_reg_num (), 1);
3689
3690 if (addressof_dump)
3691 {
3692 dump_rtl (".addressof", decl, print_rtl, insns);
3693 if (graph_dump_format != no_graph)
3694 print_rtl_graph_with_bb (dump_base_name, ".addressof", insns);
3695 }
3696
3697 /* Perform global cse. */
3698
3699 if (optimize > 0 && flag_gcse)
3700 {
3701 if (gcse_dump)
3702 open_dump_file (".gcse", IDENTIFIER_POINTER (DECL_NAME (decl)));
3703
3704 TIMEVAR (gcse_time, gcse_main (insns, rtl_dump_file));
3705
3706 if (gcse_dump)
3707 {
3708 close_dump_file (print_rtl, insns);
3709 if (graph_dump_format != no_graph)
3710 print_rtl_graph_with_bb (dump_base_name, ".gcse", insns);
3711 }
3712 }
3713 /* Move constant computations out of loops. */
3714
3715 if (optimize > 0)
3716 {
3717 if (loop_dump)
3718 open_dump_file (".loop", decl_printable_name (decl, 2));
3719
3720 TIMEVAR
3721 (loop_time,
3722 {
3723 if (flag_rerun_loop_opt)
3724 {
3725 /* We only want to perform unrolling once. */
3726
3727 loop_optimize (insns, rtl_dump_file, 0, 0);
3728
3729
3730 /* The first call to loop_optimize makes some instructions
3731 trivially dead. We delete those instructions now in the
3732 hope that doing so will make the heuristics in loop work
3733 better and possibly speed up compilation. */
3734 delete_trivially_dead_insns (insns, max_reg_num ());
3735
3736 /* The regscan pass is currently necessary as the alias
3737 analysis code depends on this information. */
3738 reg_scan (insns, max_reg_num (), 1);
3739 }
3740 loop_optimize (insns, rtl_dump_file, flag_unroll_loops, 1);
3741 });
3742
3743 /* Dump rtl code after loop opt, if we are doing that. */
3744
3745 if (loop_dump)
3746 {
3747 close_dump_file (print_rtl, insns);
3748 if (graph_dump_format != no_graph)
3749 print_rtl_graph_with_bb (dump_base_name, ".loop", insns);
3750 }
3751 }
3752
3753 if (optimize > 0)
3754 {
3755 if (cse2_dump)
3756 open_dump_file (".cse2", decl_printable_name (decl, 2));
3757
3758 if (flag_rerun_cse_after_loop)
3759 {
3760 /* Running another jump optimization pass before the second
3761 cse pass sometimes simplifies the RTL enough to allow
3762 the second CSE pass to do a better job. Jump_optimize can change
3763 max_reg_num so we must rerun reg_scan afterwards.
3764 ??? Rework to not call reg_scan so often. */
3765 TIMEVAR (jump_time, reg_scan (insns, max_reg_num (), 0));
3766 TIMEVAR (jump_time, jump_optimize (insns, !JUMP_CROSS_JUMP,
3767 !JUMP_NOOP_MOVES,
3768 JUMP_AFTER_REGSCAN));
3769
3770 TIMEVAR (cse2_time, reg_scan (insns, max_reg_num (), 0));
3771 TIMEVAR (cse2_time, tem = cse_main (insns, max_reg_num (),
3772 1, rtl_dump_file));
3773 if (tem)
3774 TIMEVAR (jump_time, jump_optimize (insns, !JUMP_CROSS_JUMP,
3775 !JUMP_NOOP_MOVES,
3776 !JUMP_AFTER_REGSCAN));
3777 }
3778
3779 if (flag_thread_jumps)
3780 {
3781 /* This pass of jump threading straightens out code
3782 that was kinked by loop optimization. */
3783 TIMEVAR (jump_time, reg_scan (insns, max_reg_num (), 0));
3784 TIMEVAR (jump_time, thread_jumps (insns, max_reg_num (), 0));
3785 }
3786
3787 /* Dump rtl code after cse, if we are doing that. */
3788
3789 if (cse2_dump)
3790 {
3791 close_dump_file (print_rtl, insns);
3792 if (graph_dump_format != no_graph)
3793 print_rtl_graph_with_bb (dump_base_name, ".cse2", insns);
3794 }
3795 }
3796
3797 if (profile_arc_flag || flag_test_coverage || flag_branch_probabilities)
3798 {
3799 if (branch_prob_dump)
3800 open_dump_file (".bp", decl_printable_name (decl, 2));
3801
3802 TIMEVAR
3803 (branch_prob_time,
3804 {
3805 branch_prob (insns, rtl_dump_file);
3806 });
3807
3808 if (branch_prob_dump)
3809 {
3810 close_dump_file (print_rtl, insns);
3811 if (graph_dump_format != no_graph)
3812 print_rtl_graph_with_bb (dump_base_name, ".bp", insns);
3813 }
3814 }
3815
3816 /* We are no longer anticipating cse in this function, at least. */
3817
3818 cse_not_expected = 1;
3819
3820 /* Now we choose between stupid (pcc-like) register allocation
3821 (if we got the -noreg switch and not -opt)
3822 and smart register allocation. */
3823
3824 if (optimize > 0) /* Stupid allocation probably won't work */
3825 obey_regdecls = 0; /* if optimizations being done. */
3826
3827 regclass_init ();
3828
3829 /* Print function header into flow dump now
3830 because doing the flow analysis makes some of the dump. */
3831
3832 if (flow_dump)
3833 open_dump_file (".flow", decl_printable_name (decl, 2));
3834
3835 if (obey_regdecls)
3836 {
3837 TIMEVAR (flow_time,
3838 {
3839 regclass (insns, max_reg_num ());
3840 stupid_life_analysis (insns, max_reg_num (),
3841 rtl_dump_file);
3842 });
3843 }
3844 else
3845 {
3846 /* Do control and data flow analysis,
3847 and write some of the results to dump file. */
3848
3849 TIMEVAR
3850 (flow_time,
3851 {
3852 find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
3853 life_analysis (insns, max_reg_num (), rtl_dump_file);
3854 });
3855
3856 if (warn_uninitialized)
3857 {
3858 uninitialized_vars_warning (DECL_INITIAL (decl));
3859 setjmp_args_warning ();
3860 }
3861 }
3862
3863 /* Dump rtl after flow analysis. */
3864
3865 if (flow_dump)
3866 {
3867 close_dump_file (print_rtl_with_bb, insns);
3868 if (graph_dump_format != no_graph)
3869 print_rtl_graph_with_bb (dump_base_name, ".flow", insns);
3870 }
3871
3872 /* The first life analysis pass has finished. From now on we can not
3873 generate any new pseudos. */
3874 no_new_pseudos = 1;
3875
3876 /* If -opt, try combining insns through substitution. */
3877
3878 if (optimize > 0)
3879 {
3880 TIMEVAR (combine_time, combine_instructions (insns, max_reg_num ()));
3881
3882 /* Dump rtl code after insn combination. */
3883
3884 if (combine_dump)
3885 {
3886 dump_rtl (".combine", decl, print_rtl_with_bb, insns);
3887 if (graph_dump_format != no_graph)
3888 print_rtl_graph_with_bb (dump_base_name, ".combine", insns);
3889 }
3890 }
3891
3892 /* Register allocation pre-pass, to reduce number of moves
3893 necessary for two-address machines. */
3894 if (optimize > 0 && (flag_regmove || flag_expensive_optimizations))
3895 {
3896 if (regmove_dump)
3897 open_dump_file (".regmove", decl_printable_name (decl, 2));
3898
3899 TIMEVAR (regmove_time, regmove_optimize (insns, max_reg_num (),
3900 rtl_dump_file));
3901
3902 if (regmove_dump)
3903 {
3904 close_dump_file (print_rtl_with_bb, insns);
3905 if (graph_dump_format != no_graph)
3906 print_rtl_graph_with_bb (dump_base_name, ".regmove", insns);
3907 }
3908 }
3909
3910 /* Print function header into sched dump now
3911 because doing the sched analysis makes some of the dump. */
3912
3913 if (optimize > 0 && flag_schedule_insns)
3914 {
3915 if (sched_dump)
3916 open_dump_file (".sched", decl_printable_name (decl, 2));
3917
3918 /* Do control and data sched analysis,
3919 and write some of the results to dump file. */
3920
3921 TIMEVAR (sched_time, schedule_insns (rtl_dump_file));
3922
3923 /* Dump rtl after instruction scheduling. */
3924
3925 if (sched_dump)
3926 {
3927 close_dump_file (print_rtl_with_bb, insns);
3928 if (graph_dump_format != no_graph)
3929 print_rtl_graph_with_bb (dump_base_name, ".sched", insns);
3930 }
3931 }
3932
3933 /* Unless we did stupid register allocation,
3934 allocate pseudo-regs that are used only within 1 basic block. */
3935
3936 if (!obey_regdecls)
3937 TIMEVAR (local_alloc_time,
3938 {
3939 recompute_reg_usage (insns, ! optimize_size);
3940 regclass (insns, max_reg_num ());
3941 local_alloc ();
3942 });
3943
3944 /* Dump rtl code after allocating regs within basic blocks. */
3945
3946 if (local_reg_dump)
3947 {
3948 open_dump_file (".lreg", decl_printable_name (decl, 2));
3949
3950 TIMEVAR (dump_time, dump_flow_info (rtl_dump_file));
3951 TIMEVAR (dump_time, dump_local_alloc (rtl_dump_file));
3952
3953 close_dump_file (print_rtl_with_bb, insns);
3954 if (graph_dump_format != no_graph)
3955 print_rtl_graph_with_bb (dump_base_name, ".lreg", insns);
3956 }
3957
3958 if (global_reg_dump)
3959 open_dump_file (".greg", decl_printable_name (decl, 2));
3960
3961 /* Unless we did stupid register allocation,
3962 allocate remaining pseudo-regs, then do the reload pass
3963 fixing up any insns that are invalid. */
3964
3965 TIMEVAR (global_alloc_time,
3966 {
3967 if (!obey_regdecls)
3968 failure = global_alloc (rtl_dump_file);
3969 else
3970 failure = reload (insns, 0, rtl_dump_file);
3971 });
3972
3973
3974 if (failure)
3975 goto exit_rest_of_compilation;
3976
3977 /* Do a very simple CSE pass over just the hard registers. */
3978 if (optimize > 0)
3979 reload_cse_regs (insns);
3980
3981 /* If optimizing and we are performing instruction scheduling after
3982 reload, then go ahead and split insns now since we are about to
3983 recompute flow information anyway.
3984
3985 reload_cse_regs may expose more splitting opportunities, expecially
3986 for double-word operations. */
3987 if (optimize > 0 && flag_schedule_insns_after_reload)
3988 {
3989 rtx insn;
3990
3991 for (insn = insns; insn; insn = NEXT_INSN (insn))
3992 {
3993 rtx last;
3994
3995 if (GET_RTX_CLASS (GET_CODE (insn)) != 'i')
3996 continue;
3997
3998 last = try_split (PATTERN (insn), insn, 1);
3999
4000 if (last != insn)
4001 {
4002 PUT_CODE (insn, NOTE);
4003 NOTE_SOURCE_FILE (insn) = 0;
4004 NOTE_LINE_NUMBER (insn) = NOTE_INSN_DELETED;
4005 }
4006 }
4007 }
4008
4009 /* Re-create the death notes which were deleted during reload. */
4010 if (optimize)
4011 TIMEVAR
4012 (flow_time,
4013 {
4014 find_basic_blocks (insns, max_reg_num (), rtl_dump_file);
4015 life_analysis (insns, max_reg_num (), rtl_dump_file);
4016 });
4017
4018 flow2_completed = 1;
4019
4020 /* On some machines, the prologue and epilogue code, or parts thereof,
4021 can be represented as RTL. Doing so lets us schedule insns between
4022 it and the rest of the code and also allows delayed branch
4023 scheduling to operate in the epilogue. */
4024
4025 thread_prologue_and_epilogue_insns (insns);
4026
4027 if (global_reg_dump)
4028 {
4029 TIMEVAR (dump_time, dump_global_regs (rtl_dump_file));
4030 close_dump_file (print_rtl_with_bb, insns);
4031 if (graph_dump_format != no_graph)
4032 print_rtl_graph_with_bb (dump_base_name, ".greg", insns);
4033 }
4034 if (optimize > 0 && flag_schedule_insns_after_reload)
4035 {
4036 if (sched2_dump)
4037 open_dump_file (".sched2", decl_printable_name (decl, 2));
4038
4039 /* Do control and data sched analysis again,
4040 and write some more of the results to dump file. */
4041
4042 TIMEVAR (sched2_time, schedule_insns (rtl_dump_file));
4043
4044 /* Dump rtl after post-reorder instruction scheduling. */
4045
4046 if (sched2_dump)
4047 {
4048 close_dump_file (print_rtl_with_bb, insns);
4049 if (graph_dump_format != no_graph)
4050 print_rtl_graph_with_bb (dump_base_name, ".sched2", insns);
4051 }
4052 }
4053
4054 #ifdef LEAF_REGISTERS
4055 leaf_function = 0;
4056 if (optimize > 0 && only_leaf_regs_used () && leaf_function_p ())
4057 leaf_function = 1;
4058 #endif
4059
4060 /* One more attempt to remove jumps to .+1
4061 left by dead-store-elimination.
4062 Also do cross-jumping this time
4063 and delete no-op move insns. */
4064
4065 if (optimize > 0)
4066 {
4067 TIMEVAR (jump_time, jump_optimize (insns, JUMP_CROSS_JUMP,
4068 JUMP_NOOP_MOVES,
4069 !JUMP_AFTER_REGSCAN));
4070
4071 /* Dump rtl code after jump, if we are doing that. */
4072
4073 if (jump2_opt_dump)
4074 {
4075 dump_rtl (".jump2", decl, print_rtl_with_bb, insns);
4076 if (graph_dump_format != no_graph)
4077 print_rtl_graph_with_bb (dump_base_name, ".jump2", insns);
4078 }
4079 }
4080
4081 /* If a machine dependent reorganization is needed, call it. */
4082 #ifdef MACHINE_DEPENDENT_REORG
4083 MACHINE_DEPENDENT_REORG (insns);
4084
4085 if (mach_dep_reorg_dump)
4086 {
4087 dump_rtl (".mach", decl, print_rtl_with_bb, insns);
4088 if (graph_dump_format != no_graph)
4089 print_rtl_graph_with_bb (dump_base_name, ".mach", insns);
4090 }
4091 #endif
4092
4093 /* If a scheduling pass for delayed branches is to be done,
4094 call the scheduling code. */
4095
4096 #ifdef DELAY_SLOTS
4097 if (optimize > 0 && flag_delayed_branch)
4098 {
4099 TIMEVAR (dbr_sched_time, dbr_schedule (insns, rtl_dump_file));
4100
4101 if (dbr_sched_dump)
4102 {
4103 dump_rtl (".dbr", decl, print_rtl_with_bb, insns);
4104 if (graph_dump_format != no_graph)
4105 print_rtl_graph_with_bb (dump_base_name, ".dbr", insns);
4106 }
4107 }
4108 #endif
4109
4110 /* Shorten branches. */
4111 TIMEVAR (shorten_branch_time,
4112 {
4113 shorten_branches (get_insns ());
4114 });
4115
4116 #ifdef STACK_REGS
4117 if (stack_reg_dump)
4118 open_dump_file (".stack", decl_printable_name (decl, 2));
4119
4120 TIMEVAR (stack_reg_time, reg_to_stack (insns, rtl_dump_file));
4121
4122 if (stack_reg_dump)
4123 {
4124 dump_rtl (".stack", decl, print_rtl_with_bb, insns);
4125 if (graph_dump_format != no_graph)
4126 print_rtl_graph_with_bb (dump_base_name, ".stack", insns);
4127 }
4128 #endif
4129
4130 /* Now turn the rtl into assembler code. */
4131
4132 TIMEVAR (final_time,
4133 {
4134 rtx x;
4135 char *fnname;
4136
4137 /* Get the function's name, as described by its RTL.
4138 This may be different from the DECL_NAME name used
4139 in the source file. */
4140
4141 x = DECL_RTL (decl);
4142 if (GET_CODE (x) != MEM)
4143 abort ();
4144 x = XEXP (x, 0);
4145 if (GET_CODE (x) != SYMBOL_REF)
4146 abort ();
4147 fnname = XSTR (x, 0);
4148
4149 assemble_start_function (decl, fnname);
4150 final_start_function (insns, asm_out_file, optimize);
4151 final (insns, asm_out_file, optimize, 0);
4152 final_end_function (insns, asm_out_file, optimize);
4153 assemble_end_function (decl, fnname);
4154 if (! quiet_flag)
4155 fflush (asm_out_file);
4156
4157 /* Release all memory held by regsets now */
4158 regset_release_memory ();
4159 });
4160
4161 /* Write DBX symbols if requested */
4162
4163 /* Note that for those inline functions where we don't initially
4164 know for certain that we will be generating an out-of-line copy,
4165 the first invocation of this routine (rest_of_compilation) will
4166 skip over this code by doing a `goto exit_rest_of_compilation;'.
4167 Later on, finish_compilation will call rest_of_compilation again
4168 for those inline functions that need to have out-of-line copies
4169 generated. During that call, we *will* be routed past here. */
4170
4171 #ifdef DBX_DEBUGGING_INFO
4172 if (write_symbols == DBX_DEBUG)
4173 TIMEVAR (symout_time, dbxout_function (decl));
4174 #endif
4175
4176 #ifdef DWARF_DEBUGGING_INFO
4177 if (write_symbols == DWARF_DEBUG)
4178 TIMEVAR (symout_time, dwarfout_file_scope_decl (decl, 0));
4179 #endif
4180
4181 #ifdef DWARF2_DEBUGGING_INFO
4182 if (write_symbols == DWARF2_DEBUG)
4183 TIMEVAR (symout_time, dwarf2out_decl (decl));
4184 #endif
4185
4186 exit_rest_of_compilation:
4187
4188 free_bb_memory ();
4189
4190 /* In case the function was not output,
4191 don't leave any temporary anonymous types
4192 queued up for sdb output. */
4193 #ifdef SDB_DEBUGGING_INFO
4194 if (write_symbols == SDB_DEBUG)
4195 sdbout_types (NULL_TREE);
4196 #endif
4197
4198 /* Put back the tree of subblocks and list of arguments
4199 from before we copied them.
4200 Code generation and the output of debugging info may have modified
4201 the copy, but the original is unchanged. */
4202
4203 if (saved_block_tree != 0)
4204 {
4205 DECL_INITIAL (decl) = saved_block_tree;
4206 DECL_ARGUMENTS (decl) = saved_arguments;
4207 DECL_ABSTRACT_ORIGIN (decl) = NULL_TREE;
4208 }
4209
4210 reload_completed = 0;
4211 flow2_completed = 0;
4212 no_new_pseudos = 0;
4213
4214 TIMEVAR (final_time,
4215 {
4216 /* Clear out the insn_length contents now that they are no
4217 longer valid. */
4218 init_insn_lengths ();
4219
4220 /* Clear out the real_constant_chain before some of the rtx's
4221 it runs through become garbage. */
4222 clear_const_double_mem ();
4223
4224 /* Cancel the effect of rtl_in_current_obstack. */
4225 resume_temporary_allocation ();
4226
4227 /* Show no temporary slots allocated. */
4228 init_temp_slots ();
4229 });
4230
4231 /* Make sure volatile mem refs aren't considered valid operands for
4232 arithmetic insns. We must call this here if this is a nested inline
4233 function, since the above code leaves us in the init_recog state
4234 (from final.c), and the function context push/pop code does not
4235 save/restore volatile_ok.
4236
4237 ??? Maybe it isn't necessary for expand_start_function to call this
4238 anymore if we do it here? */
4239
4240 init_recog_no_volatile ();
4241
4242 /* The parsing time is all the time spent in yyparse
4243 *except* what is spent in this function. */
4244
4245 parse_time -= get_run_time () - start_time;
4246
4247 /* Reset global variables. */
4248 free_basic_block_vars (0);
4249 }
4250 \f
4251 static void
4252 display_help ()
4253 {
4254 int undoc;
4255 unsigned long i;
4256 const char * lang;
4257
4258 #ifndef USE_CPPLIB
4259 printf ("Usage: %s input [switches]\n", progname);
4260 printf ("Switches:\n");
4261 #endif
4262 printf (" -ffixed-<register> Mark <register> as being unavailable to the compiler\n");
4263 printf (" -fcall-used-<register> Mark <register> as being corrupted by function calls\n");
4264 printf (" -fcall-saved-<register> Mark <register> as being preserved across functions\n");
4265
4266 for (i = NUM_ELEM (f_options); i--;)
4267 {
4268 const char * description = f_options[i].description;
4269
4270 if (description != NULL && * description != 0)
4271 printf (" -f%-21s %s\n",
4272 f_options[i].string, description);
4273 }
4274
4275 printf (" -O[number] Set optimisation level to [number]\n");
4276 printf (" -Os Optimise for space rather than speed\n");
4277 printf (" -pedantic Issue warnings needed by strict compliance to ANSI C\n");
4278 printf (" -pedantic-errors Like -pedantic except that errors are produced\n");
4279 printf (" -w Suppress warnings\n");
4280 printf (" -W Enable extra warnings\n");
4281
4282 for (i = NUM_ELEM (W_options); i--;)
4283 {
4284 const char * description = W_options[i].description;
4285
4286 if (description != NULL && * description != 0)
4287 printf (" -W%-21s %s\n",
4288 W_options[i].string, description);
4289 }
4290
4291 printf (" -Wid-clash-<num> Warn if 2 identifiers have the same first <num> chars\n");
4292 printf (" -Wlarger-than-<number> Warn if an object is larger than <number> bytes\n");
4293 printf (" -p Enable function profiling\n");
4294 #if defined (BLOCK_PROFILER) || defined (FUNCTION_BLOCK_PROFILER)
4295 printf (" -a Enable block profiling \n");
4296 #endif
4297 #if defined (BLOCK_PROFILER) || defined (FUNCTION_BLOCK_PROFILER) || defined FUNCTION_BLOCK_PROFILER_EXIT
4298 printf (" -ax Enable jump profiling \n");
4299 #endif
4300 printf (" -o <file> Place output into <file> \n");
4301 printf (" -G <number> Put global and static data smaller than <number>\n");
4302 printf (" bytes into a special section (on some targets)\n");
4303
4304 for (i = NUM_ELEM (debug_args); i--;)
4305 {
4306 if (debug_args[i].description != NULL)
4307 printf (" -%-22s %s\n", debug_args[i].arg, debug_args[i].description);
4308 }
4309
4310 printf (" -aux-info <file> Emit declaration info into <file>.X\n");
4311 printf (" -quiet Do not display functions compiled or elapsed time\n");
4312 printf (" -version Display the compiler's version\n");
4313 printf (" -d[letters] Enable dumps from specific passes of the compiler\n");
4314 printf (" -dumpbase <file> Base name to be used for dumps from specific passes\n");
4315 #if defined HAIFA || defined INSN_SCHEDULING
4316 printf (" -sched-verbose-<number> Set the verbosity level of the scheduler\n");
4317 #endif
4318 printf (" --help Display this information\n");
4319
4320 undoc = 0;
4321 lang = "language";
4322
4323 /* Display descriptions of language specific options.
4324 If there is no description, note that there is an undocumented option.
4325 If the description is empty, do not display anything. (This allows
4326 options to be deliberately undocumented, for whatever reason).
4327 If the option string is missing, then this is a marker, indicating
4328 that the description string is in fact the name of a language, whose
4329 language specific options are to follow. */
4330
4331 if (NUM_ELEM (documented_lang_options) > 1)
4332 {
4333 printf ("\nLanguage specific options:\n");
4334
4335 for (i = 0; i < NUM_ELEM (documented_lang_options); i++)
4336 {
4337 const char * description = documented_lang_options[i].description;
4338 const char * option = documented_lang_options[i].option;
4339
4340 if (description == NULL)
4341 {
4342 undoc = 1;
4343
4344 if (extra_warnings)
4345 printf (" %-23.23s [undocumented]\n", option);
4346 }
4347 else if (* description == 0)
4348 continue;
4349 else if (option == NULL)
4350 {
4351 if (undoc)
4352 printf
4353 ("\nThere are undocumented %s specific options as well.\n",
4354 lang);
4355 undoc = 0;
4356
4357 printf ("\n Options for %s:\n", description);
4358
4359 lang = description;
4360 }
4361 else
4362 printf (" %-23.23s %s\n", option, description);
4363 }
4364 }
4365
4366 if (undoc)
4367 printf ("\nThere are undocumented %s specific options as well.\n", lang);
4368
4369 if (NUM_ELEM (target_switches) > 1
4370 #ifdef TARGET_OPTIONS
4371 || NUM_ELEM (target_options) > 1
4372 #endif
4373 )
4374 {
4375 int doc = 0;
4376
4377 undoc = 0;
4378
4379 printf ("\nTarget specific options:\n");
4380
4381 for (i = NUM_ELEM (target_switches); i--;)
4382 {
4383 const char * option = target_switches[i].name;
4384 const char * description = target_switches[i].description;
4385
4386 if (option == NULL || * option == 0)
4387 continue;
4388 else if (description == NULL)
4389 {
4390 undoc = 1;
4391
4392 if (extra_warnings)
4393 printf (" -m%-21.21s [undocumented]\n", option);
4394 }
4395 else if (* description != 0)
4396 doc += printf (" -m%-21.21s %s\n", option, description);
4397 }
4398
4399 #ifdef TARGET_OPTIONS
4400 for (i = NUM_ELEM (target_options); i--;)
4401 {
4402 const char * option = target_options[i].prefix;
4403 const char * description = target_options[i].description;
4404
4405 if (option == NULL || * option == 0)
4406 continue;
4407 else if (description == NULL)
4408 {
4409 undoc = 1;
4410
4411 if (extra_warnings)
4412 printf (" -m%-21.21s [undocumented]\n", option);
4413 }
4414 else if (* description != 0)
4415 doc += printf (" -m%-21.21s %s\n", option, description);
4416 }
4417 #endif
4418 if (undoc)
4419 {
4420 if (doc)
4421 printf ("\nThere are undocumented target specific options as well.\n");
4422 else
4423 printf (" They exist, but they are not documented.\n");
4424 }
4425 }
4426 }
4427
4428 /* Compare the user specified 'option' with the language
4429 specific 'lang_option'. Return true if they match, or
4430 if 'option' is a viable prefix of 'lang_option'. */
4431
4432 static int
4433 check_lang_option (option, lang_option)
4434 char * option;
4435 char * lang_option;
4436 {
4437 lang_independent_options * indep_options;
4438 int len;
4439 long k;
4440 char * space;
4441
4442 /* Ignore NULL entries. */
4443 if (option == NULL || lang_option == NULL)
4444 return 0;
4445
4446 if ((space = strchr (lang_option, ' ')) != NULL)
4447 len = space - lang_option;
4448 else
4449 len = strlen (lang_option);
4450
4451 /* If they do not match to the first n characters then fail. */
4452 if (strncmp (option, lang_option, len) != 0)
4453 return 0;
4454
4455 /* Do not accept a lang option, if it matches a normal -f or -W
4456 option. Chill defines a -fpack, but we want to support
4457 -fpack-struct. */
4458
4459 /* An exact match is OK */
4460 if ((int) strlen (option) == len)
4461 return 1;
4462
4463 /* If it is not an -f or -W option allow the match */
4464 if (option[0] != '-')
4465 return 1;
4466
4467 switch (option[1])
4468 {
4469 case 'f': indep_options = f_options; break;
4470 case 'W': indep_options = W_options; break;
4471 default: return 1;
4472 }
4473
4474 /* The option is a -f or -W option.
4475 Skip past the prefix and search for the remainder in the
4476 appropriate table of options. */
4477 option += 2;
4478
4479 if (option[0] == 'n' && option[1] == 'o' && option[2] == '-')
4480 option += 3;
4481
4482 for (k = NUM_ELEM (indep_options); k--;)
4483 {
4484 if (!strcmp (option, indep_options[k].string))
4485 {
4486 /* The option matched a language independent option,
4487 do not allow the language specific match. */
4488
4489 return 0;
4490 }
4491 }
4492
4493 /* The option matches the start of the langauge specific option
4494 and it is not an exact match for a language independent option. */
4495 return 1;
4496 }
4497 \f
4498 /* Entry point of cc1/c++. Decode command args, then call compile_file.
4499 Exit code is 35 if can't open files, 34 if fatal error,
4500 33 if had nonfatal errors, else success. */
4501
4502 int
4503 main (argc, argv)
4504 int argc;
4505 char **argv;
4506 {
4507 register int i;
4508 char *filename = 0;
4509 int flag_print_mem = 0;
4510 int version_flag = 0;
4511 char *p;
4512
4513 /* save in case md file wants to emit args as a comment. */
4514 save_argc = argc;
4515 save_argv = argv;
4516
4517 p = argv[0] + strlen (argv[0]);
4518 while (p != argv[0] && p[-1] != '/'
4519 #ifdef DIR_SEPARATOR
4520 && p[-1] != DIR_SEPARATOR
4521 #endif
4522 )
4523 --p;
4524 progname = p;
4525
4526 #if defined (RLIMIT_STACK) && defined (HAVE_GETRLIMIT) && defined (HAVE_SETRLIMIT)
4527 /* Get rid of any avoidable limit on stack size. */
4528 {
4529 struct rlimit rlim;
4530
4531 /* Set the stack limit huge so that alloca does not fail. */
4532 getrlimit (RLIMIT_STACK, &rlim);
4533 rlim.rlim_cur = rlim.rlim_max;
4534 setrlimit (RLIMIT_STACK, &rlim);
4535 }
4536 #endif
4537
4538 signal (SIGFPE, float_signal);
4539
4540 #ifdef SIGPIPE
4541 signal (SIGPIPE, pipe_closed);
4542 #endif
4543
4544 decl_printable_name = decl_name;
4545 lang_expand_expr = (lang_expand_expr_t) do_abort;
4546
4547 /* Initialize whether `char' is signed. */
4548 flag_signed_char = DEFAULT_SIGNED_CHAR;
4549 #ifdef DEFAULT_SHORT_ENUMS
4550 /* Initialize how much space enums occupy, by default. */
4551 flag_short_enums = DEFAULT_SHORT_ENUMS;
4552 #endif
4553
4554 /* Perform language-specific options intialization. */
4555 lang_init_options ();
4556
4557 /* Scan to see what optimization level has been specified. That will
4558 determine the default value of many flags. */
4559 for (i = 1; i < argc; i++)
4560 {
4561 if (!strcmp (argv[i], "-O"))
4562 {
4563 optimize = 1;
4564 optimize_size = 0;
4565 }
4566 else if (argv[i][0] == '-' && argv[i][1] == 'O')
4567 {
4568 /* Handle -Os, -O2, -O3, -O69, ... */
4569 char *p = &argv[i][2];
4570 int c;
4571
4572 if ((p[0] == 's') && (p[1] == 0))
4573 {
4574 optimize_size = 1;
4575
4576 /* Optimizing for size forces optimize to be 2. */
4577 optimize = 2;
4578 }
4579 else
4580 {
4581 while ((c = *p++))
4582 if (! (c >= '0' && c <= '9'))
4583 break;
4584 if (c == 0)
4585 {
4586 optimize = atoi (&argv[i][2]);
4587 optimize_size = 0;
4588 }
4589 }
4590 }
4591 }
4592
4593 obey_regdecls = (optimize == 0);
4594
4595 if (optimize >= 1)
4596 {
4597 flag_defer_pop = 1;
4598 flag_thread_jumps = 1;
4599 #ifdef DELAY_SLOTS
4600 flag_delayed_branch = 1;
4601 #endif
4602 #ifdef CAN_DEBUG_WITHOUT_FP
4603 flag_omit_frame_pointer = 1;
4604 #endif
4605 }
4606
4607 if (optimize >= 2)
4608 {
4609 flag_cse_follow_jumps = 1;
4610 flag_cse_skip_blocks = 1;
4611 flag_gcse = 1;
4612 flag_expensive_optimizations = 1;
4613 flag_strength_reduce = 1;
4614 flag_rerun_cse_after_loop = 1;
4615 flag_rerun_loop_opt = 1;
4616 flag_caller_saves = 1;
4617 flag_force_mem = 1;
4618 #ifdef INSN_SCHEDULING
4619 flag_schedule_insns = 1;
4620 flag_schedule_insns_after_reload = 1;
4621 #endif
4622 flag_regmove = 1;
4623 flag_strict_aliasing = 1;
4624 }
4625
4626 if (optimize >= 3)
4627 {
4628 flag_inline_functions = 1;
4629 }
4630
4631 /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
4632 modify it. */
4633 target_flags = 0;
4634 set_target_switch ("");
4635
4636 #ifdef OPTIMIZATION_OPTIONS
4637 /* Allow default optimizations to be specified on a per-machine basis. */
4638 OPTIMIZATION_OPTIONS (optimize, optimize_size);
4639 #endif
4640
4641 /* Initialize register usage now so switches may override. */
4642 init_reg_sets ();
4643
4644 for (i = 1; i < argc; i++)
4645 {
4646 size_t j;
4647
4648 /* If this is a language-specific option,
4649 decode it in a language-specific way. */
4650 for (j = NUM_ELEM (documented_lang_options); j--;)
4651 if (check_lang_option (argv[i], documented_lang_options[j].option))
4652 break;
4653
4654 if (j != (size_t)-1)
4655 {
4656 /* If the option is valid for *some* language,
4657 treat it as valid even if this language doesn't understand it. */
4658 int strings_processed = lang_decode_option (argc - i, argv + i);
4659
4660 if (!strcmp (argv[i], "--help"))
4661 {
4662 display_help ();
4663 exit (0);
4664 }
4665
4666 if (strings_processed != 0)
4667 i += strings_processed - 1;
4668 }
4669 else if (argv[i][0] == '-' && argv[i][1] != 0)
4670 {
4671 register char *str = argv[i] + 1;
4672 if (str[0] == 'Y')
4673 str++;
4674
4675 if (str[0] == 'm')
4676 set_target_switch (&str[1]);
4677 else if (!strcmp (str, "dumpbase"))
4678 {
4679 dump_base_name = argv[++i];
4680 }
4681 else if (str[0] == 'd')
4682 {
4683 register char *p = &str[1];
4684 while (*p)
4685 switch (*p++)
4686 {
4687 case 'a':
4688 branch_prob_dump = 1;
4689 combine_dump = 1;
4690 #ifdef DELAY_SLOTS
4691 dbr_sched_dump = 1;
4692 #endif
4693 flow_dump = 1;
4694 global_reg_dump = 1;
4695 jump_opt_dump = 1;
4696 addressof_dump = 1;
4697 jump2_opt_dump = 1;
4698 local_reg_dump = 1;
4699 loop_dump = 1;
4700 regmove_dump = 1;
4701 rtl_dump = 1;
4702 cse_dump = 1, cse2_dump = 1;
4703 gcse_dump = 1;
4704 sched_dump = 1;
4705 sched2_dump = 1;
4706 #ifdef STACK_REGS
4707 stack_reg_dump = 1;
4708 #endif
4709 #ifdef MACHINE_DEPENDENT_REORG
4710 mach_dep_reorg_dump = 1;
4711 #endif
4712 break;
4713 case 'A':
4714 flag_debug_asm = 1;
4715 break;
4716 case 'b':
4717 branch_prob_dump = 1;
4718 break;
4719 case 'c':
4720 combine_dump = 1;
4721 break;
4722 #ifdef DELAY_SLOTS
4723 case 'd':
4724 dbr_sched_dump = 1;
4725 break;
4726 #endif
4727 case 'f':
4728 flow_dump = 1;
4729 break;
4730 case 'F':
4731 addressof_dump = 1;
4732 break;
4733 case 'g':
4734 global_reg_dump = 1;
4735 break;
4736 case 'G':
4737 gcse_dump = 1;
4738 break;
4739 case 'j':
4740 jump_opt_dump = 1;
4741 break;
4742 case 'J':
4743 jump2_opt_dump = 1;
4744 break;
4745 #ifdef STACK_REGS
4746 case 'k':
4747 stack_reg_dump = 1;
4748 break;
4749 #endif
4750 case 'l':
4751 local_reg_dump = 1;
4752 break;
4753 case 'L':
4754 loop_dump = 1;
4755 break;
4756 case 'm':
4757 flag_print_mem = 1;
4758 break;
4759 #ifdef MACHINE_DEPENDENT_REORG
4760 case 'M':
4761 mach_dep_reorg_dump = 1;
4762 break;
4763 #endif
4764 case 'p':
4765 flag_print_asm_name = 1;
4766 break;
4767 case 'r':
4768 rtl_dump = 1;
4769 break;
4770 case 'R':
4771 sched2_dump = 1;
4772 break;
4773 case 's':
4774 cse_dump = 1;
4775 break;
4776 case 'S':
4777 sched_dump = 1;
4778 break;
4779 case 't':
4780 cse2_dump = 1;
4781 break;
4782 case 'N':
4783 regmove_dump = 1;
4784 break;
4785 case 'v':
4786 graph_dump_format = vcg;
4787 break;
4788 case 'y':
4789 set_yydebug (1);
4790 break;
4791 case 'x':
4792 rtl_dump_and_exit = 1;
4793 break;
4794 case 'D': /* these are handled by the preprocessor */
4795 case 'I':
4796 break;
4797 default:
4798 warning ("unrecognised gcc debugging option: %c", p[-1]);
4799 break;
4800 }
4801 }
4802 else if (str[0] == 'f')
4803 {
4804 register char *p = &str[1];
4805 int found = 0;
4806
4807 /* Some kind of -f option.
4808 P's value is the option sans `-f'.
4809 Search for it in the table of options. */
4810
4811 for (j = 0;
4812 !found && j < sizeof (f_options) / sizeof (f_options[0]);
4813 j++)
4814 {
4815 if (!strcmp (p, f_options[j].string))
4816 {
4817 *f_options[j].variable = f_options[j].on_value;
4818 /* A goto here would be cleaner,
4819 but breaks the vax pcc. */
4820 found = 1;
4821 }
4822 if (p[0] == 'n' && p[1] == 'o' && p[2] == '-'
4823 && ! strcmp (p+3, f_options[j].string))
4824 {
4825 *f_options[j].variable = ! f_options[j].on_value;
4826 found = 1;
4827 }
4828 }
4829
4830 if (found)
4831 ;
4832 #ifdef HAIFA
4833 #ifdef INSN_SCHEDULING
4834 else if (!strncmp (p, "sched-verbose-",14))
4835 fix_sched_param("verbose",&p[14]);
4836 #endif
4837 #endif /* HAIFA */
4838 else if (!strncmp (p, "fixed-", 6))
4839 fix_register (&p[6], 1, 1);
4840 else if (!strncmp (p, "call-used-", 10))
4841 fix_register (&p[10], 0, 1);
4842 else if (!strncmp (p, "call-saved-", 11))
4843 fix_register (&p[11], 0, 0);
4844 else
4845 error ("Invalid option `%s'", argv[i]);
4846 }
4847 else if (str[0] == 'O')
4848 {
4849 register char *p = str+1;
4850 if (*p == 's')
4851 p++;
4852 else
4853 while (*p && *p >= '0' && *p <= '9')
4854 p++;
4855 if (*p == '\0')
4856 ;
4857 else
4858 error ("Invalid option `%s'", argv[i]);
4859 }
4860 else if (!strcmp (str, "pedantic"))
4861 pedantic = 1;
4862 else if (!strcmp (str, "pedantic-errors"))
4863 flag_pedantic_errors = pedantic = 1;
4864 else if (!strcmp (str, "quiet"))
4865 quiet_flag = 1;
4866 else if (!strcmp (str, "version"))
4867 version_flag = 1;
4868 else if (!strcmp (str, "w"))
4869 inhibit_warnings = 1;
4870 else if (!strcmp (str, "W"))
4871 {
4872 extra_warnings = 1;
4873 /* We save the value of warn_uninitialized, since if they put
4874 -Wuninitialized on the command line, we need to generate a
4875 warning about not using it without also specifying -O. */
4876 if (warn_uninitialized != 1)
4877 warn_uninitialized = 2;
4878 }
4879 else if (str[0] == 'W')
4880 {
4881 register char *p = &str[1];
4882 int found = 0;
4883
4884 /* Some kind of -W option.
4885 P's value is the option sans `-W'.
4886 Search for it in the table of options. */
4887
4888 for (j = 0;
4889 !found && j < sizeof (W_options) / sizeof (W_options[0]);
4890 j++)
4891 {
4892 if (!strcmp (p, W_options[j].string))
4893 {
4894 *W_options[j].variable = W_options[j].on_value;
4895 /* A goto here would be cleaner,
4896 but breaks the vax pcc. */
4897 found = 1;
4898 }
4899 if (p[0] == 'n' && p[1] == 'o' && p[2] == '-'
4900 && ! strcmp (p+3, W_options[j].string))
4901 {
4902 *W_options[j].variable = ! W_options[j].on_value;
4903 found = 1;
4904 }
4905 }
4906
4907 if (found)
4908 ;
4909 else if (!strncmp (p, "id-clash-", 9))
4910 {
4911 char *endp = p + 9;
4912
4913 while (*endp)
4914 {
4915 if (*endp >= '0' && *endp <= '9')
4916 endp++;
4917 else
4918 {
4919 error ("Invalid option `%s'", argv[i]);
4920 goto id_clash_lose;
4921 }
4922 }
4923 warn_id_clash = 1;
4924 id_clash_len = atoi (str + 10);
4925 id_clash_lose: ;
4926 }
4927 else if (!strncmp (p, "larger-than-", 12))
4928 {
4929 char *endp = p + 12;
4930
4931 while (*endp)
4932 {
4933 if (*endp >= '0' && *endp <= '9')
4934 endp++;
4935 else
4936 {
4937 error ("Invalid option `%s'", argv[i]);
4938 goto larger_than_lose;
4939 }
4940 }
4941 warn_larger_than = 1;
4942 larger_than_size = atoi (str + 13);
4943 larger_than_lose: ;
4944 }
4945 else
4946 error ("Invalid option `%s'", argv[i]);
4947 }
4948 else if (!strcmp (str, "p"))
4949 {
4950 profile_flag = 1;
4951 }
4952 else if (!strcmp (str, "a"))
4953 {
4954 #if !defined (BLOCK_PROFILER) || !defined (FUNCTION_BLOCK_PROFILER)
4955 warning ("`-a' option (basic block profile) not supported");
4956 #else
4957 profile_block_flag = (profile_block_flag < 2) ? 1 : 3;
4958 #endif
4959 }
4960 else if (!strcmp (str, "ax"))
4961 {
4962 #if !defined (FUNCTION_BLOCK_PROFILER_EXIT) || !defined (BLOCK_PROFILER) || !defined (FUNCTION_BLOCK_PROFILER)
4963 warning ("`-ax' option (jump profiling) not supported");
4964 #else
4965 profile_block_flag = (!profile_block_flag
4966 || profile_block_flag == 2) ? 2 : 3;
4967 #endif
4968 }
4969 else if (str[0] == 'g')
4970 {
4971 unsigned len;
4972 unsigned level;
4973 /* A lot of code assumes write_symbols == NO_DEBUG if the
4974 debugging level is 0 (thus -gstabs1 -gstabs0 would lose track
4975 of what debugging type has been selected). This records the
4976 selected type. It is an error to specify more than one
4977 debugging type. */
4978 static enum debug_info_type selected_debug_type = NO_DEBUG;
4979 /* Non-zero if debugging format has been explicitly set.
4980 -g and -ggdb don't explicitly set the debugging format so
4981 -gdwarf -g3 is equivalent to -gdwarf3. */
4982 static int type_explicitly_set_p = 0;
4983 /* Indexed by enum debug_info_type. */
4984 static const char *debug_type_names[] =
4985 {
4986 "none", "stabs", "coff", "dwarf-1", "dwarf-2", "xcoff"
4987 };
4988
4989 /* Look up STR in the table. */
4990 for (da = debug_args; da->arg; da++)
4991 {
4992 if (! strncmp (str, da->arg, strlen (da->arg)))
4993 {
4994 enum debug_info_type type = da->debug_type;
4995 char *p, *q;
4996
4997 p = str + strlen (da->arg);
4998 if (*p && (*p < '0' || *p > '9'))
4999 continue;
5000 len = p - str;
5001 q = p;
5002 while (*q && (*q >= '0' && *q <= '9'))
5003 q++;
5004 if (*p)
5005 {
5006 level = atoi (p);
5007 if (len > 1 && !strncmp (str, "gdwarf", len))
5008 {
5009 error ("use -gdwarf -g%d for DWARF v1, level %d",
5010 level, level);
5011 if (level == 2)
5012 error ("use -gdwarf-2 for DWARF v2");
5013 }
5014 }
5015 else
5016 level = 2; /* default debugging info level */
5017 if (*q || level > 3)
5018 {
5019 warning ("invalid debug level specification in option: `-%s'",
5020 str);
5021 /* ??? This error message is incorrect in the case of
5022 -g4 -g. */
5023 warning ("no debugging information will be generated");
5024 level = 0;
5025 }
5026
5027 if (type == NO_DEBUG)
5028 {
5029 type = PREFERRED_DEBUGGING_TYPE;
5030 if (len > 1 && strncmp (str, "ggdb", len) == 0)
5031 {
5032 #if defined (DWARF2_DEBUGGING_INFO) && !defined (LINKER_DOES_NOT_WORK_WITH_DWARF2)
5033 type = DWARF2_DEBUG;
5034 #else
5035 #ifdef DBX_DEBUGGING_INFO
5036 type = DBX_DEBUG;
5037 #endif
5038 #endif
5039 }
5040 }
5041
5042 if (type == NO_DEBUG)
5043 warning ("`-%s' not supported by this configuration of GCC",
5044 str);
5045
5046 /* Does it conflict with an already selected type? */
5047 if (type_explicitly_set_p
5048 /* -g/-ggdb don't conflict with anything */
5049 && da->debug_type != NO_DEBUG
5050 && type != selected_debug_type)
5051 warning ("`-%s' ignored, conflicts with `-g%s'",
5052 str, debug_type_names[(int) selected_debug_type]);
5053 else
5054 {
5055 /* If the format has already been set, -g/-ggdb
5056 only change the debug level. */
5057 if (type_explicitly_set_p
5058 && da->debug_type == NO_DEBUG)
5059 ; /* don't change debugging type */
5060 else
5061 {
5062 selected_debug_type = type;
5063 type_explicitly_set_p = da->debug_type != NO_DEBUG;
5064 }
5065 write_symbols = (level == 0
5066 ? NO_DEBUG
5067 : selected_debug_type);
5068 use_gnu_debug_info_extensions = da->use_extensions_p;
5069 debug_info_level = (enum debug_info_level) level;
5070 }
5071 break;
5072 }
5073 }
5074 if (! da->arg)
5075 warning ("`-%s' not supported by this configuration of GCC",
5076 str);
5077 }
5078 else if (!strcmp (str, "o"))
5079 {
5080 asm_file_name = argv[++i];
5081 }
5082 else if (str[0] == 'G')
5083 {
5084 g_switch_set = TRUE;
5085 g_switch_value = atoi ((str[1] != '\0') ? str+1 : argv[++i]);
5086 }
5087 else if (!strncmp (str, "aux-info", 8))
5088 {
5089 flag_gen_aux_info = 1;
5090 aux_info_file_name = (str[8] != '\0' ? str+8 : argv[++i]);
5091 }
5092 else if (!strcmp (str, "-help"))
5093 {
5094 display_help ();
5095 exit (0);
5096 }
5097 else
5098 error ("Invalid option `%s'", argv[i]);
5099 }
5100 else if (argv[i][0] == '+')
5101 error ("Invalid option `%s'", argv[i]);
5102 else
5103 filename = argv[i];
5104 }
5105
5106 /* Checker uses the frame pointer. */
5107 if (flag_check_memory_usage)
5108 flag_omit_frame_pointer = 0;
5109
5110 if (optimize == 0)
5111 {
5112 /* Inlining does not work if not optimizing,
5113 so force it not to be done. */
5114 flag_no_inline = 1;
5115 warn_inline = 0;
5116
5117 /* The c_decode_option and lang_decode_option functions set
5118 this to `2' if -Wall is used, so we can avoid giving out
5119 lots of errors for people who don't realize what -Wall does. */
5120 if (warn_uninitialized == 1)
5121 warning ("-Wuninitialized is not supported without -O");
5122 }
5123
5124 #ifdef OVERRIDE_OPTIONS
5125 /* Some machines may reject certain combinations of options. */
5126 OVERRIDE_OPTIONS;
5127 #endif
5128
5129 if (exceptions_via_longjmp == 2)
5130 {
5131 #ifdef DWARF2_UNWIND_INFO
5132 exceptions_via_longjmp = ! DWARF2_UNWIND_INFO;
5133 #else
5134 exceptions_via_longjmp = 1;
5135 #endif
5136 }
5137
5138 if (profile_block_flag == 3)
5139 {
5140 warning ("`-ax' and `-a' are conflicting options. `-a' ignored.");
5141 profile_block_flag = 2;
5142 }
5143
5144 /* Unrolling all loops implies that standard loop unrolling must also
5145 be done. */
5146 if (flag_unroll_all_loops)
5147 flag_unroll_loops = 1;
5148 /* Loop unrolling requires that strength_reduction be on also. Silently
5149 turn on strength reduction here if it isn't already on. Also, the loop
5150 unrolling code assumes that cse will be run after loop, so that must
5151 be turned on also. */
5152 if (flag_unroll_loops)
5153 {
5154 flag_strength_reduce = 1;
5155 flag_rerun_cse_after_loop = 1;
5156 }
5157
5158 /* Warn about options that are not supported on this machine. */
5159 #ifndef INSN_SCHEDULING
5160 if (flag_schedule_insns || flag_schedule_insns_after_reload)
5161 warning ("instruction scheduling not supported on this target machine");
5162 #endif
5163 #ifndef DELAY_SLOTS
5164 if (flag_delayed_branch)
5165 warning ("this target machine does not have delayed branches");
5166 #endif
5167
5168 user_label_prefix = USER_LABEL_PREFIX;
5169 if (flag_leading_underscore != -1)
5170 {
5171 /* If the default prefix is more complicated than "" or "_",
5172 issue a warning and ignore this option. */
5173 if (user_label_prefix[0] == 0 ||
5174 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
5175 {
5176 user_label_prefix = flag_leading_underscore ? "_" : "";
5177 }
5178 else
5179 warning ("-f%sleading-underscore not supported on this target machine",
5180 flag_leading_underscore ? "" : "no-");
5181 }
5182
5183 /* If we are in verbose mode, write out the version and maybe all the
5184 option flags in use. */
5185 if (version_flag)
5186 {
5187 print_version (stderr, "");
5188 if (! quiet_flag)
5189 print_switch_values (stderr, 0, MAX_LINE, "", " ", "\n");
5190 }
5191
5192 compile_file (filename);
5193
5194 #if !defined(OS2) && !defined(VMS) && (!defined(_WIN32) || defined (__CYGWIN__))
5195 if (flag_print_mem)
5196 {
5197 char *lim = (char *) sbrk (0);
5198
5199 fprintf (stderr, "Data size %ld.\n", (long)(lim - (char *) &environ));
5200 fflush (stderr);
5201
5202 #ifndef __MSDOS__
5203 #ifdef USG
5204 system ("ps -l 1>&2");
5205 #else /* not USG */
5206 system ("ps v");
5207 #endif /* not USG */
5208 #endif
5209 }
5210 #endif /* ! OS2 && ! VMS && (! _WIN32 || CYGWIN) */
5211
5212 if (errorcount)
5213 exit (FATAL_EXIT_CODE);
5214 if (sorrycount)
5215 exit (FATAL_EXIT_CODE);
5216 exit (SUCCESS_EXIT_CODE);
5217 return 0;
5218 }
5219 \f
5220 /* Decode -m switches. */
5221 /* Decode the switch -mNAME. */
5222
5223 static void
5224 set_target_switch (name)
5225 const char *name;
5226 {
5227 register size_t j;
5228 int valid = 0;
5229
5230 for (j = 0; j < sizeof target_switches / sizeof target_switches[0]; j++)
5231 if (!strcmp (target_switches[j].name, name))
5232 {
5233 if (target_switches[j].value < 0)
5234 target_flags &= ~-target_switches[j].value;
5235 else
5236 target_flags |= target_switches[j].value;
5237 valid = 1;
5238 }
5239
5240 #ifdef TARGET_OPTIONS
5241 if (!valid)
5242 for (j = 0; j < sizeof target_options / sizeof target_options[0]; j++)
5243 {
5244 int len = strlen (target_options[j].prefix);
5245 if (!strncmp (target_options[j].prefix, name, len))
5246 {
5247 *target_options[j].variable = name + len;
5248 valid = 1;
5249 }
5250 }
5251 #endif
5252
5253 if (!valid)
5254 error ("Invalid option `%s'", name);
5255 }
5256 \f
5257 /* Print version information to FILE.
5258 Each line begins with INDENT (for the case where FILE is the
5259 assembler output file). */
5260
5261 static void
5262 print_version (file, indent)
5263 FILE *file;
5264 const char *indent;
5265 {
5266 fprintf (file, "%s%s%s version %s", indent, *indent != 0 ? " " : "",
5267 language_string, version_string);
5268 fprintf (file, " (%s)", TARGET_NAME);
5269 #ifdef __GNUC__
5270 #ifndef __VERSION__
5271 #define __VERSION__ "[unknown]"
5272 #endif
5273 fprintf (file, " compiled by GNU C version %s.\n", __VERSION__);
5274 #else
5275 fprintf (file, " compiled by CC.\n");
5276 #endif
5277 }
5278
5279 /* Print an option value and return the adjusted position in the line.
5280 ??? We don't handle error returns from fprintf (disk full); presumably
5281 other code will catch a disk full though. */
5282
5283 static int
5284 print_single_switch (file, pos, max, indent, sep, term, type, name)
5285 FILE *file;
5286 int pos, max;
5287 const char *indent, *sep, *term, *type, *name;
5288 {
5289 /* The ultrix fprintf returns 0 on success, so compute the result we want
5290 here since we need it for the following test. */
5291 int len = strlen (sep) + strlen (type) + strlen (name);
5292
5293 if (pos != 0
5294 && pos + len > max)
5295 {
5296 fprintf (file, "%s", term);
5297 pos = 0;
5298 }
5299 if (pos == 0)
5300 {
5301 fprintf (file, "%s", indent);
5302 pos = strlen (indent);
5303 }
5304 fprintf (file, "%s%s%s", sep, type, name);
5305 pos += len;
5306 return pos;
5307 }
5308
5309 /* Print active target switches to FILE.
5310 POS is the current cursor position and MAX is the size of a "line".
5311 Each line begins with INDENT and ends with TERM.
5312 Each switch is separated from the next by SEP. */
5313
5314 static void
5315 print_switch_values (file, pos, max, indent, sep, term)
5316 FILE *file;
5317 int pos, max;
5318 const char *indent, *sep, *term;
5319 {
5320 size_t j;
5321 char **p;
5322
5323 /* Print the options as passed. */
5324
5325 pos = print_single_switch (file, pos, max, indent, *indent ? " " : "", term,
5326 "options passed: ", "");
5327
5328 for (p = &save_argv[1]; *p != NULL; p++)
5329 if (**p == '-')
5330 {
5331 /* Ignore these. */
5332 if (strcmp (*p, "-o") == 0)
5333 {
5334 if (p[1] != NULL)
5335 p++;
5336 continue;
5337 }
5338 if (strcmp (*p, "-quiet") == 0)
5339 continue;
5340 if (strcmp (*p, "-version") == 0)
5341 continue;
5342 if ((*p)[1] == 'd')
5343 continue;
5344
5345 pos = print_single_switch (file, pos, max, indent, sep, term, *p, "");
5346 }
5347 if (pos > 0)
5348 fprintf (file, "%s", term);
5349
5350 /* Print the -f and -m options that have been enabled.
5351 We don't handle language specific options but printing argv
5352 should suffice. */
5353
5354 pos = print_single_switch (file, 0, max, indent, *indent ? " " : "", term,
5355 "options enabled: ", "");
5356
5357 for (j = 0; j < sizeof f_options / sizeof f_options[0]; j++)
5358 if (*f_options[j].variable == f_options[j].on_value)
5359 pos = print_single_switch (file, pos, max, indent, sep, term,
5360 "-f", f_options[j].string);
5361
5362 /* Print target specific options. */
5363
5364 for (j = 0; j < sizeof target_switches / sizeof target_switches[0]; j++)
5365 if (target_switches[j].name[0] != '\0'
5366 && target_switches[j].value > 0
5367 && ((target_switches[j].value & target_flags)
5368 == target_switches[j].value))
5369 {
5370 pos = print_single_switch (file, pos, max, indent, sep, term,
5371 "-m", target_switches[j].name);
5372 }
5373
5374 #ifdef TARGET_OPTIONS
5375 for (j = 0; j < sizeof target_options / sizeof target_options[0]; j++)
5376 if (*target_options[j].variable != NULL)
5377 {
5378 char prefix[256];
5379 sprintf (prefix, "-m%s", target_options[j].prefix);
5380 pos = print_single_switch (file, pos, max, indent, sep, term,
5381 prefix, *target_options[j].variable);
5382 }
5383 #endif
5384
5385 fprintf (file, "%s", term);
5386 }
5387
5388 /* Record the beginning of a new source file, named FILENAME. */
5389
5390 void
5391 debug_start_source_file (filename)
5392 register char *filename;
5393 {
5394 #ifdef DBX_DEBUGGING_INFO
5395 if (write_symbols == DBX_DEBUG)
5396 dbxout_start_new_source_file (filename);
5397 #endif
5398 #ifdef DWARF_DEBUGGING_INFO
5399 if (debug_info_level == DINFO_LEVEL_VERBOSE
5400 && write_symbols == DWARF_DEBUG)
5401 dwarfout_start_new_source_file (filename);
5402 #endif /* DWARF_DEBUGGING_INFO */
5403 #ifdef DWARF2_DEBUGGING_INFO
5404 if (debug_info_level == DINFO_LEVEL_VERBOSE
5405 && write_symbols == DWARF2_DEBUG)
5406 dwarf2out_start_source_file (filename);
5407 #endif /* DWARF2_DEBUGGING_INFO */
5408 #ifdef SDB_DEBUGGING_INFO
5409 if (write_symbols == SDB_DEBUG)
5410 sdbout_start_new_source_file (filename);
5411 #endif
5412 }
5413
5414 /* Record the resumption of a source file. LINENO is the line number in
5415 the source file we are returning to. */
5416
5417 void
5418 debug_end_source_file (lineno)
5419 register unsigned lineno ATTRIBUTE_UNUSED;
5420 {
5421 #ifdef DBX_DEBUGGING_INFO
5422 if (write_symbols == DBX_DEBUG)
5423 dbxout_resume_previous_source_file ();
5424 #endif
5425 #ifdef DWARF_DEBUGGING_INFO
5426 if (debug_info_level == DINFO_LEVEL_VERBOSE
5427 && write_symbols == DWARF_DEBUG)
5428 dwarfout_resume_previous_source_file (lineno);
5429 #endif /* DWARF_DEBUGGING_INFO */
5430 #ifdef DWARF2_DEBUGGING_INFO
5431 if (debug_info_level == DINFO_LEVEL_VERBOSE
5432 && write_symbols == DWARF2_DEBUG)
5433 dwarf2out_end_source_file ();
5434 #endif /* DWARF2_DEBUGGING_INFO */
5435 #ifdef SDB_DEBUGGING_INFO
5436 if (write_symbols == SDB_DEBUG)
5437 sdbout_resume_previous_source_file ();
5438 #endif
5439 }
5440
5441 /* Called from check_newline in c-parse.y. The `buffer' parameter contains
5442 the tail part of the directive line, i.e. the part which is past the
5443 initial whitespace, #, whitespace, directive-name, whitespace part. */
5444
5445 void
5446 debug_define (lineno, buffer)
5447 register unsigned lineno;
5448 register char *buffer;
5449 {
5450 #ifdef DWARF_DEBUGGING_INFO
5451 if (debug_info_level == DINFO_LEVEL_VERBOSE
5452 && write_symbols == DWARF_DEBUG)
5453 dwarfout_define (lineno, buffer);
5454 #endif /* DWARF_DEBUGGING_INFO */
5455 #ifdef DWARF2_DEBUGGING_INFO
5456 if (debug_info_level == DINFO_LEVEL_VERBOSE
5457 && write_symbols == DWARF2_DEBUG)
5458 dwarf2out_define (lineno, buffer);
5459 #endif /* DWARF2_DEBUGGING_INFO */
5460 }
5461
5462 /* Called from check_newline in c-parse.y. The `buffer' parameter contains
5463 the tail part of the directive line, i.e. the part which is past the
5464 initial whitespace, #, whitespace, directive-name, whitespace part. */
5465
5466 void
5467 debug_undef (lineno, buffer)
5468 register unsigned lineno;
5469 register char *buffer;
5470 {
5471 #ifdef DWARF_DEBUGGING_INFO
5472 if (debug_info_level == DINFO_LEVEL_VERBOSE
5473 && write_symbols == DWARF_DEBUG)
5474 dwarfout_undef (lineno, buffer);
5475 #endif /* DWARF_DEBUGGING_INFO */
5476 #ifdef DWARF2_DEBUGGING_INFO
5477 if (debug_info_level == DINFO_LEVEL_VERBOSE
5478 && write_symbols == DWARF2_DEBUG)
5479 dwarf2out_undef (lineno, buffer);
5480 #endif /* DWARF2_DEBUGGING_INFO */
5481 }