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