1 2005-03-05 Kazu Hirata <kazu@cs.umass.edu>
3 * cselib.c (reg_values, reg_values_size): Make them static.
5 * cse.c (cse_reg_info_table): Make it static.
7 * fold-const.c (fold_unary): Use build1 instead of copy_node.
9 2005-03-06 Zdenek Dvorak <dvorakz@suse.cz>
11 * cse.c (find_best_addr): Use canon_for_address.
13 2005-03-06 Kazu Hirata <kazu@cs.umass.edu>
15 * cse.c (fold_rtx_subreg, fold_rtx_mem): New.
16 (fold_rtx): Call fold_rtx_subreg and fold_rtx_mem to handle
17 SUBREG and MEM, respectively.
19 * fold-const.c (fold_binary): Use code instead of t.
21 * fold-const.c (optimize_minmax_comparison): Take decomposed
22 arguments code, type, op0, and op1 instead of t.
23 (fold_binary): Update a call to optimize_minmax_comparison.
25 * fold-const.c (fold_range_test): Take decomposed arguments
26 code, type, op0, and op1 instead of t.
27 (fold_binary): Update a call to fold_range_test.
29 * fold-const.c (fold_binary_op_with_conditional_arg): Take
30 decomposed arguments code, type, op0, and op1 instead of t.
31 (fold_binary): Update a call to fold_range_test.
33 2005-03-06 Kazu Hirata <kazu@cs.umass.edu>
35 * fold-const.c (fold_binary): Avoid directly using the original
36 expression t as much as possible.
38 2005-03-05 Kazu Hirata <kazu@cs.umass.edu>
40 * c-semantics.c (build_stmt): Use TYPE_P instead of
41 IS_NON_TYPE_CODE_CLASS.
42 * tree.h (IS_NON_TYPE_CODE_CLASS): Remove.
43 (NON_TYPE_CHECK): Use TYPE_P instead of
44 IS_NON_TYPE_CODE_CLASS.
46 * fold-const.c (fold): Remove handling of binary expressions.
48 2005-03-05 James A. Morrison <phython@gcc.gnu.org>
50 * doc/c-tree.texi: Wrap comments in @r{}.
51 * doc/cpp.texi: Likewise.
52 * doc/cppinternals.texi: Likewise.
53 * doc/extend.texi: Likewise.
54 * doc/md.texi: Likewise.
55 * doc/objc.texi: Likewise.
56 * doc/sourcebuild.texi: Likewise.
57 * doc/tm.texi: Likewise.
60 2005-03-05 Kazu Hirata <kazu@cs.umass.edu>
62 * predict.c (apply_return_prediction): Standardize PHI chain
64 * tree-ssa.c (ssa_redirect_edge): Likewise.
66 * genattrtab.c, genemit.c, genoutput.c, genrecog.c,
67 gensupport.c, jump.c, tree-phinodes.c, unwind-dw2-fde-glibc.c:
70 * tree-phinodes.c (remove_phi_node): Drop the last argument.
71 * tree-flow.h: Adjust the prototype for remove_phi_node.
72 * lambda-code.c (perfect_nestify): Adjust a call to
75 (remove_phi_nodes_and_edges_for_unreachable_block): Likewise.
76 * tree-outof-ssa.c (eliminate_virtual_phis, remove_ssa_form):
78 * tree-ssa-dce.c (remove_dead_phis): Likewise.
79 * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
80 * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
81 * tree-ssa.c (kill_redundant_phi_nodes): Likewise.
83 * combine.c (simplify_and_const_int): Use gen_int_mode instead
84 of GEN_INT (trunc_int_for_mode (...)).
85 * loop-iv.c (iv_number_of_iterations): Likewise.
86 * postreload.c (reload_cse_move2add): Likewise.
87 * simplify-rtx.c (simplify_const_unary_operation,
88 simplify_const_binary_operation): Likewise.
89 * stor-layout.c (get_mode_bounds): Likewise.
91 * fold-const.c (fold_binary): New.
92 (fold): Call fold_binary on binary expressions.
94 2005-03-05 Richard Sandiford <rsandifo@redhat.com>
96 * doc/invoke.texi: Document new MIPS -msym32 and -mno-sym32 options.
97 * config/mips/mips.h (MASK_SYM32, TARGET_SYM32): New macros.
98 (TARGET_SWITCHES): Add -msym32 and -mno-sym32.
99 (ABI_HAS_64BIT_SYMBOLS): Set to false if TARGET_SYM32.
100 (ASM_SPEC): Pass down -msym32 and -mno-sym32.
102 2005-03-04 Devang Patel <dpatel@apple.com>
104 PR tree-optimization/18815
105 * tree-if-conv.c (combine_blocks): Adjust loop header edges for
106 loops with zero exit edges.
108 2005-03-04 Devang Patel <dpatel@apple.com>
110 * doc/invoke.texi: Remove reference to webpage that does not exist.
112 2005-03-04 John David Anglin <dave.danglin@nrc-cnrc.gc.ca>
113 Joseph S. Myers <joseph@codesourcery.com>
116 * pa/elf.h, pa64-hpux.h, som.h (ASM_OUTPUT_EXTERNAL_REAL): Define.
117 (ASM_OUTPUT_EXTERNAL): Call pa_hpux_asm_output_external.
118 * pa-protos.h (pa_hpux_asm_output_external): Add prototype.
119 * pa.c (get_plabel): Change argument to symbol_ref. Call
120 maybe_get_identifier instead of get_identifier.
121 (pa_hpux_asm_output_external, pa_hpux_file_end): New functions.
122 (struct deferred_plabel): Replace name field with symbol field.
123 (TARGET_ASM_FILE_END): Define as pa_hpux_file_end if
124 ASM_OUTPUT_EXTERNAL_REAL is defined.
125 (output_global_address): Use output_addr_const for output of all
127 (output_deferred_plabels): Use symbol_ref instead of name for address
129 * pa.h (SYMBOL_FLAG_REFERENCED, SYMBOL_REF_REFERENCED_P,
130 ASM_OUTPUT_SYMBOL_REF): New macros.
131 * som.h (ASM_OUTPUT_EXTERNAL_LIBCALL): Use assemble_name_raw. Update
133 (ASM_WEAKEN_LABEL): Use targetm.asm_out.globalize_label to globalize
136 2005-03-05 Joseph S. Myers <joseph@codesourcery.com>
138 * config.gcc (hppa*64*-*-hpux11*): Use pa/pa-hpux1111.h for
139 *-*-hpux11.[1-9]*, not just for *-*-hpux11.11.
141 2005-03-04 Jeff Law <law@redhat.com>
143 * basic-block.h (rediscover_loops_after_threading): Declare.
144 * tree-ssa-dom.c: Include cfgloop.h.
145 (tree_ssa_dominator_optimize): Discover loops and some basic
146 properties. Remove forwarder blocks recreated by loop header
147 canonicalization. Also mark backedges in the CFG.
148 * tree-ssa-threadupdate.c: Include cfgloop.h
149 (rediscover_loops_after_threading): Define.
150 (struct local_info): New field, JUMP_THREADED.
151 (prune_undesirable_thread_requests): New function.
152 (redirect_edges): Clear EDGE_ABNORMAL. If edges were threaded
153 then record that fact for the callers of redirct_edges.
154 (thread_block): If BB has incoming backedges, then call
155 prune_undesirable_thraed_requests. Note when we are
156 going to have to rediscover loop information. Return a
157 boolean indicating if any jumps were threaded.
158 (thread_through_all_blocks): Bubble up boolean indicating
159 if any jumps were threaded.
160 * Makefile.in (tree-ssa-dom.o): Depend on cfgloop.h
161 (tree-ssa-threadupdate.o): Similarly.
163 2005-03-04 Kazu Hirata <kazu@cs.umass.edu>
165 * fold-const.c (fold_ternary): Unroll the "for" loop to
168 2005-03-04 Andrew Haley <aph@redhat.com>
170 * unwind-dw2-fde-glibc.c (struct
171 unw_eh_callback_data.check_cache): New field.
172 (frame_hdr_cache): New.
173 (_Unwind_IteratePhdrCallback): Add ext_dl_phdr_info.
174 Cache frame header info.
176 2005-03-04 Richard Sandiford <rsandifo@redhat.com>
178 * rtl.h (copy_rtx_ptr_loc, print_rtx_ptr_loc, join_c_conditions)
179 (print_c_condition): Declare.
180 * read-rtl.c (ptr_loc): New structure.
181 (ptr_locs, ptr_loc_obstack, joined_conditions)
182 (joined_conditions_obstack): New variables.
183 (leading_ptr_hash, leading_ptr_eq_p, set_rtx_ptr_loc)
184 (get_rtx_ptr_loc, copy_rtx_ptr_loc, print_rtx_ptr_loc)
185 (join_c_conditions, print_c_condition): New functions.
186 (apply_macro_to_string): Associate the new string with the same
187 source location as the old one.
188 (add_condition_to_string): Use join_c_conditions.
189 (read_string): Use set_rtx_ptr_loc to record a filename and line
190 number for the string.
191 (read_rtx): Initialize the new variables above.
192 * genattrtab.c (write_test_expr, write_attr_value): Use
194 * genconditions.c (write_header): Don't define MAYBE_EVAL. Move its
195 comment above the GCC_VERSION check.
196 (write_one_condition): Use print_rtx_ptr_loc and print_c_condition.
197 Inline the definition of MAYBE_EVAL.
198 * genemit.c (gen_expand, gen_split): Use print_rtx_ptr_loc.
199 * genoutput.c (process_template): Likewise.
200 * genpreds.c (write_predicate_subfunction): Likewise.
201 (write_predicate_expr): Use print_c_condition.
202 * genrecog.c (write_cond): Likewise.
203 * gensupport.c (process_rtx): Use join_c_conditions to join the
204 conditions of a define_insn_and_split. Record a source location
205 for the string after the "&&".
206 (alter_test_for_insn): Use join_c_conditions.
208 2005-03-04 Andrew Pinski <pinskia@physics.uc.edu>
211 2005-03-03 James A. Morrison <phython@gcc.gnu.org>
212 PR tree-optimization/15784
213 * fold-const.c (fold): Fold ~A + 1 to -1. Fold -A - 1
216 2005-03-04 Ben Elliston <bje@au.ibm.com>
218 * gcc.c (option_map): Add --coverage.
219 (LINK_COMMAND_SPEC): Pass -lgcov for `coverage'.
220 (cc1_options): Pass -fprofile-arcs -ftest-coverage for `coverage'.
221 * config/darwin.h: Pass -lgcov for `coverage'.
222 * doc/invoke.texi (Debugging Options): Document --coverage.
224 2005-03-04 Kazu Hirata <kazu@cs.umass.edu>
226 * gcse.c (bypass_block): Use find_edge wherever possible.
228 2005-03-03 Daniel Berlin <dberlin@dbrelin.org>
232 * c-opts.c (c_common_parse_file): Call start_source_file
233 and end_source_file at the approriate times.
235 * dwarf2out.c (dwarf2out_finish): Don't auto-end
236 the main file, it will be done for us now.
238 2005-03-04 Kazu Hirata <kazu@cs.umass.edu>
240 * fold-const.c (fold_ternary): New.
241 (fold): Call fold_ternary on ternary expressions. Remove
242 handling of ternary expressions.
244 2005-03-03 James A. Morrison <phython@gcc.gnu.org>
246 PR tree-optimization/15784
247 * fold-const.c (fold): Fold ~A + 1 to -1. Fold -A - 1
250 2005-03-03 David Edelsohn <edelsohn@gnu.org>
252 * config/rs6000/predicates.md (branch_comparison_operator):
253 Convert from C block to conditional format.
255 2005-03-03 Jan Hubicka <jh@suse.cz>
257 * tree-dfa.c (add_referenced_var): Don't walk initializer of external
258 and non-constant public variables.
260 2005-03-03 Kazu Hirata <kazu@cs.umass.edu>
262 * tree-cfg.c (stmt_starts_bb_p): Clean up by replacing code
265 * cfgexpand.c (construct_exit_block): Use EDGE_PRED instead of
268 * tree-phinodes.c (remove_phi_node): Clean up by factoring out
269 calls to release_ssa_name and release_phi_node.
271 * fold-const.c (fold): Remove handling of unary expressions.
273 * fold-const.c (fold_unary): Avoid directly using the original
274 expression t as much as possible.
276 2005-03-03 Roger Sayle <roger@eyesopen.com>
277 Andrew Pinski <pinskia@physics.uc.edu>
279 * jump.c (redirect_exp_1): If nlabel is a NULL pointer create a
280 RETURN rtx, and not a LABEL_REF containing a NULL pointer.
282 2005-03-03 Hans-Peter Nilsson <hp@axis.com>
284 Describe special registers SRP and MOF as allocatable registers.
285 * config/cris/cris.c (cris_md_asm_clobbers): New function.
286 (TARGET_MD_ASM_CLOBBERS): Define to cris_md_asm_clobbers.
287 (cris_conditional_register_usage): Enable CRIS_MOF_REGNUM if
288 TARGET_HAS_MUL_INSNS.
289 (cris_print_operand) <case 'd'>: New case.
290 <case REG>: Allow CRIS_MOF_REGNUM and CRIS_SRP_REGNUM.
291 * config/cris/cris.h (CRIS_PC_REGNUM, CRIS_SRP_REGNUM): Don't
293 (FIRST_PSEUDO_REGISTER, FIXED_REGISTERS, CALL_USED_REGISTERS)
294 (REG_ALLOC_ORDER): Update for MOF.
295 (enum reg_class): New members MOF_REGS, GENERAL_REGS and
297 (GENERAL_REGS): No longer a define of ALL_REGS.
298 (REGNO_REG_CLASS, REG_CLASS_CONTENTS, REG_CLASS_NAMES)
299 (PREFERRED_RELOAD_CLASS, REGISTER_NAMES, DBX_REGISTER_NUMBER):
301 (CRIS_SPECIAL_REGS_CONTENTS): New macro.
302 (REG_CLASS_FROM_LETTER): Allocate 'h' and 'x'.
303 (SECONDARY_RELOAD_CLASS): Define.
304 (STACK_POINTER_REGNUM): Define as CRIS_SP_REGNUM.
305 (FRAME_POINTER_REGNUM): Define as CRIS_FP_REGNUM.
306 (ARG_POINTER_REGNUM): Define as CRIS_AP_REGNUM.
307 (STATIC_CHAIN_REGNUM): Define as CRIS_STATIC_CHAIN_REGNUM.
308 (REGISTER_MOVE_COST): Define.
309 (PIC_OFFSET_TABLE_REGNUM): Define in terms of CRIS_GOT_REGNUM.
310 * config/cris/cris.md (CRIS_GOT_REGNUM, CRIS_STATIC_CHAIN_REGNUM)
311 (CRIS_FP_REGNUM, CRIS_SP_REGNUM, CRIS_SRP_REGNUM, CRIS_AP_REGNUM)
312 (CRIS_MOF_REGNUM): New define_constants.
313 ("*movsi_internal", "movhi", "movqi", "movsf"): Add alternatives for
315 ("reload_inhi", "reload_outhi", "reload_inqi", "reload_outqi"):
317 ("umulhisi3", "umulqihi3", "mulsi3", "mulqihi3", "mulhisi3")
318 ("mulsidi3", "umulsidi3", "smulsi3_highpart", "umulsi3_highpart"):
319 Adjust for MOF being properly described as a register.
320 (indir_to_reg_split): Name this split. Conditionalize on the
321 destination register being a general register.
322 (movei): Conditionalize on on operands 0 and 1 having the same
325 2005-03-03 Alan Modra <amodra@bigpond.net.au>
328 * config/rs6000/rs6000.c (rs6000_override_options): Don't allow
329 -mcpu to override any other explicitly given flags.
331 2005-03-02 J"orn Rennecke <joern.rennecke@st.com>
333 * recog.c (verify_changes, confirm_change_group): New functions,
334 broken out of apply_change_group.
335 (apply_change_group): Use them.
336 * recog.h (verify_change, confirm_change_group): Declare.
337 * rtl.h (redirect_jump_2): Declare.
338 * jump.c (redirect_exp, invert_exp): Delete.
339 (invert_exp_1): Take second parameter. Return value. Changed caller.
340 (redirect_jump_2): New function, broken out of redirect_jump.
341 (redirect_jump): Use redirect_jump_1 and redirect_jump_2.
342 (invert_jump): Use invert_jump_1 and redirect_jump_2.
343 * ifcvt.c (dead_or_predicable): Use redirect_jump_2.
345 2005-03-02 Geoffrey Keating <geoffk@apple.com>
347 * varasm.c (named_section): Use xstrdup rather than doing it by
350 * config/darwin8.h (LIB_SPEC): Switch -lmx and -lSystem.
352 2005-03-02 Devang Patel <dpatel@apple.com>
354 Undo PR tree-optimization/18815 fix.
356 2005-03-02 Devang Patel <dpatel@apple.com>
358 PR tree-optimization/18815
359 * tree-if-conv.c (combine_blocks): Adjust loop header edges for
360 loops with zero exit edges.
362 2005-03-02 Kazu Hirata <kazu@cs.umass.edu>
364 * cfg.c (connect_src, connect_dest, disconnect_src,
365 disconnct_dest): New.
366 (unchecked_make_edge, remove_edge, redirect_edge_succ,
367 redirect_edge_pred): Use the new functions.
369 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Call
370 free_dominance_info only when needed.
372 2005-03-02 David Edelsohn <edelsohn@gnu.org>
375 * config/rs6000/predicates.md (reg_or_cint64_operand): Fix typo.
376 (reg_or_sub_cint64_operand): Same.
378 2005-03-02 Jeff Law <law@redhat.com>
380 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Fix setting of
381 CFG_ALTERED in the main DOM iteration loop.
383 2005-03-02 Mark Mitchell <mark@codesourcery.com>
386 * varasm.c (initializer_constant_valid_p): Allow conversions
387 between OFFSET_TYPEs. Tidy.
389 2005-03-02 Hans-Peter Nilsson <hp@axis.com>
391 * config/cris/cris.md ("return"): Remove epilogue delay list
394 2005-03-02 Daniel Jacobowitz <dan@codesourcery.com>
396 * config/arm/linux-elf.h (ARM_FUNCTION_PROFILER): Do not use (PLT)
398 * config/arm/netbsd-elf.h (ARM_FUNCTION_PROFILER): Likewise.
400 2005-03-02 Kazu Hirata <kazu@cs.umass.edu>
402 * cfgloop.h, cfgloopanal.c, cfgloopmanip.c, conflict.c,
403 loop-init.c, loop-unroll.c, print-tree.c, reg-notes.def,
404 config/m68k/m68k.c, config/mips/mips.h,
405 config/rs6000/rs6000-protos.h, doc/contrib.texi,
406 doc/include/gcc-common.texi: Update copyright.
408 PR middle-end/18029 and PR middle-end/18030
409 * expr.c (optimize_bitfield_assignment_op): Add a special case
410 to handle BIT_IOR_EXPR and BIT_XOR_EXPR.
412 * fold-const.c (fold_unary): New.
413 (fold): Call fold_unary on unary expressions.
415 2005-03-02 Richard Guenther <rguenth@gcc.gnu.org>
417 * cgraph.h (struct cgraph_edge): Add prev_caller and
419 (cgraph_node_remove_callees): Export.
420 * cgraph.c (cgraph_create_edge): Initialize prev_caller
422 (cgraph_edge_remove_callee): New function.
423 (cgraph_edge_remove_caller): Likewise.
424 (cgraph_remove_edge): Use.
425 (cgraph_redirect_edge_callee): Likewise.
426 (cgraph_node_remove_callees): New function.
427 (cgraph_node_remove_callers): Likewise.
428 (cgraph_remove_node): Use.
429 * tree-optimize.c (tree_rest_of_compilation): Use
430 cgraph_node_remove_callees instead of manual loop.
431 * cgraphunit.c (cgraph_finalize_function): Likewise.
432 (cgraph_expand_function): Likewise.
433 (cgraph_remove_unreachable_nodes): Likewise.
435 2005-03-02 Joseph S. Myers <joseph@codesourcery.com>
438 * c-tree.h (undeclared_variable, build_external_ref): Add extra
440 * c-decl.c (undeclared_variable): Take location as argument.
441 * c-typeck.c (build_external_ref): Likewise.
442 * c-parser.c (c_parser_postfix_expression): Pass location of
443 identifier to build_external_ref.
445 2005-03-01 David Edelsohn <edelsohn@gnu.org>
447 * config/rs6000/rs6000.md (cceq splitter): Use operand mode, not
448 CCEQ mode for branch_positive_comparison_operator test.
449 * config/rs6000/predicates (branch_comparison_operator): Revert to
451 (scc_comparison_operator): Same.
452 (branch_positive_comparison_operator): Same.
454 2005-03-01 Hans-Peter Nilsson <hp@axis.com>
456 * config/cris/cris.c (cris_eligible_for_epilogue_delay)
457 (cris_delay_slots_for_epilogue): Remove.
458 (save_last): Move into cris_target_asm_function_epilogue.
459 (cris_target_asm_function_epilogue): Remove tests for file being
461 * config/cris/cris-protos.h (cris_eligible_for_epilogue_delay)
462 (cris_delay_slots_for_epilogue): Remove prototypes.
463 * config/cris/cris.h (DELAY_SLOTS_FOR_EPILOGUE)
464 (ELIGIBLE_FOR_EPILOGUE_DELAY): Do not define.
466 2005-03-01 David Edelsohn <edelsohn@gnu.org>
468 * config/rs6000/predicates.md (branch_comparison_operator): Change
469 to define_special_predicate.
470 (scc_comparison_operator): Same.
471 (branch_positive_comparison_operator): Same.
473 2005-03-01 Daniel Berlin <dberlin@dberlin.org>
475 * Makefile.in (tree-ssa-sink.o): New.
476 (OBJS-common): Add tree-ssa-sink.o.
477 * common.opt: Add -ftree-sink
478 * opts.c (decode_options): flag_tree_sink is set at O1 or higher.
479 * timevar.def (TV_TREE_SINK): new timevar.
480 * tree-flow.h (is_hidden_global_store): Prototype.
481 * tree-optimize.c (init_tree_optimization_passes): Add
483 * tree-pass.h (pass_sink_code): New.
484 * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Move checking
485 for non-obvious global store store to is_hidden_global_store, and
486 call that new function.
487 * tree-ssa-sink.c: New file.
488 * doc/invoke.texi: Document -fdump-tree-sink and -ftree-sink.
489 * doc/passes.texi: Document forward store motion.
490 * testsuite/gcc.dg/tree-ssa/ssa-sink-1.c: New test
491 * testsuite/gcc.dg/tree-ssa/ssa-sink-2.c: New test
492 * testsuite/gcc.dg/tree-ssa/ssa-sink-3.c: New test
493 * testsuite/gcc.dg/tree-ssa/ssa-sink-4.c: New test
495 2005-03-01 Per Bothner <per@bothner.com>
497 * diagnostic.c (diagnostic_build_prefix): If USE_MAPPED_LOCATION
498 and we have a non-zero column-number, add it to the message.
499 Also factor out the diagnostic_kind_text.
501 2005-03-01 Zdenek Dvorak <dvorakz@suse.cz>
503 * cfgloop.c (flow_loop_entry_edges_find, flow_loop_exit_edges_find,
504 flow_loop_pre_header_scan, flow_loop_pre_header_find,
505 flow_loop_scan): Removed.
506 (flow_loop_dump): Do not dump removed fields.
507 (flow_loop_free): Do not free removed fields.
508 (flow_loops_find): Flags argument removed. Do not call flow_loop_scan.
509 (loop_exit_edge_p): New function.
510 * cfgloop.h (struct loop): Removed fields pre_header, pre_header_edges,
511 num_pre_header_edges, entry_edges, num_entries, exit_edges,
512 num_exits, exits_doms.
513 (LOOP_TREE, LOOP_PRE_HEADER, LOOP_ENTRY_EDGES, LOOP_EXIT_EDGES,
514 LOOP_EDGES, LOOP_ALL): Removed.
515 (flow_loop_scan): Declaration removed.
516 (loop_exit_edge_p, mark_loop_exit_edges): Declare.
517 * cfgloopmanip.c (create_loop_notes): Do not pass flags to
519 * ifcvt.c (mark_loop_exit_edges): Moved to cfgloopanal.c.
520 (if_convert): Call flow_loops_find and flow_loops_free
521 when calling mark_loop_exit_edges.
522 * cfgloopanal.c (mark_loop_exit_edges): Moved from
523 ifcvt.c. Removed the flow_loops_find, flow_loops_free and
524 free_dominance_info calls.
525 * loop-init.c (flow_loops_find): Ditto.
526 * passes.c (rest_of_handle_branch_prob): Ditto.
527 * lambda-code.c (perfect_nestify): Do not call flow_loops_find.
528 * loop-unroll.c (analyze_insns_in_loop): Do not use
530 * predict.c (predict_loops): Do not call flow_loop_scan.
531 Use get_loop_exit_edges.
532 (tree_estimate_probability): Do not pass flags to flow_loops_find.
533 * tree-if-conv.c (bb_with_exit_edge_p): Take loop as argument.
534 Do not use EDGE_LOOP_EXIT.
535 (tree_if_convert_cond_expr, if_convertible_modify_expr_p): Pass loop
536 to bb_with_exit_edge_p.
537 (if_convertible_loop_p): Do not call flow_loop_scan. Use
538 loop->single_exit. Do not use EDGE_LOOP_EXIT. Pass loop
539 to bb_with_exit_edge_p.
540 (combine_blocks): Pass loop to bb_with_exit_edge_p. Do not use
542 * tree-loop-linear.c (linear_transform_loops): Do not call
543 flow_loop_scan. Use loop->single_exit.
544 * tree-vect-analyze.c (vect_analyze_operations): Use loop->single_exit.
545 (vect_analyze_loop_form): Do not call flow_loop_scan.
546 * tree-vect-transform.c (vect_update_ivs_after_vectorizer): Use
548 (vect_do_peeling_for_loop_bound): Use loop_preheader_edge and
550 * tree-vectorizer.c (slpeel_update_phis_for_duplicate_loop,
551 slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
552 slpeel_tree_duplicate_loop_to_edge_cfg,
553 slpeel_verify_cfg_after_peeling, slpeel_tree_peel_loop_to_edge):
554 Use loop_preheader_edge and loop->single_exit. Do not call
557 2005-03-01 Nick Clifton <nickc@redhat.com>
559 * config/arm/arm.c (thumb_find_work_register): Check all of the
560 argument registers to see if they are free, and a couple of
561 special cases where the last argument register but can be proved
562 to be available during the function's prologue.
563 (print_multi_reg, arm_compute_save_reg0_reg12_mask,
564 output_return_instruction, emit_multi_reg_push, thumb_pushpop,
565 thumb_unexpanded_epilogue): Use unsigned long as the type for the
567 (thumb_compute_save_reg_mask): Likewise. Also use
568 thumb_find_work_register() to ensure that there is agreement about
569 which work register is going to be used in the prologue.
570 (thumb_output_function_prologue): Use unsigned long as the type
571 for the register bit-mask. Also delay pushing the link register if
572 other high registers are going to be pushed.
573 (thumb_compute_save_reg_mask, emit_multi_reg_push,
574 print_multi-reg, number_of_first_bit_set, thumb_pushpop): Remove
575 redundant prototypes.
577 2005-02-28 John David Anglin <dave.anglin#nrc-cnrc.gc.ca>
580 * pa.h (GO_IF_LEGITIMATE_ADDRESS): Allow allow hard registers during
581 and after reload in REG+REG indexed addresses without REG_POINTER
582 set in the base and not set in the index.
584 2005-02-28 Kaz Kojima <kkojima@gcc.gnu.org>
586 * config/sh/linux.h (MD_EXEC_PREFIX, MD_STARTFILE_PREFIX):
588 (HANDLE_PRAGMA_PACK_PUSH_POP): Delete.
589 (NO_IMPLICIT_EXTERN_C, CPLUSPLUS_CPP_SPEC): Likewise.
590 (TARGET_OS_CPP_BUILTINS): Use LINUX_TARGET_OS_CPP_BUILTINS.
591 (LIB_SPEC, LINK_EH_SPEC, STARTFILE_SPEC, ENDFILE_SPEC,
592 LINK_GCC_C_SEQUENCE_SPEC, USE_LD_AS_NEEDED, TARGET_C99_FUNCTIONS):
594 * config.gcc (sh*-*-linux*): Use config/linux.h.
596 2005-02-28 Dale Johannesen <dalej@apple.com>
597 Stan Shebs <shebs@apple.com>
599 Rewrite of 64-bit Darwin structure-by-value pass/return.
600 * config/rs6000/rs6000.h (CUMULATIVE_ARGS): New fields
601 intoffset, use_stack, named.
602 * config/rs6000/rs6000.c (rs6000_darwin64_function_arg): Remove.
603 (rs6000_darwin64_record_arg_advance_flush): New.
604 (rs6000_darwin64_record_arg_advance_recurse): New.
605 (rs6000_darwin64_record_arg_flush): New.
606 (rs6000_darwin64_record_arg_recurse): New.
607 (rs6000_darwin64_record_arg): New.
608 (rs6000_return_in_memory): Remove AGGREGATE_TYPE_P check.
609 (function_arg_boundary): Handle 128-bit aligned structs.
610 (function_arg_advance): Rewrite darwin64 struct handling.
611 (function_arg): Call rs6000_darwin64_record_arg.
612 (function_arg_partial_nregs): Handle darwin64 structs.
613 (rs6000_darwin64_function_value): Remove.
614 (rs6000_function_value): Call rs6000_darwin64_record_arg.
616 2005-02-28 Roger Sayle <roger@eyesopen.com>
618 PR tree-optimization/20216
619 * tree-chrec.c (tree_fold_factorial): Delete.
620 (tree_fold_binomial): Change argument list to take a return type
621 and change the type of K to unsigned int. Rewrite to avoid explicit
622 evaluation of factorials, and (recursively) calling fold to perform
623 compile-time arithmetic. Return NULL on (internal) overflow.
624 (chrec_evaluate): Change type of K to an unsigned int. Avoid
625 calling tree_fold_binomial unnecessarily. Return chrec_dont_know
626 if any intermediate calculation overflows.
627 (chrec_apply): Update call to chrec_evaluate.
629 2005-02-28 James E Wilson <wilson@specifixinc.com>
631 * config/mips/mips.h (NO_PROFILE_COUNTERS): Define.
633 2005-02-28 Joseph S. Myers <joseph@codesourcery.com>
636 * c-parser.c (c_parser_compound_statement): Return error_mark_node
637 instead of NULL_TREE on error.
639 2005-02-28 David Edelsohn <edelsohn@gnu.org>
641 * config/rs6000/rs6000.c (EASY_VECTOR_15): Remove.
642 (EASY_VECTOR_15_ADD_SELF): Remove.
643 (num_insns_constant_wide): Not static.
644 (validate_condition_mode): Not static.
645 (toc_relative_expr_p): Not static.
646 (legitimate_indirect_address_p): Not static.
647 (macho_lo_sum_memory_operand): Not static.
648 (invalid_e500_subreg): Not static.
649 (easy_vector_same): Not static.
650 (easy_vector_splat_const): Not static.
651 (RS6000_SYMBOL_REF_TLS_P): Remove.
652 (any_operand): Delete.
653 (any_parallel_operand): Delete.
654 (count_register_operand): Delete.
655 (altivec_register_operand): Delete.
656 (xer_operand): Delete.
657 (s8bit_cint_operand): Delete.
658 (short_cint_operand): Delete.
659 (u_short_cint_operand): Delete.
660 (non_short_cint_operand): Delete.
661 (exact_log2_cint_operand): Delete.
662 (gpc_reg_operand): Delete.
663 (cc_reg_operand): Delete.
664 (cc_reg_not_cr0_operand): Delete.
665 (reg_or_short_operand): Delete.
666 (reg_or_neg_short_operand): Delete.
667 (reg_or_aligned_short_operand): Delete.
668 (reg_or_u_short_operand): Delete.
669 (reg_or_cint_operand): Delete.
670 (reg_or_arith_cint_operand): Delete.
671 (reg_or_add_cint64_operand): Delete.
672 (reg_or_sub_cint64_operand): Delete.
673 (reg_or_logical_cint_operand): Delete.
674 (got_operand): Delete.
675 (got_no_const_operand): Delete.
676 (easy_fp_constant): Delete.
677 (easy_vector_constant): Delete.
678 (easy_vector_constant_add_self): Delete.
679 (zero_constant): Delete.
680 (zero_fp_constant): Delete.
681 (volatile_mem_operand): Delete.
682 (offsettable_mem_operand): Delete.
683 (mem_or_easy_const_operand): Delete.
684 (add_operand): Delete.
685 (non_add_cint_operand): Delete.
686 (logical_operand): Delete.
687 (non_logical_cint_operand): Delete.
688 (mask_operand): Delete.
689 (mask_operand_wrap): Delete.
690 (mask64_operand): Delete.
691 (mask64_2_operand): Delete.
692 (and64_operand): Delete.
693 (and64_2_operand): Delete.
694 (and_operand): Delete.
695 (reg_or_mem_operand): Delete.
696 (lwa_operand): Delete.
697 (symbol_ref_operand): Delete.
698 (call_operand): Delete.
699 (current_file_function_operand): Delete.
700 (input_operand): Delete.
701 (rs6000_nonimmediate_operand): Delete.
702 (rs6000_tls_symbol_ref): Delete.
703 (save_world_operation): Delete.
704 (restore_world_operation): Delete.
705 (load_multiple_operation): Delete.
706 (store_multiple_operation): Delete.
707 (vrsave_operation): Delete.
708 (mfcr_operation): Delete.
709 (mtcrf_operation): Delete.
710 (lmw_operation): Delete.
711 (stmw_operation): Delete.
712 (branch_comparison_operator): Delete.
713 (branch_positive_comparison_operator): Delete.
714 (scc_comparison_operator): Delete.
715 (trap_comparison_operator): Delete.
716 (boolean_operator): Delete.
717 (boolean_or_operator): Delete.
718 (min_max_operator): Delete.
719 * config/rs6000/rs6000.h (RS6000_SYMBOL_REF_TLS_P): Move to here.
720 (EASY_VECTOR_15): Moved to here.
721 (EASY_VECTOR_15_ADD_SELF): Move to here.
722 (PREDICATE_CODES): Delete.
723 * config/rs6000/rs6000-protos.h: Delete predicate functions.
724 Declare functions no longer static.
725 * config/rs6000/predicates.md: New.
726 * config/rs6000/rs6000.md: Include predicates.md
728 2005-02-28 Kazu Hirata <kazu@cs.umass.edu>
730 * calls.c (emit_call_1): Don't use REG_ALWAYS_RETURN.
731 (emit_library_call_value_1): Don't use LCT_ALWAYS_RETURN and
733 * cfgrtl.c (need_fake_edge_p): Likewise.
734 * combine.c (distribute_notes): Likewise.
735 * emit-rtl.c (try_split): Likewise.
736 * recog.c (peephole2_opimize): Likewise.
737 * reg-notes.def (ALWAYS_RETURN): Remove.
738 * rtl.h (LCT_ALWAYS_RETURN): Remove.
739 * tree-cfg.c (need_fake_edge_p): Don't use ECF_ALWAYS_RETURN.
740 * tree.h (ECF_ALWAYS_RETURN): Remove.
742 2005-02-28 Roger Sayle <roger@eyesopen.com>
745 * tree-ssa.c (tree_ssa_useless_type_conversion_1): A conversion
746 between different machine modes is never a "useless" conversion.
748 2005-02-28 Geert Bosch <bosch@gnat.com>
751 * doc/contrib.texi: List contributors for Ada front end
753 2005-02-28 Paolo Bonzini <bonzini@gnu.org>
755 * simplify-rtx.c (simplify_unary_operation_1,
756 simplify_const_unary_operation): New, extracted from...
757 (simplify_unary_operation): ... this one.
758 (simplify_binary_operation_1,
759 simplify_const_binary_operation): New, extracted from...
760 (simplify_binary_operation): ... this one.
761 * rtl.h (simplify_const_unary_operation,
762 simplify_const_binary_operation): Add prototypes.
764 2005-02-28 Julian Brown <julian@codesourcery.com>
766 * config/elfos.h: Revert my patch from 2005-02-25 since it broke
767 building libjava and caused PR regression/20228.
769 2005-02-28 Paolo Bonzini <bonzini@gnu.org>
772 * Makefile.in (host_subdir): New.
773 (build_objdir): New. Replace ../$(build_subdir) with it throughout.
774 * configure: Regenerate.
776 2005-02-27 Zack Weinberg <zack@codesourcery.com>
778 * config/alpha/t-osf4, config/arm/t-netbsd, config/ia64/t-hpux
779 * config/pa/t-hpux-shlib (SHLIB_INSTALL): Create the
780 installation directory first.
782 2005-02-28 Hans-Peter Nilsson <hp@axis.com>
785 * config/cris/cris.h (EXTRA_CONSTRAINT_Q): Accept only (mem (reg)),
786 not including (reg). Do not check for reg being CRIS_PC_REGNUM.
787 (EXTRA_MEMORY_CONSTRAINT): Define as 'Q'.
788 * config/cris/cris.md: Tweak comments referring to Q.
789 ("cmpsi", "cmphi", "cmpqi", "*movsi_internal", "movhi")
790 ("movstricthi", "movqi", "movstrictqi", "movsf", "addsi3")
791 ("addhi3", "addqi3", "subsi3", "subhi3", "subqi3")
792 ("*expanded_andsi", "*expanded_andhi", "*andhi_lowpart", "andqi3")
793 ("*andqi_lowpart", "iorsi3", "iorhi3", "iorqi3", "uminsi3"):
794 Insert spaces in constraints to align alternatives vertically for
796 ("cmphi"): Ditto. Add separate alternative for operand 0 "r",
799 2005-02-27 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
801 PR rtl-optimization/17728
802 * pa.md (mulsi3, divsi3, udivsi3, modsi3): Change predicate for
803 operand 0 from general_operand to move_dest_operand.
805 2005-02-26 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
807 * pa/elf.h, pa/som.h (ASM_OUTPUT_EXTERNAL): Use assemble_name_raw
808 instead of trying to save and restore TREE_SYMBOL_REFERENCED.
809 * pa/pa64-hpux.h (ASM_OUTPUT_TYPE_DIRECTIVE): Define.
810 (ASM_OUTPUT_EXTERNAL): Don't save and restore TREE_SYMBOL_REFERENCED.
812 2005-02-26 Nathanael Nerode <neroden@gcc.gnu.org>
814 * configure.ac: Rename cc_for_cross_gnattools to host_cc_for_libada.
815 * configure: Regenerate.
816 * libada-mk.in: Remove CC; rename
817 cc_for_cross_gnattools / cc_set_by_configure to host_cc_for_libada.
819 2005-02-26 Andrew Pinski <pinskia@physics.uc.edu>
822 * tree-ssa-alias.c (count_uses_and_derefs): If we have TREE_LIST
823 for the lhs, also walk over the tree. Likewise for rhs.
825 2005-02-26 Zdenek Dvorak <dvorakz@suse.cz>
827 * tree-ssa-dom.c (simple_iv_increment_p): New function.
828 (simplify_rhs_and_lookup_avail_expr, eliminate_redundant_computations):
829 Do not propagate value of iv before increment over the increment.
831 2005-02-25 Joseph S. Myers <joseph@codesourcery.com>
833 * c-parser.c: New file.
834 * c-parse.in: Remove.
835 * Makefile.in (c-parse.o-warn, c-parse.o, c-parse.c, c-parse.y):
837 (c-parser.o): Add dependencies.
838 (C_AND_OBJC_OBJC, C_OBJS, gcc.srcextra, GTFILES, distclean,
839 maintainer-clean, TAGS): Update.
840 * c-config-lang.in (gtfiles): Update.
841 * gengtype-lex.l: Don't handle "@@".
842 * stub-objc.c (objc_get_class_ivars, objc_build_throw_stmt,
843 objc_build_synchronized, objc_begin_try_stmt,
844 objc_begin_catch_clause, objc_finish_catch_clause,
845 objc_build_finally_clause, objc_finish_try_stmt): New.
846 * c-tree.h (struct c_declspecs): Add declspecs_seen_p and
848 (c_parse_init): Update comment.
849 * c-decl.c (c_init_decl_processing): Update comment.
850 (build_null_declspecs, declspecs_add_qual, declspecs_add_type,
851 declspecs_add_scspec, declspecs_add_attrs): Initialize and update
852 new c_declspecs members.
854 2005-02-25 Julian Brown <julian@codesourcery.com>
856 * config/elfos.h (MAKE_DECL_ONE_ONLY): Redefined to stop DECL_WEAK
857 from being used for symbols with vague linkage when
858 HAVE_GAS_COMDAT_GROUP is true.
860 2005-02-25 Mark Mitchell <mark@codesourcery.com>
862 * doc/include/gcc-common.texi (version-GCC): Update to 4.1.
864 2005-02-25 Steve Ellcey <sje@cup.hp.com>
867 * doc/tm.texi (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Document.
868 (LIBGCC2_HAS_DF_MODE): New.
869 (LIBGCC2_HAS_XF_MODE): New.
870 (LIBGCC2_HAS_TF_MODE): New.
871 * libgcc2.h (LIBGCC2_HAS_XF_MODE): New name for HAVE_XFMODE.
872 (LIBGCC2_HAS_TF_MODE): New name for HAVE_TFMODE.
873 * libgcc2.c (LIBGCC2_HAS_XF_MODE): New name for HAVE_XFMODE.
874 (LIBGCC2_HAS_TF_MODE): New name for HAVE_TFMODE.
875 (LIBGCC2_HAS_DF_MODE): New name for HAVE_DFMODE.
876 * config/ia64/t-ia64 (LIB1ASMFUNCS): Remove __compat
877 and add _fixtfdi, _fixunstfdi, _floatditf
878 * lib1funcs.asm: Remove L__compat. Add L_fixtfdi,
879 L_fixunstfdi, L_floatditf.
880 * config/ia64/hpux.h (LIBGCC2_HAS_XF_MODE): Define.
881 (LIBGCC2_HAS_TF_MODE): Define.
883 2005-02-25 Diego Novillo <dnovillo@redhat.com>
885 PR tree-optimization/20204
886 * tree-into-ssa.c (insert_phi_nodes_for): Do not use
887 REWRITE_THIS_STMT markers on PHI nodes.
888 (rewrite_initialize_block): Likewise.
890 2005-02-25 Mark Mitchell <mark@codesourcery.com>
892 * version.c (version_string): Update to 4.1.
894 2005-02-25 Paolo Carlini <pcarlini@suse.de>
896 * doc/extend.texi (5.24 Declaring Attributes of Functions)<noreturn>:
897 Clarify that the alternative way doesn't work in GNU C++.
899 2005-02-25 Zdenek Dvorak <dvorakz@suse.cz>
901 PR tree-optimization/19937
902 * tree-ssa-loop-ivopts.c (rewrite_use_compare): Cast the final value
903 to the type of the induction variable.
905 2005-02-25 Kaz Kojima <kkojima@gcc.gnu.org>
907 PR rtl-optimization/20117
908 * bb-reorder.c (duplicate_computed_gotos): Don't duplicate
909 the block including noncopyable insn.
911 2005-02-24 Kazu Hirata <kazu@cs.umass.edu>
913 * cse.c (delete_trivially_dead_insns): Speed up by minimizing
914 calls to find_reg_note.
916 2005-02-24 Richard Henderson <rth@redhat.com>
919 * tree-sra.c (instantiate_element): Copy TREE_THIS_VOLATILE from
922 2005-02-24 Fariborz Jahanian <fjahanian@apple.com>
924 * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Check for
925 vector types if to use base reg for misaligned non-word ld/std.
927 2005-02-24 Hans-Peter Nilsson <hp@axis.com>
930 * config/cris/cris.c (cris_target_asm_function_prologue): Create
931 dwarf2 label manually and put it after, not before the prologue.
933 2005-02-24 David Edelsohn <edelsohn@gnu.org>
936 * reload.c (operands_match_p): Only increment register number for
937 SCALAR_INT_MODE_P modes in multiple hard registers.
939 * config/rs6000/rs6000.md (trunctfdf2): Remove register constraints.
942 2005-02-24 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
944 * ChangeLog.5: Fix log message typo(s).
945 * ChangeLog.7: Likewise.
946 * ChangeLog.tree-ssa: Likewise.
947 * cfgexpand.c: Fix comment typo(s).
948 * conflict.c: Likewise.
949 * defaults.h: Likewise.
950 * dwarf2out.c: Likewise.
952 * ggc-page.c: Likewise.
953 * tree-eh.c: Likewise.
954 * tree-ssa-dom.c: Likewise.
956 2005-02-24 Jakub Jelinek <jakub@redhat.com>
959 * mklibgcc.in: Pass -DSHARED when compiling all *_s${objext} objects.
960 * config/rs6000/darwin-ldouble.c: Only use the .symver directives
961 if SHARED is defined.
964 * config/rs6000/rs6000.md (LTU, GTU sCC splitters): Add earlyclobber,
965 allow splitting only if operands 0 and 3 don't overlap.
967 2005-02-24 Richard Henderson <rth@redhat.com>
970 * builtins.c (fold_builtin_complex_mul, fold_builtin_complex_div): New.
971 (fold_builtin_1): Call them.
972 * fold-const.c (fold_complex_mult_parts): Split out from ...
973 (fold_complex_mult): ... here. Fix typo in both imaginary case.
974 (fold_complex_div_parts, fold_complex_div): New.
976 * tree.h (fold_complex_mult_parts, fold_complex_div_parts): Declare.
978 2005-02-24 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
980 * tree-ssa-ccp.c (visit_assignment): Verify that result of
981 VIEW_CONVERT_EXPR is_gimple_min_invariant.
983 * print-tree.c (print_node_brief): Print LABEL_DECL_UID.
984 (print_node): Likewise.
985 Print TYPE_SIZES_GIMPLIFIED.
987 2005-02-24 Hans-Peter Nilsson <hp@axis.com>
989 * config/cris/cris.md ("umulhisi3", "umulqihi3", "mulsi3")
990 ("mulqihi3", "mulhisi3", "mulsidi3", "umulsidi3"): Mark input
991 operands as commutative in constraints.
993 2005-02-24 Diego Novillo <dnovillo@redhat.com>
995 * tree-into-ssa.c: Re-organize internal functions.
997 2005-02-24 Richard Henderson <rth@redhat.com>
1000 * c-opts.c (c_common_post_options): Set flag_complex_method to 2
1002 * common.opt (fcx-limited-range): New.
1003 * opts.c (set_fast_math_flags): Set flag_cx_limited_range.
1004 * toplev.c (flag_complex_method): Initialize to 1.
1005 (process_options): Set flag_complex_method to 0 if
1006 flag_cx_limited_range.
1007 * doc/invoke.texi (-fcx-limited-range): New.
1009 2005-02-24 Kazu Hirata <kazu@cs.umass.edu>
1011 * cse.c (delete_trivially_dead_insns): Speed up by using
1012 NEXT_INSN and PREV_INSN directly instead of next_real_insn and
1015 2005-02-24 Andrea Tarani <andrea.tarani@gilbarco.com>
1017 * config/m68k/m68k.c (m68k_save_reg): Also save A5 for non-leaf
1018 functions when -mid-shared-library is being used.
1020 2005-02-23 Daniel Jacobowitz <dan@codesourcery.com>
1022 * doc/tm.texi (LINK_LIBGCC_SPECIAL): Remove.
1023 (LINK_LIBGCC_SPECIAL_1): Don't mention it.
1024 * gcc.c: Don't check for LINK_LIBGCC_SPECIAL.
1025 * system.h: Poison LINK_LIBGCC_SPECIAL.
1027 2005-02-23 James E Wilson <wilson@specifixinc.com>
1029 * gengtype.c (note_insn_name): Make 1 element larger.
1031 2005-02-23 Roger Sayle <roger@eyesopen.com>
1034 PR rtl-optimization/20097
1035 * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
1036 BImode SUBREGs of SImode registers which confuse the ia64 backend.
1038 2005-02-23 David Edelsohn <edelsohn@gnu.org>
1040 * t-aix43 (SHLIB_INSTALL): Create directory for shared library.
1041 * t-aix52 (SHLIB_INSTALL): Same.
1043 2005-02-23 Kazu Hirata <kazu@cs.umass.edu>
1045 * genpreds.c: Update copyright.
1047 2005-02-23 Michael Beach <michaelb@ieee.org>
1050 * config/sparc/t-elf (startup files): Assemble with CPP.
1052 2005-02-23 Paolo Bonzini <bonzini@gnu.org>
1054 * genpreds.c (mark_mode_tests): Handle non-VOIDmode match_operands.
1055 (write_predicate_expr): Likewise.
1057 2005-02-22 Diego Novillo <dnovillo@redhat.com>
1059 PR tree-optimization/20100
1060 PR tree-optimization/20115
1061 * tree-optimize.c (init_tree_optimization_passes): Remove
1062 pass_maybe_create_global_var.
1063 * tree-pass.h (pass_maybe_create_global_var): Remove.
1064 * tree-ssa-alias.c (aliases_computed_p): Declare.
1065 (struct alias_info): Add field NUM_PURE_CONST_CALLS_FOUND.
1066 (count_calls_and_maybe_create_global_var): Remove.
1067 (pass_maybe_create_global_var): Remove.
1068 (init_alias_info): Do not declare aliases_computed_p.
1069 (maybe_create_global_var): If the function contains no
1070 call-clobbered variables and a mix of pure/const and regular
1071 function calls, create .GLOBAL_VAR.
1072 Mark all call-clobbered variables for renaming.
1073 (merge_pointed_to_info): Update comment.
1074 (add_pointed_to_var): Likewise.
1075 (is_escape_site): Likewise.
1076 Accept struct alias_info * instead of size_t *.
1078 Update AI->NUM_CALLS_FOUND and AI->NUM_PURE_CONST_CALLS_FOUND
1080 * tree-ssa-operands.c (get_call_expr_operands): If
1081 ALIASES_COMPUTED_P is false, do not add call-clobbering
1083 * tree-ssa.c (init_tree_ssa): Set ALIASES_COMPUTED_P to false.
1084 (delete_tree_ssa): Likewise.
1086 2005-02-22 James E Wilson <wilson@specifixinc.com>
1088 * toplev.c (backend_init): Don't call init_adjust_machine_modes here.
1089 (do_compile): Do call it here.
1091 2005-02-22 Kazu Hirata <kazu@cs.umass.edu>
1093 PR rtl-optimization/20017.
1094 * passes.c (rest_of_handle_combine, rest_of_handle_cse,
1095 rest_of_handle_cse2, rest_of_handle_gcse): Call
1096 delete_dead_jumptables immediately before calling cleanup_cfg.
1098 2005-02-22 Devang Patel <dpatel@apple.com>
1101 * tree-if-conv.c (process_phi_nodes): Use bsi_after_labels and skip
1104 2005-02-22 David Edelsohn <edelsohn@gnu.org>
1106 * config/rs6000/aix.h (WINT_TYPE): Define.
1108 2005-02-22 Stan Shebs <shebs@apple.com>
1110 * config/rs6000/rs6000.c (rs6000_override_options): Default to
1111 natural alignment for 64-bit Darwin.
1112 (rs6000_parse_alignment_option): Warn about uses of -malign-power
1114 * doc/invoke.texi: Document this.
1116 2005-02-22 DJ Delorie <dj@redhat.com>
1118 * c-common.c (c_common_type_for_mode): Pass the mode's precision
1119 to make_[un]signed_type, not the mode itself.
1121 2005-02-22 Kazu Hirata <kazu@cs.umass.edu>
1123 * cfg.c (cached_make_edge): Call make_edge if edge cache is
1124 not available. Use tail calls wherever possible.
1125 (make_edge): Call unchecked_make_edge to create an edge.
1127 * tree-outof-ssa.c (SSANORM_USE_COALESCE_LIST): Remove.
1128 (coalesce_ssa_name): Don't check for
1129 SSANORM_USE_COALESCE_LIST.
1130 (rewrite_out_of_ssa): Don't use SSANORM_USE_COALESCE_LIST.
1132 2005-02-22 Diego Novillo <dnovillo@redhat.com>
1134 * tree-into-ssa.c (rewrite_blocks): Move debug dumps from ...
1135 (rewrite_into_ssa): ... here.
1137 2005-02-21 Alexandre Oliva <aoliva@redhat.com>
1139 PR tree-optimization/19786
1140 * tree-ssa-alias.c (compute_flow_insensitive_aliasing): Add one
1141 tag to another's may-alias bitmap when adding to the other's list.
1143 2005-02-21 DJ Delorie <dj@redhat.com>
1145 * tree-ssa-loop-ivopts.c (computation_cost): Start register
1146 numbering at LAST_VIRTUAL_REGISTER+1 to avoid possibly using hard
1147 registers in unsupported ways.
1148 * expmed.c (init_expmed): Likewise.
1150 2005-02-21 Stan Cox <scox@redhat.com>
1152 * config/iq2000/iq2000.h (DWARF_FRAME_RETURN_COLUMN): Change to 31.
1154 2005-02-21 Kazu Hirata <kazu@cs.umass.edu>
1156 * tree-cfg.c (fold_cond_expr_cond): New.
1157 (make_edges): Call fold_cond_expr_cond.
1158 (find_taken_edge): Accept nothing but INTEGER_CST.
1159 (find_taken_edge_cond_expr): Reject INTEGER_CST other than 0
1161 (find_taken_edge_switch_expr): Remove a check for INTEGER_CST.
1163 * flow.c (delete_dead_jumptables): Speed up by scanning insns
1164 that do not belong to any basic block.
1166 2005-02-21 Jeff Law <law@redhat.com>
1168 * cfganal.c (find_unreachable_blocks): Manually CSE load of
1171 2005-02-21 Kazu Hirata <kazu@cs.umass.edu>
1173 * tree-outof-ssa.c (SSANORM_REMOVE_ALL_PHIS): Remove.
1174 (SSANORM_COALESCE_PARTITIONS, SSANORM_USE_COALESCE_LIST):
1175 Adjust their definitions.
1176 (remove_ssa_form): Don't check for SSANORM_REMOVE_ALL_PHIS.
1177 (rewrite_out_of_ssa): Don't use SSANORM_REMOVE_ALL_PHIS.
1179 * c-objc-common.h, c-pretty-print.c, cgraphunit.c, except.c,
1180 genautomata.c, langhooks.c, langhooks.h, system.h,
1181 config/arm/lib1funcs.asm: Update copyright.
1183 2005-02-21 Ulrich Weigand <uweigand@de.ibm.com>
1185 * dbxout.c (dbxout_function_end): Emit Lscope label always.
1187 2005-02-21 Richard Guenther <rguenth@gcc.gnu.org>
1190 * doc/install.texi: Document --with-gc.
1192 2005-02-21 Paolo Bonzini <bonzini@gnu.org>
1194 * simplify-rtx.c (simplify_unary_operation): Add a missing
1197 2005-02-21 Eric Botcazou <ebotcazou@libertysurf.fr>
1199 PR tree-optimization/18663
1200 * tree-ssa-dom.c (extract_range_from_cond): Return 0
1201 if the type has variable bounds.
1203 2005-02-20 Kazu Hirata <kazu@cs.umass.edu>
1205 * gcse.c: Remove an obsolete comment.
1207 * cse.c (init_cse_reg_info): Use xmalloc instead of xrealloc.
1209 2005-02-20 Hans-Peter Nilsson <hp@axis.com>
1211 * doc/extend.texi (Function Attributes) <Attribute const>: The
1212 attribute "pure" is below this text, not above.
1214 2005-02-20 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
1216 * pa.c (pa_assemble_integer, get_plabel): Small cleanups.
1217 (pa_asm_output_mi_thunk): Use asm_output_insn instead of fprintf.
1218 * som.h (ASM_OUTPUT_EXTERNAL_LIBCALL): Small cleanup.
1220 2005-02-20 Zack Weinberg <zack@codesourcery.com>
1223 * langhooks.h (struct lang_hooks): Add to_target_charset.
1224 * langhooks.c (lhd_to_target_charset): New function.
1225 * langhooks-def.h: Declare lhd_to_target_charset.
1226 (LANG_HOOKS_TO_TARGET_CHARSET): New macro.
1227 (LANG_HOOKS_INITIALIZER): Update.
1228 * c-common.c (c_common_to_target_charset): New function.
1229 * c-common.h: Declare it.
1230 * c-objc-common.h (LANG_HOOKS_TO_TARGET_CHARSET): Set to
1231 c_common_to_target_charset.
1233 * defaults.c (TARGET_BELL, TARGET_BS, TARGET_CR, TARGET_DIGIT0)
1234 (TARGET_ESC, TARGET_FF, TARGET_NEWLINE, TARGET_TAB, TARGET_VT):
1236 * system.h: Poison them.
1237 * doc/tm.texi: Don't discuss them.
1238 * builtins.c (fold_builtin_isdigit): Use lang_hooks.to_target_charset.
1239 * c-pretty-print.c (pp_c_integer_constant): Don't use pp_c_char.
1240 (pp_c_char): Do not attempt to generate letter escapes for
1242 * config/arm/arm.c (output_ascii_pseudo_op): Likewise.
1243 * config/mips/mips.c (mips_output_ascii): Likewise.
1245 2005-02-20 Dorit Naishlos <dorit@il.ibm.com>
1247 PR tree-optimization/19951
1248 * tree-vect-analyze.c (vect_analyze_loop_form): Check if loop exit edge
1251 2005-02-19 Steven Bosscher <stevenb@suse.de>
1254 * function.h (struct function): New field `max_loop_depth'.
1255 * cfgloop.c (establish_preds): Update maximum loop depth seen so far.
1256 (flow_loops_find): Reset the max loop depth count before finding loops.
1257 * flow.c (MAX_LIVENESS_ROUNDS): New constant.
1258 (update_life_info_in_dirty_blocks): Remove 2002-05-28 workaround.
1259 (calculate_global_regs_live): Make sure the loop will terminate
1260 when the initial sets are not empty.
1262 2005-02-19 Zack Weinberg <zack@codesourcery.com>
1264 * mklibgcc.in: If libgcc_eh.a would be empty, put a dummy
1266 * config/ia64/hpux.h: Don't define LIBGCC_SPEC.
1268 2005-02-19 Richard Sandiford <rsandifo@redhat.com>
1271 * doc/invoke.texi: Remove documentation of %M spec.
1273 (init_spec): Remove %M suffix from -lgcc_s.
1274 (do_spec_1): Remove 'M' case.
1275 * mklibgcc.in: Remove SHLIB_MULTILIB handling. Expect SHLIB_LINK
1276 to put shared libraries in the multilib directory. Remove the
1277 shlib_so_soname substitution variable. Don't add a multilib encoding
1278 to shlib_base_name. Set shlib_slibdir_qual to the full pathname
1279 reported by -print-multi-os-directory. Pass @multilib_dir@ to
1280 SHLIB_INSTALL as well as SHLIB_LINK.
1281 * config/t-slibgcc-elf-ver (SHLIB_SONAME): Use @shlib_base_name@.
1282 (SHLIB_NAME): Delete.
1283 (SHLIB_DIR): New macro.
1284 (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_SOLINK) in $(SHLIB_DIR).
1285 (SHLIB_INSTALL): Adjust accordingly.
1286 * config/t-slibgcc-darwin: As for t-slibgcc-elf-ver.
1287 * config/t-slibgcc-sld: Likewise.
1288 * config/t-libunwind-elf (SHLIBUNWIND_NAME): Delete.
1289 (SHLIBUNWIND_SONAME): Use @shlib_base_name@.
1290 (SHLIBUNWIND_LINK): Put $(SHLIBUNWIND_SONAME) and $(SHLIB_SOLINK)
1292 (SHLIBUNWIND_INSTALL): Adjust accordingly.
1293 * config/i386/t-nwld (SHLIB_SONAME): Delete.
1294 (SHLIB_LINK, SHLIB_INSTALL): Use SHLIB_NAME instead of SHLIB_SONAME.
1295 Use @shlib_base_name@ instead of @shlib_so_name@.
1296 * config/ia64/t-hpux (SHLIB_LINK): Put @shlib_base_name@.so.0
1297 and @shlib_base_name@.so in @multilib_dir@.
1298 (SHLIB_INSTALL): Adjust accordingly. Add @shlib_slibdir_qual@
1299 to the install path.
1300 * config/mips/t-slibgcc-irix: As for t-slibgcc-elf-ver.
1301 (SHLIB_LINK): Remove previous workaround.
1302 * config/pa/t-hpux-shlib (SHLIB_DIR, SHLIB_SLIBDIR_QUAL): New macros.
1303 (SHLIB_LINK): Put $(SHLIB_SONAME) and $(SHLIB_NAME) in $(SHLIB_DIR).
1304 (SHLIB_INSTALL): Adjust accordingly. Add $(SHLIB_SLIBDIR_QUAL) to
1306 * config/rs6000/t-aix43 (SHLIB_LINK): Put @shlib_base_name@.a in
1307 @multilib_dir@. Use @multilib_dir@ to check for threading libraries.
1308 (SHLIB_INSTALL): Adjust accordingly.
1309 (SHLIB_LIBS): Use @multilib_dir@ to check for threading libraries.
1310 * config/rs6000/t-aix52: As for config/rs6000/t-aix43.
1311 * config/sh/t-linux (SHLIB_LINK, SHLIB_INSTALL): As for
1312 config/t-slibgcc-elf-ver.
1314 2005-02-19 Zdenek Dvorak <dvorakz@suse.cz>
1315 Jakub Jelinek <jakub@redhat.com>
1317 PR tree-optimization/19828
1318 * tree-ssa-loop-im.c: Add a TODO comment.
1319 (movement_possibility): Return MOVE_PRESERVE_EXECUTION for calls
1320 without side-effects.
1322 2005-02-18 James A. Morrison <phython@gcc.gnu.org>
1324 * tree-ssa-ccp.c (widen_bitfield): Pass type to build_int_cst and don't
1327 2005-02-18 James E. Wilson <wilson@specifixinc.com>
1329 * doc/invoke.texi (IA-64 Options): Delete -mb-step.
1330 * config/ia64/ia64.c (last_group, group_idx): Delete variables.
1331 (errata_find_address_regs, errata_emit_nops, fixup_errata): Delete
1333 (ia64_reorg): Delete fixup_errata call.
1334 * config/ia64/ia64.h (MASK_B_STEP, TARGET_B_STEP): Delete.
1335 (TARGET_SWITCHES): Delete -mb-step entry.
1337 2005-02-19 Jakub Jelinek <jakub@redhat.com>
1340 * c-typeck.c (composite_type): Handle quals in transparent unions.
1341 (type_lists_compatible_p): Likewise.
1343 2005-02-18 Stan Shebs <shebs@apple.com>
1345 * config/darwin.c (machopic_select_rtx_section): Don't put relocatable
1346 expressions in the .literal8 section.
1348 2005-02-18 Geoffrey Keating <geoffk@apple.com>
1350 * config/rs6000/darwin-tramp.asm: Remove stray 'APPLE LOCAL' marker.
1352 2005-02-18 Roger Sayle <roger@eyesopen.com>
1354 * fold-const.c (constant_boolean_node): Always create values of the
1355 specified type, don't bother calling truthvalue_conversion.
1357 2005-02-18 Joseph S. Myers <joseph@codesourcery.com>
1359 * except.c (output_function_exception_table): Call
1360 assemble_external_libcall (eh_personality_libfunc).
1362 2005-02-18 Joseph S. Myers <joseph@codesourcery.com>
1365 * config/ia64/ia64.h (struct machine_function): Add state_num.
1366 * config/ia64/ia64.c (process_epilogue,
1367 process_for_unwind_directive): Use new unwind state numbers each
1368 time rather than state 1.
1370 2005-02-18 Ulrich Weigand <uweigand@de.ibm.com>
1373 * config/s390/s390.md ("*llgt_sidi", "*llgt_sidi_split"): Move to
1374 before the "*llgt_didi" pattern.
1376 2005-02-18 Jason Merrill <jason@redhat.com>
1378 * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Revert again.
1380 2005-02-18 Richard Earnshaw <rearnsha@arm.com>
1382 * arm/lib1funcs.asm (FUNC_ALIAS): New macro.
1383 (div0): Use it in place of ARM_FUNC_ALIAS.
1384 (lshrdi3, ashrdi3, ashlrdi3): Likewise.
1386 2005-02-18 Andrew Pinski <pinskia@physics.uc.edu>
1389 * fold-const.c (fold_indirect_ref_1): Use the correct index for zero
1390 access, the lower bound of the array type if it exists.
1392 2005-02-18 Alexandre Oliva <aoliva@redhat.com>
1395 * stmt.c (expand_case): Don't assume cleanup_tree_cfg will remove
1396 cases that are out-of-range for the index type.
1398 2005-02-18 James A. Morrison <phython@gcc.gnu.org>
1400 * stmt.c (emit_case_bit_tests): Call fold_convert instead of convert.
1401 (estimate_case_costs): Don't call convert.
1402 * expmed.c (expand_shift): Likewise.
1403 (make_tree): Call fold_convert instead of convert.
1405 2005-02-18 Jakub Jelinek <jakub@redhat.com>
1408 * emit-rtl.c (set_mem_attributes_minus_bitpos): Add assertion
1409 that ref to be marked MEM_READONLY_P doesn't have base that needs
1412 2005-02-18 Joseph S. Myers <joseph@codesourcery.com>
1414 * genautomata.c (output_get_cpu_unit_code_func,
1415 output_cpu_unit_reservation_p): Don't generate old-style function
1418 2005-02-18 Jakub Jelinek <jakub@redhat.com>
1421 PR tree-optimization/20009
1422 * convert.c (convert_to_integer): Revert 2005-02-16 change.
1424 PR tree-optimization/18947
1425 * cgraphunit.c (cgraph_finalize_function): When redefining an extern
1426 inline, remove all nodes that are inlined into the extern inline
1429 2005-02-17 Kazu Hirata <kazu@cs.umass.edu>
1431 * bt-load.c, cfgloop.c, convert.c, dominance.c, global.c,
1432 loop-invariant.c, stmt.c, tree-ssa-forwprop.c,
1433 tree-ssa-live.c, tree-ssanames.c, tree-vn.c,
1434 config/host-linux.c, config/arm/fpa.md, config/avr/avr.h:
1437 2005-02-17 Roger Sayle <roger@eyesopen.com>
1439 PR tree-optimization/19917
1440 * tree-eh.c (tree_could_trap_p): Consider calls to weak functions
1441 to be potentially trapping.
1443 2005-02-17 Kazu Hirata <kazu@cs.umass.edu>
1445 * libgcc2.c, tree-vect-analyze.c: Fix comment typos.
1447 2005-02-17 Andreas Krebbel <krebbel1@de.ibm.com>
1449 * builtins.c (expand_builtin_return_addr): Remove tem parameter.
1450 tem becomes a local variable which is set to the value of the
1451 back end defined INITIAL_FRAME_ADDRESS macro.
1452 (expand_builtin_frame_address): Omit the base parameter to
1453 expand_builtin_return_addr.
1454 (expand_builtin_profile_func): Likewise.
1455 * config/s390/s390.h (INITIAL_FRAME_ADDRESS_RTX): Define new macro.
1456 (DYNAMIC_CHAIN_ADDRESS): Remove the case for the initial frame.
1457 * doc/tm.texi: Documentation for INITIAL_FRAME_ADDRESS_RTX added.
1459 2005-02-17 Jakub Jelinek <jakub@redhat.com>
1461 * config/s390/s390.c (s390_alloc_pool, s390_free_pool,
1462 s390_chunkify_start): Use BITMAP_ALLOC and BITMAP_FREE.
1463 * config/frv/frv.c (frv_function_epilogue): Likewise.
1465 2005-02-17 Daniel Berlin <dberlin@dberlin.org>
1467 * lambda-code (perfect_nestify): Remove mark/unmark
1469 * tree-loop-linear.c (linear_transform_loops): Add
1470 rewrite_into_ssa call so that ssa is correct for
1471 rewriting into loop closed.
1473 2005-02-17 Nathan Sidwell <nathan@codesourcery.com>
1475 * bitmap.h (BITMAP_XMALLOC, BITMAP_XFREE): Remove.
1476 * bb-reorder.c (duplicate_computed_gotos): Use BITMAP_ALLOC and
1478 * bt-load.c (btr_def_live_range, combine_btr_defs,
1479 migrate_btr_def, migrate_btr_defs): Likewise.
1480 * cfgcleanup.c (thread_jump): Likewise.
1481 * cfgloop.c (get_loop_body_in_bfs_order): Likewise.
1482 * df.c (df_insn_table_realloc, df_bitmaps_alloc, df_bitmaps_free,
1483 df_alloc, df_free, df_du_chain_create, df_bb_rd_local_compute,
1484 df_rd_local_compute, df_reg_info_compute): Likewise.
1485 * dominance.c (init_dom_info, free_dom_info): Likewise.
1486 * flow.c (init_propagate_block_info,
1487 free_propagate_block_info): Likewise.
1488 * gcse.c (alloc_gcse_mem, free_gcse_mem): Likewise.
1489 * global.c (allocate_bb_info, free_bb_info, calculate_reg_pav,
1490 modify_reg_pav): Likewise.
1491 * loop-invariant.c (find_defs, find_invariant_insn,
1492 find_invariants, free_inv_motion_data): Likewise.
1493 * predict.c (tree_predict_by_opcode,
1494 estimate_bb_frequencies): Likewise.
1495 * stmt.c (expand_case): Likewise.
1496 * tree-cfg.c (tree_duplicate_sese_region): Likewise.
1497 * tree-dfa.c (mark_new_vars_to_rename): Likewise.
1498 * tree-if-conv.c (get_loop_body_in_if_conv_order): Likewise.
1499 * tree-into-ssa.c (insert_phi_nodes_for, def_blocks_free,
1500 get_def_blocks_for, mark_def_site_blocks, rewrite_into_ssa,
1501 rewrite_ssa_into_ssa): Likewise.
1502 * tree-optimize.c (tree_rest_of_compilation): Likewise.
1503 * tree-outof-ssa.c (new_temp_expr_table, free_temp_expr_table,
1504 analyze_edges_for_bb, perform_edge_inserts): Likewise.
1505 * tree-scalar-evolution.c (scev_initialize, scev_finalize): Likewise.
1506 * tree-sra.c (tree_sra): Likewise.
1507 * tree-ssa-alias.c (init_alias_info, delete_alias_info): Likewise.
1508 * tree-ssa-ccp.c (ccp_fold_builtin): Likewise.
1509 * tree-ssa-dce.c (tree_dce_init, tree_dce_done): Likewise.
1510 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Likewise.
1511 * tree-ssa-dse.c (tree_ssa_dse): Likewise.
1512 * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_var):
1514 * tree-ssa-live.c (new_tree_live_info, delete_tree_live_info,
1515 calculate_live_on_entry, calculate_live_on_exit,
1516 build_tree_conflict_graph): Likewise.
1517 * tree-ssa-loop-ivopts.c (tree_ssa_iv_optimize_init, record_use,
1518 record_important_candidates, set_use_iv_cost, find_depends,
1519 determine_use_iv_costs, iv_ca_new, iv_ca_free, free_loop_data,
1520 tree_ssa_iv_optimize_finalize): Likewise.
1521 * tree-ssa-loop-manip.c (add_exit_phis_var, get_loops_exit,
1522 find_uses_to_rename_use, rewrite_into_loop_closed_ssa,
1523 tree_duplicate_loop_to_header_edge): Likewise.
1524 * tree-ssa-pre.c (init_pre, fini_pre): Likewise.
1525 * tree-ssa.c (verify_flow_insensitive_alias_info,
1526 verify_name_tags, verify_ssa, init_tree_ssa,
1527 delete_tree_ssa): Likewise.
1528 * tree-ssanames.c (marked_ssa_names, init_ssanames,
1529 fini_ssanames): Likewise.
1530 * tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Likewise.
1532 2005-02-17 Ralf Corsepius <ralf.corsepius@rtems.org>
1534 * config/rs6000/t-rtems: Completely reworked.
1536 2005-02-17 Ira Rosen <irar@il.ibm.com>
1538 * tree-data-ref.c (array_base_name_differ_p): Remove gcc_assert.
1540 2005-02-17 Ira Rosen <irar@il.ibm.com>
1542 * tree-vect-analyze.c (vect_analyze_pointer_ref_access): Use
1543 POINTER_TYPE_P when checking that type is a pointer.
1544 (vect_get_memtag): Remove.
1545 (vect_address_analysis): Use POINTER_TYPE_P. Call
1546 vect_object_analysis with dummy parameter for memtag.
1547 (vect_object_analysis): Extract memtag (functionality that
1548 used to be in vect_get_memtag and moved here). Fix printings.
1549 (vect_analyze_data_refs): Fix comment. Call vect_object_analysis
1550 with correct parameters. Remove call to vect_get_memtag.
1552 2005-02-17 Dorit Naishlos <dorit@il.ibm.com>
1554 * Makefile.in (tree-vect-analyze.o, tree-vect-transform.o): New.
1555 (tree-vectorizer.o): Added missing dependencies.
1557 * tree-vectorizer.h (vect_dump, vect_verbosity_level): Added extern
1559 (slpeel_tree_peel_loop_to_edge): Function externalized (had a static
1560 declaration in tree-vectorizer.c, now has an extern declaration in
1562 (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
1563 slpeel_verify_cfg_after_peeling, vect_strip_conversion,
1564 get_vectype_for_scalar_type, vect_is_simple_use,
1565 vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
1566 vect_supportable_dr_alignment, new_loop_vec_info, destroy_loop_vec_info,
1567 new_stmt_vec_info, vect_analyze_loop, vectorizable_load,
1568 vectorizable_store, vectorizable_operation, vectorizable_assignment,
1569 vect_transform_loop, vect_print_dump_info, vect_set_verbosity_level,
1570 find_loop_location): Likewise.
1572 * tree-vectorizer.c (langhooks.h): #include removed.
1573 (slpeel_tree_peel_loop_to_edge): Function externalized. Declaration
1574 moved to tree-vectorized.h.
1575 (slpeel_make_loop_iterate_ntimes, slpeel_can_duplicate_loop_p,
1576 slpeel_verify_cfg_after_peeling, vect_strip_conversion,
1577 get_vectype_for_scalar_type, vect_is_simple_use,
1578 vect_is_simple_iv_evolution, vect_can_force_dr_alignment_p,
1579 vect_supportable_dr_alignment, new_loop_vec_info,
1580 destroy_loop_vec_info, new_stmt_vec_info, vect_print_dump_info,
1581 vect_set_verbosity_level, find_loop_location): Likewise.
1583 (vect_analyze_loop): Function externalized. Declaration moved to
1584 tree-vectorized.h. Function definition moved to tree-vect-analyze.c.
1585 (vect_analyze_loop_form): Moved to tree-vect-analyze.c.
1586 (vect_mark_stmts_to_be_vectorized, vect_analyze_scalar_cycles,
1587 vect_analyze_data_ref_accesses, vect_analyze_data_ref_dependences,
1588 vect_analyze_data_refs_alignment, vect_compute_data_refs_alignment,
1589 vect_enhance_data_refs_alignment, vect_analyze_operations,
1590 exist_non_indexing_operands_for_use_p, vect_mark_relevant,
1591 vect_stmt_relevant_p, vect_get_loop_niters,
1592 vect_analyze_data_ref_dependence, vect_compute_data_ref_alignment,
1593 vect_analyze_data_ref_access, vect_analyze_pointer_ref_access,
1594 vect_can_advance_ivs_p, vect_get_ptr_offset, vect_analyze_offset_expr,
1595 vect_base_addr_differ_p, vect_object_analysis, vect_address_analysis,
1596 vect_get_memtag): Likewise.
1598 (vectorizable_load): Function externalized. Declaration moved to
1599 tree-vectorized.h. Function definition moved to tree-vect-transform.c.
1600 (vectorizable_store, vectorizable_operation, vectorizable_assignment,
1601 vect_transform_loop): Likewise.
1602 (vect_transform_stmt): Moved to tree-vect-transform.c.
1603 (vect_align_data_ref, vect_create_destination_var,
1604 vect_create_data_ref_ptr, vect_create_index_for_vector_ref,
1605 vect_create_addr_base_for_vector_ref, vect_get_new_vect_var,
1606 vect_get_vec_def_for_operand, vect_init_vector,
1607 vect_finish_stmt_generation, vect_generate_tmps_on_preheader,
1608 vect_build_loop_niters, vect_update_ivs_after_vectorizer,
1609 vect_gen_niters_for_prolog_loop, vect_update_inits_of_dr,
1610 vect_update_inits_of_drs, vect_do_peeling_for_alignment,
1611 vect_do_peeling_for_loop_bound): Likewise.
1613 * tree-vect-analyze.c: New file.
1614 * tree-vect-transform.c: New file.
1616 2005-02-17 Jason Merrill <jason@redhat.com>
1618 PR mudflap/19319, c++/19317
1619 * gimplify.c (gimplify_modify_expr_rhs) [CALL_EXPR]: Make return
1622 2005-02-17 Gerald Pfeifer <gerald@pfeifer.com>
1624 * doc/install.texi (Specific): Update link for Darwin-specific
1627 2005-02-16 James A. Morrison <phython@gcc.gnu.org>
1629 * fold-const.c (invert_truthvalue): <INTEGER_CST>: Call
1630 constant_boolean_node.
1632 2005-02-16 David Edelsohn <edelsohn@gnu.org>
1635 * config/rs6000/t-aix43 (SHLIB_MAPFILES): Add libgcc-ppc64.ver.
1636 * config/rs6000/t-aix52 (SHLIB_MAPFILES): Same.
1638 2005-02-16 Richard Henderson <rth@redhat.com>
1641 * libgcc2.c (WORD_SIZE): Remove all definitions; replace uses
1643 (HIGH_WORD_COEFF, HIGH_HALFWORD_COEFF): Remove all definitions;
1644 replace uses with Wtype_MAXp1_F.
1645 (L_fixunstfdi, L_fixtfdi, L_floatditf, L_fixunsxfdi, L_fixxfdi,
1646 L_floatdixf, L_fixunsxfsi, L_fixunsdfdi, L_floatdidf, L_fixunsdfsi,
1647 L_powidf2, L_powixf2, L_powitf2, L_muldc3, L_divdc3, L_mulxc3,
1648 L_divxc3, L_multc3, L_divtc3): Protect with HAVE_DFMODE, HAVE_XFMODE,
1649 and HAVE_TFMODE as appropriate.
1650 (__fixunssfDI): Provide an implementation that doesn't need DFmode.
1651 (__floatdisf): Likewise.
1652 * libgcc2.h (LIBGCC2_DOUBLE_TYPE_SIZE): New.
1653 (HAVE_DFMODE, HAVE_XFMODE, HAVE_TFMODE): New.
1654 (Wtype_MAXp1_F): New.
1655 (DFtype, DCtype, __fixdfdi, __floatdidf, __fixunsdfSI, __fixunsdfDI,
1656 __powidf2, __divdc3, __muldc3): Protect with HAVE_DFMODE.
1658 2005-02-16 Richard Earnshaw <rearnsha@arm.com>
1661 * arm.c (arm_apply_result_size): New function.
1662 * arm.h (APPLY_RESULT_SIZE): Define.
1663 * arm-protos.h (arm_apply_result_size): Add prototype.
1664 * arm.md (RO_REGNUM, FPA_F0_REGNUM, FPA_F7_REGNUM): New constants.
1665 (movxf): New expand.
1666 (ldmsi_postinc4_thumb, stmsi_postinc4_thumb): New patterns for Thumb.
1667 (call_value_symbol): Remove predicate for operand 0.
1668 (call_value_insn, sibcall_value, sibcall_value_insn): Likewise.
1669 (untyped_call): Rework to correclty return values for any type.
1670 (untyped_return): New expand.
1671 * fpa.md (movxf_fpa): Simplify and use sfm/lfm when appropriate.
1673 2005-02-16 Stan Shebs <shebs@apple.com>
1675 * config.gcc (powerpc-*-darwin*): Use fragment for Darwin 8 or later.
1676 * config/rs6000/t-darwin8: New, for 64-bit multilib.
1678 2005-02-16 Eric Botcazou <ebotcazou@libertysurf.fr>
1680 * doc/install.texi (sparc-sun-solaris2*): Document required GMP
1681 configure settings on Solaris 7 and later.
1683 2005-02-16 Diego Novillo <dnovillo@redhat.com>
1685 PR tree-optimization/19865
1686 * tree-optimize.c (init_tree_optimization_passes): Run
1687 pass_may_alias after pass_sra.
1689 2005-02-16 Richard Henderson <rth@redhat.com>
1690 Stuart Hastings <stuart@apple.com>
1693 * dbxout.c (dbxout_function_end): Take decl parameter; update callers.
1694 Do nothing if debug info suppressed for this function.
1695 (dbxout_begin_function): Early exit if debug info suppressed for
1698 2005-02-16 Kazu Hirata <kazu@cs.umass.edu>
1701 * config/ip2k/ip2k.c (ip2k_reorg): Adjust calls to
1703 * config/sh/sh.c (sh_output_mi_thunk): Likewise.
1705 PR tree-optimization/19967
1706 * builtins.c (expand_builtin_strstr, expand_builtin_strpbrk,
1707 expand_builtin_strchr, expand_builtin_strrchr): Take a new
1708 argument TYPE. Adjust calls to fold_builtin_XXX.
1709 (expand_builtin, fold_builtin_1): Adjust calls to
1711 (fold_builtin_strchr, fold_builtin_strpbrk,
1712 fold_builtin_strstr, fold_builtin_strrchr): Convert the folded
1713 result to a requested type TYPE.
1715 2005-02-16 Jakub Jelinek <jakub@redhat.com>
1718 * fold-const.c (fold): Don't optimize (T)(x & cst) to
1719 (T)x & (T)cst if (T)cst overflows.
1720 * convert.c (convert_to_integer) <case POINTER_TYPE>: Pass
1721 TYPE_UNSIGNED (type) as type_for_size's UNSIGNEDP argument.
1723 2005-02-15 Jeff Law <law@redhat.com>
1725 * gcse.c (blocks_with_calls): New bitmap.
1726 (alloc_gcse_mem): Allocate it.
1727 (free_gcse_mem): Free it.
1728 (clear_modifY_mem_tables): Clear it.
1729 (record_last_mem_set_info): Set the proper bit in BLOCK_WITH_CALLS
1730 when we encounter CALL_INSNs.
1731 (compute_transp, case MEM): Handle blocks with calls separate
1732 from blocks without calls. Use bitmap iterators rather than
1735 2005-02-15 Peter O'Gorman <peter@pogma.com>
1738 * mklibgcc.in (vis_hide): Use a temporary object file, not
1741 2005-02-15 Andy Hutchinson <HutchinsonAndy@netscape.net>
1744 * config/avr/avr.h (MODES_TIEABLE_P): Define to 1 to allow subreg
1745 access optimization.
1747 2005-02-15 David Edelsohn <edelsohn@gnu.org>
1748 Alan Modra <amodra@bigpond.net.au>
1751 * config/rs6000/darwin-ldouble.c (_xlqadd): Rename to __gcc_qadd.
1752 (_xlqsub): Rename to __gcc_qsub.
1753 (_xlqmul): Rename to __gcc_qmul.
1754 (_xlqdiv): Rename to __gcc_qdiv.
1755 Provide versioned symbol aliases with old names.
1756 * config/rs6000/libgcc-ppc64.ver: Rename symbols.
1757 * config/rs6000/rs6000.c (rs6000_init_libfuncs): Rename symbols.
1758 * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): New.
1759 * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): New.
1760 * config/rs6000/t-newas (LIB2FUNCS_EXTRA): New.
1762 2005-02-15 James A. Morrison <phython@gcc.gnu.org>
1764 * fold-const.c (fold): Fold -(~A) to A + 1. Fold ~(-A) to A - 1.
1765 Fold ~(A - 1) and ~(A + -1) to -A.
1767 2005-02-15 James A. Morrison <phython@gcc.gnu.org>
1771 * config/host-linux.c (linux_gt_pch_use_address): Copy from
1772 config/pa/pa-host.c:pa_gt_pch_use_address.
1774 2005-02-15 Daniel Berlin <dberlin@dberlin.org>
1776 * tree-vn.c (get_value_handle): Make sure that given an
1777 is_gimple_min_invariant expression, we always return it.
1779 2005-02-15 Kazu Hirata <kazu@cs.umass.edu>
1781 * passes.c (rest_of_handle_gcse): Fix a comment.
1783 2005-02-15 Jeff Law <law@redhat.com>
1785 * gcse.c (canon_modify_mem_set_list_set): Kill unnecessary
1787 (alloc_gcse_mem, free_gcse_mem): Corresponding changes.
1788 (canon_list_insert, record_last_mem_set_info): Similarly.
1789 (clear_modify_mem_tables): Similarly.
1791 2005-02-15 Kazu Hirata <kazu@cs.umass.edu>
1793 * bitmap.c, bitmap.h, lambda-code.c, tree-dfa.c, tree-dump.c,
1794 tree-dump.h, tree-ssa-loop-manip.c, value-prof.c,
1795 config/mips/mips.md, config/rs6000/aix.h,
1796 config/rs6000/beos.h, config/rs6000/sysv4.h: Update copyright.
1798 2005-02-15 Richard Henderson <rth@redhat.com>
1800 * bb-reorder.c (find_traces_1_round): Force fallthru edge from a
1801 call to be best_edge.
1803 2005-02-14 Kazu Hirata <kazu@cs.umass.edu>
1805 * basic-block.h: Adjust the prototype for find_basic_blocks.
1806 * cfgbuild.c (find_basic_blocks): Remove unused arguments.
1807 * passes.c (rest_of_handle_loop_optimize): Adjust the call to
1810 * flow.c (recompute_reg_usage): Remove all arguments.
1811 * passes.c (rest_of_compilation): Adjust the call to
1812 recompute_reg_usage.
1813 * rtl.h: Adjust the prototype for recompute_reg_usage.
1815 2005-02-14 Daniel Berlin <dberlin@dberlin.org>
1817 * tree-dump.c (dump_files): Update to reflect new member
1819 (dump_register): Add new argument.
1821 (dump_switch_p_1): Check against glob name if doglob was passed.
1822 (dump_switch_p): Check against regular first, then glob if
1823 we didn't have any hits on the dump name.
1824 * tree-optimize.c (register_one_dump_file):
1825 Pass in glob name as well.
1826 * tree-pass.h (struct dump_file_info): Add glob
1829 2005-02-14 Joseph S. Myers <joseph@codesourcery.com>
1831 PR preprocessor/16323
1832 * doc/invoke.texi: Document that -Wendif-labels is on by default.
1834 2005-02-14 David Edelsohn <edelsohn@gnu.org>
1837 * config/rs6000/rs6000.md (trunctfdf2): Change to define_expand.
1838 (trunctfdf2_internal1): New.
1839 (trunctfdf2_internal2): Renamed from trunctfdf2.
1841 2005-02-14 Diego Novillo <dnovillo@redhat.com>
1843 PR tree-optimization/19853
1844 * tree-dfa.c (add_referenced_var): Always examine DECL_INITIAL.
1846 2005-02-14 Kazu Hirata <kazu@cs.umass.edu>
1848 * passes.c (rest_of_handle_loop_optimize): Remove calls to
1849 delete_dead_jumptables and cleanup_cfg.
1851 2005-02-14 Ulrich Weigand <uweigand@de.ibm.com>
1853 * reload.c (find_reloads): Swap address_reloaded flags when
1854 swapping commutative operands.
1856 2005-02-14 Sebastian Pop <pop@cri.ensmp.fr>
1858 * lambda-code.c (lambda_loopnest_to_gcc_loopnest, perfect_nestify):
1859 Use standard_iv_increment_position for computing the bsi position
1861 * tree-ssa-loop-manip.c (create_iv): Add a comment on how to compute
1864 2005-02-13 Zdenek Dvorak <dvorakz@suse.cz>
1867 * cfgrtl.c (safe_insert_insn_on_edge): Avoid extending
1868 life range of hard registers.
1869 * value-prof.c (insn_prefetch_values_to_profile): Only
1872 * value-prof.c (rtl_find_values_to_profile): Do not look for values to
1873 profile in libcalls.
1875 2005-02-13 Nathan Sidwell <nathan@codesourcery.com>
1877 * bitmap.h (bitmap_and_compl_into): Return bool.
1878 * bitmap.c (bitmap_and_compl_into): Return changed flag.
1880 2005-02-13 James A. Morrison <phython@gcc.gnu.org>
1882 PR tree-optimization/19944
1883 * fold-const.c (fold): Re-add ABS_EXPR folding.
1885 2005-02-13 David Edelsohn <edelsohn@gnu.org>
1888 * config/rs6000/aix.h ({TARGET,MASK}_XL_CALL): Rename to
1889 {TARGET,MASK}_XL_COMPAT.
1890 (SUBTARGET_SWITCHES): Rename xl-call to xl-compat. Use
1892 * config/rs6000/beos.h ({TARGET,MASK}_XL_CALL): Remove.
1893 * config/rs6000/rs6000.c (function_arg): Change TARGET_XL_CALL to
1895 (rs6000_arg_partial_bytes): Same.
1896 (rs6000_generate_compare): Generate PARALLEL for compare if TFmode
1897 and XL compatibility enabled.
1898 * config/rs6000/rs6000.h (TARGET_XL_CALL): Rename to TARGET_XL_COMPAT.
1899 * config/rs6000/rs6000.md (cmptf_internal1): Add !TARGET_XL_COMPAT
1900 test to final condition.
1901 (cmptf_internal2): New.
1902 * doc/invoke.texi (RS/6000 Subtarget Options): Change xl-call to
1903 xl-compat. Add TFmode information to description.
1905 2005-02-13 Kazu Hirata <kazu@cs.umass.edu>
1907 * flags.h, read-rtl.c, tree-ssa-live.h: Update copyright.
1909 2005-02-13 Jason Merrill <jason@redhat.com>
1912 * fold-const.c (fold_indirect_ref_1): Split out from...
1913 (build_fold_indirect_ref): Here.
1914 (fold_indirect_ref): New fn.
1915 * tree.h: Declare it.
1916 * gimplify.c (gimplify_compound_lval): Call fold_indirect_ref.
1917 (gimplify_modify_expr_rhs): Likewise.
1918 (gimplify_expr): Likewise.
1920 2005-02-13 James A. Morrison <phython@gcc.gnu.org>
1922 PR tree-optimization/14303
1923 PR tree-optimization/15784
1924 * fold-const.c (fold): Fold ABS_EXPR<x> >= 0 to true, when possible.
1925 Fold ABS_EXPR<x> < 0 to false. Fold ABS_EXPR<x> == 0 to x == 0 and
1926 ABS_EXPR<x> != 0 to x != 0.
1928 2005-02-12 Kazu Hirata <kazu@cs.umass.edu>
1930 * c-tree.h, combine.c, expmed.c, flow.c, libgcc2.c,
1931 simplify-rtx.c, tree-ssa-live.h: Fix comment typos. Follow
1932 spelling conventions.
1934 * passes.c (rest_of_handle_gcse): Don't run cse_main and
1935 delete_trivially_dead_insns too many times.
1937 * passes.c (rest_of_handle_gcse): Remove dead assignments to
1940 2005-02-12 Ira Rosen <irar@il.ibm.com>
1942 * tree-vectorizer.c (vect_get_base_and_offset): Remove.
1943 (vect_is_simple_iv_evolution): Remove redundant parameter
1945 (vect_analyze_scalar_cycles): Call vect_is_simple_iv_evolution
1946 without last parameter.
1947 (vect_analyze_pointer_ref_access): Get access_fn as parameter.
1948 Return pointer step. Call vect_is_simple_iv_evolution without
1949 last parameter. Check only that the step is multiple of size
1950 type. Remove stmt_vinfo updates.
1951 (vect_get_memtag_and_dr): Remove.
1952 (vect_get_memtag): New function.
1953 (vect_address_analysis): New function.
1954 (vect_object_analysis): New function.
1955 (vect_analyze_data_refs): Call vect_object_analysis and
1956 vect_get_memtag. Update stmt_vinfo fields.
1958 2005-02-12 Ira Rosen <irar@il.ibm.com>
1960 * tree-data-ref.c (array_base_name_differ_p): Check that the bases
1961 exist and are objects. Remove checks for pointer.
1962 * tree-vectorizer.c (vect_create_addr_base_for_vector_ref): Use
1963 STMT_VINFO_VECT_DR_BASE_ADDRESS instead of DR_BASE_NAME.
1964 (vect_create_data_ref_ptr): Likewise.
1965 (vect_base_addr_differ_p): New function.
1966 (vect_analyze_data_ref_dependence): Call vect_base_addr_differ_p.
1967 (vect_analyze_pointer_ref_access): Add output parameter - ptr_init.
1968 Don't set the DR_BASE_NAME field of data-ref.
1969 (vect_get_memtag_and_dr): Use ptr_init instead of DR_BASE_NAME.
1971 2005-02-12 Uros Bizjak <uros@kss-loka.si>
1973 * optabs.h (enum optab_index): Add new OTI_ldexp.
1974 (ldexp_optab): Define corresponding macro.
1975 * optabs.c (init_optabs): Initialize ldexp_optab.
1976 * genopinit.c (optabs): Implement ldexp_optab using ldexp?f3
1978 * builtins.c (expand_builtin_mathfn_2): Handle BUILT_IN_LDEXP{,F,L}
1980 (expand_builtin): Expand BUILT_IN_LDEXP{,F,L} using
1981 expand_builtin_mathfn_2 if flag_unsafe_math_optimizations is set.
1983 * config/i386/i386.md (ldexpsf3, ldexpdf3, ldexpxf3): New expanders
1984 to implement ldexpf, ldexp and ldexpl built-ins as inline x87
1987 2005-02-12 Ira Rosen <irar@il.ibm.com>
1989 * tree-vectorizer.h (struct _stmt_vec_info): Rename a field: base
1991 * tree-vectorizer.c (new_stmt_vec_info): Rename the above field of
1993 (vect_get_base_and_offset): Always return an address.
1994 (vect_create_addr_base_for_vector_ref): Remove treatment for
1995 different data reference types.
1996 (vect_compute_data_ref_alignment): Rename base to base_address in
1997 stmt_vec_info. Get the object in order to force its alignment.
1998 (vect_get_memtag_and_dr): Rename base to base_address in
1999 stmt_vec_info. Extract the object for memtag analysis.
2001 2005-02-12 Hans-Peter Nilsson <hp@axis.com>
2003 PR regression/19898.
2004 * config/cris/cris.c (cris_notice_update_cc): When testing if insn
2005 changes cc_status, use apply modified_in_p to part of cc_status
2006 and insn, not cris_reg_overlap_mentioned_p on SET_DEST of insn
2009 2005-02-11 Richard Henderson <rth@redhat.com>
2011 * tree-complex.c (expand_complex_libcall): New.
2012 (expand_complex_multiplication): Use it for c99 compliance.
2013 (expand_complex_division): Likewise.
2014 * fold-const.c (fold_complex_add, fold_complex_mult): New.
2016 * builtins.c (built_in_names): Remove const.
2017 * tree.c (build_common_builtin_nodes): Build complex arithmetic
2019 * tree.h (BUILT_IN_COMPLEX_MUL_MIN, BUILT_IN_COMPLEX_MUL_MAX): New.
2020 (BUILT_IN_COMPLEX_DIV_MIN, BUILT_IN_COMPLEX_DIV_MAX): New.
2021 (built_in_names): Remove const.
2022 * c-common.c (c_common_type_for_mode): Handle complex modes.
2023 * flags.h, toplev.c (flag_complex_method): Rename from
2024 flag_complex_divide_method.
2025 * libgcc2.c (__divsc3, __divdc3, __divxc3, __divtc3,
2026 __mulsc3, __muldc3, __mulxc3, __multc3): New.
2027 * libgcc2.h: Declare them.
2028 * libgcc-std.ver: Export them.
2029 * mklibgcc.in (lib2funcs): Build them.
2031 2005-02-11 Steven Bosscher <stevenb@suse.de>
2033 PR tree-optimization/19876
2034 Partially revert my change from 2005-01-14
2035 * tree-ssa-pre.c (compute_antic_aux): Make recursive once again...
2036 (compute_antic): ...and remove the loop here.
2038 2005-02-11 Jakub Jelinek <jakub@redhat.com>
2041 * fold-const.c (make_bit_field_ref): If bitpos == 0 and bitsize
2042 is number of inner's bits, avoid creating a BIT_FIELD_REF.
2044 * config/rs6000/sysv4.h (ENDFILE_LINUX_SPEC): Use crtendS.o instead of
2045 crtend.o if -pie. Use %{x:a;:b} spec syntax.
2047 2005-02-11 Daniel Jacobowitz <dan@codesourcery.com>
2049 * config/mips/linux-unwind.h (mips_fallback_frame_state): Adjust
2050 offsets for the big-endian 32-bit case.
2052 2005-02-11 Joseph S. Myers <joseph@codesourcery.com>
2054 * config/ia64/hpux.h (WCHAR_TYPE, WCHAR_TYPE_SIZE): Define.
2056 2005-02-11 Dale Johannesen <dalej@apple.com>
2058 * cselib.c (cselib_process_insn): Clear out regs where
2059 HARD_REGNO_CALL_PART_CLOBBERED is true at a call.
2060 * reload.c (find_equiv_reg): Ditto.
2062 2005-02-11 Ian Lance Taylor <ian@airs.com>
2064 * read-rtl.c (read_rtx_1): Give fatal error if we see a vector
2067 * tree.c (build_function_type_list): Work correctly if there are
2070 2005-02-11 Ulrich Weigand <uweigand@de.ibm.com>
2072 * config/s390/s390.md ("*cmpdi_cct", "*cmpsi_cct", "*cmpdi_ccs",
2073 "*cmpsi_ccs"): Use %h instead of %c to print immediate operand.
2074 ("*zero_extendhisi2_64", "*zero_extendhisi2_31"): Choose based on
2075 TARGET_ZARCH instead of TARGET_64BIT.
2077 2005-02-11 Ralf Corsepius <ralf.corsepius@rtems.org>
2079 * config/rs6000/t-rtems:
2080 (MULTILIB_OPTIONS): Remove mcpu=602.
2081 (MUTLILIB_DIRNAMES): Remove m602.
2082 (MULTILIB_MATCHES): Add ${MULTILIB_MATCHES_FLOAT}.
2083 Let mcpu=602 match mcpu=603.
2084 (MULTILIB_NEW_EXCEPTIONS_ONLY): Add mcpu=601, mcpu=602, mcpu=m603.
2086 2005-02-10 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
2088 * pa/linux-unwind.h (pa32_fallback_frame_state): Handle misaligned
2091 2005-02-10 David Daney <ddaney@avtrex.com>
2093 * config/alpha/linux-unwind.h: Add exception clause to copyright.
2094 * config/i386/linux-unwind.h: Likewise.
2095 * config/ia64/linux-unwind.h: Likewise.
2096 * config/mips/linux-unwind.h: Likewise.
2097 * config/pa/linux-unwind.h: Likewise.
2098 * config/rs6000/linux-unwind.h: Likewise.
2099 * config/s390/linux-unwind.h: Likewise.
2100 * config/sh/linux-unwind.h: Likewise.
2101 * config/sparc/linux-unwind.h: Likewise.
2103 2005-02-10 Steven Bosscher <stevenb@suse.de>
2105 PR tree-optimization/17549
2106 * tree-outof-ssa.c (find_replaceable_in_bb): Do not allow
2107 TER to replace a DEF with its expression if the DEF and the
2108 rhs of the expression we replace into have the same root
2111 2005-02-10 Richard Sandiford <rsandifo@redhat.com>
2113 * config/mips/mips.md: Fix the placement of the match_scratch in the
2116 2005-02-10 Kazu Hirata <kazu@cs.umass.edu>
2118 * cse.c, tree-ssa-loop-ivopts.c, config/rs6000/linux-unwind.h:
2121 2005-02-10 Zdenek Dvorak <dvorakz@suse.cz>
2123 * tree-ssa-loop-ivopts.c (determine_base_object): Ignore casts.
2124 (strip_offset): Handle addresses.
2125 (add_address_candidates): Use strip_offset.
2126 (difference_cost): Reflect strip_offset change.
2127 (force_var_cost, difference_cost): Strip nops.
2129 2005-02-10 Kazu Hirata <kazu@cs.umass.edu>
2131 * df.h (DF_REF_MODE_CHANGE, DF_REF_MEM_OK): Remove.
2133 * builtins.def, haifa-sched.c, libgcc2.c, libgcc2.h,
2134 tree-ssa-loop-ivcanon.c, tree-ssa-loop-niter.c,
2135 config/cris/cris-protos.h, config/cris/cris.c: Update
2138 2005-02-10 Jeff Law <law@redhat.com>
2140 * tree-ssa-dom.c (thread_across_edge): Use xmalloc, not xcalloc.
2141 (lookup_avail_expr): Similarly.
2143 2005-02-10 Richard Guenther <rguenth@gcc.gnu.org>
2145 * builtins.c (fold_builtin_powi): New function.
2146 (fold_builtin_1): Call it.
2148 2005-02-10 Steven Bosscher <stevenb@suse.de>
2150 PR documentation/19309
2151 * doc/cpp.texi: The __GNUC__ and related predefined macros
2152 are also defined for the "standalone" cpp.
2153 Some non-GCC compilers may also define __GNUC__.
2155 2005-02-10 Jakub Jelinek <jakub@redhat.com>
2158 * c-typeck.c (common_type): New routine. Old common_type renamed
2160 (c_common_type): ...this.
2161 (build_conditional_expr, build_binary_op): Use c_common_type instead
2164 2005-02-10 Steven Bosscher <stevenb@suse.de>
2166 * doc/md.texi: Replace @samp{length} with @code{length}.
2168 2005-02-09 Zdenek Dvorak <dvorakz@suse.cz>
2170 PR tree-optimization/18687
2171 * tree-flow.h (find_loop_niter): Declare.
2172 * tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables):
2173 Try using scev even for loops with more than one exit.
2174 * tree-ssa-loop-ivopts.c (struct loop_data): Removed niter field.
2175 (struct ivopts_data): Added niters field.
2176 (struct nfe_cache_elt): New.
2177 (nfe_hash, nfe_eq, niter_for_exit, niter_for_single_dom_exit): New
2179 (tree_ssa_iv_optimize_init): Initialize niters cache.
2180 (determine_number_of_iterations): Removed.
2181 (find_induction_variables): Do not call determine_number_of_iterations.
2182 Access niters for single exit through niter_for_single_dom_exit.
2183 (add_iv_outer_candidates): Access niters for single exit through
2184 niter_for_single_dom_exit.
2185 (may_eliminate_iv): Take data argument. Use niter_for_exit. Do not use
2186 number_of_iterations_cond.
2187 (iv_period): New function.
2188 (determine_use_iv_cost_condition): Pass data to may_eliminate_iv.
2189 (may_replace_final_value): Take data argument. Use
2190 niter_for_single_dom_exit.
2191 (determine_use_iv_cost_outer): Pass data to may_replace_final_value.
2192 (rewrite_use_compare): Pass data to may_eliminate_iv.
2193 (rewrite_use_outer): Pass data to may_replace_final_value.
2194 (free_loop_data): Clean up the niters cache.
2195 (tree_ssa_iv_optimize_finalize): Free the niters cache.
2196 (tree_ssa_iv_optimize_loop): Do not call loop_commit_inserts.
2197 * tree-ssa-loop-niter.c (find_loop_niter): New function.
2198 (find_loop_niter_by_eval): Use tree_int_cst_lt.
2199 (num_ending_zeros): Moved to tree.c.
2200 * tree.h (num_ending_zeros): Declare.
2201 * tree.c (num_ending_zeros): Moved from tree.c.
2203 2005-02-09 Richard Henderson <rth@redhat.com>
2205 * builtins.c (DEF_BUILTIN): Add COND argument.
2206 * tree.h (DEF_BUILTIN): Likewise.
2207 * builtins.def (DEF_GCC_BUILTIN, DEF_LIB_BUILTIN, DEF_EXT_LIB_BUILTIN,
2208 DEF_C94_BUILTIN, DEF_C99_BUILTIN, DEF_C99_C90RES_BUILTIN): Update to
2210 (DEF_BUILTIN_STUB): New.
2211 (BUILT_IN_STACK_SAVE, BUILT_IN_STACK_RESTORE, BUILT_IN_INIT_TRAMPOLINE,
2212 BUILT_IN_ADJUST_TRAMPOLINE, BUILT_IN_NONLOCAL_GOTO,
2213 BUILT_IN_PROFILE_FUNC_ENTER, BUILT_IN_PROFILE_FUNC_EXIT): Use it.
2214 * c-common.c (DEF_BUILTIN): Add COND argument.
2215 * tree.c (local_define_builtin): New.
2216 (build_common_builtin_nodes): New.
2218 2005-02-09 Roger Sayle <roger@eyesopen.com>
2220 * fold-const.c (fold_strip_sign_ops): New function to simplify a
2221 floating point expression ignoring the sign of the result.
2222 (fold) <ABS_EXPR>: Use it to simplify fabs(x).
2223 (fold) <MULT_EXPR>: Use it to simplify x*x.
2224 * tree.h (fold_strip_sign_ops): Prototype here.
2225 * builtins.c (fold_builtin_copysign): Take an additional FNDECL
2226 argument. Use fold_strip_sign_ops to simplify the first argument.
2227 (fold_builtin_pow): Use fold_strip_sign_ops to simplify the
2228 first argument when the second argument is an even integer
2229 constant, but only with -funsafe_math_optimizations.
2230 (fold_builtin_1): Update call to fold_builtin_copysign.
2232 2005-02-09 Ian Lance Taylor <ian@airs.com>
2235 * gimple-low.c (try_catch_may_fallthru): In EH_FILTER_EXPR case,
2236 just check whether EH_FILTER_FAILURE falls through.
2238 2005-02-09 Andreas Krebbel <krebbel1@de.ibm.com>
2240 * gcc/haifa-sched.c (schedule_block): Make queued sched group
2241 insns return to ready list in the next turn.
2243 2005-02-09 Richard Guenther <rguenth@gcc.gnu.org>
2246 * builtins.def: New __builtin_powi[lf].
2247 * builtins.c (mathfn_built_in): Handle BUILT_IN_POWI.
2248 (expand_builtin_powi): New function.
2249 (expand_builtin): Dispatch to expand_builtin_powi.
2250 * libgcc2.h: Add prototypes for __builtin_powi[lf].
2251 * libgcc2.c: Add __builtin_powi[lf] implementation.
2252 * mklibgcc.in: Add __builtin_powi[lf] to lib2funcs.
2253 * optabs.h: Add powi_optab.
2254 * optabs.c (init_optabs): Initialize powi_optab.
2255 * doc/extend.texi: Document __builtin_powi[lf].
2257 2005-02-09 Dorit Naishlos <dorit@il.ibm.com>
2259 * tree-vectorizer.c (vect_set_dump_settings): Check that dump_file
2262 2005-02-09 Richard Guenther <rguenth@gcc.gnu.org>
2265 * fold-const.c (try_move_mult_to_index): Remove redundant
2266 type argument. Create ADDR_EXPR with correct type.
2267 (fold): Update callers of try_move_mult_to_index. Convert
2268 result to the appropriate type.
2270 2005-02-09 Roger Sayle <roger@eyesopen.com>
2273 * config/avr/avr.c (default_rtx_costs): Delete.
2274 (avr_operand_rtx_cost): New function.
2275 (avr_rtx_costs): Completely rewrite.
2277 2005-02-08 Hans-Peter Nilsson <hp@axis.com>
2280 * config/cris/cris.c (in_code): New variable.
2281 (cris_output_addr_const): Now a static function, a wrapper for
2283 (cris_asm_output_symbol_ref): New function, broken out SYMBOL_REF
2284 case from old cris_output_addr_const.
2285 (cris_asm_output_label_ref): Similar for LABEL_REF.
2286 (cris_output_addr_const_extra): Similar for UNSPEC.
2287 * config/cris/cris.h (OUTPUT_ADDR_CONST_EXTRA)
2288 (ASM_OUTPUT_SYMBOL_REF, ASM_OUTPUT_LABEL_REF): Define.
2289 * config/cris/cris-protos.h (cris_output_addr_const): Remove
2291 (cris_asm_output_symbol_ref, cris_output_addr_const_extra)
2292 (cris_asm_output_label_ref): Declare.
2294 2005-02-08 Paolo Bonzini <bonzini@gnu.org>
2296 PR preprocessor/19801
2297 * doc/cppinternals.texi (Conventions, Lexer, Files): Adjust
2298 filenames that changed when libcpp was moved to the toplevel.
2300 2005-02-07 Roger Sayle <roger@eyesopen.com>
2302 * simplify-rtx.c (simplify_relational_operation_1): Avoid creating
2303 zero extensions of BImode operands. Call lowpart_subreg instead
2304 of gen_lowpart_common and gen_lowpart_SUBREG.
2306 2005-02-07 Nathanael Nerode <neroden@gcc.gnu.org>
2309 * libada-mk.in: Use cc_for_cross_gnattools, not cc_set_by_configure.
2310 * configure.ac: Set cc_for_cross_gnattools.
2311 * configure: Regenerate.
2313 2005-02-08 Alan Modra <amodra@bigpond.net.au>
2316 * predict.c (PROB_VERY_UNLIKELY): Use 1% instead of 10%.
2318 2005-02-07 Eric Botcazou <ebotcazou@libertysurf.fr>
2321 * dbxout.c (dbxout_symbol) <FUNCTION_DECL>: Skip inline instance
2322 of nested functions.
2324 2005-02-07 Jonathan Wakely <redi@gcc.gnu.org>
2326 * doc/extend.texi: Document deprecated extensions allowing
2327 static floating-point members to have initializers and allowing
2328 floating-point literals in integral constant expressions.
2330 2005-02-07 Kazu Hirata <kazu@cs.umass.edu>
2332 * cfgcleanup.c, df.h, diagnostic.c, rtl.c, tree-vectorizer.h,
2333 config/darwin7.h, config/mips/mips.c,
2334 config/rs6000/altivec.md, config/rs6000/darwin-tramp.asm:
2337 * cse.c: Update comments.
2339 2005-02-07 Richard Guenther <rguenth@gcc.gnu.org>
2342 * builtins.c (fold_builtin_sqrt): Transform
2343 sqrt(pow(x,y)) to pow(fabs(x),y*0.5), not
2346 2005-02-07 Leehod Baruch <leehod@il.ibm.com>
2347 Dorit Naishlos <dorit@il.ibm.com>
2349 * doc/invoke.texi (ftree-vectorizer-verbose): New.
2350 * opts.c (OPT_ftree_vectorizer_verbose_): New case for switch.
2351 * common.opt (ftree-vectorizer-verbose): New Flag for the vectorizer
2353 * tree.h (vect_set_verbosity_level): New extern function declaration
2355 * tree-vectorizer.h (verbosity_levels): New enum type.
2356 * tree-vectorizer.c (vect_debug_stats): Function removed.
2357 (vect_debug_details): Likewise.
2358 (vect_verbosity_level): Global variable was defined and initialized.
2359 (vect_dump): Global variable definition.
2360 (vect_print_dump_info): New function.
2361 (vect_set_dump_settings): New function.
2362 (vect_set_verbosity_level): New function.
2363 (vectorize_loops): Add call to vect_set_dump_settings.
2365 (slpeel_make_loop_iterate_ntimes): Dump condition was changed.
2366 (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
2367 (slpeel_tree_peel_loop_to_edge): Likewise.
2369 (vect_analyze_offset_expr): Call to vect_print_dump_info with
2370 appropriate verbosity level instead of call to vect_debug_details
2371 or vect_debug_stats.
2372 (vect_get_base_and_offset):
2373 (vect_create_addr_base_for_vector_ref):
2374 (get_vectype_for_scalar_type):
2375 (vect_create_data_ref_ptr):
2377 (vect_get_vec_def_for_operand):
2378 (vect_finish_stmt_generation):
2379 (vectorizable_assignment):
2380 (vectorizable_operation):
2381 (vectorizable_store):
2382 (vectorizable_load):
2383 (vect_transform_stmt):
2384 (vect_update_ivs_after_vectorizer):
2385 (vect_do_peeling_for_loop_bound):
2386 (vect_update_inits_of_drs):
2387 (vect_do_peeling_for_alignment):
2388 (vect_transform_loop):
2389 (vect_is_simple_use):
2390 (vect_analyze_operations):
2391 (vect_is_simple_iv_evolution):
2392 (vect_analyze_scalar_cycles):
2393 (vect_analyze_data_ref_dependence):
2394 (vect_analyze_data_ref_dependences):
2395 (vect_compute_data_ref_alignment):
2396 (vect_enhance_data_refs_alignment):
2397 (vect_analyze_data_refs_alignment):
2398 (vect_analyze_data_ref_access):
2399 (vect_analyze_data_ref_accesses):
2400 (vect_analyze_pointer_ref_access):
2401 (vect_get_memtag_and_dr):
2402 (vect_analyze_data_refs):
2403 (vect_mark_relevant):
2404 (vect_stmt_relevant_p):
2405 (vect_mark_stmts_to_be_vectorized):
2406 (vect_can_advance_ivs_p):
2407 (vect_get_loop_niters):
2408 (vect_analyze_loop_form):
2409 (vect_analyze_loop):
2410 (vectorize_loops): Likewise.
2412 (vect_do_peeling_for_loop_bound): Dump format slightly changed.
2413 (vect_update_inits_of_drs):
2414 (vect_do_peeling_for_alignment):
2415 (vect_transform_loop):
2416 (vect_analyze_operations):
2417 (vect_analyze_scalar_cycles):
2418 (vect_analyze_data_ref_dependences):
2419 (vect_analyze_data_refs_alignment):
2420 (vect_analyze_data_ref_accesses):
2421 (vect_analyze_data_refs):
2422 (vect_mark_stmts_to_be_vectorized):
2423 (vect_get_loop_niters):
2424 (vect_analyze_loop_form):
2425 (vect_analyze_loop): Likewise.
2426 (vect_mark_stmts_to_be_vectorized): Add call to print_generic_expr.
2428 2005-02-07 Richard Sandiford <rsandifo@redhat.com>
2432 2005-01-26 Richard Sandiford <rsandifo@redhat.com>
2433 * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
2434 either -ffast-math or -funsafe-math-optimizations is in use.
2436 2005-01-24 Richard Sandiford <rsandifo@redhat.com>
2437 * config/mips/irix-csr.c: New file.
2438 * config/mips/t-iris6 (irix-csr.o): New rule to build it.
2439 (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
2440 * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
2443 2005-02-07 Alexandre Oliva <aoliva@redhat.com>
2445 * config/mn10300/linux.h (LIB_SPEC, STARTFILE_SPEC): Remove
2446 redundant, incorrect definitions.
2448 * config/frv/frv.md ("tls_indirect_call"): Turn into libcall-like
2450 ("*tls_indirect_call"): New, reference hard regs directly.
2451 * config/frv/frv.c (gen_inlined_tls_plt): Adjust.
2453 2005-02-07 Ralf Corsepius <ralf.corsepius@rtems.org>
2455 * config/arm/rtems-elf.h (SUBTARGET_EXTRA_ASM_SPEC):
2456 Let !-mhard-float !-msoft-float imply -mfpu=softfpa.
2458 2005-02-06 Roger Sayle <roger@eyesopen.com>
2460 PR rtl-optimization/19800
2461 * simplify_rtx.c (simplify_relational_operation_1): Explicitly
2462 call gen_lowpart_common and gen_lowpart_SUBREG instead of calling
2465 2005-02-07 Ralf Corsepius <ralf.corsepius@rtems.org>
2467 * config/m68k/t-rtems (MULTILIB_MATCHES): Let m528x match m5200.
2469 2005-02-07 Joseph S. Myers <joseph@codesourcery.com>
2472 * doc/invoke.texi: Correct documentation of -freorder-functions.
2474 2005-02-06 Joseph S. Myers <joseph@codesourcery.com>
2477 * doc/invoke.texi: Don't mention gccbug.
2479 2005-02-06 Roger Sayle <roger@eyesopen.com>
2480 Andrew Pinski <pinskia@physics.uc.edu>
2481 Paolo Bonzini <paolo.bonzini@lu.unisi.ch>
2483 * simplify-rtx.c (simplify_relational_operation_1): Simplify
2484 (ne:SI (zero_extract:SI FOO (const_int 1) BAR) (const_int 0))
2485 into just (zero_extract:SI FOO (const_int 1) BAR).
2487 2005-02-06 Joseph S. Myers <joseph@codesourcery.com>
2489 * doc/cpp.texi: Include gcc-common.texi. Don't define gcctabopt
2490 macro locally. Don't give last revision date. Use GCC version
2491 number from gcc-common.texi.
2492 * doc/cppinternals.texi: Include gcc-common.texi. Don't give last
2493 revision date. Use GCC version number from gcc-common.texi.
2494 Describe being a library as current state rather than as 3.x
2496 * doc/gcc.texi: Remove last update date.
2497 * doc/gccint.texi: Likewise. Update copyright dates.
2498 * doc/install.texi: Update copyright dates.
2500 2005-02-06 Joseph S. Myers <joseph@codesourcery.com>
2503 * doc/invoke.texi: Mention for each option included in -Wall that
2504 it is included in -Wall.
2505 * doc/gcc.texi: Update copyright and last modification date.
2507 2005-02-06 Zdenek Dvorak <dvorakz@suse.cz>
2509 * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Do not add
2510 unnecessary cast to original induction variable increments.
2512 2005-02-06 Zdenek Dvorak <dvorakz@suse.cz>
2514 PR tree-optimization/18219
2515 * tree-ssa-loop-ivopts.c (get_computation_at): Produce computations
2516 in distributed form.
2518 2005-02-06 Richard Sandiford <rsandifo@redhat.com>
2520 * expmed.c (store_bit_field): Make the SUBREG code adjust bitnum.
2521 Set bitpos and offset later in the function. Do nothing if the
2522 target is a register and if the bitfield lies completely outside
2524 (extract_bit_field): Make the same SUBREG, bitpos and offset changes
2525 here. Return an uninitialised register if the source value is stored
2526 in a register and the bitfield lies completely outside that register.
2528 2005-02-06 Steven Bosscher <stevenb@suse.de>
2530 * df.c (df_insn_refs_record): Use XEXP to get the operand of a USE,
2533 2005-02-06 Marcin Dalecki <martin@dalecki.de>
2535 * diagnostic.c (default_diagnostic_finalizer): Fix use of attribute.
2537 2005-02-06 Geoffrey Keating <geoffk@apple.com>
2539 * config.gcc (*-*-darwin*): Separate darwin7 and darwin8 configs.
2540 * config/darwin8.h: New.
2541 * config/darwin7.h: Update comment.
2543 2005-02-03 Leehod Baruch <leehod@il.ibm.com>
2544 Dorit Naishlos <dorit@il.ibm.com>
2546 * tree-vectorizer.h (LOC): New type.
2547 (UNKNOWN_LOC, EXPR_LOC, LOC_FILE, LOC_LINE): New macros.
2548 (loop_line_number): New field in struct _loop_vec_info.
2549 (LOOP_VINFO_LOC, LOOP_LOC): New macros.
2551 * tree-vectorizer.c (input.h): Included.
2552 (find_loop_location): New function.
2553 (vect_debug_stats): Argument changed from loop to LOC. Computation of
2554 loop line number removed.
2555 (vect_debug_details): Likewise.
2556 (new_loop_vec_info): Initialize new field LOOP_VINFO_LOC.
2558 (slpeel_make_loop_iterate_ntimes): Call find_loop_location. Argument in
2559 call to vect_debug_details/stats changed from loop to loop_loc.
2560 (slpeel_tree_duplicate_loop_to_edge_cfg): Likewise.
2561 (slpeel_tree_peel_loop_to_edge): Likewise.
2563 (vect_analyze_offset_expr): Argument in call to vect_debug_details/stats
2564 changed from NULL to UNKNOWN_LOC.
2565 (vect_get_base_and_offset):
2566 (vect_create_addr_base_for_vector_ref):
2567 (get_vectype_for_scalar_type):
2568 (vect_create_data_ref_ptr):
2570 (vect_get_vec_def_for_operand):
2571 (vect_finish_stmt_generation):
2572 (vectorizable_assignment):
2573 (vectorizable_operation):
2574 (vectorizable_store):
2575 (vectorizable_load):
2576 (vect_transform_stmt):
2577 (vect_update_ivs_after_vectorizer):
2578 (vect_do_peeling_for_loop_bound):
2579 (vect_do_peeling_for_alignment):
2580 (vect_transform_loop):
2581 (vect_is_simple_use):
2582 (vect_analyze_operations):
2583 (vect_is_simple_iv_evolution):
2584 (vect_analyze_scalar_cycles):
2585 (vect_analyze_data_ref_dependences):
2586 (vect_compute_data_ref_alignment):
2587 (vect_enhance_data_refs_alignment):
2588 (vect_analyze_data_ref_access):
2589 (vect_analyze_data_ref_accesses):
2590 (vect_analyze_pointer_ref_access):
2591 (vect_get_memtag_and_dr):
2592 (vect_analyze_data_refs):
2593 (vect_mark_relevant):
2594 (vect_stmt_relevant_p):
2595 (vect_mark_stmts_to_be_vectorized):
2596 (vect_can_advance_ivs_p):
2597 (vect_get_loop_niters):
2598 (vect_analyze_loop):
2599 (vectorize_loops): Likewise.
2601 (vectorizable_load): Argument in call to vect_debug_details/stats
2602 changed from loop to LOOP_LOC (loop_vinfo).
2603 (vect_transform_loop):
2604 (vect_analyze_operations):
2605 (vect_analyze_scalar_cycles):
2606 (vect_analyze_data_ref_dependence):
2607 (vect_enhance_data_refs_alignment):
2608 (vect_analyze_data_ref_accesses):
2609 (vect_analyze_pointer_ref_access):
2610 (vect_analyze_data_refs):
2611 (vect_analyze_loop): Likewise.
2613 (vect_analyze_loop_form): Argument in call to vect_debug_details/stats
2614 changed from loop to loop_loc.
2616 (vect_enhance_data_refs_alignment): Removed unused variable loop.
2618 2005-02-03 Leehod Baruch <leehod@il.ibm.com>
2619 Dorit Naishlos <dorit@il.ibm.com>
2621 * tree-vectorizer.c (vect_analyze_data_ref_dependence): Function
2623 (vect_analyze_data_ref_dependences): Likewise.
2625 (vect_is_simple_use): Argument changed from loop structure to
2626 loop_vect_info structure.
2627 (vect_can_advance_ivs_p): Likewise.
2628 (vect_create_index_for_vector_ref): Likewise.
2629 (vect_update_ivs_after_vectorizer): Likewise.
2630 (new_stmt_vec_info): Likewise.
2632 (new_loop_vec_info): Second argument in call to new_stmt_vec_info was
2633 changed from loop to loop_vinfo.
2634 (vect_create_data_ref_ptr): First argument in call to
2635 vect_create_index_for_vector_ref was changed from loop to loop_vinfo.
2636 (vectorizable_assignment): Second argument in call to vect_is_simple_use
2637 was changed from loop to loop_vinfo.
2638 (vectorizable_operation): Likewise.
2639 (vectorizable_store): Likewise.
2640 (vect_mark_stmts_to_be_vectorized): Likewise.
2641 (vect_do_peeling_for_loop_bound): First argument in call to
2642 vect_update_ivs_after_vectorizer was changed from loop to loop_vinfo.
2643 (vect_analyze_operations): Argument in call to vect_can_advance_ivs_p
2644 was changed from loop to loop_vinfo.
2645 (vect_analyze_data_ref_dependences): Third argument in call to
2646 vect_analyze_data_ref_dependence was changed from loop to loop_vinfo.
2648 (vect_create_index_for_vector_ref): Get the loop from loop_vinfo.
2649 (vect_create_data_ref_ptr): Likewise.
2650 (vect_init_vector): Likewise.
2651 (vect_get_vec_def_for_operand): Likewise.
2652 (vectorizable_assignment): Likewise.
2653 (vectorizable_operation): Likewise.
2654 (vectorizable_store): Likewise.
2655 (vectorizable_load): Likewise.
2656 (vect_update_ivs_after_vectorizer): Likewise.
2657 (vect_is_simple_use): Likewise.
2658 (vect_analyze_data_ref_dependence): Likewise.
2659 (vect_analyze_pointer_ref_access): Likewise.
2660 (vect_can_advance_ivs_p): Likewise.
2662 * tree-vectorizer.h: (_loop_vec_info): Definition and macros moved
2663 before _stmt_vec_info.
2664 (_stmt_vec_info): Loop field replaced by loop_vec_info.
2665 (STMT_VINFO_LOOP): Replaced with STMT_VINFO_LOOP_VINFO.
2666 (new_stmt_vec_info): Argument changed from loop structure to
2667 loop_vect_info structure
2669 (vect_analyze_data_ref_dependences): Unnecessary line was removed.
2670 (vect_analyze_offset_expr): Avoid 80 columns overflow.
2671 (vect_create_addr_base_for_vector_ref): Likewise.
2672 (vect_analyze_pointer_ref_access): Likewise.
2674 2005-02-03 Andrew Pinski <pinskia@physics.uc.edu>
2677 * tree-ssa-dse.c (fix_phi_uses): Update the occurs in abnormal
2678 phi flag if the phi is abnormal.
2680 2005-02-03 Andrew Pinski <pinskia@physics.uc.edu>
2683 * tree-ssa.c (replace_immediate_uses): Update the immediate_uses
2684 information for the new statement.
2686 2005-02-03 Joseph S. Myers <joseph@codesourcery.com>
2689 * gcc.c (main): Include the target in -v output.
2691 2005-02-03 Alexandre Oliva <aoliva@redhat.com>
2693 * combine.c (simplify_comparison, case SIGN_EXTEND, ZERO_EXTEND):
2694 Do not drop the extend if we'd have to add a paradoxical subreg
2695 later. Include optabs.h and insn-codes.h.
2696 * Makefile.in (combine.o): Depend on $(OPTABS_H).
2698 2005-02-02 Roger Sayle <roger@eyesopen.com>
2701 * real.h (REAL_MODE_FORMAT_COMPOSITE_P): New macro.
2702 * fold-const.c (const_binop): Avoid constant folding floating
2703 point operations in modes that use composite representations.
2704 * simplify-rtx.c (simplify_binary_operation): Likewise.
2706 2005-02-02 Geoffrey Keating <geoffk@apple.com>
2708 * config/rs6000/altivec.md (altivec_dst): Make the first operand
2710 (altivec_dstt): Likewise.
2711 (altivec_dstst): Likewise.
2712 (altivec_dststt): Likewise.
2713 * config/rs6000/rs6000.c (altivec_expand_dst_builtin): Adjust creation
2716 2005-02-03 Dorit Naishlos <dorit@il.ibm.com>
2718 * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Copy
2719 EXPR_LOCUS from orig_cond to the new cond_stmt.
2720 (vect_finish_stmt_generation): Copy EXPR_LOCUS from stmt to
2723 2005-02-03 Dorit Naishlos <dorit@il.ibm.com>
2725 * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Call
2726 standard_iv_increment_position. Remove call to bsi_next
2727 (no need to bump the iterator anymore).
2728 (vect_create_index_for_vector_ref): Call
2729 standard_iv_increment_position. Remove second function argument.
2730 (vect_finish_stmt_generation): Remove call to bsi_next
2731 (no need to bump the iterator anymore).
2732 (vect_create_data_ref_ptr): Remove second argument (bsi) in call
2733 to vect_create_index_for_vector_ref.
2735 2005-02-03 Dorit Naishlos <dorit@il.ibm.com>
2737 * tree-vectorizer.c (vect_mark_stmts_to_be_vectorized): Check if
2738 phis are used out of the loop.
2740 2005-02-03 Joseph S. Myers <joseph@codesourcery.com>
2743 * c-decl.c (undef_nested_function): New variable.
2744 (pop_scope): Diagnose undefined nested functions.
2745 (finish_function): Don't attempt cgraph processing or genericizing
2746 if current top-level function contained an undefined nested
2747 function. Reset undef_nested_function at the end of a top-level
2750 2005-02-02 Zdenek Dvorak <dvorakz@suse.cz>
2752 * tree.c (build_int_cst_type): Take sign of the value into account
2753 when deciding whether sign extend the value.
2755 2005-02-02 Joseph S. Myers <joseph@codesourcery.com>
2758 * gcc.c (cpp_unique_options): Remove %{trigraphs}.
2759 (cpp_options, cc1_options): Change %{std*&ansi} to
2760 %{std*&ansi&trigraphs}.
2762 2005-02-02 Kazu Hirata <kazu@cs.umass.edu>
2764 * cse.c: Update comments.
2766 2005-02-02 Aldy Hernandez <aldyh@redhat.com>
2768 * config/rs6000/rs6000.c (rs6000_spe_function_arg): Multi-reg
2769 arguments go on the stack. Do not put complex doubles in odd/even
2772 2005-02-02 Steven Bosscher <stevenb@suse.de>
2774 * doc/invoke.texi: Update the options enabled at -O1, -O2,
2775 and -O3. Update the documentation for -fgcse-sm, -fgcse-las,
2776 -ftree-pre, and -fthread-jumps.
2778 2005-02-02 Richard Sandiford <rsandifo@redhat.com>
2780 PR tree-optimization/19578
2781 * tree-flow.h (modified_noreturn_calls): Declare.
2782 (noreturn_call_p): Declare.
2783 * tree-flow-inline.h (noreturn_call_p): New function.
2784 (modify_stmt): Add modified noreturn calls to modified_noreturn_calls.
2785 * tree-cfg.c (modified_noreturn_calls): New variable.
2786 (cleanup_control_flow): Use noreturn_call_p. Split basic blocks
2787 that contain a mid-block noreturn call.
2788 * tree-ssa.c (delete_tree_ssa): Clear modified_noreturn_calls.
2790 2005-02-02 Kazu Hirata <kazu@cs.umass.edu>
2792 * df.c (df_def_record_1, df_uses_record): Don't use
2794 * df.h (DF_FOR_REGALLOC): Remove.
2796 2005-02-02 Joseph S. Myers <joseph@codesourcery.com>
2799 * c-typeck.c (really_start_incremental_init): Reset
2800 constructor_max_index for arrays of incomplete type.
2802 2005-02-02 Jeff Law <law@redhat.com>
2804 * gcse.c (struct reg_set): Store the block index where the register
2805 was set rather than the setting insn.
2806 (record_one_set, compute_transp): Corresponding changes.
2807 (pre_insert_copy_insn): Do not call replace_one_set.
2808 (replace_one_set): Remove.
2810 2005-02-02 Joseph S. Myers <joseph@codesourcery.com>
2813 * doc/gcov.texi: Fix typo.
2815 2005-02-01 Richard Henderson <rth@redhat.com
2818 * config/i386/i386.h (MODES_TIEABLE_P): Use ix86_modes_tieable_p.
2819 * config/i386/i386.c (ix86_hard_regno_mode_ok): Change return
2821 (ix86_tieable_integer_mode_p, ix86_modes_tieable_p): New.
2822 * config/i386/i386-protos.h: Update.
2824 2005-02-01 Steven Bosscher <stevenb@suse.de>
2826 PR tree-optimization/19217
2827 * tree-cfg.c (verify_expr): Use the data field to see if TP was
2828 seen inside a PHI node. Do not do the ADDR_EXPR check if it was.
2829 (verify_stmts): Pass (void*)1 as data to verify_expr to signal
2830 that it is walking a PHI node.
2832 2005-02-01 Joseph S. Myers <joseph@codesourcery.com>
2834 * doc/extend.texi (Nested Functions): Update.
2836 2005-02-01 Richard Henderson <rth@redhat.com>
2839 * optabs.c (expand_copysign_absneg): Export.
2840 * optabs.h (expand_copysign_absneg): Declare.
2841 * config/rs6000/rs6000.md (copysigntf3): New.
2843 2005-02-01 Diego Novillo <dnovillo@redhat.com>
2845 PR tree-optimization/19633
2846 * tree-flow.h (struct ptr_info_def): Add field 'pt_null'.
2847 * tree-ssa-alias.c (init_alias_info): Initialize.
2848 (merge_pointed_to_info): Set.
2849 (add_pointed_to_expr): Set pt_null if EXPR is a NULL pointer.
2850 (dump_points_to_info_for): Show value of pt_null.
2851 (struct count_ptr_d): Declare.
2852 (find_ptr_dereference): Remove.
2853 (ptr_is_dereferenced_by): Remove.
2854 (count_ptr_derefs): New local function.
2855 (count_uses_and_derefs): New local function.
2856 (compute_points_to_and_addr_escape): Call it. If the number
2857 of dereferences is greater than zero, mark the pointer as
2858 dereferenced. If there are fewer dereferences than uses of
2859 the pointer, the pointer's value escapes.
2861 2005-02-01 Diego Novillo <dnovillo@redhat.com>
2863 PR tree-optimization/19670
2864 * tree-ssa.c (verify_ssa_name): Don't set TREE_VISITED
2866 (verify_use): ... set it here, instead.
2868 2005-02-01 Janis Johnson <janis187@us.ibm.com>
2870 * doc/sourcebuild.texi (Test directives): Fix formatting.
2872 * doc/sourcebuild.texi (Test directives): Describe selector
2875 2005-02-01 Segher Boessenkool <segher@kernel.crashing.org>
2877 * config.gcc (powerpc64-*-linux*): Default to -m64 also for
2878 specific 64-bit CPUs.
2880 2005-02-01 Richard Earnshaw <rearnsha@arm.com>
2883 * arm.c (arm_eliminable_register): New function.
2884 (adjacent_mem_locations): Don't allow eliminable registers. Use
2885 HOST_WIDE_INT for address offsets.
2886 * arm-protos.h (arm_eliminable_register): Add prototype.
2888 2005-02-01 Steven Bosscher <stevenb@suse.de>
2890 PR optimization/15242
2891 * params.def (PARAM_MAX_GOTO_DUPLICATION_INSNS): New param.
2892 * basic-block.h (duplicate_computed_gotos): Add prototype.
2893 * bb-reorder.c (duplicate_computed_gotos): New function to
2894 duplicate sufficiently small blocks ending in a computed jump.
2895 * passes.c (rest_of_compilation): Call duplicate_computed_gotos
2896 if not optimizing for size.
2897 * cfgcleanup.c (try_crossjump_bb): If not optimizing for size,
2898 never do tail merging for blocks ending in a computed jump.
2899 * doc/invoke.texi: Document the max-goto-duplication-insns param.
2901 2005-02-01 Eric Botcazou <ebotcazou@libertysurf.fr>
2903 Patch from Richard Sandiford <rsandifo@redhat.com>
2904 * reload1.c (choose_reload_regs): Prevent the find_equiv_reg() code
2905 from inheriting a subreg equivalence with a non-spill register.
2907 * tree.h (DECL_FUNCTION_CODE): Document that it is overloaded.
2909 2005-02-01 Alexandre Oliva <aoliva@redhat.com>
2911 * config/frv/frv.c (movcc_fp_destination_operand): New.
2912 (gpr_or_memory_operand): Fix typo in comment.
2913 (gpr_or_memory_operand_with_scratch): New.
2914 * config/frv/frv.h (PREDICATE_CODES): Add the two new predicates.
2915 * config/frv/frv.md (movcc_fp, movcc_fp_internal): Use
2916 movcc_fp_destination_operand.
2917 (reload_incc_fp): Use gpr_or_memory_operand_with_scratch.
2918 Legitimize memory addresses using a scratch register.
2920 2005-01-31 Jeff Law <law@redhat.com>
2922 * tree-into-ssa.c (mark_def_sites_global_data): Make KILLS
2923 bitmap a sparse bitmap instead of a simple bitmap.
2924 (mark_def_sites_initialize_block): Corresponding changes.
2925 (ssa_mark_def_sites_initialize_block): Likewise.
2926 (ssa_mark_phi_uses): Likewise.
2927 (mark_def_site, ssa_mark_def_sites): Likewise.
2928 (mark_def_site_blocks): Likewise.
2929 (rewrite_ssa_into_ssa): Likewise.
2931 * tree-ssa-dom.c (record_cond): Pass correct variable type
2932 for last argument to htab_find_slot_with_hash.
2934 * fold-const.c (fold, case CEIL_MOD_EXPR): Do not lose side
2935 effects when optimizing 0 % X. Do not try to optimize X % 0.
2937 2005-01-31 James E. Wilson <wilson@specifixinc.com>
2939 * config/ia64/itanium1.md (1_scall bypass): Change 2_mmalua to
2942 2005-02-01 Eric Christopher <echristo@redhat.com>
2944 * config/mips/mips.c (override_options): Warn if -mint64
2946 * doc/invoke.texi (MIPS Options): Document that -mint64 is
2949 2005-02-01 Kazu Hirata <kazu@cs.umass.edu>
2951 * cse.c (cse_reg_info): Remove hash_next, next, regno. Add
2953 (cse_reg_info_list, cse_reg_info_list_free, REGHASH_SHIFT,
2954 REGHASH_SIZE, REGHASH_MASK, reg_hash, REGHASH_FN,
2955 cached_cse_reg_info, GET_CSE_REG_INFO): Remove.
2956 (cached_regno): Initialize to INVALID_REGNUM.
2957 (cse_reg_info_table_size,
2958 cse_reg_info_table_first_uninitialized,
2959 cse_reg_info_timestamp): New.
2960 (REG_TICK, REG_IN_TABLE, SUBREG_TICKED, REG_QTY): Use
2962 (init_cse_reg_info, get_cse_reg_info_1): New.
2963 (get_cse_reg_info): Cache the last look-up.
2964 (new_basic_block): Update the code to clear mappings from
2965 registers to cse_reg_info entries.
2966 (cse_main): Call init_cse_reg_info.
2968 * cse.c (get_cse_reg_info): Update a comment.
2970 2005-01-31 Steven Bosscher <stevenb@suse.de>
2973 * c-decl.c (start_decl): Do not warn about arrays of elements with
2974 an incomplete type here.
2975 (grokdeclarator): Do it here by making a pedwarn an error.
2976 * c-typeck.c (push_init_level): If there were previous errors with
2977 the constructor type, do not warn about braces for initializers.
2978 (process_init_element): Likewise for excess initializer elements.
2980 2005-01-31 Kazu Hirata <kazu@cs.umass.edu>
2982 * cse.c (delete_trivially_dead_insn): Don't iterate.
2984 2005-01-31 Andrew Pinski <pinskia@physics.uc.edu>
2986 * config/rs6000/rs6000.md (copysignsf3): New expand.
2987 (copysigndf3): Likewise.
2989 2005-01-31 Steven Bosscher <stevenb@suse.de>
2991 * recog.c (constrain_operands): Only look for earlyclobber operand
2992 conflicts if an '&' constraint was seen.
2994 2005-01-31 Marc Espie <espie@openbsd.org>
2996 * config.gcc: Don't include embedded systems fragment, switches default
2997 debugging format to ELF.
2998 * config/i386/openbsdelf.h: Add DBX_REGISTER_NUMBER since we no
2999 longer pick it up there.
3001 2005-01-31 Dale Johannesen <dalej@apple.com>
3003 * doc/extend.texi (nested functions): Fix linkage description.
3004 Clarify that static is not allowed.
3006 2005-01-31 Dale Johannesen <dalej@apple.com>
3008 * config/rs6000/darwin.md (movsf_low_di): Make work.
3009 (movdf_low_di): Make work.
3011 2005-01-31 Dale Johannesen <dalej@apple.com>
3013 * config/rs6000/darwin-tramp.asm (__trampoline_setup):
3014 Make work for 64 bit.
3016 2005-01-31 Roger Sayle <roger@eyesopen.com>
3017 Dale Johannesen <dalej@apple.com>
3020 * fold-const.c (fold_binary_op_with_conditional_arg):
3021 Make types match original operands, before STRIP_NOPS.
3023 2005-01-31 Alan Modra <amodra@bigpond.net.au>
3025 * config/rs6000/linux-unwind.h (struct gcc_vregs): New.
3026 (struct gcc_regs): Rename from gcc_pt_regs. Add more regs.
3027 (struct gcc_sigcontext): Delete. Merge contents to..
3028 (struct gcc_ucontext): ..here.
3029 (get_sigcontext): Delete.
3030 (get_regs): New function, like get_sigcontext but return regs ptr.
3031 64-bit version finds regs from r1 to support vdso.
3032 (ppc_linux_aux_vector): New function.
3033 (ppc_fallback_frame_state): Modify for get_regs. Restore fprs
3036 2005-01-31 Ira Rosen <irar@il.ibm.com>
3038 * tree-vectorizer.c (vect_analyze_offset_expr): Use ssizetype instead
3040 (vect_get_base_and_offset): Use ssizetype instead sizetype. Remove
3041 redundant fold. Fix misalignment for MINUS_EXPR.
3042 (vect_compute_data_ref_alignment): Use ssizetype instead sizetype.
3043 (vect_analyze_pointer_ref_access): Likewise.
3044 (vect_get_memtag_and_dr): Likewise.
3046 2005-01-31 Richard Henderson <rth@redhat.com>
3048 * config/i386/i386.c (absnegsf2_mixed): Remove all of the # hackery.
3049 (absnegsf2_sse, absnegsf2_i387, absnegdf2_mixed, absnegdf2_sse,
3050 absnegdf2_i387, absnegxf2_i387): Likewise.
3052 2005-01-31 Richard Henderson <rth@redhat.com>
3055 * optabs.c (expand_copysign_absneg): New.
3056 (expand_copysign_bit): Split out from ...
3057 (expand_copysign): ... here. Use expand_copysign_absneg.
3059 2005-01-30 Roger Sayle <roger@eyesopen.com>
3062 * config/pa/pa.md (anddi3, iordi3): On HPPA64, disallow an integer
3063 constant as the second operand and a register as the third.
3065 2005-01-31 Danny Smith <dannysmith@users.sourceforge.net>
3068 * config/i386/i386.c (ix86_function_ok_for_sibcall): Also check
3069 that dllimport'd functions do not use all call-clobbered registers
3072 2005-01-30 Richard Henderson <rth@redhat.com>
3075 * optabs.c (expand_absneg_bit): Split out from expand_unop and
3076 expand_abs_nojump and generalize. Use operand_subword and
3077 emit_no_conflict_block. Support large modes.
3078 (expand_abs_nojump): Use it. Use HONOR_SIGNED_ZEROS to fall
3080 (expand_unop): Likewise. Use HONOR_SIGNED_ZEROS to fall back
3081 negation to subtraction.
3082 (expand_copysign): Check that the format has signed zeros.
3083 Use operand_subword and emit_no_conflict_block. Support large modes.
3085 2005-01-30 Daniel Berlin <dberlin@dberlin.org>
3087 Fix PR tree-optimization/19624
3089 * Makefile.in (tree-ssa-pre.o): Add CFGLOOP_H.
3090 * tree-ssa-pre.c: Add cfgloop.h.
3092 (pre_stats): New member, constified.
3093 (inserted_exprs): New static variable.
3094 (NECESSARY): New macro.
3095 (create_expression_by_pieces): Fold the expression, and
3096 mark it as defaulting to not necessary. Also put in
3098 (fully_constant_expression): New function.
3099 (insert_into_preds_of_block): Modify to not insert phis when we
3100 are playing with induction variables.
3101 Push phis onto the inserted_exprs vector, and mark them as not
3102 necessary by default.
3103 (insert_aux): Call fully_constant_expression on eprime.
3104 If all edges produce the same value, mark it constant.
3105 (mark_operand_necessary): New function.
3106 (remove_dead_inserted_code): New function.
3107 (init_pre): Init loop optimizer to get loop info.
3108 (fini_pre): Free loop_optimizer, and inserted_exprs vec.
3109 (execute_pre): Commit edge inserts, then remove dead code.
3111 2005-01-30 Richard Henderson <rth@redhat.com>
3113 * rtl.c (rtx_equal_p): No early exit for CONST_VECTOR.
3114 * varasm.c (const_rtx_hash_1): Handle CONST_VECTOR.
3116 2005-01-30 Richard Henderson <rth@redhat.com>
3119 * config/i386/i386.c (ix86_expand_copysign): New.
3120 (ix86_split_copysign_const): New.
3121 (ix86_split_copysign_var): Rename from ix86_split_copysign,
3122 rearrange op1/nmask operands.
3123 * config/i386/i386-protos.h: Update.
3124 * config/i386/i386.md (copysignsf3): Use ix86_expand_copysign.
3125 (copysigndf3): Likewise.
3126 (copysignsf3_const, copysigndf3_const): New.
3127 (copysignsf3_var): Rename from copysignsf3, split out splitter
3128 and fix split predicate for X constraint.
3129 (copysigndf3_var): Similarly.
3131 2005-01-30 Kazu Hirata <kazu@cs.umass.edu>
3133 * optabs.c, doc/c-tree.texi, doc/install.texi, doc/md.texi,
3134 doc/passes.texi, doc/rtl.texi, doc/sourcebuild.texi,
3135 doc/tm.texi, doc/tree-ssa.texi: Update copyright.
3137 2005-01-29 Richard Henderson <rth@redhat.com>
3140 * config/i386/i386.md (movdf_nointeger, movdf_integer): Fix ordering
3141 of # and * in constraints.
3143 2005-01-29 Richard Henderson <rth@redhat.com>
3146 * expr.c (store_field): Don't strip sub-mode cast when the input
3147 data is even smaller.
3149 2005-01-29 Richard Henderson <rth@redhat.com>
3152 * expr.c (categorize_ctor_elements_1): Check for CONSTRUCTOR of a
3155 2005-01-29 Richard Henderson <rth@redhat.com>
3157 * combine.c (make_field_assignment): Fix argument order
3160 2005-01-29 Richard Guenther <richard.guenther@uni-tuebingen.de>
3162 PR tree-optimization/15791
3163 * fold-const.c (extract_array_ref): New function.
3164 (fold): Fold comparisons between &a[i] and &a[j] or
3165 semantically equivalent trees.
3167 2005-01-29 Jeff Law <law@redhat.com>
3169 * gcse.c (insert_expr_in_table): Revamp handling of available
3170 and anticipatable occurrence lists to avoid unnecessary list
3172 (insert_set_in_table): Similarly.
3174 2005-01-29 Joseph S. Myers <joseph@codesourcery.com>
3176 * c-common.c (fix_string_type): Just use c_build_qualified_type to
3178 (c_build_qualified_type): Build qualified array types with
3179 TYPE_MAIN_VARIANT pointing to corresponding unqualified type.
3180 * c-decl.c (c_make_fname_decl): Build unqualified array type
3181 before qualified type.
3182 (grokdeclarator): Use TYPE_MAIN_VARIANT of typedef type if element
3183 type is qualified, not just if type itself is. Don't apply
3184 qualifiers to array type when declarator is processed. Apply
3185 qualifiers to field type whether or not it is an array type.
3186 Don't handle array types specially for applying qualifiers to
3188 * c-typeck.c (composite_type): Build unqualified element type and
3189 array type when forming composite of array types.
3190 (common_pointer_type, comptypes, comp_target_types,
3191 type_lists_compatible_p, build_indirect_ref, build_array_ref,
3192 convert_for_assignment): Don't apply TYPE_MAIN_VARIANT to array
3194 (type_lists_compatible_p): Cache TREE_VALUE (args1) and TREE_VALUE
3195 (args2) in variables a1 and a2.
3197 2005-01-29 Kazu Hirata <kazu@cs.umass.edu>
3199 * cse.c (n_elements_made, max_elements_made): Remove.
3200 (insert): Don't touch n_elements_made.
3201 (cse_main): Don't touch n_elements_made or max_elements_made.
3203 2005-01-28 Stephane Carrez <stcarrez@nerim.fr>
3206 * config/m68hc11/t-m68hc11-gas (dp-bit.c): Fix typo causing a
3207 configuration part of dp-bit.c to be lost.
3209 2005-01-28 Roger Sayle <roger@eyesopen.com>
3211 * expmed.c (expand_mult_highpart_optab): When attempting to use
3212 a non-widening multiplication in a wider mode, the operands need
3213 to be converted (zero or sign extended) to that mode.
3215 2005-01-28 Ian Lance Taylor <ian@airs.com>
3219 * gimple-low.c (block_may_fallthru): TRY_FINALLY_EXPR only falls
3220 through if both operands fall through.
3222 2005-01-28 Kazu Hirata <kazu@cs.umass.edu>
3224 * cse.c (fold_rtx) <PC>: Don't optimize.
3226 2005-01-28 Jeff Law <law@redhat.com>
3228 * fold-const.c (fold, case CEIL_MOD_EXPR): Optimize 0 % X.
3229 (case FLOOR_MOD_EXPR, ROUND_MOD_EXPR, TRUNC_MOD_EXPR): Similarly.
3231 2005-01-28 Kazu Hirata <kazu@cs.umass.edu>
3233 * cse.c (cse_reg_info_free_list, cse_reg_info_used_list,
3234 cse_reg_info_used_list_end): Remove.
3235 (cse_reg_info_list, cse_reg_info_list_free): New.
3236 (get_cse_reg_info): When allocating an instance of
3237 cse_reg_info, add it to the beginning of the cse_reg_info_list
3238 list. Remove code to maintain cse_reg_info_used_list.
3239 (new_basic_block): Reset the free list to the beginning of
3242 2005-01-28 Richard Sandiford <rsandifo@redhat.com>
3244 * config/frv/frv.c (bdesc_2arg): Remove __MDPACKH.
3245 (frv_init_builtins): Change its prototype to take 4 uhalf arguments.
3246 (frv_expand_mdpackh_builtin): New function.
3247 (frv_expand_builtin): Use it to expand __MDPACKH.
3248 * doc/extend.texi (__MDPACKH): Update documentation.
3250 2005-01-28 Uros Bizjak <uros@kss-loka.si>
3252 * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use
3253 SSE_FLOAT_MODE_P for use_sse computation.
3255 2005-01-28 Ralf Corsepius <ralf.corsepius@rtems.org>
3258 * config/sparc/rtemself.h (LINK_GCC_C_SEQUENCE_SPEC): undefine.
3260 2005-01-27 Richard Henderson <rth@redhat.com>
3262 * builtins.c (expand_builtin_copysign): New.
3263 (expand_builtin): Call it.
3264 * genopinit.c (optabs): Add copysign_optab.
3265 * optabs.c (init_optabs): Initialize it.
3266 (expand_copysign): New.
3267 * optabs.h (OTI_copysign, copysign_optab): New.
3268 (expand_copysign): Declare.
3270 * config/alpha/alpha.md (UNSPEC_COPYSIGN): New.
3271 (copysignsf3, ncopysignsf3, copysigndf3, ncopysigndf3): New.
3273 * config/i386/i386.c (ix86_build_signbit_mask): Split from ...
3274 (ix86_expand_fp_absneg_operator): ... here.
3275 (ix86_split_copysign): New.
3276 * config/i386/i386-protos.h: Update.
3277 * config/i386/i386.md (UNSPEC_COPYSIGN): New.
3278 (copysignsf3, copysigndf3): New.
3280 * config/ia64/ia64.md (UNSPEC_COPYSIGN): New.
3281 (copysignsf3, ncopysignsf3): New.
3282 (copysigndf3, ncopysigndf3): New.
3283 (copysignxf3, ncopysignxf3): New.
3284 * config/ia64/ia64.c (rtx_needs_barrier): Handle UNSPEC_COPYSIGN.
3286 2005-01-27 Arend Bayer <arend.bayer@web.de>
3287 Kazu Hirata <kazu@cs.umass.edu>
3289 * cse.c: (find_best_addr): Don't call copy_rtx before calling
3290 fold_rtx. Save cost recomputation if fold_rtx did nothing.
3291 (fold_rtx) <ASM_OPERANDS>: Don't do anything if INSN is
3294 2005-01-27 Jeff Law <law@redhat.com>
3296 * tree-into-ssa.c (ssa_rewrite_initialize_block): Do not register
3297 definitions of SSA_NAMEs which are not being rewritten.
3298 (rewrite_ssa_into_ssa): Only initialize the current definition
3299 of an SSA_NAME if that SSA_NAME has been marked for rewriting.
3300 If checking is enabled, assert that SSA_NAME_AUX is clear for all
3301 SSA_NAMEs before returning.
3303 2005-01-27 Kazu Hirata <kazu@cs.umass.edu>
3305 * c-common.def, c-dump.c, c-gimplify.c, c-objc-common.c,
3306 cfgexpand.c, dbxout.c, function.h, opts.c, tree-flow-inline.h,
3307 tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-tailcall.c,
3308 config/avr/avr.md, config/cris/aout.h, config/cris/cris.h,
3309 config/mips/iris6.h, config/sh/sh.c: Update copyright.
3311 2005-01-27 Steven Bosscher <stevenb@suse.de>
3314 * opts.c (decode_options): Move flag_thread_jumps from -O1 and
3315 higher to -O2 and higher. Likewise for tree PRE.
3316 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Only iterate at -O2
3319 2005-01-27 Ian Lance Taylor <ian@airs.com>
3322 * gimple-low.c (try_catch_may_fallthru): New static function.
3323 (block_may_fallthru): Handle TRY_CATCH_EXPR.
3324 * tree-inline.c (expand_call_inline): Don't warn about reaching
3325 the end of a non-void function being inlined if the function uses
3328 2005-01-27 Jakub Jelinek <jakub@redhat.com>
3330 * config/i386/i386.h (CALL_USED_REGISTERS): Fix comment pastos.
3333 * c-decl.c (warn_if_shadowing): Handle old_decl error_mark_node.
3334 (pushdecl): Only use DECL_FILE_SCOPE_P if DECL_P.
3335 (implicitly_declare): Handle error_mark_node.
3337 2005-01-27 Richard Henderson <rth@redhat.com>
3340 * tree.h (struct tree_decl): Add debug_expr_is_from.
3341 (DECL_DEBUG_EXPR_IS_FROM): New.
3342 (DECL_DEBUG_EXPR): Rename from DECL_DEBUG_ALIAS_OF.
3343 * dwarf2out.c (dwarf2out_var_location): Update to match.
3344 * tree-outof-ssa.c (create_temp): Likewise.
3345 * var-tracking.c (track_expr_p): Likewise.
3346 * tree-sra.c (instantiate_element): Set DECL_DEBUG_EXPR.
3347 * c-objc-common.c (c_tree_printer) <'D'>: Handle DECL_DEBUG_EXPR.
3348 * toplev.c (default_tree_printer): Likewise.
3350 2005-01-27 Alexandre Oliva <aoliva@redhat.com>
3352 * config/frv/frv.c (frv_class_likely_spilled_p): Add GR8_REGS,
3353 GR9_REGS, GR89_REGS, FDPIC_FPTR_REGS, FDPIC_REGS.
3355 2005-01-27 Steven Bosscher <stevenb@suse.de>
3357 * tree.h (SWITCH_COND, SWITCH_BODY, SWITCH_LABELS, CASE_LOW,
3358 CASE_HIGH, CASE_LABEL, ASM_STRING, ASM_OUTPUTS, ASM_INPUTS,
3359 ASM_CLOBBERS): Add tree checks.
3361 * c-common.h (SWITCH_TYPE): Rename to SWITCH_STMT_TYPE.
3362 (SWITCH_STMT_COND, SWITCH_STMT_BODY): New.
3363 * c-common.def (SWITCH_STMT): Update to match.
3364 * c-common.c (c_do_switch_warnings): Use SWITCH_STMT accessor
3365 macros instead of SWITCH_EXPR ones.
3366 * c-dump.c (c_dump_tree): Likewise.
3367 * c-gimplify.c (gimplify_switch_stmt): Likewise.
3368 * c-typeck.c (c_start_case, do_case, c_finish_case): Likewise.
3370 * doc/c-tree.texi (SWITCH_STMT): Update accessor macro names.
3372 2005-01-27 Alan Modra <amodra@bigpond.net.au>
3374 * unwind-dw2.c (execute_stack_op): Add missing cases for
3375 DW_OP_shl, DW_OP_shr, DW_OP_shra, DW_OP_xor.
3377 2005-01-27 Eric Botcazou <ebotcazou@libertysurf.fr>
3379 * config.gcc (Obsolete configurations): Remove 'dummy', add
3380 sparclite-*-coff*, sparclite-*-elf*, sparc86x-*-elf* and
3383 2005-01-26 Diego Novillo <dnovillo@redhat.com>
3385 PR tree-optimization/19633
3386 * tree-ssa-alias.c (ptr_is_dereferenced_by): Also handle
3388 (maybe_create_global_var): Do not create .GLOBAL_VAR if there
3389 are no call-clobbered variables.
3390 * tree-outof-ssa.c (check_replaceable): Return false for calls
3393 2005-01-26 Ulrich Weigand <uweigand@de.ibm.com>
3395 * dbxout.c (dbxout_symbol_location): Resolve constant pool references
3396 even for variables with NULL DECL_INITIAL.
3398 2005-01-26 Stuart Hastings <stuart@apple.com>
3400 * gimplify.c (shortcut_cond_expr): Re-compute side-effects.
3402 2005-01-26 Richard Henderson <rth@redhat.com>
3405 * c-decl.c (finish_struct): Set DECL_MODE after resetting a
3407 * expr.c (store_field): Strip conversions to odd-bit-sized types
3408 if the destination field width matches.
3410 2005-01-26 Richard Henderson <rth@redhat.com>
3412 * c-decl.c, expmed.c, expr.c: Revert last change.
3414 2005-01-26 Richard Henderson <rth@redhat.com>
3417 * c-decl.c (finish_struct): Set DECL_MODE after resetting a
3419 * expmed.c (store_fixed_bit_field): Create a paradoxical subreg
3420 if we don't need the bits above those present in the current mode.
3421 * expr.c (store_field): Strip conversions to odd-bit-sized types
3422 if the destination field width matches.
3424 2005-01-26 Richard Sandiford <rsandifo@redhat.com>
3426 * config/mips/iris6.h (ENDFILE_SPEC): Don't link in irix-csr.o if
3427 either -ffast-math or -funsafe-math-optimizations is in use.
3429 2005-01-26 Marek Michalkiewicz <marekm@amelek.gda.pl>
3433 * config/avr/avr.c (notice_update_cc): Only set condition code for
3434 ashrqi3 if shift count > 0.
3435 (out_shift_with_cnt): Handle shift count <= 0 as a no-op.
3436 (ashlqi3_out, ashlhi3_out, ashlsi3_out, ashrqi3_out, ashrhi3_out,
3437 ashrsi3_out, lshrqi3_out, lshrhi3_out, lshrsi3_out): Handle shift
3438 count <= 0 as a no-op, and shift count >= width by copying zero
3439 or sign bit to all bits of the result.
3440 * config/avr/avr.md (all shifts): Add alternatives for zero shift
3441 count, with attribute "length" set to 0 and "cc" set to "none".
3443 2005-01-26 Aldy Hernandez <aldyh@redhat.com>
3445 * doc/invoke.texi: Document -mTLS.
3447 * testsuite/gcc.target/frv/all-tls-global-dynamic.c: New.
3448 * testsuite/gcc.target/frv/all-tls-initial-exec.c: New.
3449 * testsuite/gcc.target/frv/all-tls-initial-exec-pic.c: New.
3450 * testsuite/gcc.target/frv/all-tls-local-dynamic.c: New.
3451 * testsuite/gcc.target/frv/all-tls-local-dynamic-plt.c: New.
3452 * testsuite/gcc.target/frv/all-tls-local-dynamic-plt-pic.c: New.
3453 * testsuite/gcc.target/frv/all-tls-local-exec.c: New.
3454 * testsuite/gcc.target/frv/all-tls-local-exec-TLS.c: New.
3456 * configure.ac: Check for a TLS capable gas.
3458 * configure: Regenerate.
3460 2005-01-26 Richard Henderson <rth@redhat.com>
3463 * combine.c (make_field_assignment): Simplify store to zero_extract
3464 from a source with an overlapping mask.
3466 2005-01-26 Aldy Hernandez <aldyh@redhat.com>
3468 2004-11-11 Eric Christopher <echristo@redhat.com>
3470 * config/frv/frv.md: Add fr400_integer automaton. Don't
3471 allow TYPE_MUL, TYPE_MACC, or TYPE_CUT to issue in parallel
3474 2005-01-26 Steven Bosscher <stevenb@suse.de>
3477 * cfgbuild.c (make_edges): Do not clear or set
3478 current_function_has_computed_jump.
3479 * function.h (struct function): Remove the has_computed_jump field.
3480 (current_function_has_computed_jump): Do not define.
3481 * sched-rgn.c (is_cfg_nonregular): Return true if a basic block ends
3482 in a computed jump. Ignore current_function_has_computed_jump.
3484 2005-01-26 Richard Henderson <rth@redhat.com>
3487 * expr.c (categorize_ctor_elements): New argument p_must_clear.
3488 (categorize_ctor_elements_1): Likewise. Detect a union that isn't
3490 (mostly_zeros_p): Update for new categorize_ctor_elements argument.
3491 * gimplify.c (gimplify_init_constructor): Likewise. Only shove
3492 objects into static storage if they have more than one non-zero value.
3493 * tree.h (categorize_ctor_elements): Update decl.
3495 2005-01-26 Steven Bosscher <stevenb@suse.de>
3498 * tree.h (CALL_EXPR_TAILCALL): Add comment.
3499 * calls.c (check_sibcall_argument_overlap_1): Revert the change
3500 to this function from 2004-07-10.
3501 * tree-tailcall.c (suitable_for_tail_opt_p): Do not consider the
3502 the current function for tail call optimizations if the address
3503 of one of it its arguments is taken.
3505 2005-01-26 Kazu Hirata <kazu@cs.umass.edu>
3507 * cse.c (fold_rtx): Call equiv_constant only when necessary.
3509 2005-01-26 Bernd Schmidt <bernd.schmidt@analog.com>
3511 * function.c (expand_function_end): If current_function_calls_alloca,
3512 emit stack restore in a place that is reached when the function falls
3515 2005-01-26 Alexandre Oliva <aoliva@redhat.com>
3517 * Makefile.in (../$(build_subdir)/fixincludes/fixincl): Add dummy
3518 rule to avoid matching inappropriate suffix rule.
3520 2005-01-26 Jan Hubicka <jh@suse.cz>
3522 PR tree-optimization/19241
3523 * tree-inline.c (copy_body_r): Do not walk subtrees after substituting.
3525 2005-01-26 Hans-Peter Nilsson <hp@axis.com>
3527 * config/cris/cris.h (LIB_SPEC) <sim*>: Use -lsyslinux, not
3528 -lsyssim. Wrap -lc -lsyssim in --start-group --end-group instead
3530 (STARTFILE_SPEC): Add crti.o, before crtbegin.o.
3531 <sim*>: Always use crt1.o, regardless of N in simN.
3532 <!sim>: Drop support for -pg and -p variants; always use crt0.o.
3533 (ENDFILE_SPEC): Add crtn.o, after crtend.o.
3534 (CRT_CALL_STATIC_FUNCTION): Remove.
3535 * config/cris/aout.h (STARTFILE_SPEC): <!melinux && sim*>: Always
3536 use crt1.o, regardless of N in simN.
3537 <!sim>: Drop support for -pg and -p variants; always use crt0.o.
3538 (LIB_SPEC): Do not define; default to the one in config/cris/cris.h.
3539 (CRIS_CPP_SUBTARGET_SPEC) <melinux && !nostdinc>: Remove special
3540 case isystem setting.
3541 (MAX_OFILE_ALIGNMENT): Correct to 32, not 16.
3543 2005-01-25 Ian Lance Taylor <ian@airs.com>
3545 * gimple-low.c (block_may_fallthru): Correct handling of
3546 SWITCH_EXPR--may fall through if SWITCH_LABELS is NULL.
3548 2005-01-26 Hans-Peter Nilsson <hp@axis.com>
3550 * config/cris/cris.h (CPP_SPEC): Adjust the various mtune=
3551 handlers to match indentation; nested under the mtune=* handler.
3552 Similar for mcpu= and march=.
3554 2005-01-25 Daniel Jacobowitz <dan@codesourcery.com>
3556 * config/mips/linux.h (LIB_SPEC): Remove -rpath-link.
3557 * config/mips/linux64.h (LIB_SPEC): Likewise.
3558 * config/mn10300/linux.h (LIB_SPEC): Likewise.
3559 * config/sh/linux.h (LIB_SPEC): Likewise.
3561 2005-01-25 Aldy Hernandez <aldyh@redhat.com>
3563 * config/frv/frv.c (frv_legitimize_tls_address): New.
3564 (TARGET_HAVE_TLS): Define.
3565 (FRV_SYMBOL_REF_TLS_P): Define.
3566 (frv_override_options): Handle new register classes.
3567 (frv_legitimate_address_p): Reject tls addresses.
3568 (frv_legitimize_address): Handle TLS addresses.
3569 (gen_inlined_tls_plt): New.
3571 (frv_legitimize_tls_address): New.
3572 (unspec_got_name): Add TLS entries.
3573 (got12_operand): Add R_FRV_TLSMOFF12 case.
3574 (frv_emit_move): Fixup TLS addresses.
3575 (frv_emit_movsi): Legitimize TLS addresses.
3577 * config/frv/frv.h (MASK_BIG_TLS): New.
3578 (TARGET_BIG_TLS): New.
3579 (HAVE_AS_TLS): Define.
3580 (TARGET_SWITCHES): Add -mTLS and -mtls options.
3581 (enum reg_class): Add GR8_REGS, GR9_REGS, GR89_REGS.
3582 (REG_CLASS_NAMES): Same.
3583 (REG_CLASS_CONTENTS): Same.
3584 (CONSTRAINT_LEN): New.
3585 (REG_CLASS_FROM_CONSTRAINT): New.
3586 (PREDICATE_CODES): Add symbolic_operand.
3588 * config/frv/frv.md (define_constants): Add UNSPEC_GETTLSOFF,
3589 UNSPEC_TLS_LOAD_GOTTLSOFF12, UNSPEC_TLS_INDIRECT_CALL,
3590 UNSPEC_TLS_TLSDESC_LDD, UNSPEC_TLS_TLSDESC_LDD_AUX,
3591 UNSPEC_TLS_TLSOFF_LD, UNSPEC_TLS_LDDI, UNSPEC_TLSOFF_HILO,
3592 R_FRV_GOTTLSOFF_HI, R_FRV_GOTTLSOFF_LO, R_FRV_TLSMOFFHI,
3593 R_FRV_TLSMOFFLO, R_FRV_TLSMOFF12, R_FRV_TLSDESCHI,
3594 R_FRV_TLSDESCLO, R_FRV_GOTTLSDESCHI, R_FRV_GOTTLSDESCLO, GR8_REG,
3595 GR9_REG, GR14_REG, LRREG.
3596 (type): Add load_or_call attribute.
3597 ("load_or_call"): New reservation.
3598 ("call_gettlsoff"): New.
3599 ("tls_indirect_call"): New.
3600 ("tls_load_gottlsoff12"): New.
3601 ("tlsoff_hilo"): New.
3602 ("tls_tlsdesc_ldd"): New.
3603 ("tls_tlsoff_ld"): New.
3606 * config/frv/frv-protos.h (symbolic_operand): Protoize.
3608 2005-01-25 Alexandre Oliva <aoliva@redhat.com>
3610 * config/frv/frv.h (ASM_OUTPUT_DWARF_DTPREL): Define.
3611 * config/frv/frv-protos.h (frv_output_dwarf_dtprel): Declare.
3612 * config/frv/frv.c (TLS_BIAS): Define.
3613 (frv_output_dwarf_dtprel): New.
3615 2005-01-26 Jakub Jelinek <jakub@redhat.com>
3617 PR rtl-optimization/19579
3618 * ifcvt.c (noce_try_cmove_arith): If emitting instructions to set up
3619 both A and B, see if they don't clobber registers the other expr uses.
3621 2005-01-25 J"orn Rennecke <joern.rennecke@st.com>
3623 * real.c (do_add): Initialize signalling and canonical members.
3625 * real.c (real_from_integer): Zero out destination.
3627 2005-01-18 Jan Hubicka <jh@suse.cz>
3629 PR tree-optimize/19337
3630 * tree-inline.c (initialize_inlined_parameters): Copy
3631 saved_static_chain_decl only.
3633 2005-01-25 Richard Henderson <rth@redhat.com>
3637 * config/i386/i386.c (x86_inter_unit_moves): Zero.
3638 (ix86_preferred_reload_class): Rewrite fp-constant section, with
3639 80387 enabled, to return a proper subclass. Return the subset that
3640 overlaps with GENERAL_REGS for PLUS.
3641 * config/i386/i386.md (movsi_1, movdi_2): Set type to "mmx" for pxor.
3643 2005-01-25 Richard Henderson <rth@redhat.com>
3646 * tree-complex.c (expand_complex_div_wide): Use the correct formulae.
3648 2005-01-25 Roger Sayle <roger@eyesopen.com>
3650 * expmed.c (choose_multiplier): Change interface to return the
3651 multiplier lowpart as an rtx instead of an unsigned HOST_WIDE_INT.
3652 (expand_divmod): Update calls to choose_multiplier.
3654 2005-01-24 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
3657 * expmed.c (extract_bit_field): Use adjust_address instead of
3658 gen_lowpart when op0 is a MEM.
3660 2005-01-24 Steven Bosscher <stevenb@suse.de>
3662 * cfgexpand.c (expand_gimple_tailcall): Fix typo.
3664 2005-01-24 Richard Sandiford <rsandifo@redhat.com>
3666 * config/mips/irix-csr.c: New file.
3667 * config/mips/t-iris6 (irix-csr.o): New rule to build it.
3668 (EXTRA_MULTILIB_PARTS): Add irix-csr.o.
3669 * config/mips/iris6.h (ENDFILE_SPEC): Include it in n32 and n64
3672 2005-01-24 Eric Botcazou <ebotcazou@libertysurf.fr>
3675 * config.gcc (sparc-*-elf*): Remove sol2.h, sparc/sol2.h and
3676 sparc/elf.h, add sparc/sp-elf.h.
3677 (sparc-*-rtems*): Likewise.
3678 (sparclite-*-elf*): Remove sol2.h, sparc/sol2.h, sparc/elf.h and
3679 tm-dwarf2.h, add sparc/sp-elf.h.
3680 (sparc86x-*-elf): Likewise.
3681 (sparc64-*-elf*): Remove sol2.h, sparc/sol2.h and tm-dwarf2.h.
3682 * config/sparc/liteelf.h (TARGET_SUB_OS_CPP_BUILTINS): Rename into
3683 TARGET_OS_CPP_BUILTINS.
3684 * config/sparc/sp86x-elf (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
3685 * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
3687 * config/sparc/openbsd64.h (NO_IMPLICIT_EXTERN_C): Undefine.
3688 * config/sparc/sp64-elf.h (NO_IMPLICIT_EXTERN_C): New macro.
3689 (SWITCH_TAKES_ARG): Likewise.
3690 (LOCAL_LABEL_PREFIX): Likewise.
3691 (ASM_GENERATE_INTERNAL_LABEL): Likewise.
3692 (TARGET_N_FORMAT_TYPES): Delete.
3693 (TARGET_FORMAT_TYPES): Likewise.
3694 (ASM_DECLARE_FUNCTION_SIZE): Likewise.
3695 * config/sparc/elf.h: Delete.
3696 * config/sparc/sp-elf.h: New file.
3698 2005-01-24 Kazu Hirata <kazu@cs.umass.edu>
3700 * tree-flow-inline.h (phi_arg_from_edge): Remove.
3701 * tree-flow.h: Remove the corresponding prototype.
3702 * tree-ssa-operands.h, tree-ssa-threadupdate.c, tree-ssa.c,
3703 tree-vectorizer.c: Use dest_idx instead of phi_arg_from_edge.
3705 2005-01-24 Jakub Jelinek <jakub@redhat.com>
3708 * config/rs6000/rs6000.c (rs6000_file_start): Create toc section
3709 for AIX ABI or ELF -fPIC.
3710 (rs6000_emit_load_toc_table): Don't create toc_section here.
3711 (rs6000_xcoff_file_start): Nor here.
3713 2005-01-24 J"orn Rennecke <joern.rennecke@st.com>
3715 * sh.c (ra.h): Don't #include.
3716 (hard_regs_intersect_p): New function, resurrected from ra.c.
3718 * sh.c: Fix 1996 Copyright.
3720 2005-01-24 Richard Henderson <rth@redhat.com>
3721 Aldy Hernandez <aldyh@redhat.com>
3723 * regrename.c (note_sets): Handle subregs.
3725 2005-01-24 Joseph S. Myers <joseph@codesourcery.com>
3728 * genconditions.c (write_header, write_conditions): Elide file if
3731 2005-01-24 Kazu Hirata <kazu@cs.umass.edu>
3733 * c-opts.c, expmed.c, gengtype.c, tree-complex.c,
3734 config/arm/iwmmxt.md, config/avr/avr.c, config/s390/s390.h:
3737 2005-01-24 Jakub Jelinek <jakub@redhat.com>
3739 * builtins.c (get_pointer_alignment, gimplify_va_arg_expr,
3740 expand_builtin_printf, expand_builtin_fprintf,
3741 expand_builtin_sprintf): Use POINTER_TYPE_P instead TREE_CODE
3742 checking against POINTER_TYPE.
3743 (validate_arglist): Handle POINTER_TYPE code by checking
3746 2005-01-24 Paolo Bonzini <bonzini@gnu.org>
3748 * rtlanal.c (non_rtx_starting_operands, for_each_rtx_1,
3750 (for_each_rtx): Call for_each_rtx_1.
3751 * rtl.h (init_rtlanal): Declare.
3752 * toplev.c (backend_init): Call init_rtlanal.
3754 2005-01-24 Jakub Jelinek <jakub@redhat.com>
3756 * flow.c (propagate_one_insn): Formatting.
3759 * flow.c (libcall_dead_p): Be more conservative if unsure.
3760 If there are any instructions between insn and call, see if they are
3761 all dead before saying the libcall is dead.
3763 2005-01-24 Uros Bizjak <uros@kss-loka.si>
3765 * config/i386/i386.md (*extendsfdf2_sse): Use "nonimmediate_operand"
3766 operand constraint for operand 0.
3768 2005-01-23 Richard Henderson <rth@redhat.com>
3771 * tree-complex.c (expand_complex_div_wide): Set EDGE_FALLTHRU on
3772 edges leading to join block.
3774 2005-01-23 Roger Sayle <roger@eyesopen.com>
3776 * expmed.c (expand_mult_highpart): Make static. Change type of
3777 constant multiplier argument from unsigned HOST_WIDE_INT to rtx.
3778 (expand_divmod): Updates calls to expand_mult_highpart by using
3779 gen_int_mode to pass a CONST_INT rtx.
3780 * rtl.h (expand_mult_highpart): Remove prototype.
3782 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
3784 * flow.c (regset_bytes, regset_size): Remove.
3786 * cfganal.c: Fix a reference to Harvey's paper.
3788 2005-01-23 Steven Bosscher <stevenb@suse.de>
3790 PR rtl-optimization/19464
3791 * tree-optimize.c (init_tree_optimization_passes): Add one more
3792 copyrename pass just before out-of-ssa.
3794 2005-01-23 Joseph S. Myers <joseph@codesourcery.com>
3797 * recog.c (recog_memoized): Don't define if GENERATOR_FILE.
3798 * ggc-none.c (ggc_free): Define.
3800 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
3802 * cse.c (max_reg, max_insn_uid): Remove.
3803 (cse_main): Don't access max_reg or max_insn_uid.
3805 * c-common.c (explicit_flag_signed_bitfields,
3806 lang_statement_code_p, lang_expand_function_end): Remove.
3807 * c-common.h: Remove the corresponding declarations.
3808 * c-opts.c (c_common_handle_option): Remove all write access
3809 to explicit_flag_signed_bitfields.
3811 * cgraph.c (cgraph_varpool_n_nodes): Remove.
3812 (cgraph_varpool_node): Don't access cgraph_varpool_n_nodes.
3813 * cgraph.h: Remove the corresponding declaration.
3815 * gcse.c (null_pointer_info): Remove.
3817 2005-01-23 Roger Sayle <roger@eyesopen.com>
3818 Eric Botcazou <ebotcazou@libertysurf.fr>
3820 * combine.c (simplify_logical): Only simplify logical expressions
3821 of the form ior(and(x,y),z) by the inverse distributive law if the
3822 result is cheaper than the original.
3824 2005-01-23 Kazu Hirata <kazu@cs.umass.edu>
3826 * alias.c, c-common.h, c-incpath.c, c-incpath.h, expr.c,
3827 fold-const.c, gimplify.c, params.h, tree-data-ref.c,
3828 tree-if-conv.c, tree-nested.c, tree-outof-ssa.c,
3829 tree-ssa-dom.c, tree-vectorizer.c, tree.def, config/darwin.c,
3830 config/freebsd-spec.h, config/arm/arm.h,
3831 config/h8300/h8300.md, config/i386/i386.md,
3832 config/i386/predicates.md, config/i386/sse.md,
3833 config/ia64/ia64.c, config/ip2k/ip2k.c, config/s390/s390.c,
3834 config/vax/vax.md: Fix comment typos. Follow spelling
3837 2005-01-23 Steven Bosscher <stevenb@suse.de>
3839 * gengtype.c (walk_type): Produce `not equal to' compares for loop
3840 tests, instead of `less than'.
3842 2005-01-23 Richard Sandiford <rsandifo@redhat.com>
3844 * function.c (assign_parm_setup_block): When creating a new stack slot
3845 for a parameter, get its alignment from the parameter's DECL_ALIGN
3846 rather than the type's TYPE_ALIGN. Make sure that the parameter
3847 is at least word aligned.
3849 2005-01-22 Roger Sayle <roger@eyesopen.com>
3852 * config/avr/avr.c (avr_hard_regno_mode_ok): Rewrite.
3854 2005-01-22 Richard Henderson <rth@redhat.com>
3857 * config/i386/i386.md (movsfcc_1_sse_max): Use nonimmediate_operand
3858 in both compare operands.
3859 (movdfcc_1_sse_max): Likewise.
3860 (movsfcc_1_sse): Likewise. Add earlyclobber for scratch.
3861 (movdfcc_1_sse): Likewise.
3862 * config/i386/i386.c (ix86_split_sse_movcc): Emit copies into the
3863 scratch register as needed.
3865 2005-01-22 Richard Henderson <rth@redhat.com>
3867 * config/i386/i386.md (smaxsf3): Fix mnemonic typo.
3869 * config/i386/i386.c (ix86_prepare_fp_compare_args): Fix is_sse test.
3871 2005-01-22 Richard Henderson <rth@redhat.com>
3873 * genopinit.c (optabs): Use smin/smax for floating point too.
3874 * doc/md.texi: Update to match. Clarify that floating point
3875 results are undefined for +0/-0 and NaN.
3876 * doc/rtl.texi: Likewise.
3877 * rtl.def (SMIN, SMAX): Likewise
3878 * tree.def (MIN_EXPR, MAX_EXPR): Likewise.
3880 * config/alpha/alpha.md (smaxdf3, smindf3, smaxsf3, sminsf3): Add
3881 leading 's' to the name.
3882 * config/ia64/ia64.md (smaxsf3, sminsf3, smaxdf3, smindf3,
3883 smaxxf3, sminxf3): Likewise.
3884 * config/rs6000/rs6000.md (smaxdf3, smindf3, smaxsf3, sminsf3):
3887 2005-01-22 Paul Brook <paul@codesourcery.com>
3889 * config/arm/arm.md: Use "Uy" constraint for wcgr load/stores.
3891 2005-01-21 Mark Dettinger <dettinge@de.ibm.com>
3893 * config/s390/s390.c (struct processor_costs): New fields
3894 dlgr, dlr, dr, dsgfr, dsgr.
3895 (z900_cost, z990_cost): Values for new fields.
3896 (s390_rtx_costs): New cases MEM und COMPARE in switch
3897 statement. Modified handling of SIGN_EXTEND, ZERO_EXTEND,
3898 DIV, MOD, UDIV, UMOD.
3900 2005-01-21 Ulrich Weigand <uweigand@de.ibm.com>
3902 * config/s390/s390.md ("doloop_si64"): Reload input value directly
3903 into the register being decremented.
3904 ("doloop_si31", "doloop_di"): Likewise.
3905 ("*doloop_si_long"): Adapt pattern.
3907 2005-01-21 Ulrich Weigand <uweigand@de.ibm.com>
3909 * config/s390/s390.h (HARD_REGNO_NREGS): Fix computation for
3911 (CLASS_MAX_NREGS): Likewise.
3913 2005-01-21 Daniel Berlin <dberlin@dberlin.org>
3915 * doc/tree-ssa.texi (Statement Operands): Add example for new
3916 must-def macro. Note deprecation of old operands interface.
3918 2005-01-22 Richard Sandiford <rsandifo@redhat.com>
3920 PR tree-optimization/19484
3921 * tree-cfg.c (remove_fallthru_edge): New function.
3922 (cleanup_control_flow): Remove fallthru edges from calls that are
3923 now known not to return.
3925 2005-01-20 Daniel Berlin <dberlin@dberlin.org>
3927 Fix PR tree-optimization/19038
3928 * tree-ssa-dom.c (cprop_operand): Don't replace loop invaeriant
3929 copies with loop variant ones.
3931 2005-01-22 Kazu Hirata <kazu@cs.umass.edu>
3933 * cfganal.c, real.h, reorg.c, timevar.def, tree-ssa-ccp.c,
3934 config/alpha/alpha-protos.h, config/alpha/alpha.h,
3935 config/alpha/alpha.md, config/alpha/predicates.md,
3936 config/sparc/freebsd.h, config/sparc/netbsd-elf.h,
3937 config/sparc/sol2.h: Update copyright.
3939 * tree-cfg.c (remove_forwarder_block_with_phi): Look at the
3940 first label to see if it is a nonlocal label.
3942 2005-01-22 David Edelsohn <edelsohn@gnu.org>
3943 Andrew Pinski <pinskia@physics.uc.edu>
3946 * config/rs6000/rs6000.c (rs6000_va_start): Saturate n_gpr at
3947 maximum number of GPRs. Saturate n_fpr at maximum number of FPRs.
3949 2005-01-22 Ralf Corsepius <ralf.corsepius@rtems.org>
3951 * config/rs6000/rtems.h: Update copyright.
3953 2005-01-22 Ralf Corsepius <ralf.corsepius@rtems.org>
3956 * config/rs6000/rtems.h: Resurrect cpp_os_rtems_spec from gcc < 3.4.
3957 (CPP_OS_RTEMS_SPEC): New (From gcc-3.3's config/rs6000/sys4.h).
3958 (SUBSUBTARGET_EXTRA_SPECS): Use CPP_OS_RTEMS_SPEC.
3960 2005-01-22 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
3963 * c-typeck.c (convert_arguments): Check for error_mark_node.
3965 2005-01-21 Ian Lance Taylor <ian@airs.com>
3967 PR tree-optimization/13000
3968 * tree-inline.c: Include "tree-flow.h".
3969 (expand_call_inline): If warn_return_type, warn if non-void inline
3970 function falls through.
3971 * tree-cfg.c (execute_warn_function_return): Don't warn about
3972 control reaching end if TREE_NO_WARNING is set. Set
3974 * gimple-low.c (block_may_fallthru): Don't assume that SWITCH_EXPR
3976 * gimplify.c (shortcut_cond_expr): Don't emit a jump over the else
3977 branch if we don't need one.
3978 * c-typeck.c: Include "tree-flow.h"
3979 (c_finish_bc_stmt): Don't add a goto if the current statement
3980 list doesn't fall through to the current point.
3982 2005-01-21 Roger Sayle <roger@eyesopen.com>
3984 PR rtl-optimization/576
3985 * real.c (real_arithmetic): Change return type from void to bool
3986 to return an indication that the result may be inexact.
3987 * real.h (real_arithmeric): Update prototype.
3988 * fold-const.c (const_binop): Don't constant fold floating
3989 point expressions when the user specifies -frounding-math and
3990 the result may depend upon the run-time rounding mode.
3991 (fold_convert_const_real_from_real): Clean-up.
3992 (fold_initializer): Ignore flag_rounding_math for initializers.
3993 * simplify-rtx.c (simplify_binary_operation): Likewise, don't
3994 constant fold FP operations with flag_rounding_math if the
3995 result may depend upon the run-time rounding mode.
3997 2005-01-21 Tom Tromey <tromey@redhat.com>
3999 * c-cppbuiltin.c (define__GNUC__): Correct assertion.
4001 2005-01-21 Kazu Hirata <kazu@cs.umass.edu>
4003 * tree-cfg.c: Fix comment typos.
4005 2005-01-21 J"orn Rennecke <joern.rennecke@st.com>
4007 * passes.c (rest_of_handle_flow2): Close / open the flow2 dump file
4008 around the call to rest_of_handle_branch_target_load_optimize.
4010 2005-01-21 Eric Botcazou <ebotcazou@libertysurf.fr>
4012 * config.gcc (sparc-*-netbsdelf*): Include dbxelf.h
4013 (sparc64-*-openbsd*): Likewise.
4014 (sparclite-*-elf*): Include tm-dwarf2.h.
4015 (sparc86x-*-elf*): Likewise.
4016 (sparc64-*-elf*): Likewise.
4017 * config/sparc/linux64.h (DWARF2_DEBUGGING_INFO): Delete.
4018 (DBX_DEBUGGING_INFO): Likewise.
4019 * config/sparc/liteelf.h (DWARF2_DEBUGGING_INFO): Likewise.
4020 (PREFERRED_DEBUGGING_TYPE): Likewise.
4021 * config/sparc/netbsd-elf.h (PREFERRED_DEBUGGING_TYPE): Likewise.
4022 * config/sparc/sp64-elf.h (DBX_DEBUGGING_INFO): Likewise.
4023 (PREFERRED_DEBUGGING_TYPE): Likewise.
4024 * config/sparc/sp86x-elf.h (DWARF2_DEBUGGING_INFO): Likewise.
4025 (PREFERRED_DEBUGGING_TYPE): Likewise.
4026 * config/sparc/sparc.h (DBX_DEBUGGING_INFO): Likewise.
4028 2005-01-21 Hans-Peter Nilsson <hp@bitrange.com>
4031 * combine.c (combine_simplify_rtx): Revert change of 2004-12-31.
4033 2005-01-20 Paul Brook <paul@codesourcery.com>
4035 * doc/rtl.texi: Document value extension requirements for CONST_INT.
4037 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
4039 * tree-cfg.c (tree_verify_flow_info): Check that a nonlocal
4040 label is first in a sequence of labels.
4042 * tree-cfg.c (tree_verify_flow_info): Fix a typo.
4044 2005-01-20 Janis Johnson <janis187@us.ibm.com>
4045 Giovanni Bajo <giovannibajo@gcc.gnu.org>
4047 * doc/sourcebuild.texi (Test Directives): New.
4049 2005-01-20 Roger Sayle <roger@eyesopen.com>
4051 * real.c (real_floor): Don't leave the result uninitialized when
4052 mode is VOIDMode, but return the unrounded intermediate value.
4053 (real_ceil): Likewise.
4055 2005-01-20 Paul Brook <paul@codesourcery.com>
4057 * config/arm/arm.md (insv): Use gen_int_mode.
4059 2005-01-20 Eric Botcazou <ebotcazou@libertysurf.fr>
4061 * config/sparc/freebsd.h (ASM_OUTPUT_INTERNAL_LABELREF): Delete.
4062 * config/sparc/linux.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
4063 * config/sparc/linux64.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
4064 * config/sparc/netbsd-elf.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
4065 * config/sparc/sol2.h (ASM_OUTPUT_INTERNAL_LABELREF): Likewise.
4067 2005-01-20 Daniel Berlin <dberlin@dberlin.org>
4070 * dwarf2out.c (concat_loc_descriptor): We don't know we can use
4071 fbreg, so we have to assume we can't.
4072 (loc_descriptor_from_tree_1): Ditto.
4073 (containing_function_has_frame_base): New function.
4074 (add_location_or_const_value_attribute): Use it.
4075 Also try to generate a frame_base from a single element location
4078 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
4080 PR tree-optimization/15349
4081 * timevar.def (TV_TREE_MERGE_PHI): New.
4082 * tree-cfg.c (tree_forwarder_block_p): Add a new argument
4084 (remove_forwarder_block, cleanup_forwarder_blocks): Adjust the
4085 calls to tree_forwarder_block_p.
4086 (remove_forwarder_block_with_phi, merge_phi_nodes,
4087 gate_merge_phi, pass_merge_phi): New.
4088 * tree-optimize.c (init_tree_optimization_passes): Add
4090 * tree-pass.h: Add an extern for pass_merge_phi;
4092 2005-01-20 Richard Henderson <rth@redhat.com>
4095 * config/i386/emmintrin.h (_mm_castpd_ps, _mm_castpd_si128): New.
4096 (_mm_castps_pd, _mm_castps_si128): New.
4097 (_mm_castsi128_ps, _mm_castsi128_pd): New.
4099 2005-01-20 Richard Henderson <rth@redhat.com>
4102 * config/i386/mmintrin.h (_mm_cvtsi32_si64): Use
4103 __builtin_ia32_vec_init_v2si.
4104 (_mm_cvtsi64_si32): Use __builtin_ia32_vec_ext_v2si.
4105 * config/i386/i386.c (IX86_BUILTIN_VEC_EXT_V2SI): New.
4106 (ix86_init_mmx_sse_builtins): Create it.
4107 (ix86_expand_builtin): Expand it.
4108 (ix86_expand_vector_set): Handle V2SFmode and V2SImode.
4109 * config/i386/mmx.md (vec_extractv2sf_0, vec_extractv2sf_1): New.
4110 (vec_extractv2si_0, vec_extractv2si_1): New.
4112 2005-01-20 Richard Henderson <rth@redhat.com>
4115 * config/i386/i386.c (ix86_expand_push): New.
4116 * config/i386/mmx.md (push<MMXMODE>1): New.
4117 * config/i386/sse.md (push<SSEMODE>1): New.
4118 * config/i386/i386-protos.h: Update.
4120 2005-01-20 Kazu Hirata <kazu@cs.umass.edu>
4122 * params.def, params.h, predict.c, tree-ssa-loop-im.c: Update
4125 2005-01-20 Richard Henderson <rth@redhat.com>
4127 * rtl.def (CONST_VECTOR): Use RTX_CONST_OBJ.
4128 * rtl.h (CONSTANT_P): Don't special case CONST_VECTOR.
4130 2005-01-19 Richard Henderson <rth@redhat.com>
4133 * config/i386/i386.c (ix86_expand_vector_move_misalign): Convert
4134 to V4SFmode in SSE1 fallback load path.
4136 2005-01-19 Richard Henderson <rth@redhat.com>
4138 * config/i386/i386.c (ix86_expand_vector_init_one_var): Fix typo
4139 in QImode expansion to ix86_expand_vector_set.
4140 (ix86_expand_vector_init_general): Fix typo in V8HImode recursive call.
4142 2005-01-19 Richard Henderson <rth@redhat.com>
4145 * config/i386/i386.c (ix86_preferred_reload_class): Return a proper
4146 subclass of the input class.
4147 (ix86_secondary_memory_needed): Always true for cross-MMX classes.
4148 Always true for cross-SSE1 classes. Rationalize conditionals.
4149 * config/i386/i386.h (SSE_CLASS_P, MMX_CLASS_P): Use straight equality.
4150 * config/i386/i386.md (movsi_1): Add MMX/SSE zeros. Fix alternatives
4151 for SSE1. Don't check TARGET_INTER_UNIT_MOVES.
4152 (movdi_2): Add MMX/SSE zeros.
4153 (movdi_1_rex64): Likewise. Don't check TARGET_INTER_UNIT_MOVES.
4154 (movsf_1): Don't check TARGET_INTER_UNIT_MOVES.
4155 (zero_extendsidi2_32, zero_extendsidi2_rex64): Likewise.
4156 (movsi_1_nointernunit, movdi_1_rex64_nointerunit): Remove.
4157 (movsf_1_nointerunit, zero_extendsidi2_32_1): Remove.
4158 (zero_extendsidi2_rex64_1): Remove.
4159 (MOV0 peephole): Check GENERAL_REG_P.
4161 2005-01-19 Richard Henderson <rth@redhat.com>
4164 * config/i386/i386.c (ix86_expand_vector_set): Fix third and fourth
4166 (ix86_expand_vector_extract): Likewise.
4168 2005-01-19 Richard Henderson <rth@redhat.com>
4171 * expr.c (emit_move_change_mode): New argument force; use
4172 simplify_gen_subreg if true.
4173 (emit_move_via_alt_mode): Merge into ...
4174 (emit_move_via_integer): ... here.
4175 (emit_move_ccmode): Use emit_move_change_mode directly.
4177 2005-01-19 Richard Henderson <rth@redhat.com>
4180 * config/alpha/alpha.c (alpha_rtx_costs): Handle HIGH.
4181 (alpha_preferred_reload_class): Handle CONST_VECTOR.
4182 (alpha_emit_set_const_1): Add no_output parameter; don't emit
4184 (alpha_emit_set_const): Likewise. Make static.
4185 (alpha_emit_set_long_const): Make static.
4186 (alpha_extract_integer): Split out from alpha_expand_mov.
4187 (alpha_split_const_mov): Likewise.
4188 (alpha_expand_mov): Use them. Handle CONST_VECTOR.
4189 (alpha_legitimate_constant_p): New.
4190 * config/alpha/alpha-protos.h: Update.
4191 * config/alpha/alpha.h (REGISTER_MOVE_COST): Correct fp<->gp cost.
4192 (LEGITIMATE_CONSTANT_P): Re-implement with a function.
4193 * config/alpha/alpha.md (movsi): Add n alternative.
4194 (movsi_nt_vms, movdi_er_nofix, movdi_er_fix, movdi_fix): Likewise.
4195 (mov<VEC>_fix, mov<VEC>_nofix): Add i alternative.
4196 (splitters for all of the above): Use alpha_split_const_mov.
4197 * config/alpha/predicates.md (non_add_const_operand): New.
4198 (non_zero_const_operand): New.
4199 (input_operand): Use alpha_legitimate_constant_p after reload.
4201 2005-01-19 Zdenek Dvorak <dvorakz@suse.cz>
4203 PR tree-optimization/19038
4204 * tree-ssa-loop-ivopts.c (allow_ip_end_pos_p): New function.
4205 (add_candidate): Add ivs with increment in latch only if
4206 allow_ip_end_pos_p is true.
4207 (determine_iv_cost): Use empty_block_p.
4209 2005-01-19 Daniel Berlin <dberlin@dberlin.org>
4211 * cfganal.c (compute_dominance_frontiers_1): Replace with new algorithm
4212 (compute_dominance_frontiers): Ditto.
4214 2005-01-19 Ralf Corsepius <ralf.corsepius@rtems.org>
4217 * config/sh/t-rtems: New.
4218 * config.gcc (sh-*-rtems*): Reflect having added config/sh/t-rtems.
4220 2005-01-19 Zdenek Dvorak <dvorakz@suse.cz>
4222 * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Always subtract
4223 the offset of the selected field.
4225 2005-01-19 Kazu Hirata <kazu@cs.umass.edu>
4227 * tree-cfg.c (remove_forwarder_block): Fix the check to
4228 prevent a nonlocal label from appearing in the middle of a
4231 2005-01-19 Hans-Peter Nilsson <hp@axis.com>
4233 PR rtl-optimization/19462
4234 * reorg.c (find_end_label): Create return insn only if
4235 current_function_epilogue_delay_list is empty.
4237 2005-01-19 Paolo Bonzini <bonzini@gnu.org>
4239 * doc/passes.texi: Remove paragraph mentioning new-ra.
4241 2005-01-19 Jakub Jelinek <jakub@redhat.com>
4243 PR rtl-optimization/15139
4244 * combine.c: Include params.h.
4245 (count_rtxs): New function.
4246 (record_value_for_reg): If replace_rtx would replace at least
4247 2 occurrences of REG in VALUE and TEM is really large, replace REG with
4248 (clobber (const_int 0)) instead of TEM.
4249 * params.def (PARAM_MAX_LAST_VALUE_RTL): New.
4250 * params.h (MAX_LAST_VALUE_RTL): New.
4251 * Makefile.in (combine.o): Depend on $(PARAMS_H).
4252 * doc/invoke.texi (--param max-last-value-rtl=N): Document.
4255 * c-typeck.c (digest_init): Only call build_vector if all constructor
4256 elements are *_CST nodes.
4257 * gimplify.c (gimplify_init_constructor): Likewise.
4260 * c-typeck.c (digest_init): Only call build_vector if inside_init
4263 2005-01-18 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
4265 * toplev.c (init_asm_output): Remove dead #ifdef.
4267 2005-01-18 Kaz Kojima <kkojima@gcc.gnu.org>
4269 * config/sh/linux.h (TARGET_C99_FUNCTIONS): Define.
4271 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
4273 * calls.c (expand_call): Check DECL_BUILT_IN_CLASS before
4274 accessing DECL_FUNCTION_CODE.
4275 * dojump.c (do_jump): Likewise.
4276 * gimplify.c (gimplify_call_expr): Likewise.
4277 * predict.c (expr_expected_value): Likewise.
4278 (strip_builtin_expect): Likewise.
4279 * tree-inline.c (estimate_num_insns_1): Likewise.
4280 * tree-ssa-loop-im.c (stmt_cost): Likewise
4281 * fold-const.c (fold): Test for BUILT_IN_NORMAL.
4282 (tree_expr_nonnegative_p): Likewise.
4284 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
4286 * config/sparc/sparc.c (load_pic_register): Emit the appropriate
4287 variant of the load_pcrel_sym pattern.
4288 * config/sparc/sparc.md (P macro): Move to the top.
4289 (load_pcrel_sym): Macroize using P.
4290 (save_register_window): Likewise.
4292 2005-01-18 Aldy Hernandez <aldyh@redhat.com>
4294 * config/rs6000/rs6000.md ("sunordered"): Disable for e500.
4297 2005-01-18 Andrew Pinski <pinskia@physics.uc.edu>
4300 * c-typeck.c (build_asm_expr): Strip nops off
4301 input memory operands.
4303 2005-01-18 David Edelsohn <edelsohn@gnu.org>
4305 * config/rs6000/aix43.h (CPLUSPLUS_CPP_SPEC): Delete
4306 _XOPEN_SOURCE, _XOPEN_SOURCE_EXTENDED, _LARGE_FILE_API.
4307 * config/rs6000/aix51.h (CPLUSPLUS_CPP_SPEC): Same.
4308 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Same.
4310 2005-01-18 Joel Sherrill <joel.sherrill@oarcorp.com>
4313 * config/i386/i386.c (override_options): If the 80387 is disabled,
4314 then do not return FP values using FP registers.
4316 2005-01-18 Kazu Hirata <kazu@cs.umass.edu>
4318 * basic-block.h, c-common.c, c-cppbuiltin.c, c-lang.c,
4319 c-tree.h, cfgbuild.c, cgraph.c, cgraph.h, collect2.c,
4320 combine.c, config.gcc, coverage.h, cse.c, cselib.c,
4321 defaults.h, df.c, dwarf2asm.c, dwarf2out.c, explow.c, expr.c,
4322 flow.c, fold-const.c, gcse.c, ggc-page.c, gimple-low.c,
4323 gimplify.c, ifcvt.c, langhooks-def.h, lcm.c, optabs.h,
4324 output.h, postreload-gcse.c, postreload.c, recog.c,
4325 resource.c, rtl.def, rtlanal.c, sched-deps.c, sched-rgn.c,
4326 targhooks.h, toplev.c, tree-data-ref.c, tree-eh.c,
4327 tree-flow.h, tree-loop-linear.c, tree-mudflap.h, tree-nrv.c,
4328 tree-optimize.c, tree-outof-ssa.c, tree-pass.h,
4329 tree-scalar-evolution.c, tree-ssa-copy.c, tree-ssa-dce.c,
4330 tree-ssa-dse.c, tree-ssa-loop-ivopts.c, tree-ssa-operands.c,
4331 tree-ssa-pre.c, tree-ssa.c, tree-vectorizer.c, tree.def,
4332 unwind-dw2-fde-darwin.c, var-tracking.c: Update copyright.
4334 * config/darwin.c, config/darwin.h, config/freebsd-spec.h,
4335 config/alpha/alpha.c, config/arm/vfp.md,
4336 config/i386/emmintrin.h, config/i386/i386-modes.def,
4337 config/i386/i386-protos.h, config/i386/i386.h,
4338 config/i386/pmmintrin.h, config/i386/ppro.md,
4339 config/i386/predicates.md, config/i386/xmmintrin.h,
4340 config/i860/i860.c, config/ia64/ia64-modes.def,
4341 config/ia64/ia64-protos.h, config/ia64/ia64.h,
4342 config/ia64/ia64.md, config/ia64/itanium1.md,
4343 config/ia64/itanium2.md, config/ia64/predicates.md,
4344 config/iq2000/iq2000.h, config/mips/linux64.h,
4345 config/rs6000/aix41.h, config/rs6000/aix43.h,
4346 config/rs6000/aix52.h, config/rs6000/darwin-fallback.c,
4347 config/rs6000/rs6000.c, config/rs6000/rs6000.h,
4348 config/rs6000/spe.md, config/sh/sh.md, config/sparc/linux.h,
4349 config/sparc/linux64.h, config/sparc/litecoff.h,
4350 config/sparc/sp64-elf.h, config/sparc/sparc.c,
4351 config/sparc/sparc.h, config/sparc/sparc.md,
4352 config/sparc/sysv4-only.h: Update copyright.
4354 2005-01-18 Richard Henderson <rth@redhat.com>
4357 * config/i386/i386.c (ix86_expand_fp_movcc): Fail for LTGT and UNEQ.
4359 2005-01-18 Marc Espie <espie@openbsd.org>
4360 * config/i386/openbsdelf.h: Typo.
4362 2005-01-18 Richard Henderson <rth@redhat.com>
4364 * config/i386/i386.c (ix86_expand_fp_movcc): Remove TARGET_IEEE_FP
4365 special case for sse.
4366 * config/i386/predicates.md (sse_comparison_operator): Likewise.
4368 2005-01-18 Dorit Naishlos <dorit@il.ibm.com>
4370 * tree-inline.c (estimate_num_insns_1): Added cases for
4371 ALIGN_INDIRECT_REF, MISALIGNED_INDIRECT_REF, and REALIGN_LOAD_EXPR.
4373 2005-01-18 Eric Botcazou <ebotcazou@libertysurf.fr>
4375 PR rtl-optimization/19296
4376 * combine.c (simplify_comparison): Rewrite the condition under
4377 which a non-paradoxical SUBREG of a PLUS can be lifted when
4378 compared against a constant.
4380 2005-01-18 Andi Kleen <ak@muc.de>
4382 * c-typeck.c: (convert_for_assignment): Check warn_pointer_sign.
4383 * c.opt (-Wpointer-sign): Add.
4384 * doc/invoke.texi: (-Wpointer-sign): Add.
4386 2005-01-18 Uros Bizjak <uros@kss-loka.si>
4388 * config/i386/i386.c (override_options): Revert 2004-11-24 change.
4389 * config/i386/i386.md (fmodsf3, dremsf3, *sinsf2, *cossf2, sincossf3,
4390 *tansf3_1, tansf2, atan2sf3_1, atan2sf3, atansf2, asinsf2, acossf2,
4391 logsf2, log10sf2, log2sf2, log1psf2, logbsf2, ilogbsf2, expsf2,
4392 exp10sf2, exp2sf2, expm1sf2, rintsf2, floorsf2, ceilsf2, btruncsf2,
4393 nearbyintsf2): Disable for TARGET_SSE_MATH. Leave patterns enabled
4394 for TARGET_MIX_SSE_I387.
4395 (fmoddf3, dremdf3, *sindf2, *sinextendsfdf2, *cosdf2, *cosextendsfdf2,
4396 sincosdf3, *sincosextendsfdf3, *tandf3_1, tandf2, atan2df3_1,
4397 atan2df3, atandf2, asindf2, acosdf2, logdf2, log10df2, log2df2,
4398 log1pdf2, logbdf2, expdf2, exp10df2, exp2df2, expm1df2, rintdf2,
4399 floordf2, ceildf2, btruncdf2, nearbyintdf2): Disable for
4400 (TARGET_SSE2 && TARGET_SSE_MATH). Leave patterns enabled for
4401 TARGET_MIX_SSE_I387.
4402 (atan2sf3, atan2df3, atan2xf3): Remove register constraints
4405 2005-01-18 Uros Bizjak <uros@kss-loka.si>
4408 * config/i386/mmx.md (*movv2sf_internal_rex64, *movv2sf_internal):
4409 Add movaps alternative for xmm reg->reg move.
4411 2005-01-17 Jeff Law <law@redhat.com>
4413 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Clear SSA_NAME_VALUE
4414 at the end of the main DOM loop rather than just before DOM exits.
4416 2005-01-17 Diego Novillo <dnovillo@redhat.com>
4418 PR tree-optimization/19121
4419 * tree-ssa-alias.c (compute_flow_sensitive_aliasing): When
4420 adding aliases to a name tag, also add them to the pointer's
4422 * tree-ssa-copy.c (merge_alias_info): Do not merge flow
4423 sensitive alias info at all. Only check that the two pointers
4424 have compatible pointed-to sets.
4425 * tree-ssa.c (verify_name_tags): Verify that the alias set of
4426 a pointer's type tag is a superset of the alias set of the
4429 2005-01-17 James E Wilson <wilson@specifixinc.com>
4432 * config/ia64/ia64.md (movxf): Handle general register source. Adjust
4433 comment to document why.
4435 2005-01-17 Richard Henderson <rth@redhat.com>
4437 * config/i386/sse.md (smaxv4sf3_finite, sse_vmsmaxv4sf3_finite,
4438 sminv4sf3_finite, sse_vmsminv4sf3_finite, smaxv2df3_finite,
4439 sse2_vmsmaxv2df3_finite, sminv2df3_finite,
4440 sse2_vmsminv2df3_finite): New.
4441 (smaxv4sf3, sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, smaxv2df3,
4442 sse2_vmsmaxv2df3, sminv2df3, sse2_vmsminv2df3): Remove commutative.
4443 Force op1 into register.
4445 2005-01-17 Kelley Cook <kcook@gcc.gnu.org>
4447 * Makefile.in (STAGEMOVESTUFF): Stage all the stamp files to prevent
4448 bubblestrap from always rebuilding build directory.
4450 2005-01-17 Ulrich Weigand <uweigand@de.ibm.com>
4452 * config/s390/s390.md ("*clc"): Remove incorrect '='.
4453 ("*cmpmem_short"): Likewise.
4455 2005-01-17 Steven Bosscher <stevenb@suse.de>
4457 * basic-block.h: Document BB_* flags.
4458 * regrename.c (copyprop_hardreg_forward): Don't use BB_VISITED,
4459 use an sbitmap instead.
4460 * sched-rgn.c (compute_trg_info): Likewise.
4462 2005-01-17 Richard Sandiford <rsandifo@redhat.com>
4464 * config.gcc (mips64*-*-linux*): Set the default abi to n32. Remove
4465 redundant target_cpu_default and extra_parts lines. Use the default
4467 * config/mips/linux64.h (DRIVER_DEFAULT_ABI_SELF_SPEC): Delete.
4468 (SUBTARGET_EXTRA_SPECS): Delete.
4469 (DRIVER_SELF_SPECS): Remove architecture lines. Set the ABI directly.
4470 (SUBTARGET_ASM_SPEC): Remove -mabi=n32 and -mabi=64 mappings.
4471 * config/mips/t-linux64 (MULTILIB_DIRNAMES): Use "32" for -mabi=32
4472 and "n32" for -mabi=n32.
4474 2005-01-17 Ian Lance Taylor <ian@airs.com>
4477 * c-typeck.c (build_c_cast): Revert patch of 2003-02-16: don't
4478 fold constant variables into initial values.
4480 2005-01-17 Kazu Hirata <kazu@cs.umass.edu>
4482 * tree-cfg.c (tree_can_merge_blocks_p): Reorder two checks.
4484 * tree-cfg.c (tree_forwarder_block_p): Speed up by walking
4485 through the statements backward.
4487 2005-01-17 Ian Lance Taylor <ian@airs.com>
4489 PR middle-end/13127:
4490 * tree-inline.c (expand_call_inline): Set TREE_NO_WARNING on
4491 a variable set to the return value of the inlined function.
4493 2005-01-17 Mark Dettinger <dettinge@de.ibm.com>
4495 * rtlanal.c (rtx_cost): Assign cost of 0 to a SUBREG
4496 when modes are tieable.
4498 2005-01-17 Ranjit Mathew <rmathew@hotmail.com>
4500 * gthr-posix.h (__gthread_active_p): Use pthread_cancel instead
4501 of pthread_create to find out if threads are enabled.
4502 * gthr-posix95.h (__gthread_active_p): Likewise.
4504 2005-01-17 Paolo Bonzini <bonzini@gnu.org>
4506 * common.opt (-fnew-ra): Remove.
4508 * toplev.h (flag_new_regalloc): Remove.
4509 * Makefile.in (ra*.*): Don't mention.
4510 * passes.c (rest_of_handle_new_regalloc): Remove.
4511 (rest_of_handle_combine, rest_of_compilation): Always consider
4512 flag_new_regalloc as false.
4513 * doc/invoke.texi: Don't document -fnew-ra.
4515 2005-01-17 Paolo Bonzini <bonzini@gnu.org>
4517 * bb-reorder.c (fix_edges_for_rarely_executed_code): Remove
4518 last parameter to reg_scan.
4519 * loop.c (loop_optimize): Likewise.
4520 * passes.c (rest_of_handle_tracer, rest_of_handle_if_conversion,
4521 rest_of_handle_web, rest_of_handle_cfg, rest_of_handle_jump_bypass,
4522 rest_of_handle_life, rest_of_handle_cse, rest_of_handle_cse2,
4523 rest_of_handle_gcse, rest_of_handle_loop_optimize,
4524 rest_of_handle_loop2, rest_of_handle_jump2): Likewise.
4525 * regclass.c (reg_scan): Likewise, for the declaration.
4526 * rtl.h (reg_scan): Likewise, for the prototype.
4528 2005-01-17 Kazu Hirata <kazu@cs.umass.edu>
4530 * tree-ssa-dom.c (tree_ssa_dominator_optimize): Don't call
4531 mark_dfs_back_edges.
4533 2005-01-16 Daniel Berlin <dberlin@dberlin.org>
4535 * tree-ssa-pre.c (add_to_sets): s1 may be NULL.
4536 (compute_avail): Uses don't go in tmp_gen.
4538 2005-01-16 Steven Bosscher <stevenb@suse.de>
4540 * ggc-page.c (ggc_alloc_stat): Use __builtin_ctzl instead of a
4541 loop to look for a free slot in a page entry.
4543 2005-01-16 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
4546 * defaults.h (TARGET_DEFERRED_OUTPUT_DEFS): Provide default.
4547 * toplev.c (compile_file): Call process_pending_assemble_output_defs
4548 just before targetm.asm_out.file_end.
4549 * tree.h (process_pending_assemble_output_defs): Declare.
4550 * varasm.c (assemble_output_def, process_pending_assemble_output_defs):
4552 (assemble_alias): Defer generation of assembly code for defines when
4553 TARGET_DEFERRED_OUTPUT_DEFS is true.
4554 * config/rs6000/aix41.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
4555 * config/rs6000/aix43.h (TARGET_DEFERRED_OUTPUT_DEFS): Define.
4556 * doc/tm.texi (TARGET_DEFERRED_OUTPUT_DEFS): document.
4558 2005-01-15 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
4561 * pa.c (pa_scalar_mode_supported_p): New function.
4562 (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
4563 * pa.h (MIN_UNITS_PER_WORD): Add comment.
4565 * pa-protos.h (prefetch_operand): Delete.
4566 (prefetch_cc_operand, prefetch_nocc_operand): New declations.
4567 * pa.c (prefetch_operand): Delete.
4568 (prefetch_cc_operand, prefetch_nocc_operand): New functions.
4569 * pa.h (EXTRA_CONSTRAINT): Add `W' constraint.
4570 (PREDICATE_CODES): Delete prefetch_operand. Add prefetch_cc_operand
4571 and prefetch_nocc_operand.
4572 * pa.md (prefetch): Rework to avoid reload problems handling short
4573 displacements when a cache control completer needs to be provided.
4574 (prefetch_32, prefetch_64): Delete.
4575 (prefetch_cc, prefetch_nocc): New patterns.
4577 2005-01-15 David Edelsohn <edelsohn@gnu.org>
4579 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Revert previous change.
4581 2005-01-15 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
4584 * pa.c (pa_asm_output_aligned_common): Warn if specified alignment
4585 exceeds maximum alignment for global common data.
4586 * pa64-hpux.h (MAX_OFILE_ALIGNMENT): Define to 32768.
4587 * som.h (MAX_OFILE_ALIGNMENT): Likewise.
4589 2004-01-15 Roger Sayle <roger@eyesopen.com>
4591 * tree-ssa-dom.c (extract_range_from_cond): Correct condition.
4593 2004-01-15 Roger Sayle <roger@eyesopen.com>
4595 * harg-reg-set.h (reg_class_names): Prototype global array.
4596 * regclass.c (reg_class_names): Declare here and initialize to
4598 (dump_regclass): Remove local declaration of reg_class_names.
4599 (regclass): Likewise.
4600 * cfg.c (dump_flow_info): Likewise.
4601 * ra-debug.c (reg_class_names): Likewise.
4602 * regrename.c (reg_class_names): Likewise.
4603 * reload.c (reg_class_names): Likewise.
4604 * reload1.c (spill_failure): Likewise.
4605 * config/m68hc11/m68hc11.c (reg_class_names): Likewise.
4607 2005-01-15 Ulrich Weigand <uweigand@de.ibm.com>
4609 * config/s390/s390.md ("reload_outti"): Remove predicate for
4610 output operand. Abort if operand is not a MEM.
4611 ("reload_outdi", "reload_outdf"): Likewise.
4613 2005-01-15 Marc Espie <espie@openbsd.org>
4615 * config.gcc (*-*-openbsd*): Set HAS_LIBC_R for OpenBSD <= 3.2.
4616 (i[34567]86-*-openbsd*): Switch to ELF for OpenBSD >= 3.4.
4617 * config/openbsd.h: Fix C++ includes for native configurations.
4618 Add proper OS_CPP_BUILTINS. Fix libspec for recent OpenBSD.
4619 Add trampoline support.
4620 * config/i386/openbsdelf.h: New.
4622 2005-01-15 Marc Espie <espie@openbsd.org>
4624 * collect2.c (main): Explicitly parse -dynamic-linker option.
4626 2005-01-15 Jakub Jelinek <jakub@redhat.com>
4628 PR tree-optimization/19060
4629 * tree-ssa-dom.c (extract_range_from_cond) <case LT_EXPR, GT_EXPR>:
4630 Return 0 if op1 <= TYPE_MIN_VALUE () resp. op1 >= TYPE_MAX_VALUE ().
4631 (simplify_cond_and_lookup_avail_expr): Add assert for dummy == 0
4632 and handle extract_range_from_cond returning false.
4633 * fold-const.c (fold): Optimize comparisons with min/max even for
4634 width > HOST_BITS_PER_WIDE_INT.
4636 2005-01-15 Ralf Corsepius <ralf.corsepius@rtems.org>
4638 * config/mips/rtems.h (MIPS_DEFAULT_GVALUE): Set to 0.
4639 * config/mips/t-rtems (MULTILIBS_DIRNAMES,MULTILIB_OPTIONS):
4640 Remove little endian multilib variants.
4641 Add mips32 multilib variant.
4643 2005-01-15 Kazu Hirata <kazu@cs.umass.edu>
4645 * explow.c (copy_all_reg, stabilize): Remove.
4646 * expr.h: Remove the corresponding prototypes.
4648 * rtlanal.c (regs_set_between_p): Remove.
4649 * rtl.h: Remove the corresponding prototype.
4651 2005-01-14 David Edelsohn <edelsohn@gnu.org>
4653 * config/rs6000/rs6000.c (rs6k_nonimmediate_operand): Rename
4654 to rs6000_nonimmediate_operand.
4655 * config/rs6000/rs6000.h (PREDICATE_CODES): Rename
4656 rs6k_nonimmediate_operand to rs6000_nonimmediate_operand.
4657 * config/rs6000/rs6000.md (movsi_internal1): Rename predicate to
4658 rs6000_nonimmediate_operand.
4659 * config/rs6000/spe.md (movdf_e500_double): Rename predicate to
4660 rs6000_nonimmediate_operand.
4662 2005-01-14 Andrew Pinski <pinskia@physics.uc.edu>
4664 * tree-ssa-alias.c (pass_may_alias): Add TODO_verify_stmts.
4666 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
4668 * config/rs6000/rs6000.h (CLASS_MAX_NREGS): DF goes in 1 register
4670 (CANNOT_CHANGE_MODE_CLASS): Restrict DI mode changes on e500v2.
4671 (PREDICATE_CODES): Add rs6k_nonimmediate_operand.
4673 * config/rs6000/rs6000.c (invalid_e500_subreg): New.
4674 (rs6k_nonimmediate_operand): New.
4675 (rs6000_legitimate_offset_address_p): Handle DI modes on e500v2
4677 (legitimate_lo_sum_address_p): Same.
4678 (rs6000_legitimize_address): Same.
4679 (rs6000_legitimize_reload_address): Same.
4680 (rs6000_legitimate_address): Same.
4681 (spe_build_register_parallel): Pass DF and DC modes in a DI
4684 * config/rs6000/rs6000.md ("*movsi_internal1"): Change predicate
4685 to rs6k_nonimmediate_operand.
4687 * config/rs6000/spe.md ("*frob_df_di"): New.
4688 ("*frob_di_df"): New.
4689 ("*frob_di_df_2"): New.
4690 ("*mov_sidf_e500_subreg0"): New.
4691 ("*mov_sidf_e500_subreg4"): New.
4692 ("*movdf_e500_double"): Change predicate to
4693 rs6k_nonimmediate_operand.
4695 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
4697 * postreload.c (move2add_note_store): Only call
4698 trunc_int_for_mode on scalar integers.
4700 2005-01-14 Steven Bosscher <stevenb@suse.de>
4702 * tree-ssa-dce.c (visited_control_parents): New sbitmap to
4703 replace BB_VISITED uses.
4704 (find_obviously_necessary_stmts): Don't clear BB_VISITED.
4705 (propagate_necessity): Check the bitmap instead of BB_VISITED.
4706 (tree_dce_done): Free visited_control_parents.
4707 (perform_tree_ssa_dce): Allocate and clear it.
4708 * tree-ssa-pre.c (compute_antic_aux): Make non-recursive.
4709 (compute_antic): Iterate from here using a DFS. Use an sbitmap
4710 instead of BB_VISITED.
4712 2005-01-14 Kazu Hirata <kazu@cs.umass.edu>
4714 * c-tree.h, coverage.h, langhooks-def.h, optabs.h, output.h,
4715 rtl.h, targhooks.h, tree-flow.h, tree-mudflap.h, tree.h:
4716 Remove unused prototypes.
4718 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
4720 * config/rs6000/rs6000.c (rs6000_stack_info): Fix caching of SPE
4721 64-bit register usage.
4722 (spe_func_has_64bit_regs_p): Add FIXME note.
4724 2005-01-14 Aldy Hernandez <aldyh@redhat.com>
4726 * config/rs6000/rs6000.c (rs6000_generate_compare): Replace
4727 flag_finite_math_only with flag_unsafe_math_optimizations.
4729 2005-01-14 J. D. Johnston <jjohnst@us.ibm.com>
4731 * config/s390/tpf-unwind.h (s390_fallback_frame_state): Correct
4733 (__tpf_eh_return): Copy TPF private stack area from the module
4734 boundary stack frame. Add check for when module addresses are
4735 equal, but no stub address is found.
4737 2005-01-14 Richard Earnshaw <rearnsha@arm.com>
4740 * arm.h (struct machine_function): Add call_via field.
4741 (thumb_call_via_label): Declare.
4742 * arm.c (thumb_call_via_label): New variable.
4743 (thumb_call_reg_needed): New variable.
4744 (arm_output_function_epilogue): For Thumb code, output any per-function
4745 call-indirect trampolines.
4746 (thumb_call_via_reg): New function.
4747 (arm_file_end): New function.
4748 (TARGET_ASM_FILE_END): Call arm_file_end.
4749 (aof_file_end): Likewise.
4750 * arm-protos.h (thumb_call_via_reg): Declare.
4751 * arm.md (call_reg_thumb, call_value_reg_thumb): Call
4752 thumb_call_via_reg in normal case.
4754 2005-01-14 Jakub Jelinek <jakub@redhat.com>
4757 PR rtl-optimization/19348
4758 * recog.c (peephole2_optimize): Do global life update if some peephole
4759 decides it doesn't need at least one of its inputs and that change
4760 influences liveness at the start of the basic block.
4762 * basic-block.h (EXECUTE_IF_AND_COMPL_IN_REG_SET): Needs 2 REGSET
4763 arguments instead of 1.
4765 2005-01-14 Eric Botcazou <ebotcazou@libertysurf.fr>
4768 * varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Return
4769 zero for nested functions needing a static chain or functions
4770 with a non-constant address.
4772 2005-01-13 Roger Sayle <roger@eyesopen.com>
4774 * simplify-rtx.c (simplify_binary_operation) <AND>: Optimize
4775 (and (sign_extend X) C) into (zero_extend (and X C)).
4777 2005-01-13 David O'Brien <obrien@FreeBSD.org>
4779 * config/freebsd-spec.h: Make KSE pthread lib logic the default.
4781 2005-01-13 Richard Henderson <rth@redhat.com>
4786 * config/i386/i386.md (cmpdf, cmpsf, bunordered, bordered, buneq,
4787 bunge, bungt, bunle, bunlt, bltgt): Enable for TARGET_SSE_MATH,
4788 not just TARGET_SSE.
4789 (cmpfp_i_387): Rename from cmpfp_i. Move after sse patterns.
4790 (cmpfp_i_mixed): Rename from cmpfp_i_sse; use for TARGET_MIX_SSE_I387.
4791 (cmpfp_i_sse): Rename from cmpfp_i_sse_only; use for TARGET_SSE_MATH.
4792 (cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387): Similarly.
4793 (fp_jcc_1_mixed, fp_jcc_1_sse, fp_jcc_1_387): Similarly.
4794 (fp_jcc_2_mixed, fp_jcc_2_sse, fp_jcc_2_387): Similarly.
4795 (fp_jcc_3_387, fp_jcc_4_387, fp_jcc_5_387, fp_jcc_6_387,
4796 fp_jcc_7_387, fp_jcc_8_387): Rename from fp_jcc_N.
4797 (movdicc_c_rex64): Rename with '*'.
4798 (movsfcc, movdfcc): Add checks for 387 and sse math to condition.
4799 (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): New.
4800 (movsfcc_1_387): Rename from movsfcc_1.
4801 (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): New.
4802 (movdfcc_1, movdfcc_1_rex64): Add check for 387.
4803 (sminsf3, smaxsf3, smindf3, smaxdf3): New.
4804 (minsf3, minsf, minsf_nonieee, minsf_sse, mindf3, mindf,
4805 mindf_nonieee, mindf_sse, maxsf3, maxsf, maxsf_nonieee, maxsf_sse,
4806 maxdf3, maxdf, maxdf_nonieee, maxdf_sse, sse_movsfcc, sse_movsfcc_eq,
4807 sse_movdfcc, sse_movdfcc_eq, sse_movsfcc_const0_1,
4808 sse_movsfcc_const0_2, sse_movsfcc_const0_3, sse_movsfcc_const0_4,
4809 sse_movdfcc_const0_1, sse_movdfcc_const0_2, sse_movdfcc_const0_3,
4810 sse_movdfcc_const0_4): Remove.
4811 * config/i386/i386.c (ix86_expand_fp_movcc): For TARGET_SSE_MATH,
4812 recognize min/max early. Update for changed sse cmove patterns.
4813 (ix86_split_sse_movcc): New.
4814 * config/i386/i386-protos.h: Update.
4816 2005-01-13 Steven Bosscher <stevenb@suse.de>
4818 * tree-ssa-dse.c (fix_phi_uses): Use SSA operand iterators.
4819 (fix_stmt_v_may_defs): Likewise.
4821 2005-01-13 Richard Henderson <rth@redhat.com>
4823 * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use elt_mode
4824 for converting the mask.
4826 2005-01-13 David Edelsohn <edelsohn@gnu.org>
4828 * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Change _XOPEN_SOURCE
4831 2005-01-13 Richard Henderson <rth@redhat.com>
4833 * config/i386/i386.c (IX86_BUILTIN_MOVQ, IX86_BUILTIN_LOADD,
4834 IX86_BUILTIN_STORED, IX86_BUILTIN_MOVQ2DQ,
4835 IX86_BUILTIN_MOVDQ2Q): Remove.
4836 (IX86_BUILTIN_VEC_EXT_V4SI): New.
4837 (ix86_init_mmx_sse_builtins, ix86_expand_builtin): Update to match.
4838 (ix86_expand_vector_extract): For V4S[FI], extract element 0 after
4840 * config/i386/sse.md (sse_concatv2sf): Accept zero operand 2.
4841 (sse2_pextrw): Fix immediate constraint.
4842 (sse2_loadq, sse2_loadq_rex64): Remove.
4843 * config/i386/emmintrin.h (_mm_cvtsi128_si32, _mm_cvtsi128_si64x):
4844 Use __builtin_ia32_vec_ext_<size>.
4845 (_mm_cvtsi32_si128, _mm_cvtsi64x_si128): Use _mm_set_epi<size>.
4847 2005-01-13 Aldy Hernandez <aldyh@redhat.com>
4849 * function.c (assign_parm_setup_block): Look inside original
4850 entry_parm when inspecting PARALLEL.
4852 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
4853 Joel Sherrill <joel@oarcorp.com>
4856 * gthr-rtems.h (__gthread_recursive_mutex_t): New type.
4857 (__GTHREAD_RECURSIVE_MUTEX_INIT_FUNCTION): Define to
4858 rtems_gxx_recursive_mutex_init.
4859 (__gthread_recursive_mutex_lock): New function.
4860 (__gthread_recursive_mutex_trylock): Likewise.
4861 (__gthread_recursive_mutex_unlock): Likewise.
4863 2005-01-13 Ralf Corsepius <ralf.corsepius@rtems.org>
4865 * config/i386/t-rtems-i386: Multilib on -mtune instead of -mcpu.
4867 2005-01-13 Jan Beulich <jbeulich@novell.com>
4869 * config/ia64/ia64.md (ashlti3, ashlti3_internal): New.
4870 (ashrti3_internal): Indicate output is early clobber. Generate result
4871 into output rather than first input. Use move for low word of output
4872 if shift count is exactly 64.
4873 (lshrti3_internal): Likewise.
4875 2005-01-13 Hans-Peter Nilsson <hp@bitrange.com>
4879 * reload1.c (delete_output_reload): Don't delete an output reload
4880 if the pseudo lives longer than a single basic block. Adjust and
4881 improve wording of comment.
4883 2005-01-12 Andrew Pinski <pinskia@physics.uc.edu>
4886 * config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
4887 of TYPE_SIZE where we mean the number of bytes.
4889 2005-01-12 Aldy Hernandez <aldyh@redhat.com>
4891 * function.c (assign_parm_setup_block): Relax condition on
4892 multi-register optimization.
4894 2005-01-12 Nick Clifton <nickc@redhat.com>
4896 * config/sh/sh.md (udivsi3_sh2a, divsi3_sh2a): Give these patterns
4897 an "in_delay_slot" attribute of "no" to prevent them being used in
4898 delay slots. This is forbidden because they might generate
4901 2005-01-12 Alan Modra <amodra@bigpond.net.au>
4904 * config/rs6000/rs6000.md (movtf_internal): Replace r->o and m->r
4907 2005-01-12 Nick Clifton <nickc@redhat.com>
4909 * config/iq2000/iq2000.h (ASM_SPEC): Undefine (to stop -Qy being
4910 passed on to GAS) but do not define, as GAS no longer supports or
4911 needs the -m2000 option.
4913 2005-01-11 Roger Sayle <roger@eyesopen.com>
4915 * builtins.c (fold_builtin_fabs): Convert argument to the appropriate
4916 type as args of unprototyped builtins aren't automatically promoted.
4917 (fold_builtin_abs): Likewise.
4919 2005-01-11 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
4921 * Makefile.in: Set a `build-warn' variable.
4923 2005-01-11 Zdenek Dvorak <dvorakz@suse.cz>
4925 PR tree-optimization/17949
4926 * tree-ssa-loop-ivopts.c (may_be_unaligned_p): New function.
4927 (find_interesting_uses_address): Use it.
4929 2005-01-11 Aldy Hernandez <aldyh@redhat.com>
4931 * regrename.c (kill_value): Handle subreg's that won't simplify.
4933 2005-01-11 Richard Henderson <rth@redhat.com>
4936 * config/i386/i386.h (enum ix86_builtins): Move ...
4937 * config/i386/i386.c: ... here.
4938 (IX86_BUILTIN_MOVDDUP, IX86_BUILTIN_MMX_ZERO, IX86_BUILTIN_PEXTRW,
4939 IX86_BUILTIN_PINSRW, IX86_BUILTIN_LOADAPS, IX86_BUILTIN_LOADSS,
4940 IX86_BUILTIN_STORESS, IX86_BUILTIN_SSE_ZERO, IX86_BUILTIN_PEXTRW128,
4941 IX86_BUILTIN_PINSRW128, IX86_BUILTIN_LOADAPD, IX86_BUILTIN_LOADSD,
4942 IX86_BUILTIN_STOREAPD, IX86_BUILTIN_STORESD, IX86_BUILTIN_STOREHPD,
4943 IX86_BUILTIN_STORELPD, IX86_BUILTIN_SETPD1, IX86_BUILTIN_SETPD,
4944 IX86_BUILTIN_CLRPD, IX86_BUILTIN_LOADPD1, IX86_BUILTIN_LOADRPD,
4945 IX86_BUILTIN_STOREPD1, IX86_BUILTIN_STORERPD, IX86_BUILTIN_LOADDQA,
4946 IX86_BUILTIN_STOREDQA, IX86_BUILTIN_CLRTI,
4947 IX86_BUILTIN_LOADDDUP): Remove.
4948 (IX86_BUILTIN_VEC_INIT_V2SI, IX86_BUILTIN_VEC_INIT_V4HI,
4949 IX86_BUILTIN_VEC_INIT_V8QI, IX86_BUILTIN_VEC_EXT_V2DF,
4950 IX86_BUILTIN_VEC_EXT_V2DI, IX86_BUILTIN_VEC_EXT_V4SF,
4951 IX86_BUILTIN_VEC_EXT_V8HI, IX86_BUILTIN_VEC_EXT_V4HI,
4952 IX86_BUILTIN_VEC_SET_V8HI, IX86_BUILTIN_VEC_SET_V4HI): New.
4953 (ix86_init_builtins): Make static.
4954 (ix86_init_mmx_sse_builtins): Update for changed builtins.
4955 (ix86_expand_binop_builtin): Only use ix86_fixup_binary_operands
4956 if all the modes match. Otherwise, fake it.
4957 (get_element_number, ix86_expand_vec_init_builtin,
4958 ix86_expand_vec_ext_builtin, ix86_expand_vec_set_builtin): New.
4959 (ix86_expand_builtin): Make static. Update for changed builtins.
4960 (ix86_expand_vector_move_misalign): Use sse2_loadlpd with zero
4961 operand instead of sse2_loadsd. Cast sse1 fallback to V4SFmode.
4962 (ix86_expand_vector_init_duplicate): New.
4963 (ix86_expand_vector_init_low_nonzero): New.
4964 (ix86_expand_vector_init_one_var, ix86_expand_vector_init_general):
4965 Split out from ix86_expand_vector_init; handle integer modes.
4966 (ix86_expand_vector_init): Use them.
4967 (ix86_expand_vector_set, ix86_expand_vector_extract): New.
4968 * config/i386/i386-protos.h: Update.
4969 * config/i386/predicates.md (reg_or_0_operand): New.
4970 * config/i386/mmx.md (mov<MMXMODEI>_internal): Add 'r' variants.
4971 (movv2sf_internal): Likewise. And a splitter to match them all.
4972 (vec_dupv2sf, mmx_concatv2sf, vec_setv2sf, vec_extractv2sf,
4973 vec_initv2sf, vec_dupv4hi, vec_dupv2si, mmx_concatv2si, vec_setv2si,
4974 vec_extractv2si, vec_initv2si, vec_setv4hi, vec_extractv4hi,
4975 vec_initv4hi, vec_setv8qi, vec_extractv8qi, vec_initv8qi): New.
4976 (mmx_pinsrw): Fix operand ordering.
4977 * config/i386/sse.md (movv4sf splitter): Use direct pattern,
4978 rather than sse_loadss expander.
4979 (movv2df splitter): Similarly.
4980 (sse_loadss, sse_loadlss): Remove.
4981 (vec_dupv4sf, sse_concatv2sf, sse_concatv4sf, vec_extractv4sf_0): New.
4982 (vec_setv4sf, vec_setv2df): Use ix86_expand_vector_set.
4983 (vec_extractv4sf, vec_extractv2df): Use ix86_expand_vector_extract.
4984 (sse3_movddup): Rename with '*'.
4985 (sse3_movddup splitter): Use gen_rtx_REG instead of gen_lowpart.
4986 (sse2_loadsd): Remove.
4987 (vec_dupv2df_sse3): Rename from sse3_loadddup.
4988 (vec_dupv2df, vec_concatv2df_sse3, vec_concatv2df): New.
4989 (sse2_pinsrw): Fix argument ordering.
4990 (sse2_loadld, sse2_loadq): Add sse1 alternatives.
4991 (sse2_stored): Remove 'r' destination.
4992 (vec_dupv4si, vec_dupv2di, sse2_concatv2si, sse1_concatv2si,
4993 vec_concatv4si_1, vec_concatv2di, vec_setv2di, vec_extractv2di,
4994 vec_initv2di, vec_setv4si, vec_extractv4si, vec_initv4si,
4995 vec_setv8hi, vec_extractv8hi, vec_initv8hi, vec_setv16qi,
4996 vec_extractv16qi, vec_initv16qi): New.
4998 * config/i386/emmintrin.h (__m128i, __m128d): Use typedef, not define.
4999 (_mm_set_sd, _mm_set1_pd, _mm_setzero_pd, _mm_set_epi64x,
5000 _mm_set_epi32, _mm_set_epi16, _mm_set_epi8, _mm_setzero_si128): Use
5002 (_mm_load_pd, _mm_store_pd): Use plain dereference.
5003 (_mm_load_si128, _mm_store_si128): Likewise.
5004 (_mm_load1_pd): Use _mm_set1_pd.
5005 (_mm_load_sd): Use _mm_set_sd.
5006 (_mm_store_sd, _mm_storeh_pd): Use __builtin_ia32_vec_ext_v2df.
5007 (_mm_store1_pd, _mm_storer_pd): Use _mm_store_pd.
5008 (_mm_set_epi64): Use _mm_set_epi64x.
5009 (_mm_set1_epi64x, _mm_set1_epi64, _mm_set1_epi32, _mm_set_epi16,
5010 _mm_set1_epi8, _mm_setr_epi64, _mm_setr_epi32, _mm_setr_epi16,
5011 _mm_setr_epi8): Use _mm_set_foo form.
5012 (_mm_loadl_epi64, _mm_movpi64_epi64, _mm_move_epi64): Use _mm_set_epi64.
5013 (_mm_storel_epi64, _mm_movepi64_pi64): Use __builtin_ia32_vec_ext_v2di.
5014 (_mm_extract_epi16): Use __builtin_ia32_vec_ext_v8hi.
5015 (_mm_insert_epi16): Use __builtin_ia32_vec_set_v8hi.
5016 * config/i386/mmintrin.h (_mm_setzero_si64): Use plain cast.
5017 (_mm_set_pi32): Use __builtin_ia32_vec_init_v2si.
5018 (_mm_set_pi16): Use __builtin_ia32_vec_init_v4hi.
5019 (_mm_set_pi8): Use __builtin_ia32_vec_init_v8qi.
5020 (_mm_set1_pi16, _mm_set1_pi8): Use _mm_set_piN variant.
5021 * config/i386/pmmintrin.h (_mm_loaddup_pd): Use _mm_load1_pd.
5022 (_mm_movedup_pd): Use _mm_shuffle_pd.
5023 * config/i386/xmmintrin.h (_mm_setzero_ps, _mm_set_ss,
5024 _mm_set1_ps, _mm_set_ps, _mm_setr_ps): Use constructor form.
5025 (_mm_cvtpi16_ps, _mm_cvtpu16_ps, _mm_cvtpi8_ps, _mm_cvtpu8_ps,
5026 _mm_cvtps_pi8, _mm_cvtpi32x2_ps): Avoid __builtin_ia32_mmx_zero;
5028 (_mm_load_ss, _mm_load1_ps): Use _mm_set* form.
5029 (_mm_load_ps, _mm_loadr_ps): Use raw dereference.
5030 (_mm_store_ss): Use __builtin_ia32_vec_ext_v4sf.
5031 (_mm_store_ps): Use raw dereference.
5032 (_mm_store1_ps): Use _mm_storeu_ps.
5033 (_mm_storer_ps): Use _mm_store_ps.
5034 (_mm_extract_pi16): Use __builtin_ia32_vec_ext_v4hi.
5035 (_mm_insert_pi16): Use __builtin_ia32_vec_set_v4hi.
5037 2005-01-11 Stan Shebs <shebs@apple.com>
5039 * config/rs6000/rs6000.c (machopic_output_stub): Issue
5040 ldu instead of lwzu if 64-bit -mdynamic-no-pic.
5042 2005-01-11 Andrew Pinski <pinskia@physics.uc.edu>
5045 * config/rs6000/rs6000.c (rs6000_special_round_type_align):
5046 Skip all DECLs except for FIELD_DECLs.
5048 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
5050 * config/s390/s390.c (override_options): Return error if
5051 -mbackchain, -mpacked-stack and -mhard-float are used together.
5052 (s390_va_start): Remove the backchain && packed-stack special case.
5053 (s390_gimplify_va_arg): Likewise.
5054 * doc/invoke.texi: Remove the ABI incompatibility note.
5056 2005-01-11 Andreas Krebbel <krebbel1@de.ibm.com>
5058 * config/s390/s390.c (struct s390_frame_layout): Remove
5060 (s390_frame_info, s390_emit_prologue): Replace occurrences of
5061 save_backchain_p with TARGET_BACKCHAIN.
5063 2005-01-11 Alan Modra <amodra@bigpond.net.au>
5066 * builtins.c (std_gimplify_va_arg_expr): Adjust alignment of *ap.
5067 * expr.h (struct locate_and_pad_arg_data): Add "boundary".
5068 * function.c (locate_and_pad_parm): Set new field.
5069 (assign_parm_find_stack_rtl): Use it instead of FUNCTION_ARG_BOUNDARY.
5070 Tweak where_pad test to include "none". Always set mem align for
5072 (assign_parm_adjust_stack_rtl): Discard stack_parm if alignment
5073 not sufficient for type.
5074 (assign_parm_setup_block): If stack_parm is zero on entry, always
5075 make a new stack local. Block move old stack parm if necessary
5076 to new aligned stack local.
5077 (assign_parm_setup_stack): Use a block move to handle
5078 potentially misaligned entry_parm.
5079 (assign_parms_unsplit_complex): Specify required alignment when
5080 creating stack local.
5081 * calls.c (compute_argument_addresses): Override alignment of stack
5082 arg calculated from its type with the alignment given by
5083 FUNCTION_ARG_BOUNDARY.
5084 (store_one_arg): Likewise.
5086 2005-01-11 Jan Beulich <jbeulich@novell.com>
5088 * config/ia64/ia64.md (zero_extendsidi2): Replace zxt4 by addp4.
5089 Change respective itanium_class attribute to ialu.
5090 (shladdp4_internal): New.
5091 * config/ia64/predicates.md (shladd_log2_operand): New.
5093 2005-01-11 Richard Henderson <rth@redhat.com>
5095 * expr.c (store_constructor): Use rtvec_alloc instead of
5096 alloca+gen_rtvec_v, and an incorrect number passed to alloca.
5098 2005-01-11 Kazu Hirata <kazu@cs.umass.edu>
5100 * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos.
5102 2005-01-11 Alan Modra <amodra@bigpond.net.au>
5104 * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL.
5105 * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define.
5106 (TARGET_RWRELOC): Define.
5107 (ia64_rwreloc_section_type_flags): Delete.
5108 (ia64_section_type_flags): New function.
5109 * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define.
5110 (TARGET_RWRELOC): Define.
5112 2005-01-10 David Mosberger <davidm@hpl.hp.com>
5115 * config/ia64/ia64.c (process_set): For alloc insn, only call
5116 process_epilogue is !frame_pointer_needed.
5118 2005-01-10 Roger Sayle <roger@eyesopen.com>
5121 * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
5122 unary operator and can't be treated as a binary/comparison operator.
5124 2005-01-10 Richard Henderson <rth@redhat.com>
5126 * config/i386/i386.c (ix86_function_value): Use type_natural_mode.
5127 (ix86_return_in_memory): Likewise.
5128 (function_arg_advance): Likewise. Mirror structure in function_arg
5129 for choosing register to advance.
5131 2005-01-10 Kazu Hirata <kazu@cs.umass.edu>
5133 * tree-vectorizer.c, tree.def: Fix comment typos.
5135 2005-01-10 Mark Dettinger <dettinge@de.ibm.com>
5137 * config/s390/s390.c (struct processor_costs): 4 new fields:
5138 ddbr, ddr, debr, der.
5139 (s390_rtx_costs): More precise handling of divide instructions.
5141 2005-01-10 David Edelsohn <edelsohn@gnu.org>
5143 * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define.
5145 2005-01-10 Jan Beulich <jbeulich@novell.com>
5147 * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section
5148 names resulting from -ffunction-sections/-fdata-sections and linkonce
5150 * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL
5151 based on the section name. Rearrange the section name comparison logic
5152 slightly so that each section name is compared against at most once.
5154 2005-01-10 Ben Elliston <bje@au.ibm.com>
5156 * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of
5157 targets for which -fPIC reduces limitations on the GOT size.
5159 2005-01-09 Falk Hueffner <falk@debian.org>
5161 * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding
5164 2005-01-09 David Edelsohn <edelsohn@gnu.org>
5167 * collect2.c (main): Set aixrtl_flag for -brtl option.
5168 (resolve_lib_name): Search for .so file extension before .a
5171 2005-01-09 Dorit Naishlos <dorit@il.ibm.com>
5173 * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints.
5174 (vect_analyze_data_refs_alignment): Add dump prints.
5176 2005-01-09 Ira Rosen <irar@il.ibm.com>
5178 * tree-vectorizer.c (vect_analyze_offset_expr): Use
5179 expr_invariant_in_loop_p.
5180 Initialize outputs first thing in the function.
5181 (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num.
5182 (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num.
5183 (vect_analyze_pointer_ref_access): Check that the initial condition of
5184 the access function is loop invariant.
5186 2005-01-09 Richard Henderson <rth@redhat.com>
5188 * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes.
5189 (ix86_expand_builtin): Likewise. Frob MASKMOVQ wrt the input mem
5190 just like MASKMOVDQU. Return plain zero for MMX_ZERO.
5191 * config/i386/i386.md (MMXMODEI, mov<MMXMODEI>,
5192 mov<MMXMODEI>_internal_rex64, mov<MMXMODEI>_internal, movv2sf,
5193 movv2sf_internal_rex64, movv2sf_internal, MMXMODE,
5194 movmisalign<MMXMODE>, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex,
5195 sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3,
5196 ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3,
5197 mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3,
5198 mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd,
5199 sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3,
5200 mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw,
5201 mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3,
5202 gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3,
5203 ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3,
5204 mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw,
5205 mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd,
5206 mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3,
5207 eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw,
5208 pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3,
5209 pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2,
5210 pswapdv2sf2): Move to mmx.md; rename as necessary with leading
5212 (mmx_clrdi, pavgusb): Remove.
5213 (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename
5214 with leading sse_ prefix.
5215 * config/i386/sse.md: Receive them.
5216 * config/i386/mmx.md: New file.
5217 (MMXMODE12, MMXMODE24, mmxvecsize): New.
5218 (subrv2sf3): Turn into expander for normal subtraction.
5219 (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3,
5220 mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart,
5221 mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3,
5222 mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark
5223 commutative; use ix86_binary_operator_ok.
5224 (mmx_add<MMXMODEI>3, mmx_ssadd<MMXMODE12>3, mmx_usadd<MMXMODE12>3,
5225 mmx_sub<MMXMODEI>3, mmx_sssub<MMXMODE12>3, mmx_ussub<MMXMODE12>3
5226 mmx_ashr<MMXMODE24>3, mmx_lshr<MMXMODE23>3, mmx_ashl<MMXMODE24>3
5227 mmx_eq<MMXMODEI>3, mmx_gt<MMXMODEI>3, mmx_and<MMXMODEI>3,
5228 mmx_nand<MMXMODEI>3, mmx_ior<MMXMODEI>3, mmx_xor<MMXMODEI>3):
5229 Macroize from existing patterns; use ix86_binary_operator_ok.
5230 (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative.
5231 (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd,
5232 mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise. Model
5233 with vec_select+vec_concat.
5234 (mmx_pshufw, mmx_pshufw_1): Likewise.
5235 (mmx_uavgv8qi3): Merge pavgusb. Model correcty.
5236 (mmx_uavgv4hi3): Model correctly.
5237 * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64,
5238 _mm_xor_si64): Remove casts.
5240 2005-01-09 Zdenek Dvorak <dvorakz@suse.cz>
5242 PR tree-optimization/19224
5243 * tree-scalar-evolution.c (get_instantiated_value,
5244 set_instantiated_value): New functions.
5245 (instantiate_parameters_1): Cache the results.
5246 (instantiate_parameters, resolve_mixers): Initialize and free
5249 2005-01-08 David Edelsohn <edelsohn@gnu.org>
5251 * config/i386/i386.md (addhi_4): Correct reference in comment.
5254 2005-01-08 Richard Henderson <rth@redhat.com>
5256 * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
5257 (_mm_cvtsi128_si64x): Likewise.
5258 (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
5259 _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
5260 the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
5261 * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
5262 * config/i386/i386-protos.h: Update.
5263 * config/i386/i386.c (print_operand): Add 'H'.
5264 (ix86_fixup_binary_operands): Split out from ...
5265 (ix86_expand_binary_operator): ... here.
5266 (ix86_fixup_binary_operands_no_copy): New.
5267 (ix86_expand_fp_absneg_operator): Handle vector mode results.
5268 (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
5269 (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
5270 (safe_vector_operand): Use CONST0_RTX.
5271 (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
5272 (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
5273 CODE_FOR_sse2_maskmovdqu. Special case SSE version of MASKMOVDQU
5274 expansion. Update names for sse{,2,3}_ prefixes. Remove *maskncmp*
5276 * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
5277 (IX86_BUILTIN_CMPNGESS): New.
5278 * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
5279 (attr type): Add sselog1.
5280 (attr unit, attr memory): Handle it.
5281 (movti, movti_internal, movti_rex64): Move near other integer moves.
5282 (movtf, movtf_internal): Move near other fp moves.
5283 (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
5284 vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
5285 movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal,
5286 movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
5287 sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
5288 sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
5289 sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
5290 mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
5291 rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
5292 sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3,
5293 sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3,
5294 sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3,
5295 vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
5296 smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
5297 cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
5298 cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
5299 vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
5300 vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
5301 sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
5302 sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
5303 cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
5304 cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
5305 cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
5306 cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
5307 ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
5308 subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
5309 smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
5310 sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
5311 sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
5312 sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3,
5313 gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
5314 ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
5315 ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
5316 sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw,
5317 sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
5318 sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
5319 sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq,
5320 sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
5321 sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
5322 sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
5323 mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
5324 addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
5325 movsldup, lddqu, loadddup, movddup): Move to sse.md. Any with
5326 non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
5328 (SSEPUSH, push<SSEPUSH>): Remove.
5329 (MMXPUSH, push<MMXPUSH>): Remove.
5330 (sse_movaps, sse_movaps_1, sse_movups): Remove.
5331 (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
5332 (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
5333 (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
5334 (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
5335 (maskncmpv2df3, vmmaskncmpv2df3): Remove.
5336 (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
5337 (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
5338 * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
5339 (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
5340 * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
5341 (ppro_sse_log_V4SF_load): Similarly. Handle sselog1.
5342 (ppro_sse_log_V4SF): Handle sselog1.
5343 * config/i386/predicates.md (const_0_to_1_operand): New.
5344 (const_0_to_255_mul_8_operand): New.
5345 (const_1_to_31_operand): Rename from const_int_1_31_operand.
5346 (const_2_to_3_operand, const_4_to_7_operand): New.
5347 * config/i386/sse.md: New file.
5348 (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
5349 (sse_movups): Rename from sse_movups_1.
5350 (sse_loadlss): Rename from sse_loadss_1.
5351 (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
5353 (negv4sf2): Use ix86_expand_fp_absneg_operator.
5354 (absv4sf2, negv2df, absv2df): New.
5355 (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
5356 (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
5357 iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
5358 smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
5359 umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
5360 (sse3_addsubv4sf3): Model correctly.
5361 sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
5362 sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
5363 (sse_movhlps): Model with vec_select+vec_concat.
5364 (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup,
5365 sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
5366 sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
5367 sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
5368 sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
5369 sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw,
5370 sse2_pshufhw_1): Likewise.
5371 (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
5372 (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
5373 sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
5374 ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
5375 sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
5376 ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.
5377 (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
5378 sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
5379 mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
5380 sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
5381 sminv8hi3): Mark commutative
5382 operands. Use ix86_binary_operator_ok.
5383 (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
5384 sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
5385 sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
5386 sse2_punpcklqdq): Allow operand2 in memory.
5387 (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
5388 sse2_movsd): Add memory alternatives.
5389 (sse_storelps): Turn expander into an insn; split after reload.
5390 (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
5391 (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
5393 2005-01-08 Eric Botcazou <ebotcazou@libertysurf.fr>
5395 * configure.ac (DWARF-2 debug_line): Use objdump.
5396 * configure: Regenerate.
5398 2005-01-08 Jeff Law <law@redhat.com>
5399 Diego Novillo <dnovillo@redhat.com>
5401 PR tree-optimization/18241
5402 * tree-nrv.c (tree_nrv): Ignore volatile return values.
5403 * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
5404 statements with volatile operands.
5405 * tree-ssa-operands.c (add_stmt_operand): Do add volatile
5406 operands after marking a statement with has_volatile_ops.
5408 2005-01-08 Roger Sayle <roger@eyesopen.com>
5410 * tree.c (int_fits_type_p): Always honor integer constant
5411 TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
5413 2005-01-08 Roger Sayle <roger@eyesopen.com>
5415 * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
5416 the latent bug in rtl_delete_block has been resolved.
5418 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
5420 * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
5421 (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
5423 2005-01-08 Richard Sandiford <rsandifo@redhat.com>
5425 * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
5426 library as @multilib_dir@/$(SHLIB_SONAME).
5428 2005-01-07 Eric Botcazou <ebotcazou@libertysurf.fr>
5430 * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
5431 * configure: Regenerate.
5433 2005-01-07 Jakub Jelinek <jakub@redhat.com>
5435 * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
5438 2005-01-07 David Edelsohn <edelsohn@gnu.org>
5441 * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
5442 Convert non-word aligned offset address using ld/std into
5445 2005-01-07 Richard Henderson <rth@redhat.com>
5447 * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
5449 2005-01-07 Richard SAndiford <rsandifo@redhat.com>
5451 * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
5453 2005-01-07 Jakub Jelinek <jakub@redhat.com>
5455 PR tree-optimization/19283
5456 * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
5457 is not shorter than the original type.
5459 PR rtl-optimization/19012
5460 * config/i386/i386.md (addqi_1_slp): Set memory attribute.
5462 PR rtl-optimization/18861
5463 * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
5464 (FULL_STATE): Define.
5465 (mark_tablejump_edge): New function.
5466 (purge_dead_tablejump_edges): New function.
5467 (find_bb_boundaries): Use it.
5469 PR tree-optimization/18828
5470 * builtins.c (expand_builtin_next_arg): Remove argument and all
5471 the argument checking.
5472 (expand_builtin): Adjust caller.
5473 (expand_builtin_va_start): Likewise. Remove error for too many
5475 (fold_builtin_next_arg): Issue error for too many arguments.
5476 After checking arguments, replace them with magic arguments that
5477 prevent further checking of the args.
5479 2005-01-06 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
5481 * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
5483 2005-01-06 Roger Sayle <roger@eyesopen.com>
5486 * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
5487 and %{.S:...} (and their negative variants) to test whether the
5488 input file is assembler or pre-processed-assembler independent of
5489 the actual filename extension.
5491 2005-01-06 Roger Sayle <roger@eyesopen.com>
5493 * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
5494 of sign or zero extended values.
5496 2005-01-06 Geoffrey Keating <geoffk@apple.com>
5498 * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
5499 for IBM long double format correctly.
5501 2005-01-06 Daniel Berlin <dberlin@dberlin.org>
5503 Fix PR tree-optimization/18792
5505 * tree-data-ref.c (build_classic_dist_vector): Change first_loop
5506 to first_loop_depth, and use loop depth instead of loop number.
5507 (build_classic_dir_vector): Ditto.
5508 (compute_data_dependences_for_loop): Use depth, not loop number.
5509 * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop
5510 number. Pass in loops, instead of loop numbers.
5511 (gather_interchange_stats): Ditto.
5512 (linear_transform_loops): Ditto.
5514 2005-01-06 Richard Sandiford <rsandifo@redhat.com>
5517 * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
5518 biv_fits_mode_p, extension_within_bounds_p): New functions.
5519 (check_ext_dependent_givs): Use them.
5521 2005-01-06 Roger Sayle <roger@eyesopen.com>
5523 * cfgrtl.c (rtl_delete_block): A basic block may be followed by
5524 more than one barrier, in which case we should delete them all.
5526 2005-01-06 Tobias Schlueter <tobias.schlueter@physik.uni-muenchen.de>
5528 * gcc.c (process_command): Change year in 'gcc --version' to 2005.
5530 2005-01-05 Daniel Berlin <dberlin@dberlin.org>
5532 Fix PR middle-end/19286
5534 * dwarf2out.c (gen_subprogram_die): If we've already tried to
5535 output this subprogram, simply ignore this attempt to do it again.
5536 (add_abstract_origin_attribute): Don't abort trying to add the abstract
5537 origin attribute if it's not possible.
5538 (gen_block_die): Don't ignore subblocks of "unused" blocks.
5539 (decls_for_scope): Ditto.
5540 * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
5541 (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
5543 2005-01-05 Richard Henderson <rth@redhat.com>
5546 * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
5547 (bdesc_2arg): Use it.
5548 (ix86_expand_binop_builtin): Force operands into registers
5550 (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
5551 ix86_expand_sse_compare, ix86_expand_sse_comi,
5552 ix86_expand_builtin): Likewise.
5554 2005-01-05 Richard Henderson <rth@redhat.com>
5556 * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
5558 * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
5559 (mulv4hi3): Set itanium_class mmmul.
5560 (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
5561 (fpack): Rename from fpack_sfsf.
5563 2005-01-05 Richard Henderson <rth@redhat.com>
5566 * reload1.c (do_input_reload): Restrict the optimization deleteing
5567 a previous output reload to RELOAD_FOR_INPUT.
5569 2005-01-05 Steven Bosscher <stevenb@suse.de>
5571 * combine.c (expand_compound_operation) <ZERO_EXTRACT>: Add
5572 comment that we fall through after case.
5573 (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
5574 (distribute_links): Likewise.
5575 * cse.c (cse_insn): Likewise.
5576 * cselib.c (cselib_invalidate_mem): Likewise.
5577 * df.c: Update comments at the top of the file.
5578 (read_modify_subreg_p): Update comments here too.
5579 (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
5580 * flow.c (mark_set_1): Likewise.
5581 (mark_used_regs): Likewise.
5582 * gcse.c (mems_conflict_for_gcse_p): Likewise.
5583 (canon_list_insert): Likewise.
5584 (mark_set): Likewise.
5585 (try_replace_reg): Likewise.
5586 (store_killed_in_insn): Likewise.
5587 * loop.c (count_one_set): Likewise.
5588 (basic_induction_var): Likewise.
5589 * postreload-gcse.c (find_mem_conflicts): Likewise.
5590 * postreload.c (reload_combine_note_store): Likewise.
5591 (move2add_note_store): Likewise.
5592 * reload.c (find_equiv_reg): Likewise.
5593 (mark_referenced_resources): Likewise.
5594 * rtlanal.c (set_noop_p): Likewise.
5595 (note_stores): Likewise.
5596 (note_uses): Likewise.
5597 * sched-deps.c (sched_analyze_1): Likewise.
5598 * sched-rgn.c (check_live_1): Likewise.
5599 (update_live_1): Likewise.
5600 * config/i860/i860.c: Likewise.
5602 * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
5604 (ZERO_EXTRACT): Mention that this one can be an lvalue.
5606 * doc/rtl.texi: Update documentation for bit-fields and SET.
5608 2005-01-05 Roger Sayle <roger@eyesopen.com>
5610 * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
5612 2005-01-05 Jan Hubicka <jh@suse.cz>
5613 Richard Henderson <rth@redhat.com>
5616 * config/i386/i386.c (ix86_expand_move): Handle tls symbols
5619 2005-01-05 Richard Henderson <rth@redhat.com>
5622 * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
5623 (sse_shufps): Change operand 3 to const_int_operand.
5624 (sse2_storelps): Fix typo in template.
5625 (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
5626 * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
5627 (ix86_expand_builtin): Likewise.
5629 2005-01-05 Julian Brown <julian@codesourcery.com>
5631 * config/arm/arm.c (arm_return_in_memory): Treat complex types
5632 as aggregates for AAPCS ABIs.
5634 2005-01-05 Stan Shebs <shebs@apple.com>
5636 * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
5637 Mach-O getters if ppc64.
5638 * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
5640 * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
5641 signed four-byte field for global code case.
5642 (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
5644 2005-01-05 Roger Sayle <roger@eyesopen.com>
5647 * c-common.c: Include real.h.
5648 (c_common_truthvalue_conversion): Avoid destructively modifying expr.
5649 Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
5650 Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
5651 * Makefile.in (c-common.o): Update dependencies.
5653 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
5655 * c-parse.in (asm_string): Add trailing semicolon.
5657 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
5659 * c-parse.in (asm_string): New. Don't allow wide strings in
5661 (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
5662 asm_string instead of STRING.
5664 2005-01-05 Joseph S. Myers <joseph@codesourcery.com>
5666 * c-typeck.c (constructor_no_implicit): Remove.
5667 (set_designator, process_init_element): Don't check
5668 constructor_no_implicit.
5670 2005-01-05 J"orn Rennecke <joern.rennecke@st.com>
5671 Kaz Kojima <kkojima@gcc.gnu.org>
5674 * lcm.c (create_pre_exit): New.
5675 (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
5676 ENTRY_EXIT_EXTRA to 3. Use create_pre_exit.
5678 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
5680 * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
5681 -msoft-float in target_float_switch.
5682 * arm.c (arm_override_options): Fix processing of target_float_switch.
5684 2004-01-05 Richard Earnshaw <rearnsha@arm.com>
5686 * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
5689 2004-01-05 Uros Bizjak <uros@kss-loka.si>
5691 * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
5692 Replace i387 with 'i386 compiler' in -mfpmath=sse option.
5694 2005-01-04 Roger Sayle <roger@eyesopen.com>
5696 * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
5697 if deleting the then-block allows the test-block to fallthru to the
5700 2005-01-04 Andrew Pinski <pinskia@physics.uc.edu>
5703 * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
5704 after the full declaration if the are in two different TUs.
5706 2005-01-04 Richard Henderson <rth@redhat.com>
5709 * tree-sra.c (generate_one_element_init): Just
5710 call gimplify_and_add.
5711 (generate_element_init): Record the
5712 new referenced variables and mark them for renaming
5713 and split out to ...
5714 (generate_element_init_1): This.
5715 (scalarize_init): Don't call push_gimplify_context/
5716 pop_gimplify_context.
5718 2005-01-04 Geoffrey Keating <geoffk@apple.com>
5720 * toplev.c (get_src_pwd): Handle failure of getpwd().
5722 2005-01-04 Roger Sayle <roger@eyesopen.com>
5724 * fold-const.c (fold_single_bit_test): Delete unreachable handling
5726 (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
5727 all the cases handled by it are inverted by invert_truthvalue.
5729 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
5731 * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
5732 (save_register_windowsi): Likewise.
5734 2005-01-04 Richard Henderson <rth@redhat.com>
5736 * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
5738 2005-01-04 Uros Bizjak <uros@kss-loka.si>
5741 * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
5742 any simplifications of vector mode comparison operators.
5743 * simplify-rtx.c (simplify_relational_operation): Fix variable name.
5745 2005-01-04 Paolo Bonzini <bonzini@gnu.org>
5746 Devang Patel <dpatel@apple.com>
5748 PR tree-optimization/18308
5749 * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
5750 the operands before creating a new expression.
5751 * dojump.c (do_jump): Make drop_through_label available
5752 for all cases. Add expansion of COND_EXPR.
5754 2005-01-04 Ira Rosen <irar@il.ibm.com>
5756 * tree-vectorizer.c (vect_analyze_offset_expr): Test for
5757 INTEGER_CST instead of TREE_CONSTANT.
5758 (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
5759 instead of TREE_CONSTANT.
5760 (vect_analyze_pointer_ref_access): Test for INTEGER_CST
5761 instead of TREE_CONSTANT.
5763 2005-01-04 Eric Botcazou <ebotcazou@libertysurf.fr>
5765 * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
5767 2005-01-04 Uros Bizjak <uros@kss-loka.si>
5770 * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
5771 (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
5773 2005-01-03 Richard Henderson <rth@redhat.com>
5775 * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
5776 (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
5777 fold_convert_const_real_from_real): Split out from ...
5778 (fold_convert_const): ... here.
5780 2005-01-03 Richard Henderson <rth@redhat.com>
5783 * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
5784 (mov<MMXMODEI>_internal): Likewise.
5785 (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
5786 Add V2SF case; use it for SSE1; don't use TI.
5787 (movdf_integer): Likewise.
5788 (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
5790 2005-01-03 Ira Rosen <irar@il.ibm.com>
5792 * tree-vectorizer.c (vect_strip_conversions): New function.
5793 (vect_analyze_offset_expr): Call vect_strip_conversions. Add
5794 check for binary class.
5796 2005-01-03 Daniel Berlin <dberlin@dberlin.org>
5800 * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
5802 * gimple-low.c (mark_blocks_with_used_vars): New function.
5803 (mark_blocks_with_used_subblocks): Ditto.
5804 (mark_used_blocks): Ditto.
5805 (pass_mark_used_blocks): New pass.
5806 * tree-inline.c: Include debug.h.
5807 (expand_call_inline): Call outlining_inline_function here.
5808 * tree-optimize.c (init_tree_optimization_passes): Add
5809 pass_mark_used_blocks.
5810 * tree-pass.h (pass_mark_used_blocks): New.
5811 * Makefile.in (tree-inline.o): Add debug.h dependency.
5813 2005-01-03 Geoffrey Keating <geoffk@apple.com>
5815 * config/darwin.c (darwin_handle_weak_import_attribute): Permit
5816 VAR_DECLs to have weak_import attribute.
5818 * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
5821 2004-01-03 Steven Bosscher <stevenb@suse.de>
5823 * passes.c (rest_of_compilation): Don't run regmove if only
5824 flag_expensive_optimizations, require flag_regmove instead.
5826 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
5828 * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
5830 * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
5831 * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
5832 * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
5833 * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
5835 2005-01-03 Richard Henderson <rth@redhat.com>
5837 * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
5838 (ia64_const_ok_for_letter_p): New.
5839 (ia64_const_double_ok_for_letter_p): New.
5840 (ia64_extra_constraint): New.
5841 (ia64_expand_vecint_compare): New.
5842 (ia64_expand_vcondu_v2si): New.
5843 (ia64_expand_vecint_cmov): New.
5844 (ia64_expand_vecint_minmax): New.
5845 (ia64_print_operand): Add 'v'.
5846 (ia64_preferred_reload_class): New.
5847 (ia64_vector_mode_supported_p): New.
5848 * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
5849 (PREFERRED_RELOAD_CLASS): Move to function.
5850 (CONST_OK_FOR_LETTER_P): Move to function.
5851 (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
5852 (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
5853 (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
5854 (EXTRA_CONSTRAINT): Move to function.
5855 * config/ia64/ia64.md: Include vect.md.
5856 (itanium_class): Add mmalua.
5858 * config/ia64/itanium1.md (1_mmalua): New. Add it to bypasses.
5860 * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
5861 * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
5863 (const_int_2bit_operand): New.
5864 (fr_reg_or_0_operand): New.
5865 * config/ia64/ia64-modes.def: Add vector modes.
5866 * config/ia64/ia64-protos.h: Update.
5867 * config/ia64/vect.md: New file.
5869 2005-01-03 Richard Henderson <rth@redhat.com>
5871 * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
5873 2005-01-03 Uros Bizjak <uros@kss-loka.si>
5876 * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
5878 (log1pdf2): Change mode of operands[0,1] to DFmode.
5880 2005-01-03 Eric Botcazou <ebotcazou@libertysurf.fr>
5882 * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
5883 * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
5884 * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
5885 * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
5886 SPARC_RELAXED_ORDERING.
5888 2005-01-03 Richard Henderson <rth@redhat.com>
5889 Uros Bizjak <uros@kss-loka.si>
5892 * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
5893 IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
5894 * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
5896 (*mmx_pinsrw, *sse2_pinsrw): New patterns.
5897 * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
5898 const_pow2_1_to_128_operand): New predicates.
5900 2005-01-02 Greg McGary <greg@mcgary.org>
5902 * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
5904 (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
5905 object. [ptr_type]: Remove unused variable.
5906 Remember nearest addressable array-element or record-component
5907 when checking bitfield components. Tolerate empty BIND_EXPR.
5909 2005-01-01 Richard Henderson <rth@redhat.com>
5911 * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
5912 that don't narrow the value. Fail for other conversions.
5914 2005-01-01 Richard Henderson <rth@redhat.com>
5917 * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
5918 * c-lang.c (finish_file): Don't do it here.
5919 * objc/objc-act.c (objc_finish_file): Likewise.
5921 * cgraph.c (decl_assembler_name_equal): New.
5922 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
5923 (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
5924 * cgraph.h (struct cgraph_varpool_node): Add next.
5925 (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
5926 * varasm.c (assemble_alias): Mark the target as needed.
5928 2005-01-01 Andrew Pinski <pinskia@physics.uc.edu>
5931 * function.c (get_arg_pointer_save_area): Use entry_of_function
5932 instead of get_insns.
5934 2005-01-01 Roger Sayle <roger@eyesopen.com>
5935 Andrew Pinski <pinskia@physics.uc.edu>
5936 James E. Wilson <wilson@specifixinc.com>
5938 PR rtl-optimization/12092
5939 * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
5942 2005-01-01 Roger Sayle <roger@eyesopen.com>
5943 Olivier Hainque <hainque@act-europe.fr>
5945 * tree.c (int_fits_type_p): A narrower type always fits in a
5946 wider one, except for negative values into unsigned types.
5948 2005-01-01 Roger Sayle <roger@eyesopen.com>
5950 * tree.c (int_fits_type_p): Compare the result of force_fit_type
5951 with the original constant rather than require TREE_OVERFLOW.
5953 2005-01-01 Steven Bosscher <stevenb@suse.de>
5956 * c-decl.c (finish_function): If compiling C99, annotate the
5957 compiler generated return with the current file name and line 0.
5958 * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
5959 the source line is greater than 0.
5960 (remove_bb): Likewise.
5962 See ChangeLog.12 for earlier changes.