reg-stack.c (subst_stack_regs_pat): Handle correctly USEs of dead registers.

[gcc.git] / gcc / ChangeLog

Mon Jan 24 19:49:47 MET 2000  Jan Hubicka  <jh@suse.cz>

	* reg-stack.c (subst_stack_regs_pat): Handle correctly USEs of
	dead registers.

Mon Jan 24 17:37:31 MET 2000  Jan Hubicka  <jh@suse.cz>

	* i386.h (FIRST_PSEUDO_REGISTER): Set to 21.
	(FIXED_REGISTERS, CALL_USED_REGISTERS,
	 REG_ALLOC_ORDER): Add frame pointer
	(FRAME_POINTER_REGNUM): Set to 20
	(HARD_FRAME_POINTER_REGNUM): New macro.
	(ELIMINABLE_REGS): Eliminate ARG_POINTER and FRAME_POINTER
	to HARD_FRAME_POINTER.
	(REGNO_OK_FOR_BASE_P): Accept FRAME_POINTER_REGNUM
	(REG_OK_FOR_INDEX_NONSTRICT_P): Likewise.
	(REG_OK_FOR_BASE_NONSTRICT_P): Likewise.
	(HI_REGISTER_NAMES): Add "frame".
	(CAN_ELIMINATE): Handle FRAME_POINTER_REGNUM elimination.
	(debug_reg): Handle FRAME_POINTER_REGNUM.
	(reg_class): Add arg pointer and frame pointer to NON_Q_REGS,
	GENERAL_REGS and INDEX_REGS.
	* i386.c (SAVED_REGS_FIRST): new macro.
	(AT_BP): Use hard_frame_pointer_rtx instead of frame_pointer_rtx
	(ix86_decompose_address, memory_address_length): Likewise.
	(regclass_map): Add frame pointer.
	(call_insn_operand): Handle frame_pointer_rtx.
	(reg_no_sp_operand): Likewise.
	(ix86_decompose_address): Handle frame_pointer_rtx as stack_pointer_rtx.
	(print_operand, legitimize_pic_address): Fix formating.
	(ix86_compute_frame_size): Make static, update prototype, new
	parameters padding1, padding2, use ix86_nsaved_regs, use
	stack_alignment_needed.
	(ix86_initial_elimination_offset): Handle FRAME_POINTER_REGNUM
	to HARD_FRAME_POINTER_REGNUM conversions.
	(ix86_expand_prologue): Handle SAVED_REGS_FIRST prologues.
	(ix86_expand_epilogue): Handle SAVED_REGS_FIRST epilogues.
	(print_reg): Abort on FRAME_POINTER_REGNUM

Mon Jan 24 16:50:08 MET 2000  Jan Hubicka  <jh@suse.cz>

	* i386.h (PREDICATE_CODES): Add aligned_operand.
	* i386.c (aligned_operand): New function.
	(ix86_aligned_p): Kill.
	* i386.md (movhi_1): Emit mov for aligned operands.
	(promoting peep2s): Use aligned_operand.

2000-01-23  Zack Weinberg  <zack@wolery.cumb.org>

	* fixinc/fixfixes.c (fix_char_macro_uses): Correct regular
	expression to allow underscores in macro names.
	(fix_char_macro_defines): Increment scanning pointer.

2000-01-23  Richard Henderson  <rth@cygnus.com>

	* alpha/osf.h (TARGET_HAS_XFLOATING_LIBS): Define.
	* alpha/osf5.h: New file.
	* configure.in (alpha-*-osf5): Add it to tm_file.

	* emit-rtl.c (operand_subword): Support TFmode on a 64-bit target.

	* alpha-protos.h (alpha_emit_xfloating_arith): Declare.
	(alpha_emit_xfloating_cvt, function_arg): Declare.
	* alpha.c (alpha_emit_conditional_branch): Call
	alpha_emit_xfloating_compare for TFmode compares.
	(alpha_lookup_xfloating_lib_func): New.
	(alpha_compute_xfloating_mode_arg): New.
	(alpha_emit_xfloating_libcall): New.
	(alpha_emit_xfloating_arith): New.
	(alpha_emit_xfloating_compare): New.
	(alpha_emit_xfloating_cvt): New.
	(print_operand): Add default abort case.
	(function_arg): Mind FUNCTION_ARG_PASS_BY_REFERENCE.
	* alpha.h (TARGET_HAS_XFLOATING_LIBS): New.
	(BIGGEST_ALIGNMENT): Increase to 128 bits.
	(RETURN_IN_MEMORY): True for TF/TCmode.
	(ALPHA_ARG_SIZE): TF/TCmode is passed indirect.
	(FUNCTION_ARG): Move to function_arg.
	(FUNCTION_ARG_PASS_BY_REFERENCE): New.
	(ASM_OUTPUT_LONG_DOUBLE): New.
	(ASM_OUTPUT_DOUBLE): Always output bits.
	* alpha.md (addtf3, divtf3, multf3, subtf3, cmptf): New.
	(fix_trunctfdi2, floatditf2, floatunsditf2): New.
	(extenddftf2, trunctfdf2): New.

