--- gcc/ChangeLog 2018/04/24 16:48:08 1.1.1.12 +++ gcc/ChangeLog 2018/04/24 16:51:40 1.1.1.15 @@ -1,3649 +1,1868 @@ -Wed Dec 21 02:46:34 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Wed Apr 26 02:44:59 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * Version 1.32 released. + * Version 1.35 released. - * toplev.c (main): Vax pcc enforces goto-less programming - with fatal error. + * c-decl.c (grokdeclarator): Use INT_CST_LT only on int constants. - * stmt.c (fixup_memory_subreg): New arg INSN says where to emit insns. - (walk_fixup_memory_subreg): Likewise. All callers changed. +Tue Apr 25 15:47:11 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Tue Dec 20 01:26:56 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * reload.c (find_reloads_address_1): Always return a value. - * c-decl.c (start_function): Don't clear TREE_PERMANENT in fn decl. - Make the result decl a permanent node. - (finish_function): Don't clear DECL_RESULT in an inline function. - (duplicate_decls): Don't lose DECL_RESULT or DECL_SAVED_INSNS - or old decl, when defn is followed by redeclaration. - Likewise DECL_ARGUMENTS and DECL_RESULT_TYPE. + * flow.c (mark_set_1): Look inside zero_extract, sign_extract. - * stmt.c (expand_function_end): End any sequences left unterminated. + * expr.c (emit_library_call) [STACK_ARGS_ADJUST]: + Fix typo for `struct args_size'. - * cse.c (predecide_loop_entry): If "loop" has no label, do nothing. +Mon Apr 24 00:12:18 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * recog.c (asm_noperands): Now return -1 if not that kind of insn. - All callers changed. - * combine.c (check_asm_operands): Calling changes not quite trivial. - * final.c (final): Likewise. - * reload.c (find_reloads): Likewise. - * recog.c (asm_noperands): Other changes: - Loop computing # of SETs in a PARALLEL was off by 1. - Validate all elts of any PARALLEL, to block invalid combinations. - - * ns32k.md (andsi3, andhi3): Make new CONST_INTs; don't clobber old. - - * integrate.c (copy_rtx_and_substitute): When looking in `parm_map', - if our mode mismatches parm's mode, use change_address to extract part. - On BYTES_BIG_ENDIAN machines, adjust the offset. - -Mon Dec 19 23:50:14 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * cexp.y ('/' and '%' ops): If divide by 0, print error, don't die. - -Sun Dec 18 14:03:02 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * toplev.c (main): Avoid shadowing I in inner block. - - * flow.c (propagate_block): The insn at the end of a libcall - may be dead, but the libcall might still be needed if the - hard return reg is used later. Detect this case. - (libcall_dead_p): New fn used to check that the libcall is dead. - - * output-m68k.c, tm-m68k.h (standard_sun_fpa_constant_p): Fn renamed. - -Sat Dec 17 13:23:51 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * stmt.c (expand_end_bindings): error_with_file_and_line => ..._decl. - - * combine.o (try_combine): Accept combination making a valid - asm with operands. - (check_asm_operands): Recognize asm with operands that are valid. - - * loop.c (strength_reduce): Don't accept a reg as a giv - if the reg was made by loop-optimize. - - * stmt.c (balance_case_nodes): A list of 3 always splits in middle. - -Fri Dec 16 17:22:07 1988 Tiemann (rms at sugar-bombs.ai.mit.edu) - - * sparc.md (fetch from constant address): Split into two patterns, - one fixed point and one floating. - (store at constant address): Handle remembered hi-half differently. - Other bug fixes. - (fix_truncsfsi2): Use f1, not f0, as temp. - (fix_truncdfsi2): Don't clear CC_F1_IS_0. - - * output-sparc.c (singlemove_string): Changed handling of case - where op1 is not memory and op0 has varying address. - (output_fp_move_double): Avoid reloading high half address - in the ldd and std cases with constant address. - (make_f0_contain_0): Handle f0 and f1 individually. - - * tm-sparc.h (GO_IF_LEGITIMATE_ADDRESS): CONST is now illegitimate. - - * rtl.c (note_stores): Pass entire SET rtx, not flag, as 2nd arg to FN. - * local-alloc.c (reg_is_set): New type for 2nd arg. - - * Makefile: Comment out cc1plus, since not ready for release. - -Thu Dec 15 16:39:47 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * local-alloc.c (reg_is_set): If a hard reg is clobbered, make it free - before and after the insn. - * stupid.c (stupid_mark_refs): Likewise. - * global-alloc.c (global_conflicts): Likewise. - Use note_stores to call mark_reg_{store,clobber}. - (mark_reg_store): Changed calling conventions - All work done on set/clobbered regs is now done here. - Ignore CLOBBERs. - (mark_reg_clobber): Similar fn, but ignore SETs and handle CLOBBERs. - (regs_set, n_regs_set): New static vars for comm. among the above. - - * stmt.c (expand_asm_operands): call protect_from_queue on operands. - This requires preexpanding the outputs into a vector of rtx's. - - * Makefile (install): cd to $(libdir) before ranlib. - - * c-typeck.c (c_expand_asm_operands): emit_queue at the end. - - * reload.c (find_reloads): Count # alternatives properly for - an asm insn, and check that all operands correspond. - - * loop.c (verify_loop): Reject loops containg setjmps. - * cse.c (cse_main): Don't cse across a call to setjmp. - - * expr.c (expand_expr): Permit any non0 DECL_RTL for a VAR_DECL. - - * stmt.c (balance_case_nodes): Count ranges double when balancing. - -Wed Dec 14 13:50:45 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * final.c (output_addr_const): Output just `-', not `+-'. - - * make-cc1.com: Update filenames changed to `c-'. - * make-cccp.com: Pass needed -D options when compiling cccp.c. - Use /nomap when linking. - - * loop.c (strength_reduce): Paraphrase setting NEW_REG, for Iris cc. - - * output-m68k.c (output_move_const_single): %'s must be doubled twice. - - * loop.c (record_giv): A giv can be replaceable if its uses are - all in the same basic block as its sole setting. - (last_use_this_basic_block): Subroutine to test that. - -Tue Dec 13 13:41:57 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * expr.c (do_store_flag): Allow for COMPARISON to be a const_int. - - * c-decl.c (pushdecl): Warn if type mismatch with another external decl - in a global scope. - - * fixincludes: Fix typo in msg of deleting unchanged file. - - * Makefile (insn-*): Use two-step rules with a separate time-stamp file - to avoid rerunning gen* unless md has changed again. - -Mon Dec 12 13:32:05 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * i386.md (tstsf, tstdf, cmpsf, cmpdf): Use fnstsw, not fstsw. Faster. - - * tm-vax.h (ASM_OUTPUT_REG_POP): Use correct asm syntax for pop insn. - - * combine.c (subst): Handle (subreg (mem)) by making a changed mem. - This avoids producing any (subreg (mem))s except in the special - case they are supposed to be made here. - Also set undo_storage in a couple of cases that forgot to. - - * reload.c (push_reload): When handling (SUBREG (MEM)) for IN, - if there is an OUT, make that a separate reload. - Return its number in `output_reloadnum' - (find_reloads): When pushing matching-reloads, note that the - two operands can have different reload-numbers. - - * tm-3b1.h (ASM_OUTPUT_CASE_END): Test flag on TABLE, not its pattern. - (ASM_OUTPUT_CASE_LABEL): If /i flag set, don't output the dummy entry - since the fetcher-insn will not be off by 2 in this case. - * m68k.md (casesi_2 recognizer): For 3b1 syntax, compensate for that. - -Sun Dec 11 12:51:49 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * genrecog.c (try_merge_2): No longer put all explicit decompositions - before all predicates. Patterns are now tested in the order written. - * vax.md: Move the push-or-move-address patterns to the end. - * m68k.md: Move load-address pattern to end. - Rearrange the special-case movsi patterns. - * ns32k.md: Move special load-reg-17 pattern before movsi. - * i386.md: Move the QI and DI push patterns to logical places. - This should not actually change anything. - - * stmt.c: Add Andy Hitchins's binary-tree case statement code. - (struct case_stmt): case_list field is now a case_node chain. - Replace has_default field with default_label field. - (pushcase, pushcase_range): Build case_list in its new type, - and keep it sorted. - (expand_end_case): Use case_list in its new type. - Count a range of > 1 as two cases, when choosing strategy. - (group_case_nodes, balance_case_nodes): New fns, rearrange case_list. - (node_has_{low,high}_bound, node_is_bounded): New fns test - relationships of values of various case_list tree nodes. - (emit_jump_if_reachable): New fn. - (emit_case_nodes): Emit compares and jumps based on tree of case_list. - - * cccp.c (finclude): Handle nonordinary files (stat doesn't give size). - - * tm-3b1.h (PRINT_OPERAND_ADDRESS): Handle case of breg and no ireg. - -Sat Dec 10 16:30:32 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * sparc.md (movstrsi): Separate define_expand and define_insn; - clobber some pseudos to get temp regs to use in the output. - * output-sparc.c (output_block_move): Use those temp regs, - guaranteed to be free. - - * sparc.md (andcc patterns for bitfields from memory): - Test immed. arg for being in range. - (load DFmode constant): Use %m for output in one case. - * output-sparc.c (singlemove_string, output_move_double): Likewise. - - * output-sparc.c (singlemove_string): New case for mem-to-mem move. - -Fri Dec 9 11:42:15 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * stupid.c (stupid_mark_refs): for CLOBBER of a pseudo, - it is born just before this insn and dies just after. - - * tm-vax.h (NOTICE_UPDATE_CC): For aob, sob insns, forget the cc's. - - * basic-block.h (REG_BLOCK_UNKNOWN, REG_BLOCK_GLOBAL): Move defn here. - * local-alloc.c: Use them. - - * c-decl.c (store_parm_decls): Additional explanatory message - for some prototype mismatches. - - * gnulib.c (SItype): New macro used instead of `int' - for SImode operands and values. Definition is `long int'. - -Thu Dec 8 18:45:48 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * reload.c (operands_match_p): Move the label `slow' so that - it doesn't cause a REG and a SUBREG to be compared wrong. - - * toplev.c (compile_file): Output a label `gcc_compiled.' for GDB. - If new macro ASM_IDENTIFY_GCC is defined, run that instead. - * tm-3b1.h (ASM_IDENTIFY_GCC): Define this as no-op. - -Wed Dec 7 12:20:42 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * i386.md (adddf3): Typo: paren was in a constraint. - - * c-decl.c (grokparms): Avoid duplicate msgs for incomplete type ptrs. - - * gnulib.c: Rename all fns to start with `__'. - * optabs.c, expr.c: Rename all references. - - * gnulib.c (__cmpdi2, __ucmpdi2): New fns. - * optabs.c (emit_cmp_insn): Use them. - - * Makefile (stage*): Ignore errors on the main `mv' (for cc1plus). - Run ranlib if we have to copy gnulib. - - * expmed.c (expand_divmod): Split `label' into several local vars. - - * jump.c (jump_back_p): Do nothing unless cc's were set from integers. - -Tue Dec 6 12:00:21 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * c-parse.y (extend_token_buffer): Use xrealloc, not realloc. - - * integrate.c (output_inline_function): fix args of expand_function_end - (expand_inline_function): Add missing arg to expand_end_bindings. - - * cse.c (cse_insn): Add missing MODE arg to canon_hash. - - * reload1.c (reload_as_needed): Del. extra arg of choose_reload_targets - (reload): Add missing MODE arg to immediate_operand. - - * expmed.c (expand_mult): Delete extra arg to expand_unop. - - * c-typeck.c (default_conversion): - Add missing NOCONVERT arg to build_unary_op. - - * c-decl.c (duplicate_decls, finish_struct): Add missing arg - KNOWN_ALIGMENT to layout_decl. - * stor-layout.c (layout_record): Likewise. - * varasm.c (assemble_variable): Likewise. - - * dbxout.c (dbxout_init): Add missing LOCAL arg to dbxout_symbol. - - * expr.c (clear_storage): Remove excess arg to emit_move_insn. - - * loop.c (consec_sets_invariant_p): Add parens in hairy if-condition. - - * fold-const.c (fold): Typo, missing `case'. - - * cccp.c (main): Typo handling `-I-' option. - - * tm-i386.h (NO_FUNCTION_CSE): Define this; cse is said to slow - things down with less than 7 calls. - - * stmt.c (fixup_var_refs_insn): When scanning the reg-notes, - don't touch other insns they point at. - - * expr.c (do_jump): Use invert_exp, not reverse_condition, - to invert sense of a jump. - * jump.c reverse_condition now static, invert_exp now global. - -Mon Dec 5 10:51:39 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * tm-sun386.h (ASM_FILE_START): In the .file arg, exclude directories. - - * stmt.c (expand_expr_stmt): If -W, warn if stmt has no side effect. - - * cccp.c (monthnames): Capitalize each name. - - * rtl.def: New code MATCH_OPERATOR. - * genconfig.c (walk_insn_part): Handle it. - * genextract.c (walk_rtx): Handle it. - * genpeep.c (match_rtx): Handle it. - * genrecog.c (add_to_sequence): Handle it. - * genemit.c (max_operand_1, gen_exp, gen_expand): Handle it. - * genoutput.c (scan_operands): Handle it. - (insn_n_alternatives): New array in the output. - (struct data): New slots n_alternatives and op_n_alternatives. - (scan_operands, gen_insn, gen_peephole): - Record op_n_alternatives for each operand. - (output_epilogue): Verify that all operands have same # of alternatives - Also output insn_n_alternatives. - - * reload.c (find_reloads): use insn_n_alternatives to control - the loop over all alternatives. - An empty constraint or empty alternative in a constraint - is always satisfied. - * recog.c (constrain_operands): Likewise. - - * c-decl.c (lang_decode_option): For each -f option, recognize a form - with `no-' and a form without, as contraries. - - * toplev.c (main): Decode -f options using a table - so that each option automatically has a `no-' variant. - - * combine.c (try_combine): Give up if I1 or I2 follows a compare insn. - -Sun Dec 4 12:00:36 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * varasm.c (data_section): If flag_shared, use SHARED_SECTION_ASM_OP - if that is defined. - - * cccp.c (include_default): Add /usr/local/include. - - * Makefile (install): Install the makefile. - - * varasm.c (assemble_external): New fn to declare an external. - (assemble_variable): Output nothing for externals. - * c-parse.y (primary => identifier): Call assemble_variable on 1st use. - - * toplev.c (main): Print version info on stderr, not stdout. - * tm-*.h (TARGET_VERSION): Likewise. - - * tm-isi68.h, tm-news800.h: Rename __HAVE_FPU__ to __HAVE_68881__. - - * sparc.md (seq, etc): Entire page rewritten by Tiemann - to avoid incorrect use of PARALLEL. - * output-sparc.c (gen_scc_insn): Corresponding changes. - -Sat Dec 3 00:03:19 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * gcc.c (do_spec_1): %P is an ANSIfied form of %p: - put __ at beg and end of each predefined macro name. - - * tm-sun3.h (CPP_SPEC): Don't define -Dmc68010, etc., if -ansi. - * tm-sun2.h (CPP_SPEC): Likewise. - - * c-decl.c (shadow_tag): Don't complain if declare a new tag - at top level, or if redeclare a tag. - - * c-decl.c (grokparms): Warn if parm points to incomplete type. - (We already err if its own type is incomplete.) - - * stmt.c (fixup_var_refs_insns): Fix any (SUBREG (MEM)) in REG_NOTES. - (walk_fixup_memory_subreg): New subroutine used for this. - - * integrate.c (copy_rtx_and_substitute): Handle MEM refs to the middle - of a stack-parm--at least in the case of reading the parm. - - * rtl.c (rtx_equal_p): REG_FUNCTION_VALUE_P is significant - only until end of reload pass. - * toplev.c (rest_of_compilation): - Control that by setting new var rtx_equal_function_value_matters. - - * c-decl.c (init_decl_processing): Don't declare the builtins - that aren't really implemented. - - * output-sparc.c (output_move_double): "in structure" implies - 8-byte alignment only for DFmode, not for DImode. - - * final.c (output_operand_lossage): Cleaner text for error msg. - No longer need to write text into .s file, now that linenum is correct. - - * c-decl.c (pushdecl): -traditional stops warning - about "declared extern, later static". - - * c-typeck.c (build_indirect_ref): Don't handle flag_volatile here. - * expr.c (expand_expr): Handle it here, in INDIRECT_REF case. - This prevents -fvolatile from causing additional warnings. - - * output-sparc.c (output_load_address): Allow REG+REG for operands[3]. - - * m68k.md (movsi): If we output the label LIn, - set the RTL_INTEGRATED flag in the switch table's pattern. - * tm-3b1.h (ASM_OUTPUT_CASE_END): Define LD%n only if LI%n was output. - - * i386.md (push-and-add pattern): Comment it out. - It's said to result in slower code. - - * i386.md (tstqi, tsthi, tstsi): Output real `test' insn if op is reg. - - * i386.md (push for DI): Allow `oiF' for 2nd operand. - -Fri Dec 2 13:57:35 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * i386.md (movdi): Allow F constraint for 2nd operand. - - * i386.md (push for QI): define pattern to push a QImode - which really uses pushw and therefore really pushes a halfword. - * tm-i386.h (PUSH_ROUNDING): Round up to multiple of 2. - - * gcc.c (do_spec_1): Handle %e, which means report an error. - Use it to prohibit -pg with -fomit-frame-pointer. - - * tree.h (DECL_RESULT_TYPE): New field in FUNCTION_DECL holds the type - of the widened returned value (not nec. the declared return type). - * c-decl.c (start_function): Set DECL_RESULT_TYPE. - * integrate.c (expan_inline_function): Use that, not DECL_RESULT. - -Thu Dec 1 16:44:10 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * cse.c (fold_rtx): When reordering constant args, insist on - manifest constants; regs with known contents won't do. - - * i386.md (mulsi3): Don't use rtx_equal_p to compare regs. - - * expr.c (move_by_pieces_1): Don't call change_address - if address is autoinc, since that may not be memory_address_p. - Subroutine-macro add_offset deleted. - - * optabs.c (bcc_gen_fctn, setcc_gen_fctn): Moved to this file. - (init_optabs): Init those tables here. - * expr.c (init_conditions): Not here. - - * stmt.c (assign_stack_local): Make a list of all stack slots. - * emit-rtl.c (unshare_all_rtl): Unshare all the stack slots. - - * final.c (final): Handle BARRIER with ASM_OUTPUT_ALIGN_CODE. - * tm-ns32k.h (ASM_OUTPUT_ALIGN_CODE): Align to 4-byte bdry. -?? * tm-sequent.h (ASM_OUTPUT_ALIGN_CODE): Override: just 2-byte bdry. - - * tm-m68k.h (PRINT_OPERAND): use new macros to print floats. - (ASM_OUTPUT_FLOAT_OPERAND): New macro. - (ASM_OUTPUT_DOUBLE_OPERAND): New macro. - * tm-sun3.h: Override those macros, to check for infinities. - -Wed Nov 30 06:35:47 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * tm-ns32k.h (FUNCTION_{PRO,EPI}LOGUE): if no frame pointer, - do explicit push or pop insns. - - * tm-genix.h (PRINT_OPERAND): Fix typo `file'. - Extedn decl for paren_base_reg_printed. - (MAIN_FUNCTION_PROLOGUE): Deleted. - (ASM_OUTPUT_EXTERNAL): Defined. - - * c-parse.y (yyerror): Better error msg for unprintable char in token. - (primary => identifier): Set TREE_USED if implicit decl made. - - * Makefile (cleanlinks): New target. - (INSTALL): New variable, has program used for installing files in sys. - - * output-ns32k.c (print_operand_address): If addr is sum of 2 consts, - output ADDR first, then OFFSET. - - * ns32k.md (addsi3): Allow adding const+reg with result in another reg. - - * tm-seq386.h (FUNCTION_PROFILER): Provide overriding definition. - - * tm-hp9k320.h: Alternate ASM_SPEC if using GAS. - Define STANDARD_STARTFILE_PREFIX if using GAS. - (FUNCTION_PROLOGUE): on 68020 for big stack frame use link.l. - - * gcc.c (STANDARD_STARTFILE_PREFIX): New cust. macro replaces `/lib/'. - - * va-sparc.h, va-spur.h: Prefix non-interface identifiers with `__'. - - * optabs.c (init_optabs): Don't set up libcalls for ftrunc_optab - because (1) they aren't supported and (2) they are never used. - - * gnulib.c (__builtin_saveregs): If not sparc, define the symbol anyway - to avoid a warning in ranlib. - -Mon Nov 28 01:46:12 1988 Michael Tiemann (mdt at choctaw) - - * c-parse.y (yylex): Typo, `=' for `==' making wide strings. - - * sparc.md (various places): make sure that all patterns which store - can store using const0_rtx (i.e., make all operands to `st' %rx). - - * output-sparc.c (various places): changed dispatches on SYMBOL_REF - to dispatches on CONSTANT_ADDRESS_P since we now recognize any CONST - (and not just SYMBOL_REFs). Don't recognize special case CONST for - output_block_move. Compiler doesn't have enough information to use - it. - - * stmt.c (expand_fixup): If the control stack is nested within the - nesting stack, then no fixup is needed. Otherwise, compiler must - check for possible fixups between the current nesting stack and the - nesting stack that immediately contains the control stack. - - * stmt.c (expand_function_start): functions which are nested use - DECL_CONTEXT. For these functions, test that their DECL_CONTEXT is - a LET_STMT node. - - * tree.h: declare `build_offset_type'. - -Sun Nov 27 10:34:53 1988 Richard Stallman (mdt at yahi) - - * output-sparc.c (output_move_double): - Don't try to use ldd/std if OP1 is a constant. - * sparc.md (movdi): Allow immediate args moved into general regs. - - * c-decl.c (grokparms): Reject incomplete parm types even if just - declarating, not defining. Change types to error_mark_node - in both the PARM_DECL and the list of types. - - * dbxout.c (dbxout_type): It's not a bug if a RECORD_TYPE - has a typedef as its TYPE_NAME. That happens in C++. - - * Make each `asm' with operands record its source file/line - with reg-notes. It doesn't work to emit a special note before the insn - because the insn can be moved by loop_optimize. - * stmt.c (expand_asm_operands): New args FILENAME, LINE. - Record them in the insn, in reg notes. - * c-typeck.c (c_expand_asm_operands): New args, passed along. - * c-parse.y: Pass those args. - (maybe_type_qual): Line #s for asm stmts emitted like all others. - * rtl.h (REG_ASM_FILE, REG_ASM_LINE): New kinds of reg notes. - * toplev.c (error_for_asm): Get the info from those notes. - - * reload.c (find_reloads): Don't clear BADOP for a reg letter - if the alternative ultimately doesn't allow any regs. - - * reload.c (find_reloads): If an `asm' insn gets an error, - change it to a USE to avoid duplicate error msgs or later trouble. - - * reload.c (find_reloads_address): Reloading a constant address, - specify Pmode as the mode for push_reloads, in case of CONST_INT. - - * expr.c (emit_push_insn): Fix calc. of space needed when PARTIAL > 0. - Both scalar case and BLKmode case needed fixing. - - * sparc.md (load/store constant address): - Moving DF from mem to cpu regs, don't go via %f0. - Don't use std/ltd if alignment is wrong or uncertain. - -Sun Nov 27 10:34:53 1988 Michael Tiemann (mdt at yahi) - - * reload.c (push_reload): Allow VOIDmode for INMODE, OUTMODE; - default the mode from the operand values. - - * sparc.md: remove patterns which generate annulled branch insns. - They are correct, but those insns confuse GDB. - - * tm-sparc.h (GO_IF_LEGITIMATE_ADDRESS): - Treat any constant address like a SYMBOL_REF. - * sparc.md: Check for CONSTANT_ADDRESS_P rather than SYMBOL_REF. - - * sparc.md: Peepholes now accept SYMBOL_REF addresses. - The output routine can now split them properly even as delay insns. - - * print-tree.c (dump): added entry for METHOD_TYPE and - METHOD_CALL_EXPR. Also added entry for WITH_CLEANUP_EXPR. Suggest - that we make first_rtl of WITH_CLEANUP_EXPR 2 instead of 1. - -Sun Nov 27 00:15:33 1988 Michael Tiemann (mdt at yahi) - - * print-tree.c (dump): added entry for OP_IDENTIFIER. - - * tree.c (build_op_identifier): new function. Needed because - `build_nt' expects an "e" node, but OP_IDENTIFIER is an "x" node. - - * store_layout.c (layout_record): use DECL_FIELD_CONTEXT instead of - DECL_CONTEXT. - - * tree.h (DECL_FIELD_CONTEXT): new macro. Points to the type that a - FIELD_DECL is a member of. For C, this is just DECL_CONTEXT. - - * tree.c (build_method_type): typo used "==" to assign basetype to - TYPE_METHOD_BASETYPE with predictably poor results. - -Sat Nov 26 22:55:32 1988 Michael Tiemann (mdt at yahi) - - * output-sparc.c (output_sized_memop): new function to output a load - or store insn based on the size of the operand loaded or stored. - (make_f0_contain_0): use info from condition codes to decide whether - the register %f0 needs to have 0 loaded from memory or not in order - to contain zero. - (gen_scc_insn): new function used by define_expands for - set-on-condition-code insns. - (output_delay_insn): now knows how to handle load and store - scheduling when the load or store operation takes two insns instead - of one. The rewrite is now understands is this: - - sethi %hi(address),%g1 -> sethi %hi(address),%g1 - ld/st [%g1+%lo(address)],%reg -> b target - b target -> ld/st [%g1+%lo(address)],%reg - nop -> ;; gone - - * jump.c (reverse_condition): make this function publicly visible, - now needed in expr.c. - - * output-sparc.md (reg_or_0_operand): new function, returns nonzero - if operand is const0_rtx or a register of specified mode. - (hardreg): deleted. - - * expr.c, stmt.c: fixed random syntax errors. - - * tree.c (build_method_type): now corresponds to defn in tree.def - expr.c (expand_call): removed code to get FUNCTION_TYPE from - METHOD_TYPE. This should probably be looked at harder. - - * tree.def (METHOD_TYPE): Changed definition so that TREE_TYPE (m) - (where m is a METHOD_TYPE) is the type of the return value of the - method, not the FUNCTION_TYPE from which the METHOD_TYPE is derived. - - * Makefile: Changed target of BINDIR from /usr/local to - /usr/local/bin. - -Sat Nov 26 16:29:22 1988 Michael Tiemann (mdt at chickasaw) - - * tm-sparc.h (GO_IF_LEGITIMATE_ADDRESS): Allow any SYMBOL_REF. - (NOTICE_UPDATE_CC): Remember high half of %g1 as a "condition code" - to avoid reloading it if it does not change. - (NOTICE_UPDATE_CC): Test SET_SRC, not SET_DEST, for a CALL rtx. - (PRINT_OPERAND): New code-letter `m' says output operand as an address. - - * toplev.c (flag_syntax_only): New flag variable. - * flags.h: Likewise. - - * toplev.c (error_with_decl): Extra arg, passed to fprintf. - (warning_with_decl): Likewise. - - * tree.c (build_offset_type): New function. - - * tree.h (TYPE_METHOD_BASETYPE): New name for TYPE_METHOD_CLASS. - Uses in tree.c and... renamed. - - * combine.c (SUBST_INT): New macro, for replacing an int. - (subst): Collapse nested SUBREGs even if SUBREG_WORDs are not 0. - - * expr.c (bcc_gen_fctn, setcc_gen_fctn): new tables, - initialized in init_comparisons. - Used in expand_expr, do_jump, do_store_flag - instead of explicit construction of a jump. - - * expr.c (save_noncopied_parts): New function. - - * expr.c (expand_expr): - ARRAY_REF: Special case for array of constants. - WITH_CLEANUP_EXPR: Handle it. - INIT_EXPR: Case deleted. - MODIFY_EXPR: Use save_noncopied_parts. - - * expr.c (expand_call): blkmode_parms_forced can be >0 - even when no stack arg space otherwise needed. - Don't use a hard reg as a target if there are cleanups. - - * stmt.c (struct block): New elt. outer_cleanups. - (struct case): New elt. num_ranges. - (struct fixup): Changed meaning of cleanup_list_list. - Changes in expand_fixup, fixup_gotos. - (expand_fixup): Detect some internal forward-jumps - that need no fixups--for speed. - (fixup_gotos): New arg THISBLOCK. - (expand_expr_stmt): Handle flag_syntax_only. - (use_variable): No longer static. - (use_variable_after): new fn. - (expand_end_bindings): handle cleanups like a stack level. - (expand_decl): Handle a cleanup with no decl. - (move_cleanups_up): Preserve relative order of cleanups. - (expand_anon_union_decl): New fn. - (pushcase): New fast clause if no ranges yet. - (pushcase_range): Turned on. - (expand_function_start): New temp var `fntype'. - Set TREE_USED for a parm we are ignoring. - (expand_function_end): Really use the `filename' arg. - Use use_variable_after for SAVE_EXPR regs. - - * dbxout.c (dbxout_type): Handle OFFSET_TYPE. - - * gnulib.c (__builtin_new, etc.): Support for C++. - - * emit-rtl.c (next_insn, prev_insn): New fns. - -Sat Nov 26 16:29:22 1988 Richard Stallman (mdt at chickasaw) - - * tree.h (TREE_LANG_FLAG_[1234]): New attributes. - (TYPE_METHOD_BASETYPE): New name for TYPE_METHOD_CLASS. - (TYPE_OFFSET_BASETYPE): New macro. - (NUM_TREE_CODE): New macro. - (TYPE_NONCOPIED_PARTS): new field in a type-node. - - * varasm.c (make_decl_rtl): Split out from assemble_variable. - (assemble_variable): No longer creates the rtl. - No longer handles policy of whether to output tentative decl yet. - (output_constant_def): Don't lose if wasn't temp allocation - when this was called. - (output_constant): Handle REFERENCE_EXPR. - - * Makefile (BISONFLAGS): new variable. - (prefix): New variable, used in bindir and libdir. - (C_OBJS, CPLUS_OBJS): New vars, split off from OBJS. - (LIBFUNCS): C++ support functions added. - (CPLUS_TREE_H): New variable. - (cc1plus): New target. - (lang_c, lang_cplus): Combines all targets for one language. - (gplus.info): New target. - (cplus-*.o): New targets. - (realclean): Handle new C++ files and recent renamings. - (install, TAGS): Likewise. - - * print-tree.c (prtypeinfo): Handle TREE_LANG_FLAG_[1-4]. - - * tm-sparc.h (ASM_OUTPUT_DOUBLE): Special case for infinity. - (ASM_OUTPUT_FLOAT): Likewise. - - * gcc.c: Don't define __GNU__. - For .cc files, pass -+ to cpp, and don't handle -ansi. - Use cc1plus as name of compiler for .cc files. - - * stor-layout.c (layout_type): abort if given a LANG_TYPE node. - (layout_union): Complain if union has basetypes or static members. - (layout_record): Handle anonymous union members. - - * tree.def (LANG_TYPE): New tree code for language-specific purposes. - (WITH_CLEANUP_EXPR): New tree code for expressions whose values - need to be cleaned up when they are deallocated. - (OP_IDENTIFIER): New tree code for certain C++ purposes. - - * toplev.c (rest_of_decl_compilation): Call make_var_rtl - before assemble_variable. - -Wed Nov 23 02:15:45 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * xm-sunos4.h: Rename included config files to xm-*. - * xm-*.h: Likewise. - - * fixincludes: Avoid altering args to names other than CTRL - that end in ...CTRL. - If a file isn't actually changed, delete the copy. - -Mon Nov 21 12:48:22 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * loop.c (move_movables): Never move a reg w/ # > old_max_reg. - (strength_reduce): For nonreplaceable giv, put insn to load it - after the insn that used to compute it, in case the latter - is the last of a libcall sequence. - - * stmt.c (expand_function_end): If returning BLKmode, also copy - address where value is returned to the place that GDB will - expect to see it after the return. - - * c-parse.y (readescape): Warn about hex constant out of range - for a target integer. - (yylex): Warn about escape out of range for non-wide char or string. - Use a buffer of ints to read a wide string. - -Sat Nov 19 02:18:02 1988 Richard Stallman (rms at apple-gunkies.ai.mit.edu) - - * Version 1.31 released. - - * sparc.md: Change `K' to `I' in all constraints. - - * loop.c (gen_iv_mult): Handle TARGET==0. - - * c-decl.c (duplicate_decls): Undo last change. - - * c-decl.c (pushdecl): Instead of that change, - save old-decl's file/line before calling duplicate_decls, - and pass them later to warning_with_file_and_line. - * toplev.c (warning_with_file_and_line): New fn. - -Fri Nov 18 13:07:06 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * stmt.c (fixup_var_refs_1): (SUBREG (MEM)) was slipping through - in case where a SET was writing in the variable being fixed. - - * recog.c (register_operand, nonmemory_operand, memory_operand): - Changes to handle new var reload_completed: 1 means that - (SUBREG (MEM)) now counts as a mem-ref, since alter_subreg - will make it one. - * toplev.c (rest_of_compilation): Set and clear reload_completed. - - * sparc.md (call patterns): If TARGET_SUN_ASM, and address in reg, - output a jmpl rather than a call. - * tm-sun4os3.h: Like tm-sparc.h but turn on TARGET_SUN_ASM. - - * reload.c (push_reloads): Reinstate handling of reg_equiv_constant. - -Thu Nov 17 09:48:14 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * reload1.c (constraint_accepts_reg_p): Name changed from - constraint_all_regs_p; new arg is reg we are concerned with, - and condition tested takes some advantage of that reg. - - * gcc.c (main): Rename var `error' to `error_count' for name conflict. - - * emit-rtl.c (emit_note): Output line #s even if no debug info wanted. - (emit_line_note): New fn, does what emit_note did. - (emit_line_note_force): New name for emit_note_force. - * stmt.c, c-parse.y: Call emit_line_note instead of emit_note. - - * c-parse.y (maybe_type_qual): Call emit_note instead of emit_line_note - Now we can find the line # of every `asm' from the RTL. - * toplev.c (error_for_asm): New fn, gets line # by searching for NOTE. - * reload.c (find_reloads): Use error_for_asm. - * reload1.c (choose_reload_targets): Likewise. - * final.c (output_operand_lossage): Likewise. - Variable this_is_asm_operands is now current insn if it's nonzero. - - * loop.c (move_movables): When a reg is moved, update regno_first_uid - and regno_last_uid; say life span includes entire loop. - * Decrement THRESHOLD per reg moved, not per insn moved. - -Wed Nov 16 08:41:32 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * gnulib.c (___builtin_saveregs): New fn, for sparc. - - * tm-sparc.h (GO_IF_LEGITIMATE_ADDRESS): Don't recognize - SYMBOL_REFs, except for the constants pool. - But do recognize REG+REG and SMALLINT+REG. - * sparc.md: New patterns for fetching and storing memory - whose address is symbolic and not "legitimate". - - * sparc.md (movsi): Add `f' to op1 constraint. - New output clause for result in fp reg. - (Floating point fetch patterns): Output sethi insns. - (call_value, related patterns): value-register has `register_operand'. - - * output-sparc.c (hardreg): New function. - (COMPATIBLE): Clause added for n_regs == 2. - (single_insn_src_p): Return 0 for MEM whose address is absolute. - - * tm-genix.h (GO_IF_LEGITIMATE_ADDRESS subroutines): - Redefine, to exclude any possibility of SB-referencing addresses. - - * loop.c (strength_reduce): Can't eliminate a biv if used before - start of the loop. Used before is same as used after, if contained - in another loop. - - * recog.c (asm_noperands, decode_asm_operands): - Handle case of no outputs, but some clobbers. - * stmt.c (expand_asm_operands): Generate right stuff for that case. - - * tm-sun3.h (CPP_SPEC): Don't define __HAVE_68881__ if using fpa. - -Tue Nov 15 00:10:26 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * loop.c (gen_iv_mult): Arg OP0 may not be a constant. - Pay attention to return value of expand_mult. - (eliminate_biv): Call changed. - - * output-m88k.c, output-sparc.c (output_move_double): - Fix typo `optype0' for `optype1'. - - * c-decl.c (duplicate_decls): Don't alter file, line of old decl. - - * c-parse.y (skip_white_space): Don't recognize comments; rely on cpp. - - * rtl.c (rtx_equal_p): Handle vectors. - - * loop.c (scan_loop): Change elts of n_times_set back to positive - for candidates that weren't moved, before doing strength reduction. - - * ns32k.md (movdi, movdf): Use `&' constraint for first operand. - - * reload1.c (reload): Initialize spill_indirect_ok here. - - * config-sun4.h: Recognize `-static' switch. - - * global-alloc.c (set_preference): Avoid using nonsense hard reg #s - that result from adding OFFSET. - - * sdbout.c (sdbout_end_function): Line # in .ef should be relative. - - * final.c (output_source_line): For SDB, don't output negative #s. - - * tm-encore.h (ASM_OUTPUT_LOCAL): Don't ignore SIZE arg. - -Mon Nov 14 11:03:16 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * reload.c: Don't declare refers_to_regno_p. - - * gcc.c (main): Warn if any input files are for the linker - but the linker is not being run. - - * jump.c (sets_cc0_p): Dumb bug fetching elts of a PARALLEL. - - * local-alloc.c: qty_birth, qty_death elements are now -1, not 0, - when the value is not known. - - * expmed.c (extract_bit_field): Bug computing xbitpos, xoffset - when changing units from bytes to words. - - * loop.c: Rename `times_used' field in `struct movable' to `savings'. - (scan_loop): When scanning the consecutive sets, for each libcall, - increment `savings'--leave `consec'. - When making movable for (SET (REG) 0) which is part of zero-extension, - set `savings' to 1 initially, since only 1 insn will be moved. - And don't let any other reg force that insn. - Reduce initial THRESHOLDs. - (move_movables): Don't add `consec' into `savings' - since the initial `savings' was proportional to `consec'. - Decrement THRESHOLD by 3 (not 2) for each move done. - - * reload1.c (choose_reload_targets): Strip subregs from OLD - before writing the output-reload move-insn. - - * reload1.c (reload): counted_for_groups and counted_for_nongroups - are now file-scope. Update them both when spilling. - (new_spill_reg): No need for counted_for_nongroups as arg. - (choose_reload_targets): Don't use for a group - any spill regs for which counted_for_nongroups is set. - - * dbxout.c (dbxout_symbol): Indirect-symbol case checked erroneously - for PARM_DECL. - -Sun Nov 13 08:13:49 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * cse.c (fold_rtx): Don't alter MULT by -1 if arg mode != result mode. - - * loop.c (move_movables): If moving a CALL_INSN, make a new CALL_INSN. - * emit-rtl.c (emit_call_insn_before): New fn. - - * config-sun4.h (LINK_SPEC): Avoid shared libraries if -g. - - * expr.c (store_one_arg): Stabilize ARG->stack so it doesn't use SP - before computing the arg value. - - * combine.c (use_crosses_set_p): Moving a ref to stack ptr - is always forbidden if machine has push insns, since might cross one. - - * vax.md (movqi): Avoid out-of-range immed ops in mcomb. - - * expmed.c (extract_bit_field): Don't say `extzv' in the - clause for `extv'. - - * emit-rtl.c (copy_rtx_if_shared): Even if a MEM can be shared, - unshare its address from everything outside that MEM. - - * expr.c (expand_builtin): Fix omitted arg to `convert_to_mode'. - - * expr.c (store_expr): In case where will not return TARGET - and must do type conversion, don't fail to store into TARGET. - - * dbxout.c (FORCE_TEXT): New macro used before output `.stabs' - to go to the text section on targets that require it. - (DEBUG_SYMS_TEXT): Target macro which turns on that feature. - - * reload1.c (reload): Index in spill_regs was wrong - when checking counted_for_groups. - (choose_reload_targets): When calling find_equiv_reg looking for - a reload reg, reject all spill regs, even those not in use now. + * flow.c (mark_set_1): Look inside strict_low_part. - * tm-sun386.h, tm-sun386i.h, config-sun386i.h: New files. + * c-typeck.c (decl_constant_value): Don't use var's init if volatile. - * cccp.c (main): Don't die if no output file arg given. + * print-tree.c (dump): Don't call walk on rtx's. - * fixincludes: Tell `find' to find only ordinary files. + * integrate.c (expand_inline_function): Convert expanded arg from + passed mode to nominal mode. - * config.gcc: If symlink fails, make a hard link. +Sun Apr 23 13:14:47 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Sat Nov 12 20:43:20 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * fixincludes: fix _IO macros if split across two lines. + Fix typo: EOF was indented. - * Makefile (gnulib): Use cp to make the temporary .c files; - less likely to fail than ln. + * gnulib2.c: New file with DImode library routines. + * Makefile (gnulib2): Put them into gnulib. + Must be explicitly requested. -Sat Nov 5 12:46:39 1988 Randall Smith (randy at sugar-bombs.ai.mit.edu) +Fri Apr 21 13:45:45 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * tm-m68k.h (HARD_REGNO_MODE_OK): Disallowed d7:a0 as an allowable - pair of registers to hold a double value. This is correct for the - fpa but incorrect for the 68881. It was, however, simpler than - defining a new regclass. + * cccp.c (main): Don't turn on trigraphs for -Wtrigraphs or -Wall; + use -trigraphs for that. -Tue Oct 25 12:03:49 1988 Randall Smith (randy at gluteus.ai.mit.edu) + * cccp.c (main): Use -trigraphs to enable trigraphs. + * gcc.c: Pass -trigraphs to cpp; don't pass -T. - * m68k.md: Added some thoughts (comments) on best method to allow - 68881 code with fpa code. + * Makefile: Variable srcdir relates location of sources + to current directory. Default is `.'. -Thu Oct 13 14:19:17 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * integrate.c (expand_inline_function): When copying expanded arg, + use mode it's passed in, not arg's nominal mode. - * Version 1.30 released. + * dbxout.c (dbxout_block): Print generated name with assemble_name. - * stupid.c (stupid_life_analysis): Init last_call_suid with - largest possible value, not 0. +Thu Apr 20 12:36:09 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Wed Oct 12 04:40:18 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * stdarg.h: check __sparc__ instead of sparc. - * output-i386.c (output_asm_insn_double_reg_op): Compensate for - assembler bug that interchanges fsub and fsubr. +Tue Apr 18 18:58:03 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * reload1.c (order_regs_for_reload): Undo 29 Sept change. - It breaks the 386. + * tm-next.h (STARTFILE_SPEC): Define it. - * varasm.c (decode_rtx_const): Don't example value->addr - if what was stored in was value->d. +Mon Apr 17 19:56:05 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * toplev.c (set_float_handler): New fn, specify where to jump - on floating exception signal. - * fold-const.c (combine): Use that to handle overflow in arithmetic. + * dbxout.c (dbxout_block): Use ASM_GENERATE_INTERNAL_LABEL to format + the labels LBB... and LBE... - * c-decl.c (grokdeclarator): Don't clear CONSTP, VOLATILEP - when making an array type. +Sun Apr 16 23:57:47 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * dbxout.c (dbxout_symbol): Ignore VAR_DECLs in memory whose - addresses we can't represent. + * mips.md: Change MINUS to COMPARE where appropriate. - * fold-const.c (fold): don't convert >= to > if both args are constant. - When converting >= to >, don't fail to change CODE. +Sat Apr 15 16:11:49 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Tue Oct 11 04:13:40 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-decl.c (finish_struct, redeclaration_error_message): + Rename variables named OLD and NEW. - * vax.md (movhi): Error in truncating mcomw, addh3 args to 16 bits. + * sparc.md (cse'd mult pattern): Handle memory operands. + Optimize small integer operands. - * final.c: Better error checking for %-specs in templates. - (output_operand_lossage): new fn to report errors. - (insn_noperands): new var: # operands in current fn. - (this_insn_asm_operands): new var: 1 for `asm', 0 otherwise. - (output_asm_insn): Check for operand # out of range. - (output_asm_label, output_operand): Call new fn to report errors. + * stmt.c (expand_decl): On sparc, ensure dynamic arrays of doubles + are properly aligned, despite unaligned STACK_POINTER_OFFSET. - * reload.c (push_reloads): An input reload for (REG N) can match one - for (POST_INC (REG N)) or (PRE_INC (REG N)), since the value - reloaded is the same in any case. +Fri Apr 14 10:59:56 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Mon Oct 10 06:19:05 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * expr.c (expand_call): Bugs treating struct value address as param: + do so only if it's supposed to be pushed; + decode value of FUNCTION_ARG properly. - * recog.c (next_insns_test_no_inequality): Like next_insn_tests... - but check all insns that follow this one and can use it's cc's. - * output-m68k.c (output_btst): Use that. + * tm-altos3068.h (CPP_SPEC): Some braces were dropped. - * vax.md (movsf, movdf): Undo last change; movq/movl set the cc wrong. + * gcc.c (pexecute): Print message when exec fails. + (perror_exec): New fn. + (perror_with_name,pfatal_with_name): Change message syntax. - * expr.c (expand_call): Set current_function_calls_setjmp if appro. - * stmt.c (setjmp_protect): New fn: move all vars into stack - unless declared `register'. - * c-decl.c (finish_function): Call it if -traditional and setjmp used. + * tm-hp9k320.h (ASM_IDENTIFY_GCC): Define as no-op. - * cccp.c (main): Open output after the input. - Handle `-o -'. +Wed Apr 12 00:20:31 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Sun Oct 9 00:28:06 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * cse.c (cse_insn): Can record constant value being stored in + a bit field, if we can tell that truncation won't change it. - * tm-sun3.h (CPP_SPEC): Define __HAVE_FPA__ if appropriate. + * m68k.md (bfset, bfclr, bfchg insns): Do CC_STATUS_INIT + since the cc's are set from the old contents. - * c-decl.c (pushdecl): After duplicate_decls, maybe warn about - "declared extern and later static". + * gcc.c (compilers): Running `as', put -o option before input file. - * expmed.c (store_bit_field): In insv case, avoid turning - VALUE into a subreg of a subreg. + * gcc.c: Delete output file only if that file's compilation fails. + * gcc.c (record_temp_file): Changed args: always_delete, fail_delete. + (store_arg): Likewise. Callers changed. + (clear_failure_queue): Called after each compilation. - * loop.c (move_movables): When moving a libcall, - un-cse the function address; put it into the call insn. +Tue Apr 11 01:18:53 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Sat Oct 8 01:48:03 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * combine.c (subst): (SET (ZERO_EXTRACT) (OR (ZERO_EXTRACT) const)) + optimization was sometimes invalid. - * cse.c (equiv_constant): Subroutine to find the constant equivalent - of a reg. Now handles SUBREGs too. - (fold_rtx, fold_cc0): Use that function. - Don't handle SUBREGs like arithmetic. + * tm-m68k.h (NOTICE_UPDATE_CC): A doubleword move that requires 2 insns + does not set the cc's usefully. - * reload1.c (choose_reload_targets): Don't call reg_overlap_mentioned_p - if arg is 0. + * Makefile (cleanlinks): Just do `clean', not `realclean'. + (realclean): Delete config links also. -Fri Oct 7 01:00:19 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * expr.c (expand_call): Handle case where return value is in memory + but TARGET is a register. - * assert.h: Typo declaring __eprintf. - - * config.gcc: New file for making the links. - Fixed bugs for sun-[23]-os4. Added sun-[234] for sunos 3. - Added sequent-i386. - - * emit-rtl.c (gen_rtx): Return const0_rtx for 0 in DImode. - * varasm.c (immed_double_const): Don't be confused by this. - - * expmed.c (negate_rtx): New 1st arg MODE. - * expr.c (push_block): Calls changed. - * m68k.md, ns32k.md, vax.md: Calls changed. - - * c-decl.c (duplicate_decls): Don't discard DECL_BLOCK_SYMTAB_ADDRESS. - - * tree.c (staticp): INDIRECT_REF with constant address is static. - COMPONENT_REF may not be, if component offset isn't constant. - - * c-typeck.c (default_conversion): Converting array to ptr, if array - isn't a VAR_DECL, go through build_unary_op so that COMPONENT_REFs - will be simplified away. - - * ns32k.md (tbitd patterns): op 0 constraint: reject constants. - * ns32k.md (extzv for SImode and HImode): - Use adj_offsetable_operand; plus_constant was the wrong thing. - -Thu Oct 6 00:10:41 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * Version 1.29 released. - - * loop.c (scan_loop): Don't think a `return' insn enters the loop. - - * ns32k.md (ashrsi3, etc): New define_expands for right shift. - - * reload1.c (choose_reload_targets): Change in the `force_group' - logic to avoid crashes. - -Wed Oct 5 04:09:19 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) - - * expr.c (expand_expr, MINUS_EXPR): When negating integer op1, - truncate it to its mode. - - * expmed.c (extract_bit_field): SUBREG error check was wrong; - SImode SUBREGs are possible and ok in extzv, extv. - - * tm-ns32k.md (REGISTER_NAMES): Had two excess elements; deleted. - -Mon Oct 3 01:15:51 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) - - * toplev.c (main, compile_file): If no files spec'd, use stdin, stdout. - - * flow.c (propagate_block): When checking for stack-adjust insns, - exclude non-SET patterns. - - * jump.c (jump_optimize): When changing jump=>return to return, - must rerecognize the insn. - - * toplev.c (compile_file): Allow `-' for main input or output filename. - -Sun Oct 2 10:30:09 1988 Richard Stallman (rms at apple-gunkies.ai.mit.edu) - - * final.c (final): NOTICE_UPDATE_CC has extra arg, INSN. - * tm-*.h: Change definitions. - - * stmt.c (optimize_bit_field): Use gen_lowpart to make subregs. - - * stmt.c (assign_parms): Don't obey regdecls in inline function. - Don't lose existing REG_NOTES when adding one. - - * stmt.c (expand_function_start): Make return rtx before - marking parms live. - (expand_function_end): Use use_variable to emit USEs for SAVE_EXPRs. - - * stmt.c (expand_return): Handle TRUTH_AND_EXPR like ANDIF; OR also. - - * stmt.c (expand_end_stmt_expr): Always set TREE_VOLATILE, - sometimes TREE_THIS_VOLATILE. - - * jump.c (delete_insn): When finding PREV, skip deleted insns. - - * varasm.c (output_constant): WORDS_BIG_ENDIAN test was backwards. - - * emit-rtl.c (gen_lowpart): Allow MODE > 1 word if X is same size. - - * final.c (final): Don't delete no-op moves (jump did it if appro.). - - * final.c: Support prescan pass. - (final_start_function): init_recog and CC_STATUS_INIT mvd to `final'. - (final): New arg PRESCAN. Do no output if prescanning. - Don't alter conditionals if PRESCAN < 0 (prescan already done). - If jump becomes no-op, change it to a NOTE. - Remember to free the temp space for ASM_OPERANDS. - - * final.c (final): Altering store-flag must check STORE_FLAG_VALUE. - Don't try to do it if that isn't defined. - Don't try it if condition doesn't test CC0. - (alter_cond): No need to check COND != 0. - Handle CC_Z_IN_NOT_N and CC_Z_IN_N. - (m68k.md): Delete code that handled CC_Z_IN_NOT_N. - - * conditions.h: New flag CC_Z_IN_N. - * tm-*.h: Renumber all CC_... flags to make room. - - * combine.c (use_crosses_set_p): Loop start was 1 off. - - * local-alloc.c (reg_is_set): When a reg is CLOBBERed and dies in - one insn, make it live immediately before and after that insn. - - * global-alloc.c: Hard reg preferences for global pseudos. - Var allocno_preferred_reg deleted; new vars hard_reg_preferences - and regs_someone_prefers. - (global_alloc): Init those vars. Pass hard_reg_preferences elt - to find_reg. - (set_preference): New function makes entries in those vars. - (global_conflicts): new arg to mark_reg_store. Call set_preference. - (find_reg): Last arg now a preferred hard_reg_set. - Scan that set first of all. - (mark_reg_store): New arg is offset for renumbered regno. - But the code to use it is turned off. - - * global_alloc (check_frame_pointer_required): Handle reg_equiv_address - like reg_equiv_mem. Don't try to allocate pseudos with equiv mems - that don't use the frame pointer. - * reload1.c (reload): Call changed. - - * jump.c (sets_cc0_p): Tests whether rtx sets cc0, and whether - it does nothing but set cc0. - (find_cross_jump, delete_jump): Use that fn for these tests. - * loop.c (loop_skip_over): Likewise. - * reload.c (push_reload): Likewise. - - * genoutput.c: Output `const' before the data arrays. - Define it as nothing if not __STDC__. - -Sat Oct 1 02:19:29 1988 Richard Stallman (rms at apple-gunkies.ai.mit.edu) - - * expr.c (store_one_arg): 3rd arg to emit_block_move is in bytes. - - * cse.c (fold_rtx): Handling ZERO_EXTEND or SIGN_EXTEND of constant, - if the arg width is too wide to handle, return safely. - - * combine.c (FAKE_EXTEND_SAFE_P): Don't allow extend to > 1 word. - - * rtl.c (refers_to_regno_p): Moved from reload.c. Not static. - (reg_overlap_mentioned_p): New function, calls the above. - * output-*.c: Use that instead of reg_mentioned_p. - * tm-*.h (NOTICE_UPDATE_CC): Likewise. - * reload.c (push_reload, combine_reloads): Likewise. - * reload1.c (choose_reload_targets): Use it to check earlyclobbers. - - * reload1.c (choose_reload_targets): Elimination of previous - output-reload feeding our input now limited to pseudo-regs. - - * flow.c (life_analysis): Delete any insn copying reg to itself. - (propagate_block): Move update of OLD after special life and death - for CALL_INSNs. - - * vax.md (ashrsi3, ashrdi3, rotrsi3): define_expands to negate - the shift count. - * expmed.c (expand_shift): Eliminate negate-the-shift-count feature. - - * vax.md (and*i3): define_expands which use complement and bit-clear. - * expmed.c (expand_bit_and): Eliminate feature to do that. - This function could be eliminated. - - * expmed.c (store_bit_field): Handle nested subregs. - Allow gen_insv to fail; if it does, delete what we did and then - use store_fixed_bit_field. - (store_fixed_bit_field): Use gen_lowpart to make SUBREGs. - Do that for SUBREGs just as for REGs. - Error check OFFSET must be 0 for REGs. - (store_split_bit_field): Error check OP0 is a SUBREG when expected. - (extract_bit_field): Allow gen_ext{,z}v to fail. - Use gen_lowpart to make subregs. - (expand_shift): If a try fails, delete any insns it made. - - * expmed.c (expand_mult): Use expand_unop to negate. - When adding 2 powers of 2, do serial shifts, not parallel. - Handle absval==1 like other powers of 2. - - * explow.c (force_reg): Don't lose any existing reg notes. - - * stmt.c (expand_start_stmt_expr): Eliminate return value. - (expand_end_stmt_expr): No need for argument. - * c-parse.y (primary): Change calls. - -Fri Sep 30 01:50:22 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) - - * integrate.c (copy_rtx_and_substitute, copy_address): - 'u' case erroneously returned the translated single element. - (copy_address): Special cases for frame-ptr and sums containing it. - MEM and LABEL_REF cases passed wrong arg to copy_rtx_and_substitute. - (copy_rtx_and_substitute): adjust mode of inline_target for context. - - * jump.c (true_regnum): For SUBREG of pseudo, use pseudo's # unchanged. - -Thu Sep 29 02:50:46 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) - - * i386.md (movsi, mov{q,h}i): Use find_reg_note to look for REG_WAS_0. - * vax.md (movsi, movhi): Likewise. - - * varasm.c (decode_rtx_const): Was setting un.addr.base wrong - for a CONST. Should be symbol name, not the SYMBOL_REF. - - * rtl.c (rtx_equal_p): When comparing registers, check - REG_FUNCTION_VALUE_P. If there are `u'-slots in the rtx, ignore them. - - * rtl.c (reg_mentioned_p): Some rtx types were mistakenly treated - as uniquified (various constants). - - * rtl.c (read_rtx): Element type 'S' is string that may be omitted. - * rtl.def (define_insn, define_peephole): Add a last element, type 'S'. - * genoutput.c: Collect these optional last elements and output as - array `insn_machine_info' of structs `INSN_MACHINE_INFO'. - The last must be defined as a macro. - * recog.h (insn_machine_info): Declare it if appropriate. - - * regclass.c (record_address_regs): In PLUS case, look inside SUBREGs. - - * reload1.c (reload): Use reg_equiv_address for REG_EQUIVs with - invalid memory addresses. - When changing pseudos to mem refs at end, do FIX_FRAME_POINTER_ADDRESS - on their addresses. - (alter_reg): Check that with reg_equiv_mem. - (spill_hard_reg): If fp reg, spill regardless of basic_block_needs. - - * reload1.c (order_regs_for_reload): Don't put invalid regs into - potential_reload_regs at all. (They used to go at the end.) - - * reload.c (find_reloads): Store all earlyclobber operand in - reload_earlyclobbers (# in n_earlyclobbers): - * reload.1 (choose_reload_targets): Don't use value of find_equiv_reg - if it matches an earlyclobber operand. - - * reload.c (find_reloads_address for REG): - No need for explicitly excluding hard regs in these tests. - (find_reloads, find_reloads_address_1 for REG): likewise. - - * reload.c (push_reload): Code testing reg_equiv_constant should - be obsolete; add error check to verify this. - - * reload.c (hard_reg_set_here_p): Handle CLOBBERs, SUBREGs, overlap. - (refers_to_regno_p): Handle CLOBBERS. Handle overlap. - New arg ENDREGNO specs end of range to check for; - all callers changed (all in this file). - - * reload.c (find_reloads): SUBREG like REG in alternate recovery - for earlyclobber conflict. - The operands to unswap are those that are supposed to commute. - When operands match, copy the regclass of earlier one for later one. - - * stmt.c (optimize_bit_field): Don't use gen_extend_insn; - use convert_move, then reorder the insns. - * optabs.c (gen_extend_insn): Deleted. - - * optabs.c (emit_cmp_insn): Don't emit queue before recursion. - Don't convert size to SImode for cmpstrqi. - - * optabs.c (expand_binop): Keep any old REG_NOTES when adding them. - Always delete_insns_since if returning failure. - (expand_unop, emit_unop_insn): Keep any old REG_NOTES when adding them. - * spur.md (movhi): likewise. - - * RTL_EXPR_SEQUENCE is now a chain of insns, not a SEQUENCE. - * emit-rtl.c (emit_insns): New fn, emit a chain of insns. - * expr.c (expand_expr): Use that. - Also put const0_rtx in the RTL_EXPR_SEQUENCE (mark RTL_EXPR as output). - * stmt.c (expand_end_stmt_expr): Use get_insns to get the chain. - - * stmt.c (expand_end_stmt_expr): Put the RTL_EXPR on rtl_expr_chain. - (fixup_var_refs): Scan all waiting RTL_EXPRs not yet output. - Also scan all stacked sequences on sequence_stack. - - * genemit.c (gen_expand): Generate calls to {start,end}_sequence. - Use `emit' to handle a PARALLEL. - (FAIL, DONE): Change to fit gen_expand changes. - - * emit-rtl.c (change_address): abort if arg isn't a MEM. - - * emit-rtl.c: Sequences work now by saving and restoring first_insn - and last_insn. So these variables are used even when in a sequence. - emit_to_sequence has been deleted. - (start_sequence, end_sequence): Save and restore first_insn, last_insn. - (get_last_insn, add_insn): Sequences no longer need special treatment. - (delete_insns_since, reorder_insns): likewise. - (push_to_sequence): Set up to emit to a given existing insn chain. - - * emit-rtl.c (copy_rtx_if_shared): Don't copy INSNs. - Insert missing return stmt in MEM case (for MEMs ok to share). - (unshare_all_rtx): Now can copy the REG_NOTES simply. - Copy the LOG_LINKS too. - - * emit-rtl.c (make_safe_from): Treat SUBREG as X like a REG. - (delete_insns_since): Don't lose if FROM is the first insn. - (emit): Declare void, since no useful value. - Call simplejump_p properly. - (restore_reg_data_1): When a reg is an address, do mark_reg_pointer. - - * dbxout.c (dbxout_types): Call dbxout_symbol to do the work. - (dbxout_type_def): Deleted. - (dbxout_symbol): Set TREE_ASM_WRITTEN when a TYPE_DECL is output. - Don't output the same one twice. - - * cse.c (fold_cc0): LABEL_REF is not zero. - - * cse.c (cse_insn): Don't insert src, dest if they are the same place. - - * cse.c (lookup_as_function): Return entire rtx, not just operand. - (cse_insn): Caller changed. Also, copy the result before inserting it. - - * cse.c (fold_rtx): Put constant arg last if commutative op. - Handle idempotents and identities for mult, div, booleans, shifts. - - * cse.c (canon_hash): Parens were missing around shifts in "rotates". - - * c-convert.c (convert_to_integer): Truncate TRUTH_ANDIF_EXPR - like TRUTH_AND_EXPR; OR also. - - * c-typeck.c (build_binary_op_nodefault): Do truthvalue_conversion - for TRUTH_ANDIF, etc. - (build_unary_op): More simplifications for TRUTH_NOT_EXPR; - uses new fn `invert_truthvalue'. - - * recog.c (reg_fits_class_p): New name for reg_renumbered_fits_class_p - since it no longer needs to renumber. Also it now really assumes - arg is a REG. Callers changed. - * reload.c: Callers changed. - - * recog.c (general_operand): (SUBREG (MEM...)) need not alter mode. - (register_operand, nonmemory_operand): (SUBREG (MEM...)) is allowed. - (memory_operand): (SUBREG (MEM...)) is *not* allowed. - (mode_independent_operand): Operand names were backwards! - (No change in effect of this function.) - - * print-tree.c (dump): Some expr nodes contain rtx's. Print as rtx's. - -Wed Sep 28 18:51:12 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * reload1.c (choose_reload_targets): If a reload wanted a group, - don't allow a single register for it. - -Tue Sep 27 11:43:56 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * final.c (output_addr_const): Handle DImode CONST_DOUBLEs. - * tm-*.h (PRINT_OPERAND): Treat DImode CONST_DOUBLE like a CONST_INT. - - * vax.md (rotldi3): Insn deleted; it doesn't really exist. - - * toplev.c (report_error_function): Also mention the file name, - for parallel makes. New arg FILE; all callers changed. - -Mon Sep 26 15:44:18 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * expmed.c (expand_shift): When using extzv, convert OP1 to SImode. - * c-typeck.c (build_binary_op_nodefault): Convert shift-count - to int regardless of result type. - - * output-spur.c (output_move_double): Fix typo, optype0=>optype1. - - * expr.c (expand_call): Avoid null deref on result of FUNCTION_ARG. - - * tm-i386.h (FUNCTION_PROFILER): Use correct assembler syntax. - -Sun Sep 25 12:13:56 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * fixincludes: Handle some files in netdnet, netdna, vaxif, vaxuba. - - * reload.c (find_reloads): Make no optional reloads if not -O. - - * loop.c (strength_reduce): Can't eliminate a biv if it's used - to compute a DEST_ADDR giv. Only DEST_REG givs are safe. - - * loop.c (general_induction_var): Shift & divide ops are linear - only in 1st operand; don't look for biv or giv in 2nd operand. - - * vax.md (fix_truncdfqi2): Use `%#'. - -Sat Sep 24 00:25:48 1988 Richard Stallman (rms at gluteus.ai.mit.edu) - - * loop.c (n_times_set, n_times_used): Now file-scope; - no longer passed as args to several functions. - - * loop.c (basic_induction_var): Accept reg as source value - only if it's invariant. - (strength_reduce): Benefit calculation and threshold changed. - Check reducibility of givs before trying to reduce them. - Check eliminability of biv before considering the givs; - let this affect the threshold. - (record_giv): New subroutine adds a giv to the chain. - - * ns32k.md (incrementing sp): Use cmpd insns to increment by 4 or 8. - - * integrate.c (expand_inline_function): Rename return_label - to local_return_label; avoid shadowing. - -Fri Sep 23 13:57:52 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * loop.c (loop_skip_over): Put the new label after the note that ends - the loop. - - * loop.c: New function strength_reduce and subroutines. - * toplev.c: New var flag_strength_reduce, set from -fstrength-reduce. - - * vax.md (sob insns): They were broken, with plus in one place - and minus in another. Use plus consistently. - - * rtl.h (REG_LIBCALL, REG_NONNEG): Two new kinds of reg-note. - * optabs.c (expand_binop, expand_unop): Make REG_LIBCALL notes. - * loop.c (scan_loop, move_movables): Move entire library calls. - Use m->set_src to get the expression, in case it's from a REG_EQUAL. - (consec_sets_invariant_p): Likewise. - - * loop.c (scan_loop): Start scan from loop_top, if entry is rearranged. - Watch out for pseudo regs created by strength_reduce; - they can't index regno_last_uid. - (replace_regs): # regs mapped is now an arg. - - * loop.c (count_loop_regs_set): Don't increment n_times_set past 127. - (consec_sets_invariant_p): Reject if N_SETS arg is 127. - - * toplev.c (rest_of_compilation): NREGS arg of loop_optimize deleted. - - * c-decl.c (store_parm_decls): Anything but an IDENTIFIER_NODE - in SPECPARMS indicates a parmlist, not an identifier list. - (get_parm_info): Use only PARM_DECLs when making the list of arg types. - - * combine.c (try_distrib): Boolean ops can't distribute through PLUS. - MULT can distribute through PLUS and only PLUS. - -Thu Sep 22 15:57:41 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * jump.c (jump_optimize): uncond jump to a return becomes a return. - - * integrate.c (copy_parm_decls, copy_decl_tree): Set TREE_USED. - Avoid inevitable "unused" warning for these decls. - - * c-typeck.c (comptypes): When comparing array types, - ignore qualifiers of element type. - - * tm-*.h (ASM_OUTPUT_REG_PUSH, ASM_OUTPUT_REG_POP): Define new macros. - * final.c (final_start_function): Use them to protect around - the call to the profiling function. - * stmt.c (expand_function_start): Set current_function_needs_context - and current_function_returns_struct. - - * stmt.c (expand_null_return_1): If clear_pending_stack_adjust - doesn't clear it, do the adjust now. - * expr.c (clear_pending_stack_adjust): No-op if -finline-functions. - - * cccp.c (macarg1, skip_if_group): Backslash makes next char ordinary. - - * reload.c (find_reloads): Delete code to look for an equiv reg - for a reg being input-reloaded. This isn't safe. - * reload1.c (choose_reload_targets): Do it here. - -Wed Sep 21 00:36:22 1988 Richard Stallman (rms at hobbes.ai.mit.edu) - - * tm-sun3.h (CPP_SPEC): Define it based on TARGET_DEFAULT. - (STARTFILE_SPEC): Likewise. - - * reload1.c (choose_reload_targets): When redirecting prev insn - into this insn's reload-reg, check this doesn't break the prev insn - by giving it a reg it can't accept. Use new fn constraint_all_regs_p. - - * tm-sparc.h (ASM_OUTPUT_LOCAL): Use .reserve, not .common. - - * tree.h (TREE_USED): New attribute macro. - * c-parse.y (primary): Set TREE_USED in ..._DECL nodes. - * toplev.c, flags.h: Define and set warn_unused. - * stmt.c (expand_end_bindings): Warn if any var is unused. - * print-tree.c (prtypeinfo): Print this attribute. - -Tue Sep 20 15:29:01 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * assert.h: `assert' must expand to an expression. - Error message should show arg before expansion, not after. - - * c-decl.c (implicitly_declare): Make decl perm if !warn_implicit - since start_function needs to look inside it in that case. - - * toplev.c (announce_function): If we don't print, don't record we did. - -Mon Sep 19 15:21:11 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * c-parse.y (structsp): If pedantic, warn if comma at end of enumlist. - - * reload.c (find_reloads): Check insn_code_number >= 0 when - looking in insn_operand_strict_low. - - * tm-sun[23].h (CPP_SPEC): Rename __HAVE_FPU__ to __HAVE_68881__ - and put a space after that option. - -Sun Sep 18 01:12:56 1988 Richard Stallman (rms at hobbes.ai.mit.edu) - - * reload.c (find_reloads): Make optional reloads for explicit MEMs. - - * tm-m68k.h (MODES_TIEABLE_P): If no 68881, can tie fixed to floating. - * m68k.md (movdi): Allow F's (can be DImode now). - Don't allow f-regs (experiment). Don't preference x-regs. - (DImode push): Allow y-regs. - (DFmode push): Allow y-regs, not x-regs. - - * reload1.c (modes_equiv_for_class_p): New function. - (reload): Compare multiple modes for reg group with that function. - Allows differing modes in some cases when not tieable. - - * c-parse.y (check_newline): Let ASM_OUTPUT_IDENT override .ident. - * tm-3b1.h (ASM_OUTPUT_IDENT): Define this as no-op. - - * emit-rtl.c (reorder_insns): Update sequence_{first,last}_insn if nec. - (get_last_insn): If in a sequence, return last insn of sequence. - (delete_insns_since): If in a sequence, set sequence_last_insn. - - * spur.md (CONST_DOUBLE load insn): Use & for most dests. - (cond branches): pass additional args to output_compare. - (movdf, movdi): Use & loading reg from mem. - (trunc*): Enable these. - (add): New pattern for adding large immediate operand. - (shifts): A define_expand for each kind of shift, - plus a recognizer which outputs repeated insns if necessary. - (call*): Use r9 as temp, not r2. - - * output-spur.c (output_compare): New args NEG_{EXCHANGE_,}OPCODE. - (singlemove_string): Handle reg as operand 1. - (output_add_large_offset): Fake add insn with large immediate arg. - (big_immediate_operand): Match such an arg. - - * tm-spur.h (FUNCTION_PROLOGUE): Align the stack pointer. - Handle bigger frames. - (TARGET_LONG_JUMP, TARGET_EXPAND_SHIFT): New target flags. - - * va-spur.h: Track position in regs and stack separately. - - * c-decl.c (duplicate_decls): Warn if prototype follows - non-prototype definition. - -Sat Sep 17 14:30:23 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * expr.c (expand_builtin): Avoid crash if arg isn't integer type. - - * c-decl.c (duplicate_decls): Just warn if redeclaring a builtin, - and leave it built in unless it is redefined. - - * vax.md (ashlsi3): Use addl3, moval or movad when useful. - (addsi3): Avoid pushab, movab for constants < 64. - Do use movab when > 64 when operands match. - (mov*i): Use mcom* rather than mneg*. - Use add*3 with two quick immediate args when useful. - (movhi): Don't use movzbw or cvtbw; said to be slow. - - * rtl.h: New macros MEM_VOLATILE_P, MEM_IN_STRUCT_P, - INSN_DELETED_P, REG_USER_VAR_P, RTX_UNCHANGING_P, RTX_INTEGRATED_P, - CONSTANT_POOL_ADDRESS_P. - Most places changed to use them. - -Fri Sep 16 11:50:15 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * jump.c (jump_optimize): Was testing volatil on non-MEMs erroneously - when looking for no-op move insns. - - * cccp.c (handle_directive): Ignore comments between # and directive. - - * integrate.c (copy_rtx_and_substitute): Stack-push memrefs need - to be copied. - - * tm-bsd386.h (ASM_OUTPUT_DOUBLE): Undef previous def. - - * reload1.c (alter_reg): Don't reuse spill_stack_slot - if it isn't big enough for this reg's mode. - - * expr.c (emit_move_insn): After force_const_mem, ensure - mem address is valid. - (move_block_to_reg, move_block_from_reg): Likewise. - - * expr.c (expand_call): Spurious TREE_VALUE on args[i].tree_value. - - * m68k.md (zero_extend*): Require register_operand for operand 0. - - * stdarg.h (va_start): Alternate defn for sparc. - -Thu Sep 15 11:39:06 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * c-parse.y (yylex): When atof gives ERANGE, check for "0.0", etc. - - * assert.h (__assert): Alternative definition for -traditional. - - * output-sparc.c (output_block_move): Initialize xoperands. - - * combine.c (try_combine): Never subst for a reg that is incremented. - - * m68k.md (cmpm pattern): Make the match_operands match memrefs - and check that they are pushes in the extra condition. - This makes reloading handle the pushes properly. - - * expr.c (MOVE_RATIO): Make it 15. Allow overriding it. - -Wed Sep 14 09:50:08 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * c-decl.c (build_enumerator): Use saveable_tree_cons. - - * vax.md (movdf): Use movq when safe. - - * Version 1.28 released. - - * tm-sparc.h (FIRST_PARM_CALLER_OFFSET): Defined. - -Tue Sep 13 00:11:37 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) - - * tree.c (saveable_tree_cons): New function. - * c-decl.c (pushtag): Use it; lists of tags needed for inlining. - (get_parm_info): Likewise. - - * print-tree.c (dump): Handle each kind of statement node individually. - - * integrate.c (copy_decl_tree): Don't pass DECL_RTL through - copy_rtx_and_substitute if it's a memref with constant address. - - * sdbout.c (sdbout_symbol): Don't output garbage when DECL_RTL - has a form we don't understand. - - * reload.c (find_reloads_address_1): Don't reload an autoincrement - if it has a suitable hard reg already. - - * c-typeck.c (process_init_constructor): Error check after digest_init. - - * c-parse.y (is_reserved_word): Now static. - -Mon Sep 12 19:19:28 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * i386.md (all push insns): Use `<' for the constraint, - since a push_operand won't fit an `m' constraint on this machine. - - * expr.c (expand_call): If fn name is `__builtin_alloca', - it may be alloca. This case arises if the user redeclares - `__builtin_alloca'. - -Sun Sep 11 01:47:01 1988 Richard Stallman (rms at gluteus.ai.mit.edu) - - * Eliminate MAX_SETS_PER_INSN. - * cse.c (cse_insn): Combine all the tables and dynamically allocate. - (cse_main): Count the actual number of SETs; don't estimate. - * genconfig.c: Don't calculate MAX_SETS_PER_INSN. - * stmt.c (expand_asm_operands): No limit on # of output operands. - - * expr.c (expand_call): - Store all non-reg parms first, then store all partially-in-reg - parms, then all the (precomputed) wholly-in-reg parms. - Special hair for BLKmode parms which must be passed entirely - in memory; also for BLKmode parms initialized from function calls, - for which it is best to allocate the space before computing value. - Use macro FIRST_PARM_CALLER_OFFSET to handle machines where reg - parms "take up space" on the stack below the stack pointer. - (store_one_arg): Handle case of preallocated stack loc for BLKmode. - Update current_args_size here, not in caller. - -Sat Sep 10 19:58:03 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * output-sparc.c (output_scc_insn): Changed asm templates. - Use common code to emit the move insns and label at the end of fn. - (output_mul_by_constant): Use %g1 as temporary reg. - - * sparc.md (indexed load pattern): Deleted. - (fix_truncdfsi2): Don't ignore value of output_fp_move_double. - (cse'd multiply): Operand 1 predicate is general_operand. - (return peepholes): Conditionalize on ! TARGET_EPILOGUE. - - * tm-sparc.h (INIT_CUMULATIVE_ARGS,FUNCTION_ARG...): - Use partial regs for args that start in regs but won't entirely fit. - - * tm-sparc.h (CONST_COSTS): 0 for args that can be immediate. - (STRUCTURE_SIZE_BOUNDARY): Now 8. - (STRUCT_VALUE_OFFSET): Defined as symbolic name for `64'. - - * expr.c (struct arg_data): New component `stack' says where in the - stack to put a BLKmode arg (if it's nonzero). - (store_one_arg): Handle case where it's nonzero. - (target_for_arg): New fn, precompute stack locn for BLKmode arg. - -Fri Sep 9 01:41:13 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) - - * cse.c (fold_rtx): Misnested ifs screwed SUBREG case. - - * reload.c (find_reloads_toplev): Special case for (SUBREG REG) - where REG is equivalent to a CONST_INT. - (find_reloads): Don't ignore the value returned by find_reloads_toplev. - Treat a (SUBREG constant) like a (SUBREG MEM): set force_reload. - - * reload.c (push_reload): Abort if memory subreg is not - paradoxical; the MEM mode should be narrower than the SUBREG. - - * stmt.c (fixup_var_ref_1): Fixup memory subregs in an insn - copying VAR to or from a register. - - * m68k.md (movdi, movdf): the x-reg constraint accidentally allowed - moving rm to rm with no &. - - * vax.md (call_value): Typo. - - * expr.c (emit_block_move, emit_push_insn): prefer movstrqi to movstrsi - - * m68k.md (FPA multiply): bad opcodes for 3-operand multiply insns. - -Thu Sep 8 18:22:14 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * c-parse.y: Use YYERROR instead of synonym YYFAIL. - BISON VERSIONS PRIOR TO THIS DATE WON'T WORK! - - * c-typeck.c (digest_init): Use TYPE_MAIN_VARIANT of array elt type. - - * tm-sun[23].h (CPP_SPEC, ASM_SPEC): Let -m(c|)680[12]0 control - options for CPP and assembler. - -Wed Sep 7 13:44:59 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * New handling of reloading of PRE_DEC, etc. - Now reload_in is the PRE_DEC, etc, and reload_inc is always positive. - * reload.c (push_reloads): Old code to set reload_inc deleted. - (find_reloads_address_1): Call push_reload the new way. - (find_inc_amount): Value always positive. - * reload1.c (choose_reload_targets): Detect this case. - (inc_for_reload): New fn; does the real work for this case. - * m68k.md (call, call_value): Fn address must be offsetable. - - * combine.c (try_distrib): Reject strange cases such as if - result of PREV1 or PREV2 is used in a memory address in INSN. - - * vax.md (movsf): Generate movl instead of movf. - - * expr.c (expand_call): If have regparms, store all BLKmode args - before all the other args. - (store_one_arg): New subroutine broken out. - - * output-sparc.c (output_block_move): Complete rewrite. - - * sparc.md (cse'd multiply insn): Typo in asm-output code. + * c-typeck.c (build_binary_op_nodefault): New arg ERROR_CODE + is passed to binary_op_error instead of CODE. + All callers changed. + (binary_op_error): CODE = NOP_EXPR is new special case. + (truthvalue_conversion): Call build_binary_op_nodefault directly + and specify NOP_EXPR for the error code. -Tue Sep 6 20:05:48 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-decl.c (xref_tag): If pedantic, warn on fwd ref to enum. - * c-parse.y (yylex, etc.) Install Schmidt's perfect hash table. +Mon Apr 10 19:44:48 1989 Chris Smith (csmith at mozart) - * gcc.c: handle extension `.cc'. + * tm-convex.h (PCC_BITFIELD_TYPE_MATTERS): It doesn't, + but set it anyway. It makes for better code on this + word machine. -Mon Sep 5 12:09:58 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * convex.md (one_compl*): add not:QI and not:HI, which + do get used after all. - * Version 1.27 released. + * tm-convex.h (A_REG_P, S_REG_P): define new macros + convex.md: use them - * tm-i386.md (PREFERRED_RELOAD_REG): When reloading a QImode, - make sure the class doesn't include %esi or %edi. - * i386.md (movqi): Eliminate only use of the class `x', - for which PREFERRED_RELOAD_REG cannot work. - (In next version, get rid of INDEX_CLASS). - Also use `*' to cause preferencing of Q_REGS. - * tm-m68k.md (PREFERRED_RELOAD_REG): When reloading a QImode, - use DATA_REGS. + * convex.md (addsi3): tidy up constraints. - * reload.c (push_reloads): Braino in last change when IN == 0. + * tm-convex.h (REG_OK_FOR_INDEX_P): stack pointer is not ok. - * flow.c (mark_used_regs, mark_set_1): Bug if HARD_REGNO_NREGS - returns 0 for VOIDmode reg (inside a CLOBBER). + * convex.md: add a pattern to push REG+CONST so we can + prefer an A reg. - * c-parse.y (asm_operand): Handle `("REGNAME")' as an operand. - * recog.c (decode_asm_operands, asm_noperands): Ignore any CLOBBERs. - * regclass.c (reg_names): Variable now global. - * stmt.c (expand_asm_operands): Generate CLOBBERS when appropriate. + * tm-convex.h (tstqi): should sign extend, not zero extend. - * stmt.c (assign_parms): Ignore parms that aren't PARM_DECLs. + * expr.c (convert_move): Extending narrow to DI via SI, + operand of extendsidi2 was wrong. - * varasm.c (assemble_variable): Do ASM_OUTPUT_EXTERNAL for functions. + * emit-rtl.c (gen_lowpart): Handle CONST_DOUBLE. - * c-parse.y (yylex): floatflag is now an enum. - Detect invalid use of decimal points (> 1, or in exponent) - and multiple exponent letters. +Mon Apr 10 05:19:39 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * expr.c (expand_call): If inlining fails, set TREE_ADDRESSABLE. + * recog.c (nonmemory_operand): Test constant operands + as general_operand does. -Sun Sep 4 00:36:30 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) + * tm-m68k.h (PRINT_OPERAND): Limit effect of code `d' + to constant addresses. - * c-decl.c (grokdeclarator): A const array becomes an array of consts. - * c-typeck.c (build_array_ref): Array ref is const if array elts are. + * loop.c (can_eliminate_biv_p, eliminate_biv): Don't rely on givs with + nonconstant coefficients, since the coeffs could be zero. - * output-sparc.c (output_move_double): Change criteria for ldd, std. - (output_fp_move_double): New alternatives avoid ldd, std for - stack refs that aren't aligned. - (output_block_move): Use %g1 as temp reg. + * loop.c (can_eliminate_biv_p): Check each giv for ! ignore + before assuming it can be used. + (check_eliminate_biv): New fn, a piece of strength_reduce broken out. - * sparc.md (floating point load from constant mem address): - Use %g1 as temp reg. Use output_move_double in DF case, not ldd. - (movsf): Asm insn typo in FPreg to FPreg case. - (floatsi{s,d}f2): Constraint changed. - Also new special case pattern in front of it. - (fix_truncdfsi2): Use output_move_double, not ldd. - (addsi3, subsi3): Use %g1 as temp reg. - (cse-optimized multiply): Constraint now `g'; output generalized. - (andsi3, orsi3, xorsi3): Use %g1 as temp reg. + * cccp.c (error_from_errno): New fn, like error and perror_with_name. + (do_include): Call that if open fails. + (finclude): Print I/O error msg before closing desc. - * reload.c (find_reloads): Force int constants into memory just - like floating ones, if memory is allowed and no regs are. + * c-decl.c (shadow_tag): If more than one tag or structure, + or anything other than a tag, warning. - * expr.c (expand_call): Don't treat structure_value_addr like a parm - if the first parm would be passed in a register. - Also, write comments for all local vars. + * c-parse.y (components): Just warn if memb decl has no member, + and only if pedantic. - * tm-386v.h (START_SPEC): Use {g,m}crt1.o, not {g,m}crt0.o. - (LIB_SPEC): Always use crtn.o. + * loop.c (strength_reduce): Print uids, not luids, for dump. + (record_giv): giv_count field counts only DEST_REG givs. + (check_dbra_loop): src_two_before_end was set wrong. -Sat Sep 3 13:05:50 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * loop.c (record_giv): New arg LOOP_END; all callers changed. + Don't mark giv replaceable if used past LOOP_END. + (find_mem_givs): New arg LOOP_END; all callers changed. - * explow.c (plus_constant): Don't put CONST around lone SYMBOL_REF. + * out-i386.c (FP_CALL): Make this a `return' stmt. - * combine.c (subst): Simplify zero- or sign-extend of a constant. +Fri Apr 7 11:56:58 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * expr.c (expand_expr): for REAL_CST, etc., check for invalid - memory addresses and copy into registers. + * expr.c (expand_expr, case ..._DECL): Preserve mode thru + calling change_address. - * integrate.c (expand_inline_function): If incoming struct value addr - is in memory, map it like a memory parameter. + * expr.c (emit_library_call): Typo: ARGNUM => COUNT. - * tm-*.h (FIRST_PARM_OFFSET): Now takes fndecl as argument. - * integrate.c (expand_inline_function): Calc., use and save - this fns value of FIRST_PARM_OFFSET. - (copy_rtx_and_substitute): Use that value. + * expr.c (preexpand_calls, expand_call): Take note of RETURN_IN_MEMORY. * stmt.c (assign_parms): Likewise. + * integrate.c (function_cannot_inline_p): Likewise. - * tm-sparc.h (FIRST_PARM_OFFSET): Make it 64 if value is BLKmode. - (STRUCT_VALUE{,_INCOMING}): Put the value in 64(fp). - - * tm-sparc.h (PRINT_OPERAND_ADDRESS): Print offsets in decimal. - Avoid excess `+' before a negative offset. - - * stmt.c (expand_function_start): Create the return value rtl - before making the tail-recursion loop point. - - * combine.c (gen_lowpart_for_combine): Generate a paradoxical subreg - rather than a wider memref. - - * reload.c (push_reload): Extend last change to case where OUT != 0. - -Fri Sep 2 11:43:20 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * stmt.c (fixup_var_refs): Adjust last_parm_insn when deleting insns. - - * expr.c (emit_push_insn): calling memcpy, bump TEMP 2 pointers worth. - -Thu Sep 1 16:39:57 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * reload1.c (choose_reload_targets): Test for canceled reload - before looking inside reload_out. - - * jump.c (jump_optimize): Bug in last change. - - * m68k.md (return): Pattern disabled; confuses Aug 29 stmt.c change. - * ns32k.md, i386.md: likewise. - - * emit-rtl.c (emit_note_force): New, like emit_note but always do it. - * stmt.c (expand_function_end): Use emit_note_force. - -Wed Aug 31 11:34:08 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * reload1.c (alter_reg): New arg FROM_REG is hard reg that the pseudo - was spilled from. Works with spill_stack_slot. Callers changed. - Now all pseudos spilled from one hard reg get the same slot. - (reload): Initialize new variable spill_stack_slot. - - * cse.c (cse_insn): Don't insert floating point mems if -ffloat-store. - - * reload.c (find_equiv_reg): Allow no equivs for volatile memrefs. - Also none for floating mem refs if -ffloat-store. - - * output-sparc.c (output_mul_by_constant): make `p' and `log' unsigned. - -Tue Aug 30 13:47:12 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * jump.c (jump_optimize): Ignore other NOTEs while looking for - a NOTE_INSN_FUNCTION_END. - - * integrate.c (save_for_inline): Flush extra call to max_reg_num. - Don't copy NOTEs that are NOTE_INSN_FUNCTION_END. - (copy_for_inline): Don't copy NOTEs that are NOTE_INSN_FUNCTION_END. - - * stmt.c (optimize_bit_field): If bit field is SRC, strip subregs - from the DEST. + * STACK_ARGS_ADJUST: Arg is now a `struct arg_data' and it should + be updated in place. + * tm-mips.h: Define it. + * expr.c (expand_call): Adapt to this. Assume padding comes after args + so turn off the feature of changing the args' offsets. + (emit_library_call): Adapt to this. - * expmed.c (expand_mult): Special case for -1 as one operand. + * tm-mips.h (PRINT_OPERAND): Use CONST_DOUBLE_{LOW,HIGH}. + Truncate SFmode constants to single precision. -Mon Aug 29 12:14:51 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-typeck.c (mark_addressable): Fix test for local vs global reg var. - * stmt.c (expand_goto_internal, expand_fixup): New arg LAST_INSN. - (expand_return): Pass that arg in tail-recursive case. - (other callers): Pass 0 for that arg. - (expand_null_return): Handle HAVE_return nonzero w/ FUNCTION_EPILOGUE. - (expand_null_return_1): New fn, has guts of old expand_null_return. - (expand_return): Call expand_null_return_1 to pass LAST_INSN arg. - (expand_return): Handle HAVE_return nonzero w/ FUNCTION_EPILOGUE. - (expand_function_{start,end}): Likewise. - (expand_cleanups): Fix typo in recursive-list case. - (move_cleanups_up): New fn. + * config.gcc: Change `:-' to `-' in var refs. + Shell on convex doesn't handle `:-'. - * expr.c (expand_call): Execute cleanups_of_this_call on exiting. - Notice calls to __builtin_new (but don't do anything about them yet). +Thu Apr 6 00:09:01 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * reload.c (push_reload): If reloading a (SUBREG (MEM ...) ...), - really reload just the MEM in the MEM's own mode. + * integrate.c (expand_inline_function): Compare actual's mode + against formal's DECL_ARG_TYPE's mode, not TREE_TYPE's mode. - * sparc.md: Define patterns for insns that set the ccs. - Define set-flag insns. - New patterns for indexed load, and for optimizing signed bit fields. - (mulsi3, umulsi3): Give "r" constraint to operand 0. - Peephole optimizers recognize some cases where delay insns are safe. - Changed patterns for call and return insns as well. + * c-decl.c (implicitly_declare): Make the decl permanent if + in global binding level. (Can happen for certain invalid input.) - * output-sparc.c (single_insn_src_p): New fn. - (output_delay_insn): New fn. + * c-typeck.c (build_modify_expr): Block path that made a MODIFY_EXPR + containing an ERROR_MARK. - * tm-sparc.h (TARGET_EPILOGUE): New target flag. - (NOTICE_UPDATE_CC): New clause for funny PARALLEL with a REG in it. + * config/tm.h: New file. - * m68k.md (movqi): Use *'s to ensure preferencing d-regs. + * loop.c (only_reg_use_p): Fix bugs in recursion, add some fast + special cases. Comment on return value was backwards. + (strength_reduce): Negate the value of only_reg_use_p. - * c-parse.y (datadef): If traditional, no warning about no specs. + * genoutput.c (output_prologue): Output `#include hard-reg-set.h'. + * Makefile: insn-output.o depends on that. -Sun Aug 28 14:34:33 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * toplev.c (main): Typo recognizing -Wswitch. - * tm-i386.h: Define PROMOTE_PROTOTYPES. - POINTER_BOUNDARY now 32. + * config.gcc (mips): New alternative. + * tm-mips.h, out-mips.c, mips.md, va-mips.h: New files. + * varargs.h: Include va-mips.h if on mips. - * regclass.c (reg_scan): Compute `max_parallel', max # of sets and - clobbers in any insn in this function. - * global-alloc.c (global_conflicts): Use that, not MAX_SETS_PER_INSN. +Wed Apr 5 16:58:04 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * stmt.c (expand_asm_operands): MAX_SETS_PER_INSN limits # output ops. + * c-decl.c (duplicate_decls): Rename OLD, NEW to OLDDECL, NEWDECL. - * emit-rtl.c (init_emit_once): Make elt 2 of {f,d}const0_rtx nonzero. + * stmt.c (expand_function_start): Ref subr instead of + current_function_decl; should make no difference. - * c-decl.c (lang_decode_option): Handle -Wwrite-string. - * c-parse.y (combine_strings): If that flag, make array of const char. + * stmt.c (assign_parms): Do extra padding for some parms, + controlled by MAX_PARM_BOUNDARY. + * expr.c (expand_call): Same thing for caller side. + Note this is implemented only for machines that lack push insns. + Also, in both cases, it doesn't handle variable-size args. - * expr.c (expand_expr): for INTEGER_CST, always use immed_double_const; - never do output_constant_def (it didn't work). - Also heed WORDS_BIG_ENDIAN. +Tue Apr 4 12:22:06 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * varasm.c (output_constant): Handle integer CONST_DOUBLEs. - (output_constant_def): Abort if arg is an INTEGER_CST. + * gcc.c (find_file): Try STANDARD_EXEC_PREFIX for startfiles too. - * emit-rtl.c (gen_rtx): Don't return {f,d}const0_rtx for DImode. + * varasm.c (make_decl_rtl): Delete never-executed clause. -Sat Aug 27 12:37:23 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * spur.md (movqi, loadhi, extend*, zero_extendhisi): + Make subregs with C code, not RTL patterns, so we can + avoid generating subreg of subreg. - * c-decl.c (pushdecl): Global extern decls set TREE_PUBLIC - like local ones. + * optabs.c (emit_cmp_insn): Not all clauses always succeed, + so stop using `else' structure. - * integrate.c (expand_inline_function): Handle parms that were - passed in registers but whose homes are on the stack. + * stmt.c (expand_return): Avoid moving void to void, in cleanups case. - * varasm.c (force_const_mem): Output ints according to spec'd mode. - ({record,compare}_constant_rtx,const_hash_rtx,decode_rtx_const): - Take mode as argument; pass it along. +Mon Apr 3 18:04:33 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * c-parse.y (read_escape): No warning for `\{' or `\['. + * m68k.md (cmphi): Don't allow a-reg vs a-reg, since that sign-extends. + If there is one a-reg, make sure it is not last. -Fri Aug 26 12:23:07 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Sun Apr 2 13:02:26 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * stmt.c (fixup_memory_subreg): Typo calculating big-endian adjust. + * stor-layout.c (agg_mode): Use highest mode that has desired size. + Allow all integer modes, but reject sizes > MAX_FIXED_MODE_SIZE. + (That defaults to the size of DImode.) - * vax.md (call_value): Handle >255 args as in `call'. + * machmode.def: Add PSI, PDI and XF, CXF modes. -Thu Aug 25 16:00:51 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Sat Apr 1 00:50:11 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * jump.c (delete_jump): Don't delete the cc-setter if it has autoinc. + * ns32k.md (ashd, lshd): Delete patterns that logand the count with 31. + The shift count is not truncated on this machine. -Wed Aug 24 16:33:37 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * combine.c (subst): Simplify nested or's, nested xor's. + (try_distrib): XOR doesn't distribute through anything. - * expr.c (expand_expr): For sun with a COND_EXPR, use SUBTARGET - if validate_subtarget says ok. + * rtl.c (rtx_equal_p): Don't die on null pointers. - * tree.c (build_index_type): make_index_type moved here and renamed. + * loop.c (eliminate_biv): Use COMPARE, not MINUS, in generated compare. - * combine.c (move_deaths_2): New function. - (try_distrib): Use that, not move_deaths. + * loop.c (invariant_p): Mem refs in constant pool are invariant. - * tm-sparc.h (SHIFT_COUNT_TRUNCATED, STORE_FLAG_VALUE): Define them. + * c-decl.c (redeclaration_error_message): If -traditional, allow + redeclarations of typedef provided they agree. - * tm-sparc.h: FUNCTION_{PRO,EPI}LOGUE: Save room for ins and - locals to spill to the frame if any ins *or* locals are live. + * c-decl.c (start_decl): Do expand_decl on the decl that pushdecl + returns. If there was a prev. decl with a different type, + we have changed its type and cleared its old rtl, so it need new rtl. - * tm-sparc.h (NOTICE_UPDATE_CC): Delete the clause that always - cleared the cc's for unrecognized insns. +Sat Apr 1 00:50:11 1989 Matthew Self (rms at sugar-bombs.ai.mit.edu) - * reload1.c (reload_as_needed): Don't try to use a spill-reg - in a basic block that wasn't spilled: ignore optional reloads. + * expr.c (convert_move): Modified to use mode classes + instead of refering to specific machine modes. -Tue Aug 23 09:45:05 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * expr.c (do_jump): Converted to use CONST0_RTX macro. + do_jmp no longer refers to any machine modes directly except + for VOIDmode! - * output-sparc.c (output_scc_insn): New function. + * expr.c (compare, compare1): Modified to use CONST0_RTX + macro. No longer refers to any machine modes directly + except VOIDmode and BLKmode! - * expr.c (expand_builtin, alloca): Round result of alloca - up to a multiple of STACK_BYTES. + * machmode.def: Documented assumptions made about the order + of machine modes during mode widening. - * toplev.c (compile_file): Default main_input_filename is cc1 input. + * optabs.c (expand_binop, expand_twoval_binop, expand_unop, + emit_cmp_insn): Added mode widening which is independent of + specific machine modes. It assumes that we may widen to any + higher numbered mode of the same mode class. + NOTE: the checks for VOIDmode ops which were present in + QI and HI to SI widening are now present in all widening. + I assume this is correct. Also, widening is now possible + from QI to HI. This may or may not be a good thing.... - * tm-i386.h (FUNCTION_BOUNDARY): 32 avoids extra prefetch. + * rtl.h (CONST0_RTX): Added definition of new macro + CONST0_RTX (mode). - * i386.md (movdi, movdf): Add `&' where needed in constraints. + * rtl.h (GET_NOTE_INSN_NAME, GET_REG_NOTE_NAME): New macros. + * rtl.c (note_insn_name, reg_note_name): New tables. + * rtl.def (NOTE): Change last field from `i' to `n'. + * rtl.c (print_rtx): Print mode of INSN_LIST or EXPR_LIST as reg-note. + Print operand code `n' as name of kind of note. + (read_rtx): treat `n' like `i'. -Mon Aug 22 11:57:51 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * loop.c (struct induction): Add `mode' field. + (strength_reduce, record_giv): Set the `mode' field in V. + (can_eliminate_biv_p, eliminate_biv): Use that field. - * symout.c (symout_finish): Allocate typevector after the symout_types. + * loop.c (struct iv_class): `init_insn' records what inits the biv. + Replaces `init_val_set' flag. + (strength_reduce): Update and test `init_insn' instead. + Use of a biv between its init and the start of the loop + does not preclude its elimination from the loop. + Setting a giv is ok for eliminating a biv, even if giv is "ignore", + since that just means giv will be combined with another. + Handle some DEST_ADDR givs for that purpose. + Test for giv-setting before check can_eliminate_biv_p. + New error check for replaceable giv whose value needed after loop. + (only_reg_use_p): New fn. -Sun Aug 21 16:10:54 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * expr.c (expand_expr): PLUS, MINUS with EXPAND_SUM: + Associate even harder. - * tm-3b1.h (ASM_FORMAT_PRIVATE_NAME): Use a `_' as well as `%'. + * loop.c (strength_reduce): Treat all constant biv init vals like ints. - * expr.c (expand_expr): Typo setting MODE for MAX_EXPR. + * loop.c (strength_reduce): Clear all_reduced when v->ignore is set; + the code to check this later didn't always do the job. - * Makefile (stage*): If ln fails, copy gnulib to stage*. - (realclean): Do `clean' and then some. - (install): new var USER_H specifies headers to copy. + * loop.c (verify_loop): Set loop_continue. + (scan_loop): mention its value. + * rtl.h: Define NOTE_INSN_LOOP_CONT. + * stmt.c (expand_loop_continue_here): Output one. - * c-typeck.c (build_binary_op_nodefault): LT_EXPR, etc. - on ptr vs int failed to set result_type. - (build_conditional_expr): Don't replace nonzero int - with null_pointer_node. +Fri Mar 31 10:08:29 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * combine.c (remove_links, try_distrib): New fns. - (subst): New simplifications for ZERO_EXTEND, SIGN_EXTEND. - (combine_instructions): Call try_distrib. - (FAKE_EXTEND_SAFE_P): Allow SUBREGs. + * c-typeck.c (pointer_int_sum, pointer_diff): Treat const void * like + void *. - * m68k.md (non-FPA pattern for floatsisf2): Typo, had DF for SF. + * rtl.c (rtx_addr_varies_p): Don't die on null exp. + * cse.c (refers_to_mem_p, refers_to_p): Likewise. -Sat Aug 20 12:04:37 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * gcc.c (validate_switches, validate_all_switches): New fns. + Mark a switch as valid if any compiler spec or the linker spec + matches it, even for languages not being used. - * integrate.c (copy_address): Variant of copy_rtx_and_substitute. - (copy_rtx_and_substitute): Use copy_address for MEM address that - doesn't satisfy memory_address_p. +Thu Mar 30 00:22:14 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * reload.c (find_reloads): If force_reload set, don't set WIN - for a MEM even if `m', `o' or `g' in constraint. + * loop.c (loop_optimize, move_movables): when moving a `clr' insn used + in zero-extension, sometimes change it to an `and' so that the + significant low bits are not clobbered. - * i386.md (expendqihi2): Typo in asm template. + * cccp.c: Implement __BASE_FILE__ and #once. + (savestring): New fn. + (struct file_name_list): new name for struct directory_stack. + (enum node_type): Add T_ONCE, T_BASE_FILE. + (directive_table): Add #pragma once. + (initialize_builtins): Add __BASE_FILE__. + (special_symbol): Handle __BASE_FILE__, together with __FILE__. + (do_include): Ignore the file if it's on the #pragma once list. + (do_once): New fn; add current file to #pragma once list. - * toplev.c (rest_of_compilation): Call clear_const_double_mem. - * varasm.c (init_const_rtx_hash_table): Don't call it here. - (immed_real_const): Don't record the rtx in the REAL_CST node. - (force_const_double_mem, clear_const_double_mem): Use cc0_rtx, not 0, - as flag for a CONST_DOUBLE not on the chain. + * cccp.c (do_include): Don't add non-ex files to list of deps. - * cccp.c (handle_directive): If traditional, do scan strings - but accept unterminated ones. - (collect_expansion): -traditional: Don't recognize comments in strings. - Stringify arguments that appear within strings. - (skip_quoted_string): -traditional: Always exit at newline. - (macroexpand): -traditional: Don't put `"'s around stringified arg. - (macarg): Set stringified_length accordingly. + * config.gcc: Use {...:-...}, not {...=...}. - * c-decl.c (duplicate_decls): Avoid error redeclaring fcn after - implicit decl if -traditional. + * c-parse.y: Add precedence for IF/ELSE, and for parens; + avoids some conflicts. - * toplev.c (announce_function, report_error_function): - Change communication logic between these fcns. + * tm-newsgas.h: Include tm-news.h and define USE_GAS. - * c-decl.c (lang_decode_options): Handle -Wall here. - * toplev.c (main): not here. + * tm-news.h: New name for tm-news800.h. + If not USE_GAS, define SONY_ASM. + Don't define USE_GAS by default. + (CPP_PREDEFINES): Various alternatives depending on processor type. + (ASM_FORMAT_PRIVATE_NAME): Override this. + (ASM_IDENTIFY_GCC): Override; output nothing. + (FUNCTION_PROLOGUE, FUNCTION_EPILOGUE): Round fsize up to % 4. + Max for halfword link insn is 32k, not 64k. + (FUNCTION_EPILOGUE): Don't output move.l if no regs to restore. + (PRINT_OPERAND_ADDRESS): Change handling of tableref pc-rel addresses. + * m68k.md (movhi): Add SONY_ASM conditional. - * tm-bsd386.h: Don't include tm-i386.h--be like tm-att386.h + * cse.c (cse_insn): If replacing a dest address, preserve MEM_IN_STRUCT -Fri Aug 19 11:08:36 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * gcc.c (error, fatal): alternate varargs defns if HAVE_VPRINTF. - * config-sun4.h: If sparc, include config-sparc.h. - Never include alloca.h. +Wed Mar 29 09:54:13 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * tm-m68k.h (TARGET_SWITCHES): Define `-mc68020', `-mc68000'. + * gcc.c (process_command): Check WORD_SWITCH_TAKES_ARG, so that + -Tdata can be handled right. - * c-decl.c (init_decl_processing): If traditional, use signed sizetype. + * stmt.c (check_for_full_enumeration_handling): new fn, for warn_switch + (expand_end_case): Call it, if orig index was enum. + * toplev.c (main): Handle -Wswitch. + * c-parse.y (SWITCH stmt): Pass orig switch expr to expand_end_case. - * gcc.c (main): Use stderr for printing version. + * tm-*.h, out-*.c: Uniformly use reg_names, not reg_name, and don't + define any duplicates. + * final.c: Delete reg_name. -Thu Aug 18 14:42:36 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-parse.y (is_reserved_word): Add keywords __asm and __inline; + also __const and __volatile. + (yylex): Keywords that start with `__' are recognized regardless of + -traditional or -ansi. - * Version 1.26 released. + * c-parse.y (check_newline): Always recognize #ident. + Macro IDENT_DIRECTIVE is no more. + If ASM_OUTPUT_IDENT is undefined, don't output anything for #ident. + * tm-3b1.h: Don't define IDENT_DIRECTIVE or ASM_OUTPUT_IDENT. + * tm-encore.h, tm-i386gas.h, tm-i368v.h, tm-sun386i.h, tm-vaxv.h: + Don't define IDENT_DIRECTIVE; define ASM_OUTPUT_IDENT to output in + default way. - * m68k.md (movsi): Constraint change for fpa regs. + * expr.h (RETURN_IN_MEMORY): New macro, default defn here. + * expr.c (expand_call): Use it to control where to return value. + * stmt.c (expand_function_start): Likewise. - * reload1.c (choose_reload_targets): Clear reg_reloaded_contents - for all regs of a multi-reg group. + * out-sparc.c (find_addr_reg): Abort if none found. + Eliminate confusion; do only one change between tests for PLUSness. + (output_move_double): Arg to find_addr_reg is address, not mem ref. + * out-m68k.c, out-spur.c, out-i386.c, out-alliant.c: Likewise. - * reload.c (find_equiv_reg): HARD_REGNO_NREGS wants mode, not size. - Check properly for overlap against multiword reload regs. + * jump.c (find_cross_jump): Don't let either E1 or E2 be included + in the range of matching insns preceding the other (E2 or E1). -Tue Aug 16 14:54:18 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-parse.y (check_newline): No error for `#pragma\n'. - * varasm.c, expr.c (immed_double_const): immed_real_const_2 renamed. + * Makefile (gcc.o): Control STANDARD_STARTFILE_PREFIX here. - * tm-i386.h (SFVALUE): Should be `double'. - * tm-i386v.h (SFVALUE): Don't override it. + * stmt.c (walk_fixup_memory_subreg): handle null. - * tm-i386.h (ASM_OUTPUT_ASCII): Don't define it. - * tm-att386.h: Definition moved here. + * tm-sparc.h (FUNCTION_BLOCK_PROFILER): Change LPBnn to LPYnn, + to avoid conflict with final.c. - * tm-bsd386.h: New file, for Sequent. - * tm-seq386.h: New file, for Sequent. - * config-i386.h: New file, for Sequent. +Tue Mar 28 15:23:17 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * expr.c (push_block): Take account of STACK_POINTER_OFFSET. - (expand_call): Therefore need not do so here. + * cccp.c (do_include): If fail, print system error message. + (perror_with_name): Use more standard error format. Inc. `errors'. - * optabs.c (expand_fix): Typo if going via DImode. + * dbxout.c (dbxout_function): Output any temporary types + that were made by dbxout itself. - * reload1.c (choose_reload_targets): Don't * reload_reg_rtx if 0. + * stmt.c: always use an epilogue if pcc-struct-return. + (expand_function_start): Compute return_label after testing that. + (expand_function_end): Output a return insn after pcc-struct-return + processing, if there is a return insn. + (expand_null_return): Don't output a return insn, in that case. + Simplify the conditions--depends entirely on HAVE_return. -Mon Aug 15 01:11:49 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * tm-m68k.h (FUNCTION_BLOCK_PROFILER): Use jsr, not call. - * integrate.c (copy_for_inline): Don't try copying 0-length vector. - (copy_rtx_and_substitute): Likewise. + * reload.c (find_reloads): Certain mem addresses will be offsetable + after reloading; in particular, those where reg_equiv_address applies. - * m68k.md (andsi3): use clrw instead of andw #0. + * loop.c (check_dbra_loop): Change MINUS to COMPARE. - * print-tree.c (walk): Don't omit permanent nodes reach from temps. + * c-typeck.c (convert_for_assignment): Return THE standard error_mark. - * m68k.md (zero_extend...): Reinstall the old zero-extend insns - without names, so they can help the combiner. +Thu Mar 23 09:39:02 1989 Richard M. Stallman (rms at watson) - * expr.c (expand_expr): Don't use hard regs as subtargets. - * combine.c (FAKE_EXTEND_SAFE_P): Always consider MEMs safe. - * reload.c (find_reloads): For (SUBREG (MEM ...)) set force_reload. + * c-parse.y (components): Error if empty. - * c-parse.y (redescape): Don't warn for `\('. + * dbxout.c (dbxout_symbol): Output const variables as N_STSYM. - * reload.c (find_reloads_address): #if was backwards. + * varasm.c (force_const_mem): Use ASM_OUTPUT_DOUBLE_INT if defnd. -Sun Aug 14 16:52:22 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-decl.c (grokdeclarator): Warn about `long long long'. - * c-typeck.c (shorten_compare): Change switch to chain of ifs. + * reload1.c (reload): When changing REG to MEM, clear REG_USERVAR_P. + * final.c (alter_subreg): Preserve volatile bit of MEM. - * tm-ns32k.h (PRINT_OPERAND): CONST_DOUBLE contains a double - even if it's SFmode. - (FUNCTION_PROLOGUE): If MAIN_FUNCTION_PROLOGUE defined, run it. + * m68k.md (cmpsi, cmphi): Permit cmpm. - * cccp.c (file_buf): Rename field `free' to `free_ptr'. + * gcc.c (find_file): Use standard_startfile_prefix_2. + Now search /usr/local/lib/, /lib/ and /usr/lib/. - * Makefile (ALLOCA, MALLOC, LIBDEPS): New variables for easier - customization. Executables depend on LIBDEPS instead of OBSTACK1. - (cccp): Deps and libs now work like the others. + * tm-m68k.h (PRINT_OPERAND): Support code `d'. + * m68k.md (cmpsi, cmphi, cmpqi): Use it for all mem addresses. - * output-i386.c (notice_update_cc): Rewritten for clarity. + * final.c (output_asm_insn): Don't allow %LETTER without an + operand number. + * tm-m68k.h, m68k.md, tm-hp9k320.h, tm-news*.h: Use %@ instead of %s. + * tm-alliant.h, alliant.md: Likewise. + * i386.md, out-i386.h: Put `0' after each %L, %W, %B, %S, %Q, %R. - * tm-i386.h (OUTPUT_JUMP): If CC_IN_OVERFLOW, abort. + * stmt.c (expand_end_stmt_expr): Pop pending stack args. - * recog.c (push_operand): Test for stack_pointer_rtx. + * varasm.c (assemble_variable): For 0-size common variable, + allocate at least 1 byte. - * integrate.c (copy_rtx_and_substitute): Don't submit push-operands - to `memory_address'--it would lose on machines where pushing is - a special insn, not an addressing mode. + * tm-encore.h (ASM_OUTPUT_DOUBLE, PRINT_OPERAND): Use 0f, not 0l, + for doubles. - * output-i386.c (top_dead_p): No more redundancy--that didn't work. - Now one method if optimized, one for call_insns if noopt, one for - other insns if noopt. - (call_top_dead_p): fp_top_dead_p renamed - and only the call-insn clause remains. +Mon Mar 13 10:24:56 1989 Richard M. Stallman (rms at ccvi) - * i386.md (cmpsf, cmpdf): Output was backwards. - (", tstsf, tstdf): Set CC_IN_80387. - (incb pattern): Restrict allowable registers. - (movsf, movdf): Call top_dead_p only when absolutely necessary. - (call_value): Use top_dead_p, not subroutine. + * out-i386.h (function_prologue, function_epilogue): + Use call_used_regs, not a copy, so -f options work. + Save regs in the opposite order. + Save regs even starting from 0 if they happen to be call-saved. -Sat Aug 13 15:19:23 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * Bug fixes from Rob McMahon. - * stupid.c (stupid_life_analysis): If only 1 reg class, - call stupid_find_reg only once. + * loop.c (strength_reduce): When inserting insn to set + nonreplaceable giv, put it after all the consecutive insns + that compute it. - * stmt.c (expand_function_start): - Clear current_function_pretend_args_size. + * reload.c (find_reloads): When forcing const to mem, + use the insn's operand mode, not the const's mode. - * expr.c (store_constructor): If target is hard reg, go via a pseudo. + * reload1.c (choose_reload_targets): Use wider of inmode and outmode + when determining have_groups. - * varasm.c (real_constant_chain): Now static in this file. - (force_const_double_mem): Put R on chain if not already on. - (clear_const_double_mem): Set XEXP (,2) to 0; - also clear real_constant_chain and the chain links. - * emit-rtl.c (init_emit_once): Put 0 in XEXP (,2) of {d,f}const0_rtx. - * cse.c (canon_hash): For CONST_DOUBLE, ignore elts other than 0,1. + * reload1.c (choose_reload_targets): typo checked wrong insn with + constraint_accepts_reg_p. -Fri Aug 12 11:48:38 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * reload1.c (choose_reload_targets): Enable #if-0'd code for + forgetting old reloads in case of output reload from a non-spill-reg. - * reload1.c (order_regs_for_reload): Handle REG_ALLOC_ORDER more spots. +Sun Mar 12 00:04:49 1989 Richard M. Stallman (rms at ccvi) - * global-alloc.c (find_reg): error handling REG_ALLOC_ORDER; - also error skipping regs known to be hopeless. - * local-alloc.c (find_free_reg): error skipping hopeless regs. - * stupid.c (stupid_find_reg): likewise. + * c-parse.y (yyerror): Add forward-decl here. + * c-tree.h: Delete decl here. - * local-alloc.c (qty_compare_1): typo, had q1 for q2. + * New macro USE_C_ALLOCA. + * cse.c (cse_main): Do alloca (0) to clear out C alloca. + * flow.c (life_analysis): + * local-alloc.c (local_alloc): + * reload1.c (reload_as_needed): likewise. - * expr.c (expand_expr): Don't use supplied target when optimizing - arithmetic using a comparison or conditional; that target could be - needed for the result of the comparison. + * loop.c (emit_iv_init_code, eliminate_biv): + Always put constant in a PLUS last. - * reload1.c (reload): Don't set reg_equiv_constant for hard regs. + * gcc.c (make_switch): Unused function deleted. - * stupid.c (stupid_life_analysis): Ignore reg R if regno_reg_rtx[R]==0. + *gcc.c (switches): Each switch has a `used' field. + (process_command): Init it to 0 when making `switches'. + (do_spec_1, handle_braces, give_switch): Set to 1 when switch is used. + (main): If it remains 0 at the end, print error message. - * symout.c (symout_finish): Use perm. links in permanent_fwd_refs. + * expr.c (convert_move, convert_to_mode): Don't truncate a MEM in + place if it is volatile. - * i386.md (movhi, movqi): Check no_labels_between_p. + * loop.c (strength_reduce): When reducing a giv, if the biv is + incremented between the giv's creation and its use, increment + the reduced giv var *after* its use. -Thu Aug 11 10:44:46 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-decl.c (duplicate_decls): Warn about proto vs nonproto + only if no other errors apply. - * c-parse.y (yylex): Out-of-range float is just a warning. + * jump.c (invert_exp): Don't crash if arg is null. - * tm-gnx-v3.h: New file for Genix. - * ns32k.md (movsi, call, call_value): GNX_V3 conditionals. - * tm-ns32k.h (PRINT_OPERAND_ADDRESS): Changes for Genix. + * alliant.md (float*i*f2): Don't allow immediate ops. + (sne): Fix typo, fsne => fsneq. - * ns32k.md (insv patterns): Operand 0 is read-write. + * expr.c (store_one_arg, expand_call): When size doesn't matter, + pass const0_rtx, not (rtx) 0. - * i386.md (tstsf, tstdf): Don't push the arg if already in st(0). + * expr.c (do_jump): Args to invert_exp were missing. - * varasm.c (output_constant_def): If EXP is permanent, the rtl is too. + * gcc.c (store_arg): Now 2 separate args for delete-on-success + and delete-on-failure. All calls changed. + (do_spec_1): DELETE_THIS_FILE is meaningful for output files. - * tm-*.h (ASM_OUTPUT_{LOCAL,COMMON}): New 4th arg, rounded size - vs unrounded size. - * varasm.c (assemble_variable): Pass new arg. - * symout.c (symout_init): Likewise. + * config/xm-alliant.h (LINK_SPEC): Pass -X to linker. - * cccp.c (rescan): Don't let char const cross lines. - (skip_quoted_string, macarg1, discard_comments): Likewise. +Sat Mar 11 10:30:41 1989 Richard M. Stallman (rms at ccvi) - * expr.c (expand_expr, VAR_DECL case): handle flag_force_addr. + * tm-*.h, xm-*.h, *.md: Moved to subdir `config'. + * output-*.c: Moved to `config/out-*.c'. + * Makefile (.c.o): Define rule to use -Iconfig when compiling. + (various): Delete the commands from some compilation rules. + Put -Iconfig in other compilation commands. + Also some reordering of variable defs and comments for cleanliness. + (realclean): Change a shell comment to a Make comment. - * tm-i386v.h (TAREGT_DEFAULT): Assume 80387. - * config-i386v.h (alloca): Use __builtin_alloca under GNU C. + * fold-const.c (fold): Simplify and extend TRUTH_... operators + knowing that args must be ints and values will be 0 or 1. -Wed Aug 10 11:23:06 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * gcc.hlp: New file (for VMS). - * reload.c (find_reloads): Alternative loses - if it has no regs for a reg operand. + * reload1.c (reload): Don't let two 2-groups overlap. - * tm-sun3.h (STARTFILE_SPEC): Define, for fpa's sake. - * tm-m68k.h: New hard regs, reg classes, reg class letters, - target flag and switch, operand syntax and CC handling for fpa. - * m68k.md: Add fpa insn patterns. - * output-m68k.c (standard_SunFPA_constant_p): New fn. - (output_move_const_{single,double}): Handle fpa regs. - (singlemove_string): Handle fpa regs. + * reload.c (push_reloads): When a plain reg matches a reload + for an increment, don't change the reload_in to a plain reg. + Leave the increment there. - * stmt.c (fixup_memory_subreg): Result had wrong mode. + * integrate.c (expand_inline_function): Don't try to inline + unless the parm machine modes really match what's expected. - * ns32k.md (insv patterns): Adjust bit-number along with address. + * stmt.c (emit_case_nodes): default_label is an rtx, not tree. - * sparc.md (negdf2, absdf2): Order of the words was backwards. + * tm-next.h (DOLLARS_IN_IDENTIFIERS): Define it as 1. - * reload1.c (new_spill_reg): End confusion about meaning of 1st arg. - Arg counted_for_nongroups had wrong type. + * output-sparc.c (output_move_double): Don't trust random structs + to be double-word aligned. - * tm-m68k.h (FUNCTION_{PRO,EPI}LOGUE): Round frame size to word bdry. + * gcc.c: Pass -Wcomments to cpp. -Tue Aug 9 07:53:59 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * rtl.def (ASM_OPERANDS): New operands, source file and line. + * rtl.h (ASM_OPERANDS_*): New macros for components of ASM_OPERANDS. + * stmt.c (expand_asm_operands): Use new fields, not REG_ASM_* notes. + * toplev.c (error_for_asm): likewise. + * rtl.h (enum reg_note): Delete REG_ASM_FILE, REG_ASM_LINE. - * tm-i386.h (ASM_OUTPUT_ASCII): Don't lose the sign bit. + * combine.c (try_combine): Check explicitly for volatility in I2, I1. - * tm-i386v.h (STARTFILE_SPEC, LIB_SPEC): Use crt1.o, crtn.o. +Fri Mar 10 19:30:10 1989 Richard M. Stallman (rms at ccvi) - * stmt.c (fixup_var_refs_1): fixup all memory subregs. + * c-parse.y (GOTO stmt): Set TREE_USED for the label. + * c-decl.c (poplevel): Warn about unused label. - * reload1.c (choose_reload_targets): Don't strip paradoxical - subregs from values to be reloaded. + * c-decl.c (warn_pointer_arith, warn_strict_prototypes): New vars. + (lang_decode_options): Options to set them. + * c-typeck.c (pointer_int_sum, c_sizeof): Maybe warn if bad target. + * c-decl.c (grokparms): Maybe warn if nonprototype fn decl. - * cccp.c: Comment out text after #endif. + * flags.h, toplev.c (warn_shadow): New flag. + * toplev.c (main): Decode it. + * c-decl.c (pushdecl): Maybe warn about any shadowing. + Existing parm-shadowing warning now disabled if shadowing decl + is also a parm. - * c-parse.y (init): Allow empty braces as init; warn if pedantic. + * flags.h, toplev.c (warn_id_clash, id_clash_len): New flags. + * toplev.c (main): Decode -Wid-clash-LEN. + * tree.c (get_identifier): Implement warning if two idents match. - * c-decl.c: Move C-specific options from toplev.c. - * c-tree.h: Move their externs from flags.h. - * c-decl.c (lang_decode_option): New fn called by `main'. - * toplev.c (sorry, really_sorry): New error reporting fns. - * c-decl.c (language_string): New var, name of this language. + * toplev.c (compile_file): Warn about statics defined and unused. - * c-parse.y: Don't include flags.h. - * dbxout.c: Do include it. + * rtl.h (CONST0_RTX): New macro. - * dbxout.c (dbxout_type): Handle function fields and static fields - and basetypes. Handle METHOD_TYPE and REFERENCE_TYPE. - Abort on unexpected tree code. - (dbxout_args): New fn to output prototype arg types. - (everywhere): Use IDENTIFIER_LENGTH instead of strlen. - (dbxout_type_name): Cleanup; avoid strlen. + * recog.c (offsetable_address_p): New 1st arg says whether to demand + a strictly valid address. + (offsetable_memref_p): Pass nonzero. + * stmt.c (optimize_bit_field): Pass zero. - * local-alloc.c (reg_is_set): Don't call {post_,}mark_life for pseudos. + * cccp.c (main): Allow -Wcomment like -Wcomments. + * c-decl.c (lang_decode_options): Likewise. - * tree.h (TYPE_BASECLASSES): New field in type nodes. +Sun Mar 5 15:02:59 1989 Randall Smith (randy at apple-gunkies.ai.mit.edu) - * ns32k.md (insv patterns): Was adjusting the address wrong. + * m68k.md [tstdf, cmp[sd]f, truncdfsf2, floatsi[sd]f2, add[sd]f3, + sub[sd]f3, mul[sd]f3, div[sd]f3, neg[sd]f2, abs[sd]f2]: Made sure + that the test function's in the match_operands of the define_expand + and define_insn's matched, and made that test function + "register_operand" when both define_insn's really needed registers + in that spot. - * c-decl.c (grokdeclarator): Just a warning for inline varargs fn. +Sat Mar 4 00:25:37 1989 Richard M. Stallman (rms at c2v) -Mon Aug 8 08:16:46 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * expr.c (emit_push_insn): Don't ever bypass the big-endian + padding at the end. - * varasm.c (immed_real_const_2): Guts of creating a CONST_DOUBLE. - * expr.c (expand_expr): Use that for 64-bit int constants. + * cccp.c (deps_output): Break line if would otherwise exceed 75 chars. + Make a name for that value 75. - * loop.c (invariant_p): Don't check x->unchanging; it's not safe. + * combine.c (subst): Handle general case of (subreg (sign_extend X)). - * c-typeck.c (build_indirect_ref): Handle flag_volatile here - so that it propagates to component_refs. - * expr.c (expand_expr): No need to handle it here. + * tm-sun386i.h (CPP_PREDEFINES): Define `sun'. - * integrate.c (save_for_inline, expand_inline_function): - Set up insn_map to record mapping of old uids to copied insns. - (copy_for_inline, copy_rtx_and_substitute): Map 'u' refs via insn_map. + * fixincludes: change `find' calls to find dirs thru symlinks. - * emit-rtl (emit_label, emit_barrier): Return what was emitted. + * flow.c (mark_set_1): (set (subreg (reg N))...) + does make reg N significant for this basic block. - * sdbout.c (sdbout_filename): Split off from sdbout_init. - * tm-encore.h, tm-3b1.h, tm-vaxv.h, tm-att386.h (ASM_FILE_START): - Call sdbout_filename. +Fri Mar 3 13:55:25 1989 Richard M. Stallman (rms at c2v) - * toplev.c: Better messages for invalid options. + * c-decl.c (parmlist_tags_warning): Print an explanation + for the first such warning. - * tm-m68k.h (PRINT_OPERAND_ADDRESS): Handle labelref+basereg. + * i386.md (extendsfdf): Let op 1 match op0 if that is an fp reg. - * tm-3b1.h (PUT_SDB_DIM): Override sdbout's definition. - (ASM_FORMAT_PRIVATE_NAME): Override tm-hp...s definition. - (PUT_SDB_PLAIN_DEF): Prepend `~' to specified name. - (SDB_GENERATE_FAKE): Prepend `~'. + * expr.c (expand_call): Fix stupid errors copying pcc struct value. - * gcc.c: Include config.h before obstack.h. + * varasm.c (output_constructor): Discard NOP_EXPRs from build_c_cast. -Sun Aug 7 11:17:56 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Thu Feb 23 05:55:57 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * stor-layout.c (layout_decl): Do nothing with CONST_DECL. - Treat FRIEND_DECLs like variables. - (layout_record): Handle VAR_DECLs and FUNCTION_DECLs in the fieldlist. - Handle basetypes (almost like fields). - (layout_type): Handle REFERENCE_TYPE and METHOD_TYPE. + * Version 1.34 released. - * tree.c (temp_tree_cons): New fn. - (array_type_nelts, simple_cst_equal): New fns. - (lvalue_p): CALL_EXPR is an lvalue if it returns REFERENCE_TYPE. - () Manage TYPE_REFERENCE_TO. - (TYPE_HASH_SIZE): Bigger. - (type_list_equal): Compare the TREE_PURPOSE fields. - (build_reference_type, build_method_type): New fns. + * c-typeck.c (build_c_cast): If EXPR is an error mark, return that. - * stmt.c (block_stack): Add field `cleanups' to each element. - (expand_{start,end}_bindings, expand_decl): Update that field. - (stack_block_stack): Now includes blocks that have cleanups. - (goto_fixup_chain): Add field `cleanup_list_list'. - (expand_goto_internal): Execute cleanups for blocks being exited. - (expand_fixup): Make a fixup if any block has cleanups. - (fixup_gotos): New args CLEANUPS and DONT_JUMP_IN. - Execute cleanups for blocks being exited, or add to cleanup_list_list. - (expand_end_bindings): New arg DONT_JUMP_IN. Execute any cleanups. - (expand_decl): New arg CLEANUP. - (expand_cleanups, fixup_cleanups): New functions. - * c-decl.c: Calls to expand_decl pass new arg. - * c-parse.y: Calls to expand_end_bindings pass new arg. + * fold-const.c (div_and_round_double): Abort if divisor is 0. + (combine): Likewise, for real constants. + (real_zerop): New subroutine. + (fold): Don't try to fold division if divisor is 0. + Don't try to fold reals if can't do arithmetic on them. + Don't try to compare reals for TRUTH_..._EXPR if can't do arith. + Use real_zerop to test reals for zeroness. + For TRUTH_ANDIF_EXPR and TRUTH_ORIF_EXPR, can simplify based on + first operand alone. - * stmt.c (expand_return): Handle INIT_EXPR, or bare RESULT_DECL. + * c-typeck.c (store_init_value): Fix error msg text. - * stmt.c (case_stack): Add field `has_default' to each element. - (pushcase,expand_end_case): Maintain and use that field. + * tm-sparc.h (FUNCTION_PROFILER): Use `mcount'. + * tm-sun4os3.h (FUNCTION_PROFILER): Override it; use `.mcount'. - * stmt.c (pushcase): Handle RANGE_EXPR cases. - (pushcase_range): Create RANGE_EXPR cases. +Wed Feb 22 04:33:22 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * final.c (final): Always pass 3 args to ASM_OUTPUT_CASE_END. - * tm-3b1.h: Delete offending spaces. + * tm-hp9k320.h (CPP_SPEC, CPP_PREDEFINES): Make handling of + -Dmc68000 depend on TARGET_DEFAULT. -Fri Aug 5 16:17:16 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * tm-sparc.h (FUNCTION_PROFILER): Missing newline in fprintf. - * integrate.c (copy_rtx_and_substitute): Don't make fp+reg+const - without an intermediate temporary reg. + * integrate.c (expand_inline_function): Don't map struct-value-address + in memory if fn does not use it. - * print-tree.c (dump): Don't print an identifier's chain. + * c-parse.y (check_newline): At skipline, detect eof. - * toplev.c (compile_file): Treat `.i' suffix like `.co'. + * stmt.c (uninitialized_vars_warning): Change text of warning. - * gcc.c: New config macro CC1_SPEC: extra switches for cc1. - Make a new spec for `.i' files. +Tue Feb 21 03:58:50 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * c-decl.c (pushdecl, finish_decl): Delete duplicate tests. + * output-sparc.c (output_mul_insn): Handle case of both args + in reg 8, or both in reg 9. - * varargs.h: Maybe include va-sparc.h or va-spur.h. - * va-sparc.h: New file. - * va-spur.h: renamed file. + * tm-sparc.h (ASM_SPEC): Define, to handle -pipe. - * tree.h ({TYPE,DECL}_LANG_SPECIFIC): Types and decls can point to - language-specific structures containing other info. - * print-tree.c (dump): Hooks for printing the language-specific - data in types and decls. + * tm-sparc.h (FUNCTION_PROFILER): Add omitted fprintf args. + (BLOCK_PROFILER): Likewise. Use tempvar. -Thu Aug 4 08:54:30 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * m68k.md (QImode btst): Allow nonoffsetable mem refs. - * tree.def: Add some tree codes for C++. +Mon Feb 20 00:32:42 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * Rename files: parse.[yh] -> c-parse.[yh], decl.c -> c-decl.c, - typecheck.c -> c-typeck.c. - Part of tree.c split out to c-convert.c. + * flow.c (mark_used_regs): Don't record about global reg vars. - * expr.c (push_block): No longer static. - (expand_expr): Handle REFERENCE_EXPR and INIT_EXPR. - (expand_call): Turn a METHOD_TYPE to a FUNCTION_TYPE. - This is probably not all that is required. + * config.gcc (convex-*): tm file names are tm-convex1.h, tm-convex2.h. - * parse.y (yylex): Use p->rid to check for `signed' and `inline'. + * tm-vax.h, tm-ns32k.h, tm-alliant.h: Define PCC_STATIC_STRUCT_RETURN. - * tm-sparc.h (ASM_OUTPUT_SOURCE_LINE): typo. + * gcc.c (compilers): Pass `-a' to cc1. + * tm-sun3.h, tm-sparc.h (LIB_SPEC): Define, to handle `-a'. - * sparc.md: Add a pattern for andcc. - (cmpsf): Clobber reg 32 in DFmode. - (branches): There are no unsigned floating branches; abort. - (bgt): Correct name of floating variant. - (mov?i): Load small constants via mov. - (movdf for constants): Use mov, not add, to move regs. - (movsf, floatsi*, fix*): Simplify reg-to-reg-via-mem move generation. - (trunc*): Use mov, not or, to move regs. - (negsi2, one_cmplsi2): Avoid "neg" and "not" assembler syntax. - (call...): Generate "call" insns; handle #-reg-parms value. - * Define some peepholes for return insns. + * expr.c (emit_push_insn): Copy stack addresses to be passed to bcopy; + old method of preadjustment is broken by changes in emit_library_call. - * tm-sparc.h (TARGET_SUN_ASM): New target flag. - (TARGET_DEFAULT): Now 1. - (FRAME_POINTER_REQUIRED): Now 1. - (STARTING_FRAME_OFFSET): Now -16. - (LEGITIMATE_CONSTANT_P): Only CONST_DOUBLEs fail. - (FUNCTION_{PROLOGUE,EPILOGUE}): Rewritten. + * c-decl.c (finish_decl): New temp `temporary'; don't get confused + about whether allocation was temporary. - * output-sparc.c (small_int): Test for int that mov can load. - (singlemove_string): Use mov, not add. - (output_move_double): Changes for overlap and for use of ldd, std. - (output_fp_move_double): Use ldd, std when safe. - (make_f0_contain_0): Simplify. +Sun Feb 19 17:03:35 1989 Chris Smith (csmith at mozart) - * integrate.c (expand_inline_function): Some special CALL_INSN - handling no longer needed due to REG_FUNCTION_VALUE_P. + * tm-convex.h: define PCC_STATIC_STRUCT_RETURN - * m68k.md (movqi): Constraints allow moving areg to areg. + * convex.md: + remove pshea patterns, movsi does it better. + add ashift:DI abs:DF abs:SF + (tstdi): use a clobbered register instead of a bogus DImode zero. + (trunchiqi2): delete noninstruction cvth.b + (udivsi3, udivhi3, udivqi3): deleted, expand_divmod does it now. + (call, call_value): delete stupid call/ret -> jump optimization. + (call, call_value): flush call_ap_check, use reg_mentioned_p instead. -Wed Aug 3 08:29:31 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * convex.md: (movxx): swap constraint alternatives so that the + leftmost alternative is (set =g r). This makes (set mem const) + get combinable input reloads of const instead of uncombinable + output reloads to mem. They still do not combine, but wtf, + I'll inch up on it. - * Version 1.25 released. + * output-convex.c: (const_double_{high,low}_int): new routines + to pick apart const_doubles for assembler. - * integrate.c (expand_inline_function): Don't let MEM be inline_target. +Sun Feb 19 01:40:17 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Tue Aug 2 09:13:37 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * sparc.md (shift memory right 24 bits): Another `a1' typo. - * integrate.c (INTEGRATE_THRESHOLD): New macro, default dfn here. - (function_cannot_inline_p): Use it. + * config.gcc (convex-*): Delete troublesome whitespace. - * rtl.h (REG_FUNCTION_VALUE_P): New macro. - * stmt.c (expand_function_start): Set that flag in the return reg. - * integrate.c (expand_inline_function, copy_rtx_and_substitute): - Test that flag to test for the return value. - * expmed.c (expand_fixed_bit_field, expand_mult, expand_divmod): ditto. - FUNCTION_VALUE_OUTGOING_REGNO_P no longer needed. + * c-decl.c (grokparms): Delete redundant `parm != 0' tests. -Mon Aug 1 02:46:08 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * stmt.c (fixup_memory_subreg): Slight simplification. - * integrate.c (copy_rtx_and_substitute): If NO_FUNCTION_CSE, - don't break out constant fcn addresses here. + * tm-sparc.h (FUNCTION_PROFILER): Fill delay slot. + (FUNCTION_BLOCK_PROFILER): Use sethi. + (BLOCK_PROFILER): Use %g2, not %g0. Use sethi. - * expmed.c (expand_fixed_bit_field): Tests of FUNCTION_VALUE_REGNO_P - were backwards. +Sat Feb 18 02:11:25 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Sun Jul 31 13:10:07 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) + * expr.c (expand_expr): Ignore const array's initial value + if it's an error_mark. + * c-decl.c (finish_decl): Set DECL_INITIAL to an error_mark + if the decl is a permanent node. - * recog.c (indirect_operand): New function. + * cccp.c (rescan): If traditional, if macro ends inside string, + keep scanning for the end of the string. + (handle_directive): A line of just `#' becomes blank. + (collect_expansion): \ in strings traditionally doesn't hide macro arg. - * output-i386.c (print_operand): define %*. eliminate %s. - (fp_top_dead_p): In nonopt case, skip stack-adjusts while looking - for the insn that uses the function value. + * m68k.md, alliant.md (addsi3): New alternative a=r+a, in addition + to old a=a+r, needed since reload-insns are not commuted. - * varasm.c (text_section, data_section): New functions. - Replaced explicit printfs elsewhere with calls to them. - * final.c (final_start_function): Use these fns. - * sdbout.c (sdbout_one_type): Use text_section. - * tm-att386.h (ASM_OUTPUT_LOCAL): Use data_section. +Fri Feb 17 03:15:23 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * expr.c (prepare_call_address): Don't pass const via reg if no -O. + * tm-m68k.h (PCC_STATIC_STRUCT_RETURN): Define it. + * toplev.c, flags.h: New var flag_pcc_struct_return. + * stmt.c (expand_function_start): Obey new flag and new variable. + * expr.c (expand_call): Obey new flag and new variable. + * varasm.c (assemble_static_space): New function. - * tm-sparc.h (FUNCTION_{PROLOGUE,EPILOGUE}) Round the size of saved - registers. Fix bug counting saved registers. + * stmt.c (expand_return): If we need cleanups, compute retval first + into pseudo reg, then do the cleanups, then copy it to return reg. - * tm-sparc.h (ASM_OUTPUT_SOURCE_LINE): Define this macro. +Thu Feb 16 02:59:52 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * tm-sparc.h (DEFAULT_SIGNED_CHAR): Now 1. + * regclass.c (init_reg_sets_1): Win if STATIC_CHAIN_REGNUM undefined. - * expr.c (expand_builtin, alloca case): Adding stack offset needs - special code if TARGET is a MEM. + * expr.c (expand_call): Handle conflict between two precomputed + args that are both function calls returning structures. - * dbxout.c (dbxout_init): Define Ltext: after the reference to it. + * loop.c (move_movables): Bkwds test of m->partial, for a matching reg. - * tm-3b1.h (ASM_OUTPUT_CASE_LABEL): `short 0' triggers assembler bug; - `short L%nn-L%nn' supposedly works. + * expr.c (emit_library_call, expand_call): Handle STACK_ARGS_ADJUST. -Sat Jul 30 00:25:52 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Wed Feb 15 01:59:15 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * sparc.md (floatsidf2): Minor change in output. - (fix_trunc{sf,df}si2): Similar. + * toplev.c (flag_caller_saves): New var, for -fcaller-saves. + DEFAULT_CALLER_SAVES controls initial value. + * global-alloc.c (find_reg): Do caller saves only if flag set. + * local-alloc.c (find_free_reg): Do caller saves only if flag set. + * tm-alliant.h, tm-convex.h: Define DEFAULT_CALLER_SAVES. - * output-sparc.c (output_fp_move_double): Minor change in output. +Wed Feb 15 01:59:15 1989 Chris Smith (rms at sugar-bombs.ai.mit.edu) - * stmt.c (assign_parms): Don't count stack space for struct value - address if the function does not have one. + * caller-save.c: New file. + * regs.h (CALLER_SAVE_PROFITABLE): New macro. + (reg_n_calls_crossed): new int-vector replaces reg_crosses_calls. + * flow.c (allocate_for_life_analysis, propagate_block, dump_flow_info): + Use reg_n_calls_crossed. + * stupid.c (stupid_mark_refs, stupid_life_analysis): Likewise. + * global-alloc.c (find_reg): Sometimes allocate call-clobbered regs + for call-crossing pseudos. + New arg ACCEPT_CALL_CLOBBERED; callers changed. + * local-alloc.c (find_free_reg): Similar changes. + (qty_n_calls_crossed): New int-vector replaces qty_crosses_calls. + (alloc_qty, local_alloc, combine_regs, find_free_reg): change that var. + * regclass.c (call_fixed_regs, call_fixed_reg_set): new vars. + (init_reg_sets_1): Initialize them. + * reload1.c (reload): Call caller-saves processing if needed. - * sdbout.c: Output .dim's and total size for arrays. - Detect bit-fields properly. - Changed handling of structure tags. +Wed Feb 15 01:59:15 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * reload1.c (new_spill_reg): counted_for_nongroups is a new arg; - store 1 in it if this reg is needed for max_nongroups. + * expr.c (expand_expr): INTEGER_CST for DImode: don't handle + endianness here. So CONST_DOUBLE_LOW is always the low word. + * varasm.c (force_const_mem): Handle it here. - * reload1.c (choose_reload_targets): Allow inheritance of DFmode - if it needs only one register. + * expr.c (convert_move): widening followed by extendsidi2 had braino. - * reload1.c (choose_reload_targets): Delete the death-note from the - store-insn of an inherited reload if PRESERVE_DEATH_INFO_REGNO_P. + * integrate.c: Don't include ctype.h; not needed and kills Sun cpp. - * reload.c (push_reload): Crash if PREFERRED_RELOAD_CLASS is NO_REGS. - (find_reloads): Smarter handling of forcing CONST_DOUBLE into mem. - Check PREFERRED_RELOAD_CLASS & do this if it says NO_REGS. + * m68k.md (cmpsf, cmpdf and their recognizers): + Replace MINUS with COMPARE. + Also, use VOIDmode for COMPAREs, not SF or DF. - * reload.c (subst_indexed_address): Handle case with 2 regs - and no constant term. + * optabs.c (sign_expand_binop): Handle ops such as division where + an unsigned char could be widened and handled with signed int insns. + * expmed.c (expand_divmod): Use that. - * local-alloc.c: New variable qty_n_refs, set from reg_n_refs - and tested in qty_compare{,_1}. - (combine_regs): Update qty_n_refs. - Update qty_preferred_or_nothing more intelligently. + * c-typeck.c (digest_init): Allow for type variants in validating + initialization from a string constant. - * regclass.c (regclass, reg_class_record, record_address_regs): - Count the number of refs to each reg along with the costs, - and use it when computing the preferred_or_nothing flag. - (Can't use reg_n_refs since that is weighted by loop depth). + * c-typeck.c (decl_constant_value): Disable opt. if pedantic or + outside functions, so that validity of program is never affected. - * global-alloc.c (global_alloc): Enable test of OVERLAPPING_REGNO_P - for setting no_global_alloc_regs. + * fold-const.c (fold): Signedness-test for ABS_EXPR was backwards. - * expr.c (prepare_call_address): Use force_reg, so it gets a REG_EQUIV. +Tue Feb 14 01:30:47 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * optabs.c (can_{fix,float}_p): Return enum insn_code, not a function. - (init_{fix,float}_tab): Store enum insn_code's in fixtab and floattab. - (expand_{fix,float}): Change calls to can_{fix,float}_p. - Also, use emit_unop_insn to make the actual insns. + * cccp.c (main): Don't omit normal output, if we want deps on + a separate stream. -Fri Jul 29 02:42:40 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-decl.c (grokdeclarator): Don't record any arg types for functions + if -traditional. - * cccp.c (initialize_char_syntax): If dollars_in_identifiers is 0, - set entries for `$' to 0. - Set entries to 1 rather than incrementing them. + * print-tree.c (prtypeinfo): Mention permanent attribute. -Tue Jul 26 11:14:22 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * tm-next.h: New file. - * varasm.c (assemble_variable): Make SDB output only if top-level. + * c-typeck.c (decl_constant_value): The DECL_INITIAL may be ERROR_MARK. - * local-alloc.c (reg_is_set): Arg to mark_life is regno, not qty. + * c-decl.c (duplicate_decls): For fns, new static decl overrides + old non-static one. - * output-ns32k.c (print_operand_address): New flag SEQUENT_BASE_REGS - * tm-sequent.h: Define that flag. + * emit-rtl.c (gen_lowpar, gen_highpart): Use change_address, so we + preserve volatility, etc. - * Makefile: add some missing deps. + * stmt.c (expand_expr_stmt): Use emit_filename, emit_lineno + as file and line for any warning. + * emit-rtl.c (emit_line_note): Set those vars. - * tm-encore.h (ASM_FILE_START): Changed to do nothing. + * c-decl.c (store_parm_decls): If -Wimplicit, warn of arg with no decl. - * sdbout.c (sdbout_init): Fix two dumb errors. + * recog.c (offsetable_address_p): Use strict_memory_address_p, + since called from reload.c. - * sdbout.c (sdbout_end_epilogue): No longer takes arg. - Examine current_function_decl here, not in caller. - * final.c: Call changed. +Mon Feb 13 03:11:50 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Mon Jul 25 01:32:54 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * sparc.md (compare-to-reg patterns): Some still had MINUS. - * stor-layout.c (layout_record): Handle PCC_BITFIELD_TYPE_MATTERS. + * toplev.c (main): Warn if `-a' on system that can't handle it. - * tm-3b1.h (__PTR_TO_INT, __INT_TO_PTR): Define these, to alter - parts of obstack.h. + * stmt.c (expand_asm_operands): Delete unused local `val'. + (pushcase_range): Likewise for `value'. + (fixup_var_refs): Likewise for `insn'. + * emit-rtl.c (start_sequence): Likewise for `save'. + * loop.c (scan_loop): Likewise for `before_start'. + * expr.c (expand_expr): Delete label `binop1'. -Sun Jul 24 17:56:53 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * reload1.c (constraint_accepts_reg_p): Handle SUBREGs of REGs. - * Padding for an arg may now go below or above it; new macro - FUNCTION_ARG_PADDING can now choose which, or can inhibit padding. - This makes for compatibility with PCC. - * expr.h: Default definition of that macro. - * expr.c (emit_push_insn): Put the padding above or below. - (expand_call): Don't count the padding if none wanted. - * stmt.c (assign_parms): Adjust parm stack addr if padded below. - Don't count the padding if none wanted. - * tm-3b1.h: Define FUNCTION_ARG_PADDING: no padding for > 4 bytes. +Sun Feb 12 05:37:46 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * final.c (alter_subreg): Now returns the altered value - (but may still modify the original structure). - Handles (SUBREG:DI (CONST_DOUBLE:DF...)) by returning the CONST_DOUBLE. + * gnulib.c (__bb_init_func): New function - * m68k.md (DImode push): now allows `F'. - * ns32k.md (movdi): now allows `F'. + * tm-m68k.h (BLOCK_PROFILER, FUNCTION_BLOCK_PROFILER): Defined. - * tm-m68k.h (FIX_FRAME_POINTER_ADDRESS): - Handle indexed references to frame pointer. - * tm-i386.h, tm-m88k.h, tm-sparc.h: Likewise. +Sat Feb 11 00:05:55 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * cse.c (predecide_loop_entry): Must search for the loop top label. + * tm-sparc.h (FUNCTION_PROFILER): Make it really work. + (BLOCK_PROFILER, FUNCTION_BLOCK_PROFILER): New macros. -Sat Jul 23 08:53:01 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) + * final.c (final): Use BLOCK_PROFILER at start of each basic block. + (final_start_function): Use FUNCTION_BLOCK_PROFILER if -a. + (end_final): New fn to output the block-profiling tables. + * toplev.c (profile_block_flag): Set if -a. + (compile_file): Call end_final. - * parse.y (yylex): typo in wide strings. + * combine.c (try_combine): Avoid combining in most cases if I3 + has an inc or dec and I1 or I2 uses the same register. - * tm-vaxv.h, config-vaxv.h: New files for sysV on vax. + * tree.c (size_in_bytes, int_size_in_bytes): Use type's main variant. - * config-sun4.h: If sparc and not compiling with GCC, include alloca.h. + * c-typeck.c (actualparameterlist): Error if parm type is incomplete. -Fri Jul 22 02:38:02 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) + * expr.c (expand_call): Ignore args that have incomplete type. - * tree.c (build_real_from_int_cst): CHECK_FLOAT_VALUE at proper place. +Fri Feb 10 02:26:02 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * tm-hp9k320.h ({TEXT,DATA}_SECTION_ASM_OP): Should not include a tab. - * final.c (final_start_function): Don't output a tab before those. + * c-parse.y (case stmts): strip dummy NOP_EXPRs. - * sdbout.c (PUT_SDB_EPILOGUE_END): New macro. - * sdbout.c (sdbout_end_epilogue): New function to output the C_EFCN. - Like former sdbout_mark_end_function. Uses that macro. - * final.c (final_end_function): Call that function. - * tm-3b1.h: Override PUT_SDB_EPILOGUE_END like the other PUT_SDB... + * reload1.c (reload_as_needed): Clear reg_{has,is}_output_reload here, + (choose_reload_targets): not here. - * tm-3b1.h (PRINT_OPERAND_ADDRESS, ASM_OUTPUT_INTERNAL_LABEL, - ASM_OUTPUT_CASE_{LABEL,END}): Put a % in names of internal labels. - (ASM_GENERATE_INTERNAL_LABEL, ASM_OUTPUT_ADDR_{VEC,DIFF}_ELT): - New macros, for same reason. - (FUNCTION_PROFILER): New macro, for % and also to put addr in a0. +Thu Feb 9 01:35:55 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * final.c (output_source_line): For fcn's first line, use lineno 1. - * sdbout.c (sdbout_end_function): Clear sdb_begin_function_line - so can recognize first line of next function. + * output-sparc.c (output_mul_by_constant): Forget cc status. - * sdbout.c (sdbout_init): Output the .file pseudo here. - * tm-3b1.h, tm-att386.h (ASM_FILE_START): Don't do it here. + * stmt.c (assign_parms): Don't put volatile parms in regs. - * sdbout.c (PUT_SDB_VAL): Output leading tab, like the other macros. - * tm-3b1.h (PUT_SDB_VAL): Likewise. + * vax.md (jlbs/jlbc recognizers): Move them before jbc/jbs recognizers. - * regclass.c (regclass): Cast enums to int, not char. - * varasm.c (record_constant): Likewise. Avoids 3b1 PCC bug. + * cse.c (fold_rtx): Handle (EQ (COMPARE ...) (CONST_INT 0)). - * decl.c (pushdecl): Better choice of error message for extern/static. + * c-typeck.c (default_conversion, digest_init): For static const + nonvolatile scalar variable, use its initial value if known. - * emit-rtl.c: Do look for STRUCT_VALUE_INCOMING_REGNUM. + * expr.c (expand_expr: case COMPONENT_REF): If containing structure + comes out volatile, leave the component MEM volatile too. -Thu Jul 21 02:13:03 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * hard-reg-set.h: Fix multi-word case macros to swallow semicolon. - * cse.c (canon_hash): CONST_INT case failed to add to prev. value - of HASH; was inconsistent with cse_insn mem address hashing. + * c-typeck.c (default_conversion): In array=>ptr, volatility + of target type comes from TREE_THIS_VOLATILE, not TREE_VOLATILE. - * m68k.md (divide insns): Alternate 3B1 syntax for `swap' insn. + * reload1.c (forget_old_reload_1, choose_reload_targets): + New array reg_is_output_reload is converse of reg_has_output_reload. + forget_old_reload_1 needs both. -Wed Jul 20 18:27:10 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Wed Feb 8 01:26:24 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * m68k.md: In shift-by-24 patterns, rejects autoincrement memrefs - since they are mode-dependent. + * reload1.c (forget_old_reloads_1): New fn, guts of forget_old_reloads. + Do process a spill reg if it isn't used for reloading in this insn. + (forget_old_reloads): Deleted, replaced with note_stores. + (reload_as_needed): Undo Feb 1 change. + Call forget_old_reloads_1 on pseudos autoincremented and not reloaded. -Tue Jul 19 13:01:38 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-typeck.c (convert_for_assignment): Handle variant types. - * parse.y (check_newline): Handle #ident by writing .ident to output. - * cccp.c: Don't handle #ident; delete IDENT_DIRECTIVE conditionals. + * c-decl.c (lang_decode_option): -Wall implies -Wunused. - * stmt.c (expand_end_case): In compares, put constant arg second. +Tue Feb 7 01:32:28 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * jump.c (jump_optimize): Delete conditional jump if followed by - an unconditional jump to the same place. + * combine.c (try_combine): Don't try adding outputs to an asm_operands. -Mon Jul 18 17:49:13 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * cse.c (CHEAPER): Don't ever let a hard reg get ahead of a pseudo. - * emit-rtl.c (init_emit_once): Now STRUCT_VALUE_INCOMING is an - expression for an rtx. It can make a MEM. Likewise STRUCT_VALUE - for outgoing structure value addresses. + * stmt.c (fixup_gotos): Don't crash on undef label if THISBLOCK is 0. - * stmt.c (assign_parms): If incoming struct addr on stack, leave room. - * expr.c (expand_call): If outgoing addr on stack, push it like an arg. + * c-decl.c (parmlist_tags_warning): New fn. + * c-parse.y (parmlist, parmlist_or_identifiers): Call it, + to warn about any tags defined inside the parmlist. + * c-decl.c (grokparms): Don't warn about ptr to incomplete type. + The new warning is better. - * PROMOTE_PROTOTYPES means if proto says `char', pass `int'. - * decl.c (get_parm_info): Alter DECL_ARG_TYPE to do this. - * typecheck.c (actualparameterlist): Convert value for this. - * tm-m68k.h: Define PROMOTE_PROTOTYPES. +Mon Feb 6 01:11:36 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Sun Jul 17 14:25:47 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * expr.c (store_constructor): Incorrect ALIGN arg in store_field calls. - * jump.c (jump_optimize): peephole can delete insns following INSN. - Set NEXT after peephole. + * c-parse.y (%union): Delete unused alternative. - * decl.c (finish_decl): Always restart perm alloc if global. + * c-decl.c (grokparms): Use main variant to test for ptr to incomplete. - * stmt.c (assign_parms): When a float is passed as double, store the - float in low-numbered word. Avoids trouble with parm_map in integrate. + * c-decl.c (finish_enum): Delete superfluous init for `pair'. - * vax.md: New pattern for decrement and compare against -1. + * cse.c (fold_rtx): Optimize X+0, X-0 in floating point. + Fix typo in PLUS case; omitted value to compare GET_MODE_CLASS against. + (equiv_constant): Allow CONST_DOUBLE. -Sat Jul 16 14:18:00 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * cse.c: Optimize past if-statements that are known to fail. + (cse_insn): If condjump becomes uncond to end of this block, + set cse_skip_to_next_block. + (cse_basic_block): If that happens, ignore rest of block, and maybe + treat next block as part of this one (if tables have room). + Resume insn that starts next basic block to be scanned. + (cse_main): Make room for at least 500 qtys. + (cse_end_of_basic_block): Subroutine broken out of cse_main. - * decl.c (pushdecl): Ignore previous decl if it's really an error_mark. + * c-parse.y (hash, is_reserved_word): Rewrite: new hash technique. - * stmt.c (expand_start_case): Make sure case_stmt.start is a NOTE. + * c-decl.c (duplicate_decls): Be smart about proto vs nonproto mismatch + involving a function definition. - * combine.c (subst): In the simplification for - (set (zero_extract ...) (and/or/xor (zero_extract ...) const)), - require same memory location in both extracts. +Sun Feb 5 17:31:12 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * *386*: New files. + * alliant.md (movdi): Typo in `fmoved'. + (ftruncsf2): Handle moving into fp reg. - * cse.c (fold_rtx): Save time in memory address if it didn't change. - Don't replace cheaper expression with coslier one. - (cse_insn): Reenable generation of REG_WAS_0. It wasn't obsolete. + * jump.c (jump_optimize): Typo in testing PRESERVE_DEATH_INFO_REGNO_P. - * cccp.c: `ident' has 5 letters. + * reload1.c (choose_reload_targets): Move all death notes to the + output reload insn. - * final.c (output_source_line): SDB can't handle multiple source - files, so ignore line-NOTEs for other files. + * m68k.md (fix_truncsfsi2,fix_truncdfsi2): Use accurate rtl pattern. - * hard-reg-set.h: New var reg_class_size (# regs in the class). - * regclass.c (init_reg_class): Set it up. + * loop.c (delete_insn_forces): Use presence of REG_RETVAL to check + for value-of-library-call insn. - * reload.c (find_reloads): If an earlyclobber is in a class of size 1 - as an output, reload it as input instead of as output. +Sat Feb 4 18:17:56 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * reload1.c (choose_reload_targets): Improve elimimation of spilled - pseudos made dead by reloading: if pseudo is limited to one block - and that block contains just stores, delete all the stores. + * integrate.c (expand_inline_function): Make addresses of stack + slots valid somehow. - * reload1.c (choose_reload_targets): reg_has_output_reload is now - static and survives through reload pass. - (forget_old_reloads): Don't cancel data on spilled regs of output - reloads of the insn just made. + * tm-3b1.h (DIVSI3_LIBCALL, etc.): Define these macros; avoid gnulib. - * sdbout.c (sdbout_one_type): Go to .text before defining a type. - (sdbout_block): Test against do_block was backwards. + * expmed.c (store_bit_field): Avoid (subreg (mem)) when converting + VALUE1 to SImode. - * stmt.c (expand_end_function): New args to make a NOTE for last line. - * decl.c (finish_function): Pass the args. + * jump.c (jump_optimize): Do delete USE and CLOBBER insns. + This is needed for proper jump optimization. - * rtl.c (no_labels_between): New function. - * vax.md (movsi): Call it. + * rtl.def (COMPARE): New code. + * *.md (compare and related patterns): Use COMPARE, not MINUS:VOID. + * loop.c (eliminate_biv, can_eliminate_biv_p): Likewise. + * cse.c (fold_rtx, fold_cc0, cse_insn): + * output-m88k.c (output_{f,}compare, output_store): + * output-sparc.c (strict_single_insn_op_p, single_insn_src_p, safe_insn_src_p): + * combine.c (subst): + * jump.c (jump_back_p): - * print-tree.c (dump): Don't follow chain of a decl. +Fri Feb 3 18:34:27 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * rtl.c (volatile_refs_p): Moved from flow.c. + * output-i386.c (notice_update_cc): If arith insn sets the cc's, + discard all remnants of previous cc value and flags. -Fri Jul 15 13:36:20 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) + * sparc.md (ashiftrt mem by 24): Fix typo `a1'. - * sdbout.c (PUT_SDB...): Allow config to override any of them. - * sdbout.c (PUT_SDB_{BLOCK,FUNCTION}_{START,END}): New macros. - * tm-3b1.h: Override all of them. - * sdbout.c (SDB_GENERATE_FAKE): New macro to create dummy tag name. - (gen_fake_label): Use SDB_GENERATE_FAKE. - * tm-3b1.h: Override its defn. +Thu Feb 2 14:55:44 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * sdbout.c (sdbout_mark_function_end): Unused; deleted. + * output-sparc.c (output_mul_insn): Clear the CC status. - * tm-3b1.h: Define SDB_DEBUGGING_INFO. +Wed Feb 1 20:01:54 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Thu Jul 14 01:55:15 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) + * Version 1.33 released. - * config-sunv4.h: New file for Sunos version 4. + * reload1.c (reload_as_needed): On entering new basic block, + if it didn't need reload regs, forget all inherited contents of those. - * tm-sun3.h (CPP_SPEC): Define mc68010 or mc68020, depending. + * tm-alliant.h (NOTICE_UPDATE_CC): Floating moves don't set the cc's. + Also delete the clauses and tests for FPA regs. -Tue Jul 12 15:31:30 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Tue Jan 31 21:51:05 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * stmt.c (expand_fixup, expand_goto_internal): New functions to - emit a jump that can restore the stack level, even without tree node. - (expand_null_return, expand_exit_loop, etc.): Use expand_goto_internal. - (expand_end_function): Do fixup_gotos after emitting return_label. + * config.gcc: Handle convex-c1, convex-c2. + * tm-convex1.h, tm-convex2.h: New files that include tm-convex.h. + * tm-convex.h: Define switches -mnoc1, -mnoc2. - * cse.c (predecide_loop_entry): Avoid using JUMP_LABEL. - * flow.c (find_basic_blocks): Avoid using JUMP_LABEL. + * config.gcc: rename `nofp' to `nfp', to match the file names. - * flow.c (insn_dead_p): Delete special case for stack-adjust insns. - (life_analysis): Mark those insns with INSN_VOLATILE here. - (mark_used_regs): a SET of a hard reg, in a volatile insn, - always makes its source live. +Mon Jan 30 22:12:15 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Mon Jul 11 10:46:26 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * output-sparc.c (output_delay_insn): Extract the operands, + call alter_subreg, constrain_operands and NOTICE_UPDATE_CC. + So callers other than output_eager_then_insn don't lose. + (output_eager_then_insn): No need to do that stuff. - * ns32k.md (floatqidf2): Commented out since assemblers warn about it. + * symout.c (symout_block_symbols): Handle (MEM (REG)) for + variable-sized arrays. -Sun Jul 10 11:49:23 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * tm-encore.h (ASM_SPEC): Always pass -j; avoid jump-range lossage. - * decl.c (xref_tag): Default the TYPE_MODE of enum xrefs - to avoid making MEM and REG with VOIDmode. +Sun Jan 29 17:06:26 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * vax.md (call): If > 255 args, pop them explicitly. + * alliant.md: Fix refs to CONST_DOUBLEs to use CONST_DOUBLE_{HIGH,LOW}. -Sat Jul 9 10:53:47 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * combine.c (subst): (minus (zero_extend ...) (const_int ...)) opt. + now limited to within the context of (set (cc0) ...). - * symout.c (symout_types): Fix up forward refs to previously - undefined structure types. - (filter_undefined_types): New function. - (symout_finish, symout_function_end): Output any never-defined structs. - * toplev.c (rest_of_compilation): call symout_function_end. +Sat Jan 28 14:26:08 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * parse.y: Don't declare errno if it's a macro. + * cse.c (fold_cc0): Missing `&' extracting CONST_DOUBLEs. + (fold_rtx): Don't put CONST_DOUBLEs together into a (CONST (PLUS...)). - * tm-hp9k320 (FUNCTION_PROFILER): Pass ptr in a0, not d0. + * output-convex.c (gen_cmp): Recognize CONST_DOUBLE as a constant. - * typecheck.c (truthvalue_conversion): Flush unnec recursive call. - (build_cond_expr): Bug testing zeroness of IFEXP with TREE_LITERAL. + * tree.c (build_real_from_int_cst): Typo in REAL_ARITHMETIC case. - * cse.c (fold_cc0): Constants not CONST_INT are certainly nonzero. - * fold-const.c (fold): ADDR_EXPR is not equal to zero. + * Makefile (bootstrap2): Don't use bootstrap3 as subroutine. - * cccp.c (macroexpand): Disable the macro even if traditional. - (rescan): Error if use a disabled macro. + * varasm.c (force_const_mem): Put the CONST_DOUBLE on the chain + if its MEM is stored in it; so it can be cleared at end of function. - * combine.c (try_combine): Don't substitute a different reg into - an auto-increment. Handle multiple REG_INC notes in I1 or I2. + * stmt.c (emit_case_nodes): Put a compare before each cond-jump. + Two cond-jumps after one cond is invalid and makes cse produce garbage. - * decl.c (implicitly_declare): Don't reuse old implicit decl. +Fri Jan 27 01:05:01 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * varasm.c (assemble_variable): Avoid syntax err if no DBX and no SDB. - * final.c (output_source_line): likewise. + * tm-sun2.h (CPP_SPEC): Define __HAVE_68881__ only if -m68881. - * fold-const.c (fold): PLUS/MINUS_EXPR: in case of cancellation, - convert result to original type. + * c-decl.c (start_decl): Don't expand_decl if DECL already has rtl. + (grokparms): If just declaring fcn, incomplete parm type is just + a warning, and don't discard the specified type. - * regclass.c (reg_class_record): Changed arguments include address - of entire vector of constraints. + * expmed.c (expand_divmod): Be smarter about not clobbering args + with intermediate results; one mem can clobber another, and a reg + can clobber a mem. -Fri Jul 8 07:59:00 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * tm-i386.h (FUNCTION_PROFILER): Use LPREFIX. May actually work now. + * tm-i386gas.h: Include tm-bsd386.h, not tm-att386.h. + This means changing asm syntax. + #undef DBX_NO_XREFS and DBX_CONTIN_LENGTH. - * reload1.c (reload): Find groups of more than 2 registers. + * sparc.md (eager branch peepholes): Don't forget 2nd arg to + safe_insn_src_p. + Don't print warnings. + * output-sparc.c: (strict_single_insn_op_p): Return 0 for floating + REG or MEM, since copying that may take 2 insns. + (operands_satisfy_eager_branch_peephole): require delay insn to + be strict_single_insn_op_p as well as safe_insn_src_p. + (operand_clobbered_before_used_after): Don't print warnings. -Thu Jul 7 08:33:07 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * varasm.c (decode_rtx_const): Clear entire structure incl. gaps. + Avoids spurious hash mismatches. + (force_const_mem): If CONST_DOUBLE, store its CONST_DOUBLE_MEM field. + Also look in that field rather than hashing, to save time. - * expr.c (emit_push_insn): Typo adjusting arg for bcopy - if not STACK_GROWS_DOWNWARD. + * c-typeck.c (build_c_cast): If value is literal, mark NOP_EXPR as so. + (store_init_value): Change error msg. - * gnulib.c (_cmpsf2): Value is int, not SFVALUE. + * c-decl.c (duplicate_decls): Classify prototype vs nonprototype + mismatches better. -Wed Jul 6 11:53:46 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * tm-3b1.h: Fix comment. - * tm-encore.h, tm-3b1.h: Replace ASM_FILE_START; output a .file. +Wed Jan 25 12:46:50 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * *m88*: New files for Motorola 88000. They don't really work. + * Makefile (cleanlinks): Use -f. -Tue Jul 5 14:40:03 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Tue Jan 24 17:54:16 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * local-alloc.c (combine_regs): Don't tie a reg to itself. + * cse.c (canon_hash): Fix paren error in last change. - * finxincludes: Make a variable LIB for the target dir. + * varasm.c (immed_real_const_1): Missing arg to bcmp. - * m68k.md (movhi, addhi3, addsi3): Micro-optimize choice of asm insns. +Mon Jan 23 02:43:45 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * expr.c (expand_expr): Use new macros NO_DEFER_POP, OK_DEFER_POP - in several places, to keep stack predictable. + * stor-layout.c (layout_type): BLKmode elts force array to be BLKmode. -Mon Jul 4 09:50:18 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * genpeep.c, genoutput.c, genemit.c: Put `#include "real.h"' in output. - * integrate.c (function_cannot_inline_p): Increase threshold size. + * stmt.c (expand_expr_stmt): No "no effect" warning for error-mark. - * flags.h (use_gdb_dbx_extensions): New variable. - * toplev.c: + * varargs.h: Rename implicit arg name to __builtin_va_alist + which triggers code in assign_parms. Does this really matter? - * sdbout.c (PUT_SDB_TAG): Delete duplicate defn. + * sparc.md (sne): New define_expand. + (seq recognizers): Handle sne as well. + * output-sparc.c ({strict_,}single_insn_src_p): + Some NEG and MINUS insns are actually 2 asm insns. + (safe_insn_src_p): No floating arith is safe; they can trap. + (eq_or_neq): New fn, for seq/sne recognizers. - * expr.c (expand_expr): For FIX_TRUNC_EXPR to unsigned short/char, - REALLY go via signed int. + * c-decl.c (grokdeclarator, size of array type): + Strip from SIZE any NOP_EXPRs that don't change anything. - * loop.c (may_trap_p): Was detecting floating arithmetic incorrectly. + * reload.c, recog.c: Include real.h so constraint macros can examine + CONST_DOUBLEs. - * tm-news800.h (CPP_PREDEFINES): Add sony and sony_news. +Sun Jan 22 04:12:54 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * parse.y (check_newline): Avoid infinite loop at eof. + * c-decl.c (init_decl_processing): Define __builtin_saveregs. + * tree.h: likewise. + * expr.c (expand_builtin): Handle it. -Sat Jul 2 10:35:17 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * tm-sparc.h: Define TARGET_EAGER and -meager. + * sparc.md (eager branch peepholes): Reenable, but test TARGET_EAGER. + Change fb insns to use %F. Delete `,a' from some of them. + * jump.c (jump_optimize): Don't delete USE and CLOBBER insns. - * Version 1.24 released. + * xm-vms.h (const): Define it as empty. - * stmt.c (expand_asm_operands): Produce proper no-outputs insn. - * recog.c (asm_noperands): Detect no-outputs insns. - (decode_asm_operands): Likewise. - * reload.c (find_reloads): Likewise (add case ASM_OPERANDS:). + * make-cccp.com: Move the rename of cexp_tab.c. + Compile cccp.c with no macro definitions. - * local-alloc.c (block_alloc): Tests of qty_compare were backwards. + * cccp.c (main): VMS conditional for setting max_include_len. - * flow.c (life_analysis): Turn off code that finds regs live at - function start and marks them not local to any basic block. +Sat Jan 21 12:53:00 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * cse.c (insert_regs): Fix typo (UNITS_PER_WORD). + * varargs.h (va_start): On sparc, call __builtin_saveregs. + Delete the old conditional that used va-sparc.h. + Rename macros and locals to start with two underscores. + * va-sparc.h: File deleted. - * cccp.c: Define max. + * c-decl.c (store_parm_decls): Initialize OTHERS. - * expr.c (expand_expr): Put each SAVE_EXPR's reg on save_expr_regs, - if not optimizing. - * stmt.c (expand_function_end): Mark each of those regs live - at the end and also retroactively at the beginning of the function. + * stmt.c (assign_parms): Obey layout_decl. - * output-vax.c (print_operand_address): New function from old macro. - * tm-vax.h (PRINT_OPERAND_ADDRESS): Call that function. +Fri Jan 20 02:19:32 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * config-vms.h: If not under GNU C, define X_OK, etc. + * cse.c (fold_rtx): For SYMBOL_REF and LABEL_REF, mask address + to 16 bits. - * expr.c (move_by_pieces_1): Use * to call GENFUN. - (expand_expr): Compare DECL_FUNCTION_CODE against an enum const. - (preexpand_calls): Likewise. - * genrecog.c (write_tree): Likewise. - * final.c (final): Use * to call the output function. - * reload.c (push_reload): Rename `noshare' to `dont_share'. + * tree.h (NUM_TREE_CODES): NUM_TREE_CODE renamed. - * genoutput.c (output_epilogue): Put more newlines in insn_outfun. - * genemit (gen_exp): Put in more newlines. +Thu Jan 19 13:53:24 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Fri Jul 1 00:23:57 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * c-typeck.c (mark_addressable): For global reg var, report error. + Now returns an int; value of 0 means caller should fail. + All calls (in this file) changed. - * global-alloc.c (allocno_compare): Avoid comparisons of floats - since that is sensitive to roundoff errors. + * stor-layout.c (layout_decl): Don't let an more than 1 word + of any aggregate go in any 1 register. (Needed for machines whose + integer regs are 64 bits). -Thu Jun 30 09:25:40 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * tm-convex.h, xm-convex.h, convex.md, output-convex.c: new files. - * sdbout.c (PUT_SDB_{DEF,TAG}): Use ASM_OUTPUT_LABELREF. - (PUT_SDB_PLAIN_DEF): New name for old defn of PUT_SDB_DEF - (sdbout_one_type): Use PUT_SDB_PLAIN_DEF for `.eos'. + * expr.c (convert_move): Use extendqidi2, etc. for converting + small ints to double ints. Use zero_extendsidi2 rather than + clearing the high half. - * tree.c (allocation_temporary_p): New fcn. - (all_types_permanent): New variable. - (make_node): If that's set, make each ...TYPE node permanent. - * decl.c (grokdeclarator): If traditional, make decl data permanent. - (finish_decl): Make the rtl permanent too. - * stor-layout.c (layout_type): If type is permanent, - make its layout data permanent too. +Wed Jan 18 01:20:52 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * cccp.c: Choose C++ or C at run time via var `cplusplus'. - Separate cplusplus_include_default from include_default. - Get GNU-specific include directory names from macros - GCC_INCLUDE_DIR and GPLUSPLUS_INCLUDE_DIR. - (main): Initialize based on CPLUSPLUS; `-+' sets it. - * Makefile: Set *_INCLUDE_DIR based on $(libdir). + * varasm.c (make_decl_rtl): If global `register' decl is invalid, + make ordinary non-register rtl. -Tue Jun 28 09:25:49 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * output-sparc.c (operand_clobbered_before_used_after): new fn. + (reg_clobbered_p, safe_insn_src_p): New fns. + (single_insn_src_p): Treat constants all as ok, even though not + always literally so. Also accept some SIGN_EXTENDs and ZERO_EXTENDs. + (strict_single_insn_src_p): New fn, like above but is strict + about constants and constant memory addresses. + (relop): New fn. + (output_move_double): Don't make a MEM, and don't use %m. + (output_delayed_branch): New name for output_delay_insn. + Now handle non-small constant operands. + Avoid duplicate loads of g1 for constant addresses. + Use recog_operand directly for output of the delay insn. + (output_delay_insn): Now a completely new fn. + (output_eager_then_insn, next_real_insn_no_labels): New fns. + (operands_satisfy_eager_branch_peephole): New fn. - * tree.c (copy_node): Round LENGTH up to multiple of sizeof (int). + * sparc.md: New peepholes for testing a recently used operand. + New peepholes for delayed branches, incl. conditional ones. + ** Some of them commented out because they seem not to work. + (andcc recognizer): Fix typo, missing %. + (bgt): Change bgt to bg in output. + (reversed jumps): Replace with one pattern using match_operand. + It uses %F to output the condition. + (movsi): For round-valued immed const, use just a sethi. + For other immed, use explicit sethi and or. + (movhi, movqi): use `move' for reg source or small int source. + For other immed, use explicit sethi and or. + (movsi, etc.): Handle all constant addresses like SYMBOL_REFs. + (movsf): Delete never-used duplicate code for constant addresses. + (addsi3, subsi3, cse'd multiply): Use sethi and or, rather than set. + (andsi3, iorsi3, xorsi3): Likewise. + (jump): Make an annulled branch. - * expr.c (emit_push_insn): Avoid using PUSH_ROUNDING if not defined. + * tm-sparc.h (PROMOTE_PROTOTYPES): Define this. + (GO_IF_LEGITIMATE_ADDRESS): Now accept all constant addresses; + also cleaned up. + (NOTICE_UPDATE_CC): Don't change the G1 status when storing in memory. + Assume all PARALLEL insns are peepholes. + (PRINT_OPERAND): New codes C and N for outputting conditions, + either forward or reversed. Also F for reversed floating. - * sparc.md (floatsisf2): Insert missing brace. - (mulsi3): Replace reg_o0_rtx, reg_o1_rtx. + * jump.c (delete_for_peephole): New function to delete range of insns. + * genpeep.c (gen_peephole): Output code to use this. - * tm-sparc.h: Define DBX_DEBUGGING_INFO. + * Makefile (install): Fix typo, had $${name} for $${file}. - * parse.y (yylex): If traditional, no error for out-of-range float. +Tue Jan 17 00:00:12 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * Makefile: Comment saying how to compile on an Apollo. + * i386.md (ashlsi3): Use addl or leal for special cases. - * tm-sparc.h (ASM_FILE_START): Switch to new calling convention. + * c-decl.c (grokdeclarator): Make a non-global VAR_DECL public + if it is external. - * decl.c (init_decl_processing): Create type nodes for 64-bit ints. - (grokdeclarator): use them for `long long'. Warn only if pedantic. + * masm386.c: Clean up formatting. - * optabs.c (init_optabs): Add missing DImode insn names. + * cse.c (fold_rtx): Typo simplifying x|0 or x^0 + when the 0 comes second. - * expr.c (emit_block_move, emit_push_insn): Use movstrqi if appro. + * expmed.c (store_fixed_bit_field): For halfwords, verify that + the field fits in an *aligned* halfword. + (extract_fixed_bit_field): likewise. - * expr.c (convert_move): use extendsidi if appropriate. + * expmed.c (store_split_bit_field): New arg align, passed in from + store_fixed_bit_field and passed back to it. + (extract_split_bit_field): likewise. - * cccp.c (initialize_builtins): Don't install __STDC__ if traditional. - (main): Call initialize_builtins after option processing. + * expr.c: Reinsert changes from Jan 2, mysteriously deleted Jan 3. + Also changes from Dec 23, Dec 28 and Dec 29. - * integrate.c (output_inline_function): Set current_function_decl. + * tm-i386.h: Likewise for changes from Dec 30. - * cse.c (fold_rtx): Typo in avoiding 32-bit shifts. + * c-typeck.c (build_component_ref): If field's type is error-mark, + return an error-mark. - * cccp.c: Add forward-decl. +Mon Jan 16 14:16:54 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Mon Jun 27 18:06:42 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * genpeep.c (main): Output code to exit early if insn is followed + by a barrier. + (gen_peephole): Reject barriers just like labels. - * hard-reg-set.h (reg_alloc_order): New variable - based on REG_ALLOC_ORDER, a new machine-description macro. - * regclass.c (reg_alloc_order): Define it. - * local-alloc.c (find_free_reg): Handle reg_alloc_order. - * global-alloc.c (find_reg): Likewise. - * stupid.c (stupid_find_reg): Likewise. + * stmt.c (do_jump_if_equal): New arg UNSIGNEDP, for emit_cmp_insn. + Caller changed. Now static. -Sun Jun 26 10:47:47 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * final.c (final): Set INSN_DELETED_P in insns when output. - * Version 1.23 released. + * final.c (final): Re-set BODY if peephole does anything. - * tm-3b1.h: Define IDENT_DIRECTIVE. + * c-decl.c (grokparms): Ignore anything but PARM_DECLs in the list. + (store_parm_decls): If we had a prototype, separate out anything other + than a PARM_DECL declared in it, and pushdecl those at the end, + after DECL_ARGUMENTS is set. - * tm-encore.h: Define SDB_DEBUGGING_INFO. - Define SCCS_DIRECTIVE and IDENT_DIRECTIVE. + * stmt.c (expand_end_case): Do stack adjusts after computing index. - * output-ns32k.c: Decl of paren_base_reg_printed must be outside fcns. + * expr.c (store_one_arg): Handle padding for case of BLKmode + for which space was preallocated. - * tm-encore.h (ASM_OUTPUT_DOUBLE): Do 0f, not 0l. - (CPP_PREDEFINES): No -Dns32032. + * integrate.c (copy_rtx_and_substitute): When copying asm insn, + preserve sharing of the input-operand vectors. + (expand_inline_function): Clear {orig,copy}_asm_operands_vector + to make that mechanism work. + (save_for_inline, copy_for_inline): Likewise. - * sdbout.c: Include syms.h, not storclass.h. - (unnamed_struct_member): Decl was missing. - (PUT_SDB_INT_VAL, PUT_SDB_VAL): Fix typos. - (sdbout_types, sdbout_one_type, sdbout_parms): Fix typos. + * stmt.c (expand_asm_operands): Reject `+' in constraints. + Every output constraint requires `='; inputs reject it. - * Makefile: Add file sdbout.o. - Changed comments pertaining to sysV. - Make a separate target `doc' to make the info files. + * stmt.c (expand_function_end): Arg to fixup_gotos was missing. - * m68k.md (bit-field insns): Use nonimmediate_operand for the thing - to extract from. - * vax.md (QImode bit-field insns): Likewise. +Sun Jan 15 00:28:23 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * recog.c (nonimmediate_operand): Accept any nonconst general operand. + * cccp.c, gcc.c (main): Handle SIGPIPE. + (pipe_closed): New fn; report suitable fatal error. -Sat Jun 25 07:54:42 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * loop.c (loop_optimize): Initialize moved_once. - * cse.c (lookup_as_function): arg to exp_equiv_p was missing. + * gcc.c (do_spec): Don't call `execute' if value != 0. + Delete redundant second call to do_spec_1. -Fri Jun 24 09:14:47 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * toplev.c (compile_file): Make declared-but-not-defined warnings + only if -Wunused. - * recog.c (memory_operand): Allow (subreg (mem...)). + * stmt.c (emit_case_nodes): Fix typo setting gen_ble_pat. -Thu Jun 23 07:34:07 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * tm-sparc.h ({U,}MODSI3_LIBCALL): Name was wrong. - * decl.c (finish_enum): Compute minimum value like maximum. - If minimum is negative, install it in the type and make it signed. + * gcc.c (env_exec_prefix refs): Don't try to open via it if it's null. - * stor-layout.c (layout_record): STRUCTURE_SIZE_BOUNDARY is minimum. - (layout_type): A RECORD_TYPE or UNION_TYPE must be BLKmode if - any member is BLKmode. This is to prevent putting it in a register. - (layout_decl): If decl's type is BLKmode, the decl *must* be BLKmode. + * output-sparc.c (output_store, output_load_{fixed,floating}): + Fixed confusions between the mem ref and its address. - * local-alloc.c (find_free_reg): Never allocate the frame pointer reg. + * cse.c (canon_hash): global_regs has entries only for hard regs. + * flow.c (insn_dead_p, mark_set_p, mark_used_regs): Likewise. - * tm-sequent.h (PRINT_OPERAND): Bug in SFmode CONST_DOUBLE. - * tm-encore.h: Likewise. + * cse.c (fold_rtx): More simplifications for MULT, IOR, AND, XOR + DIV and shifts with one arg 0 or 1. - * flow.c (flow_analysis): Bug in n_basic_blocks error check. +Sat Jan 14 11:41:11 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * stmt.c (expand_asm_operands): Emit no insn if an arg is erroneous. + * c-typeck.c (build_array_ref): If pedantic, check for regdecl arrays. -Tue Jun 21 08:34:24 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * fixincludes: Make all subdirs in advance, so no need for `dirname'. - * reload.c (find_reloads_address): Write back *loc even if - subst_reg_equivs makes no change, in case subst_index_address did. + * genpeep.c (gen_peephole): Delete code to increment LABEL_NUSES; + instead, clear JUMP_LABEL for any jumps being deleted. + No need to test INSN1 for being a label, since not called then. + [If any of the matched insns is a JUMP_INSN, set want_jump, + and in that case make the matched peephole a JUMP_INSN itself.] + That's in an #if 0 now; it's good in jump, but not in final. - * flow.c: Define macros for -1 and -2 as values of reg_basic_block. - (mark_used_regs): Add an `else'; no change in behavior. - (mark_label_ref): Abort if LABEL_REF doesn't contain a CODE_LABEL. - (find_basic_blocks): Extra error check. + * jump.c (jump_optimize): Don't do peepholes here. + * final.c (final): Do them here. - * output-ns32k.c (print_operand_address): Changes in handling of - register-indirect, and of indexing by sb register. + * jump.c (jump_optimize): In optimizing `if (foo) bar; else break;', + don't try to invert anything but a standard-looking conditional jump. -Mon Jun 20 04:55:38 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * jump.c (jump_optimize): Do peepholes on ALL BUT the first pass. - * cccp.c (collect_definition): Compute needed space more accurately. - Abort if use more space than was allocated. - (rescan) [USE_C_ALLOCA]: Do alloca (0) after handle_directive. + * gcc.c (env_exec_prefix): New var used like user_exec_prefix + but set from envvar GCC_EXEC_PREFIX. - * genflags.c (gen_insn): Put parens around defns of HAVE_... macros. +Fri Jan 13 13:21:59 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Sun Jun 19 02:52:53 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * genpeep.c (gen_peephole): Test INSN1 for a label at the very start, + then test following insns at the end of the loop. - * expr.c (emit_push_insn): Consider PARM_BOUNDARY when compensating - for size of a pushed arg to bcopy. + * sparc.md (call recognizers): do CC_STATUS_INIT, for %g1. -Sat Jun 18 07:20:54 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Thu Jan 12 02:13:49 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * New files sparc.md, tm-sparc.h, config-sparc.h, output-sparc.c. + * varasm.c (make_decl_rtl): Recognize more error cases for reg vars: + BLKmode, or initializer given. + Distinguisn missing asm from invalid name. - * final.c (final): After an ADDR_{,DIFF_}VEC, do ASM_OUTPUT_CASE_END. - * tm-3b1.h: Define ASM_OUTPUT_CASE_END. - (PRINT_OPERAND_ADDRESS): Ref the case tables via an intermediate symbol - `LDnnn' whose def. is output by ASM_OUTPUT_CASE_END. - (ASM_OUTPUT_CASE_LABEL): Add missing newline. + * expr.c (expand_call): Never return 0; return const0_rtx instead. + This makes expand_expr more uniform. - * reload.c (find_equiv_reg): Reject a MEM containing an autoincrement. + * c-decl.c (grokparms): For ptr to incomplete type, just warn; + don't change the parm's type. -Fri Jun 17 06:58:37 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) + * stmt.c (expand_return): Set RETVAL_RHS so as to recognize + tail-recursive fcn returning void. + Unconditionally test value of expand_expr for being a REG. - * genpeep.c (main): Write `extern' in the decl for `peep_operand'. + * reload.c (find_reloads): Don't process insns that have + no constraint alternatives. No more need for have_constraints. - * flow.c (propagate_block): When a dead insn has a REG_RETVAL note, - call mark_set_regs anyway, so that `significant' is updated. + * recog.c (constrain_operands): New local var nalternatives. + Don't bother checking the insn if nalternatives is 0. - * jump.c (follow_jumps): New arg IGNORE_LOOPS. If 0, don't follow - the insn at the beginning of a loop that enters the loop; this avoids - interference with loop optimizer. - (jump_optimize, tension_vector_labels): Pass that arg. +Wed Jan 11 01:27:48 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * loop.c (loop_optimize): Mention invalid multiple-entry loops in log. + * Implement global register decls. - * m68k.md (extv, extzv): Fix # of alternatives mismatch in constraints. + * varasm.c (make_decl_rtl): Handle global register vars. + (make_function_rtl): Set function_defined: after 1st function dfn. + (assemble_variable): Ignore global register vars. -Thu Jun 16 03:06:48 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) + * c-decl.c (grokdeclarator): Don't reject global register decls. + (builtin_function): Use make_decl_rtl, not make_function_rtl, + to avoid setting function_defined. - * genrecog.c (change_state): Was mishandling printing XVECEXP indices - greater than 9. + * regclass.c (init_reg_class{,_1}): Init and process global_regs. + They are fixed, and call-clobbered. - * combine.c (subst, simplify_and_const_int): Avoid making SUBREG - of a non-REG. + * flow.c (insn_dead_p): Storing one of global_regs is never dead. + (mark_used_regs, mark_set_1): A global reg is never dead. - * expr.c (expand_expr): For FIX_TRUNC_EXPR to unsigned short/char, - go via signed int. + * cse.c (canon_hash): Consider global regs volatile. - * optabs.c (expand_fix): Copy hard_libcall_value reg only once. - * reload1.c (order_regs_for_reload): Init all elements - of potential_reload_regs to -1. + * expr.c (do_jump): Know how to invert jumps which are sequences. - * Prevent generation of (set (reg) (plus ... (label_ref ...))). - * explow.c (memory_address_noforce): Like `memory_address' but - never force it into a register. - * expr.c (do_tablejump): Use that. - * m68k.md (casesi): Use that. + * dbxout.c, symout.c, final.c: On USG, use our own stab.h. - * rtl.h (struct rtx_def, GET_CODE, PUT_CODE): If SHORT_ENUM_BUG, - define the `code' field as a short. + * tm-i386gas.h: New file for GAS on sysV (with DBX debugging info). -Wed Jun 15 01:25:57 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * m68k.md (bfchg and bfins patterns): Make # alternatives uniform. + * alliant.md: Likewise; also in movdf patterns. - * gcc.c (CPP_SPEC): New spec set by config.h gives flags to cpp. - * tm-*.h for m68k: Define CPP_SPEC to define __HAVE_FPU__ on - appropriate conditions. + * genoutput.c (output_epilogue): Spurious `break' disabled + error check for mismatched # of alternatives. + (output_epilogue, scan_operands): Errors in input are not fatal. - * combine.c (subst): Simplify (not (minus x 1)) and (neg (minus x y)). + * flow.c (regno_uninitialized): Avoid crash if no basic blocks. -Mon Jun 13 02:22:43 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) + * sparc.md (move insns): Delete special patterns that handled + symbolic constant addresses. The main move patterns now do this. + * output-sparc.c (output_store, output_load_{fixed,floating}): + Subroutines to do the work for this; has the code from those + special patterns. Also fixed bugs in testing against cc_status.mdep. - * typecheck.c (build_array_ref): Avoid duplicate errmsg if index - is an error-mark. + * output-sparc.c (output_delay_insn): Clear the CC status. + This is necessary for %g1 in the case of a call insn. -Sun Jun 12 23:04:39 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) + * tm-i386.h (REG_CLASS_CONTENTS): INDEX_REGS is now all but ESP. + (REGNO_REG_CLASS): Corresponding change. + (REG_CLASS_FROM_LETTER): Eliminate `x' letter since not used. - * cccp.c (handle_directive): If -traditional, quotes aren't special. - (rescan): Assume newline ends a string constant. - - * cccp.c, cexp.y: Make all fcns non-static; add some forward decls. - - * various: add static forward-decls for various functions. - -Fri Jun 10 00:25:18 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * reload1.c (choose_reload_targets): When writing back an incremented - value (handling reload_inc), write back to the real place, not to - OLDEQUIV (a register that holds the same value). - - * tm-m68k.h (LEGITIMIZE_ADDRESS): Don't give force_operand a target. - This can cause the use of multiple insns with same output reg, - which can confuse cse. - - * loop.c (consec_sets_invariant_p): - If invariant_p ever returns 2, we return 2. - New arg is # of consecutive sets to look for, - since this info is no longer in n_times_set at move_movables. - (scan_loop): If consec_sets_invariant_p returns 2, set m->cond. - (move_movables): check consecutive insns if m->consec && m->cond. - - * tm*.h: ASM_DECLARE_FUNCTION_NAME now takes 3rd arg, - the FUNCTION_DECL node. - * varasm.c (assemble_function): Pass this arg. - - * expr.c (expand_call, expand_builtin [alloca]): - If STACK_POINTER_OFFSET is defined, add it to stack pointer contents - before using it as address of actual data on the stack. - * stmt.c (expand_decl): Likewise. - - * stmt.c (assign_parms): If 1st parm named `__builtin_va_alist' - came in regs, pretend it came on stack. - Handle pretending a BLKmode var came on the stack. - If REG_PARM_STACK_SLOT, count stack space for each parm - even if the parm came in a register; and use that stack space - if the parm needs to be addressable or is BLKmode. - Rearrange to simplify conditionals. - -Thu Jun 9 01:21:29 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * local-alloc.c: - `qty_...' vectors' elements for hard-reg-numbers now aren't used. - `reg_qty' elements for hard-reg numbers now aren't used, - and the element for a pseudo is never a hard-reg number. - (local_alloc): No need to reset those elements. - No need to reset elements out of range of prev block's NEXT_QTY. - (reg_is_born, reg_is_set, wipe_dead_reg): - Divide labor in same way for hard regs and pseudos; - simplify using fact that locality-to-basic-block has been precomputed - and recorded in reg_qty; avoid refs to reg_qty[HARDREG]. - (reg_is_born, wipe_dead_regs): Block-number arg no longer needed. - - * local-alloc.c (combine_regs): Remove old code for tying hard regs - to pseudos; great simplification results. - Use find_regno_note, not regno_dead_p. - -Wed Jun 8 00:18:04 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * reload.c (subst_reg_equivs): Set a flag if anything is changed. - (find_reloads_address): Check that flag to avoid extra work. - Also check early for safe reg+const address and avoid work. - - * reload.c (find_reloads): Use loops instead of bcopy. - Check early for insn with no real constraints, and return. - Also check for move from hard reg to hard reg and return. - - * cse.c (canon_reg): Rewrite for speed; use a switch. - (cse_insn): Don't call find_reg_note if REG_NOTES is 0. - - * cse.c (cse_insn): Store modified SET_SRC even if there's a REG_EQUIV. - Inhibition was needed when the SET_SRC was the only place to find the - equivalent value; now it is in the REG_EQUIV note. - - * stmt.c (expand_asm_operands): If NINPUTS is 0, make vec of no elts. - * regclass.c (reg_scan_mark_refs): Don't lose if XVEC (x,i) is 0. - -Tue Jun 7 03:51:28 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * stmt.c (assign_stack_local): If big-endian and MODE is narrow, - the bytes actually used are the least significant. - - * parse.y (skip_white_space): Accept char as arg; let caller read it. - (yylex): Change call. - (check_newline): Return 1st nonwhite char after skipping lines. - (skip_white_space): Change call. - * toplev.c (compile_file): Change call. - - * gcc.c: Pass -traditional to cc1. - - * cse.c (cse_insn): Return very early for (set (reg) (call...)). - Mainly to save time. - (cse-insn) Old code to add REG_WAS_0 note wasted time but did nothing. - - * expr.c (clear_pending_stack_adjust): Really do clear it, - if current fcn doesn't want to be inline. - - * cse.c (cse_insn): Speedup: instead of safe_hash, use canon_hash - or HASHREG. - -Mon Jun 6 21:47:23 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - - * jump.c (rtx_renumbered_equal_p): Reject ADDR_VEC fast. - - * cse.c (cse_insn): Ignore a REG_EQUIV or REG_EQUAL note if the - equivalent value is the same as the SET_SRC of the insn. - - * flow.c (life_analysis): Don't call volatile_refs_p for a CALL_INSN; - just assume value is 1. - (propagate_block): Don't call mark_{used,set}_regs for a stack-pop - since if it isn't dead it has no effect on any useful life data. - (mark_set_1): Return quickly if setting stack-ptr, and almost as - quickly if setting any hard reg. - (mark_used_regs): Likewise for refs. - Also don't scan the vector of an ADDR_VEC or ADDR_DIFF_VEC. - (volatile_refs_p): Likewise. - - * varasm.c (output_constant): Discard NOP_EXPR and CONVERT_EXPR - in integer case (they were for casting a pointer). - - * parse.y (compstmt_or_error): Parse a compstmt after ignoring error. - Use this for fctn body so that an error after store_parm_decls - won't recover to xdecls and call store_parm_decls again. - Typical cause was missing semi at end of last parmdecl. - - * parse.y: Add missing semicolons in actions. - (yylex): Don't use yylloc. - -Sun Jun 5 16:14:40 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * optabs.c (emit_cmp_insn): New arg ALIGN, used for BLKmode. + All callers changed. + Pass alignment (as rtx) as 4th arg to cmpstr gen functions. + Use cmpstrhi if available. + * expr.c (compare): Only this call passes a nonzero ALIGN. - * typecheck.c (build_array_ref): Check arg types here, to make - error message more accurate (not about "addition"). + * expr.c (emit_push_insn, emit_block_move): Pass alignment (as rtx) + as 4th arg to movstr gen functions. -Thu Jun 2 02:41:40 1988 Richard Stallman (rms at rice-krispies.ai.mit.edu) +Tue Jan 10 23:43:05 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * cccp.c (collect_expansion): `#' isn't special if -traditional. + * stor-layout.c (layout_type): Use BLKmode, if a struct isn't + aligned well enough for a scalar mode. - * dbxout.c (dbxout_parms): Don't output a regparm symbol - unless the parm got a hard reg assigned. + * expr.c (expand_expr): For static CONSTRUCTOR, ensure memory + address is made valid. - * tm-encore.h (ASM_OUTPUT_DOUBLE): Use 0f... not 0d... + * genpeep.c (match_rtx): For MATCH_OPERATOR, set max_opno, n_operands. - * tm-vax.h (CHECK_FLOAT_VALUE): Define this. +Mon Jan 9 17:07:56 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) -Wed Jun 1 17:13:00 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * varasm.c (output_constant): Split strings every 2000 chars. - * expr.c (expand_call): Have sequence points between args. + * stmt.c (expand_end_case): Test bkwds, handling constant switch arg. -Tue May 31 00:27:06 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) +Fri Jan 6 09:11:20 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * expmed.c (store_fixed_bit_field): Avoid shifting by 32. - * cse.c (fold_rtx): - * symout.c (subrange_p): likewise. + * output-sparc.c (output_delay_insn): Add parens to first if test. + (output_move_double): Turn addr for `sethi' into MEM for %m. - * local-alloc.c (block_alloc): If operands 1 and 2 commute, - try tying output to operand 2 if operand 1 won't do. + * c-typeck.c (convert_for_assignment): move test for ERROR_MARK. - * toplev.c (compile_file): Pass main_input_file to symout_init. + * c-parse.y (unary_expr): Allow cast_expr as arg of unary op. - * tree.c (build_real, build_real_from_int_cst): - Call CHECK_FLOAT_VALUE if it's defined, to report out-of-range values. + * stmt.c (expand_decl): Don't abort if FUNCTION_DECL lacks rtl; + assemble_variable is called after this. - * tree.c (build_real, build_real_from_int_cst): New 1st arg TYPE. - * parse.y (yylex): Pass this arg; requires parsing suffixes first. - * fold-const.c (fold, combine, fold_convert): Pass this arg. - Handling of float binops in `combine' simplified. + * c-parse.y (primary -> identifier): Separate case for undeclared + identifier outside of functions; avoids confusing error msgs. - * tm-encore.h (CPP_PREDEFINES): Remove -Dencore since CC lacks it. +Thu Jan 5 01:24:47 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * final.c (output_source_line): Let ASM_OUTPUT_SOURCE_LINE - be used for SDB also. + * Makefile (install): Ignore errors in all `if' commands. + Create $(libdir) if nec. -Mon May 30 00:21:15 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * Makefile (insn-*.[ch]): Put in empty commands. May help Ultrix Make. - * cse.c (insert): Was inserting in wrong place in list. - (exp_equiv_p): Was failing to check validity when x == y. + * stmt.c (emit_case_nodes): New arg UNSIGNEDP says do unsigned jumps. + Arg INDEX is an rtx, not a tree. + (expand_end_case): Pass that arg. + (node_has_{low,high}_bound): check for overflow, avoid confusion. - * tree.c (build_pointer_type): Handle saveable_obstack - like current_obstack. +Wed Jan 4 02:24:21 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * decl.c (finish_decl): Error in test for zero-size array warning. + * sparc.md (movdi, movdf): Use `&' constraint when loading reg from; + otherwise can lose on (set (reg X) (mem (plus (reg X) (reg X+1)))). - * reload.c (find_equiv_reg): New arg MODE specifies mode in which - an equivalent value is needed. Equivalence must be good in that mode. - In addition, notice overlap with multiword register modes. - Simplify, knowing that registers have already been renumbered. - It was invalidating memory-goals too easily; setting a reg - only invalidates memory-goal if its address varies. - * reload.c, reload1.c, jump.c: Calls pass the new argument. + * expr.c (emit_push_insn): For memory scalar partially going in regs, + copy each word to reg before pushing. Avoids memory-to-memory move. + Make the displaced address valid. + Also delete unfinished STACK_OFFSET variable. - * cccp.c: For correct ANSI, must reject `$' in identifiers. - (dollars_in_ident): Variable says whether to allow them. - (rescan): Handle `$' as randomchar if that's 0. - (main): dollars_in_ident is set to 0 by -$, to 1 by -traditional. - (rescan, do_define): Delete former pedantic warnings for `$'. - (initialize_char_syntax, initialize_builtins): Inits split to two - functions; former is called after options are scanned - so `$' is in is_idchar conditionally. - * gcc.c: For -ansi, pass -$ to cccp. - * toplev.c, flags.h: Define dollars_in_ident. - * parse.y (yylex): Treat $ as punctuation unless dollars_in_ident. - Delete old pedantic warning about $. - * tm-vms.h: Define DOLLARS_IN_IDENTIFIERS as 1. + * c-parse.y (check_newline): Read just one #-directive and return. + This prevents lossage when toplev.c calls it to get the main input file + name, and it gets a following #ident as well. - * cccp.c (rescan): Preprocessing numbers can have signs, after `e'. + * c-decl.c (lang_decode_option): Set warn_cast_qual for -Wcast-qual. + * c-typeck.c (build_c_cast): Issue some warnings if set. - * integrate.c (expand_inline_function): Abort, don't return failure, - if max_regno is too low. I believe this can't happen. + * tm-3b1.h (ASM_OUTPUT_CASE_LABEL): Missing `;'. - * typecheck.c (build_binary_op_nodefault): - For ordered comparisons, no pedantic warning about void *. - For MAX, MIN, ditto, and also don't allow pointer vs 0. +Tue Jan 3 18:07:31 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * typecheck.c (build_unary_op): Don't allow pointer for +. + * expr.c (emit_library_call): Do force_operand on each operand + if it isn't a REG, MEM or constant. + Do this, or mode conversions, earlier, before loading any hard regs. - * typecheck.c (convert_for_assignment): - Add missing warning for case of unrelated pointer types. - Change criteria for new ANSI C draft. + * m68k.md (addsi3) [SGS]: Put a zero displacement in the `lea'. - * optabs.c (expand_binop): Don't set unused target_is_not_an_operand. + * c-typeck.c (default_conversion): Don't lose `const' or `volatile' + when converting array type to pointer. - * fold-const.c (fold_convert): Don't set unused inprec, outprec. +Mon Jan 2 01:18:01 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * emit-rtl.c, parse.y: Delete unused var. + * expmed.c (store_bit_field, store_fixed_bit_field): New arg, + alignment in bytes the structure is known to have. + (store_fixed_bit_field): Handle working in halfwords, + in case the pointer isn't known to have fullword alignment. + * expmed.c (extract_bit_field, extract_fixed_bit_field): likewise. + (extract_bit_field): fix unsignedp arg to extract_fixed_bit_field. + * expr.c (store_field): New arg, passed to {store,extract}_bit_field + (expand_assignment, store_constructor): Pass that arg. + (expand_expr): Pass new arg to extract_bit_field. - * stor-layout.c (add_vc_sizes): Unused function deleted. - * loop.c (constant_high_bytes): #if 0 this unused function. + * m68k.md (casesi_2 recognizer): Offset always 6 for 3b1. - * gcc.c (fatal): Add missing arg to delete_temp_files. + * c-typeck.c (convert_for_assignment): Strip from rhs no-op NOP_EXPRs + put on by build_c_cast (to make the result not an lvalue). + (build_modify_expr, build_compound_expr): likewise. + (build_conditional_expr): likewise. + (actualparameterlist, build_function_call): likewise. + (default_conversion, truthvalue_conversion): likewise. - * cccp.c (dump_defn_1): Add missing arg to skip_quoted_string. + * loop.c (move_movables): If reg has moved out of one loop, + divide `savings' by 2. - * reload.c (find_reloads): If constraints don't fit in an `asm', - print error instead of aborting. +Sun Jan 1 03:00:07 1989 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * regclass.c (reg_class_record): Ignore `&' in constraint. + * c-typeck.c (truthvalue_conversion): Distribute the conversion + into the arms of a COND_EXPR. -Sun May 29 00:20:23 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * cse.c (fold_rtx): Don't fold a MINUS with VOIDmode + into a symbolic constant--it's incorrect. - * Makefile: Run ranlib only if /usr/bin/ranlib exists. - Add comment saying what to do on system V. + * cse.c (cse_insn): If SRC is a subreg with known value, simplify it. - * tree.c (suspend_momentary): Switch to the saveable_obstack - for the sake of inline functions. + * integrate.c (copy_rtx_and_substitute): Allow a ref to a part of + MEM parm whose actual parm is a reg, provided it refs + the low part of the MEM. + (function_cannot_inline_p): Don't inline functions which have + aggregate parameters and take their addresses. This could produce + refs to non-low-parts, which copy_rtx_and_substitute can't handle. - * flags.h (enum debugger): New enum for write_symbols. - * toplev.c, varasm.c, final.c: Use the enum constants where appro. - Add calls to sdbout paralleling the calls to dbxout; - put each in the appropriate conditional {SDB,DBX}_DEBUGGING_INFO. + * c-typeck.c (build_modify_expr): If lhs is COND_EXPR, + make a COMPOUND_EXPR to ensure the rhs is computed before the branch. - * toplev.c (main): Delete -noreg option; it's now the default. - Make -O an alias for -opt. Rename -g to -gg. -g is alias for -G. - Accept and ignore -Wtrigraphs. - * gcc.c: Simplify the specs. + * Implement -pipe. + * gcc.c (do_spec_1): `|' is now a special delimiter + which goes in the argbuf. + When a newline is preceded by a `|', delete it if no -pipe. + Otherwise, don't execute yet, and keep scanning. + (do_spec): At end, if we have stuff with no newline, execute it. + (handle_braces): Implement %{|foo:...}. + (execute): If argbuf contains some `|'s, run several processes + and pipe them together. + (pexecute): new subroutine to make one of the processes. + (find_exec_file): new fn to search for program to execute. + (record_temp_file): new arg FAIL_ONLY. + (store_arg): 2nd arg == 3 means delete file on failure. + This is used for output files. + (delete_temp_files): delete certain files only if fail. - * toplev.c (compile_file), tm-*.h: - ASM_FILE_START is now a statement, not just a string to be output. - Output it *after* determining the real source file name. + * cccp.c (include_defaults): /usr/include before /usr/local/include. - * fold-const.c (fold): Simplify x >= CST to x > CST-1 (CST positive). - To simplify this, canonicalize relationals to put constat last. + * recog.c (asm_noperands): 1-off in loop checking CLOBBERS + when no output operands and PARALLEL. - * decl.c (duplicate_decls): Make a 2nd errmsg to show previous decl. + * expmed.c (negate_rtx): Sign-extend the high bits rather than clear. - * cccp.c (file_size_and_mode): Delete temporary VMS bootstrap patch. + * cse.c (fold_rtx): fold negation of real values. + (fold_cc0): fold comparisons on real values. - * tm-att386.h: New file. + * Makefile (install): Use $(INSTALL) for gcc.1 and files in USER_H. - * decl.c (pushdecl): Warn if a local `extern' decl precedes - a file-scope `static' decl. + * Handle floating-point problems for cross-compilation. - * expr.c (expand_call): No warning for failure to inline. + * real.h (CONST_DOUBLE_LOW, etc.): new macros to access CONST_DOUBLE. + * varasm.c (immed_double_const, decode_rtx_const): Use these. + ({force,clear}_const_double_mem): Likewise. + * output-*.c (output_move_double): Use these. + * output-m68k.c (standard_{68881,sun_fpa}_constant_p): Likewise. + * tm-*.h (PRINT_OPERAND): Use these. + * output-i386.c (print_operand): Use these. + * final.c (output_addr_const): Likewise. + * emit-rtl.c (gen_rtx): Delete special code for CONST_DOUBLE. - * expmed.c (extract_bit_field): copy operand 1 of extv or extzv - into register if memory isn't allowed. + * real.h (union real_extract): Portable type for storing real as ints. + * varasm.c (immed_double_const, decode_rtx_const): Use these. -Sat May 28 02:10:56 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) + * varasm.c (immed_real_const_1, decode_rtx_const): + Don't assume REAL_VALUE_TYPE is 2 ints long. + * emit-rtl.c (init_emit_once): Likewise. - * gnulib.c, Makefile: Delete va_end. + * real.h (REAL_VALUE_TYPE): Define as `double' if not defined. + (REAL_IS_NOT_DOUBLE): Define this if default REAL_VALUE_TYPE not used. + (REAL_VALUES_EQUAL, REAL_VALUES_LESS): Define, if not already defined. + (REAL_VALUE_LDEXP, REAL_VALUE_ATOF): Likewise. + * tree.h (struct tree_real_cst): Use REAL_VALUE_TYPE for the value. - * final.c, symout.c: Check DBX_DEBUGGING_INFO, not NO_DBX_FORMAT. + * rtl.c (init_rtl): Increase length of CONST_DOUBLE if REAL_VALUE_TYPE + needs more space. Change the rtx_format element to match. + * varasm.c (immed_real_const_1): 1st arg now has REAL_VALUE_TYPE. + (force_const_mem): Assume a CONST_DOUBLE contains REAL_VALUE_TYPE. + * emit-rtl.c (init_emit_once): Likewise. + And use REAL_VALUE_ATOF to get a floating zero. + * optabs.c (expand_float): Use REAL_VALUE_TYPE, REAL_VALUE_LDEXP. + * c-parse.y (yylex): Likewise, and use REAL_VALUE_ATOF. + * fold-const.c (split_tree): Don't accept REAL_CSTs. + (combine, fold_convert, fold): Use REAL_ARITHMETIC if defined; + else don't fold reals if they are not doubles. + * tree.c (build_real_from_int_cst): Likewise. + * print-tree.c (dump) [REAL_IS_NOT_DOUBLE]: output float value + in hex, since we don't know how to do it right. - * genemit.c (gen_expand): Notice a CALL inside a PARALLEL. +Sat Dec 31 14:15:13 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * regclass.c (init_reg_sets_1): Part of init_reg_set is put in this - new fn which is called after options are scanned. - Now CONDITIONAL_REGISTER_USAGE can depend on the options. - (fix_register): Just alter the data that init_reg_sets_1 will look at. + * optabs.c (init_optabs): Handle new macros {U,}MULSI3_LIBCALL, + DIVSI3_LIBCALL, MODSI3_LIBCALL. + * tm-sparc.h: Define {,U}{MUL,DIV,MOD}SI3 to call Sun's library direct. - * reload1.c (reload): Don't complain if two different but tieable - modes require groups of the same regclass (assuming same size group). + * tm-sun3-nfp.h, tm-sun3-fpa.h: New files. - * cccp.c: Add 3rd arg to all `open' calls. +Fri Dec 30 00:14:36 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * parse.y (check_newline): Typo prevented ignoring whitespace. + * cccp.c (main): Certain envvars specify a file to write deps info to. - * cccp.c (perror_with_name): fprintf had harmful extra arg. + * toplev.c (compile_file): Warn about undefined fns declared static. - * cccp.c (main, trigraph_pcp): -Wtrigraphs means warn if any trigraphs. + * m68k.md (casesi_2 recognizer) [SGS] RTX_INTEGRATED_P test backwards. + * tm-3b1.h (ASM_OUTPUT_CASE_LABEL): Likewise. Also missing `\'. - * emit-rtl.c (gen_sequence): If LEN is 1, avoid looking at PATTERN - of something that doesn't have one. + * reload1.c (count_occurrences): New function. + (choose_reload_targets): Don't delete a reload if the same reg + is used elsewhere in the current insn. + (delete_output_reload): code split out from choose_reload_targets. - * reload1.c (alter_frame_pointer_addresses): frame pointer can - occur by itself, not just inside a PLUS. - (reload): Call eliminate_frame_pointer before reload_as_needed. - Otherwise the latter can make reload insns that copy the frame ptr - to a data reg, but 68k can't copy sp+const to a data reg. + * c-typeck.c (build_c_cast): Always put on some operator, + so the cast is never an lvalue for strict ANSI. - * decl.c (implicitly_declare): Always save the implicit decl - permanently. Reuse an old one if it exists. - * tree.c (resume_temporary_allocation): Used after `end_temporary...' - to go back to temporary allocation. + * c-typeck.c (initializer_constant_valid_p): Don't depend on + distinction between NOP_EXPR and CONVERT_EXPR. - * stor-layout (layout_{type,decl}): Call variable_size. - (variable_size): Turn a size into a SAVE_EXPR and either compute - it right away or put it on a list to be computed later. - (get_pending_sizes): Return that list and clear it out. - * stmt.c (expand_start_function): Tell `variable_size' to compute - sizes right away, and compute those saved on the list. - (expand_end_function): Tell it to put them on a list. + * c-convert.c: Fns reordered; new comments. -Fri May 27 00:02:34 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) + * fold-const.c (fold): If simplifying a NOP_EXPR within a BIT_AND_EXPR, + return a NOP_EXPR. + New var TYPE holds type of expr. - * dbxout.c (dbxout_symbol): For local static var, use 'V', not 'v'. + * c-parse.y (expr_no_commas): Split off cast_expr and unary_expr, + to reject `sizeof (int) foo'. - * gcc.c (main): Don't handle SIGHUP or SIGTERM if shell ignored it. + * toplev.c (main): Treat plain `-' as input filename. - * Makefile, gcc.c: Propagate Make var `libdir' to gcc search path. + * final.c (final): If an insn's output routine returns 0, + it means to output the deleted compare insn immediately preceding. - * expr.c (expand_expr): a PARM_DECL with no rtl can occur in size of - `a' in `foo (a,i) int i; struct {int x[i];} a;', so report an error. + * m68k.md (branch insns): Use 0 as 3rd arg for OUTPUT_JUMP + rather than explicitly clearing the overflow flag. - * flow.c (insn_dead_p): insn that makes stack bigger is never dead. - * combine.c (try_combine): Don't splice out stores into stack ptr. + * tm-i386.h (OUTPUT_JUMP): Really use NO_OV; don't abort. + * i386.md (branch insns): Put real data (sometimes 0) in 3rd arg + of OUTPUT_JUMP. 0 means preceding test may not be deleted. + (lea pattern): Clear the cc's. + * output-i386.c (notice_update_cc): various arith insns set the cc's. - * reload.c (find_equiv_reg): Test given regno for OVERLAPPING_REGNO_P. +Thu Dec 29 13:22:01 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * varasm.c (assemble_variable): Use saveable_obstack for allocation. + * stmt.c (expand_decl_init): Do nothing for static decls. -Thu May 26 01:17:00 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) + * reload.c (find_reloads_address{,_1}): Return 1 iff entire arg + was reloaded as a whole, else 0. + (find_reload): If find_reloads_address returns 1, don't let that MEM + satisfy a `>' or `<' constraint. - * integrate.c (save_for_inline): Clear unused slots in parmdecl_map. - (There may be some non-parm regs below max_parm_regno.) - * integrate.c (copy_for_inline): Don't crash if parmdecl_map elt is 0. + * m68k.md (cmpmb): Delete special pattern, make cmpqi handle it. + The special pattern couldn't handle reloading the incremented register. - * Don't fail to output a static inline function that was referenced - via a local extern decl before its definition. - * expr.c (expand_call): If need to mark a fcn decl addressable, - mark the identifier addressable also. - * typecheck.c (mark_addressable): If marking fcn addressable, - mark the identifier as well. - * decl.c (start_function): If identifier was marked addressable, - propagate it to the function. + * integrate.c (copy_rtx_and_substitute): Test BYTES_BIG_ENDIAN, + not BITS... - * parse.y (yylex): Check for ERANGE after atof is called. - (Sun doesn't report ERANGE.) + * combine.c (subst): Consider big-endian correction + when simplifying (subreg (mem ...) ...). - * loop.c (may_trap_p): Any floating arithmetic may trap. + * reload.c (find_reloads): Don't crash if matching operands in `asm' + are both read or both write. -Wed May 25 00:03:34 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) + * expr.c (emit_push_insn): Address for movstr must be XINNER, not X. - * parse.y: Delete `noalias'. - (asm_operand): Don't allow this to be empty. - (asm_operands): Do allow this to be empty. + * toplev.c (main): Typo parsing `-fno...'. - * reload.c (operands_match_p): Don't let REG and SUBREG match - if the reg isn't a hard reg. - No longer nec. to check reg_renumber, now that reload - substitutes the hard regno. +Wed Dec 28 13:07:21 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * reload1.c (reload): Counting existing spilled groups, - check HARD_REGNO_MODE_OK so we don't get fooled by an odd-even pair. - Spill entire need for new groups before spilling any solitary regs. - Reg already counted against max_nongroups can't become part of a group. - (new_spill_reg): Do bookkeeping associated with a new spill-reg. - (n_spills): This var is now static, no longer passed as arg - within the file. + * toplev.c (rest_of_compilation): `volatile' fns need jump_optimize + for warnings, as if -Wreturn-type. + * c-typeck.c (c_expand_return): Warn about `return' in a `volatile' fn. + * c-decl.c (finish_function): Warn if `volatile' fn can drop thru end. - (reload_reg_class_lower): Handle all group-reloads before solitaries. - (choose_reload_targets): therefore #if 0 the special code for - finding solitary registers that aren't suitable for groups. - But fix two bugs in it: braino deciding whether a reload - is looking for 1 register (not a group). Use CLASS_MAX_NREGS. - Also braino deciding whether a spill reg can be in a group. - Did not fix bug that it fails to test HARD_REGNO_MODE_OK, - so it might split up an even-odd pair. + * cse.c (canon_reg): Handle nulls as subexpressions. + (fold_rtx, canon_hash, mention_regs, exp_equiv_p): Likewise. + * loop.c (invariant_p, replace_regs, replace_call_address, may_trap_p, + {basic,general}_induction_var): Likewise. - * vax.md: Special patterns for 8 and 16-bit fields, to make - move-insns (like the ones for the 68k). + * expr.c (expand_call): Handle `const' functions: + Local IS_CONST is 1 if function is const. + Attach REG_RETVAL and REG_LIBCALL notes around the call. + Copy fn address to register outside of those notes. + Likewise precompute all parms outside them. - * tree.c (convert_to_integer): Pass truncation down thru COND_EXPR - as through a binary operator. + * expr.c (expand_call): If fn is volatile, emit barrier after the call. - * typecheck.c (build_cond_expr): If unpromoted operand types match, - don't promote them--let containing expression promote (just once). + * c-decl.c (grokdeclarator): Allow function declared const or volatile. -Tue May 24 14:46:26 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) +Sat Dec 24 18:40:12 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * combine.c (subst): Simplify (subreg (sign_extend X) 0). + * integrate.c (function_cannot_inline_p): If STRUCT_VALUE_INCOMING + or STRUCT_VALUE is defined, can't inline functions returning BLKmode. - * tm-hp9k320.h: Delete NO_DBX_FORMAT. - * Most tm...h files: Define DBX_DEBUGGING_INFO. - * dbxout.c: Change conditional to DBX_DEBUGGING_INFO. +Fri Dec 23 13:26:26 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * integrate.c (expand_inline_function): If inline fcn was declared to - return QI, but actually computes an SI, use SImode for INLINE_TARGET - but actually return a QI. + * expr.c (store_constructor): Compute array's size + with int_size_in_bytes. - * varasm.c (force_const_mem): Failed to determine alignment bdry - from machine mode. + * varasm.c (assemble_variable): If shared data, go to data section + before outputting an uninitialized symbol. - * jump.c (jump_optimize): Don't delete (move X Y) if X or Y is a - PRESERVE_DEATH_INFO_REGNO_P register. + * tm-sequent.h (ASM_OUTPUT_ALIGN_CODE): Missing backslash. + (SHARED_SECTION_ASM_OP): Macro defined. + * tm-seq386.h (SHARED_SECTION_ASM_OP): Macro defined. - * final.c (output_addr_const): In PLUS, output constant term last. + * c-typeck.c (c_expand_asm_operands): Warn if output op is `const'. - * final.c (final): Before outputting an insn, do FINAL_PRESCAN_INSN. + * Fix problem where a stmt expr in an initialization + refers to the variable it is initializing. + * stmt.c (expand_decl_init): New fn split out from `expand_decl'. + * c-decl.c (finish_decl): Call that. + Don't call expand_decl if already done. + (start_decl): Call expand_decl if type is complete already. - * final.c (next_block_index): No longer static. - (final): Add SDB_DEBUGGING_INFO cases for outputing NOTEs - for beginning and end of a block. - (output_source_line): Add SDB_DEBUGGING_INFO case for line number. - * varasm.c (assemble_function): Add code for SDB symbol output. + * Makefile (install): Typo in ranlib command. - * gnulib.c: Allow config to override INTIFY. - New macro SFVALUE for data type to return a single-float in. +Thu Dec 22 15:57:12 1988 Richard Stallman (rms at sugar-bombs.ai.mit.edu) - * combine.c (remove_death): No longer `static'. + * tree.h (tree_identifier): New field. + (IDENTIFIER_ERROR_LOCUS): Accessor for it. + * c-parse.y (primary => IDENTIFIER): + Undeclared variable gets one err msg per function it appears in. - * reload1. (choose_reload_targets): PRESERVE_DEATH_INFO_REGNO_P - selects hard regs for which death info should be updated for final. + * ns32k.md (andsi3): Delete extra brace. - * reload1.c (reload_as_needed): Let INSN_CLOBBERS_REGNO_P - prevent inheritance of certain reloads. + * alliant.md, xm-alliant.h, tm-alliant.h, output-alliant.c: New files. - * reload.c (find_equiv_reg): Let OVERLAPPING_REGNO_P reject - an equiv reg. Needed for funny float regs on 80387. + * combine.c (SUBST, SUBST_INT): Store new field `is_int'. + (copy_substitutions): Don't copy an int as an rtx. - * cccp.c (do_ident): Define #ident as a no-op if IDENT_DIRECTIVE. - Warn if pedantic. - (do_sccs): Warn if pedantic. + * Makefile (INSTALL): Install gcc.1 properly. - * emit-rtl.c (restore_reg_data): Set cur_insn_uid--prevent duplicates. + * tm-ns32k.h (FUNCTION_PROLOGUE, ASM_OUTPUT_ALIGN_CODE): + Add missing backslashes. See file OChangeLog.