+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
* config/i386/xmmintrin.h: Include <mm_malloc.h>.
2004-08-03 H.J. Lu <hongjiu.lu@intel.com>
- Tanguy FautrÃ\83 <tfautre@pandora.be>
+ Tanguy Fautrà <tfautre@pandora.be>
* config/i386/pmm_malloc.h: New file.