2000-01-23  Alexandre Oliva  <oliva@lsd.ic.unicamp.br>

	* config/sparc/sol2-sld-64.h (TRANSFER_FROM_TRAMPOLINE): Moved...
	* config/sparc/sol2.h: ... here.

2000-01-24  Michael Hayes  <m.hayes@elec.canterbury.ac.nz>

	* basic-block.h (struct loops): New field `levels'.
	* flow.c (flow_loops_level_compute): Traverse all outer loops.
	(flow_loop_level_compute): Initialise level to 1.
	(flow_loops_find): Set loops->levels.
	(flow_loops_dump): Print loops->levels.

2000-01-23  Richard Henderson  <rth@cygnus.com>

	* libgcc2.c (dwarf_reg_size_table): Size with DWARF_FRAME_REGISTERS.
	(throw_helper): Iterate over DWARF_FRAME_REGISTERS.

2000-01-23  Richard Henderson  <rth@cygnus.com>

	* i386.c (dbx_register_map, svr4_dbx_register_map): New.
	* i386.h (DBX_REGISTER_NUMBER): Use them.
	* i386/beos-elf.h, i386/freebsd-elf.h, i386/i386elf.h: Likewise.
	* i386/linux.h, i386/osfrose.h, i386/ptx4-i.h: Likewise.
	* i386/rtemself.h, i386/sco5.h, i386/sysv4.h: Likewise.
	* i386/sequent.h: Kill incorrect comment.

2000-01-23  Mark Mitchell  <mark@codesourcery.com>

	* ggc-page.c (struct page_entry): Make `context_depth' an
	`unsigned short'.
	(struct globals): Likewise.

2000-01-23  Clinton Popetz  <cpopetz@cygnus.com>

	* loop.c (check_dbra_loop): When checking a loop for
	reversability, check the source of any stores to ensure
	they don't depend on an initial value.

2000-01-23  Michael Hayes  <m.hayes@elec.canterbury.ac.nz>

	* config/c4x/c4x.h (ASM_OUTPUT_BSS): Redefine.

2000-01-22  Zack Weinberg  <zack@wolery.cumb.org>

 	* fixinc/fixincl.c: Move declarations of 'pz_fname' and
	'pz_scan' into scope of entire function.  Only affects
	compiles with -DDEBUG.

2000-01-22  Alan Modra <alan@SPRI.Levels.UniSA.Edu.Au>

        * config/elfos.h (UNIQUE_SECTION): Restore uninitialised data
        section naming to that prior to 2000-01-07 patch.
	* config/mips/elf.h (UNIQUE_SECTION): Ditto.
	* config/mips/elf64.h (UNIQUE_SECTION): Ditto.
	* config/mips/iris6gld.h (UNIQUE_SECTION): Ditto.
	* config/i386/interix.c (UNIQUE_SECTION): Ditto.
	* config/i386/winnt.c (UNIQUE_SECTION): Ditto.

2000-01-22  Bernd Schmidt  <bernds@cygnus.co.uk>

	* config/arm/arm.c (soft_df_operand): Reject SUBREGs containing a
	constant.

2000-01-21  Jim Wilson  <wilson@cygnus.com>

	* fixinc/inclhack.tpl: Test for directory before trying to cd into it.
	* fixinc/fixincl.sh, fixinc/inclhack.sh: Regenerate.

2000-01-21  Zack Weinberg  <zack@wolery.cumb.org>

	* cpphash.c (change_newlines): Delete function.
	(struct argdata): Delete 'newlines' and 'use_count' fields.
	(macroexpand): Remove code referencing those fields.

2000-01-22  Michael Hayes  <m.hayes@elec.canterbury.ac.nz>

	* loop.c (loops_info): New variable.
	(loop_optimize): Allocate loops->array and free it on exit.
	Allocate memory for loops_info and assign to each loop,
 	replacing alloca.  
	(find_and_verify_loops): Do not allocate loops->array.

2000-01-21  Zack Weinberg  <zack@wolery.cumb.org>

	* fixinc/fixfixes.c (machine_name_fix): Don't free 'scratch'.

2000-01-21  Jakub Jelinek  <jakub@redhat.com>

	* config/sparc/sparc.md (movsi_pic_label_ref): Avoid creating new
	pseudos if expanded after first flow.
	(movdi_pic_label_ref): Likewise.

2000-01-20  Richard Henderson  <rth@cygnus.com>

	* jump.c (jump_optimize_1): Don't do addr_vec optimizations at -O0.

2000-01-20  Zack Weinberg  <zack@wolery.cumb.org>

	* Makefile.in (fixinc.sh): Depend on specs.
        * fixinc/Makefile.in: Add rule to create machname.h.
        (fixlib.o): Depend on machname.h.
        * fixinc/fixtests.c (machine_name): New test.
        * fixinc/fixfixes.c (machine_name): New fix.
        * fixinc/fixlib.c (mn_get_regexps): New helper function for
        the machine_name test and fix.
        * fixinc/fixlib.h: Prototype it.
        * fixinc/inclhack.def (machine_name): Use the C test and fix.
	* fixinc/fixincl.x, fixinc/inclhack.sh: Rebuild.

        * gcc.c (do_spec_1) [case P]: Take care not to create
        identifiers with three leading or trailing underscores.

	* fixinc/Makefile.in (FIXINC_DEFS): Add -DIN_GCC.
	(fixincl): Don't specify libraries twice on link line.
	(gnu-regex.o): Remove special rule.
	* fixinc/gnu-regex.c: Define REGEX_MALLOC if C_ALLOCA was
	defined by config.h.  Do not define _REGEX_RE_COMP.
	(regcomp): Allocate and initialize a fastmap.
	* fixinc/gnu-regex.h: Do not define _REGEX_RE_COMP.

2000-01-20  Brad Lucier  <lucier@math.purdue.edu>

	* Makefile.in (predict.o): Depend on $(EXPR_H), not expr.h.

2000-01-19  Richard Henderson  <rth@cygnus.com>

	* flow.c (propagate_block): Replace FIRST, LAST and BNUM 
	arguments with BB.  Update all callers.  Tidy line wrapping.

2000-01-19  Clinton Popetz  <cpopetz@cygnus.com>

	* emit-rtl.c (try_split): Return last_insn if we split the 
	last_insn.

Thu Jan 20 01:01:23 MET 2000  Jan Hubicka  <jh@suse.cz>

	* i386-protos.h (ix86_compute_frame_size): Remove prototype.
	(ix86_initial_elimination_offset): Declare.
	* i386.c (ix86_nsaved_regs): Break out from ...
	(ix86_can_use_return_insn_p): ... here.
	(ix86_emit_save_regs): Break out from ...
	(ix86_expand_prologue): ... here.
	(ix86_emit_epilogue_esp_adjustment, ix86_emit_restore_regs): Break
	out from ...
	(ix86_expand_epilogue): ... here.
	(ix86_compute_frame_size): Make static, add prototype.
	(ix86_initial_elimination_offset): Break out from ...
	* i386.h (INITIAL_ELIMINATION_OFFSET): ... here.

2000-01-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* recog.h (OUT_FCN): Delete.

	* vax.md: Call `get_insn_template' instead of OUT_FCN.

