blob: 2e413b1c25fe337de0b6881fa3d973f16c57dfb7 [file] [log] [blame]
Wed Dec 21 02:46:34 1988 Richard Stallman (rms at
* Version 1.32 released.
* toplev.c (main): Vax pcc enforces goto-less programming
with fatal error.
* stmt.c (fixup_memory_subreg): New arg INSN says where to emit insns.
(walk_fixup_memory_subreg): Likewise. All callers changed.
Tue Dec 20 01:26:56 1988 Richard Stallman (rms at
* 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.
* stmt.c (expand_function_end): End any sequences left unterminated.
* cse.c (predecide_loop_entry): If "loop" has no label, do nothing.
* 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.
* (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
* cexp.y ('/' and '%' ops): If divide by 0, print error, don't die.
Sun Dec 18 14:03:02 1988 Richard Stallman (rms at
* 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
* 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
* (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
* 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
* final.c (output_addr_const): Output just `-', not `+-'.
* Update filenames changed to `c-'.
* 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
* 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
* (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.
* (casesi_2 recognizer): For 3b1 syntax, compensate for that.
Sun Dec 11 12:51:49 1988 Richard Stallman (rms at
* genrecog.c (try_merge_2): No longer put all explicit decompositions
before all predicates. Patterns are now tested in the order written.
* Move the push-or-move-address patterns to the end.
* Move load-address pattern to end.
Rearrange the special-case movsi patterns.
* Move special load-reg-17 pattern before movsi.
* 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
* (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.
* (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
* 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
* 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
* (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
* 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
* 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
* 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__.
* (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
* 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].
* (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.
* (push-and-add pattern): Comment it out.
It's said to result in slower code.
* (tstqi, tsthi, tstsi): Output real `test' insn if op is reg.
* (push for DI): Allow `oiF' for 2nd operand.
Fri Dec 2 13:57:35 1988 Richard Stallman (rms at
* (movdi): Allow F constraint for 2nd operand.
* (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
* cse.c (fold_rtx): When reordering constant args, insist on
manifest constants; regs with known contents won't do.
* (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.
* tm-sun3.h: Override those macros, to check for infinities.
Wed Nov 30 06:35:47 1988 Richard Stallman (rms at
* 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.
* 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.
* (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.
(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.
* (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
* 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.
* (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.
* (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.
* remove patterns which generate annulled branch insns.
They are correct, but those insns confuse GDB.
Treat any constant address like a SYMBOL_REF.
* Check for CONSTANT_ADDRESS_P rather than SYMBOL_REF.
* 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
* 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.c (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
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.
(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.
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.
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.
(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.
( 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.
* 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
* 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
* 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
* Version 1.31 released.
* 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
* 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.
* (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
* 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
* 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.
* New patterns for fetching and storing memory
whose address is symbolic and not "legitimate".
* (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
* 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.
* (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
* 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
Sun Nov 13 08:13:49 1988 Richard Stallman (rms at
* 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.
* (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.
* tm-sun386.h, tm-sun386i.h, config-sun386i.h: New files.
* cccp.c (main): Don't die if no output file arg given.
* fixincludes: Tell `find' to find only ordinary files.
* config.gcc: If symlink fails, make a hard link.
Sat Nov 12 20:43:20 1988 Richard Stallman (rms at
* Makefile (gnulib): Use cp to make the temporary .c files;
less likely to fail than ln.
Sat Nov 5 12:46:39 1988 Randall Smith (randy at
* 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.
Tue Oct 25 12:03:49 1988 Randall Smith (randy at
* Added some thoughts (comments) on best method to allow
68881 code with fpa code.
Thu Oct 13 14:19:17 1988 Richard Stallman (rms at
* Version 1.30 released.
* stupid.c (stupid_life_analysis): Init last_call_suid with
largest possible value, not 0.
Wed Oct 12 04:40:18 1988 Richard Stallman (rms at
* output-i386.c (output_asm_insn_double_reg_op): Compensate for
assembler bug that interchanges fsub and fsubr.
* reload1.c (order_regs_for_reload): Undo 29 Sept change.
It breaks the 386.
* varasm.c (decode_rtx_const): Don't example value->addr
if what was stored in was value->d.
* 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.
* c-decl.c (grokdeclarator): Don't clear CONSTP, VOLATILEP
when making an array type.
* dbxout.c (dbxout_symbol): Ignore VAR_DECLs in memory whose
addresses we can't represent.
* fold-const.c (fold): don't convert >= to > if both args are constant.
When converting >= to >, don't fail to change CODE.
Tue Oct 11 04:13:40 1988 Richard Stallman (rms at
* (movhi): Error in truncating mcomw, addh3 args to 16 bits.
* 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.
* 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.
Mon Oct 10 06:19:05 1988 Richard Stallman (rms at
* 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.
* (movsf, movdf): Undo last change; movq/movl set the cc wrong.
* 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.
* cccp.c (main): Open output after the input.
Handle `-o -'.
Sun Oct 9 00:28:06 1988 Richard Stallman (rms at
* tm-sun3.h (CPP_SPEC): Define __HAVE_FPA__ if appropriate.
* c-decl.c (pushdecl): After duplicate_decls, maybe warn about
"declared extern and later static".
* expmed.c (store_bit_field): In insv case, avoid turning
VALUE into a subreg of a subreg.
* loop.c (move_movables): When moving a libcall,
un-cse the function address; put it into the call insn.
Sat Oct 8 01:48:03 1988 Richard Stallman (rms at
* 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.
* reload1.c (choose_reload_targets): Don't call reg_overlap_mentioned_p
if arg is 0.
Fri Oct 7 01:00:19 1988 Richard Stallman (rms at
* 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.
*,, 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.
* (tbitd patterns): op 0 constraint: reject constants.
* (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
* Version 1.29 released.
* loop.c (scan_loop): Don't think a `return' insn enters the loop.
* (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
* 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.h (REGISTER_NAMES): Had two excess elements; deleted.
Mon Oct 3 01:15:51 1988 Richard Stallman (rms at
* 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
* 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,
* 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.
( 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
* 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
* (ashrsi3, ashrdi3, rotrsi3): define_expands to negate
the shift count.
* expmed.c (expand_shift): Eliminate negate-the-shift-count feature.
* (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
* 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
* (movsi, mov{q,h}i): Use find_reg_note to look for REG_WAS_0.
* (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):
* reload1.c (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.
* (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
* 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
* final.c (output_addr_const): Handle DImode CONST_DOUBLEs.
* tm-*.h (PRINT_OPERAND): Treat DImode CONST_DOUBLE like a CONST_INT.
* (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
* 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
* 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.
* (fix_truncdfqi2): Use `%#'.
Sat Sep 24 00:25:48 1988 Richard Stallman (rms at
* 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.
* (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
* 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.
* (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
* 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
* tm-sun3.h (CPP_SPEC): Define it based on TARGET_DEFAULT.
* 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
* 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
* 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
* reload.c (find_reloads): Make optional reloads for explicit MEMs.
* tm-m68k.h (MODES_TIEABLE_P): If no 68881, can tie fixed to floating.
* (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.
* (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.
* 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
* 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.
* (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,
Most places changed to use them.
Fri Sep 16 11:50:15 1988 Richard Stallman (rms at
* 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.
* (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
* 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.
* (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
* c-decl.c (build_enumerator): Use saveable_tree_cons.
* (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
* 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
* (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
Sun Sep 11 01:47:01 1988 Richard Stallman (rms at
* 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
* 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.
* (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.
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.
(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
* 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.
* (movdi, movdf): the x-reg constraint accidentally allowed
moving rm to rm with no &.
* (call_value): Typo.
* expr.c (emit_block_move, emit_push_insn): prefer movstrqi to movstrsi
* (FPA multiply): bad opcodes for 3-operand multiply insns.
Thu Sep 8 18:22:14 1988 Richard Stallman (rms at
* c-parse.y: Use YYERROR instead of synonym YYFAIL.
* 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
* 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.
* (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.
* (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.
* (cse'd multiply insn): Typo in asm-output code.
Tue Sep 6 20:05:48 1988 Richard Stallman (rms at
* c-parse.y (yylex, etc.) Install Schmidt's perfect hash table.
* gcc.c: handle extension `.cc'.
Mon Sep 5 12:09:58 1988 Richard Stallman (rms at
* Version 1.27 released.
* tm-i386.h (PREFERRED_RELOAD_REG): When reloading a QImode,
make sure the class doesn't include %esi or %edi.
* (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.h (PREFERRED_RELOAD_REG): When reloading a QImode,
* reload.c (push_reloads): Braino in last change when IN == 0.
* flow.c (mark_used_regs, mark_set_1): Bug if HARD_REGNO_NREGS
returns 0 for VOIDmode reg (inside a CLOBBER).
* 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.
* stmt.c (assign_parms): Ignore parms that aren't PARM_DECLs.
* varasm.c (assemble_variable): Do ASM_OUTPUT_EXTERNAL for functions.
* c-parse.y (yylex): floatflag is now an enum.
Detect invalid use of decimal points (> 1, or in exponent)
and multiple exponent letters.
* expr.c (expand_call): If inlining fails, set TREE_ADDRESSABLE.
Sun Sep 4 00:36:30 1988 Richard Stallman (rms at
* 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.
* 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.
* (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.
* reload.c (find_reloads): Force int constants into memory just
like floating ones, if memory is allowed and no regs are.
* 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.
* tm-386v.h (START_SPEC): Use {g,m}crt1.o, not {g,m}crt0.o.
(LIB_SPEC): Always use crtn.o.
Sat Sep 3 13:05:50 1988 Richard Stallman (rms at
* explow.c (plus_constant): Don't put CONST around lone SYMBOL_REF.
* combine.c (subst): Simplify zero- or sign-extend of a constant.
* expr.c (expand_expr): for REAL_CST, etc., check for invalid
memory addresses and copy into registers.
* integrate.c (expand_inline_function): If incoming struct value addr
is in memory, map it like a memory parameter.
* 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.
* stmt.c (assign_parms): 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
* 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
* reload1.c (choose_reload_targets): Test for canceled reload
before looking inside reload_out.
* jump.c (jump_optimize): Bug in last change.
* (return): Pattern disabled; confuses Aug 29 stmt.c change.
*, 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
* 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
* jump.c (jump_optimize): Ignore other NOTEs while looking for
* 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.
* expmed.c (expand_mult): Special case for -1 as one operand.
Mon Aug 29 12:14:51 1988 Richard Stallman (rms at
* 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.
* expr.c (expand_call): Execute cleanups_of_this_call on exiting.
Notice calls to __builtin_new (but don't do anything about them yet).
* reload.c (push_reload): If reloading a (SUBREG (MEM ...) ...),
really reload just the MEM in the MEM's own mode.
* 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.
* output-sparc.c (single_insn_src_p): New fn.
(output_delay_insn): New fn.
* tm-sparc.h (TARGET_EPILOGUE): New target flag.
(NOTICE_UPDATE_CC): New clause for funny PARALLEL with a REG in it.
* (movqi): Use *'s to ensure preferencing d-regs.
* c-parse.y (datadef): If traditional, no warning about no specs.
Sun Aug 28 14:34:33 1988 Richard Stallman (rms at
* tm-i386.h: Define PROMOTE_PROTOTYPES.
* 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.
* stmt.c (expand_asm_operands): MAX_SETS_PER_INSN limits # output ops.
* emit-rtl.c (init_emit_once): Make elt 2 of {f,d}const0_rtx nonzero.
* c-decl.c (lang_decode_option): Handle -Wwrite-string.
* c-parse.y (combine_strings): If that flag, make array of const char.
* expr.c (expand_expr): for INTEGER_CST, always use immed_double_const;
never do output_constant_def (it didn't work).
* varasm.c (output_constant): Handle integer CONST_DOUBLEs.
(output_constant_def): Abort if arg is an INTEGER_CST.
* emit-rtl.c (gen_rtx): Don't return {f,d}const0_rtx for DImode.
Sat Aug 27 12:37:23 1988 Richard Stallman (rms at
* c-decl.c (pushdecl): Global extern decls set TREE_PUBLIC
like local ones.
* integrate.c (expand_inline_function): Handle parms that were
passed in registers but whose homes are on the stack.
* varasm.c (force_const_mem): Output ints according to spec'd mode.
Take mode as argument; pass it along.
* c-parse.y (read_escape): No warning for `\{' or `\['.
Fri Aug 26 12:23:07 1988 Richard Stallman (rms at
* stmt.c (fixup_memory_subreg): Typo calculating big-endian adjust.
* (call_value): Handle >255 args as in `call'.
Thu Aug 25 16:00:51 1988 Richard Stallman (rms at
* jump.c (delete_jump): Don't delete the cc-setter if it has autoinc.
Wed Aug 24 16:33:37 1988 Richard Stallman (rms at
* expr.c (expand_expr): For sun with a COND_EXPR, use SUBTARGET
if validate_subtarget says ok.
* tree.c (build_index_type): make_index_type moved here and renamed.
* combine.c (move_deaths_2): New function.
(try_distrib): Use that, not move_deaths.
* tm-sparc.h (SHIFT_COUNT_TRUNCATED, STORE_FLAG_VALUE): Define them.
* 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.
* tm-sparc.h (NOTICE_UPDATE_CC): Delete the clause that always
cleared the cc's for unrecognized insns.
* reload1.c (reload_as_needed): Don't try to use a spill-reg
in a basic block that wasn't spilled: ignore optional reloads.
Tue Aug 23 09:45:05 1988 Richard Stallman (rms at
* output-sparc.c (output_scc_insn): New function.
* expr.c (expand_builtin, alloca): Round result of alloca
up to a multiple of STACK_BYTES.
* toplev.c (compile_file): Default main_input_filename is cc1 input.
* tm-i386.h (FUNCTION_BOUNDARY): 32 avoids extra prefetch.
* (movdi, movdf): Add `&' where needed in constraints.
Mon Aug 22 11:57:51 1988 Richard Stallman (rms at
* symout.c (symout_finish): Allocate typevector after the symout_types.
Sun Aug 21 16:10:54 1988 Richard Stallman (rms at
* tm-3b1.h (ASM_FORMAT_PRIVATE_NAME): Use a `_' as well as `%'.
* expr.c (expand_expr): Typo setting MODE for MAX_EXPR.
* Makefile (stage*): If ln fails, copy gnulib to stage*.
(realclean): Do `clean' and then some.
(install): new var USER_H specifies headers to copy.
* 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.
* combine.c (remove_links, try_distrib): New fns.
(subst): New simplifications for ZERO_EXTEND, SIGN_EXTEND.
(combine_instructions): Call try_distrib.
* (non-FPA pattern for floatsisf2): Typo, had DF for SF.
Sat Aug 20 12:04:37 1988 Richard Stallman (rms at
* 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.
* reload.c (find_reloads): If force_reload set, don't set WIN
for a MEM even if `m', `o' or `g' in constraint.
* (expendqihi2): Typo in asm template.
* 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 (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.
* c-decl.c (duplicate_decls): Avoid error redeclaring fcn after
implicit decl if -traditional.
* toplev.c (announce_function, report_error_function):
Change communication logic between these fcns.
* c-decl.c (lang_decode_options): Handle -Wall here.
* toplev.c (main): not here.
* tm-bsd386.h: Don't include tm-i386.h--be like tm-att386.h
Fri Aug 19 11:08:36 1988 Richard Stallman (rms at
* config-sun4.h: If sparc, include config-sparc.h.
Never include alloca.h.
* tm-m68k.h (TARGET_SWITCHES): Define `-mc68020', `-mc68000'.
* c-decl.c (init_decl_processing): If traditional, use signed sizetype.
* gcc.c (main): Use stderr for printing version.
Thu Aug 18 14:42:36 1988 Richard Stallman (rms at
* Version 1.26 released.
* (movsi): Constraint change for fpa regs.
* reload1.c (choose_reload_targets): Clear reg_reloaded_contents
for all regs of a multi-reg group.
* reload.c (find_equiv_reg): HARD_REGNO_NREGS wants mode, not size.
Check properly for overlap against multiword reload regs.
Tue Aug 16 14:54:18 1988 Richard Stallman (rms at
* varasm.c, expr.c (immed_double_const): immed_real_const_2 renamed.
* tm-i386.h (SFVALUE): Should be `double'.
* tm-i386v.h (SFVALUE): Don't override it.
* tm-i386.h (ASM_OUTPUT_ASCII): Don't define it.
* tm-att386.h: Definition moved here.
* tm-bsd386.h: New file, for Sequent.
* tm-seq386.h: New file, for Sequent.
* config-i386.h: New file, for Sequent.
* expr.c (push_block): Take account of STACK_POINTER_OFFSET.
(expand_call): Therefore need not do so here.
* optabs.c (expand_fix): Typo if going via DImode.
* reload1.c (choose_reload_targets): Don't * reload_reg_rtx if 0.
Mon Aug 15 01:11:49 1988 Richard Stallman (rms at
* integrate.c (copy_for_inline): Don't try copying 0-length vector.
(copy_rtx_and_substitute): Likewise.
* (andsi3): use clrw instead of andw #0.
* print-tree.c (walk): Don't omit permanent nodes reach from temps.
* (zero_extend...): Reinstall the old zero-extend insns
without names, so they can help the combiner.
* 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 (redescape): Don't warn for `\('.
* reload.c (find_reloads_address): #if was backwards.
Sun Aug 14 16:52:22 1988 Richard Stallman (rms at
* c-typeck.c (shorten_compare): Change switch to chain of ifs.
* tm-ns32k.h (PRINT_OPERAND): CONST_DOUBLE contains a double
even if it's SFmode.
* cccp.c (file_buf): Rename field `free' to `free_ptr'.
* 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.
* output-i386.c (notice_update_cc): Rewritten for clarity.
* tm-i386.h (OUTPUT_JUMP): If CC_IN_OVERFLOW, abort.
* recog.c (push_operand): Test for stack_pointer_rtx.
* 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.
* 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.
* (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.
Sat Aug 13 15:19:23 1988 Richard Stallman (rms at
* stupid.c (stupid_life_analysis): If only 1 reg class,
call stupid_find_reg only once.
* stmt.c (expand_function_start):
Clear current_function_pretend_args_size.
* expr.c (store_constructor): If target is hard reg, go via a pseudo.
* 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.
Fri Aug 12 11:48:38 1988 Richard Stallman (rms at
* reload1.c (order_regs_for_reload): Handle REG_ALLOC_ORDER more spots.
* 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.
* local-alloc.c (qty_compare_1): typo, had q1 for q2.
* 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.
* reload1.c (reload): Don't set reg_equiv_constant for hard regs.
* stupid.c (stupid_life_analysis): Ignore reg R if regno_reg_rtx[R]==0.
* symout.c (symout_finish): Use perm. links in permanent_fwd_refs.
* (movhi, movqi): Check no_labels_between_p.
Thu Aug 11 10:44:46 1988 Richard Stallman (rms at
* c-parse.y (yylex): Out-of-range float is just a warning.
* tm-gnx-v3.h: New file for Genix.
* (movsi, call, call_value): GNX_V3 conditionals.
* tm-ns32k.h (PRINT_OPERAND_ADDRESS): Changes for Genix.
* (insv patterns): Operand 0 is read-write.
* (tstsf, tstdf): Don't push the arg if already in st(0).
* varasm.c (output_constant_def): If EXP is permanent, the rtl is too.
* 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.
* cccp.c (rescan): Don't let char const cross lines.
(skip_quoted_string, macarg1, discard_comments): Likewise.
* expr.c (expand_expr, VAR_DECL case): handle flag_force_addr.
* tm-i386v.h (TAREGT_DEFAULT): Assume 80387.
* config-i386v.h (alloca): Use __builtin_alloca under GNU C.
Wed Aug 10 11:23:06 1988 Richard Stallman (rms at
* reload.c (find_reloads): Alternative loses
if it has no regs for a reg operand.
* 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.
* 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.
* stmt.c (fixup_memory_subreg): Result had wrong mode.
* (insv patterns): Adjust bit-number along with address.
* (negdf2, absdf2): Order of the words was backwards.
* reload1.c (new_spill_reg): End confusion about meaning of 1st arg.
Arg counted_for_nongroups had wrong type.
* tm-m68k.h (FUNCTION_{PRO,EPI}LOGUE): Round frame size to word bdry.
Tue Aug 9 07:53:59 1988 Richard Stallman (rms at
* tm-i386.h (ASM_OUTPUT_ASCII): Don't lose the sign bit.
* tm-i386v.h (STARTFILE_SPEC, LIB_SPEC): Use crt1.o, crtn.o.
* stmt.c (fixup_var_refs_1): fixup all memory subregs.
* reload1.c (choose_reload_targets): Don't strip paradoxical
subregs from values to be reloaded.
* cccp.c: Comment out text after #endif.
* c-parse.y (init): Allow empty braces as init; warn if pedantic.
* 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.
* c-parse.y: Don't include flags.h.
* dbxout.c: Do include it.
* 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.
* local-alloc.c (reg_is_set): Don't call {post_,}mark_life for pseudos.
* tree.h (TYPE_BASECLASSES): New field in type nodes.
* (insv patterns): Was adjusting the address wrong.
* c-decl.c (grokdeclarator): Just a warning for inline varargs fn.
Mon Aug 8 08:16:46 1988 Richard Stallman (rms at
* varasm.c (immed_real_const_2): Guts of creating a CONST_DOUBLE.
* expr.c (expand_expr): Use that for 64-bit int constants.
* loop.c (invariant_p): Don't check x->unchanging; it's not safe.
* 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.
* 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.
* emit-rtl (emit_label, emit_barrier): Return what was emitted.
* 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.
* toplev.c: Better messages for invalid options.
* tm-m68k.h (PRINT_OPERAND_ADDRESS): Handle labelref+basereg.
* 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 `~'.
* gcc.c: Include config.h before obstack.h.
Sun Aug 7 11:17:56 1988 Richard Stallman (rms at
* 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.
* 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.
(type_list_equal): Compare the TREE_PURPOSE fields.
(build_reference_type, build_method_type): New fns.
* 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.
* stmt.c (expand_return): Handle INIT_EXPR, or bare RESULT_DECL.
* stmt.c (case_stack): Add field `has_default' to each element.
(pushcase,expand_end_case): Maintain and use that field.
* stmt.c (pushcase): Handle RANGE_EXPR cases.
(pushcase_range): Create RANGE_EXPR cases.
* final.c (final): Always pass 3 args to ASM_OUTPUT_CASE_END.
* tm-3b1.h: Delete offending spaces.
Fri Aug 5 16:17:16 1988 Richard Stallman (rms at
* integrate.c (copy_rtx_and_substitute): Don't make fp+reg+const
without an intermediate temporary reg.
* print-tree.c (dump): Don't print an identifier's chain.
* toplev.c (compile_file): Treat `.i' suffix like `.co'.
* gcc.c: New config macro CC1_SPEC: extra switches for cc1.
Make a new spec for `.i' files.
* c-decl.c (pushdecl, finish_decl): Delete duplicate tests.
* varargs.h: Maybe include va-sparc.h or va-spur.h.
* va-sparc.h: New file.
* va-spur.h: renamed file.
* 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.
Thu Aug 4 08:54:30 1988 Richard Stallman (rms at
* tree.def: Add some tree codes for C++.
* 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.
* 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.
* parse.y (yylex): Use p->rid to check for `signed' and `inline'.
* tm-sparc.h (ASM_OUTPUT_SOURCE_LINE): typo.
* 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.
* tm-sparc.h (TARGET_SUN_ASM): New target flag.
* 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.
* integrate.c (expand_inline_function): Some special CALL_INSN
handling no longer needed due to REG_FUNCTION_VALUE_P.
* (movqi): Constraints allow moving areg to areg.
Wed Aug 3 08:29:31 1988 Richard Stallman (rms at
* Version 1.25 released.
* integrate.c (expand_inline_function): Don't let MEM be inline_target.
Tue Aug 2 09:13:37 1988 Richard Stallman (rms at
* integrate.c (INTEGRATE_THRESHOLD): New macro, default dfn here.
(function_cannot_inline_p): Use it.
* 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.
Mon Aug 1 02:46:08 1988 Richard Stallman (rms at
* integrate.c (copy_rtx_and_substitute): If NO_FUNCTION_CSE,
don't break out constant fcn addresses here.
* expmed.c (expand_fixed_bit_field): Tests of FUNCTION_VALUE_REGNO_P
were backwards.
Sun Jul 31 13:10:07 1988 Richard Stallman (rms at
* recog.c (indirect_operand): New function.
* 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.
* 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.
* expr.c (prepare_call_address): Don't pass const via reg if no -O.
* tm-sparc.h (FUNCTION_{PROLOGUE,EPILOGUE}) Round the size of saved
registers. Fix bug counting saved registers.
* tm-sparc.h (ASM_OUTPUT_SOURCE_LINE): Define this macro.
* tm-sparc.h (DEFAULT_SIGNED_CHAR): Now 1.
* expr.c (expand_builtin, alloca case): Adding stack offset needs
special code if TARGET is a MEM.
* dbxout.c (dbxout_init): Define Ltext: after the reference to it.
* tm-3b1.h (ASM_OUTPUT_CASE_LABEL): `short 0' triggers assembler bug;
`short L%nn-L%nn' supposedly works.
Sat Jul 30 00:25:52 1988 Richard Stallman (rms at
* (floatsidf2): Minor change in output.
(fix_trunc{sf,df}si2): Similar.
* output-sparc.c (output_fp_move_double): Minor change in output.
* stmt.c (assign_parms): Don't count stack space for struct value
address if the function does not have one.
* sdbout.c: Output .dim's and total size for arrays.
Detect bit-fields properly.
Changed handling of structure tags.
* reload1.c (new_spill_reg): counted_for_nongroups is a new arg;
store 1 in it if this reg is needed for max_nongroups.
* reload1.c (choose_reload_targets): Allow inheritance of DFmode
if it needs only one register.
* reload1.c (choose_reload_targets): Delete the death-note from the
store-insn of an inherited reload if PRESERVE_DEATH_INFO_REGNO_P.
* 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.
* reload.c (subst_indexed_address): Handle case with 2 regs
and no constant term.
* 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.
* 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).
* global-alloc.c (global_alloc): Enable test of OVERLAPPING_REGNO_P
for setting no_global_alloc_regs.
* expr.c (prepare_call_address): Use force_reg, so it gets a REG_EQUIV.
* 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.
Fri Jul 29 02:42:40 1988 Richard Stallman (rms at
* cccp.c (initialize_char_syntax): If dollars_in_identifiers is 0,
set entries for `$' to 0.
Set entries to 1 rather than incrementing them.
Tue Jul 26 11:14:22 1988 Richard Stallman (rms at
* varasm.c (assemble_variable): Make SDB output only if top-level.
* local-alloc.c (reg_is_set): Arg to mark_life is regno, not qty.
* output-ns32k.c (print_operand_address): New flag SEQUENT_BASE_REGS
* tm-sequent.h: Define that flag.
* Makefile: add some missing deps.
* tm-encore.h (ASM_FILE_START): Changed to do nothing.
* sdbout.c (sdbout_init): Fix two dumb errors.
* sdbout.c (sdbout_end_epilogue): No longer takes arg.
Examine current_function_decl here, not in caller.
* final.c: Call changed.
Mon Jul 25 01:32:54 1988 Richard Stallman (rms at
* stor-layout.c (layout_record): Handle PCC_BITFIELD_TYPE_MATTERS.
* tm-3b1.h (__PTR_TO_INT, __INT_TO_PTR): Define these, to alter
parts of obstack.h.
Sun Jul 24 17:56:53 1988 Richard Stallman (rms at
* 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.
* 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.
* (DImode push): now allows `F'.
* (movdi): now allows `F'.
Handle indexed references to frame pointer.
* tm-i386.h, tm-m88k.h, tm-sparc.h: Likewise.
* cse.c (predecide_loop_entry): Must search for the loop top label.
Sat Jul 23 08:53:01 1988 Richard Stallman (rms at
* parse.y (yylex): typo in wide strings.
* tm-vaxv.h, config-vaxv.h: New files for sysV on vax.
* config-sun4.h: If sparc and not compiling with GCC, include alloca.h.
Fri Jul 22 02:38:02 1988 Richard Stallman (rms at
* tree.c (build_real_from_int_cst): CHECK_FLOAT_VALUE at proper place.
* 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.
* 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...
ASM_OUTPUT_CASE_{LABEL,END}): Put a % in names of internal labels.
New macros, for same reason.
(FUNCTION_PROFILER): New macro, for % and also to put addr in a0.
* 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.
* sdbout.c (sdbout_init): Output the .file pseudo here.
* tm-3b1.h, tm-att386.h (ASM_FILE_START): Don't do it here.
* sdbout.c (PUT_SDB_VAL): Output leading tab, like the other macros.
* tm-3b1.h (PUT_SDB_VAL): Likewise.
* regclass.c (regclass): Cast enums to int, not char.
* varasm.c (record_constant): Likewise. Avoids 3b1 PCC bug.
* decl.c (pushdecl): Better choice of error message for extern/static.
* emit-rtl.c: Do look for STRUCT_VALUE_INCOMING_REGNUM.
Thu Jul 21 02:13:03 1988 Richard Stallman (rms at
* cse.c (canon_hash): CONST_INT case failed to add to prev. value
of HASH; was inconsistent with cse_insn mem address hashing.
* (divide insns): Alternate 3B1 syntax for `swap' insn.
Wed Jul 20 18:27:10 1988 Richard Stallman (rms at
* In shift-by-24 patterns, rejects autoincrement memrefs
since they are mode-dependent.
Tue Jul 19 13:01:38 1988 Richard Stallman (rms at
* parse.y (check_newline): Handle #ident by writing .ident to output.
* cccp.c: Don't handle #ident; delete IDENT_DIRECTIVE conditionals.
* stmt.c (expand_end_case): In compares, put constant arg second.
* jump.c (jump_optimize): Delete conditional jump if followed by
an unconditional jump to the same place.
Mon Jul 18 17:49:13 1988 Richard Stallman (rms at
* 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 (assign_parms): If incoming struct addr on stack, leave room.
* expr.c (expand_call): If outgoing addr on stack, push it like an arg.
* 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.
Sun Jul 17 14:25:47 1988 Richard Stallman (rms at
* jump.c (jump_optimize): peephole can delete insns following INSN.
Set NEXT after peephole.
* decl.c (finish_decl): Always restart perm alloc if global.
* 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.
* New pattern for decrement and compare against -1.
Sat Jul 16 14:18:00 1988 Richard Stallman (rms at
* decl.c (pushdecl): Ignore previous decl if it's really an error_mark.
* stmt.c (expand_start_case): Make sure case_stmt.start is a NOTE.
* combine.c (subst): In the simplification for
(set (zero_extract ...) (and/or/xor (zero_extract ...) const)),
require same memory location in both extracts.
* *386*: New files.
* 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.
* cccp.c: `ident' has 5 letters.
* final.c (output_source_line): SDB can't handle multiple source
files, so ignore line-NOTEs for other files.
* hard-reg-set.h: New var reg_class_size (# regs in the class).
* regclass.c (init_reg_class): Set it up.
* 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.
* 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.
* 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.
* sdbout.c (sdbout_one_type): Go to .text before defining a type.
(sdbout_block): Test against do_block was backwards.
* stmt.c (expand_end_function): New args to make a NOTE for last line.
* decl.c (finish_function): Pass the args.
* rtl.c (no_labels_between): New function.
* (movsi): Call it.
* print-tree.c (dump): Don't follow chain of a decl.
* rtl.c (volatile_refs_p): Moved from flow.c.
Fri Jul 15 13:36:20 1988 Richard Stallman (rms at
* 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.
* sdbout.c (sdbout_mark_function_end): Unused; deleted.
* tm-3b1.h: Define SDB_DEBUGGING_INFO.
Thu Jul 14 01:55:15 1988 Richard Stallman (rms at
* config-sunv4.h: New file for Sunos version 4.
* tm-sun3.h (CPP_SPEC): Define mc68010 or mc68020, depending.
Tue Jul 12 15:31:30 1988 Richard Stallman (rms at
* 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.
* cse.c (predecide_loop_entry): Avoid using JUMP_LABEL.
* flow.c (find_basic_blocks): Avoid using JUMP_LABEL.
* 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 Jul 11 10:46:26 1988 Richard Stallman (rms at
* (floatqidf2): Commented out since assemblers warn about it.
Sun Jul 10 11:49:23 1988 Richard Stallman (rms at
* decl.c (xref_tag): Default the TYPE_MODE of enum xrefs
to avoid making MEM and REG with VOIDmode.
* (call): If > 255 args, pop them explicitly.
Sat Jul 9 10:53:47 1988 Richard Stallman (rms at
* 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.
* parse.y: Don't declare errno if it's a macro.
* tm-hp9k320 (FUNCTION_PROFILER): Pass ptr in a0, not d0.
* typecheck.c (truthvalue_conversion): Flush unnec recursive call.
(build_cond_expr): Bug testing zeroness of IFEXP with TREE_LITERAL.
* cse.c (fold_cc0): Constants not CONST_INT are certainly nonzero.
* fold-const.c (fold): ADDR_EXPR is not equal to zero.
* cccp.c (macroexpand): Disable the macro even if traditional.
(rescan): Error if use a disabled macro.
* combine.c (try_combine): Don't substitute a different reg into
an auto-increment. Handle multiple REG_INC notes in I1 or I2.
* decl.c (implicitly_declare): Don't reuse old implicit decl.
* varasm.c (assemble_variable): Avoid syntax err if no DBX and no SDB.
* final.c (output_source_line): likewise.
* fold-const.c (fold): PLUS/MINUS_EXPR: in case of cancellation,
convert result to original type.
* regclass.c (reg_class_record): Changed arguments include address
of entire vector of constraints.
Fri Jul 8 07:59:00 1988 Richard Stallman (rms at
* reload1.c (reload): Find groups of more than 2 registers.
Thu Jul 7 08:33:07 1988 Richard Stallman (rms at
* expr.c (emit_push_insn): Typo adjusting arg for bcopy
* gnulib.c (_cmpsf2): Value is int, not SFVALUE.
Wed Jul 6 11:53:46 1988 Richard Stallman (rms at
* tm-encore.h, tm-3b1.h: Replace ASM_FILE_START; output a .file.
* *m88*: New files for Motorola 88000. They don't really work.
Tue Jul 5 14:40:03 1988 Richard Stallman (rms at
* local-alloc.c (combine_regs): Don't tie a reg to itself.
* finxincludes: Make a variable LIB for the target dir.
* (movhi, addhi3, addsi3): Micro-optimize choice of asm insns.
* expr.c (expand_expr): Use new macros NO_DEFER_POP, OK_DEFER_POP
in several places, to keep stack predictable.
Mon Jul 4 09:50:18 1988 Richard Stallman (rms at
* integrate.c (function_cannot_inline_p): Increase threshold size.
* flags.h (use_gdb_dbx_extensions): New variable.
* toplev.c:
* sdbout.c (PUT_SDB_TAG): Delete duplicate defn.
* expr.c (expand_expr): For FIX_TRUNC_EXPR to unsigned short/char,
REALLY go via signed int.
* loop.c (may_trap_p): Was detecting floating arithmetic incorrectly.
* tm-news800.h (CPP_PREDEFINES): Add sony and sony_news.
* parse.y (check_newline): Avoid infinite loop at eof.
Sat Jul 2 10:35:17 1988 Richard Stallman (rms at
* Version 1.24 released.
* 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:).
* local-alloc.c (block_alloc): Tests of qty_compare were backwards.
* flow.c (life_analysis): Turn off code that finds regs live at
function start and marks them not local to any basic block.
* cse.c (insert_regs): Fix typo (UNITS_PER_WORD).
* cccp.c: Define max.
* 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.
* output-vax.c (print_operand_address): New function from old macro.
* tm-vax.h (PRINT_OPERAND_ADDRESS): Call that function.
* config-vms.h: If not under GNU C, define X_OK, etc.
* 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'.
* genoutput.c (output_epilogue): Put more newlines in insn_outfun.
* genemit (gen_exp): Put in more newlines.
Fri Jul 1 00:23:57 1988 Richard Stallman (rms at
* global-alloc.c (allocno_compare): Avoid comparisons of floats
since that is sensitive to roundoff errors.
Thu Jun 30 09:25:40 1988 Richard Stallman (rms at
(PUT_SDB_PLAIN_DEF): New name for old defn of PUT_SDB_DEF
(sdbout_one_type): Use PUT_SDB_PLAIN_DEF for `.eos'.
* 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.
* 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
(main): Initialize based on CPLUSPLUS; `-+' sets it.
* Makefile: Set *_INCLUDE_DIR based on $(libdir).
Tue Jun 28 09:25:49 1988 Richard Stallman (rms at
* tree.c (copy_node): Round LENGTH up to multiple of sizeof (int).
* expr.c (emit_push_insn): Avoid using PUSH_ROUNDING if not defined.
* (floatsisf2): Insert missing brace.
(mulsi3): Replace reg_o0_rtx, reg_o1_rtx.
* tm-sparc.h: Define DBX_DEBUGGING_INFO.
* parse.y (yylex): If traditional, no error for out-of-range float.
* Makefile: Comment saying how to compile on an Apollo.
* tm-sparc.h (ASM_FILE_START): Switch to new calling convention.
* decl.c (init_decl_processing): Create type nodes for 64-bit ints.
(grokdeclarator): use them for `long long'. Warn only if pedantic.
* optabs.c (init_optabs): Add missing DImode insn names.
* expr.c (emit_block_move, emit_push_insn): Use movstrqi if appro.
* expr.c (convert_move): use extendsidi if appropriate.
* cccp.c (initialize_builtins): Don't install __STDC__ if traditional.
(main): Call initialize_builtins after option processing.
* integrate.c (output_inline_function): Set current_function_decl.
* cse.c (fold_rtx): Typo in avoiding 32-bit shifts.
* cccp.c: Add forward-decl.
Mon Jun 27 18:06:42 1988 Richard Stallman (rms at
* 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.
Sun Jun 26 10:47:47 1988 Richard Stallman (rms at
* Version 1.23 released.
* tm-3b1.h: Define IDENT_DIRECTIVE.
* tm-encore.h: Define SDB_DEBUGGING_INFO.
* output-ns32k.c: Decl of paren_base_reg_printed must be outside fcns.
* tm-encore.h (ASM_OUTPUT_DOUBLE): Do 0f, not 0l.
(CPP_PREDEFINES): No -Dns32032.
* sdbout.c: Include syms.h, not storclass.h.
(unnamed_struct_member): Decl was missing.
(sdbout_types, sdbout_one_type, sdbout_parms): Fix typos.
* Makefile: Add file sdbout.o.
Changed comments pertaining to sysV.
Make a separate target `doc' to make the info files.
* (bit-field insns): Use nonimmediate_operand for the thing
to extract from.
* (QImode bit-field insns): Likewise.
* recog.c (nonimmediate_operand): Accept any nonconst general operand.
Sat Jun 25 07:54:42 1988 Richard Stallman (rms at
* cse.c (lookup_as_function): arg to exp_equiv_p was missing.
Fri Jun 24 09:14:47 1988 Richard Stallman (rms at
* recog.c (memory_operand): Allow (subreg (mem...)).
Thu Jun 23 07:34:07 1988 Richard Stallman (rms at
* decl.c (finish_enum): Compute minimum value like maximum.
If minimum is negative, install it in the type and make it signed.
* 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.
* local-alloc.c (find_free_reg): Never allocate the frame pointer reg.
* tm-sequent.h (PRINT_OPERAND): Bug in SFmode CONST_DOUBLE.
* tm-encore.h: Likewise.
* flow.c (flow_analysis): Bug in n_basic_blocks error check.
* stmt.c (expand_asm_operands): Emit no insn if an arg is erroneous.
Tue Jun 21 08:34:24 1988 Richard Stallman (rms at
* reload.c (find_reloads_address): Write back *loc even if
subst_reg_equivs makes no change, in case subst_index_address did.
* 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.
* output-ns32k.c (print_operand_address): Changes in handling of
register-indirect, and of indexing by sb register.
Mon Jun 20 04:55:38 1988 Richard Stallman (rms at
* 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.
* genflags.c (gen_insn): Put parens around defns of HAVE_... macros.
Sun Jun 19 02:52:53 1988 Richard Stallman (rms at
* expr.c (emit_push_insn): Consider PARM_BOUNDARY when compensating
for size of a pushed arg to bcopy.
Sat Jun 18 07:20:54 1988 Richard Stallman (rms at
* New files, tm-sparc.h, config-sparc.h, output-sparc.c.
* 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.
* reload.c (find_equiv_reg): Reject a MEM containing an autoincrement.
Fri Jun 17 06:58:37 1988 Richard Stallman (rms at
* genpeep.c (main): Write `extern' in the decl for `peep_operand'.
* flow.c (propagate_block): When a dead insn has a REG_RETVAL note,
call mark_set_regs anyway, so that `significant' is updated.
* 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.
* loop.c (loop_optimize): Mention invalid multiple-entry loops in log.
* (extv, extzv): Fix # of alternatives mismatch in constraints.
Thu Jun 16 03:06:48 1988 Richard Stallman (rms at
* genrecog.c (change_state): Was mishandling printing XVECEXP indices
greater than 9.
* combine.c (subst, simplify_and_const_int): Avoid making SUBREG
of a non-REG.
* expr.c (expand_expr): For FIX_TRUNC_EXPR to unsigned short/char,
go via signed int.
* 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.
* 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.
* (casesi): Use that.
* rtl.h (struct rtx_def, GET_CODE, PUT_CODE): If SHORT_ENUM_BUG,
define the `code' field as a short.
Wed Jun 15 01:25:57 1988 Richard Stallman (rms at
* 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.
* combine.c (subst): Simplify (not (minus x 1)) and (neg (minus x y)).
Mon Jun 13 02:22:43 1988 Richard Stallman (rms at
* typecheck.c (build_array_ref): Avoid duplicate errmsg if index
is an error-mark.
Sun Jun 12 23:04:39 1988 Richard Stallman (rms at
* 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
* 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,
* 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
* 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
* 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
* 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
Mon Jun 6 21:47:23 1988 Richard Stallman (rms at
* 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
* typecheck.c (build_array_ref): Check arg types here, to make
error message more accurate (not about "addition").
Thu Jun 2 02:41:40 1988 Richard Stallman (rms at
* cccp.c (collect_expansion): `#' isn't special if -traditional.
* dbxout.c (dbxout_parms): Don't output a regparm symbol
unless the parm got a hard reg assigned.
* tm-encore.h (ASM_OUTPUT_DOUBLE): Use 0f... not 0d...
* tm-vax.h (CHECK_FLOAT_VALUE): Define this.
Wed Jun 1 17:13:00 1988 Richard Stallman (rms at
* expr.c (expand_call): Have sequence points between args.
Tue May 31 00:27:06 1988 Richard Stallman (rms at
* expmed.c (store_fixed_bit_field): Avoid shifting by 32.
* cse.c (fold_rtx):
* symout.c (subrange_p): likewise.
* local-alloc.c (block_alloc): If operands 1 and 2 commute,
try tying output to operand 2 if operand 1 won't do.
* toplev.c (compile_file): Pass main_input_file to symout_init.
* tree.c (build_real, build_real_from_int_cst):
Call CHECK_FLOAT_VALUE if it's defined, to report out-of-range values.
* 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.
* tm-encore.h (CPP_PREDEFINES): Remove -Dencore since CC lacks it.
* final.c (output_source_line): Let ASM_OUTPUT_SOURCE_LINE
be used for SDB also.
Mon May 30 00:21:15 1988 Richard Stallman (rms at
* cse.c (insert): Was inserting in wrong place in list.
(exp_equiv_p): Was failing to check validity when x == y.
* tree.c (build_pointer_type): Handle saveable_obstack
like current_obstack.
* decl.c (finish_decl): Error in test for zero-size array warning.
* 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.
* 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.
* cccp.c (rescan): Preprocessing numbers can have signs, after `e'.
* integrate.c (expand_inline_function): Abort, don't return failure,
if max_regno is too low. I believe this can't happen.
* 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.
* typecheck.c (build_unary_op): Don't allow pointer for +.
* typecheck.c (convert_for_assignment):
Add missing warning for case of unrelated pointer types.
Change criteria for new ANSI C draft.
* optabs.c (expand_binop): Don't set unused target_is_not_an_operand.
* fold-const.c (fold_convert): Don't set unused inprec, outprec.
* emit-rtl.c, parse.y: Delete unused var.
* stor-layout.c (add_vc_sizes): Unused function deleted.
* loop.c (constant_high_bytes): #if 0 this unused function.
* gcc.c (fatal): Add missing arg to delete_temp_files.
* cccp.c (dump_defn_1): Add missing arg to skip_quoted_string.
* reload.c (find_reloads): If constraints don't fit in an `asm',
print error instead of aborting.
* regclass.c (reg_class_record): Ignore `&' in constraint.
Sun May 29 00:20:23 1988 Richard Stallman (rms at
* Makefile: Run ranlib only if /usr/bin/ranlib exists.
Add comment saying what to do on system V.
* tree.c (suspend_momentary): Switch to the saveable_obstack
for the sake of inline functions.
* 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.
* 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.
* 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.
* fold-const.c (fold): Simplify x >= CST to x > CST-1 (CST positive).
To simplify this, canonicalize relationals to put constat last.
* decl.c (duplicate_decls): Make a 2nd errmsg to show previous decl.
* cccp.c (file_size_and_mode): Delete temporary VMS bootstrap patch.
* tm-att386.h: New file.
* decl.c (pushdecl): Warn if a local `extern' decl precedes
a file-scope `static' decl.
* expr.c (expand_call): No warning for failure to inline.
* expmed.c (extract_bit_field): copy operand 1 of extv or extzv
into register if memory isn't allowed.
Sat May 28 02:10:56 1988 Richard Stallman (rms at
* gnulib.c, Makefile: Delete va_end.
* final.c, symout.c: Check DBX_DEBUGGING_INFO, not NO_DBX_FORMAT.
* genemit.c (gen_expand): Notice a CALL inside a PARALLEL.
* 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.
* reload1.c (reload): Don't complain if two different but tieable
modes require groups of the same regclass (assuming same size group).
* cccp.c: Add 3rd arg to all `open' calls.
* parse.y (check_newline): Typo prevented ignoring whitespace.
* cccp.c (perror_with_name): fprintf had harmful extra arg.
* cccp.c (main, trigraph_pcp): -Wtrigraphs means warn if any trigraphs.
* emit-rtl.c (gen_sequence): If LEN is 1, avoid looking at PATTERN
of something that doesn't have one.
* 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.
* 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.
* 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.
Fri May 27 00:02:34 1988 Richard Stallman (rms at
* dbxout.c (dbxout_symbol): For local static var, use 'V', not 'v'.
* gcc.c (main): Don't handle SIGHUP or SIGTERM if shell ignored it.
* Makefile, gcc.c: Propagate Make var `libdir' to gcc search path.
* 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.
* 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.
* reload.c (find_equiv_reg): Test given regno for OVERLAPPING_REGNO_P.
* varasm.c (assemble_variable): Use saveable_obstack for allocation.
Thu May 26 01:17:00 1988 Richard Stallman (rms at
* 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.
* 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.
* parse.y (yylex): Check for ERANGE after atof is called.
(Sun doesn't report ERANGE.)
* loop.c (may_trap_p): Any floating arithmetic may trap.
Wed May 25 00:03:34 1988 Richard Stallman (rms at
* parse.y: Delete `noalias'.
(asm_operand): Don't allow this to be empty.
(asm_operands): Do allow this to be empty.
* 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.
* 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.
(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.
* Special patterns for 8 and 16-bit fields, to make
move-insns (like the ones for the 68k).
* tree.c (convert_to_integer): Pass truncation down thru COND_EXPR
as through a binary operator.
* typecheck.c (build_cond_expr): If unpromoted operand types match,
don't promote them--let containing expression promote (just once).
Tue May 24 14:46:26 1988 Richard Stallman (rms at
* combine.c (subst): Simplify (subreg (sign_extend X) 0).
* tm-hp9k320.h: Delete NO_DBX_FORMAT.
* Most tm...h files: Define DBX_DEBUGGING_INFO.
* dbxout.c: Change conditional to DBX_DEBUGGING_INFO.
* 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.
* varasm.c (force_const_mem): Failed to determine alignment bdry
from machine mode.
* jump.c (jump_optimize): Don't delete (move X Y) if X or Y is a
* final.c (output_addr_const): In PLUS, output constant term last.
* final.c (final): Before outputting an insn, do FINAL_PRESCAN_INSN.
* 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.
* gnulib.c: Allow config to override INTIFY.
New macro SFVALUE for data type to return a single-float in.
* combine.c (remove_death): No longer `static'.
* reload1. (choose_reload_targets): PRESERVE_DEATH_INFO_REGNO_P
selects hard regs for which death info should be updated for final.
* reload1.c (reload_as_needed): Let INSN_CLOBBERS_REGNO_P
prevent inheritance of certain reloads.
* reload.c (find_equiv_reg): Let OVERLAPPING_REGNO_P reject
an equiv reg. Needed for funny float regs on 80387.
* cccp.c (do_ident): Define #ident as a no-op if IDENT_DIRECTIVE.
Warn if pedantic.
(do_sccs): Warn if pedantic.
* emit-rtl.c (restore_reg_data): Set cur_insn_uid--prevent duplicates.
Sun May 22 12:25:06 1988 Richard Stallman (rms at
* Version 1.22 released.
* reload1.c (reload): Spilling isn't finished till max_nongroups is 0.
* tm-encore.h (PRINT_OPERAND): No `$' before a CONST.
Sat May 21 13:08:54 1988 Richard Stallman (rms at
* fold-const.c (combine): Typo in MIN_EXPR, MAX_EXPR.
* reload1.c (reload): Was counting insn_groups as total size of groups,
not number of groups.
A new spilled group counts against group-needs of superclasses.
* parse.y (parmlist{,_or_identifiers}_1): In error case,
return a tree list just as in the other cases.
Fri May 20 02:14:51 1988 Richard Stallman (rms at
* config-vax.h, config-m68k.h: If __GNUC__, use builtin-alloca.
* genpeep.c (match_rtx): Generated code was testing the wrong rtx
when testing an int or string at a nonzero index in the rtx.
* reload.c (find_reloads): Typo checking `modified' for conflict
with an earlyclobber.
* reload.c (find_equiv_reg): Reject stack ptr as return value.
* expr.c (expand_builtin): Alloca must do pending stack adjust.
Thu May 19 13:01:01 1988 Richard Stallman (rms at
* flow.c (propagate_block): Skipping back across libcall didn't happen
due to failing to set PREV.
* expr.c (emit_library_call): Code to increment and decrement
current_args_size broke since emit_call_1 was changed to restore it.
* combine.c (try_combine): When i1 or i2 auto-incs a reg, don't combine
if i3 uses that reg.
* config-hp9k3.h: #define bcopy, bcmp, bzero here.
* conf-hp9k320.h: Delete file.
* integrate.c: Don't include strings.h--no need.
* stmt.c (expand_asm_operands): Don't make zero-length vectors.
* loop.c (scan_loop): After a fcn call, maybe-trap insns can't move.
The fcn call might exit and that would prevent the trap.
* reload1.c (reload): Set reload_first_uid to next uid to be used.
* reload.c (find_equiv_reg): Use reload_first_uid to ignore insns
that are due to reloading--only if reload_reg_p is not 0 or 1.
Wed May 18 22:11:20 1988 Richard Stallman (rms at
* typecheck.c (build_unary_op): Don't complain about array
as argument to `!'.
* decl.c (pushdecl): If locally declaring an extern function,
check the identifier's global value in case it's an inline function.
Mon May 16 03:06:08 1988 Richard Stallman (rms at
* output-ns32k.c (output_shift_insn): New fn, maybe turn shift to adds.
(reg_or_mem_operand): Predicate for a non-immediate general_operand.
* tm-ns32k.h (CONST_OK_FOR_LETTER_P): Define letter K.
* Use output_shift_insn for various addr insns that shift.
Don't allow nonexplicit constants in lprd, multiply or truncate insns.
Use reg_or_mem_operand for constraint in op1 of divide insns;
a constant there causes regclass to screw up.
Split alternative constraints on the bit-field insns to avoid
out-of-range operands in exts, inss. Some cases of extraction
can be done faster via memory.
* flow.c (mark_set_1): When adding a REG_DEAD note, inc reg_n_deaths.
* dbxout.c (dbxout_type_def): Do nothing for {integer,char}_type_node.
Sun May 15 00:56:44 1988 Richard Stallman (rms at
* tm-sequent.h, tm-ns32k.h, tm-encore.h (PRINT_OPERAND):
Was treating SF's as SI's.
* expr.c (emit_move_insn): Check all CONST_DOUBLEs for
LEGITIMATE_CONSTANT_P and put them in memory if not.
* local-alloc.c (combine_regs): Allow a reg to be tied to a qty
if the reg's class is contained in the qty's class
(as well as if the reg's class contains the qty's class as before).
Rename qty_reg_class to qty_min_class and make it the smallest
class of any reg tied to the qty.
(reg_class_subset_p, reg_meets_class_p, update_qty_class):
New subroutines to implement this.
(local_alloc): Init reg_qty to -1 for pseudos not in cur. basic block.
(reg_is_born): Abort if pseudo not in basic block has -2 in reg_qty.
* jump.c (rtx_renumbered_equal_p): Insist that modes of REGs match.
Sat May 14 01:05:35 1988 Richard Stallman (rms at
* stmt.c (expand_return): Empty frame frame_offset isn't nec. 0.
* expr.c (emit_call_1): Use stack_size_rtx everywhere appropriate.
* decl.c (init_decl_processing): Set sizetype to `unsigned long'
if `int' is less than a word.
* stddef.h (size_t, ptrdiff_t): Both are now long.
Fri May 13 01:06:00 1988 Richard Stallman (rms at
* emit-rtl.c (gen_lowpart): Handle non-lowpart subreg as arg.
* recog.c (register_operand): VOIDmode means allow any mode.
(immediate_operand, nonmemory_operand): Likewise.
* emit-rtl.c (classify_insn): Update for changed CALL_INSN format.
(emit): New function to emit an rtl pattern as the right kind of insn.
* jump.c (simplejump_p): No longer static.
* genemit.c (gen_expand): For match_operand at top level, call `emit'.
Use `emit_call_insn' when appropriate.
(gen_exp): Handle rtx's that contain strings.
* final.c, symout.c: If not NO_DBX_FORMAT, include stab.h to get the
N_... symbols. Use their default definitions only if they're undef.
* expr.c (expand_call) [no PUSH_ROUNDING]: Always set argblock
if there are any stack-passed arguments.
* typecheck.c (build_unary_op): Mark all increment-exprs volatile.
* recog.c (reg_renumbered_fits_class_p): Delete private copy of
* reload1.c (forget_old_reloads): Handle PARALLEL case by recursion.
Explicit store into a spilled reg invalidates old reloaded contents;
this can occur when we drop through into a basic block whose need was 0
(and so whose local pseudos were not spilled).
* gcc.c (main): If -v, print gcc's own version; also no error msg
if no input files.
* loop.c (may_trap_p): Mem ref to nonconstant address may trap.
(scan_loop): Check may_trap_p only when insn is in other respects ok.
* cexp.y: #include config.h (for decl of alloca on some machines).
Thu May 12 17:24:19 1988 Richard Stallman (rms at
* regclass.c (regclass): When inserting an insn at start of block,
update basic_block_head.
Wed May 11 00:47:09 1988 Richard Stallman (rms at
* stmt.c (assign_parms): DECL_OFFSET should be offset as passed
(not including big-endian width-change correction).
* typecheck.c (shorten_compare): Set unsignedp[01] right in case
where get_narrower makes no change.
(build_binary_op_nodefault): Likewise for shortening shifts.
* stmt.c (expand_end_case): Use type_for_size to get the type
to convert the index to, since `int' is wrong if -mshort.
* decl.c (grokdeclarator): Don't check PARM type for completeness.
(grokparms): If fn definition, check all parm types for completeness.
(store_parm_decls): Likewise.
Tue May 10 22:42:13 1988 Richard Stallman (rms at
* typecheck.c (store_init): For invalid init, store error_mark_node.
* varasm.c (assemble_variable): Ignore error_mark as an init.
* stmt.c (expand_decl): If init is error_mark, init to 0 if possible.
This avoids a spurious "uninitialized variable" warning.
Sun May 8 17:08:07 1988 Richard Stallman (rms at
* tm-hp9k320.h: Define STRUCTURE_SIZE_BOUNDARY.
* decl.c (get_parm_info): Replaces get_parm_types. Returns a tree_list
containing parmdecls and tag list as well as type list.
(grokparms): Accept that tree_list as argument.
(grokdeclarator): Calling grokparms, say "not a definition" for the
function declarators for arg or value types within a definition.
* parse.y: Call get_parm_info.
(parmlist_or_identifiers): If identifiers, make a tree_list
like the one get_parm_info returns.
Fri May 6 16:44:19 1988 Richard Stallman (rms at
* (casesi): Delete template aside from match_operand's.
* tm-encore.h: New file from Robert Brown.
* Use %c in some addr insns.
(tst*): Use {d,f,}const0_rtx to make the constant 0; OS-independent.
(call, call_value): Use %? before address in a bsr.
* output-ns32k.c (print_operand_address): To output a local label,
use `output_asm_label'.
Make SEQUENT_ADDRESS_BUG conditionals happen at compile time.
* tm-ns32k.h: Delete SEQUENT_HAS_FIXED_THEIR_BUG.
(PRINT_OPERAND): Output nothing for `%?'.
* tm-sequent.h: (PRINT_OPERAND): Output nothing for `%?'.
* final.c (output_asm_label): No longer `static'.
Thu May 5 09:03:37 1988 Richard Stallman (rms at
* explow.c (memory_address): Ignore flag_force_reg unless optimize.
Also ignore it for addresses of stack slots (avoid invalid REG_EQUIVs).
* typecheck.c (digest_init): If traditional, allow `char x[100]=0;'.
* tree.c (get_unwidened): Don't alter a COMPONENT_REF if
innerprec equals the precision of the existing type.
It was changing pointers to integers.
* (movdi): Put all fpregs in separate constraint alternatives
and handicap them so spill reg won't be an fp reg.
* parse.y (yyerror): Use the arg as part of the error message.
* decl.c (start_function): Give the RESULT_DECL type int rather
than char or short.
* typecheck.c (c_expand_return): Convert value from fn's return type
to the RESULT_DECL's type.
* Avoid generating dbx xrefs to enums, since dbx loses on them.
Do this by outputting all types in order of definition.
This is done only for top-level types; problem remains for local ones.
* decl.c (finish_decl): Do rest_of_decl_compilation for TYPE_DECLs.
* toplev.c (rest_of_decl_compilation): Do dbxout_symbol for them.
* dbxout.c (dbxout_symbol): Check DECL_RTL only for fns and variables.
For a TYPE_DECL, ignore it if the type was already output
and its preferred name is the TYPE_DECL. Else output type in full.
* decl.c (pushdecl): Don't prefer typedef names to type tag names.
* stor-layout.c (chain_type): Build chain in forward order.
* tm-3b1.h (ASM_OUTPUT_CASE_LABEL): Error getting length of table.
* tm-3b1.h: #define SGS_3B1 was missing.
* typecheck.c (build_compound_expr): Ignore non-volatile subexprs.
* fold-const.c (fold): Simplify (unsigned) foo >= 0, etc.
* stor-layout.c (layout_type): Set TYPE_PRECISION of ptr types.
Wed May 4 08:06:25 1988 Richard Stallman (rms at
* parse.y: Don't use the Bison @ construct, since it makes parser slow.
* decl.c (finish_function): Delete FILENAME and LINE args.
* typecheck.c (digest_init): No pedantic warning for array="string".
Tue May 3 09:09:30 1988 Richard Stallman (rms at
* toplev.c (main): Ignore `-Wcomment'.
* gcc.c: Pass -Wall to cpp (which treats it like -Wcomment).
* tm-isi68.h: Greatly simplified; now works only with GAS.
* tm-m68k.h (EMPTY_FIELD_BOUNDARY): now 16 (right on Sun, ISI and HP).
* tm-sun3.h: No need to redefine it.
* decl.c (finish_struct): Don't ever make DECL_ALIGN smaller.
* decl.c: Rename min, max to MIN, MAX.
* typecheck.c (convert_for_assignment): Avoid warning if assigning
a `void *' from a `const void *'.
* combine.c (FAKE_EXTEND_SAFE_P): Turn off for mem refs; avoid faults.
Mon May 2 07:28:27 1988 Richard Stallman (rms at
* tm-vax.h: Support -mg switch to use g-float instead of d-float.
Define code `#' for PRINT_OPERAND.
* use `#' in opcodes for doubleword float.
* tm-vax.h: Define UDIVSI3_LIBCALL and UMODSI3_LIBCALL.
* cccp.c (main, do_include): Implement -I- switch.
* jump.c (jump_optimize): When hunting NOTE_INSN_FUNCTION_END,
skip final RETURN (found on the vax).
* toplev.c (main): -Wall is equiv to all -W switches combined.
* stmt.c (expand_decl, expand_end_bindings,
expand_{start,end}_function). The -noreg treatment of `register' vars
is extended to vars used as addresses of vars in memory (varying-size
(use_variable): Emit USE for regs used in specified rtx.
* cse.c (fold_cc0): Stack-frame addresses are always nonzero.
(fold_rtx): 0200 bit in prev_insn_cc0 means only zeroness is known.
* parse.y (parmlist): poplevel needs 3 args.
Sun May 1 07:20:34 1988 Richard Stallman (rms at
* decl.c (start_function): typo checking for incomplete return type.
* emit-rtl.c (restore_reg_data): If a pseudo appears nowhere,
don't leave its slot empty; create a pseudo for that slot.
* Version 1.21 released.
* expr.c (expand_call): Merge duplicate code for structure_value_addr.
* emit-rtl.c (restore_reg_data): Delete error check; it's legit for
a pseudo reg to appear nowhere in the rtl.
Sat Apr 30 07:35:31 1988 Richard Stallman (rms at
* integrate.c (copy_rtx_and_substitute): Fix typo for arg_pointer_rtx.
* decl.c (poplevel): Undo previous change with #if 0.
* stmt.c: `struct nesting' now records the depth on the stack.
Each expand_start... must update and record the depth;
each expand_end... uses macro POPSTACK to pop.
This way, if a level isn't explicitly popped, it won't cause
circular structure.
* dbxout.c (dbxout_type): Replace with main variant only if incomplete.
* typecheck.c (build_unary_op): Test of `pedantic' was backwards.
* expr.c (STACK_BYTES): Typo in definition.
* typecheck.c (build_binary_op_nodefault): Rename code1 to code0,
and likewise for code2, tt1, tt2.
* expr.c (expand_call): Wrong arg order for warning_with_decl.
Fri Apr 29 08:41:06 1988 Richard Stallman (rms at
* integrate.c (copy_decl_tree): New arg is depth in recursion.
Always discard the outermost LET_STMT being copied; never discard any
others. This way the copied LET_STMTs correspond to the copied NOTEs.
* varasm.c (decode_rtx_const): For SYMBOL_REF, use string address
not address of the rtx. Library fns have only one copy of the name
but many copies of the SYMBOL_REF.
* expr.c (emit_call_1): New arg OLD_ARGS_SIZE is used to reset
(emit_library_call, expand_call): Pass new arg; don't restore it here.
* flow.c (life_analysis): Don't mark sp live at end if fn is empty.
* parse.y (parse_or_identifiers_1): Handle `error' in here, not in
callers notype_declarator etc. Also read the closeparen here.
Thu Apr 28 12:43:52 1988 Richard Stallman (rms at
* expmed.c (expand_shift): In extzv strategy, handle the operand
predicates for operands 0, 1 and 3. (Not needed for 2.)
* extzv pattern for SImode op1 must recognize general_operand
since the pattern named "extzv" allows them.
Wed Apr 27 00:52:44 1988 Richard Stallman (rms at
* expr.c (emit_call_1): New arg NEXT_ARG_REG describes # regs
used for passing args.
(emit_library_call, expand_call): Provide that argument.
* explow.c (round_push): New fn: round arg up to STACK_BOUNDARY.
* expr.c (expand_builtin): Use round_push on size for __builtin_alloca.
* stmt.c (expand_decl): Likewise for variable-size objects.
* expr.c (expand_call): Likewise for args_size.var.
Also use STACK_BOUNDARY to round a constant arg-block size.
Pass emit_call_1 that rounded value.
(emit_library_call): Round arg_size with STACK_BOUNDARY.
* tm-spur.h: Define STACK_BOUNDARY instead of ROUND_CALL_BLOCK_SIZE.
* tm-m68k.h: Define STACK_BOUNDARY as 16.
* expr.c (emit_call_1): Don't change current_args_size.
(emit_library_call, expand_call): Always restore current_args_size
to ambient value, after calling emit_call_1.
* tm-hp9k320.h: Don't define USG here.
* config-hp9k3.h: New file. USG defined here.
* tm-3b1.h: #undef ASM_OUTPUT_ASCII (a defn came from tm-hp9k320.h).
* decl.c (grokdeclarator primarily): Cast all RID_... to (int) before
using them in arithmetic. Placates CC on Sequent.
* emit-rtl.c (emit_jump_insn): Return proper value, for a SEQUENCE.
* emit-rtl.c (emit_call_insn): Handle SEQUENCE like emit_jump_insn.
Tue Apr 26 02:41:26 1988 Richard Stallman (rms at
* cccp.c (macroexpand): If traditional, don't disable called macro.
(macarg1): Was failing to count backslash-newline inside a string
in a macro arg as part of file's linenumber.
Mon Apr 25 18:46:53 1988 Richard Stallman (rms at
* jump.c (jump_optimize): Don't do April 20 optimization on first
iteration; let other simpler opts be done before this is considered.
Sun Apr 24 02:45:28 1988 Richard Stallman (rms at
* tree.c (staticp): a CONSTRUCTOR can be static.
* varasm.c (output_constant_def): Always return memref, not address.
* decl.c (complete_array_type): New fn, make an array type complete
based on an initializer.
(finish_decl): Use complete_array_type.
* parse.y (expr_no_commas): When parsing a constructor,
Use complete_array_type on constructors for incomplete array types.
* typecheck.c (digest_init, store_init_value,process_init_constructor):
It's now TREE_STATIC, not TREE_ADDRESSABLE, that records that all elts
in a CONSTRUCTOR are simple constants.
(digest_init): A CONSTRUCTOR with non-null type is treated as ordinary
expression, not as a braced initializer.
Allow init of an array from an array-valued expr; warn if pedantic.
* expr.c (expand_expr, CONSTRUCTOR case): Put in memory only if static.
Was making an extraneous level of MEM; output_constant_def does it all.
* typecheck.c (build_unary_op): Allow ADDR_EXPR of static CONSTRUCTOR.
(default_conversion): Likewise.
(initializer_constant_valid_p): Constructor is ok if static.
* gcc.c: Change -fnostd... to -nostd...
* cccp.c (main): Likewise.
* Everywhere: Use REG_NOTE_KIND to get the kind of a reg note.
* rtl.c (find_regno_note): New function.
* flow.c (flow_deadp): Deleted; caller uses find_regno_note.
* global-alloc.c (reg_dead_p): Deleted.
(global_conflicts): Use find_regno_note instead of reg_dead_p.
* final.c (final) Use find_reg_note to look for a REG_INC.
* combine.c (insn_has_inc_p): deleted; callers use find_reg_note.
(try_combine): Use find_reg_note whenever looking for a REG_INC.
(regno_dead_p, remove_death): Check the REG_NOTE_KIND before assuming
that the datum in it is a REG.
* reload1.c (reload): Use find_reg_note to find a REG_EQUIV.
* gcc.c: Don't delete .o files if not all compilations succeed.
(record_temp_file): New arg SUCCESS_ONLY--delete file only if succeed.
(delete_temp_files): New arg SUCCESS says compilation succeeded.
(store_arg): Now 3 possibilities for arg TEMPNAMEP; 2 = del on success.
(do_spec_1): For %d, set delete_this_arg to 2.
* decl.c (poplevel): Warn about any still-incomplete type-tags.
Sat Apr 23 02:54:16 1988 Richard Stallman (rms at
* expr.c (expand_builtin): For alloca, round arg up to multiple
of PARM_BOUNDARY. Also to convert it to Pmode unless it already is.
* stor-layout.c (layout_union): Bug in 14 April change:
use caller-specified alignment as minimum, not as maximum.
* parse.y (skip_white_space): Avoid infinite loop on unterm. comment.
Fri Apr 22 00:22:59 1988 Richard Stallman (rms at
* cccp.c: Text following #else or #endif is just a warning.
(rescan): Digit-case was dropping into the $-case; reorder.
* cccp.c (rescan): Comment start when -traditional was output as
`/*'; should be nothing.
* jump.c (jump_optimize): Fix prev change:
do nothing if range1end == range2end;
don't lose any NOTEs when splicing.
* flow.c (propagate-block): For CALL_INSN, clobber the call-used regs
only after mark_set_regs is done; avoids confusion about lifespan
of function value reg.
* gcc.c: Pass -Wcomment to cpp.
* cccp.c (main, rescan): If -Wcomment, warn if `/*' inside comment.
* decl.c (duplicate_decls): Ignore `inline' decl following definition.
* (casesi): Split it up into subroutines, so insns emitted
by the call to memory_address (on 68000) come in the right place.
* combine.c (record_dead_and_set_regs): Notice storing in a SUBREG.
* integrate.c (expand_inline_function): Insn to copy a subroutine's
return-value was being output twice, once incorrectly.
* reload.c (find_equiv_reg): A stack-push insn does not invalidate
an equiv for a goal in memory.
Any other write to memory does invalidate any goal in memory
(PARALLEL case failed to check for this).
* expmed.c (expand_shift): In the extzv clause, force shifted value
out of memory if -fforce-mem.
* print-tree.c (prtypeinfo): Some attributes were missing.
(dump): In ..._TYPE nodes, ignore the TREE_CHAIN field.
* cse.c (note_mem_written): Pushing on stack does not invalidate mem.
* (extv/andl peephole opt): Made incorrect code if output was
pushed on stack. Added special case code.
(extv, extzv for SImode operand): Require register_operand.
Thu Apr 21 00:24:52 1988 Richard Stallman (rms at
* stmt.c (assign_parms): Round current_function_pretend_args_size up.
* integrate.c: `pushlevel' arg was missing.
* dbxout.c (dbxout_type): Undo rest of March 29 change:
When a named type is first seen inside another type, output an xref
and let the real definition come out later.
It is strange that Sun dbx has sometimes appeared to demand
one strategy and sometimes appeared to demand the other.
* typecheck.c (convert_for_assignment): Allow conversion to or from
`const void *', etc., unless pedantic.
* decl.c (get_parm_types): For `foo (void){}', set last_function_parms
to nil so store_parm_decls won't lose.
* combine.c (subst): (plus (plus X N) -N) => X.
* explow.c ({anti_,}adjust_stack): Don't make a copy of
* integrate.c (expand_inline_function): Typo testing for the
USE that indicates a CALL_INSN's value is being returned.
* expr.c (expand_builtin, alloca case): Copy arg to reg before
adjusting stack, to avoid invalid insns on some machines.
Wed Apr 20 00:15:14 1988 Richard Stallman (rms at
* typecheck.c (build_binary_op_nodefault): When shortening,
get_narrower may make no change because ARGn is already narrow.
In this case, set UNSIGNEPn from ARGn's type.
* typecheck.c: Rename ARG1,ARG2 to ARG0,ARG1, etc. in several fns.
* tm-vax.h: Turn off continuation on DBX output.
* typecheck.c (build_function_call): Don't change __builtin_ffs to an
FFS_EXPR. Note that __builtin_alloca has always made a CALL_EXPR.
* expr.c (expand_builtin): New function expands all CALL_EXPRs that
are really built-in functions.
(preexpand_calls): Do nothing to a CALL_EXPR for a built-in function.
* loop.c (count_loop_regs_set): Don't move a reg that is in a CLOBBER.
* stupid.c (stupid_mark_refs): Was getting hard reg's mode from
the wrong place.
* rtl.c (note_stores): Typo in checking vector elt for SET vs CLOBBER.
* stmt.c (expand_end_bindings): If restoring stack level,
first do pending stack adjust (so it won't be done erroneously after).
(expand_goto): likewise.
* rtl.h: LABEL_NUSES was an rtx. It should be an int.
* stmt.c (expand_label, expand_goto): Delete frobbing with LABEL_NUSES;
the value stored there was the same as the CODE_LABEL rtx.
* jump.c (jump_optimize): Detect if (foo) ...; else { ... break;}
and change to if (! foo) { ... break;} else ...; so can drop out.
(next_label): New fn returns the next label after given insn.
Tue Apr 19 21:30:05 1988 Richard Stallman (rms at
* flow.c (insn_dead_p): Delete special handling for stack ptr.
(mark_set_regs, mark_used_regs): Likewise.
(life_analysis): Mark stack ptr live at end of fn if necessary.
(propagate_block): Mark stack ptr live leading up to a CALL_INSN.
* jump.c (jump_optimize): #if 0 around stack-adjust-deletion code.
* cse.c (fold_rtx): Change const_arg from an array to 3 separate
scalars for the first three operands.
* integrate.c (copy_rtx_and_substitute): If arg is 0, return 0.
(expand_inline_function): Separate vars for old pattern and new insn.
* expr.c (expand_call): Set TREE_ADDRESSABLE if call is not inlined.
Tue Apr 19 02:25:22 1988 Richard Stallman (rms at
* Version 1.20 released.
* tm-ns32k.h: Define new reg class GEN_OR_FLOAT_REGS
so that GENERAL_REGS and FLOAT_REGS have a union.
* tm-ns32k.h (GO_IF_LEGITIMATE_ADDRESS): Recognize a stack-push.
* Many constraints must now allow or reject pushes.
Delete the special patterns for pushing.
Mon Apr 18 06:02:39 1988 Richard Stallman (rms at
* reload1.c (forget_old_reloads): For a multiword hard reg,
forget old reloads for each word.
* reload.c (find_reloads): Typo in calling push_replacement.
* tm-ns32k.h (HARD_REGNO_MODE_OK): Failed to allow fp regs for SFmode.
Sun Apr 17 01:21:35 1988 Richard Stallman (rms at
* tm-sequent.h (PRINT_OPERAND): Handle absolute integer memaddress.
* Add DImode push insns. Add QImode and HImode push insns.
Supply missing statement in movsf.
* dbxout.c (dbxout_type): Don't contin before 1st field of struct.
* dbxout.c (dbx_continue): Use DBX_CONTIN_CHAR instead of backslash.
* loop.c (scan_loop): Ov vax, the "loop-entry jump" can be a return,
in which case perhaps there is no label following it.
Detect pho