changelog.2

早期freebsd实现

	* expr.c (expand_builtin, case BUILTIN_FFS): Get mode for arg from
	tree, not rtx, in case arg was CONST_INT.

Thu Dec 20 17:31:46 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* c-decl.c (init_decl_processing): Don't define `ffs'.

Wed Dec 19 16:59:38 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* gcc.c (main): Handle if SIGPIPE not defined.

	* cccp.c (xmalloc, xrealloc, xcalloc): Don't declare malloc or realloc.

Wed Dec 19 06:50:17 1990  Richard Kenner  (kenner at vlsi1.ultra.nyu.edu)

	* combine.c (gen_lowpart_for_combine): Avoid making a nested SUBREG
	when we are being passed a paradoxical SUBREG of MEM.

	* cse.c (new_basic_block): Compilations spend about 5% of their time
	in this function so replace loop initializing qty_{first,last}_reg
	with copy from a larger consec_ints.  Only loop over extra entries.
	(cse_main): Allocate consec_ints to be default size of max_qty large.

	* reorg.c (get_branch_condition): Fix typos when reversing condition.
	(condition_dominates_p): Fix typo in comparison.
	(redundant_insn_p): This function was taking about 4% of the
	compilation time.  Rework so it doesn't split, only looks at resource
	usage if it finds a matching insn (since it usually won't), and
	improve code that looks at resources.  Now takes about 0.5% of
	compilation time.
	(fill_simple_delay_slots): Always call mark_target_live_regs with an
	active insn; currently being called with a CODE_LABEL.

Tue Dec 18 14:08:11 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* out-sparc.c: Fix uninitiated comment.

	* final.c (end_final): Call strip_off_ending to remove the file
	name suffix.
	(final_start_function): Execute SDB_DEBUGGING_INFO code only if
	generating SDB symbol info.

	* Makefile.in (cccp.o): Depend on gcc.

	* tm-sparc.h, xm-sparc.h: Make this machine big-endian.

	* expr.c (expand_builtin): Pass correct arguments to gen_cmpstrsi4.

	* recog.c (nonmemory_operand): Reject reg whose class is NO_REGS.

	* c-decl.c (finish_struct, grokdeclarator):
	Strip NON_LVALUE_EXPR more than once.

	* combine.c (combine_instructions): Check that a jump insn uses CC0
	before trying to combine it with an insn that sets CC0.

	* cplus-decl.c, cplus-search.c, gcc.c, objc-actions.c, rtl.c, stmt.c,
	symout.c, toplev.c: Use xmalloc instead of malloc.

	* cccp.c (do_include): Check for truncation of precompiled file name.

Mon Dec 17 16:53:46 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* c-typeck.c (build_binary_op_nodefault, build_conditional_expr):
	Fix indentation.
	* reload1.c (choose_reload_regs): Fix indentation.
	(gen_input_reload): Fix typo in comment.

	* reload.c (find_reloads): Call abort when the last operand is
	marked commutative, to make it easier to find this error.

	* rtlanal.c (refers_to_regno_p): Don't crash if X is 0.

Mon Dec 17 15:29:34 1990  Richard Kenner  (kenner at vlsi1.ultra.nyu.edu)

	* local-alloc.c (combine_regs): No need to see if suggested hard reg
	is suitable; if it isn't, it won't end up being used.  Existing tests
	were too conservative.

	* jump.c (delete_jump): When searching for the SET of the condition
	codes for a jump insn, give up if we hit a SEQUENCE.

Mon Dec 17 02:14:06 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* c-typeck.c (c_size_in_bytes): New function.
	(pointer_int_sum, pointer_diff): Use that.
	(pointer_diff): Handle warn_pointer_arith.

Sun Dec 16 22:27:11 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* c-decl.c (start_decl): Ignore with error any init for a parm.
	(finish_decl): Likewise.

Sun Dec 16 01:02:57 1990  Michael Tiemann  (tiemann at cygnus.com)

	* jump.c (rtx_equal_for_thread_p): Treat the special CC register as
	equivalent for the two threads we are looking at.

	* combine.c (try_combine): Fix typo in loop over I1 with PARALLEL
	body.  Also, don't test HARD_REGNO_MODE_OK for hard registers we are
	thinking about combining.  This screws up using registers to
	represent the condition codes, and probably doesn't save anything in
	the general case.

	* expmed.c (expand_and): Comment says that result is always stored
	in target, so the code now does this.

Sat Dec 15 18:09:46 1990  Michael Tiemann  (tiemann at cygnus.com)

	* loop.c (get_condition): Try a little harder to find the setter of
	the register used in a conditional test.  On the SPARC it is vital
	to either find the setter of the register used for the condition
	codes or for this function to return 0.	 Also, have test for
	non-NULL, matching `set' govern both normal and reversed cases of
	comparisons.

	* jump.c (jump_optimize): When moving USE insns from before jumps to
	after BARRIERs, put the label for the redirected jump after the
	BARRIER instead of just before the PREV_INSN of the original target.
	This gets around problems when there are NOTEs between the BARRIER
	and the original target.
  
Sat Dec 15 10:16:29 1990  Michael Tiemann  (tiemann at cygnus.com)

	* sparc.md (cmpdf,cmpsf): No longer a define expand.  Now depends
	on fp zero being loaded into a register.
	(tstsi,tstdf,tstsf): Deleted.
	(seq,sne): Fail if we are not testing operands of integer mode.
	(movsi): Split recognizers into two parts.  The first handles
	[reg,mem,zero] <=> [reg,mem]; the second handles [reg,const] =>
	[reg].
	(adddf,subdf,negdf): Simplify output routines using 'R' as an
	output letter.
	(tail_call): Turn this off.  It is never used, and it depends on
	routines which are about to become broken.
	(various places): Add USE_CC attribute where appropriate.
	(various places): Change (use (reg:SI 0)) to (clobber (reg:SI 0))
	and delete CC_CLOBBER attribute from the pattern.
	* out-sparc.c (move_operand): No longer recognize certain
	immediates as a `move_operand'.
	(move_reg_or_immed_operand): New recognizer for immediates no
	longer recognized by `move_operand'.
	(output_pic_sequence*): Turned off.
	(sparc_address_cost): Simplified, since the value returned is not
	used if the address is not legitimate.
	(emit_move_sequence): Use `gen_lowpart' instead of building
	SUBREGs explicitly.
	(make_f30_contain_zero): Deleted.
	(output_tail_call): Turned off.
	* tm-sparc.h (PRINT_OPERAND): Recognize 'R' code letter, which
	means print the name of REGNO (X)+1.  No longer recognizes the 'G'
	letter.
	(PRINT_OPERAND,PRINT_OPERAND_ADDRESS): Replace various calls to
	fprintf with calls to fputs or fputc.
	(FINAL_PRESCAN_INSN): No longer defined.

Sat Dec 15 14:37:51 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* recog.c (offsettable_address_p): Check validity in narrower modes.

Sat Dec 15 11:21:55 1990  Tom Wood  (wood at dg-rtp.dg.com)

	* syms.h sdbout.c (T_VOID): Ensure that T_VOID is provided a
	default meaning if <syms.h> is used.

Fri Dec 14 14:39:10 1990  Tom Wood  (wood at dg-rtp.dg.com)

	* m88k.md (increment and test peephole): Updated so it would apply
	with the new method for doing cmpsi/bxx.
	* m88k.md (function units): Replace decode with alu and update
	accordingly.
	* out-m88k.c (emit_test): Add a mode parameter.
	* tm-m88k.h (GO_IF_LEGITIMATE_ADDRESS): Constrain how the arg
	pointer can be used.

Fri Dec 14 06:48:07 1990  Richard Kenner  (kenner at vlsi1.ultra.nyu.edu)

	* expr.c (convert_move): Add missing argument to some recursive calls.

	* jump.c (invert_jump): Pass new label to recursive call.

	* expr.h (setcc_gen_code): Replaces setcc_gen_fctn; stores insn_code.
	(expand_and, emit_store_flag, label_rtx): Add definitions.
	(get_condition, compare_from_rtx): Likewise.
	* rtl.h	 (STORE_FLAG_VALUE): Provide a default value of 1.
	(reg_set_last): Add definition.
	(const_true_rtx): New variable.
	* cse.c: Remove defaulting of STORE_FLAG_VALUE from here.
	(const_true_rtx): Remove static version; now global.
	* emit-rtl.c (const_true_rtx): Define here.
	(gen_rtx): Return const_true_rtx for CONST_INT of STORE_FLAG_VALUE.
	(init_emit_once): Initialize const_true_rtx.
	* expmed.c (emit_store_flag): Rewritten.  Is passed the operands
	to compare in addition to the compare operation and emits both the
	comparison and the store-flag insn.
	Handles special-case of testing for A < 0 and A >= 0.
	If result is constant, just return it.
	Accepts an argument saying how to normalize the result and does
	appropriate normalization.
	Give preference to using the sign bit rather than the low-order bit.
	Allow sxx insns to fail.
	If don't have seq or sne insns, can sometimes do with abs.
	* expr.c (expand_expr, case COND_EXPR): For X ? A + 1 : A, only
	do store_flag if it is cheap.
	(do_jump): True comparisons return STORE_FLAG_VALUE, not 1.
	(compare_constants): Correctly handle unsigned comparisons.
	Return STORE_FLAG_VALUE, not 1, for true comparison.
	(compare_from_rtx): New name for compare1.
	Accept size and alignment, for BLKmode.
	No longer statuc.
	(compare, compare_from_rtx): No need to pass forward and reverse codes;
	can trivially derive the reverse code from the forward one.
	All callers changed.
	If one operand is constant, make it the second one.
	(compare): Let compare1 do most of the work.
	(do_store_flag): Rewritten, now lets emit_store_flag do most of
	the work.
	Handles the special-case of comparing a single bit with zero.,
	Add additional argument ONLY_CHEAP; if non-zero, fail if it looks like
	this will be an expensive operation; all callers changed.
	If it looks like it will be possible to do a store-flag operation,
	call emit_store_flag; if it can't do it, emit as assignments and a
	jump.  If it doesn't look possible to do a store-flag operation, return
	zero before expanding anything.
	* final.c: (final_scan_insn): Don't check STORE_FLAG_VALUE; if the
	insn doesn't exist, we won't try to change it.
	* genemit.c (gen_exp): Use const_true_rtx when appropriate.
	* genrecog.c (add_to_sequence): Likewise.
	(try_merge_1): Two nodes aren't identical if they are to test
	different modes or if they have different values of EXACT.
	* integrate.c: Don't supply a default value for STORE_FLAG_VALUE here.
	* jump.c: Now includes expr.h (for emit_store_flag and get_condition).
	(jump_optimize): Split optimization that made store-flag insn
	into three separate optimizations, the first two of which are useful
	even in the absence of store-flag operations.
	(can_reverse_comparison): Set and use of cc0 must be immediately
	adjacent.
	(mark_jump_label): Abort if LABEL_REF codesn't contain a CODE_LABEL.
	Consider two labels adjacent after reload if separated by just USE or
	CLOBBER insns.
	* loop.c: Now includes real.h.
	(get_condition_for_loop): New function.	 All callers of get_condition
	in this file now call this function.
	(strength_reduce): no_labels_between_p now skips FROM.
	(get_condition): No longer static.
	Refine cases when we can't reverse a comparison operation.
	* optabs.c (init_optabs): Initialize and define setcc_gen_code
	instead of setcc_gen_fctn.
	* rtlanal.c (no_labels_between_p): Skip FROM, like as ..._between_...
	functions do.
	(no_labels_between): Deleted.
	(reg_set_last, reg_set_last_1): New functions.
	* Makefile.in (jump.o): Now include expr.h.
	(loop.o): Now includes real.h.

	* c-tree.h (int_ftype_cptr_cptr_sizet, ptr_ftype_ptr_cptr_sizet):
	New names.

	* alliant.md, i386.md, m68k.md, m88k.md, ns32k.md, sparc.md: Add mode
	to comparison operators (EQ, NE, etc.) to agree with the mode of the
	destination.
	* out-m88k.c (emit_test): Likewise.

Fri Dec 14 00:12:46 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* c-decl.c (finish_struct): Strip NON_LVALUE_EXPR from field width.

Thu Dec 13 13:10:47 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* cplus-init.c (expand_vec_init): Add missing arg to
	expand_exit_loop_if_false.

	* config.gcc (tron): Alias for gmicro.

	* c-decl.c (int_ftype_cptr_cptr_sizet): Variable renamed.
	(ptr_ftype_ptr_cptr_sizet): Likewise.

	* gcc.c (default_compilers): Handle .C.

	* Makefile.in (enquire.o): Add -I. so can find stddef.h.
	(install-cross): Install cc1obj like the others.

	* Makefile.in (gnulib.target): Renamed from gnulib.
	(gnulib): Renamed from tmpgnulib.  Rename that file in this rule.
	Also delete stamp-gnulib2 here.
	(gnulib.portable, gnulib.convert): Input now is named gnulib.
	(GNULIB_TARGET, GNULIB2_TARGET): Define these vars (already in use).
	(gnulib2.target): Renamed from gnulib2.
	(gnulib2): New rule, alias for gnulib2.target.

	* local-alloc.c (local_alloc): Cast an enum used as index.
	* optabs.c (emit_indirect_jump): Likewise.
	* reload1.c (choose_reload_regs): Likewise.

Thu Dec 13 12:38:31 1990  Richard Kenner  (kenner at vlsi1.ultra.nyu.edu)

	* expmed.c (store_bit_field): Verify that operand 1 of movstrict
	satisfies its predicate.

Wed Dec 12 17:26:21 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* gvarargs.h: Avoid duplicate inclusion using _VARARGS_H.

Wed Dec 12 14:11:30 1990  Tom Wood  (wood at dg-rtp.dg.com)

	* tm-m88k.h, out-m88k.c, m88k.md: Eliminated the fixed condition
	code register.	As a temporary measure, NOTICE_UPDATE_CC is used
	to track swapped cmpsi cases.

	* m88k.md (shift patterns): Deal with TARGET_*_LARGE_SHIFT
	uniformly with define_expand.  Make gen_lshlsi3 generate ASHIFT
	and eliminate the optimization patterns using ASHIFT.  Eliminate
	other optimization patterns that will be handled by combine.

Tue Dec 11 22:13:48 1990  Richard Stallman  (rms at mole.ai.mit.edu)

	* expr.c (convert_move): With slt, handle dest that's