2000-01-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
	
	* cppalloc.c: PROTO -> PARAMS.
	* cpperror.c: Likewise.
	* cppfiles.c: Likewise.
	* cpplib.c: Likewise.
	* cpplib.h: Likewise.

	* config/arm/arm-protos.h: PROTO -> PARAMS.
	* config/arm/arm.c: Likewise.
	* config/c4x/c4x.c: Likewise.
	* config/fr30/fr30-protos.h: Likewise.
	* config/nextstep.c: Likewise.
	* config/pa/pa.c: Likewise.
	* config/pj/pj.c: Likewise.
	* config/rs6000/rs6000.c: Likewise.
	* config/v850/v850-protos.h: Likewise.
	* config/v850/v850.c: Likewise.

2000-01-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* i370-protos.h: New file.

	* i370.c: Include tm_p.h.  Fix compile time warnings.
	
	* i370.h: Move prototypes to i370-protos.h.  Fix compile time
	warnings.
	
	* i370.md: Likewise.

2000-01-19  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* real.c (enan, einan, eiisnan, eiisneg, make_nan): Wrap in NANS.
	(target_isinf, target_isnan, eisnan): Mark parameter with
	ATTRIBUTE_UNUSED.
	(eiisinf): Wrap in INFINITY.
	(etoe113, etoe64, etoe53, etoe24): Wrap label `nonorm' in INFINITY.
	(ibmtoe): Remove unused variable `rndsav'.

