|
|
1.1.1.2 ! root 1: Sun May 22 12:25:06 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 2: ! 3: * Version 1.22 released. ! 4: ! 5: * reload1.c (reload): Spilling isn't finished till max_nongroups is 0. ! 6: ! 7: * tm-encore.h (PRINT_OPERAND): No `$' before a CONST. ! 8: ! 9: Sat May 21 13:08:54 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 10: ! 11: * fold-const.c (combine): Typo in MIN_EXPR, MAX_EXPR. ! 12: ! 13: * reload1.c (reload): Was counting insn_groups as total size of groups, ! 14: not number of groups. ! 15: A new spilled group counts against group-needs of superclasses. ! 16: ! 17: * parse.y (parmlist{,_or_identifiers}_1): In error case, ! 18: return a tree list just as in the other cases. ! 19: ! 20: Fri May 20 02:14:51 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 21: ! 22: * config-vax.h, config-m68k.h: If __GNUC__, use builtin-alloca. ! 23: ! 24: * genpeep.c (match_rtx): Generated code was testing the wrong rtx ! 25: when testing an int or string at a nonzero index in the rtx. ! 26: ! 27: * reload.c (find_reloads): Typo checking `modified' for conflict ! 28: with an earlyclobber. ! 29: ! 30: * reload.c (find_equiv_reg): Reject stack ptr as return value. ! 31: ! 32: * expr.c (expand_builtin): Alloca must do pending stack adjust. ! 33: ! 34: Thu May 19 13:01:01 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 35: ! 36: * flow.c (propagate_block): Skipping back across libcall didn't happen ! 37: due to failing to set PREV. ! 38: ! 39: * expr.c (emit_library_call): Code to increment and decrement ! 40: current_args_size broke since emit_call_1 was changed to restore it. ! 41: ! 42: * combine.c (try_combine): When i1 or i2 auto-incs a reg, don't combine ! 43: if i3 uses that reg. ! 44: ! 45: * config-hp9k3.h: #define bcopy, bcmp, bzero here. ! 46: * conf-hp9k320.h: Delete file. ! 47: ! 48: * integrate.c: Don't include strings.h--no need. ! 49: ! 50: * stmt.c (expand_asm_operands): Don't make zero-length vectors. ! 51: ! 52: * loop.c (scan_loop): After a fcn call, maybe-trap insns can't move. ! 53: The fcn call might exit and that would prevent the trap. ! 54: ! 55: * reload1.c (reload): Set reload_first_uid to next uid to be used. ! 56: * reload.c (find_equiv_reg): Use reload_first_uid to ignore insns ! 57: that are due to reloading--only if reload_reg_p is not 0 or 1. ! 58: ! 59: Wed May 18 22:11:20 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 60: ! 61: * typecheck.c (build_unary_op): Don't complain about array ! 62: as argument to `!'. ! 63: ! 64: * decl.c (pushdecl): If locally declaring an extern function, ! 65: check the identifier's global value in case it's an inline function. ! 66: ! 67: Mon May 16 03:06:08 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 68: ! 69: * output-ns32k.c (output_shift_insn): New fn, maybe turn shift to adds. ! 70: (reg_or_mem_operand): Predicate for a non-immediate general_operand. ! 71: * tm-ns32k.h (CONST_OK_FOR_LETTER_P): Define letter K. ! 72: * ns32k.md: Use output_shift_insn for various addr insns that shift. ! 73: Don't allow nonexplicit constants in lprd, multiply or truncate insns. ! 74: Use reg_or_mem_operand for constraint in op1 of divide insns; ! 75: a constant there causes regclass to screw up. ! 76: Split alternative constraints on the bit-field insns to avoid ! 77: out-of-range operands in exts, inss. Some cases of extraction ! 78: can be done faster via memory. ! 79: ! 80: * flow.c (mark_set_1): When adding a REG_DEAD note, inc reg_n_deaths. ! 81: ! 82: * dbxout.c (dbxout_type_def): Do nothing for {integer,char}_type_node. ! 83: ! 84: Sun May 15 00:56:44 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 85: ! 86: * tm-sequent.h, tm-ns32k.h, tm-encore.h (PRINT_OPERAND): ! 87: Was treating SF's as SI's. ! 88: ! 89: * expr.c (emit_move_insn): Check all CONST_DOUBLEs for ! 90: LEGITIMATE_CONSTANT_P and put them in memory if not. ! 91: ! 92: * local-alloc.c (combine_regs): Allow a reg to be tied to a qty ! 93: if the reg's class is contained in the qty's class ! 94: (as well as if the reg's class contains the qty's class as before). ! 95: Rename qty_reg_class to qty_min_class and make it the smallest ! 96: class of any reg tied to the qty. ! 97: (reg_class_subset_p, reg_meets_class_p, update_qty_class): ! 98: New subroutines to implement this. ! 99: (local_alloc): Init reg_qty to -1 for pseudos not in cur. basic block. ! 100: (reg_is_born): Abort if pseudo not in basic block has -2 in reg_qty. ! 101: ! 102: * jump.c (rtx_renumbered_equal_p): Insist that modes of REGs match. ! 103: ! 104: Sat May 14 01:05:35 1988 Richard Stallman (rms at lucky-charms.ai.mit.edu) ! 105: ! 106: * stmt.c (expand_return): Empty frame frame_offset isn't nec. 0. ! 107: ! 108: * expr.c (emit_call_1): Use stack_size_rtx everywhere appropriate. ! 109: ! 110: * decl.c (init_decl_processing): Set sizetype to `unsigned long' ! 111: if `int' is less than a word. ! 112: ! 113: * stddef.h (size_t, ptrdiff_t): Both are now long. ! 114: ! 115: Fri May 13 01:06:00 1988 Richard Stallman (rms at lucky-charms.ai.mit.edu) ! 116: ! 117: * emit-rtl.c (gen_lowpart): Handle non-lowpart subreg as arg. ! 118: ! 119: * recog.c (register_operand): VOIDmode means allow any mode. ! 120: (immediate_operand, nonmemory_operand): Likewise. ! 121: ! 122: * emit-rtl.c (classify_insn): Update for changed CALL_INSN format. ! 123: (emit): New function to emit an rtl pattern as the right kind of insn. ! 124: * jump.c (simplejump_p): No longer static. ! 125: ! 126: * genemit.c (gen_expand): For match_operand at top level, call `emit'. ! 127: Use `emit_call_insn' when appropriate. ! 128: (gen_exp): Handle rtx's that contain strings. ! 129: ! 130: * final.c, symout.c: If not NO_DBX_FORMAT, include stab.h to get the ! 131: N_... symbols. Use their default definitions only if they're undef. ! 132: ! 133: * expr.c (expand_call) [no PUSH_ROUNDING]: Always set argblock ! 134: if there are any stack-passed arguments. ! 135: ! 136: * typecheck.c (build_unary_op): Mark all increment-exprs volatile. ! 137: ! 138: * recog.c (reg_renumbered_fits_class_p): Delete private copy of ! 139: reg_class_contents. ! 140: ! 141: * reload1.c (forget_old_reloads): Handle PARALLEL case by recursion. ! 142: Explicit store into a spilled reg invalidates old reloaded contents; ! 143: this can occur when we drop through into a basic block whose need was 0 ! 144: (and so whose local pseudos were not spilled). ! 145: ! 146: * gcc.c (main): If -v, print gcc's own version; also no error msg ! 147: if no input files. ! 148: ! 149: * loop.c (may_trap_p): Mem ref to nonconstant address may trap. ! 150: (scan_loop): Check may_trap_p only when insn is in other respects ok. ! 151: ! 152: * cexp.y: #include config.h (for decl of alloca on some machines). ! 153: ! 154: Thu May 12 17:24:19 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 155: ! 156: * regclass.c (regclass): When inserting an insn at start of block, ! 157: update basic_block_head. ! 158: ! 159: Wed May 11 00:47:09 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) ! 160: ! 161: * stmt.c (assign_parms): DECL_OFFSET should be offset as passed ! 162: (not including big-endian width-change correction). ! 163: ! 164: * typecheck.c (shorten_compare): Set unsignedp[01] right in case ! 165: where get_narrower makes no change. ! 166: (build_binary_op_nodefault): Likewise for shortening shifts. ! 167: ! 168: * stmt.c (expand_end_case): Use type_for_size to get the type ! 169: to convert the index to, since `int' is wrong if -mshort. ! 170: ! 171: * decl.c (grokdeclarator): Don't check PARM type for completeness. ! 172: (grokparms): If fn definition, check all parm types for completeness. ! 173: (store_parm_decls): Likewise. ! 174: ! 175: Tue May 10 22:42:13 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) ! 176: ! 177: * typecheck.c (store_init): For invalid init, store error_mark_node. ! 178: * varasm.c (assemble_variable): Ignore error_mark as an init. ! 179: * stmt.c (expand_decl): If init is error_mark, init to 0 if possible. ! 180: This avoids a spurious "uninitialized variable" warning. ! 181: ! 182: Sun May 8 17:08:07 1988 Richard Stallman (rms at lucky-charms.ai.mit.edu) ! 183: ! 184: * tm-hp9k320.h: Define STRUCTURE_SIZE_BOUNDARY. ! 185: ! 186: * decl.c (get_parm_info): Replaces get_parm_types. Returns a tree_list ! 187: containing parmdecls and tag list as well as type list. ! 188: (grokparms): Accept that tree_list as argument. ! 189: (grokdeclarator): Calling grokparms, say "not a definition" for the ! 190: function declarators for arg or value types within a definition. ! 191: ! 192: * parse.y: Call get_parm_info. ! 193: (parmlist_or_identifiers): If identifiers, make a tree_list ! 194: like the one get_parm_info returns. ! 195: ! 196: Fri May 6 16:44:19 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 197: ! 198: * m68k.md (casesi): Delete template aside from match_operand's. ! 199: ! 200: * tm-encore.h: New file from Robert Brown. ! 201: ! 202: * ns32k.md: Use %c in some addr insns. ! 203: (tst*): Use {d,f,}const0_rtx to make the constant 0; OS-independent. ! 204: (call, call_value): Use %? before address in a bsr. ! 205: ! 206: * output-ns32k.c (print_operand_address): To output a local label, ! 207: use `output_asm_label'. ! 208: Make SEQUENT_ADDRESS_BUG conditionals happen at compile time. ! 209: ! 210: * tm-ns32k.h: Delete SEQUENT_HAS_FIXED_THEIR_BUG. ! 211: (PRINT_OPERAND): Output nothing for `%?'. ! 212: * tm-sequent.h: (PRINT_OPERAND): Output nothing for `%?'. ! 213: ! 214: * final.c (output_asm_label): No longer `static'. ! 215: ! 216: Thu May 5 09:03:37 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 217: ! 218: * explow.c (memory_address): Ignore flag_force_reg unless optimize. ! 219: Also ignore it for addresses of stack slots (avoid invalid REG_EQUIVs). ! 220: ! 221: * typecheck.c (digest_init): If traditional, allow `char x[100]=0;'. ! 222: ! 223: * tree.c (get_unwidened): Don't alter a COMPONENT_REF if ! 224: innerprec equals the precision of the existing type. ! 225: It was changing pointers to integers. ! 226: ! 227: * m68k.md (movdi): Put all fpregs in separate constraint alternatives ! 228: and handicap them so spill reg won't be an fp reg. ! 229: ! 230: * parse.y (yyerror): Use the arg as part of the error message. ! 231: ! 232: * decl.c (start_function): Give the RESULT_DECL type int rather ! 233: than char or short. ! 234: * typecheck.c (c_expand_return): Convert value from fn's return type ! 235: to the RESULT_DECL's type. ! 236: ! 237: * Avoid generating dbx xrefs to enums, since dbx loses on them. ! 238: Do this by outputting all types in order of definition. ! 239: This is done only for top-level types; problem remains for local ones. ! 240: ! 241: * decl.c (finish_decl): Do rest_of_decl_compilation for TYPE_DECLs. ! 242: * toplev.c (rest_of_decl_compilation): Do dbxout_symbol for them. ! 243: ! 244: * dbxout.c (dbxout_symbol): Check DECL_RTL only for fns and variables. ! 245: For a TYPE_DECL, ignore it if the type was already output ! 246: and its preferred name is the TYPE_DECL. Else output type in full. ! 247: ! 248: * decl.c (pushdecl): Don't prefer typedef names to type tag names. ! 249: ! 250: * stor-layout.c (chain_type): Build chain in forward order. ! 251: ! 252: ! 253: * tm-3b1.h (ASM_OUTPUT_CASE_LABEL): Error getting length of table. ! 254: ! 255: * tm-3b1.h: #define SGS_3B1 was missing. ! 256: ! 257: * typecheck.c (build_compound_expr): Ignore non-volatile subexprs. ! 258: ! 259: * fold-const.c (fold): Simplify (unsigned) foo >= 0, etc. ! 260: ! 261: * stor-layout.c (layout_type): Set TYPE_PRECISION of ptr types. ! 262: ! 263: Wed May 4 08:06:25 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 264: ! 265: * parse.y: Don't use the Bison @ construct, since it makes parser slow. ! 266: ! 267: * decl.c (finish_function): Delete FILENAME and LINE args. ! 268: ! 269: * typecheck.c (digest_init): No pedantic warning for array="string". ! 270: ! 271: Tue May 3 09:09:30 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 272: ! 273: * toplev.c (main): Ignore `-Wcomment'. ! 274: * gcc.c: Pass -Wall to cpp (which treats it like -Wcomment). ! 275: ! 276: * tm-isi68.h: Greatly simplified; now works only with GAS. ! 277: ! 278: * tm-m68k.h (EMPTY_FIELD_BOUNDARY): now 16 (right on Sun, ISI and HP). ! 279: * tm-sun3.h: No need to redefine it. ! 280: ! 281: * decl.c (finish_struct): Don't ever make DECL_ALIGN smaller. ! 282: ! 283: * decl.c: Rename min, max to MIN, MAX. ! 284: ! 285: * typecheck.c (convert_for_assignment): Avoid warning if assigning ! 286: a `void *' from a `const void *'. ! 287: ! 288: * combine.c (FAKE_EXTEND_SAFE_P): Turn off for mem refs; avoid faults. ! 289: ! 290: Mon May 2 07:28:27 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) ! 291: ! 292: * tm-vax.h: Support -mg switch to use g-float instead of d-float. ! 293: New macros TARGET_G_SWITCH, ASM_DOUBLE_CHAR. ! 294: Changes in TARGET_SWITCHES, ASM_OUTPUT_DOUBLE. ! 295: Define code `#' for PRINT_OPERAND. ! 296: * vax.md: use `#' in opcodes for doubleword float. ! 297: ! 298: * tm-vax.h: Define UDIVSI3_LIBCALL and UMODSI3_LIBCALL. ! 299: ! 300: * cccp.c (main, do_include): Implement -I- switch. ! 301: ! 302: * jump.c (jump_optimize): When hunting NOTE_INSN_FUNCTION_END, ! 303: skip final RETURN (found on the vax). ! 304: ! 305: * toplev.c (main): -Wall is equiv to all -W switches combined. ! 306: ! 307: * stmt.c (expand_decl, expand_end_bindings, ! 308: expand_{start,end}_function). The -noreg treatment of `register' vars ! 309: is extended to vars used as addresses of vars in memory (varying-size ! 310: structures). ! 311: (use_variable): Emit USE for regs used in specified rtx. ! 312: ! 313: * cse.c (fold_cc0): Stack-frame addresses are always nonzero. ! 314: (fold_rtx): 0200 bit in prev_insn_cc0 means only zeroness is known. ! 315: ! 316: * parse.y (parmlist): poplevel needs 3 args. ! 317: 1.1 root 318: Sun May 1 07:20:34 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 319: 1.1.1.2 ! root 320: * decl.c (start_function): typo checking for incomplete return type. ! 321: ! 322: * emit-rtl.c (restore_reg_data): If a pseudo appears nowhere, ! 323: don't leave its slot empty; create a pseudo for that slot. ! 324: 1.1 root 325: * Version 1.21 released. 326: 327: * expr.c (expand_call): Merge duplicate code for structure_value_addr. 328: 329: * emit-rtl.c (restore_reg_data): Delete error check; it's legit for 330: a pseudo reg to appear nowhere in the rtl. 331: 332: Sat Apr 30 07:35:31 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 333: 334: * integrate.c (copy_rtx_and_substitute): Fix typo for arg_pointer_rtx. 335: 336: * decl.c (poplevel): Undo previous change with #if 0. 337: 338: * stmt.c: `struct nesting' now records the depth on the stack. 339: Each expand_start... must update and record the depth; 340: each expand_end... uses macro POPSTACK to pop. 341: This way, if a level isn't explicitly popped, it won't cause 342: circular structure. 343: 344: * dbxout.c (dbxout_type): Replace with main variant only if incomplete. 345: 346: * typecheck.c (build_unary_op): Test of `pedantic' was backwards. 347: 348: * expr.c (STACK_BYTES): Typo in definition. 349: 350: * typecheck.c (build_binary_op_nodefault): Rename code1 to code0, 351: and likewise for code2, tt1, tt2. 352: 353: * expr.c (expand_call): Wrong arg order for warning_with_decl. 354: 355: Fri Apr 29 08:41:06 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 356: 357: * integrate.c (copy_decl_tree): New arg is depth in recursion. 358: Always discard the outermost LET_STMT being copied; never discard any 359: others. This way the copied LET_STMTs correspond to the copied NOTEs. 360: 361: * varasm.c (decode_rtx_const): For SYMBOL_REF, use string address 362: not address of the rtx. Library fns have only one copy of the name 363: but many copies of the SYMBOL_REF. 364: 365: * expr.c (emit_call_1): New arg OLD_ARGS_SIZE is used to reset 366: current_args_size. 367: (emit_library_call, expand_call): Pass new arg; don't restore it here. 368: 369: * flow.c (life_analysis): Don't mark sp live at end if fn is empty. 370: 371: * parse.y (parse_or_identifiers_1): Handle `error' in here, not in 372: callers notype_declarator etc. Also read the closeparen here. 373: 374: Thu Apr 28 12:43:52 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 375: 376: * expmed.c (expand_shift): In extzv strategy, handle the operand 377: predicates for operands 0, 1 and 3. (Not needed for 2.) 378: * vax.md: extzv pattern for SImode op1 must recognize general_operand 379: since the pattern named "extzv" allows them. 380: 381: Wed Apr 27 00:52:44 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 382: 383: * expr.c (emit_call_1): New arg NEXT_ARG_REG describes # regs 384: used for passing args. 385: (emit_library_call, expand_call): Provide that argument. 386: 387: * explow.c (round_push): New fn: round arg up to STACK_BOUNDARY. 388: * expr.c (expand_builtin): Use round_push on size for __builtin_alloca. 389: * stmt.c (expand_decl): Likewise for variable-size objects. 390: * expr.c (expand_call): Likewise for args_size.var. 391: Also use STACK_BOUNDARY to round a constant arg-block size. 392: Pass emit_call_1 that rounded value. 393: (emit_library_call): Round arg_size with STACK_BOUNDARY. 394: * tm-spur.h: Define STACK_BOUNDARY instead of ROUND_CALL_BLOCK_SIZE. 395: * tm-m68k.h: Define STACK_BOUNDARY as 16. 396: 397: * expr.c (emit_call_1): Don't change current_args_size. 398: (emit_library_call, expand_call): Always restore current_args_size 399: to ambient value, after calling emit_call_1. 400: 401: * tm-hp9k320.h: Don't define USG here. 402: * config-hp9k3.h: New file. USG defined here. 403: 404: * tm-3b1.h: #undef ASM_OUTPUT_ASCII (a defn came from tm-hp9k320.h). 405: 406: * decl.c (grokdeclarator primarily): Cast all RID_... to (int) before 407: using them in arithmetic. Placates CC on Sequent. 408: 409: * emit-rtl.c (emit_jump_insn): Return proper value, for a SEQUENCE. 410: * emit-rtl.c (emit_call_insn): Handle SEQUENCE like emit_jump_insn. 411: 412: Tue Apr 26 02:41:26 1988 Richard Stallman (rms at lucky-charms.ai.mit.edu) 413: 414: * cccp.c (macroexpand): If traditional, don't disable called macro. 415: (macarg1): Was failing to count backslash-newline inside a string 416: in a macro arg as part of file's linenumber. 417: 418: Mon Apr 25 18:46:53 1988 Richard Stallman (rms at lucky-charms.ai.mit.edu) 419: 420: * jump.c (jump_optimize): Don't do April 20 optimization on first 421: iteration; let other simpler opts be done before this is considered. 422: 423: Sun Apr 24 02:45:28 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 424: 425: * tree.c (staticp): a CONSTRUCTOR can be static. 426: 427: * varasm.c (output_constant_def): Always return memref, not address. 428: 429: * decl.c (complete_array_type): New fn, make an array type complete 430: based on an initializer. 431: (finish_decl): Use complete_array_type. 432: * parse.y (expr_no_commas): When parsing a constructor, 433: Use complete_array_type on constructors for incomplete array types. 434: 435: * typecheck.c (digest_init, store_init_value,process_init_constructor): 436: It's now TREE_STATIC, not TREE_ADDRESSABLE, that records that all elts 437: in a CONSTRUCTOR are simple constants. 438: (digest_init): A CONSTRUCTOR with non-null type is treated as ordinary 439: expression, not as a braced initializer. 440: Allow init of an array from an array-valued expr; warn if pedantic. 441: * expr.c (expand_expr, CONSTRUCTOR case): Put in memory only if static. 442: Was making an extraneous level of MEM; output_constant_def does it all. 443: 444: * typecheck.c (build_unary_op): Allow ADDR_EXPR of static CONSTRUCTOR. 445: (default_conversion): Likewise. 446: (initializer_constant_valid_p): Constructor is ok if static. 447: 448: * gcc.c: Change -fnostd... to -nostd... 449: * cccp.c (main): Likewise. 450: 451: * Everywhere: Use REG_NOTE_KIND to get the kind of a reg note. 452: 453: * rtl.c (find_regno_note): New function. 454: * flow.c (flow_deadp): Deleted; caller uses find_regno_note. 455: * global-alloc.c (reg_dead_p): Deleted. 456: (global_conflicts): Use find_regno_note instead of reg_dead_p. 457: 458: * final.c (final) Use find_reg_note to look for a REG_INC. 459: * combine.c (insn_has_inc_p): deleted; callers use find_reg_note. 460: (try_combine): Use find_reg_note whenever looking for a REG_INC. 461: (regno_dead_p, remove_death): Check the REG_NOTE_KIND before assuming 462: that the datum in it is a REG. 463: * reload1.c (reload): Use find_reg_note to find a REG_EQUIV. 464: 465: * gcc.c: Don't delete .o files if not all compilations succeed. 466: (record_temp_file): New arg SUCCESS_ONLY--delete file only if succeed. 467: (delete_temp_files): New arg SUCCESS says compilation succeeded. 468: (store_arg): Now 3 possibilities for arg TEMPNAMEP; 2 = del on success. 469: (do_spec_1): For %d, set delete_this_arg to 2. 470: 471: * decl.c (poplevel): Warn about any still-incomplete type-tags. 472: 473: Sat Apr 23 02:54:16 1988 Richard Stallman (rms at rice-krispies.ai.mit.edu) 474: 475: * expr.c (expand_builtin): For alloca, round arg up to multiple 476: of PARM_BOUNDARY. Also to convert it to Pmode unless it already is. 477: 478: * stor-layout.c (layout_union): Bug in 14 April change: 479: use caller-specified alignment as minimum, not as maximum. 480: 481: * parse.y (skip_white_space): Avoid infinite loop on unterm. comment. 482: 483: Fri Apr 22 00:22:59 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 484: 485: * cccp.c: Text following #else or #endif is just a warning. 486: (rescan): Digit-case was dropping into the $-case; reorder. 487: 488: * cccp.c (rescan): Comment start when -traditional was output as 489: `/*'; should be nothing. 490: 491: * jump.c (jump_optimize): Fix prev change: 492: do nothing if range1end == range2end; 493: don't lose any NOTEs when splicing. 494: 495: * flow.c (propagate-block): For CALL_INSN, clobber the call-used regs 496: only after mark_set_regs is done; avoids confusion about lifespan 497: of function value reg. 498: 499: * gcc.c: Pass -Wcomment to cpp. 500: 501: * cccp.c (main, rescan): If -Wcomment, warn if `/*' inside comment. 502: 503: * decl.c (duplicate_decls): Ignore `inline' decl following definition. 504: 505: * m68k.md (casesi): Split it up into subroutines, so insns emitted 506: by the call to memory_address (on 68000) come in the right place. 507: 508: * combine.c (record_dead_and_set_regs): Notice storing in a SUBREG. 509: 510: * integrate.c (expand_inline_function): Insn to copy a subroutine's 511: return-value was being output twice, once incorrectly. 512: 513: * reload.c (find_equiv_reg): A stack-push insn does not invalidate 514: an equiv for a goal in memory. 515: Any other write to memory does invalidate any goal in memory 516: (PARALLEL case failed to check for this). 517: 518: * expmed.c (expand_shift): In the extzv clause, force shifted value 519: out of memory if -fforce-mem. 520: 521: * print-tree.c (prtypeinfo): Some attributes were missing. 522: (dump): In ..._TYPE nodes, ignore the TREE_CHAIN field. 523: 524: * cse.c (note_mem_written): Pushing on stack does not invalidate mem. 525: 526: * vax.md (extv/andl peephole opt): Made incorrect code if output was 527: pushed on stack. Added special case code. 528: (extv, extzv for SImode operand): Require register_operand. 529: 530: Thu Apr 21 00:24:52 1988 Richard Stallman (rms at corn-chex.ai.mit.edu) 531: 532: * stmt.c (assign_parms): Round current_function_pretend_args_size up. 533: 534: * integrate.c: `pushlevel' arg was missing. 535: 536: * dbxout.c (dbxout_type): Undo rest of March 29 change: 537: When a named type is first seen inside another type, output an xref 538: and let the real definition come out later. 539: It is strange that Sun dbx has sometimes appeared to demand 540: one strategy and sometimes appeared to demand the other. 541: 542: * typecheck.c (convert_for_assignment): Allow conversion to or from 543: `const void *', etc., unless pedantic. 544: 545: * decl.c (get_parm_types): For `foo (void){}', set last_function_parms 546: to nil so store_parm_decls won't lose. 547: 548: * combine.c (subst): (plus (plus X N) -N) => X. 549: 550: * explow.c ({anti_,}adjust_stack): Don't make a copy of 551: `stack_pointer_rtx'. 552: 553: * integrate.c (expand_inline_function): Typo testing for the 554: USE that indicates a CALL_INSN's value is being returned. 555: 556: * expr.c (expand_builtin, alloca case): Copy arg to reg before 557: adjusting stack, to avoid invalid insns on some machines. 558: 559: Wed Apr 20 00:15:14 1988 Richard Stallman (rms at rice-krispies.ai.mit.edu) 560: 561: * typecheck.c (build_binary_op_nodefault): When shortening, 562: get_narrower may make no change because ARGn is already narrow. 563: In this case, set UNSIGNEPn from ARGn's type. 564: 565: * typecheck.c: Rename ARG1,ARG2 to ARG0,ARG1, etc. in several fns. 566: 567: * tm-vax.h: Turn off continuation on DBX output. 568: 569: * typecheck.c (build_function_call): Don't change __builtin_ffs to an 570: FFS_EXPR. Note that __builtin_alloca has always made a CALL_EXPR. 571: * expr.c (expand_builtin): New function expands all CALL_EXPRs that 572: are really built-in functions. 573: (preexpand_calls): Do nothing to a CALL_EXPR for a built-in function. 574: 575: * loop.c (count_loop_regs_set): Don't move a reg that is in a CLOBBER. 576: 577: * stupid.c (stupid_mark_refs): Was getting hard reg's mode from 578: the wrong place. 579: 580: * rtl.c (note_stores): Typo in checking vector elt for SET vs CLOBBER. 581: 582: * stmt.c (expand_end_bindings): If restoring stack level, 583: first do pending stack adjust (so it won't be done erroneously after). 584: (expand_goto): likewise. 585: 586: * rtl.h: LABEL_NUSES was an rtx. It should be an int. 587: * stmt.c (expand_label, expand_goto): Delete frobbing with LABEL_NUSES; 588: the value stored there was the same as the CODE_LABEL rtx. 589: 590: * jump.c (jump_optimize): Detect if (foo) ...; else { ... break;} 591: and change to if (! foo) { ... break;} else ...; so can drop out. 592: (next_label): New fn returns the next label after given insn. 593: 594: Tue Apr 19 21:30:05 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 595: 596: * flow.c (insn_dead_p): Delete special handling for stack ptr. 597: (mark_set_regs, mark_used_regs): Likewise. 598: (life_analysis): Mark stack ptr live at end of fn if necessary. 599: (propagate_block): Mark stack ptr live leading up to a CALL_INSN. 600: 601: * jump.c (jump_optimize): #if 0 around stack-adjust-deletion code. 602: 603: * cse.c (fold_rtx): Change const_arg from an array to 3 separate 604: scalars for the first three operands. 605: Handle SIGN_EXTEND and ZERO_EXTEND. 606: 607: * integrate.c (copy_rtx_and_substitute): If arg is 0, return 0. 608: (expand_inline_function): Separate vars for old pattern and new insn. 609: 610: * expr.c (expand_call): Set TREE_ADDRESSABLE if call is not inlined. 611: 612: Tue Apr 19 02:25:22 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 613: 614: * Version 1.20 released. 615: 616: * tm-ns32k.h: Define new reg class GEN_OR_FLOAT_REGS 617: so that GENERAL_REGS and FLOAT_REGS have a union. 618: 619: * tm-ns32k.h (GO_IF_LEGITIMATE_ADDRESS): Recognize a stack-push. 620: * ns32k.md: Many constraints must now allow or reject pushes. 621: Delete the special patterns for pushing. 622: 623: Mon Apr 18 06:02:39 1988 Richard Stallman (rms at rice-krispies.ai.mit.edu) 624: 625: * reload1.c (forget_old_reloads): For a multiword hard reg, 626: forget old reloads for each word. 627: 628: * reload.c (find_reloads): Typo in calling push_replacement. 629: 630: * tm-ns32k.h (HARD_REGNO_MODE_OK): Failed to allow fp regs for SFmode. 631: 632: Sun Apr 17 01:21:35 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 633: 634: * tm-sequent.h (PRINT_OPERAND): Handle absolute integer memaddress. 635: 636: * ns32k.md: Add DImode push insns. Add QImode and HImode push insns. 637: Supply missing statement in movsf. 638: 639: * dbxout.c (dbxout_type): Don't contin before 1st field of struct. 640: 641: * dbxout.c (dbx_continue): Use DBX_CONTIN_CHAR instead of backslash. 642: 643: * loop.c (scan_loop): Ov vax, the "loop-entry jump" can be a return, 644: in which case perhaps there is no label following it. 645: Detect phoniness of loop before looking for that label. 646: 647: * decl.c (init_decl_processing): Builtin fn names start with `__'. 648: 649: * typecheck.c (shorten_compare): Warn about constant result only in 650: cases like (char)x < 0x80, where old C compilers made it -0x80. 651: 652: * vax.md: All jbs/jbc/jlbs/jlbc patters with op0 in SImode 653: must reject mode-dependent memory addresses. 654: 655: * recog.c (mode_independent_operand): Test for general operand 656: that doesn't have a mode-dependent memory address. 657: 658: * varasm.c (assemble_function): ASM_DECLARE_FUNCTION_NAME, if def, 659: is now responsible for outputting the function name as a label. 660: 661: Sat Apr 16 05:02:55 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 662: 663: * cccp.c (do_xifdef): Warn about punctuation or other junk in argument. 664: Warn about no argument. If pedantic, warn if arg starts with digit. 665: If traditional, ignore all after first non-idchar and never warn. 666: 667: Thu Apr 14 01:12:59 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 668: 669: * integrate.c (expand_inline_function): Typo for addressable parms. 670: 671: * cse.c (insert_regs): Copying half a DImode into half of another 672: does not make the two DImode regs equivalent. 673: 674: * recog.c (general_operand): Was failing to accept symbol_ref:SI 675: when MODE arg was VOIDmode. 676: 677: * expr.c (preexpand_calls): For RTL_EXPR, do nothing. 678: 679: * decl.c (start_enum, build_enumerator): Remember default for next one 680: as a tree node (so the high-half isn't lost in a negative one). 681: 682: * stor-layout.c (layout_{record,union}): Pay attn to initial value 683: of TYPE_ALIGN in computing final alignment. 684: (layout_union): Round size up to multiple of the alignment. 685: 686: * decl.c (finish_struct): Don't alter size after type is laid out. 687: Instead, set TYPE_ALIGN before layout_type. 688: 689: * reload1.c (choose_reload_targets): Introduce reg_has_output_reload. 690: If there are two separate reloads (one in and one out) 691: for the same (hard or pseudo) reg, always set reg_last_reload_reg 692: based on the output reload. 693: 694: Wed Apr 13 21:26:16 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 695: 696: * reload.c (find_reloads_address_1): Always barf if a "constant" 697: register is autoincremented. 698: 699: * parse.y (structsp): suspend_momentary before start_enum; 700: else some nodes made by start_enum might be momentary. 701: 702: * stmt.c (expand_start_case): New arg is nominal type for comparison 703: (which is the promoted type of the index expression). 704: (pushcase): Always convert VALUE to that nominal type 705: before validating it. 706: * parse.y (case stmt): Promote each case-value before pushcase. 707: * typecheck.c (c_expand_start_case): Promote the index-expr 708: to determine the nominal type, before get_narrower. 709: 710: Wed Apr 13 12:43:08 1988 Chris Hanson (cph at kleph) 711: 712: * tm-hp9k320.h: Define ASM_FORMAT_PRIVATE_NAME. HPUX asm forbids 713: `.' in identifiers, so use `___' (there is some danger in this choice). 714: 715: Tue Apr 12 23:26:48 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 716: 717: * local-alloc.c (block_alloc): Make 1 extra slot in regs_live_at. 718: 719: * stmt.c (optimize_bit_field): Function moved from reload1.c. 720: When need to generate a SIGN_EXTEND or ZERO_EXTEND, make it a separate 721: insn and use gen_extend_insn to make it. 722: * optabs.c (gen_extend_insn): New fn, construct body of an insn 723: to extend Y and store in X. 724: 725: Mon Apr 11 19:20:57 1988 Richard Stallman (rms at rice-krispies.ai.mit.edu) 726: 727: * decl.c (finish_decl): Error if static var has variable size. 728: 729: * parse.y (yylex): Warn if int const is out of range. 730: 731: * parse.y: New keyword __alignof. 732: * typecheck.c (c_alignof): Given a type, return its alignment in bytes. 733: 734: * typecheck.c (c_sizeof{,_nowarn)): Don't return integer_one_node; 735: use build_int to make sure we get something with type `sizetype'. 736: 737: * Support variable-sized structures (containing var-sized arrays). 738: 739: * stmt.c (assign_parms): Handle parms whose size varies. 740: Use `memory_address' when constructing memrefs to args; 741: no need to set `invalid_stack_slot'. 742: Don't make a REG_EQUIV note for a scalar arg at variable offset. 743: * stor-layout.c (genop, build_int): No longer `static'. 744: 745: * stor-layout.c (convert_units): Optimize ceil (ceil(x,2)*2, 4) etc. 746: 747: * stmt.c (expand_decl): Don't abort if var-sized object has init. 748: Convert variable size from units of DECL_SIZE_UNIT to units of bytes. 749: 750: * expr.c (emit_push_insn): Arg ARGS_SO_FAR is now an rtx. 751: Pay attention to ARGS_ADDR even if machine has push insns. 752: (expand_call): Handle variable-sized arguments. 753: If have any such, push entire arg-block in advance. 754: Record each arg's offset during first loop and don't change args_size 755: during the actual pushing loop; this way the actual pushing loop 756: works regardless of arg-order if arg-block was pushed in advance. 757: (push_block): Copy SIZE to reg unless it's a reg or constant. 758: 759: * expmed.c (expand_divmod): If converting CEIL_DIV to FLOOR_DIV, 760: make new pseudo for incremented value, to help cse understand. 761: 762: Sun Apr 10 00:07:45 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 763: 764: * expr.c (emit_library_call): Two dumb bugs calling emit_call_1. 765: 766: * dbxout.c (dbxout_symbol): Handle case of (MEM (REG frameptr)). 767: 768: * cccp.c (skip_if_group): Ignore quote-chars if -traditional. 769: (rescan): If -traditional, don't output a space for a comment. 770: (handle_directive): If not -traditional, output a space for a comment. 771: 772: Sat Apr 9 21:26:51 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 773: 774: * decl.c (get_parm_types): `void' type is error, except as entire list. 775: * parse.y (parmlist_1): `void,...' is error. 776: 777: * typecheck.c (pointer_int_sum, pointer_diff): 778: Use an integer type with at least POINTER_SIZE bits. 779: * expr.c (expand_expr, ARRAY_REF): Likewise. 780: * tree.c (type_precision): Prec of a pointer is POINTER_SIZE. 781: (convert_to_pointer): Directly convert any int w/ width==POINTER_SIZE. 782: Other int types convert via an int of that width. 783: (convert_to_integer): Pointers convert via an int of that width. 784: 785: * decl.c (init_decl_processing): Use INT_TYPE_SIZE, if def, 786: to set width of `int' and `unsigned int'. 787: (make_index_type): Give new type the width of a long int. 788: 789: * tm-m68k.h: Add new -mshort which controls TARGET_SHORT. 790: * tm-m68k.h: Define INT_TYPE_SIZE depending on TARGET_SHORT. 791: 792: Fri Apr 8 05:02:59 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 793: 794: * typecheck.c (require_complete_type): Fix typo in detection of `void'. 795: (build_function_call): Fix backward test to allow `void' values. 796: 797: * dbxout.c (dbxout_tags): Output each tag once even if type is defined. 798: 799: * m68k.md (movstrictqi): Reject addr-reg always, for both operands. 800: 801: * tm-vax.h (STRUCTURE_SIZE_BOUNDARY): Make this always 8, for BSD. 802: * tm-ultrix.h: New file, overriding STRUCTURE_SIZE_BOUNDARY. 803: [This change has been taken out; tm-ultrix.h is now equivalent to 804: tm-vax.h. I must have been confused when testing PCC.] 805: 806: * integrate.c (expand_inline_function): Don't let inline_target 807: be nonzero in BLKmode. 808: 809: * decl.c (grokdeclarator): Const array parm becomes ptr-to-const. 810: 811: Thu Apr 7 05:02:41 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 812: 813: * genoutput.c (bcopy, bzero): Renamed to mybcopy, mybzero 814: so variation in C library and config.h won't affect the results. 815: * genrecog.c (bzero): likewise. 816: * genextract.c (bcopy): Fn deleted; used only in a string constant. 817: 818: * varasm.c (force_const_mem): Fix typo in arg decl. 819: 820: * toplev.c (compile_file): init_file with main_input_filename 821: so dbx output doesn't lack N_SOL symbols. 822: 823: * cccp.c (rescan) [CPLUSPLUS]: Put out // comments as // comments. 824: 825: Wed Apr 6 14:06:38 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 826: 827: * expr.c: Delete SLOW_ZERO_EXTEND conditionals added March 3. 828: Now that enums types can be unsigned, this isn't needed. 829: 830: * emit-rtl.c (emit_jump_insn): Handle SEQUENCEs. 831: 832: * genemit.c (gen_expand): Use emit_jump_insn, emit_label, emit_barrier 833: when the insn rtl requires it. 834: 835: * m68k.md (subsi3): Prefer to avoid reverse-subtraction alternative. 836: 837: * stmt.c (expand_end_case): Let CASE_DROPS_THROUGH control what to 838: emit after the table. 839: * tm-vax.h: Define CASE_DROPS_THROUGH. 840: 841: Tue Apr 5 15:47:10 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 842: 843: * genemit.c (gen_exp): Handle vectors within exprs. 844: 845: * stmt.c (expand_end_case): Pass 5th arg (default_label) to gen_casesi. 846: * m68k.md: Define casesi insn rather than tablejump insn. 847: 848: * cccp.c (skip_if_group): For validate_else, pass BP (end of cmd name). 849: Don't call validate_else if do_else or do_endif will detect error. 850: 851: * Bug: inline fcns can refer to the return reg with a strict_low_part 852: which confuses expand_inline_function. Fix is to change return reg 853: into inline_target *everywhere* except in or right after a call. 854: * integrate.c (copy_rtx_and_substitute): Delete special case for SET. 855: Replace return-value hard regs with INLINE_TARGET in all contexts. 856: (expand_inline_function): special handling for insn after a CALL_INSN 857: if it copies the function value out. 858: Allow notes and stack adjust insns to intervene 859: between the CALL_INSN and the value-copy. 860: 861: * expr.c (emit_call_1): New name for gen_call_1. 862: 863: * Bug: ({...}) insns were in wrong place for a subexpression 864: after a sequence point, as in x ? y : ({...}). 865: * tree.def: New tree-code RTL_EXPR holds a sequence. 866: * expr.c (expand_expr): Handle RTL_EXPR by emitting the sequence. 867: * stmt.c (expand_{start,end}_stmt_expr): Use emit_to_sequence 868: to make a sequence from everything within the ({...}). 869: (expand_{start,end,emit}_delayed_expr): Delete these functions. 870: * parse.y (`for'-statements): Don't call them; nothing special needed. 871: 872: * parse.y (yylex): Handle syntax L"..." and L'...' 873: (combine_strings): Handle wide strings being combined. 874: * typecheck.c (digest_init): Reject wide string as init for char array. 875: Allow it for an int array, but don't allow a narrow string. 876: * decl.c (init_decl_processing): New var int_array_type_node. 877: 878: * parse.y: Define keyword `noalias'. 879: * parse.h: Define RID_NOALIAS. 880: 881: * typecheck.c (compparms): Not all parmlists match an empty one; 882: call `compparms1' to filter them. 883: 884: * decl.c (groktypename): Remove special case for `void' as parameter. 885: (get_parm_types): Special case for list of one decl with type void. 886: 887: * decl.c (build_enumerator): Give enum constants the type `int'. 888: Variable `current_enum_type' eliminated. 889: (finish_enum): No need to repeat `fixup_unsigned_type' 890: since the precision has not changed. 891: * stor-layout.c (layout_type): Allow enum types to be unsigned. 892: 893: * emit-rtl.c (unshare_all_rtl): Unshare contents of all reg-notes. 894: 895: * parse.y (check_newline): filename is optional in #-lines. 896: 897: Mon Apr 4 14:36:54 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 898: 899: * typecheck.c (shorten_compare): When data type determines the value, 900: eval the nonconstant arg anyway if it has side effects. 901: (build_conditional_expr): When merging `foo *' with `void *', 902: also allow `const void *'. Result type has merged set of qualifiers. 903: (qualify_type): Merge qualifiers of two types. 904: 905: * decl.c (get_parm_types): Store any tags defined in parmlist 906: into `last_function_parm_types'. 907: (store_parm_decls): Add those tags into the current binding level. 908: 909: * parse.y (parmlist, parmlist_or_identifier): Pass 0 to pushlevel; 910: no binding levels in C should be transparent to tags. 911: 912: * 3b1 support: 913: * tm-3b1.h: New file. 914: 915: * m68k.md: Add HPUX_ASM conditionals for shift-by-24-and-compare. 916: In one of the dbra patterns, a HPUX_ASM conditional was backwards. 917: (movhi) [SGS_3B1]: Define the LI... label as in MIT syntax. 918: (addsi3) [SGS]: Syntax for base-displacement differs from MOTOROLA. 919: (subsi3) [SGS]: likewise. 920: (tablejump) [ASM_OUTPUT_CASE_LABEL]: Use 6, not 2, as displacement. 921: This assumes ASM_OUTPUT_CASE_LABEL on 68k is used for a `swbeg'. 922: 923: * final.c (final): Use ASM_OUTPUT_CASE_LABEL (if defined) to output 924: any CODE_LABEL followed by an ADDR_VEC or ADDR_DIFF_VEC. 925: It has 4 args; 4th is the insn which is the ADDR_VEC or ADDR_DIFF_VEC. 926: 927: * tm-*.h for 68000 (PRINT_OPERAND_ADDRESS): For unscaled indexing in 928: fetch from a branch table, use L and LI symbols as in the scaled case. 929: 930: * cccp.c: If SCCS_DIRECTIVE, define #sccs as no-op. 931: 932: * integrate.c (output_inline_function): Real start of function 933: is FIRST_PARM_INSN, not FIRST_FUNCTION_INSN. 934: 935: * tree.c (build_string): String contents must be saveable (for 936: inline fcn). 937: 938: * cse.c (cse_insn): Don't forget to set dest_hash_code when dest 939: is a stack slot (and so its address is not being optimized). 940: 941: * emit-rtl.c (restore_reg_data_1): reg_rtx_no must be 1+ largest REGNO. 942: 943: * m68k.md (non-SImode bit-field insns): Change constraint to "o,d" 944: so a nonoffsetable memref is handled by reloading its address 945: but a register can still be handled. 946: 947: * toplev.c (main): Execute OVERRIDE_OPTIONS, if it's defined. 948: 949: Sat Apr 2 00:55:21 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 950: 951: * expr.c (convert_move): Handle a SUBREG in direct truncation case. 952: 953: * cse.c (lookup_for_remove): Don't test machine mode of registers: 954: Storing in (REG:SI 0) invalidates (REG:DF 0). 955: 956: * decl.c (pushlevel): New arg, nonzero means this level is for 957: variables only, not for tags. All calls changed. 958: (lookup_tag): Even if THIS_LEVEL_ONLY, skip variables-only levels. 959: (pushtag): Define it in the first non-variables-only level. 960: 961: * dbxout.c (dbxout_type): Undo Mar 29 change, in the DBX_NO_XREFS case. 962: So now each struct or union will contain only nameless cross-refs 963: to any others it uses. The prior change is still in effect when 964: DBX_NO_XREFS is not defined. 965: 966: * Implement variable array bounds for parameters. 967: * decl.c (poplevel): Don't crash if DECL_NAME gives 0. 968: * typecheck.c (comptypes): A variable array bound matches anything. 969: * parse.y (parmlist): Call pushlevel, then pushdecl each parm as it 970: is parsed; then poplevel after using get_parm_types to extract the 971: results of the parmlist. 972: * decl.c (get_parm_types): New function; reverse the current decls, 973: put them in last_function_parms, and return a list of their types. 974: (grokparms): Arg is now an idlist or a typelist. Do nothing if latter. 975: (push_parm_decl): New function, like {start,finish}_decl combined 976: for a parm in a parmlist. 977: 978: * dbxout.c (dbxout_symbol): Ignore sym if its DECL_RTL is 0. 979: 980: * symout.c (symout_block_symbols): Ignore sym if type is error_mark. 981: 982: Fri Apr 1 11:41:21 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 983: 984: * expr.c (prepare_call_address): New function; given two rtx's 985: for function and context, copy the context to the right hard reg, 986: put the function address in the right place and return an rtx for it. 987: (gen_call_1): No longer do those things. Delete args CONTEXT, PROTECT. 988: (emit_library_call, expand_call): Call `prepare_call_address'. 989: In between that and `gen_call_1', USE the parm registers. 990: 991: * tm-hp9k320.h (ASM_OUTPUT_*): Flush uses of output_arith_constant. 992: 993: * varasm.c (assemble_variable): Use ASM_FORMAT_PRIVATE_NAME 994: to make the name for a local static variable. 995: * tm-m68k.h, tm-vax.h, tm-ns32k.h, tm-spur.h: 996: Define ASM_FORMAT_PRIVATE_NAME. Use `.', not `$', to separate. 997: 998: * tm-m68k.h, tm-ns32k.h (FIX_FRAME_POINTER_ADDRESS): 999: To refer to stack ptr, use stack_pointer_rtx, not a copy. 1000: 1001: * tree.c (build_real_from_string): Function deleted. 1002: * parse.y (yylex): Use build_real and atof. 1003: 1004: * parse.y: Allow string concatenation in arg of asm. 1005: 1006: * parse.y (yylex): Always allow `$' in ident, but warn if pedantic. 1007: * tm-vms.h: Delete DOLLARS_IN_IDENTIFIERS (no longer tested). 1008: 1009: * cccp.c (rescan, do_define, initialize_random_junk): 1010: Always allow `$', but warn if pedantic. 1011: (main): If -t, set `traditional'. 1012: (collect_expansion): If `traditional', no special handling for quotes 1013: and no whitespace added at end of macro definition. 1014: 1015: * expr.c (compare, compare1): Last arg to compare_constants 1016: must be a size in bits. 1017: 1018: Thu Mar 31 00:31:52 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1019: 1020: * expmed.c (expand_mult, expand_divmod, extract_fixed_bit_field): 1021: Reject function return register as target if may need to read it. 1022: (Reading the return register in an inline function doesn't work.) 1023: 1024: * decl.c (start_function): Delete extra arg to `error'. 1025: 1026: * emit-rtl.c (last_parm_insn): Delete this unused var. 1027: 1028: * make-cc1.com: New version from Kashtan. 1029: 1030: * integrate.c (expand_inline_function): Always set up an INLINE_TARGET 1031: for a function that returns a nonvoid nonBLK value. 1032: Since `pushlevel' and `poplevel' are called, must also call 1033: `expand_{start,end}_bindings' to make a pair of NOTEs. 1034: Let them handle USEs at end of scope of formal parameter copies. 1035: 1036: * integrate.c (expand_inline_function): In a new-style CALL_INSN, 1037: don't change the result reg into INLINE_TARGET. Also, 1038: generate a move insn after the call only if INLINE_TARGET is non-0. 1039: 1040: * integrate.c (copy_decl_tree): Don't crash if DECL_RTL is 0. 1041: 1042: * integrate.c (copy_for_inline): Don't treat `return' rtx's specially. 1043: 1044: * stmt.c (expand_{start,end,emit}_delayed_expr): 1045: New fns to handle ({...})'s in expressions output not where parsed 1046: (such as third expression in a `for' statement). 1047: * parse.y: Call them to handle third expression in a `for'. 1048: 1049: * decl.c (duplicate_decls): Result is `inline' if either OLD or NEW is. 1050: 1051: * emit-rtl.c (emit_note): Return the note, or 0 if none. 1052: * stmt.c (expand_start_bindings): Use emit_note's value. 1053: 1054: Wed Mar 30 12:48:22 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1055: 1056: * obstack.c (_obstack_begin): If ALIGNMENT is 0, use default. 1057: Compute default for the alignment of a `double'. 1058: * obstack.h (obstack_{begin,init}): Pass 0 for the alignment. 1059: 1060: * flow.c (mark_used_regs): Discard multiple SUBREGs, STRICT_LOW_PARTs. 1061: 1062: ** Call insns that return values are now represented as 1063: (set (reg ...) (call ...)), not just (call ...). 1064: 1065: * *.md: Define a "call_value" insn pattern. 1066: 1067: * tm-m68k.h, tm-vax.h, tm-ns32k.h: (NOTICE_UPDATE_CC): 1068: These insns invalidate the CC. 1069: 1070: * local-alloc.c (combine_regs): #if 0 special treatment of 1071: function value hard reg. 1072: (wipe_dead_reg): If hard reg, call reg_is_born so that the death 1073: will not be ignored. 1074: (reg_is_set): For reg that dies in this insn, mark it dead from now on 1075: and post_mark it live after this insn only. 1076: 1077: * combine.c (try_combine): Don't allow a call insn as I1 or I2. 1078: 1079: * loop.c (count_loop_regs_set): Move CALL_INSN into a separate 1080: clause. When finding regs that are function addresses, handle 1081: both old and new format call insns. 1082: 1083: * flow.c (insn_dead_p): A SET that contains a CALL can't be dead. 1084: (volatile_refs_p): Any CALL constitutes a volatile ref. 1085: (mark_used_regs): If setting a reg from a volatile ref, 1086: treat it like setting a reg whose value will be used. 1087: 1088: * expr.c (gen_call_1): New arg VALREG if nonzero means generate 1089: a call_value insn which stores in VALREG. 1090: (expand_call): Use `hard_function_value' to make the VALREG arg 1091: unless expression has type `void'. 1092: 1093: * expr.c (emit_library_call): New 2nd arg OUTMODE is mode of result. 1094: (So can give gen_call_1 the proper value-register.) 1095: All callers (here and optabs.c) pass this arg. 1096: 1097: * cse.c (canon_hash): Consider all CALL rtx's volatile. 1098: 1099: ** end of change in representation of call insns. 1100: 1101: * stmt.c (expand_asm_operands): Replace complex lvalues with 1102: SAVE_EXPRs here 1103: * typecheck.c (c_expand_asm_operands): rather than here. 1104: 1105: * typecheck.c (pointer_diff): Fix typo preventing use of FLOOR_DIV_EXPR 1106: when dividing by power of 2. 1107: (build_c_cast): Flush unused locals. 1108: (store_init_value): likewise. 1109: (process_init_constructor): Delete unused 4th arg `for_static'. 1110: 1111: * toplev.c (fatal_io_error): Arg to fprintf was missing. 1112: 1113: * tm-m68k.h (LEGITIMIZE_ADDRESS): Flush extra arg to `emit_move_insn'. 1114: 1115: * decl.c: Delete some unused local vars. 1116: 1117: * stor-layout.c (layout_decl): `packed_size' now unsigned. 1118: 1119: Tue Mar 29 14:47:07 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1120: 1121: * Version 1.19 released. 1122: 1123: * loop.c (may_trap_p): Nonzero if X is a division that might trap. 1124: (scan_loop): If insn might trap, move only if loop always executes it. 1125: 1126: * dbxout.c (dbxout_type): Never output a cross-ref for 1127: a type whose definition is known. Sun dbx won't accept them. 1128: 1129: Mon Mar 28 12:34:46 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1130: 1131: * tm-vms.h (TARGET_DEFAULT): Default is PCC alignment. 1132: The VMS compile driver controls the real default. 1133: 1134: * typecheck.c (c_expand_return): Don't ignore return value 1135: when its type is void. 1136: 1137: * final.c (final): Forget the condition codes after an `asm'. 1138: 1139: * typecheck.c (build_binary_op_nodefault): Warn about ptr < 0 1140: even if not pedantic, but not if traditional. 1141: 1142: * typecheck.c (convert_for_assignment): Don't warn about 1143: pointers volatile * vs nonvolatile * if -fvolatile specified. 1144: 1145: * decl.c (store_parm_decls): Among the old-style parm decls 1146: there can legitiately be other decls! For example, if a parm 1147: is declared `enum {foo, bar} x;', there are decls for `foo' and `bar'. 1148: Don't let anything but a PARM_DECL match a parm name; 1149: pass all the other decls through into the lexical context. 1150: 1151: * jump.c (jump_optimize): When deleting stack adjusts before a 1152: jump-to-return, don't be fooled by intervening NOTEs. 1153: 1154: * tm-sequent.h (PRINT_OPERAND): Output (MEM (MEM (REG))) properly. 1155: * output-ns32k.c (print_operand_address): Output (MEM (REG)) 1156: properly; output stack-pointer as `tos'. 1157: 1158: * flow.c (find_use_as_address): Reject uses within operand 0 1159: of a ZERO_EXTRACT or SIGN_EXTRACT reference. It's hard to reload 1160: an autoincrement inside these because they can refer to multiple bytes. 1161: 1162: * reload.c (find_reloads): `o' in constraint means any memref 1163: (except auto-increment) is acceptable with reloading. 1164: Braino: Clear BADOP, not BAD. 1165: 1166: * reload.c (push_reloads): Use rtx_equal_p (via macro MATCHES) 1167: when considering reuse of an old reload. Otherwise equal values 1168: may get reloaded into different registers, and two MEMs that 1169: originally matched may fail to match once reloaded. 1170: 1171: * m68k.md (sign_extract and zero_extract insns): 1172: If operand 0 is QI or HImode, don't allow register--only `o' 1173: (except in some bftst patterns where bitpos is < 8). 1174: And change `m' to `o' in all these patterns. 1175: 1176: Sun Mar 27 15:32:54 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1177: 1178: * expr.c (expand_expr, case CONSTRUCTOR): 1179: Not all aggregates are BLKmode; use the type's mode. 1180: 1181: * gcc.c: Pass -y* to ld. 1182: 1183: * cse.c (struct hash): New member `equivalence_only'. 1184: (insert): Initialize it. 1185: (cse_insn): Set it to 1 when src_eqv is inserted. 1186: When finding cheapest equivalent of something, 1187: skip elts that are marked with `equivalence_only'. 1188: 1189: * decl.c (duplicate_decls): Don't call `layout_type' 1190: if the type is `error_mark_node'. 1191: 1192: * decl.c (implicitly_declare): If decl will be file-scope, 1193: make sure it's a permanent node, and its associated data too. 1194: 1195: Sat Mar 26 15:48:50 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1196: 1197: * flow.c (insn_dead_p, mark_used_regs): Storing a reg via a 1198: ZERO_EXTRACT or SIGN_EXTRACT is dead if the reg isn't needed afterward. 1199: 1200: * stmt.c (expand_start_function): Set current_function_name 1201: to the name of this function. 1202: * tm-vms.h (MAYBE_VMS_FUNCTION_PROLOGUE): Use current_function_name. 1203: 1204: * expr.c (expand_increment): A SUBREG in op0 can also a be a copy. 1205: 1206: * ns32k.md: Correct range of args for `adjspb' insn. 1207: Use `adjspw' when appropriate. 1208: New pattern for `lprd' insn. 1209: Change some `const_int' predicates to GET_CODE tests. 1210: 1211: * expr.c (expand_call): Eval function before copying args to hard regs. 1212: 1213: * tree.c (make_node, copy_node): Don't get length of a REAL_CST 1214: from tree_code_length. 1215: 1216: * expmed.c (extract_fixed_bit_field): In memory-word case, abort 1217: if tm.h parms say word could fail to be well-aligned. 1218: * tm-ns32k.h: Define STRUCTURE_SIZE_BOUNDARY so they will be aligned. 1219: * tm-vax.h: Define STRUCTURE_SIZE_BOUNDARY since Unix CC seems to. 1220: 1221: * tm-vms.h (CPP_PREDEFINES): Predefine __GNU__ and __GNUC__. 1222: 1223: Fri Mar 25 13:23:27 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1224: 1225: * gcc.c (main): Handle SIGHUP, SIGTERM. 1226: 1227: * expmed.c (expand_bit_and): Don't clobber OP1 when trying andcb. 1228: 1229: Thu Mar 24 21:59:09 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1230: 1231: * stmt.c (assign_parms): Get size of BLKmode local from the type, 1232: not the mode. 1233: (expand_function_start): Init frame_offset before calling assign_parms. 1234: 1235: Wed Mar 23 23:50:37 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1236: 1237: * expr.c (emit_push_insn): When making a move insn, 1238: go via emit_move_insn; else fails to put constants into memory. 1239: 1240: Tue Mar 22 15:45:10 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1241: 1242: * expr.c (expand_increment): Flush special case for register_operand; 1243: actually call the predicate whatever it is. 1244: 1245: * genemit.c (gen_expand): Make `operands' a local variable, 1246: not a global static one, in the `gen_...' function. 1247: Avoids lossage when one `gen_...' fcn calls another indirectly. 1248: 1249: * genoutput.c (output_epilogue): Don't give printf a null string. 1250: 1251: Mon Mar 21 15:41:42 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1252: 1253: * expmed.c (store_bit_field) [HAVE_insv]: 1254: Force VALUE1, not VALUE, into a register. 1255: 1256: * expmed.c (store_fixed_bit_field): Width of mask for clearing 1257: the bit-field depends on mode of OP0. 1258: 1259: * ns32k.md (branch and store-flag insns): 1260: Test cc_prev_status, not cc_status. 1261: 1262: * expmed.c (extract_bit_field): Delete unused var `omode'. 1263: 1264: * dbxout.c (dbxout_type, dbxout_tag): Use the main variant 1265: of the specified type. 1266: 1267: * reload.c (find_reloads): When an alternative succeeds without reload, 1268: initialize goal_alternative_matches from this_alternative_matches. 1269: 1270: Sun Mar 20 17:58:00 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1271: 1272: * tm-sun*.h: Don't predefine `m68k'; Sun's compiler does not. 1273: 1274: Fri Mar 18 13:48:29 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1275: 1276: * reload.c (find_reloads): Set up goal_alternative_matches 1277: *after* the label `finish'. 1278: 1279: * stmt.c (assign_parms): GET_MODE_SIZE needs a mode, not an rtx. 1280: 1281: * recog.c (constrain_operands): Set global var `which_alternative' 1282: to indicate which of the alternatives this insn matches. 1283: 1284: * typecheck.c (commontype): long int vs unsigned int 1285: gives long unsigned, if long and int are the same width. 1286: 1287: Thu Mar 17 15:39:45 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1288: 1289: * emit-rtl.c, tree.c: include local version of varargs.h. 1290: 1291: * decl.c (start_function): Clear TREE_EXTERNAL and set TREE_STATIC 1292: here rather than in finish_function. Affects the case of 1293: `extern foo (); static foo (a) {...}' 1294: 1295: * gcc.c: Handle -fnostdinc and -fnostdlib switches in specs. 1296: 1297: * cccp.c (main): Handle -fnostdinc: don't put default dirs 1298: on the chain to be searched. 1299: 1300: * cccp.c (error, warning, error_with_line): No longer print 1301: charpos within file; lineno is enough. 1302: 1303: Wed Mar 16 16:56:36 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1304: 1305: * expmed.c (expand_inc, expand_dec): Handy new subroutines 1306: to generate x+=y or x-=y, given x and y as rtl. 1307: * expmed.c (expand_divmod): Use them instead of gen_{add2,sub2}_insn. 1308: 1309: * expr.c (emit_move_insn): Return the move insn emitted. 1310: Eliminate the code here to move a DImode or DFmode by pieces. 1311: 1312: * emit-rtl.c (emit_insn): Return-value was wrong if emit_to_sequence; 1313: cannot use `last_insn' in that case. 1314: 1315: * regclass.c, stupid.c, local-alloc.c, global-alloc.c: 1316: Some vars of type HARD_REG_SET should be `register' only 1317: if HARD_REG_SET is a macro (ie a scalar). 1318: 1319: * expr.c (move_block_from_reg): New function, converse of 1320: move_block_from_reg. 1321: * stmt.c (assign_parms): If a BLKmode arrives in regs, 1322: copy to a stack slot using move_block_from_reg. 1323: 1324: Tue Mar 15 17:33:22 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1325: 1326: * regclass.c (regclass): Don't convert to two-operand insns 1327: unless optimizing. 1328: 1329: * varasm.c (decode_rtx_const, const_hash_rtx): Fix typos. 1330: 1331: * stmt.c (fixup_var_1): Don't alter insn moving VAR to or from 1332: a subreg of a register. 1333: 1334: * cse.c (fold_rtx): Don't fold if result is not LEGITIMATE_CONSTANT_P. 1335: Construct all results in new local variable NEW; then test that 1336: and decide whether to return it or the original rtx. 1337: 1338: * cse.c (cse_insn): When SRC_EQV is non-0 but set[0] has been 1339: cleared, don't insert SRC_EQV in hash table. 1340: 1341: * All insns emitted by a define_expand become part of the SEQUENCE: 1342: * SEQUENCE now contains a vector of insns, not of bodies. 1343: * insn-emit.c (add_insn): If `emit_to_sequence' nonzero, add the 1344: insn to a separate chain, `sequence_first_insn'. 1345: (gen_sequence): Take everything on that chain and make a SEQUENCE. 1346: (emit_insn): Handle SEQUENCE differently since elts are now insns. 1347: (emit_insn_{before,after}): Handle SEQUENCE. 1348: (classify_insn): #if 0. 1349: * genemit.c (gen_expand): emit all the insns, then call gen_sequence 1350: to make the return value. 1351: Define two macros DONE and FAIL for use in a DEFINE_EXPAND: 1352: Use DONE to inhibit emission of the pattern of the DEFINE_EXPAND. 1353: Use FAIL to make the gen_... function return 0. 1354: 1355: Mon Mar 14 12:47:28 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1356: 1357: * expr.c (expand_expr): Extend the don't-sign-extend-enums hack 1358: to COMPONENT_REF. (See 3 March.) 1359: 1360: * tm-*.h (FUNCTION_ARG, etc.) New argument NAMED 1361: is nonzero for a named arg, zero for an anonymous extra arg. 1362: * expr.c (expand_call): Pass 1 for NAMED if appropriate. 1363: * expr.c (emit_library_call): Pass 1 for NAMED. 1364: * stmt.c (assign_parms): Pass 1 for NAMED. 1365: 1366: * cccp.c: Test __GNUC__, not __GNU__. 1367: 1368: * integrate.c (copy_and_substitute_rtx): 1369: Replacing a MEM parm with the parm value, convert mode if mismatch. 1370: Always use VOIDmode when generating SETs. 1371: Take heed of FIRST_PARM_OFFSET and distinguish arg-pointer 1372: from frame-pointer when they are different. 1373: (expand_inline_function): Handle (RETURN) insns, by creating a 1374: return_label which is output after the integrated code. 1375: 1376: * parse.y (yylex): Condition for ignoring `inline' was backwards. 1377: 1378: * flow.c (mark_used_regs): Ignore STRICT_LOW_PART, so that 1379: an insn that sets STRICT_LOW_PART (and its source values) may be dead. 1380: (propagate_block): Always pass 1 for strict_low_ok to insn_dead_p. 1381: 1382: * optabs.c (emit_unop_insn): Don't make a REG_RETVAL note. 1383: Change above deletes dead STRICT_LOW_PART stores without one. 1384: 1385: * optabs.c (expand_binop, expand_unop): If the library address 1386: is to be put in a pseudoreg, do it here, and make the REG_RETVAL 1387: note point after that. 1388: 1389: * expr.c (emit_library_call): Never defer stack-pops. 1390: Deletion of the library call by flow.c loses if they are deferred. 1391: 1392: * cse.c (cse_insn): Handling of 68k's zero-extend was broken: 1393: it made the actual source and the REG_EQUAL source equivalent. 1394: * If dest is a STRICT_LOW_PART, ignore the actual source and use 1395: the REG_EQUAL source in its place. src_eqv's mode may be different 1396: from src's, so use proper mode in lookups or inserts for src_eqv. 1397: * Don't forget to set src_eqv_elt if src_eqv already has an elt. 1398: * On use_related_value for src_eqv, use src_eqv_elt. 1399: 1400: * toplev.c (main_input_filename): Name of file mentioned in first 1401: #-line in the input. 1402: (compile_file): Pass it to dbxout_init as 2nd arg. 1403: * dbxout.c (dbxout_init): Use 2nd arg to make the N_SO symbol. 1404: * parse.y (check_newline): Store main_input_filename. 1405: 1406: * expr.c (move_block_to_reg): New function, copies a MEM:BLK 1407: to consecutive registers. 1408: (use_regs): New function to emit a USE for each reg in a series. 1409: (expand_call): Use the two new functions when a precomputed BLKmode 1410: arg is passed entirely in regs. 1411: (emit_push_insn): Use move_block_to_reg when PARTIAL > 0. 1412: Also, don't subtract USED from SIZE twice. 1413: Use plus_constant to add ARGS_SO_FAR so can use indexing on stack ptr. 1414: 1415: * varasm.c (assemble_integer_zero): Use rtx 0, not tree 0, 1416: to go with prev change in ASM_OUTPUT_INT. 1417: 1418: Sun Mar 13 01:16:17 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1419: 1420: * varasm.c (const_hash, compare_constant_1, record_constant_1): 1421: Handle NOP_EXPR and CONVERT_EXPR in constant expressions. 1422: 1423: * optabs.c (expand_binop, expand_unop): When widening operands, 1424: those with VOIDmode (like CONST_INT) may be left alone. 1425: 1426: Sat Mar 12 01:09:24 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1427: 1428: * varasm.c (assemble_variable): When making a .comm or .lcomm, 1429: round size up to multiple of BIGGEST_ALIGNMENT. 1430: 1431: * obstack.c (_obstack_newchunk): Eliminate fencepost causing copying 1432: to access the word past the end of the existing object. 1433: 1434: * tm-vax.h, tm-ns32k.h: Define {INIT_,}CUMULATIVE_ARGS 1435: and upgrade FUNCTION_ARGS for new calling convention. 1436: 1437: * gcc.c: If -O, define __OPTIMIZE__. 1438: (do_spec_1): %c now scans SIGNED_CHAR_SPEC: define __CHAR_UNSIGNED__ 1439: when appropriate whether or not it is the default. 1440: 1441: Fri Mar 11 16:49:25 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1442: 1443: * parse.y: Define YYDEBUG. 1444: 1445: * rtl.c (rtx_unstable_p): New function, same as old rtx_varies_p. 1446: * explow.c (stabilize): Use rtx_unstable_p. 1447: * rtl.c (rtx_varies_p): Ignore `unchanging' (undoing previous change 1448: in this function) because `unchanging' doesn't enable cse to compare 1449: the value with any particular constant value. 1450: * rtl.c (insn_store_addr_varies_p): Delete, since not used. 1451: 1452: * hard-reg-set.h (COPY_HARD_REG_SET, etc.) non-scalar case: 1453: Rename and rearrange temp variables to avoid name conflicts with args. 1454: 1455: * regclass.c (reg_class_record): Don't smash class to GENERAL_REGS 1456: and don't exit prematurely, when `r' or `g' is seen. Must merge 1457: GENERAL_REGS with previously determined desired class. 1458: 1459: * expr.c (expand_call) [no PUSH_ROUNDING]: When pushing the arg 1460: block, try to reuse some of the pending_stack_adjust. 1461: 1462: * cse.c: qty_const can now hold values (PLUS frame_pointer integer). 1463: Effect is that storing into a structure doesn't invalidate 1464: mem refs to scalar stack variables via addresses in registers. 1465: (insert): Load such values into qty_const, like true constants. 1466: (fold_rtx): Ignore qty_const if it isn't really a constant. 1467: 1468: * expr.c (expand_expr) VAR_DECL: Copy DECL_RTL before calling 1469: change_address, so it isn't permanently clobbered. 1470: 1471: * stmt.c (fixup_var_refs_1): Make sure the stack slot address 1472: is valid by calling fixup_stack_1 each time it is substituted. 1473: 1474: * stmt.c (fixup_stack_1): Return the altered rtx. 1475: If it's a MEM in the stack, return a copy of it. 1476: 1477: * stmt.c (fixup_stack_slots): #if 0. 1478: * stmt.c (expand_finish_function): Don't call fixup_stack_slots 1479: because fixup_stack_1 is called elsewhere when necessary. 1480: 1481: * reload.c (find_reloads_address): New arg is location of the MEM 1482: whose address is being reloaded. So we copy the MEM if it 1483: is one that can be shared. New arg 0 means no need to copy the MEM. 1484: All callers pass the new arg. 1485: 1486: * stmt.c (assign_parms): Determine parm stack-size from 1487: the DECL_ARG_TYPE, not from the TREE_TYPE. 1488: Else loses when parm is declared `float' but passed as `double'. 1489: 1490: * emit-rtl.c (make_safe_from): Constants are already safe. 1491: Use proper machine mode for temp reg when needed. 1492: 1493: Thu Mar 10 14:35:14 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1494: 1495: * expr.c (emit_push_insn): Don't pass wrong type to plus_constant 1496: (case where there is no PUSH_ROUNDING). 1497: 1498: * expr.c (expand_call): Round partial[i] down to multiple of 1499: PARM_BOUNDARY before subtracting it from arg size on stack. 1500: Compute these sizes just once and keep them in vector `arg_size'. 1501: * expr.c (emit_push_insn): Handle `partial' uniformly, in accord 1502: with this new convention for how it affects the stack size. 1503: * stmt.c (assign_parms): Round NREGS down to PARM_BOUNDARY likewise. 1504: 1505: * obstack.h (obstack_free macro) [Not __GNUC__ but __STDC__]: 1506: Don't cast result of (obstack_free) to (int); just ignore it. 1507: 1508: * reload.c (find_reloads): Initialize operand_reloadnum. 1509: 1510: * optabs.c (emit_unop_insn): New argument CODE, used to make 1511: a REG_EQUAL note from operand OP0 if more than one insn results. 1512: Also a REG_RETVAL note. 1513: * expr.c (convert_move): Pass CODE arg to emit_unop_insn. 1514: * flow.c (propagate_block): Use insn_dead_p to decide whether 1515: to handle a REG_RETVAL note by skipping some insns. 1516: Always pass 1 for STRICT_LOW_OK for an insn that has a REG_RETVAL note. 1517: Handle case where REG_RETVAL points at an insn that's deleted. 1518: * flow.c (insn_dead_p): New operand STRICT_LOW_OK says an insn 1519: that sets STRICT_LOW_PART may be considered dead. 1520: 1521: * expr.c (expand_expr): Once again canonicalize X-C to X+(-C). 1522: Change on March 1 made it stop doing this. 1523: 1524: Wed Mar 9 01:25:35 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1525: 1526: * loop.c (move_movables): Don't always mark the moved reg 1527: as equivalent to a constant value: not if it is being cleared 1528: to zero-extend something or if it is used outside the loop. 1529: 1530: * expr.c (move_by_pieces_1): Finish last change. 1531: 1532: * stmt.c (assign_parms): Update stack_args_size properly. 1533: Figure FIRST_PARM_OFFSET when making the stack mem refs. 1534: 1535: * cse.c (insert): Build the related_value lists in the opposite order 1536: so that the oldest element in the chain is the one that follows 1537: the most basic element. 1538: 1539: * expr.c (expand_expr): COMPONENT_REF case: criterion for 1540: converting the the result is if MODE1 (its mode of arrival) isn't 1541: a mode we want. 1542: 1543: * toplev.c (rest_of_compilation): Fix typo setting TREE_ASM_WRITTEN. 1544: 1545: Tue Mar 8 13:18:37 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1546: 1547: * cse'ing of library calls. 1548: 1549: * expr.h: type `optab' is now a ptr to a struct. 1550: The old contents are now the `handlers' element. 1551: The `code' element gives the RTL code for the kind of expression 1552: this optab makes (PLUS for add_optab, etc.) 1553: Every var formerly declared `struct optab *' is now just `optab'. 1554: 1555: * optabs.c (init_optab, init_optabs): New function to init an optab 1556: and set its `code'. Used in init_optabs. 1557: 1558: * optabs.c (expand_binop, expand_unop): Use the `code' field 1559: to add a REG_EQUAL note to the insn that copies a libcall's 1560: value into a pseudo. Also a REG_RETVAL note pointing at the 1561: first insn for setting up args for the call. 1562: 1563: * cse.c (cse_insn): Process REG_EQUIV and REG_EQUAL datum almost like 1564: another set-src; put the actual src into the equivalence class of that. 1565: 1566: * flow.c (propagate_block): If a dead insn has a REG_RETVAL reg-note, 1567: either ignore or delete all the insns back to the insn the REG_ARG 1568: note points to. 1569: 1570: * local-alloc.c (block_alloc): Don't refrain from allocating a 1571: "constant" register if the constant value isn't ok for an immediate op. 1572: 1573: 1574: * dbxout.c (CONTIN): If DBX_CONTIN_LENGTH is <= 0, do nothing. 1575: 1576: * cccp.c: Extra default include dirs for C++. 1577: * cccp.c (main): For -M, strip dirs from object file name. 1578: 1579: * rtl.c (find_reg_note): New function. 1580: 1581: * expmed.c (store_fixed_bit_field): Don't AND with VALUE 1582: if VALUE's original mode had no more bits than we want. 1583: 1584: * expr.c (emit_library_call): Use varargs. 1585: 1586: * integrate.c (copy_and_substitute_rtx): Recognize arg_pointer_rtx 1587: and translate it just like frame_pointer_rtx. 1588: 1589: Mon Mar 7 00:48:33 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1590: 1591: * expmed.c (extract_fixed_bit_field): 1592: Shift counts were wrong for narrow MODE in signed case. 1593: Do the sign-extending shifts in the narrowest mode possible. 1594: Reduce big-endian case to little-endian case. 1595: Delete SLOW_ZERO_EXTEND conditional. 1596: 1597: * Implement constants in memory for RISC machines 1598: with limited abilities for immediate args and constant addresses. 1599: 1600: * genoutput.c (output_epilogue): Empty predicate-name 1601: is output as 0 in insn_operand_predicate. 1602: 1603: * expr.c (expand_expr): Change 4th arg to an `enum expand_modifier' 1604: Value EXPAND_SUM corresponds to old nonzero 4th arg. 1605: Value EXPAND_CONST_ADDRESS means ok to return an invalid MEM 1606: whose address is a constant. Changes for this case in ADDR_EXPR, 1607: COMPONENT_REF and ..._DECL. 1608: 1609: * varasm.c (output_arith_constant): Function deleted. 1610: * tm-*.h: (ASM_OUTPUT_{INT,SHORT,CHAR}): 2nd arg is now an RTX 1611: and output it using `output_addr_const'. 1612: * varasm.c (output_constant): Change uses of those macros. 1613: 1614: * varasm.c (init_const_rtx_hash_table): Initialize constant pool 1615: for a new function. Called from `expand_function_start'. 1616: * varasm.c (force_const_mem): Turn a constant rtx into a MEM rtx 1617: which refers to the constant pool. Other new subroutines too. 1618: (force_const_double_mem): Use force_const_mem to make the MEM. 1619: (immed_real_const): No longer record the REAL_CST node in the rtx. 1620: 1621: * explow.c (force_reg): If arg is a constant and not legitimate, 1622: put it in the constant pool with force_const_mem. 1623: Mark the register as equivalent to the constant value. 1624: * expr.c (emit_move_insn): Likewise. 1625: * explow.c (break_out_mem_refs): Use force_reg to put into a reg. 1626: * explow.c (memory_address): Likewise. 1627: * expr.c (expand_expr): ADDR_EXPR case: likewise. 1628: 1629: * expr.c (expand_call): Do force_reg on each register-operand 1630: so it will go through a pseudo and can be cse'd. 1631: 1632: * recog.c (immediate_operand, nonmemory_operand, general_operand): 1633: For constant operands, use LEGITIMATE_CONSTANT_P to decide value. 1634: * tm-*.h: Define LEGITIMATE_CONSTANT_P. 1635: 1636: * reload1.c (reload): Invalid constants can't go in reg_equiv_constant. 1637: 1638: Sun Mar 6 22:49:06 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1639: 1640: * reload.c (push_reloads): If IN occurs within OUT, 1641: don't reuse an existing input-only reload. Otherwise would lose on 1642: (set (mem (plus R C)) (plus R C1)) if R is available in a spill reg. 1643: 1644: * reload1.c (choose_reload_targets): Don't choose an inherited 1645: reload register that's in use for another reload. 1646: Without this, above change doesn't have an effect. 1647: 1648: * Implement the `unchanging' flag in MEM and REG rtx's. 1649: Also simplify code with a new subroutine `change_address'. 1650: 1651: * emit-rtl.c (change_address): Return new memory ref like an old 1652: one but with specified mode and address. 1653: * expmed.c (extract{,_split,_fixed}_bit_field): Use change_address. 1654: (store{,_split,_fixed}_bit_field): Likewise. 1655: * expr.c (store_expr, expand_expr): Likewise. 1656: 1657: * expr.c (move_by_pieces): Args now memrefs, not addresses. 1658: Eliminate the FROM_VOL and TO_VOL args since the memrefs indicate. 1659: Change the structure `struct move_by_pieces' similarly. 1660: (move_by_pieces_1): Same changes; use change_address. 1661: (emit_block_move, emit_push_insn): Calls to move_by_pieces changed. 1662: 1663: * integrate.c (copy_rtx_and_substitute): Use change_address; 1664: handle ->unchanging field. 1665: 1666: * rtl.c (rtx_varies_p): Regs or memrefs with ->unchanging don't vary. 1667: (copy_rtx): Perserve ->unchanging. 1668: (print_rtx): Print ->unchanging as /u. 1669: 1670: * stmt.c (expand_decl): Set ->unchanging on `const' decls. 1671: (fixup_memory_subreg): Use change_address. 1672: (assign_parms): Record in the rtl which parms are volatile or const. 1673: 1674: * varasm.c (assemble_variable): Set ->unchanging on `const' decls. 1675: (output_constant_def): Always set ->unchanging for constant refs. 1676: 1677: * cse.c (canon_hash): Don't treat a MEM as "in memory" 1678: if its ->unchanging bit is set. 1679: 1680: * loop.c (invariant_p): A REG or MEM with ->unchanging is invariant 1681: (for a MEM, the address must be invariant). 1682: 1683: Sat Mar 5 13:22:11 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1684: 1685: * genconfig.c (walk_insn_part): DO consider MATCH_DUPs 1686: when calculating MAX_RECOG_OPERANDS. 1687: (gen_expand): define_expand is now different from define_insn. 1688: Compute max # SETs or CLOBBERs for any one sub-insn in a define_expand, 1689: instead of summing them all. And don't count the MATCH_DUPs at all. 1690: 1691: * genemit.c (max_operand_1): Record largest opno in a MATCH_DUP 1692: separately from largest in a MATCH_OPERAND. 1693: (gen_expand): An operand # with only MATCH_DUPs gets 1694: a local variable in the gen_ function we output. 1695: 1696: * integrate.c (save_for_inline): Delete vestige of NOTE_INSN_IS_DECL. 1697: 1698: * cse.c (invalidate): Handle subregs. 1699: (cse_ins, invalidate_from_clobbers): Do call `invalidate' for subregs. 1700: (insert_regs): When assigning one subreg from a like one, 1701: make the two regs equivalent. 1702: (cse_insn): Do call insert_regs when dest is a subreg. 1703: 1704: * expr.c (expand_call): Precompute all args going via hard regs 1705: since even arithmetic could require a library call. 1706: 1707: Fri Mar 4 15:48:17 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1708: 1709: * stor-layout.c (layout_parms): Function deleted. 1710: * stmt.c (expand_function_start): Don't call it. 1711: 1712: * stmt.c (assign_parms): 1713: stack_args_size counts size of args so far passed on stack. 1714: Use PARM_BOUNDARY when counting it; derive stack offsets from it. 1715: Set current_function_args_size from it. 1716: 1717: When an arg is split between regs and stack, make stack space 1718: for the rest of it, and count it. 1719: In a varargs function, push the last arg onto the stack. 1720: When an arg is passed in regs alone, don't remember a stack slot 1721: for it, and if it needs one, use assign_stack_local. 1722: 1723: Set DECL_OFFSET to the stack offset, or -1 if parm came in regs. 1724: 1725: * expr.c (expand_call): Anonymous args of a varargs function 1726: are always passed on the stack. 1727: 1728: * varasm.c (force_const_double_mem): Copy the MEM rtx 1729: if it may need to be smashed by reloading. 1730: 1731: * genemit.c (gen_expand): define_expand must have nonempty pattern 1732: even though, due to `return' statements in the code-to-run, 1733: that pattern may not be used to generate code. 1734: 1735: Thu Mar 3 17:08:43 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1736: 1737: * expr.c (expand_expr): If supposed to sign-extend an enum 1738: which is never negative, zero-extend instead (unless SLOW_ZERO_EXTEND). 1739: (store_expr): Likewise. 1740: 1741: * reload.c (find_reloads): 'm' for CONST_DOUBLE: clear BADOP, not BAD. 1742: After force_const_double_mem, do find_reloads_toplev on the MEM. 1743: (find_reloads_address): Handle constant addresses (on machines 1744: that don't allow them). 1745: 1746: * final.c (set_current_gdbfile): New fn, get the gdbfile structure 1747: for specified filename. 1748: (output_source_line): Use set_current_gdbfile for the file. 1749: * varasm.c (assemble_variable): Call set_current_gdbfile 1750: for the declaration's source file, so GDB won't ignore the file. 1751: 1752: * varasm.c (force_const_double_mem): Build a new REAL_CST node 1753: and get its data type from the machine mode of the CONST_DOUBLE. 1754: (immed_real_const): Don't save the REAL_CST tree node. 1755: * typecheck.c (get_floating_type): Return float type for given mode. 1756: 1757: * integrate.c (expand_inline_function): Ignore the (USE (REG...)) 1758: (for the return-register) at the end of the inline function. 1759: After a CALL_INSN, imagine the (SET (REG ...) (REG ...)) for 1760: the return-register if the return-register isn't explicitly used. 1761: 1762: Wed Mar 2 22:08:49 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1763: 1764: * typecheck.c (build_array_ref): Do default_conversion on INDEX. 1765: 1766: Tue Mar 1 15:49:34 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1767: 1768: * expr.c (expand_call): Always get a SYMBOL_REF for a fixed function. 1769: If may be alloca, set may_call_alloca. 1770: (gen_call_1): Never put a SYMBOL_REF through `memory_address'; 1771: but if function cse is wanted, just copy it to a register. 1772: If NO_FUNCTION_CSE is defined, never do function cse. 1773: 1774: * expr.c (init_expr): New function, does init_queue and inits 1775: other things. 1776: 1777: * stmt.c (expand_function_start): Call init_expr, not init_queue. 1778: 1779: * optabs.c (expand_binop): Don't clobber OP0 and OP1 1780: if may call delete_insns_since later. 1781: 1782: * expr.c (emit_library_call): PUSH_ARGS_REVERSE test was backwards. 1783: 1784: * cse.c (cse_insn): Do canon_reg on the size and position operands 1785: in a ZERO_EXTEND or SIGN_EXTEND that is a destination. 1786: 1787: * tm-*.h: Define SLOW_BYTE_ACCESS. 1788: * expmed.c ({store,extract}_fixed_bit_field): 1789: If SLOW_BYTE_ACCESS, get/set all bit fields from full words. 1790: 1791: * combine.c (subst): Simplify 1792: (zero_extend:SI (subreg:QI (zero_extract ...))). 1793: * combine.c (simplify_and_const_int): Simplify 1794: (and (zero_extract ...) (const_int ...)). 1795: 1796: * local-alloc.c (qty_compare{,_1}): Test of qty_phys_sugg was reversed. 1797: (combine_regs): If one pseudo gets two suggested hard regs 1798: (one at birth and one at death), prefer the one from birth 1799: unless we see at death that it's no good. 1800: 1801: * expr.c (expand_expr): Ignore sum_ok unless mode is Pmode. 1802: Don't use force_operand unless sum_ok is set. 1803: 1804: Mon Feb 29 19:23:50 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1805: 1806: * expr.c (emit_move_insn): When a CONST_DOUBLE needs moving 1807: by pieces, force it into memory, unless it is dconst0_rtx, 1808: in which case each piece is const0_rtx. 1809: (emit_push_insn): Likewise. Also, write code for pushing a 1810: non-BLK mode which has no "mov" insn defined, but only 1811: in the case where there is no PUSH_ROUNDING. 1812: 1813: * expr.c (do_tablejump): Put constant term in address last. 1814: 1815: * toplev.c (xrealloc): On error, call fatal instead of abort. 1816: 1817: * optabs.c (emit_cmp_insn): If genning from tst_optab, 1818: make the operand fit its predicate. 1819: 1820: * optabs.c (expand_float): Don't adjust stack between cmp and jump. 1821: 1822: * optabs.c (expand_binop): Recursive calls can return 0; handle 1823: that event by deleting any preparatory insns. Also don't smash 1824: TARGET when this happens. 1825: 1826: * reload.c (push_reload): If IN != *INLOC, set reload_nocombine. 1827: (combine_reloads): Don't combine an input reload with reload_nocombine. 1828: 1829: * jump.c (jump_optimize): Don't delete stack adjusts unless 1830: EXIT_IGNORE_STACK is nonzero. 1831: * expr.c (clear_pending_stack_adjust): Likewise. 1832: * tm-*.h: When EXIT_IGNORE_STACK is defined, give it `1' as defn. 1833: 1834: * expr.c (expand_call): Initialize args_size. 1835: Don't push a block if args_size is 0. 1836: (emit_library_call): Don't include register-args (or reg-parts 1837: of partial ones) in args_size. 1838: Don't push a block if args_size is 0. 1839: 1840: * expr.c (expand_expr): For DECLs in memory, check the address 1841: validity with memory_address_p, and preserve volatility info. 1842: 1843: * stmt.c (expand_function_end): fixup_gotos needs 2 args. 1844: 1845: * jump.c (mark_jump_label): If INSN is 0, don't set its JUMP_LABEL. 1846: Inside an ADDR_VEC or ADDR_DIFF_VEC, recurse with 0 for INSN. 1847: 1848: * varasm.c (force_const_double_mem): Must zero TREE_CST_RTL 1849: before output, or nothing will happen. 1850: 1851: Sun Feb 28 01:08:53 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1852: 1853: * optabs.c (emit_unop_insn): Generate and emit an insn 1854: given the insn-code and the two operands (one out, one in). 1855: Can move the operands into registers when needed for various 1856: reasons. 1857: * expr.c (convert_move): Use emit_unop_insn for outputting the 1858: conversion insns. 1859: 1860: * expr.c (emit_library_call): Use arg's nominal mode to choose 1861: a reg to pass it in, not actual mode (which can be VOIDmode). 1862: 1863: * insn-emit.c (emit_insn): If arg is empty SEQUENCE, do nothing. 1864: 1865: * genemit.c (gen_expand): Scan the rtl-pattern for predicates 1866: and machine modes of the operands. 1867: 1868: * m68k.d (dbra patterns): Add HPUX_ASM conditionals. 1869: 1870: * rtl.c (reg_mentioned_p): Use "equal", not "eq", when 1871: REG isn't a register. 1872: * reload.c (combine_reloads): Verify not reg_mentioned_p even if 1873: the input reload's value isn't a register. 1874: 1875: * reload.c (operands_match_p): If successful and 2nd arg 1876: has a pre-increment that matches a non-increment, return 2. 1877: 1878: * reload1.c (reload): At end, clobber a pseudoreg to a MEM 1879: even if it's an out-of-range address. It doesn't affect the 1880: assembler code in this case, but it makes the dbx output correct. 1881: 1882: * recog.c (constrain_operands): When operands_match_p returns 2, 1883: in the constraint alternative that is ultimately successful, 1884: copy the output operand from the input that it matched 1885: so that the assembler insn that is output shows the pre-increment. 1886: 1887: Sat Feb 27 15:16:47 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1888: 1889: * combine.c (subst): When optimizing 1890: (set (zero_extract ...) (and (zero_extract ...) const)) 1891: must arrange to have 1's, not 0's, shifted into low bits of const. 1892: 1893: * decl.c (grokdeclarator): When return-type defaults to int, 1894: don't warn, just set warn_about_return_type. 1895: (start_function): See that variable and warn, after starting function. 1896: 1897: * toplev.c (count_error): No longer print newline if not quiet. 1898: (report_error_function): If not quiet, print a newline if 1899: printing anything, and don't print the function name. 1900: 1901: * reload1.c (choose_reload_targets): 1902: Fix the loop that checks for consecutive available spill regs. 1903: Set `have_groups' nonzero if any reload wants a group. 1904: In that case, for non-group reloads, prefer a reg that can't be in 1905: group, or else one that has only one available neighbor. 1906: 1907: * reload1.c (reload): Find separately the max need for each class 1908: for single registers, groups of registers, and single registers 1909: not in any group. (The last one counts non-group reloads 1910: in insns that have at least one group reload.) 1911: Then make sure enough of each kind are found. 1912: 1913: * expmed.c: Now needs flags.h and recog.h (therefore insn-config.h). 1914: 1915: * expmed.c (store_bit_field): 1916: Delete redundant protect_from_queue. 1917: Force VALUE out of memory if -fforce-mem. 1918: If insv's predicate for VALUE wants a register, put it there. 1919: 1920: * expmed.c (extract_bit_field): 1921: Force TARGET out of memory if -fforce-mem. 1922: If insv's predicate for TARGET wants a register, put it there. 1923: 1924: Fri Feb 26 00:12:48 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1925: 1926: * reload1.c (eliminate_frame_pointer): Don't check for pushes 1927: unless PUSH_ROUNDING is defined. 1928: 1929: * reload.c: Don't define REG_OK_FOR_{INDEX,BASE}_P 1930: (since the tm file is supposed to do it). 1931: 1932: * expr.c (emit_push_insn, expand_call): 1933: Don't use PUSH_ROUNDING if it's not defined. 1934: 1935: * expr.c (preexpand_calls): Do nothing for constants and decls. 1936: 1937: * expr.c (expand_call, emit_library_call): When PUSH_ROUNDING 1938: is not defined, use ROUND_CALL_BLOCK_SIZE to round the size 1939: of the block of arguments. 1940: 1941: * expr.c (expand_call): Don't count register-args in ARGS_SIZE. 1942: 1943: * rtl.h, emit-rtl.c: Create static_chain_incoming_rtx 1944: and struct_value_incoming_rtx. 1945: * stmt.c (expand_function_start): Use ..._incoming_rtx where needed. 1946: 1947: * expr.c (expand_call): Use new macros INIT_CUMULATIVE_ARGS, 1948: CUMULATIVE_ARGS and FUNCTION_ARG_ADVANCE to update data 1949: on args scanned so far. 1950: (emit_library_call): Likewise. 1951: * stmt.c (assign_parms): Likewise. 1952: * tm-spur.h, tm-m68k.h: Define these macros. 1953: 1954: * rtl.h (NUM_MACHINE_MODES): NUM_MACHINE_MODE renamed. 1955: * rtl.c, genrecog.c: Change places it is used. 1956: 1957: * cccp.c (output_line_command): line_cmd_buf should be chars, not ints. 1958: 1959: Thu Feb 25 13:33:29 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1960: 1961: * genemit.c (gen_expand): Don't lose if pattern is empty-vector. 1962: 1963: * genconfig.c (gen_insn): Don't lose if pattern is empty-vector. 1964: 1965: * expr.c (expand_expr): For COMPONENT_REF, don't convert to tmode 1966: unless the mode we get is unacceptable. 1967: 1968: * loop.c (scan_loop, move_movables): New field `partial' is 1 for 1969: zero-extending clr insn; don't make the reg invariant when it's moved. 1970: 1971: * optabs.c (expand_unop, expand_binop, emit_cmp_insn): 1972: mode-argument to predicates was missing. 1973: 1974: * optabs.c (expand_binop): If gen-function returns 0, this means 1975: the insn wasn't available. 1976: 1977: * reload.c (find_reloads): Don't make optional reloads for operands 1978: that match other operands. 1979: 1980: * reload.c (combine_reloads): Reject optional output reload. 1981: 1982: * reload.c (find_equiv_reg): Know that CALL_INSNs clobber memory. 1983: 1984: * typecheck.c (build_binary_op_nodefault): 1985: If doing a short shift, leave the shift-count as a fullword. 1986: 1987: Tue Feb 23 14:43:46 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 1988: 1989: * combine.c (subst): Count, in n_occurrences, # times FROM is seen. 1990: (try_combine): Refuse to combine x=*y++ into z = x*x. 1991: 1992: * loop.c (invariant_p): Frame pointer and arg pointer are invariant. 1993: (move_movables): Don't forget to set ->done! 1994: When moving the matching movables, don't forget to set n_times_set. 1995: 1996: * expmed.c (expand_shift): Reorder strategies for logical shift; 1997: if widening, try all ashift strategies before extzv. 1998: 1999: * typecheck.c (build_binary_op_nodefault): 2000: Always return error_mark if either operand is one. 2001: 2002: * recog.c (nonmemory_operand): New predicate. 2003: 2004: * optabs.c (expand_unop, expand_binop, emit_cmp_insn): 2005: Don't treat `register_operand' as special. Apply the predicate 2006: to the rtx; if the predicate fails, use a register instead. 2007: 2008: Mon Feb 22 22:37:32 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 2009: 2010: * expr.c (expand_calls): Preexpand all calls in arguments 2011: that are passed in regs before copying any of them into the regs. 2012: 2013: * expr.c (emit_push_insn): Three more args. 2014: EXTRA for extra space to leave. 2015: ARGS_ADDR and ARGS_SO_FAR for using move-insns on machines 2016: that lack true push insns. 2017: 2018: * expr.c (emit_library_call, expand_call): 2019: Use the new arguments of `emit_push_insn'. 2020: 2021: * expr.c (PUSH_ARGS_REVERSED): defined if handle args last-to-firs. 2022: 2023: Sun Feb 21 12:17:59 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 2024: 2025: * toplev.c (rest_of_compilation): Set TREE_ASM_WRITTEN 2026: when a function is really output as assembler code. 2027: Don't do inlining of a function that is already made inline; 2028: instead, output it as assembler code, because this must be 2029: the second call for that function. 2030: 2031: * decl.c (finish_compilation): Delete it. 2032: * toplev.c (compile_file): Output pending inline functions at the end 2033: in the same way tentative-defined variables are output. 2034: 2035: * emit-rtl.c (restore_reg_data): New fn: given chain of insns, 2036: restore emit-rtl's data on registers from the regs they use. 2037: 2038: * integrate.c (output_inline_function): Use restore_reg_data. 2039: (fill_regno_reg_rtx_as_needed): Now restore_reg_data_1 in emit-rtl.c. 2040: 2041: * tree.c (build_decl): Function moved from decl.c. 2042: No longer set attributes of function decls specially. 2043: 2044: * decl.c (implicitly_declare, builtin_function, grokdeclarator): 2045: Don't expect build_decl to set attributes of FUNCTION_DECL. 2046: 2047: * tree.c (preserve_data): New fn, make all data now on 2048: maybepermanent_obstack last permanently. 2049: 2050: * cse.c (cse_insn): Remove a STRICT_LOW_PART from the dest rtx 2051: before putting it in the hash table. 2052: 2053: * symout.c (symout_block): Fix the args to `symout_block_symbols'. 2054: 2055: Sat Feb 20 00:07:52 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 2056: 2057: Start of changes for inline functions. 2058: Changes received from Tiemann, then slightly rearranged for simplicity. 2059: 2060: * integrate.c: New file (Tiemann's rtl2.c). 2061: * integrate.c (function_cannot_integrate_p): 2062: New fn, only checks whether current fn is safe and good to inline. 2063: Returns an error message string if not. 2064: 2065: * expr.c (current_args_size): Var made static. 2066: (store_expr): Fn no longer static. 2067: (stack_pointer_rtx): Use this var for all refs to the stack pointer. 2068: (struct_value_rtx, static_chain_rtx): Likewise 2069: 2070: * expr.c (expand_call): Detect calls to integrable functions 2071: and integrate them. 2072: **If fn is not named "alloca" then assume it is not `alloca'. ** 2073: 2074: * emit-rtl.c (max_label_num): New fn, returns number for next label. 2075: (get_first_label_num): New fn, returns first label of current fn. 2076: (init_emit): Save first label number of this fn. 2077: 2078: * emit-rtl.c (gen_inline_header_rtx): New fn, make an INLINE_HEADER. 2079: 2080: * emit-rtl.c (emit_declaration): New fn to emit new kind of NOTE. 2081: 2082: * emit-rtl.c (init_emit_once): New fn. 2083: Move inits of unique rtl objects here, from init_emit. 2084: 2085: * decl.c (finish_compilation): New fn to compile separately 2086: any nonglobal inline functions that need to be addressable. 2087: 2088: * decl.c (grokdeclarator): Handle `inline' kwd among the declspecs. 2089: Set TREE_INLINE if it's safe. 2090: 2091: * decl.c (finish_function): If fn was inlined, don't clear 2092: the DECL_ARGUMENTS or DECL_RESULT or DECL_INITIAL. 2093: 2094: * gen*.c: Provide rtl_obstack, not current_obstack. 2095: 2096: * rtl.c (rtl_obstack): Variable: ptr to obstack to use for making rtl. 2097: * rtl.c (rtx_alloc, rtvec_alloc): Use that obstack. 2098: * rtl.c (copy_rtx): Copy the `integrated' flag. 2099: * rtl.c (print_rtx): Print that flag as `/i'. 2100: 2101: * rtl.def: New rtx code INLINE_HEADER. 2102: 2103: * rtl.h (struct rtx_def): Add `integrated' field. 2104: * rtl.h: Define macros for fields in an inline_header rtx. 2105: 2106: * stmt.c (max_parm_reg_num, get_first_function_insn): 2107: New fns, return info on parm regs and the insns that init them. 2108: 2109: * stmt.c (expand_decl): Simplify with new local `type'. 2110: 2111: * stmt.c (stack_pointer_rtx): Replace all refs to stack pointer 2112: with this shared rtx. 2113: * stmt.c (struct_value_rtx): Likewise. 2114: 2115: * stmt.c (expand_start_function): Call init_pending_stack_adjust 2116: instead of clear_pending_stack_adjust. 2117: If not using a return-label, set `return_label' to 0. 2118: 2119: * stmt.c (expand_null_return, expand_end_function): 2120: Call clear_pending_stack_adjust unconditionally. 2121: 2122: * expr.c (clear_pending_stack_adjust): Move the conditionals here. 2123: For now, this fn is a no-op, since it's not safe in an inline fn 2124: and the stack adjusts are deleted by jump.c in if optimizing. 2125: 2126: * expr.c (init_pending_stack_adjust): New fn. 2127: 2128: Fri Feb 19 14:30:13 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 2129: 2130: * toplev.c (main): Decode -finline-functions, -fkeep-inline-functions. 2131: 2132: * toplev.c (rest_of_compilation): 2133: At start, save the rtl if function should be inline. 2134: For inline function, if we don't yet know whether it should be 2135: compiled on its own, don't do so. 2136: 2137: * toplev.c (compile_file): Clear, and later print, `integration_time'. 2138: Call `init_emit_rtl' when starting. 2139: Call `finish_compilation' at the end. 2140: 2141: [Add an extra arg to the error and warning functions?] 2142: 2143: * tree.c ({push,pop,clear}_momentary): 2144: Change momentary_stack from a char ** to a struct momentary_level *. 2145: 2146: * tree.c (build_pointer_type): Put temporary type in `saveable_obstack' 2147: * tree.c (build_type_variant): Likewise. 2148: * tree.c (make_node): Likewise. Also put decls and LET_STMTs there. 2149: * tree.c (type_hash_canon): Free a temporary type in `saveable_obstack' 2150: 2151: * tree.c (perm_tree_cons): Like `tree_cons' but on perm. obstack. 2152: 2153: * tree.c (init_tree, {{end_,}temporary,permanent}_allocation): 2154: Handle `maybepermanent_obstack' and `saveable_obstack' and 2155: `rtl_obstack'. 2156: 2157: * tree.h (TREE_INLINE): New attribute macro. 2158: * tree.h (DECL_SAVED_INSNS, DECL_FRAME_SIZE): 2159: New components in a FUNCTION_DECL. 2160: Delete the `unused` slot in a `struct tree_decl'. 2161: 2162: * typecheck.c (mark_addressable): Set TREE_ADDRESSABLE 2163: even in FUNCTION_DECLs. 2164: 2165: * typecheck.c (build_function_call): 2166: If function is a FUNCTION_DECL, avoid setting TREE_ADDRESSABLE 2167: when taking its address. 2168: 2169: * parse.h: Define RID_INLINE. 2170: * parse.y: Define keyword `inline'; set up ridpointers for it. 2171: (yylex): Don't recognize `inline' of -fno-asm or -ftraditional. 2172: 2173: * flags.h: New vars flag_inline_functions 2174: and flag_keep_inline_functions. 2175: 2176: End of changes for inline functions. 2177: 2178: * tree.c (convert): If EXPR's type is an error_mark, return error_mark. 2179: 2180: * Makefile (install): Don't strip the executables. 2181: 2182: * jump.c (delete_insn): Deleting a label's target 2183: can delete either NEXT and PREV! So must search for a 2184: following nondeleted insn to return. 2185: 2186: * typecheck.c (build_function_call): Typo in validating 2187: data type of function. 2188: 2189: * genoutput.c (gen_expand): Must create a `struct data' even 2190: for a define_expand, so we can output the proper insn_gen_function 2191: and leave zeros in the other tables. 2192: 2193: * loop.c (scan_loop): Replace the code for handling zero-extends 2194: with unconditional code that checks for a pair of insns. 2195: 2196: * m68k.md: Do zero-extend using define_expand to generate 2197: a pair of insns, to set all to zero and then copy the low part. 2198: 2199: Thu Feb 18 15:54:00 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 2200: 2201: * emit-rtl.c (emit_insn): If arg is a SEQUENCE, emit several insns. 2202: * emit-rtl.c (classify_insn): Given an RTX, return the rtx-code for 2203: an insn containing it: CODE_LABEL, INSN, JUMP_INSN or CALL_INSN. 2204: 2205: * rtl.def: New RTX types DEFINE_EXPAND and SEQUENCE. 2206: * gen*.c: Handle DEFINE_EXPAND. Only genemit.c does real work. 2207: 2208: * make.com, make-cc1.com, make-cccp.com: New, VMS command files. 2209: 2210: * tm-vms.h: New file, used as tm.h to generate VMS code. 2211: 2212: * tm-vax.h (FUNCTION_PROLOGUE): Turn off no bits in the mask; 2213: let call_used_registers alone control this. 2214: Call MAYBE_VMS_FUNCTION_PROLOGUE, and define that as no-op. 2215: 2216: * tm-vax.h (TARGET_VAXC_ALIGNMENT): New target-flag bit. 2217: BIGGEST_ALIGNMENT, EMPTY_FIELD_BOUNDARY and POINTER_BOUNDARY use it. 2218: 2219: * varasm.c (assemble_function): Use ASM_DECLARE_FUNCTION_NAME 2220: if it is defined. 2221: 2222: * varasm.c (assemble_variable): On an external, 2223: use ASM_OUTPUT_EXTERNAL if defined. Default is do nothing, as before. 2224: 2225: * toplev.c: 2226: Use FATAL_EXIT_CODE and SUCCESS_EXIT_CODE. 2227: Don't include time.h and resource.h on VMS. 2228: (main) Define __VERSION__ if not already defined. 2229: Conditionalize setrlimit on RLIMIT_STACK. 2230: Test __GNUC__, not __GNU__. 2231: Don't do `ps v' on VMS. 2232: (gettime): Conditional code for VMS. 2233: 2234: * gcc.c: Define __GNUC__ as well as __GNU__. 2235: __GNU__ will be deleted in a future version. 2236: 2237: * symout.c (symout_finish) [VMS]: Don't refer to `getwd' on VMS. 2238: * symout.c (symout_init) [VMS]: Fatal error; GDB syms not supported. 2239: 2240: * parse.y (yylex): Handle DOLLARS_IN_IDENTIFIERS. 2241: 2242: * genoutput.c (gen_insn): Workaround for VMS printf %s bug. 2243: 2244: * gen*.c: Include config.h. Whenever exiting, use 2245: SUCCESS_EXIT_CODE or FATAL_EXIT_CODE. 2246: 2247: * config-*.h: Define SUCCESS_EXIT_CODE and FATAL_EXIT_CODE. 2248: * config-vms.h: New file, mostly like config-vax.h. 2249: 2250: Wed Feb 17 13:35:34 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 2251: 2252: * cccp.c: VMS support from Kashtan. 2253: Some #include files are conditional. 2254: Use file_size_and_mode instead of fstat. 2255: When reading file contents, the size we get from that 2256: is just an upper bound; don't assume it must match. 2257: Replacement definitions of read and write for VMS. 2258: Different default include directories. 2259: Conditionalize the setrlimit code on RLIMIT_STACK. 2260: Use SUCCESS_EXIT_CODE when exiting if no errors; 2261: both that and FATAL_EXIT_CODE are not #defined if already defined. 2262: 2263: Treat $ as an identifier-character if DOLLARS_IN_IDENTIFIERS. 2264: Rename the `delete' function as `delete_macro' 2265: to avoid VMS name conflict. 2266: 2267: * cexp.y: Treat $ as an identifier-character if DOLLARS_IN_IDENTIFIERS. 2268: 2269: * stmt.c (fixup_memory_offset): Do big-endian compensation 2270: only within a word, not for DImode vs SImode. 2271: 2272: * stmt.c (fixup_var_refs): Don't fix up the insn to load the var 2273: from its own stack slot; delete it instead. 2274: 2275: * tm-ns32k.h (MODES_TIEABLE_P): DImode is like DFmode. 2276: 2277: * tree.c (MAX_HASH_TABLE): 1009 (more prime) instead of 1008. 2278: 2279: * decl.c (duplicate_decls): If merged type is OLD's type, 2280: keep OLD's DECL_SIZE and DECL_SIZE_UNIT. 2281: 2282: * gen*.c (xmalloc, xrealloc): Call `fatal' if memory is full. 2283: 2284: * reload1.c (choose_reload_targets): If a mode doesn't fit the 2285: reload register, and the insn is an ASM_OPERANDS, ignore the reload. 2286: Otherwise, final would crash. 2287: 2288: * expmed.c (expand_shift): Two new strategies for lshr on short/char: 2289: widen and do ashr, or widen and do extzv. 2290: 2291: * vax.md (peepholes): Use dead_or_set_p to check for eliminable 2292: intermediate result, rather than requiring a match with final result. 2293: 2294: * local-alloc.c (block_alloc): Testing frame_pointer_needed is 2295: enough; no need to test FRAME_POINTER_REQUIRED, etc. 2296: * global-alloc.c (find_reg): Likewise. 2297: * reload1.c (reload): Likewise for flag_omit_frame_pointer 2298: 2299: * jump.c (delete_insn): If not `optimize', don't complain 2300: about finding an already-deleted insn in the chain. 2301: 2302: Tue Feb 16 17:14:54 1988 Richard Stallman (rms at wheaties.ai.mit.edu) 2303: 2304: * final.c: Don't define N_SOL and N_SLINE if already defined. 2305: 2306: * final.c (output_source_line): 2307: Typo calling ASM_OUTPUT_SOURCE_FILENAME. 2308: 2309: * flow.c (INSN_VOLATILE): fix a typo. 2310: 2311: Fri Feb 12 16:48:16 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2312: 2313: * final.c (final): for `asm' without operands, output literally. 2314: 2315: Thu Feb 11 12:44:41 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2316: 2317: * symout.c (symout_record_fields): Handle nameless fields. 2318: * symout.c (symout_record_field_names): Likewise. 2319: 2320: * typecheck.c (require_complete_type): `void' is a complete type. 2321: * typecheck.c (build_function_call): Don't complain if result is void. 2322: 2323: * tm-hp9k320.h: Change definition of ASM_SPEC to +X, not -X. 2324: 2325: * cccp.c (main): Expected object file name for foo.cc is foo.o. 2326: 2327: Wed Feb 10 16:04:58 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2328: 2329: * reload1.c (reload): Initialize `regmask' to zero. 2330: Class number is in I, not in CLASS, when setting its elements. 2331: Don't let J+K be too large. 2332: 2333: * reload1.c (potential_reload_regs): Make it a `short' 2334: since that can't be unsigned. 2335: 2336: * cccp.c (warning): New function, called like `error'. 2337: * cccp.c (do_define): Make redefinition just a warning. 2338: 2339: Tue Feb 9 13:28:00 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2340: 2341: * decl.c (grokdeclarator): Don't be fooled by ERROR_MARK as a declspec. 2342: 2343: * toplev.c (compile_file): Strip final .c or .co from .sym file name. 2344: 2345: * gcc.c: When running `as', specify the .sym file if -gg. 2346: 2347: Mon Feb 8 11:26:26 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2348: 2349: * expmed.c (store_fixed_bit_field): Don't try gen_lowpart on VALUE 2350: if it's a subreg since it might lose; use convert_to_mode instead. 2351: 2352: * tm-hp9k320.h: Define TARGET_MEM_FUNCTIONS. 2353: * expr.c (emit_block_move, emit_push_insn, clear_storage): 2354: If TARGET_MEM_FUNCTIONS, generate calls to memcpy and memset 2355: instead of bcopy and bzero. 2356: * optabs.c (emit_cmp_insn): Likewise for memcmp vs bcmp. 2357: 2358: * stmt.c (expand_goto): New temp var to avoid RT/PC compiler bug. 2359: 2360: Sun Feb 7 12:20:23 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2361: 2362: * flow.c (mark_used_regs, mark_set_regs): 2363: Handle hard regs in multiword modes: set the bits for each 2364: distinct register-number that makes up the multiword mode. 2365: Necessary because function arg registers can inevitably 2366: live across basic blocks. 2367: 2368: * cse.c (canon_hash): Function arg and value registers no longer 2369: considered volatile, because flow should now handle the code that 2370: can result from cse'ing them. 2371: 2372: * cse.c (make_regs_eqv): Abort if OLD is invalid. 2373: * cse.c (reg_invalidate): Abort if reg already invalid has eqvs. 2374: 2375: Sat Feb 6 16:25:32 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2376: 2377: * gcc.c (main): Specific error msg if no input files. 2378: 2379: Fri Feb 5 17:56:00 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2380: 2381: * stmt.c (expand_decl, put_var_into_stack, assign_parms): 2382: Set in_struct on a MEM if the variable is an aggregate or union. 2383: * varasm.c (assemble_variable): Set in_struct on aggregate vars. 2384: 2385: Thu Feb 4 11:52:30 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2386: 2387: * m68k.md (movsf): Correct two fmove.x to fmove.s. 2388: 2389: * expmed.c (extract_fixed_bit_field): 2390: Must always generate an `and' to mask the bitfield 2391: unless its width is the same as the output machine mode. 2392: 2393: * version 1.18 released. 2394: 2395: Wed Feb 3 08:41:20 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2396: 2397: * fold-const.c (fold): Convert EXPR's operands before returning them. 2398: 2399: Tue Feb 2 15:35:18 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2400: 2401: * reload.c (find_reloads_address_1): 2402: 2403: * typecheck.c (default_conversion): Handle COMPOUND_EXPR arrays. 2404: 2405: Mon Feb 1 18:53:05 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2406: 2407: * ns32k.md: operand 0 of all unsigned divide/modulus insns 2408: is now register_operand. 2409: 2410: * stdarg.h: Make va_list be char *, not char *[1]. 2411: Latest draft doesn't say it must be an array type. 2412: 2413: Sun Jan 31 11:14:07 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2414: 2415: * flow.c (find_basic_blocks): Add temp var to avoid Sequent 2416: compiler bug. 2417: 2418: * tm-ns32k.h (GO_IF_LEGITIMATE_ADDRESS): Don't allow pushes or pops 2419: since there are special insn patterns for them. 2420: Resubroutinize and add temp vars to make expressions smaller. 2421: * ns32k.md: Add a few more special stack insns; now there are enough. 2422: 2423: * tm-sequent.h: Definitions of DBX_NO_XREFS and DBX_CONTIN_LENGTH. 2424: 2425: * reload1.c (choose_reload_targets): Handling of reload_strict_low 2426: is needed for input reloads as well as output, since a strict_low_part 2427: operand is normally a read-write operand. 2428: 2429: * reload1.c (reload): The mode a reload needs is the wider of 2430: the input and output modes--just as it is in choose_reload_targets. 2431: 2432: * reload.c (find_dummy_reload): If IN and OUT have different widths 2433: and one of them exceeds a word, don't find any dummy reload. 2434: 2435: * toplev.c (compile_file): Allocate enough space for .jump2 filename. 2436: 2437: Sat Jan 30 10:35:46 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2438: 2439: * output-ns32k.c (print_operand_address): 2440: Print addresses of the form C1+(N*REG+C2) which currently 2441: are accepted as legitimate memory addresses. 2442: 2443: * tm-sequent.h: Simple bugs in PRINT_OPERAND, TARGET_DEFAULT 2444: and SEQUENT_ADDRESS_BUG. 2445: 2446: * gen*.c: Must explicitly exit; returning from `main' fails 2447: to indicate nonzero status due to bug in Unix. 2448: 2449: * parse.y (check_line_number): Ignore entire line of unrecognized 2450: #-directive; no error if it is `pragma'. 2451: 2452: Fri Jan 29 06:46:01 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2453: 2454: * genrecog.c, genextract.c, genoutput.c: Define bcopy and/or bzero. 2455: 2456: * cccp.c (do_define): Make defn->argnames long enough in no-args case. 2457: 2458: * reload1.c (reload): Make basic_block_needs 0 until after the 2459: frame pointer reg is spilled, so that ALL pseudos in it are spilled. 2460: 2461: * typecheck.c (truthvalue_conversion): 2462: Strip a NOP_EXPR only if it extends, not if it truncates. 2463: 2464: * Fixes for HPUX support from cph: 2465: * tm-hp9k320.h: Correct names of floating-point registers. 2466: Fix typos in ASM_OUTPUT_OPCODE; also convert `fmove' to `fmov'. 2467: * Makefile (comments for HPUX): 2468: cph says -Wd,-X isn't needed in CFLAGS, nor -lBSD in CLIB. 2469: Also that -g can't be used in CFLAGS with HP's pcc. 2470: * conf-hp9k320.h: New file, like config-m68k.h but with 2471: #defines for the bstring functions. 2472: * m68k.md: Add else-clauses to the HPUX_ASM conditionals on cmp insns. 2473: Reinsert mistakenly-deleted MOTOROLA conditionals around 2474: some OUTPUT_JUMPs. 2475: 2476: Thu Jan 28 09:51:41 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2477: 2478: * jump.c (jump_back_p): If TARGET is unconditional, return 0. 2479: 2480: Wed Jan 27 04:18:29 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2481: 2482: * combine.c (subst): Simplify (plus (plus x c1) c2). 2483: 2484: * expr.c (emit_push_insn): Don't use small-block push-insns for BLKmode 2485: when one of them would be affected by PUSH_ROUNDING. 2486: Instead, make all the space and then copy. 2487: * expr.c (expand_call): Don't apply PUSH_ROUNDING if BLKmode. 2488: 2489: * Allow `asm' with operands to be marked volatile. 2490: * cse.c (canon_hash): Don't record ASM_OPERANDS that has `volatil'. 2491: * loop.c (invariant_p): ASM_OPERANDS with `volatil' can't be invariant. 2492: * flow.c (volatile_refs_p): Note ASM_OPERANDS that are volatile. 2493: * stmt.c (expand_asm_operands): New arg VOL; mark ASM_OPERANDS as vol. 2494: * typecheck.c (c_expand_asm_operands): New arg VOL. 2495: * parse.y: allow a TYPE_QUAL after ASM. 2496: 2497: * Make cse handle `asm' with operands: 2498: * cse.c (canon_hash): Hash string operands by contents, not address. 2499: * cse.c (exp_equiv_p): Compare string operands with strcmp. 2500: * rtl.c (rtx_equal_p): Compare string operands with strcmp. 2501: 2502: * decl.c (init_decl_processing): Once sizetype is set, 2503: correct the type of the sizes of types already made. 2504: 2505: * cccp.c (do_defines): Don't reject #define foo{a}. 2506: 2507: Tue Jan 26 04:53:16 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2508: 2509: * reload.c (find_reloads): Now that `asm' is limited to 2510: MAX_RECOG_OPERANDS, eliminate dynamic allocation of `constraints' 2511: and `constraints1', and go back to `recog_operand' instead of 2512: `operands'. 2513: 2514: * typecheck.c (c_expand_asm_operands): New fn to handle `asm' for C. 2515: Calls expand_asm_operands, and handles output operands that 2516: the other function cannot handle. 2517: 2518: * parse.y: Call that function. 2519: 2520: * stmt.c (expand_asm_operands): Error if too many operands. 2521: #include insn-config.h to get MAX_RECOG_OPERANDS. 2522: 2523: * expr.c (expand_assignment): Use store_field to handle 2524: structure fields and array elements. 2525: 2526: * output-m68k.c (output_move_double): PUSHOP and POPOP were swapped. 2527: Handle insns that push an sp-relative address onto sp; 2528: these can arise with -fomit-frame-pointer. 2529: BUG? Do unoffsetable mem refs using sp and fp lose? 2530: 2531: * m68k.md (movdi,movdf): Allow unoffsetable mem refs 2532: only if the other operand is a register. 2533: 2534: * m68k.md (zero_extendqisi2): SGS conditionals deleted. 2535: Supposedly the MOTOROLA syntax works for those addresses. 2536: 2537: * typecheck.c (default_conversion): 2538: If flag_traditional, preserve unsignedness when promoting ints, 2539: and promote float to double. 2540: 2541: * typecheck.c (build_binary_op_nodefault): 2542: Allow comparisons between pointers and ints. 2543: If not -traditional, warn about them. 2544: 2545: Mon Jan 25 02:11:18 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2546: 2547: * expmed.c ({extract,store}_split_bit_field): 2548: Functions {extract,store}_split_reg_bit_field now work for memory 2549: also, and therefore are renamed. 2550: * ({extract,store}_fixed_bit_field): Call those fns when a field 2551: is split across two words. 2552: Also, preserve the `volatil' bit on memory refs. 2553: 2554: * output-m68k.c (output_move_double): Handle nonoffsetable mem refs. 2555: * m68k.md: Relax constraints on movdi, movdf. 2556: 2557: * decl.c (init_decl_processing): Define `int' and `char' first. 2558: Set `sizetype' explicitly. 2559: 2560: * stmt.c (fixup_var_refs_1): May not just return when a SET 2561: doesn't have VAR as its src or dest. 2562: 2563: * varasm.c: Don't include c-tree.h. 2564: 2565: * decl.c (build_struct): Split this function into three: 2566: `xref_tag', `start_struct' and `finish_struct'. 2567: `xref_tag' subsumes `xref_enum'. 2568: 2569: * parse.y (structsp): When parsing `struct foo {...}', define the tag 2570: as a cross-ref before parsing the components. Use the three new fns. 2571: 2572: * regclass.c (regclass): Recognize new-format ASM_OPERANDS insns 2573: with `asm_noperands', and scan their operands as usual. 2574: 2575: * cse.c: In numerous functions such as canon_hash, rtx_cost, etc. 2576: that do tree-walk on rtx, handle vectors of subexpressions. 2577: 2578: * loop.c (invariant_p): Likewise. 2579: 2580: * jump.c (delete_insn): Two bugs: 2581: If insn already deleted, return the first following nondeleted. 2582: Deleting a jump's label can delete NEXT. Make sure return value 2583: is always the first insn following INSN and not yet deleted. 2584: 2585: Sun Jan 24 02:27:49 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2586: 2587: * rtl.def (ASM_OPERANDS): Change the rtl expression of an 2588: `asm' with operands so it looks like this for one output operand: 2589: (set OUTPUT (asm_operands:OUTPUTMODE INSNSTRING OUTPUTCONSTRAINT 2590: 0 INPUTS INPUTCONSTRAINTS)). 2591: and like this for multiple outputs: 2592: (PARALLEL [ 2593: (set OUTPUT0 (asm_operands:OUTPUTMODE INSNSTRING OUTPUTCONSTRAINT 2594: 0 INPUTS INPUTCONSTRAINTS)). 2595: (set OUTPUT1 (asm_operands:OUTPUTMODE1 INSNSTRING OUTPUTCONSTRAINT1 2596: 1 INPUTS INPUTCONSTRAINTS))]) 2597: 2598: * parse.y: Change parsing of `asm' to distinguish input and output 2599: operands. Separate them with colon; separate the string with colon. 2600: 2601: * stmt.c (expand_asm_operands): Receive inputs and outputs separately. 2602: Generate the new rtl format. 2603: 2604: * recog.c (asm_noperands, decode_asm_operands): New fns 2605: for extracting the operands and constraints from these insns. 2606: 2607: * final.c (final): Recognize and output the new rtl format 2608: using those new functions. 2609: 2610: * reload.c (find_reloads): Recognize and get constraints 2611: from the new rtl format using those new functions. 2612: New variable `operand_modes' holds the machine modes of the 2613: operands, obtained one way for ASM_OPERANDS insns and another 2614: for other insns. 2615: 2616: * rtl.c (note_stores): Calling convention 2617: is changed: the first arg FUNCTION now receives as its 2nd arg 2618: 1 if clobbering, 0 if setting. Used to be the CLOBBER or SET rtx. 2619: 2620: * local-alloc.c (reg_is_set): This fn is called from note_stores; 2621: change its arguments. 2622: 2623: * tm-m68k.h (FIXUP_FRAME_POINTER_ADDRESSES): 2624: Use frame_pointer_rtx to recognize intended frame-pointer refs 2625: and not recognize pseudo-regs that were allocated to the frame 2626: pointer register. 2627: 2628: * emit-rtl.c: All refs to frame pointer use a single rtx, in 2629: frame_pointer_rtx. Likewise arg_pointer_rtx for the arg pointer. 2630: If they are the same register, these are the same rtx. 2631: Initialize them in init_emit. 2632: * rtl.h: Declare these vars. 2633: 2634: * stmt.c (assign_parms, assign_stack_local): Use those rtx's. 2635: 2636: Sat Jan 23 00:32:10 1988 Richard Stallman (rms at frosted-flakes.ai.mit.edu) 2637: 2638: * reload.c (find_reloads): Don't combine_reloads if `&' constraint 2639: was used. 2640: 2641: * parse.y: Parse `asm' with operands. 2642: * stmt.c (expand_asm_params): New fn: generate an ASM_OPERANDS for 2643: `asm' with operands. 2644: * final.c (final): Output an ASM_OPERANDS insn-body. 2645: * regclass.c (regclass): Ignore ASM_OPERANDS, like ASM_INPUT. 2646: 2647: * reload.c (find_reloads): Handle reloading of ASM_OPERANDS. 2648: The number of operands can no longer be bounded. 2649: For example we can't always put the operands in recog_operands. 2650: 2651: New locals OPERANDS and OPERAND_LOCS point to alloca'd vectors of 2652: operands and their locations. New locals CONSTRAINTS and CONSTRAINTS1 2653: hold alloca'd vectors of constraints. 2654: 2655: Unfortunately this isn't enough; every vector with length 2656: MAX_RECOG_OPERANDS needs to be dynamically allocated. 2657: Would this be too slow? For now, a cheap "solution" is to delete 2658: any insn that has too many operands. 2659: 2660: * rtl.def: Delete VOLATILE, UNCHANGING and UNDESCRIBED. 2661: Add ASM_OPERANDS. 2662: 2663: * regclass.c (reg_class_record): Delete ref to UNCHANGING. 2664: * loop.c (invariant_p): 2665: * rtl.c (rtx_varies_p): 2666: 2667: * cccp.c: Define __VERSION__. 2668: 2669: * decl.c (shadow_tag): TYPE_NAME doesn't work to get the tag-name 2670: of a struct, so use new function lookup_tag_reverse. 2671: * decl.c (lookup_tag_reverse): Given a type, return its tag name. 2672: 2673: * symout.c (symout_source_file): Output one `struct source'. 2674: * symout.c (symout_lines): Output all of them, and the sourcevector. 2675: * gdbfiles.h: New file for communication between final.c and symout.c. 2676: 2677: * final.c (output_source_line): New arg WRITE_SYMBOLS says write 2678: new GDB-format linenumber info. Assigns a filenum to each source 2679: file name and keeps track of the correspondence. 2680: 2681: * cccp.c (do_include): Output the -M info after searching the dirs; 2682: include the actual dir name. Don't generate "./" for current dir. 2683: 2684: Fri Jan 22 04:10:10 1988 Richard Stallman (rms at frosted-flakes) 2685: 2686: * tm-news800.h: Delete override of INDIRECTABLE_1_ADDRESS. 2687: Output is faster if it doesn't use 32-bit displacements. 2688: 2689: * reload.c (combine_reloads): New function. 2690: If possible, find an input reload 2691: and an output reload that can be turned into one input-output reload. 2692: The old output-reload is marked as inoperative: reload_out 2693: and reload_in both zero. This is called from find_reloads. 2694: 2695: * reload1.c (reload, choose_reload_targets): Ignore inoperative 2696: reloads. 2697: 2698: * Print warnings for variables that could be clobbered by `longjmp'. 2699: * expr.c (expand_call): Generate a NOTE_INSN_SETJMP whenever 2700: `setjmp' or `_setjmp' is called. 2701: * flow.c (propagate_block): When NOTE_INSN_SETJMP is seen, 2702: record the live regs in `regs_live_at_setjmp'. 2703: * stmt.c (uninitialized_vars_warning): Warn about vars that have regs 2704: that are set more than once and are marked in `regs_live_at_setjmp'. 2705: Works through function `regno_clobbered_by_longjmp'. 2706: * rtl.h: Define NOTE_INSN_SETJMP. 2707: 2708: * genrecog.c (try_merge_2): When enforce_modes, keep all the 2709: alternatives segregated by modes and keep the modes in numerical order. 2710: * genrecog.c (write_tree): Make conditions for switch-on-modes 2711: know what difference enforce_mode makes. 2712: 2713: Thu Jan 21 00:12:35 1988 Richard Stallman (rms at frosted-flakes) 2714: 2715: * tm-ns32k.h: Use Stein's definitions of PRINT_OPERAND{,_ADDRESS}; 2716: move the Sequent definitions info tm-sequent.h. 2717: Handle %$ in both old and new PRINT_OPERAND. 2718: Define CPP_PREDEFINES. 2719: 2720: * ns32k.md: Merge some features from Jan Stein's port: 2721: strict_low_part insns, smart output of booleans with small 2722: constant args, acbd insns generalized for other increments. 2723: Use %$ wherever there is an explicit immediate. 2724: Fix shortcomings of adjsp insns: use adjspd in general, 2725: and use adjspb in all the cases that allow it. 2726: Don't bother explicitly clearing CC_REVERSED. 2727: For tstsf/tstdf, output the floating-zero constants 2728: using {f,d}const0_rtx. 2729: 2730: A problem still remains, which is that the Sequent and the 2731: other ns32k assembler syntax require different 2732: 2733: * typecheck.c (unary_complex_value): Use correct datatype for 2734: compound-exprs. 2735: 2736: * gen*.c (main): Use obstack_init instead of obstack_begin. 2737: 2738: * vax.md: define_peephole for andl3 x,y,z; extzv z,....,z 2739: 2740: * m68k.md (tstsi): Use cmpw instead of cmpl to test addr reg. 2741: 2742: * tm-m68k.h: Bugs for 68000 when frame size is over 64k. 2743: For FUNCTION_PROLOGUE, just subtract from sp instead of fp. 2744: For FUNCTION_EPILOGUE, must put the size into a0 and then 2745: all insns must be indexed by a0. And do this even on 68020. 2746: 2747: * tm-isi68.h: Similar changes. 2748: * tm-news800.h, tm-hp9k320.h: Similar changes. 2749: 2750: Wed Jan 20 04:38:21 1988 Richard Stallman (rms at frosted-flakes) 2751: 2752: * cccp.c (error_with_line): New function. 2753: Use it to report the "unterminated whatever" errors. 2754: 2755: * typecheck.c (build_unary_op): Recursive call had missing arg. 2756: 2757: * m68k.md (movhi): If MOTOROLA, the insn that fetches from a 2758: case-dispatch table now defines the LI label as .+2. 2759: * tm-news800.el, tm-hp9k320.h (PRINT_OPERAND_ADDRESS): 2760: Don't subtract 2 when outputting the address in that insn. 2761: 2762: Tue Jan 19 00:02:33 1988 Richard Stallman (rms at frosted-flakes) 2763: 2764: * cse.c (cse_basic_block): Abort if more qtys were used than allocated. 2765: 2766: Mon Jan 18 04:44:28 1988 Richard Stallman (rms at frosted-flakes) 2767: 2768: * cccp.c (special_symbol): tm_mon is origin-0, not origin-1. 2769: 2770: * final.c (output_asm_insn): If %LETTER with no digits, 2771: pass null pointer as the operand. 2772: 2773: * output-m68k.c (singlemove_string): Get rid of %e. 2774: 2775: * stmt.c (fixup_memory_subreg): Convert (SUBREG (MEM a)) to (MEM a'). 2776: * stmt.c (fixup_var_ref_1): Use that fn for operands of 2777: SIGN_EXTRACT and ZERO_EXTRACT, since (SUBREG:SI (REG:QI...)) 2778: could have turned into (SUBREG:SI (MEM:QI...)), which is unsafe. 2779: 2780: * rtl.c (debug_rtx): Print an rtx on stderr, for debugging. 2781: 2782: Sun Jan 17 04:37:20 1988 Richard Stallman (rms at frosted-flakes) 2783: 2784: * gcc.c: options -M* treated like -M. 2785: 2786: * stmt.c (pushcase): Do nothing if the case index has error_mark type. 2787: 2788: * expr.c (expand_increment): Don't use queue for post-inc on memory 2789: if the add insn requires register args. (Better code for RISCs.) 2790: 2791: Sat Jan 16 02:10:22 1988 Richard Stallman (rms at frosted-flakes) 2792: 2793: * ns32k.md: Change register_operand to general_operand. 2794: * ns32k.md (udivmoddisi4): Use match_dup where required. 2795: Comment it out because it can't accept two independent output args. 2796: 2797: Fri Jan 15 00:02:35 1988 Richard Stallman (rms at frosted-flakes) 2798: 2799: * toplev.c: Include sys/time.h only for BSD. For USG, use time.h. 2800: This is correct for HPUX; don't know about others. 2801: 2802: * gcc.c (execute): Eliminate `union wait'. Make `status' an int. 2803: * gcc.c (execute) [USG]: Use fork instead of vfork. 2804: 2805: * final.c (output_source_line): Use ASM_OUTPUT_SOURCE_{FILENAME,LINE} 2806: if they are defined. 2807: 2808: * tm-hp9k320.h: New name for tm-hpux.h. 2809: * tm-hp9k320.h (ASM_OUTPUT_LOCAL): Add 3rd arg to `lcomm' statements. 2810: * tm-hp9k320.h (ASM_OUTPUT_{DOUBLE,FLOAT}): Use `double' and `float'. 2811: * tm-hp9k320.h (CALL_USED_REGISTERS): Don't save any 68881 regs. 2812: * tm-hp9k320.h (CPP_PREDEFINES): different names defined. 2813: * tm-hp9k320.h (HPUX_ASM, NO_DBX_FORMAT, ASM_SPEC): define these. 2814: * tm-hp9k320.h (ASM_OUTPUT_OPCODE): Convert `ftst' to `ftest'. 2815: * tm-hp9k320.h: Define ASM_OUTPUT_SOURCE_{FILENAME,LINE}. 2816: 2817: * m68k.md: Rename `hpux' conditionals to `HPUX_ASM'. 2818: * m68k.md: Reverse `fcmp' args if HPUX_ASM. 2819: 2820: * cccp.c (print_deps): 2 means give all files, 1 means only user files. 2821: * cccp.c (do_include): Support that. 2822: * cccp.c (main): -MM sets 1, -M alone sets 2. 2823: * cccp.c (main): Give fatal error if I/O error in writing. 2824: 2825: * toplev.c (fatal_io_error): Report I/O error on given filename, 2826: and exit. 2827: 2828: * toplev.c (compile_file): Detect error writing asm_out_file. 2829: Always put asm file's name in asm_file_name for err msg. 2830: * symout.c (symout_finish): Detect error writing symfile. 2831: * symout.c (symout_init): Save filename in symfile_name for err msg. 2832: 2833: * gen*.c: Return 1 if ferror (stdout)--in case disk is full. 2834: 2835: * local-alloc.c (block_alloc): Don't crash if 1st rtx 2836: in a PARALLEL is not a SET. 2837: 2838: * tm-m68k.h, tm-news800.h (PRINT_OPERAND). Eliminate code `%e'. 2839: * m68k.md: Change `%e' to `e' everywhere. 2840: * tm-hpux.h (ASM_OUTPUT_OPCODE): Output `move' as `mov'. 2841: 2842: * tm-m68k.h, tm-news800.h, tm-hpux.h (PRINT_OPERAND): 2843: New code `%!' is output as the name for the cc register. 2844: * m68k.md (insns that use andi to ccr): Use `%!' to avoid 2845: conditionals. 2846: 2847: * cse.c: Record in qty_const_insn the insn that stored the 2848: constant value of a qty. When making a REG_WAS_0 note, 2849: store in it the insn that established the value 0. 2850: 2851: * vax.md (movsi): When checking a REG_WAS_0 note, 2852: verify that the insn it points to hasn't been deleted or made a NOTE. 2853: 2854: Thu Jan 14 00:01:35 1988 Richard Stallman (rms at frosted-flakes) 2855: 2856: * toplev.c: Eliminate error_with_line and warning_with_line. 2857: * parse.y, decl.c: Change remaining calls to those two. 2858: 2859: * tree.c (get_unwidened, get_narrower): To see if a COMPONENT_REF 2860: is unsigned, look at the FIELD_DECL, not at the COMPONENT_REF. 2861: 2862: * rtl.c (print_rtx): Print /v for the `volatil' bit. 2863: * expr.c (expand_assignment expand_expr): If handling a COMPONENT_REF, 2864: note whether it is volatile. 2865: 2866: * fold-const.c (fold): a call to split_tree missed an argument. 2867: 2868: * flow.c (volatile_refs_p): Scan an rtx for volatile mem refs. 2869: * flow.c (life_analysis): Record in INSN_VOLATILE which insns 2870: have any volatile mem refs. 2871: * flow.c (mark_used_regs): Always mark an insn with volatile mem refs. 2872: Always pass INSN as an arg. New arg FINAL now says whether 2873: this is the last time scanning. 2874: * flow.c (propagate_block): Don't delete insns with volatile mem refs. 2875: 2876: * flow.c: Remove all refs to `obey_regdecls'. 2877: Calling this with -noreg just doesn't help -W. 2878: 2879: Wed Jan 13 01:13:07 1988 Richard Stallman (rms at frosted-flakes) 2880: 2881: * decl.c (finish_decl): Error if auto var's size isn't known. 2882: Change type to error_mark_node to avoid crash if the var 2883: is used in an expression, since it has no DECL_RTL. 2884: 2885: * output-m68k.c (output_move_const_single): % -> %% for sprintf. 2886: 2887: * parse.y (yylex): Store token_buffer properly after ellipsis. 2888: 2889: * decl.c (duplicate_decls): Don't call layout_decl 2890: for FUNCTION_DECL or TYPE_DECL. 2891: 2892: * toplev.c (warning_with_decl): New warning function with decl as arg. 2893: * (error_with_decl): similar. 2894: 2895: * decl.c: Replace most `yylinerror' calls with `error_with_decl'. 2896: 2897: * decl.c (build_struct): Reform code to detect erroneous bit-fields. 2898: All such errors are now detected here. 2899: Promote bit-fields to int if appropriate. 2900: If traditional, make all int bit-fields unsigned. 2901: Set DECL_ALIGN for members that are not bit-fields. 2902: 2903: * decl.c (grokfield): Don't set DECL_ALIGN here. 2904: 2905: * stor-layout.c (layout_decl): Don't promote the type of a bit-field. 2906: Use TREE_PACKED to distinguish a bit-field. 2907: Don't check the width because build_struct did that. 2908: 2909: * m68k.md (cmpm): Reject if either operand (address) is a constant. 2910: 2911: Tue Jan 12 15:11:20 1988 Richard Stallman (rms at frosted-flakes) 2912: 2913: * cse.c (canon_reg): Never replace ANY hard reg from reg_rtx 2914: because that could alter the machine mode. 2915: 2916: * tm-news800.h: Redefine INDIRECTABLE_1_ADDRESS only if MOTOROLA. 2917: 2918: Mon Jan 11 13:15:45 1988 Richard Stallman (rms at frosted-flakes) 2919: 2920: * jump.c (follow_jumps): If we find a cycle, make it a jump to self. 2921: 2922: * cse.c (predecide_loop_entry): Give up if chase more than 10 jumps. 2923: 2924: Sun Jan 10 14:52:42 1988 Richard Stallman (rms at frosted-flakes) 2925: 2926: * reload1.c (reload): basic_block_needs (new vector) gets 1 2927: for each basic block that needs a reload. 2928: * reload1.c (spill_hard_reg): Don't spill pseudos that are 2929: confined to a basic block which has no need for any reloads. 2930: * reload1.c (reload): Each cycle that any element of basic_block_needs 2931: changes from 0 to 1, must re-spill all previously spilled regs. 2932: 2933: * regclass.c (record_address_regs): 2934: Skip the charging of ICOST if it is 0. 2935: 2936: * flags.h, toplev.c: New flag -fvolatile. 2937: * typecheck.c (build_indirect_ref): If flag_volatile, 2938: every INDIRECT_REF is marked with TREE_THIS_VOLATILE. 2939: 2940: * fold-const.c (fold): Test in TRUTH_NOT_EXPR case was backward. 2941: Also result type is always `int'. 2942: 2943: Sat Jan 9 04:16:11 1988 Richard Stallman (rms at rice-krispies) 2944: 2945: * flags.h (flag_traditional): New flag. 2946: * toplev.c: recognize -ftraditional and -traditional. 2947: * parse.y (yylex): If flag_traditional, don't recognize 2948: `signed', `const' or `volatile'. 2949: 2950: * decl.c (pushdecl): If flag_traditional, any extern decl 2951: takes effect at top level. 2952: 2953: * tree.c (lvalue_or_else): New 2nd arg for use in error message. 2954: * typecheck.c: All callers pass 2nd arg. 2955: 2956: * global-alloc.c: allocno_preferred_reg can specify a preferred 2957: hard reg for each allocno. If so, try it first (new call to find_reg). 2958: 2959: * global-alloc.c (find_reg): New arg PREFREG specifies reg to try 2960: first. 2961: 2962: * decl.c (build_struct): if :0 bit field at the end, round the 2963: structure size to multiple of EMPTY_FIELD_BOUNDARY. 2964: 2965: * cse.c (make_regs_eqv): Was testing for reg_next_eqv[lastr] == 0 2966: and should be == -1. 2967: 2968: * reload1.c (reload_as_needed): Fix invalid optimization deleting 2969: the previous store into a pseudo-reg that feeds an input-reload. 2970: It is not safe because a later insn may look in the pseudo's stack 2971: slot for the value. Delete the store only if we can eliminate the 2972: pseudo entirely or if the current insn stores a new value there. 2973: Also verify that reload_in[j] is a REG. 2974: 2975: * reload1.c (reload_as_needed): When doing an input reload from a 2976: pseudo that was stored by the previous insn (not as a reload), 2977: redirect the previous insn into the reload register, if this lets 2978: us eliminate the pseudo entirely. 2979: 2980: * reload1.c (reload_as_needed): In both of the above cases, it's 2981: impossible to prevent a stack slot since one was already assigned, 2982: so don't alter reg_n_refs. Instead, set reg_renumber to record 2983: that this pseudo did get a hard reg. 2984: 2985: * stmt.c: Set `volatil' in pseudo-regs for the user's variables. 2986: 2987: * jump.c (delete_insn): Do nothing if insn already deleted. 2988: 2989: * tm-sun{2,3}.h: #define STRUCTURE_SIZE_BOUNDARY 2 2990: for compatibility with Sun PCC. Note that 4.3 vax PCC 2991: does not want this. 2992: 2993: * fold-const.c: Replace truncate_unsigned with force_fit_type 2994: which truncates unsigned types and sign-extends signed types. 2995: 2996: * expr.c (do_jump): emit_queue before outputting the jump insns 2997: that use the comparison. 2998: 2999: * stmt.c: Error message for any goto that jumps into a 3000: binding contour that restores a stack level. 3001: 3002: TREE_PACKED (label) means label was defined inside 3003: such a binding contour that is now exited. Using such a label 3004: is an error. 3005: 3006: TREE_ADDRESSABLE (label) means label was used from a place 3007: outside all such binding contours. If this is 1 when 3008: TREE_PACKED is set to 1, it is an error. 3009: 3010: Any other invalid goto must have a fixup. fixup_gotos detects 3011: such invalid gotos. fixup_gotos takes a second arg, which 3012: is the first insn of the contour now being exited. 3013: 3014: * GNU C version 1.17. 3015: 3016: Local Variables: 3017: mode: indented-text 3018: left-margin: 8 3019: fill-column: 76 3020: version-control: never 3021: End:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.