+2004-08-18 James E Wilson <wilson@specifixinc.com>
+
+ * config/mips/sb1.md (ir_sb1_divsf_1pipe): Renamed from ...1pipes.
+
+ * config/mips/mips.md (type): Add frdiv.
+ (divsf3+1, divsf3+2): Change type to frdiv.
+ * config/mips/sb1.md (ir_sb1_recipsf_2pipes, ir_sb1_recipsf_1pipe,
+ ir_sb1_recipdf_2pipes, ir_sb1_recipdf_1pipe): New.
+
+ * config/mips/3000.md (r3k_fdiv_single, r3k_fdiv_double): Add frdiv.
+ * config/mips/4300.md (r4300_fdiv_single, r4300_fdiv_double): Likewise.
+ * config/mips/4600.md (r4600_fdiv_single, f4600_fdiv_double): Likewise.
+ * config/mips/5000.md (r5k_fdiv_single): Likewise.
+ * config/mips/5400.md (ir_vr54_fdiv_sf, ir_vr54_fdiv_df): Likewise.
+ * config/mips/5500.md (ir_vr55_fdiv_sf, ir_vr55_fdiv_df): Likewise.
+ * config/mips/6000.md (r6k_fdiv_single, r6k_fdiv_double): Likewise.
+ * config/mips/7000.md (rm7_fp_divsqrt_df, rm7_fp_divsqrt_sf): Likewise.
+ * config/mips/9000.md (rm8k_fdivs, rm9k_fdivd): Likewise.
+ * config/mips/generic.md (generic_fdiv_single, generic_fdiv_double):
+ Likewise.
+ * config/mips/sr71k.md (ir_sr70_fdiv_sf, ir_sr70_fdiv_df): Likewise.
+
+2004-08-18 Robert Bowdidge <bowdidge@apple.com>
+
+ * config/rs6000/x-darwin: Remove XCFLAGS -mdynamic-no-pic to
+ get regression tester working again.
+
+2004-08-18 Zack Weinberg <zack@codesourcery.com>
+
+ * insn-notes.def, reg-notes.def: New files.
+ * rtl.h: Use them to define enum insn_note and enum reg_note.
+ * rtl.c: Use them to define note_insn_name and reg_note_name.
+ * Makefile.in (RTL_BASE_H): Update.
+
+ * modulo-sched.c, sched-rgn.c, final.c: NOTE_DISABLE_SCHED_OF_BLOCK
+ renamed to NOTE_INSN_DISABLE_SCHED_OF_BLOCK.
+
+2004-08-18 Richard Earnshaw <rearnsha@arm.com>
+
+ * arm.c (arm_size_rtx_costs): New function.
+ (arm_override_options): Use it if optimizing for space.
+
+2004-08-18 Richard Henderson <rth@redhat.com>
+
+ * emit-rtl.c (gen_const_mem): New.
+ * rtl.h (gen_const_mem): Declare.
+ * expr.c (do_tablejump): Use it.
+ * varasm.c (force_const_mem): Likewise.
+ * config/darwin.c (machopic_indirect_data_reference): Likewise.
+ (machopic_legitimize_pic_address): Likewise.
+ * config/arm/arm.c (legitimize_pic_address): Likewise.
+ * config/i386/i386.c (legitimize_pic_address): Likewise.
+ (legitimize_tls_address): Likewise.
+ * config/ia64/ia64.c (ia64_expand_tls_address): Likewise.
+ * config/ia64/ia64.md (load_fptr): Likewise.
+ * config/m32r/m32r.c (m32r_legitimize_pic_address): Likewise.
+ * config/pa/pa.c (legitimize_pic_address): Likewise.
+ * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Likewise.
+ (rs6000_emit_move): Likewise.
+ * config/s390/s390.c (legitimize_pic_address): Likewise.
+ (legitimize_tls_address): Likewise.
+ * config/s390/s390.md (casesi): Likewise.
+ * config/sh/sh.c (sh_reorg): Likewise.
+ * config/sparc/sparc.c (legitimize_pic_address): Likewise.
+ * config/v850/v850.md (casesi): Likewise.
+
+ * config/darwin.c (machopic_indirect_call_target): Set MEM_NOTRAP_P.
+ * config/sh/sh.c (prepare_move_operands): Remove incorrect
+ use of MEM_READONLY_P.
+
+2004-08-18 Steven Bosscher <stevenb@suse.de>
+
+ * Makefile.in (OBJS-common): Add postreload-gcse.c.
+ Add new postreload-gcse.o.
+ * cse.c (SAFE_HASH): Define as wrapper around safe_hash.
+ (lookup_as_function, insert, rehash_using_reg, use_related_value,
+ equiv_constant): Use SAFE_HASH instead of safe_hash.
+ (exp_equiv_p): Export. Add for_gcse argument when comparing
+ for GCSE.
+ (lookup, lookup_for_remove, merge_equiv_classes, find_best_addr,
+ find_comparison_args, fold_rtx, cse_insn): Update callers.
+ (hash_rtx): New function derived from old canon_hash and bits
+ from gcse.c hash_expr_1.
+ (canon_hash_string): Rename to hash_rtx_string.
+ (canon_hash, safe_hash): Make static inline. Call hash_rtx.
+ * cselib.c (hash_rtx): Rename to cselib_hash_rtx.
+ (cselib_lookup): Update this caller.
+ * gcse.c (modify_mem_list_set, canon_modify_mem_list_set):
+ Make static.
+ (hash_expr): Call hash_rtx.
+ (ldst_entry): Likewise.
+ (expr_equiv_p): Call exp_equiv_p.
+ (struct unoccr, hash_expr_1, hash_string_1, lookup_expr,
+ reg_used_on_edge, reg_set_between_after_reload_p,
+ reg_used_between_after_reload_p, get_avail_load_store_reg,
+ is_jump_table_basic_block, bb_has_well_behaved_predecessors,
+ get_bb_avail_insn, hash_scan_set_after_reload,
+ compute_hash_table_after_reload,
+ eliminate_partially_redundant_loads, gcse_after_reload,
+ get_bb_avail_insn, gcse_after_reload_main): Remove.
+ * postreload-gcse.c: New file, reincarnating most of the above.
+ * rtl.h (exp_equiv_p, hash_rtx): New prototypes.
+ (gcse_after_reload_main): Update prototype.
+ * timevar.def (TV_GCSE_AFTER_RELOAD): New timevar.
+ * passes.c (rest_of_handle_gcse2): Use it.
+
+2004-08-18 Diego Novillo <dnovillo@redhat.com>
+
+ * tree-ssa-loop.c (pass_loop_init): Add TODO_dump_func.
+ (pass_loop_done): Likewise.
+
+2004-08-18 Andrew Pinski <apinski@apple.com>
+
+ * config/rs6000/darwin.md: Delete the altivec patterns which are
+ handled differently now.
+ (load_macho_picbase_di): Make sure that is only happens for TARGET_64BIT
+ (macho_correct_pic_di): Likewise.
+ (call_indirect_nonlocal_darwin64): Likewise.
+ Delete the save world/saveFP/saveVec patterns.
+
+ Revert the reversion of: 2004-08-16 Stan Shebs <shebs@apple.com>
+ * config/darwin.c (macho_indirect_data_reference): Add DImode case.
+ * config/rs6000/rs6000.md: Include darwin.md.
+ (builtin_setjmp_receiver): Add DImode case.
+ * config/rs6000/rs6000.c (rs6000_emit_move): Add DImode case to
+ Darwin bits.
+
+2004-08-18 Matt Austern <austern@apple.com>
+
+ Dead code stripping
+ * darwin.h (EH_FRAME_SECTION_ATTR): Mark so it doesn't get stripped.
+ * darwin.c (darwin_file_end): Mark file as potentially strippable.
+
+2004-08-18 Richard Henderson <rth@redhat.com>
+
+ * alias.c (readonly_fields_p): Remove.
+ (objects_must_conflict_p): Don't call it.
+ * tree.h (readonly_fields_p): Remove.
+ * langhooks.h (struct lang_hooks): Remove honor_readonly.
+ * langhooks-def.h (LANG_HOOKS_HONOR_READONLY): Remove.
+
+2004-08-18 Diego Novillo <dnovillo@redhat.com>
+
+ * tree-dfa.c (add_referenced_var): Only global variables are
+ call-clobbered.
+ * tree-flow.h (struct ptr_info_def): Add field pt_global_mem.
+ * tree-ssa-alias.c (compute_points_to_and_addr_escape): Mark
+ all pointers dereferenced if the statement dereferences them.
+ (create_name_tags): Do not create memory tags for pointers
+ that have PT_ANYTHING set.
+ Also check if PT_VARS is not empty before creating a name tag.
+ (compute_flow_sensitive_aliasing): Don't mark call-clobbered
+ variables that share the same alias set with a pointer that
+ may point anywhere.
+ (add_may_alias): Add FIXME comment to remove clobbering
+ aliased variables and tags.
+ (replace_may_alias): Likewise.
+ (set_pt_anything): Do not clear PT_VARS nor IS_DEREFERENCED.
+ (merge_pointed_to_info): If the original variable has not
+ points-to information, call set_pt_anything.
+ (add_pointed_to_var): Do not prevent adding a pointed-to
+ variable if the pointers is PT_ANYTHING.
+ If the variable is a global, set PT_GLOBAL_MEM.
+ (collect_points_to_info_r): Don't assume that PLUS_EXPRs of
+ pointer type only come in PTR+OFFSET flavours.
+ Always call merge_pointed_to_info on PHI arguments that are
+ SSA_NAMEs.
+ (get_nmt_for): Mark call-clobbered tags whose pointer points
+ to global memory.
+ * tree-ssa-operands.c (opf_kill_def, opf_no_vops): Switch
+ values.
+ (get_indirect_ref_operands): Always clear OPF_KILL_DEF from
+ FLAGS.
+ (add_stmt_operand): Abort if the caller tried to add a killing
+ definition for a memory tag.
+ * tree-ssa.c (verify_flow_sensitive_alias_info): Remove
+ unnecessary checks.
+
+2004-08-18 J"orn Rennecke <joern.rennecke@superh.com>
+
+ * sh.h (CONDITIONAL_REGISTER_USAGE): Don't exclude fixed registers
+ from call_used_regs. Update call_really_used_regs.
+ (CALL_REALLY_USED_REGISTERS): Define.
+ * sh.c (output_stack_adjust, shmedia_target_regs_stack_space):
+ Replace call_used_regs with call_really_used_regs.
+ (calc_live_regs, sh_media_register_for_return): Likewise.
+ (sh5_schedule_saves, sh_expand_prologue, reg_unused_after): Likewise.
+ * sh.md (return_media): Likewise.
+
+2004-08-18 Andrew Pinski <apinski@apple.com>
+
+ * config/darwin.c (machopic_legitimize_pic_address): Only set
+ MEM_READONLY_P in the non TARGET_TOC case.
+
+2004-08-18 Zack Weinberg <zack@codesourcery.com>
+
+ * rtl.def (NIL): Delete.
+ * read-rtl.c (read_rtx): Handle (nil) like (define_constants).
+ Tighten the syntax a little.
+
+ * cfgloop.h, combine.c, cse.c, loop-iv.c, postreload.c, reload.c
+ * config/alpha/alpha.c, config/alpha/alpha.h, config/arc/arc.h
+ * config/arm/arm.h, config/frv/frv.h, config/i386/i386.c
+ * config/i386/predicates.md, config/m32r/m32r.h
+ * config/m68hc11/m68hc11.c, config/mcore/mcore.h, config/mips/mips.c
+ * config/mmix/mmix.c, config/pa/pa.h, config/sh/sh.h
+ * config/sparc/sparc.h, doc/tm.texi:
+ Replace all occurrences of NIL with UNKNOWN.
+
+2004-08-18 Zack Weinberg <zack@codesourcery.com>
+
+ * dojump.c (do_jump <unordered_bcc>): Do not recursively call
+ self with a TRUTH_ORIF_EXPR; generate the appropriate jump
+ sequence inline. Move drop_through_label code into this
+ block, being the only place it is used. Adjust comments.
+
+2004-08-18 Fariborz Jahanian <fjahanian@apple.com>
+
+ * config/rs6000/altivec.md: Add new patterns for calls to
+ save_world/rest_world functions.
+
+ * config/rs6000/rs6000-protos.h: (save_world_operation,
+ restore_world_operation) new declarations.
+
+ * config/rs6000/rs6000.c: (struct rs6000_stack) new world_save_p
+ field added.
+ (rs6000_stack_info): Set world_save_p field.
+ (save_world_operation): New function.
+ (restore_world_operation): New function.
+ (compute_save_world_info): New function.
+ (rs6000_stack_info): Call compute_save_world_info.
+ (rs6000_emit_prologue): Check for world_save_p and generate
+ pattern to call save_world for saving all non-volatile and
+ special registers.
+ (rs6000_emit_epilogue): Check for world_save_p and generate
+ pattern to call rest_world to restore saved registers.
+
+ config/rs6000/rs6000.h: macros FIRST_SAVED_ALTIVEC_REGNO,
+ FIRST_SAVED_FP_REGNO, FIRST_SAVED_GP_REGNO defined.
+ (rs6000_reg_names): New entries added for save_world_operation and
+ restore_world_operation.
+
+2004-08-18 Caroline Tice <ctice@apple.com>
+
+ * Makefile.in (STAGEFEEDBACK_FLAGS_TO_PASS) Add
+ "-freorder-blocks-and-partition" to the flags used in second
+ stage of profiledbootstrap.
+ * bb-reorder.c (push_to_next_round_p): Add new variable,
+ next_round_is_last; set and use variable to make sure, when
+ partitioning, that the last trace construction round consists
+ of all (and only) cold basic blocks.
+ (rotate_loop): Don't copy blocks that end in a section
+ crossing jump.
+ (copy_bb): Correctly initialize "partition" of duplicated bb.
+ (add_unlikely_executed_notes): Add a comment.
+ (find_rarely_executed_basic_blocks_and_crossing_edges): Modify
+ to make sure, if function contains hot blocks, that the
+ successors of ENTRY_BLOCK_PTR are hot; also, only look for
+ crossing edges if the architecture supports named sections.
+ (mark_bb_for_unlikely_executed_section): Modify to always
+ insert the NOTE_INSN_UNLIKELY_EXECUTED_CODE immediately after
+ the basic block note insn.
+ (fix_crossing_unconditional_branches): Remove extra space.
+ (fix_edges_for_rarely_executed_code): Modify to only do
+ partitioning work if the architecture supports named sections.
+ (reorder_basic_blocks): Modify to only add
+ NOTE_INSN_UNLIKELY_EXECUTED_CODE notes if the architecture
+ supports named sections.
+ * c-common.c (handle_section_attribute): Initialize new global
+ variable, user_defined_section_attribute, to true if user has
+ specified one.
+ * cfgcleanup.c (try_forward_edges): Modify to not attempt to
+ forward edges that cross section boundaries.
+ * cfglayout.c (fixup_reorder_chain): Modify to only fix up
+ partitioning information if the architecture supports named
+ sections.
+ * cfgrtl.c (target.h): Add statement to include this.
+ (rtl_split_block): Make sure newly created bb gets correct
+ partition.
+ (try_redirect_by_replacing_jump): Make sure redirection isn't
+ attempting to cross section boundaries.
+ (force_nonfallthru_and_redirect): Only do partition fix up if
+ architecture supports named sections.
+ (rtl_split_edge): Make sure newly created bb ends up in
+ correct partition.
+ (commit_one_edge_insertion): Remove code that incorrectly
+ updated basic block partition; Make sure partition fix up only
+ happens if architecture supports named sections and it's not
+ already done.
+ (rtl_verify_flow_info_1): Fix if-condition on test/error
+ condition that fallthru edges are not allowed to cross section
+ boundaries.
+ * defaults.h (NORMAL_TEXT_SECTION_NAME): Remove this.
+ * final.c (final_scan_insn): Remove redundant test from if-statement;
+ change calls to text_section into calls to function_section; add code
+ to only to partitioning fix up if architecture supports named
+ sections.
+ * ifcvt.c (find_if_case_1): Make sure newly created bb has correct
+ partition.
+ (if_convert): Add targetm.have_named_sections to test.
+ * output.h (unlikely_section_label): Extern declaration for new global
+ variable.
+ (unlikely_text_section_name): Likewise.
+ * opts.c (decode_options): If both partitioning and DWARF debugging
+ are turned on, issue a warning that this doesn't work, and change
+ partitiong to basic block reordering (without hot/cold partitions).
+ * passes.c (rest_of_handle_final): Re-set new global variable,
+ user_defined_section_attribute, to false.
+ (rest_of_compilation): Change options for calling partitioning
+ function: Don't call if the user defined the section attribute, and
+ don't call if DECL_ONE_ONLY is true for the current function.
+ * predict.c (choose_function_section): Return immediately if we
+ are doing hot/cold partitioning (i.e. let the basic block partitioning
+ determine where the function belongs).
+ * reg-stack.c (emit_swap_insn): Add condition to step over
+ NOTE_INSN_UNLIKELY_EXECUTED_CODE notes.
+ * toplev.c (user_defined_section_attribute): New global variable.
+ * toplev.h (user_defined_section_attribute): Extern declaration for new
+ global variable.
+ * varasm.c (unlikely_section_label): New global variable.
+ (unlikely_text_section_name): New global variable.
+ (unlikely_text_section): Add code to initialize unlikely_text_section_name
+ if necessary; modify to use unlikely_text_section_name and
+ unlikely_section_label; also to use named_section properly.
+ (in_unlikely_text_section): Modify to work correctly with named_section
+ and to use unlikely_text_section_name.
+ (named_section): Add code to work properly with cold section.
+ (function_section): Clean up if-statement.
+ * config/darwin.c (darwin_asm_named_section): Return to original code,
+ removing use of SECTION_FORMAT_STRING.
+ * config/arm/pe.h (switch_to_section): Add case for
+ in_unlikely_executed_text to switch statement.
+ * config/i386/cygming.h (switch_to_section): Likewise.
+ * config/i386/darwin.h (NORMAL_TEXT_SECTION_NAME): Remove.
+ (SECTION_FORMAT_STRING): Likewise.
+ * config/mcore/mcore.h (switch_to_section): Likewise.
+ * config/rs6000/darwin.h (NORMAL_TEXT_SECTION_NAME): Remove.
+ (SECTION_FORMAT_STRING): Remove.
+
+2004-08-18 Roger Sayle <roger@eyesopen.com>
+
+ * config/i386/i386.h (FIXED_REGISTERS): Update encoding to be
+ -ffixed-reg safe, by preserving the meanings of zero and one.
+ (CALL_USED_REGISTERS): Likewise.
+ (CONDITIONAL_REGISTER_USAGE): Update to process new encodings.
+
+2004-08-18 Kaz Kojima <kkojima@gcc.gnu.org>
+
+ * config/sh/sh.c (split_branches): Check the result of
+ next_active_insn.
+ (sh_output_mi_thunk): Call init_flow if basic_block_info is null.
+ Call rtl_register_cfg_hooks.
+
+2004-08-18 Richard Henderson <rth@redhat.com>
+
+ * rtl.h (MEM_READONLY_P): Replace RTX_UNCHANGING_P.
+ * alias.c (true_dependence): Update to match new semantics.
+ (canon_true_dependence, write_dependence_p): Likewise.
+ (anti_dependence, output_dependence): Update write_dependence_p args.
+ (unchanging_anti_dependence): Remove.
+ * calls.c (purge_mem_unchanging_flag): Remove.
+ (fixup_tail_calls): Don't call it.
+ (expand_call): Don't add unchanging memory to function usage.
+ * expr.c (emit_block_move_via_libcall): Likewise.
+ (clear_storage_via_libcall): Don't clobber RTX_UNCHANGING_P mems.
+ (get_subtarget): Don't use RTX_UNCHANGING_P.
+ (expand_assignment, store_constructor, expand_expr_real_1): Likewise.
+ (do_tablejump): Set MEM_READONLY_P, not RTX_UNCHANGING_P.
+ * combine.c (get_last_value_validate): Use MEM_READONLY_P.
+ * cse.c (insert): Don't use RTX_UNCHANGING_P.
+ (cse_insn, canon_hash): Use MEM_READONLY_P.
+ * emit-rtl.c (set_mem_attributes_minus_bitpos): Use MEM_READONLY_P
+ instead of RTX_UNCHANGING_P.
+ * explow.c (maybe_set_unchanging): Remove.
+ * expr.h (maybe_set_unchanging): Remove.
+ * flow.c (insn_dead_p, mark_used_regs): Use anti_dependence.
+ * function.c (assign_stack_temp_for_type): Don't use RTX_UNCHANGING_P.
+ (assign_parm_setup_reg, expand_function_start): Likewise.
+ * integrate.c (copy_rtx_and_substitute): Likewise.
+ * ra-rewrite.c (emit_colors): Likewise.
+ * regmove.c (copy_src_to_dest, regmove_optimize): Likewise.
+ (fixup_match_1): Likewise.
+ * reload1.c (reload, alter_reg): Likewise.
+ * local-alloc.c (validate_equiv_mem): Check MEM_READONLY_P,
+ not RTX_UNCHANGING_P.
+ (equiv_init_varies_p): Likewise.
+ * loop-invariant.c (check_maybe_invariant): Likewise.
+ * resource.c (mark_referenced_resources, mark_set_resources): Likewise.
+ * loop.c (note_addr_stored): Likewise.
+ (prescan_loop): Likewise. Don't check function usage for clobbered
+ unchanging memory.
+ * rtlanal.c (rtx_unstable_p): Check MEM_READONLY_P,
+ not RTX_UNCHANGING_P.
+ (rtx_varies_p, modified_between_p, modified_in_p): Likewise.
+ * varasm.c (force_const_mem): Likewise.
+ * stmt.c (expand_decl): Don't set RTX_UNCHANGING_P.
+ * web.c (entry_register): Likewise.
+ * tree-gimple.h (get_base_address): Move decl ...
+ * tree.h: ... here.
+ * doc/rtl.texi (MEM_READONLY_P): Replace RTX_UNCHANGING_P.
+
+ * config/alpha/alpha.c (alpha_set_memflags_1): Rewrite to be
+ called via for_each_rtx. Copy MEM_SCALAR_P, MEM_NOTRAP_P too.
+ (alpha_set_memflags): Update to match.
+
+ * config/darwin.c (machopic_indirect_data_reference): Set
+ MEM_READONLY_P instead of RTX_UNCHANGING_P.
+ (machopic_indirect_call_target): Likewise.
+ (machopic_legitimize_pic_address): Likewise.
+ * config/arm/arm.c (legitimize_pic_address, arm_gen_load_multiple,
+ arm_gen_store_multiple, arm_gen_movmemqi): Likewise.
+ * config/arm/arm.md (load_multiple, store_multiple): Likewise.
+ * config/frv/frv.md (symGOT2reg): Likewise.
+ * config/i386/i386.c (legitimize_pic_address,
+ legitimize_tls_address, ix86_split_to_parts): Likewise.
+ * config/ia64/ia64.c (ia64_expand_tls_address): Likewise.
+ * config/ia64/ia64.md (load_fptr): Likewise.
+ * config/m32r/m32r.c (m32r_legitimize_pic_address): Likewise.
+ * config/m68k/m68k.c (legitimize_pic_address): Likewise.
+ * config/mcore/mcore.c (block_move_sequence): Likewise.
+ * config/mn10300/mn10300.md (symGOT2reg): Likewise.
+ * config/pa/pa.c (legitimize_pic_address): Likewise.
+ * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Likewise.
+ (rs6000_emit_move): Likewise.
+ * config/s390/s390.c (legitimize_pic_address): Likewise.
+ (legitimize_tls_address): Likewise.
+ * config/s390/s390.md (casesi): Likewise.
+ * config/sh/sh.c (prepare_move_operands, sh_reorg): Likewise.
+ * config/sh/sh.md (symGOT2reg): Likewise.
+ * config/sparc/sparc.c (legitimize_pic_address): Likewise.
+ * config/v850/v850.md (casesi): Likewise.
+
+ * config/ia64/ia64.c (gen_thread_pointer): Don't set RTX_UNCHANGING_P.
+ * config/iq2000/iq2000.c (save_restore_insns): Likewise.
+ * config/mips/mips.c (mips_restore_gp): Likewise.
+ (mips_save_restore_reg, mips16_gp_pseudo_reg): Likewise.
+ * config/sh/sh.c (sh_reorg): Likewise.
+
+2004-08-18 Richard Henderson <rth@redhat.com>
+
+ * tree.h (struct tree_decl): Add gimple_formal_temp.
+ (DECL_GIMPLE_FORMAL_TEMP_P): New.
+ * gimplify.c (pop_gimplify_context): Clear it.
+ (lookup_tmp_var): Set it, if is_formal.
+ (gimplify_init_constructor): Use rhs_predicate_for for COMPLEX.
+ Use is_gimple_val for VECTOR. Simplify return value.
+ (gimplify_save_expr): Use and set DECL_GIMPLE_FORMAL_TEMP_P.
+ (gimplify_expr): Likewise.
+ * tree-gimple.c (is_gimple_formal_tmp_rhs): Rename from
+ is_gimple_tmp_rhs for clarity. Update all callers.
+ (is_gimple_reg_rhs): Simplify logic.
+ (is_gimple_formal_tmp_var): Rename from is_gimple_tmp_var for
+ clarity; use DECL_GIMPLE_FORMAL_TEMP_P.
+ (is_gimple_formal_tmp_reg): Similarly.
+ * tree-gimple.h: Update decls.
+ * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Use
+ DECL_IGNORED_P, not DECL_ARTIFICIAL. Tidy formatting.
+ * tree-ssa-live.c (var_union, type_var_init): Likewise.
+
+2004-08-18 Paolo Bonzini <bonzini@gnu.org>
+
+ * c4x.c (legitimize_operands): Remove calls to
+ preserve_subexpressions_p.
+
+2004-08-18 David Edelsohn <edelsohn@gnu.org>
+
+ * varasm.c (MAX_OFILE_ALIGNMENT): Move ...
+ * defaults.h (MAX_OFILE_ALIGNMENT): ... here.
+
+2004-08-18 Ziemowit Laski <zlaski@apple.com>
+
+ * gcc.c (default_compilers): Add info about ".mm", ".M" and ".mii"
+ Objective-C++ extensions.
+ * gengtype.c (get_file_basename): Match entire subdirectory name
+ ('cp', 'objc', 'objcp') rather than just its suffix.
+ (get_base_file_bitmap): Allow for files to belong to more than one
+ language.
+ (get_output_file_with_visibility): Treat objc/objc-act.h as a header
+ used by more than one front-end.
+
+2004-08-18 Richard Earnshaw <rearnsha@arm.com>
+
+ * arm.md (addsi3, subsi3, andsi3, iorsi3, movsi, movhi): Rework to
+ avoid use of preserve_subexpressions_p.
+
+2004-08-17 Richard Henderson <rth@redhat.com>
+
+ PR 17051
+ * tree-sra.c (scalarize_use): Mark all v_defs for !is_output too.
+
+2004-08-17 DJ Delorie <dj@redhat.com>
+
+ * doc/extend.texi: Document new xstormy16 attribute.
+
+ * config/stormy16/stormy16.c (xstormy16_splittable_below100_operand): New.
+ (xstormy16_splittable_below100_or_register): New.
+ (combine_bnp): New.
+ (xstormy16_reorg): New.
+ (TARGET_MACHINE_DEPENDENT_REORG): Define.
+
+
+ * config/stormy16/stormy16.md (movqi_internal): Make name public.
+ (movhi_internal): Likewise.
+ (cbhranchhi): Likewise.
+ (cbhranchhi_neg): Likewise.
+ (andhi3): Only allow splittable below100 operands.
+ (iorhi3): Likewise.
+ (peephole2): New and/zero_extend->and peephole.
+ (peephole2): New load/ior/save->set1 peephole.
+ (peephole2): New load/and/save->clr1 peephole.
+ (bclrx, bclrx2, bclr7, bclr15): New.
+ (bsetx, bsetx2, bset7, bset15): New.
+
+ * config/stormy16/stormy16.c (xstormy16_print_operand): Be more
+ liberal about acceptable 'B' masks.
+
+ * config/stormy16/stormy16-protos.h
+ (xstormy16_asm_output_aligned_common, xstormy16_below100_symbol,
+ xstormy16_below100_operand, xstormy16_below100_or_register,
+ xstormy16_onebit_set_operand, xstormy16_onebit_clr_operand): New.
+ (PREDICATE_CODES): Add new predicates.
+
+ * config/stormy16/stormy16.c
+ (xstormy16_asm_output_aligned_common, xstormy16_below100_symbol,
+ xstormy16_below100_operand, xstormy16_below100_or_register,
+ xstormy16_onebit_set_operand, xstormy16_onebit_clr_operand): New.
+ (xstormy16_expand_iorqi3, xstormy16_expand_andqi3): New.
+ (xstormy16_legitimate_address_p): Allow below100 symbols.
+ (xstormy16_extra_constraint_p): Add 'W' for below100 operands.
+ (xstormy16_expand_move): Leave below100 operands as-is.
+ (xstormy16_encode_section_info): Encode below100 symbols.
+ (xstormy16_strip_name_encoding): New.
+ (xstormy16_print_operand): Print 'b' as shift mask.
+ (xstormy16_attribute_table): Add below100 attributes.
+ (xstormy16_handle_below100_attribute): New.
+
+ * config/stormy16/stormy16.h (EXTRA_SECTIONS): add in_bss100.
+ (XSTORMY16_SECTION_FUNCTION): New.
+ (EXTRA_SECTION_FUNCTIONS): Define using the above.
+ (ASM_OUTPUT_ALIGNED_DECL_COMMON, ASM_OUTPUT_ALIGNED_DECL_LOCAL): New.
+ (ASM_OUTPUT_SYMBOL_REF): Handle encoded symbols.
+ (ASM_OUTPUT_LABELREF): Define.
+
+ * config/stormy16/stormy16.md (movqi_internal): Add below100 support.
+ (movhi_internal): Add below100 support.
+ (andhi3): Add below100 support.
+ (iorhi3): Add below100 support.
+ (iorqi3, iorqi3_internal, andqi3, andqi3_internal): New.
+
+2004-08-17 James E Wilson <wilson@specifixinc.com>
+
+ * config/mips/mips.c (gen_conditional_move): Use GET_MODE (op0) instead
+ of VOIDmode for comparison code mode.
+ * config/mips/mips.md: For conditional move patterns, use mode of
+ first compare operand for comparison mode, instead of VOIDmode.
+
+ * config/mips/mips.md: Add canonical nmadd and nmsub patterns for both
+ normal and -ffast-math code.
+
+2004-08-17 Mark Mitchell <mark@codesourcery.com>
+
+ PR c++/15871
+ * doc/invoke.texi (-fkeep-inline-functions): Update documentation.
+
+2004-08-17 Robert Bowdidge <bowdidge@apple.com>
+
+ * config/rs6000/x-darwin: Add -mdynamic-no-pic to gcc build flags.
+
+2004-08-17 Andreas Tobler <a.tobler@schweiz.ch>
+
+ * config/rs6000/darwin.md (*call_nonlocal_darwin64): Add #else clause
+ for non Darwin targets.
+ (*call_value_nonlocal_darwin64): Likewise.
+
+2004-08-17 Fariborz Jahanian <fjahanian@apple.com>
+
+ * config/rs6000/rs6000.c (rs6000_function_value): Check for
+ altivec mode for altivec return register.
+
+2004-08-17 David Edelsohn <edelsohn@gnu.org>
+
+ Revert 2004-08-16 Stan Shebs <shebs@apple.com>
+ * config/darwin.c (macho_indirect_data_reference): Add DImode case.
+ * config/rs6000/rs6000.md: Include darwin.md.
+ (builtin_setjmp_receiver): Add DImode case.
+ * config/rs6000/rs6000.c (rs6000_emit_move): Add DImode case to
+ Darwin bits.
+
+2004-08-17 Dorit Naishlos <dorit@il.ibm.com>
+
+ * tree-vectorizer.c: New File: loop vectorization on SSAed GIMPLE trees.
+ * tree-vectorizer.h: New File: Same.
+ * Makefile.in (tree-vectorizer.c, tree-vectorizer.h): Add new files.
+ * common.opt (ftree-vectorize): New flag to enable vectorization.
+ * timevar.def (TV_TREE_VECTORIZATION): New dump file for vectorization
+ pass.
+ * tree-data-ref.h (init_data_ref): Additional argument.
+ (array_base_name_differ_p): Moved to tree-data-ref.c.
+ * tree-data-ref.c (array_base_name_differ_p): Revised.
+ (initialize_data_dependence_relation): Call array_base_name_differ_p
+ with an extra argument.
+ (analyze_all_data_dependences): Same.
+ (init_data_ref): Additional argument is_read to set DR_IS_READ.
+ * tree-ssa-phiopt.c (empty_block_p): Expose for usage out of this file.
+ * tree-flow.h (vectorize_loops, empty_block_p): Add declaration.
+ * tree-optimize.c (pass_vectorize): Schedule the vectorization pass.
+ * tree-pass.h (tree_opt_pass pass_vectorize): Declare the new
+ vectorization pass.
+ * tree-ssa-loop.c (tree_ssa_loop_init): Call scev_initialize.
+ (tree_ssa_loop_done): Call scev_finalize.
+ (tree_vectorize): Define the new vectorization pass.
+ * defaults.h (UNITS_PER_SIMD_WORD): Allow targets to specify the size of
+ the vector they support (until support for multiple vector sizes is
+ added to the vectorizer).
+ * config/i386/i386.h (UNITS_PER_SIMD_WORD): Define.
+ * config/rs6000/rs6000.h (UNITS_PER_SIMD_WORD): Define.
+ * invoke.texi (fdump-tree-vect, ftree-vectorize): Add
+ documentation.
+
+2004-08-17 Nathan Sidwell <nathan@codesourcery.com>
+
+ * objc/objc-act.c (build_protocol_initializer): Fix build_int_cst
+ usage.
+ (generate_protocol_list, handle_impent): Likewise.
+
+2004-08-17 Roger Sayle <roger@eyesopen.com>
+
+ * regclass.c (init_reg_sets_1): Add ENABLE_CHECKING sanity tests to
+ ensure that call_used_regs is a superset of both fixed_regs and
+ call_really_used_regs.
+
+2004-08-17 Daniel Bornstein <danfuzz@milk.com>
+
+ PR target/17019
+ * arm.md (addsi3_cbranch_scratch): Correct case labels.
+
+2004-08-17 Paolo Bonzini <bonzini@gnu.org>
+
+ PR middle-end/17036
+ * fold-const.c (fold): Check for integer operand when
+ folding (A >> N) & 1 ? (1 << N) : 0. Fix from Andrew
+ Pinski <pinskia@physics.uc.edu>.
+
+2004-08-17 Paolo Bonzini <bonzini@gnu.org>
+
+ * configure.ac: Trust toplevel's notion of BISON/FLEX/MAKEINFO.
+ No need to check if in a cross configuration.
+ * configure: Regenerate.
+
+ * calls.c (precompute_register_parameters):
+ Inline preserve_subexpressions_p ().
+ * expmed.c (expand_mult_const, emit_store_flag): Likewise.
+ * optabs.c (expand_binop, expand_twoval_binop, prepare_cmp_insn):
+ Likewise.
+ * expr.c (get_subtarget): Likewise.
+ * rtl.h (preserve_subexpressions_p): Remove.
+ * stmt.c (preserve_subexpressions_p): Remove.
+
+ * dojump.c (do_jump) <COND_EXPR, EQ_EXPR, NE_EXPR,
+ TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR, COMPOUND_EXPR>:
+ Abort on gimplified cases.
+
+2004-08-16 James E Wilson <wilson@specifixinc.com>
+
+ * tree.h (VECTOR_FLOAT_TYPE_P): New.
+ (FLOAT_TYPE_P): Use it.
+ * c-typeck.c (build_binary_op): After convert calls, check for
+ check for ERROR_MARK operands.
+
+2004-08-16 Zack Weinberg <zack@codesourcery.com>
+
+ * Makefile.in (BUILD_PREFIX, BUILD_PREFIX_1): Delete.
+ (BUILD_RTL, BUILD_PRINT, BUILD_ERRORS, BUILD_VARRAY): Update.
+ (genobjs): Add build-rtl.o, build-print-rtl.o, build-varray.o.
+ (genobjs static pattern rule): Remove %.c dependency.
+ ($(BUILD_PREFIX_1)rtl.o, print-rtl.o, $(BUILD_PREFIX_1)varray.o):
+ Rename rules; delete commands; fix dependencies.
+ (mostlyclean): Do not delete temporary source copies.
+ * configure.ac: Delete all references to BUILD_PREFIX and
+ BUILD_PREFIX_1.
+ * configure: Regenerate.
+
+ * print-rtl.c: Include bconfig.h #ifdef GENERATOR_FILE.
+ Do not include tree.h, real.h, flags.h, hard-reg-set.h, or
+ basic-block.h #ifdef GENERATOR_FILE. Surround some more code
+ with #ifndef GENERATOR_FILE so that nothing from those headers
+ is used.
+
+ * rtl.c, varray.c: Include bconfig.h #ifdef GENERATOR_FILE.
+
+2004-08-16 Adam Nemet <anemet@lnxw.com>
+
+ * Makefile.in (LIBS): Move $(LIBIBERTY) after $(BANSHEELIB).
+
+2004-08-16 Andrew Pinski <apinski@apple.com>
+
+ * target-def.h (TARGET_EH_RETURN_FILTER_MODE): Remove
+ extraneous semicolon.
+
+2004-08-16 Devang Patel <dpatel@apple.com>
+
+ * c-common.c (handle_used_attribute): Set DECL_PRESERVE_P.
+ * print-tree.c (print_node): Print DECL_PRESERVE_P.
+ * target-def.h (TARGET_ASM_MARK_DECL_PRESERVED): New #define.
+ (TARGET_ASM_OUT): New member, TARGET_ASM_MARK_DECL_PRESERVED
+ * target.h (struct gcc_target): New member, mark_decl_preserved.
+ * hooks.c (hook_void_charptr): Rename to ...
+ (hook_void_constcharptr): ... new name.
+ * hooks.h (hook_void_charptr): Rename to ..
+ (hook_void_constcharptr): ... new name.
+ * tree.h (DECL_PRESERVE_P): New #define.
+ (struct tree_decl): New member, preserve_flag.
+ * varasm.c (assemble_start_function): Mark decl preserved.
+ (assemble_variable): Same.
+ * darwin.c (darwin_mark_decl_preserved): New function.
+ * darwin.h (TARGET_ASM_MARK_DECL_preserved): New #define.
+ * darwin-protos.h (darwin_mark_decl_preserved): New decl.
+ * doc/tm.texi (TARGET_ASM_MARK_DECL_PRESERVED): Document.
+
2004-08-16 Joseph S. Myers <jsm@polyomino.org.uk>
* c-decl.c (grokdeclarator): Allow for function definition where
2004-08-16 Nathanael Nerode <neroden@gcc.gnu.org>
* tree-ssa-copyrename.c (copy_rename_partition_coalesce):
- Check for arificial variables, not is_gimple_tmp_var.
+ Check for artificial variables, not is_gimple_tmp_var.
* tree-ssa-live.c (var_union): Likewise.
2004-08-16 Nathan Sidwell <nathan@codesourcery.com>
* Makefile.in (C_PRETTY_PRINT_H): Add c-pretty-print.h.
(c-lang.o): Depend on c-objc-common.h.
- (c-objc-common.o): Depend on $(C_PRETTY_PRINT_H) and
+ (c-objc-common.o): Depend on $(C_PRETTY_PRINT_H) and
c-objc-common.h; remove duplicate $(C_TREE_H) dependency.
* c-lang.c: Include c-objc-common.h.
(LANG_HOOKS_FINISH, LANG_HOOKS_INIT_OPTIONS,
LANG_HOOKS_INITIALIZE_DIAGNOSTICS, LANG_HOOKS_HANDLE_OPTION,
LANG_HOOKS_MISSING_ARGUMENT, LANG_HOOKS_POST_OPTIONS,
- LANG_HOOKS_GET_ALIAS_SET, LANG_HOOKS_SAFE_FROM_P,
- LANG_HOOKS_EXPAND_EXPR, LANG_HOOKS_MARK_ADDRESSABLE,
+ LANG_HOOKS_GET_ALIAS_SET, LANG_HOOKS_SAFE_FROM_P,
+ LANG_HOOKS_EXPAND_EXPR, LANG_HOOKS_MARK_ADDRESSABLE,
LANG_HOOKS_PARSE_FILE, LANG_HOOKS_TRUTHVALUE_CONVERSION,
LANG_HOOKS_FINISH_INCOMPLETE_DECL, LANG_HOOKS_UNSAFE_FOR_REEVAL,
- LANG_HOOKS_STATICP, LANG_HOOKS_SET_DECL_ASSEMBLER_NAME,
+ LANG_HOOKS_STATICP, LANG_HOOKS_SET_DECL_ASSEMBLER_NAME,
LANG_HOOKS_NO_BODY_BLOCKS, LANG_HOOKS_WARN_UNUSED_GLOBAL_DECL,
LANG_HOOKS_PRINT_IDENTIFIER, LANG_HOOKS_FUNCTION_ENTER_NESTED,
LANG_HOOKS_FUNCTION_LEAVE_NESTED, LANG_HOOKS_DUP_LANG_SPECIFIC_DECL,
* tree-ssa-loop-niter.c (number_of_iterations_cond,
loop_niter_by_eval, upper_bound_in_type, lower_bound_in_type):
Likewise.
-
+
* config/alpha/alpha.c (alpha_initialize_trampoline,
alpha_va_start, alpha_gimplify_va_arg_1): Use build_int_cst.
* config/arm/arm.c (arm_get_cookie_size): Likewise.
Likewise.
* config/xtensa/xtensa.c (xtensa_va_start,
xtensa_gimplify_va_arg_expr): Likewise.
-
+
* objc/objc-act.c (build_objc_string_object,
build_objc_symtab_template, init_def_list, init_objc_symtab,
init_module_descriptor, generate_static_references,
hard_fp_register_operand, hard_int_register_operand,
reg_or_cint_operand, some_operand, some_ni_operand, input_operand,
samegp_function_operand, direct_call_operand, small_symbolic_operand,
- global_symbolic_operand, call_operand, symbolic_operand,
+ global_symbolic_operand, call_operand, symbolic_operand,
dtp16_symbolic_operand, dtp32_symbolic_operand,
gotdtp_symbolic_operand, tp16_symbolic_operand, tp32_symbolic_operand,
gottp_symbolic_operand, alpha_comparison_operator,