Wed Jan 19 20:23:06 2000  J"orn Rennecke <amylaar@cygnus.co.uk>

	* sh.h (PASS_IN_REG_P): Remove extraneous paranthesis.
	(GO_IF_LEGITIMATE_ADDRESS): Added missing tab.

2000-01-19  Zack Weinberg  <zack@wolery.cumb.org>

	* fixinc/Makefile.in: Correct dependencies of fixincl and fixincl.o.
	* fixinc/fixfixes.c (IO_use, CTRL_use, IO_defn, CTRL_defn): New fixes.
	(fix_char_macro_defines, fix_char_macro_uses): New functions.

	* fixinc/fixlib.c (is_cxx_header): Do the text scan with a regexp.
	Recognize Emacs mode markers also.
	* fixinc/fixtests.c (else_endif_label): Fix bug in recognition of
	C++ comments in C++ headers.  Call is_cxx_header only if
	necessary.

	* fixinc/inclhack.def (avoid_bool): Add select for the problem and
	bypass for ncurses.
	(bsd43_io_macros, io_def_quotes, ioctl_fix_ctrl): Replace with...
	(io_def_quotes, io_use_quotes, ctrl_def_quotes, ctrl_use_quotes):
	... these, which use the new C fixes.
	(math_exception): Escape literal '+' in bypass expression.

	* fixinc/fixincl.x, fixinc/fixincl.sh, fixinc/inclhack.sh:
	Regenerate.

2000-01-19  Geoff Keating  <geoffk@cygnus.com>

	* rtlanal.c (reg_referenced_p): A CLOBBER of a MEM uses any REGs
	inside the MEM.

2000-01-20  Michael Hayes  <m.hayes@elec.canterbury.ac.nz>

	* loop.c (loop_optimize): Allocate loop_info structure for each loop
	prior to calling scan_loop.

Wed Jan 19 19:54:38 2000  J"orn Rennecke <amylaar@cygnus.co.uk>

	* sh.c (find_barrier, gen_block_redirect): Fix indentation.
	(split_branches, calc_live_regs): Likewise.

Wed Jan 19 19:12:36 2000  J"orn Rennecke <amylaar@cygnus.co.uk>

	* sh.md (fpu_single, fp_mode): New attributes.

2000-01-20  Michael Hayes  <m.hayes@elec.canterbury.ac.nz>

	* loop.c (current_loop_info): Renamed from loop_info_data
	and changed to a pointer.
	(loop_optimize): Allocate loop_info structure for each loop
	and initialise to zero.
	(scan_loop): Set current_loop_info.

	* unroll.c (loop_iterations): Don't abort if REG_USERVAR_P set
	on iteration_var.

2000-01-19  Richard Henderson  <rth@cygnus.com>

	* stupid.c: Die die die.
	* Makefile.in (OBJS): Remove stupid.o.
	(stupid.o): Likewise.

	* except.c (emit_eh_context): Don't emit USEs for stupid.
	* explow.c (probe_stack_range): Likewise.
	* flags.h (obey_regdecls): Remove.
	* flow.c (find_basic_blocks): Don't run try_merge_blocks
	when not optimizing.
	(life_analysis): Limit data collection when not optimizing.
	(mark_regs_live_at_end): Always mark the return value registers.
	(mark_used_regs): Remove dummy RETURN case.
	(print_rtl_with_bb): Don't consult obey_regdecls.
	* function.c (use_variable, use_variable_after): Remove.
	(assign_parms): Consult optimize not obey_regdecls.
	(expand_function_start): Don't emit USEs for stupid.
	(expand_function_end): Likewise.
	* global.c (build_insn_chain): Export.
	* integrate.c (expand_inline_function): Kill return-value USE
	handling code.
	* jump.c (jump_optimize_1): Do simple jump optimizations and
	dead code elimination.
	(calculate_can_reach_end): Remove check_deleted argument.
	(delete_insn): Patch out insns even when not optimizing.
	* local-alloc.c (block_alloc): Don't do tying when not optimizing.
	* rtl.h (use_variable, use_variable_after): Remove declarations.
	(build_insn_chain): Declare.
	* stmt.c (expand_value_return): Don't emit USEs for stupid.
	(expand_end_bindings): Likewise.
	(expand_decl): Likewise.  Consult optimize not obey_regdecls.
	* toplev.c (obey_regdecls): Remove.
	(rest_of_compilation): Don't set it.  Kill stupid in favour of
	flow1, local-alloc, and reload.
	(main): Don't set obey_regdecls.

	* config/nextstep.c (handle_pragma): Likewise.

	* alpha/alpha.md (allocate_stack): Don't emit USEs for stupid.

	* arm/arm.h (CONDITIONAL_REGISTER_USAGE): Don't fix reg 0 for stupid.

2000-01-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* alpha-protos.h: PROTO -> PARAMS.
	* alpha.c: Likewise.
	* elf.h: Likewise.
	* h8300.c: Likewise.
	* i386-protos.h: Likewise.
	* i386.c: Likewise.
	* m32r-protos.h: Likewise.
	* m32r.c: Likewise.
	* mips.c: Likewise.
	* mips.md: Likewise.
	* gmon-sol2.c: Likewise.
	* sparc.c: Likewise.

2000-01-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* ns32k-protos.h: New file.

	* ns32k.c: Fix compile time warnings.
	
	* ns32k.h: Move prototypes to ns32k-protos.h.  Fix compile time
	warnings.

	* ns32k.md: Likewise.

2000-01-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* vax-protos.h: New file.

	* vax.c: Fix compile time warnings.
	
	* vax.h: Move prototypes to vax-protos.h.  Fix compile time
	warnings.

	* vax.md: Likewise.

	* vaxv.md: Likewise.

2000-01-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* romp-protos.h: New file.

	* romp.c: Fix compile time warnings.
	
	* romp.h: Move prototypes to romp-protos.h.  Fix compile time
	warnings.

	* romp.md: Likewise.

2000-01-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* we32k-protos.h: New file.

	* we32k.c: Fix compile time warnings.
	
	* we32k.h: Move prototypes to we32k-protos.h.  Fix compile time
	warnings.

2000-01-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

	* calls.c (emit_call_1): Mark parameter with ATTRIBUTE_UNUSED.

	* except.c (eh_regs): Likewise.

	* final.c (output_operand): Likewise.

	* fold-const.c (target_isinf, target_isnan): Likewise.

Tue Jan 18 16:19:55 MET 2000  Jan Hubicka  <hubicka@freesoft.cz>

	* i386.h (BIGGEST_ALIGNMENT): Set to 128.
	(BIGGEST_FIELD_ALIGNMENT): Set to (TARGET_ALIGN_DOUBLE ? 64 : 32)

	* i386.md (memstr): Do not use rep stosb for counts divisible by 4
	when optimize_size.
	(clrstrsi): Rewrite.
	(strsethi, strsetqi): New expanders.
	(strsethi_1, strsetqi_1, rep_stossi, rep_stosqi): New insn patterns.
	(cmpstrsi): Emit compare insn before cmpstrsi_1
	(cmpstrsi_nz): use flags, set type to str, prefix_length to 1.
	(strlensi_1): Likewise.
	(cmpstrsi_1): Likewise; do not output compare.
	(strlen expander): Do not unroll when optimizing for size.
	(*subsi3_carry): Rename to subsi3_carry
	(addqi3_cc): New pattern.
	* i386.h (processor_costs): Add move_ratio field.
	(MOVE_RATIO): Use move_ratio field, set to 3 for OPTIMIZE_SIZE
	* i386.c (*_cost): Set move_ratio.
	(x86_unroll_strlen): Enable for Athlon, PPro and K6 too.
	(x86_expand_strlensi_1): Rewrite the main loop.

2000-01-17  Richard Henderson  <rth@cygnus.com>

	* combine.c (combine_simplify_rtx): Give FLOAT_STORE_FLAG_VALUE a mode.
	* cse.c (find_comparison_args, fold_rtx): Likewise.
	* integrate.c (subst_constants): Likewise.
	* loop.c (get_condition): Likewise.

	* tm.texi (FLOAT_STORE_FLAG_VALUE): Update docs.

	* alpha.h (FLOAT_STORE_FLAG_VALUE): Use REAL_VALUE_ATOF.