+2005-05-17 Mike Stump <mrs@apple.com>
+
+ Yet more Objective-C++...
+
+ * c-common.h (objc_finish_try_stmt): Add.
+ (objc_build_synchronized): Add.
+ (objc_generate_write_barrier): Add.
+ * stub-objc.c (objc_build_synchronized): Add return value.
+ (objc_finish_try_stmt): Likewise.
+ (objc_generate_write_barrier): Add.
+
+ * c-common.h (objc_rewrite_function_call): Add.
+ * c-typeck.c (build_function_call): Allow objc to rewrite
+ FUNCTION_DECLs.
+ (build_modify_expr): Allow objc to generate write barriers.
+ * c.opt (Wassign-intercept): Add.
+ (Wstrict-selector-match): Add.
+ (fobjc-call-cxx-cdtors): Add.
+ (fobjc-direct-dispatch): Add.
+ (fobjc-gc): Add.
+ * dbxout.c (get_lang_number): Add Objective-C++ support.
+ * doc/invoke.texi (-fobjc-call-cxx-cdtors): Likewise.
+ (-Wstrict-selector-match): Likewise.
+ (-fobjc-direct-dispatch): Likewise.
+ (-Wassign-intercept): Likewise.
+ (Overall Options): Likewise.
+ * gengtype.c (get_output_file_with_visibility): Likewise.
+ * stub-objc.c (objc_rewrite_function_call): Add.
+ * config/darwin.h (ASM_OUTPUT_LABELREF): Improved quoting support.
+
+ * c-common.c (flag_objc_exceptions): Remove.
+ (flag_objc_sjlj_exceptions): Remove.
+ * c-decl.c (objc_mark_locals_volatile): Don't change decls
+ that are already ok.
+ * c-opts.c (c_common_handle_option, case
+ OPT_fobjc_exceptions): Remove.
+ (case OPT_fobjc_sjlj_exceptions): Remove
+ * c.opt (fobjc-call-cxx-cdtors): Have opt create the flag.
+ (fobjc-exceptions): Likewise.
+ (fobjc-sjlj-exceptions): Likewise.
+ * config/rs6000/darwin.h (OFFS_MSGSEND_FAST): Add.
+ (OFFS_ASSIGNIVAR_FAST): Add.
+
+2005-05-17 Eric Botcazou <ebotcazou@libertysurf.fr>
+
+ * config/sparc/sparc.md (movhi): Do not test constness
+ of operand #1 twice.
+ (movsi): Likewise.
+ (movdi): Unconditionally accept zero as second operand
+ when the first is memory.
+ (movdi_insn_sp32): Handle above case.
+ (DImode splitter): Use predicates.
+ (DImode splitter): Use const_zero_operand predicate.
+ (movsf_insn): Swap 2 alternatives.
+
+2005-05-17 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-ssa-loop-ivopts.c (find_bivs, find_givs_in_stmt_scev): Apply
+ expand_simple_operations to bases of the ivs.
+ (tree_int_cst_sign_bit): Export.
+ * tree-flow.h (expand_simple_operations): Declare.
+ * tree-ssa-loop-niter.c (number_of_iterations_cond): Use
+ tree_int_cst_sign_bit.
+ (expand_simple_operations): Export.
+ * tree.h (tree_int_cst_sign_bit): Declare.
+
+2005-05-17 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-cfg.c (tree_can_merge_blocks_p): Allow phi nodes in the
+ merged block.
+ (replace_uses_by): New function.
+ (tree_merge_blocks): Eliminate the phi nodes in the merged block.
+ * tree-flow.h (fold_stmt_inplace): Declare.
+ * tree-ssa-ccp.c (fold_stmt_inplace): New function.
+ * tree-ssa-dom.c (tree_ssa_dominator_optimize): Update dominance
+ info after cfg cleanup.
+
+2005-05-17 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * cfgloop.h (just_once_each_iteration_p): Declaration changed.
+ * cfgloopanal.c (just_once_each_iteration_p): Make the loop argument
+ const.
+
+2005-05-17 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * ggc-page.c (ggc_alloc_stat): Record amount of memory allocated.
+ * ggc-zone.c (ggc_alloc_zone_1): Ditto.
+ * timevar.c (timevar_ggc_mem_total): New variable.
+ (GGC_MEM_BOUND): New constant.
+ (get_time): Record ggc memory status.
+ (timevar_accumulate): Accumulate amount of ggc memory.
+ (timevar_print): Print consumption of ggc memory.
+ * timevar.def (TV_FIND_REFERENCED_VARS, TV_TREE_REDPHI,
+ TV_TREE_LOOP_BOUNDS, TV_TREE_LOOP_IVCANON, TV_TREE_VECTORIZATION,
+ TV_TREE_LINEAR_TRANSFORM): Shorten strings to fit in 22 characters.
+ * timevar.h (struct timevar_time_def): Add ggc_mem field.
+ (timevar_ggc_mem_total): Declare.
+
+2005-05-17 Kazu Hirata <kazu@cs.umass.edu>
+
+ * tree-into-ssa.c (update_ssa): Clean up by shortening the
+ live range of DFS.
+
+2005-05-17 Hans-Peter Nilsson <hp@axis.com>
+
+ * config/cris/cris.md (ncond, ocode, rcond): Remove separate
+ define_code_attr.
+ ("b<ncond:code>", "b<ocond:code>", "b<rcond:code>")
+ ("*b<ncond:code>_reversed", "*b<ocond:code>_reversed")
+ ("*b<rcond:code>_reversed", "s<ncond:code>", "s<rcond:code>")
+ ("s<ocond:code>"): Rename from respectively "b<ncond>",
+ "b<ocond>", "b<rcond>", ("*b<ncond>_reversed",
+ "*b<ocond>_reversed", "*b<rcond>_reversed", "s<ncond>",
+ "s<rcond>" and "s<ocond>".
+ ("b<ocond:code>", "*b<ocond:code>_reversed")
+ ("*b<rcond:code>_reversed"): Remove extraneous backslashes in
+ output statement section.
+
+2005-05-17 Roger Sayle <roger@eyesopen.com>
+
+ * c-typeck.c (common_type): Also handle BOOLEAN_TYPEs.
+
+2005-05-17 Steven Bosscher <stevenb@suse.de>
+ Stuart Hastings <stuart@apple.com>
+ Jan Hubicka <jh@suse.cz>
+ Dale Johannesen <dalej@apple.com>
+
+ * cgraph.h (cgraph_node): Add 'lowered' state.
+ (cgraph_lower_function): Declare.
+ * cgraphunit.c (cgraph_finalize_function): Initialize lowered flag.
+ (cgraph_lower_function): New function.
+ (cgraph_create_edges): Deal with lowered function bodies.
+ (verify_cgraph_node): Likewise.
+ (cgraph_analyze_function): Do lowering job.
+ (cgraph_build_static_cdtor): Likewise.
+ * function.h (struct function): Add saved_eh and saved_cfg.
+ * integrate.c (copy_decl_for_inlining): Kill LABEL_DECL_UID field.
+ * tree-cfg.c (fold_cond_expr_cond): Export.
+ * tree-flow.h (fold_cond_expr_cond): Declare.
+ * tree-inline.c: Include basic-block, ggc, tree-flow, except.h and
+ pointer-set.
+ (struct_inline_data): Kill fnd, first_inlined_fn, ret_label,
+ in_target_cleanup_p, tree_pruner, tsi; add callee, caller and
+ callee_cfun, block, eh_region, eh_region_offset.
+ (inlining_p): New predicate.
+ (remap_decl): Update for new inline_data; declare newly created inline
+ vars in low gimple way.
+ (copy_body_r): Update for new datastructure, simplify some of handling
+ when we are in gimple; remap LABEL_DECLs for EH; copy TREE_BLOCK;
+ deal with RESX_EXPRs.
+ (copy_bb): New.
+ (copy_edges_for_bb): Likewise.
+ (remap_decl_1): New.
+ (copy_cfg_body): New.
+ (copy_generic_body): Rewrite to work on low gimple.
+ (copy_body): Turn into simple wrapper around copy_cfg_body.
+ (setup_one_parameter): Insert new statements into given basic block.
+ (initialize_initialized_parameters): Likewise, reorganize way things are
+ gimplified.
+ (declare_return_variable): Update for new inline data datastructure.
+ (inline_forbidden_p): Work on low gimple.
+ (estimate_num_insns): Likewise.
+ (expand_call_inline): Work on CFG.
+ (push_cfun, pop_cfun): New functions.
+ (cfun_stack): New stack.
+ (add_lexical_block): New function.
+ (gimple_expand_calls_inline): Work on basic block.
+ (optimize_inline_calls): Likewise.
+ (clone_body, save_body, unsave_ewpr_now): Update for new
+ datastructures.
+ (declare_inline_vars): Work on block instead of bind_expr.
+ (inlining_p): New predicate.
+ * tree-inline.h (push_cfun, pop_cfun): Declare.
+ * tree-optimize.c: Include except.h
+ (all_lowering_passes): New variable.
+ (execute_fixup_cfg, pass_fixup_cfg): New pass.
+ (init_tree_optimization_passes): Move some to all_lowering_passes.
+ (tree_lowering_passes): New function.
+ (tree_rest_of_compilation): Register cfg hooks; save/unsave eh.
+
+2005-05-17 Nathan Sidwell <nathan@codesourcery.com>
+
+ * unwind-dw2-fde-darwin.c: Include tsystem.h.
+
+2005-05-17 Jeff Law <law@redhat.com>
+
+ * Makefile.in (tree-ssa-forwprop.o): Depend on langhooks.h.
+ * tree-ssa-forwprop.c: Include langhooks.h.
+ (forward_propagate_addr_expr_into_variable_array_index): New.
+ (forward_propagate_addr_expr): New.
+ (tree_ssa_forward_propagate_single_use_vars): Loop over all
+ the statements in the block instead of just the last statement.
+ Call forward_propagate_addr_expr as needed.
+ (pass_forwprop): Update the SSA graph after forward propagation is
+ complete.
+
+2005-05-17 Nathan Sidwell <nathan@codesourcery.com>
+
+ * unwind-dw2-fde-glibc.c (base_from_cb_data,
+ _Unwind_IteratePhdrCallback): Use gcc_assert and gcc_unreachable as
+ appropriate.
+ * unwind-dw2-fde.c (__deregister_frame_info_bases,
+ base_from_object, fde_split, end_fde_sort): Likewise.
+ * unwind-dw2.c (_Unwind_GetGR, _Unwind_SetGR, execute_stack_op,
+ execute_cfa_program, _Unwind_SetSpColumn, uw_update_context_1,
+ uw_init_context_1): Likewise.
+ * unwind.inc (_Unwind_RaiseException_Phase2, _Unwind_Resume,
+ _Unwind_Resume_or_Rethrow): Likewise.
+ * unwind-pe.h (__gxx_abort): Do not define.
+ (size_of_encoded_value, base_of_encoded_value,
+ read_encoded_value_with_base): Use gcc_unreachable.
+ * unwind.h (_Unwind_GetTextRelBase): Likewise.
+
+2005-05-17 Daniel Jacobowitz <dan@codesourcery.com>
+
+ * config/arm/lib1funcs.asm (cfi_pop, cfi_push, cfi_start)
+ (cfi_end): New macros.
+ (RETLDM): Use cfi_pop. Expect an eight byte stack frame.
+ (ARM_LDIV0, THUMB_LDIV0, DIV_FUNC_END): Use CFI macros. Create
+ an eight byte stack frame.
+ (__NR_tkill): Define.
+ (__div0): Use gettid tkill on GNU/Linux.
+ (_arm_return): Add CFI.
+ (Lchange_\register, .Lchange_lr): Create an eight byte stack frame.
+
+2005-05-17 Daniel Jacobowitz <dan@codesourcery.com>
+
+ * configure.ac: Remove spaces around assignment to
+ gcc_cv_ld_sysroot.
+ * configure: Regenerated.
+
+2005-05-17 David Edelsohn <edelsohn@gnu.org>
+
+ * config/rs6000/aix.h (TARGET_ALTIVEC_VRSAVE): Delete.
+ * config/rs6000/rs6000.c (rs6000_explicit_options): Add
+ aix_struct_ret.
+ (rs6000_override_options): Do not protect TARGET_ALTIVEC_VRSAVE.
+ Modify aix_struct_return variable, not target_flags.
+ (rs6000_handle_option): Do not protect TARGET_ALTIVEC_VRSAVE.
+ (rs6000_return_in_memory): Test aix_struct_return.
+ * config/rs6000/rs6000.opt (maix-struct-return): Convert to
+ independent variable. Report mxl-compat.
+
+2005-05-17 Bernd Schmidt <bernd.schmidt@analog.com>
+
+ * config/bfin/bfin.md (eh_return): Add missing DONE.
+
+2005-05-17 Ian Lance Taylor <ian@airs.com>
+
+ * read-rtl.c (struct macro_traverse_data): Add unknown_mode_attr
+ field.
+ (mode_attr_index): Remove check for defined attribute. Remove
+ infile parameter. Change all callers.
+ (apply_mode_maps): Add unknown parameter. Change caller. Always
+ return after finding attribute.
+ (apply_macro_to_rtx): Add unknown_mode_attr parameter. Change
+ callers.
+ (apply_macro_traverse): Set mtd->unknown_mode_attr.
+ (read_rtx): Use mtd.unknown_mode_attr to check for an undefined
+ attribute used for a mode.
+
+2005-05-17 Paolo Bonzini <bonzini@gnu.org>
+
+ * tree-ssa-math-opts.c: New file.
+
+2005-05-17 Paolo Bonzini <bonzini@gnu.org>
+
+ * Makefile.in: Add tree-ssa-math-opts.c.
+ * expr.c (expand_expr_real_1) <case RDIV_EXPR>: Never emit as a*(1/b).
+ * fold-const.c (distribute_real_division): New.
+ (fold_binary) <case PLUS_EXPR, case MINUS_EXPR>: Use it.
+ * tree-pass.h (pass_cse_reciprocals): New.
+ * tree-optimize.c (init_tree_optimization_passes): Run it.
+ * doc/passes.texi: Document the new pass.
+
+2005-05-17 Richard Guenther <rguenth@gcc.gnu.org>
+
+ PR middle-end/21595
+ * builtins.c (fold_builtin_constant_p): Handle
+ &"string cst"[0] as constant.
+
+2005-05-17 Richard Henderson <rth@redhat.com>
+
+ * config/i386/sse.md (mulv16qi3, mulv2di3): New.
+
+2005-05-17 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/21492
+ * cfgcleanup.c (try_crossjump_to_edge): update_forwarder_flag for
+ src2 if src2 has been split.
+
+ PR tree-optimization/21610
+ * c-typeck.c (decl_constant_value_for_broken_optimization): If not
+ returning DECL, call unshare_expr.
+
+2005-05-17 Hans-Peter Nilsson <hp@axis.com>
+
+ * config/cris/cris.md: Unquote preparation and output statements.
+ (BWD, WD, BW): New, mode-macros.
+ (S, s, m, mm, nbitsm1): New, mode-attrs.
+ (szext, shift, shiftrt, ncond, ocond, rcond): New, code-macros.
+ (u, su, shlr, slr, ncond, ocond, rcond, rCC, oCC, roCC): New,
+ code-attrs.
+ ("tst<mode>"): Replace "tstqi", "tsthi" and "tstsi".
+ ("*cmp_ext<mode>"): Replace "*cmp_extsi" and "*cmp_exthi".
+ ("*cmp_swapext<mode>"): Replace "*cmp_swapextqi" and
+ "*cmp_swapexthi".
+ ("cmp<mode>"): Replace "cmphi" and "cmpqi".
+ ("movdi"): Move misplaced head comment regarding necessity of
+ movdi from movsi to here.
+ ("*mov_side<mode>_biap"): Replace "*mov_sideqi_biap" and
+ "*mov_sidehi_biap".
+ ("*mov_side<mode>"): Replace "*mov_sideqi" and "*mov_sidehi".
+ ("*mov_side<mode>_biap_mem", "*mov_sidehi_biap_mem"): Replace
+ "*mov_sideqi_biap_mem".
+ ("*mov_side<mode>_mem"): Replace "*mov_sideqi_mem" and
+ "*mov_sidehi_mem".
+ ("*clear_side<mode>_biap"): Replace "*clear_sidesi_biap",
+ "*clear_sidehi_biap" and "*clear_sideqi_biap".
+ ("*clear_side<mode>"): Replace "*clear_sidesi", "*clear_sidehi"
+ and "*clear_sideqi".
+ ("*ext_side<mode>si_biap"): Replace "*ext_sideqisi_biap" and
+ "*ext_sidehisi_biap".
+ ("*ext_side<mode>si"): Replace "*ext_sideqisi" and
+ "*ext_sidehisi".
+ ("reload_in<mode>"): Replace "reload_inhi" and "reload_inqi".
+ ("reload_out<mode>"): Replace "reload_outhi" and "reload_outqi".
+ ("extend<mode>di2"): Replace "extendhidi2" and "extendqidi2".
+ ("extend<mode>si2"): Replace "extendhisi2" and "extendqisi2".
+ ("zero_extend<mode>si2"): Replace "zero_extendhisi2" and
+ "zero_extendqisi2".
+ ("*op_side<mode>_biap"): Replace "*op_sideqi_biap",
+ "*op_sidehi_biap" and "*op_sidesi_biap".
+ ("*op_side<mode>"): Replace "*op_sideqi", "*op_sidehi" and
+ "*op_sidesi".
+ ("*op_swap_side<mode>_biap"): Replace "*op_swap_sideqi_biap",
+ "*op_swap_sidehi_biap" and "*op_swap_sidesi_biap".
+ ("*op_swap_side<mode>"): Replace "*op_swap_sideqi",
+ "*op_swap_sidehi" and "*op_swap_sidesi".
+ ("sub<mode>3"): Replace "subhi3" and "subqi3", correcting a typo
+ in the N alternative of "subqi3".
+ ("*extop<mode>si_side_biap"): Replace "*extopqisi_side_biap" and
+ "*extophisi_side_biap".
+ ("*extop<mode>si_side"): Replace "*extopqisi_side" and
+ "*extophisi_side".
+ ("*extop<mode>si_swap_side_biap"): Replace
+ "*extopqisi_swap_side_biap" and "*extophisi_swap_side_biap".
+ ("*extop<mode>si_swap_side"): Replace "*extopqisi_swap_side" and
+ "*extophisi_swap_side".
+ ("*extop<mode>si"): Replace "*extopqisi" and "*extophisi".
+ ("*extop<mode>si_swap"): Replace "*extopqisi_swap" and
+ "*extophisi_swap".
+ ("<u>mul<s><mode>3"): Replace "umulhisi3", "umulqihi3",
+ "mulqihi3", "mulhisi3" and "mulhisi3".
+ ("<u>mulsidi3"): Replace "mulsidi3" and "umulsidi3".
+ ("<su>mulsi3_highpart"): Replace "smulsi3_highpart" and
+ "umulsi3_highpart".
+ ("xor<mode>3"): Replace "xorhi3" and "xorqi3".
+ ("neg<mode>2"): Replace "negsi2", "neghi2" and "negqi2".
+ ("one_cmpl<mode>2"): Replace "one_cmplhi2" and "one_cmplqi2".
+ ("<shlr>si3"): Replace "ashrsi3", "lshrsi3" and "ashlsi3".
+ ("ashr<mode>3"): Replace "ashrhi3" and "ashrqi3".
+ ("*expanded_<shlr><mode>"): Replace "*expanded_ashrhi",
+ "*expanded_ashrqi", "*expanded_lshrhi" and "*expanded_lshrqi".
+ ("*<shlr><mode>_lowpart"): Replace "*ashrhi_lowpart",
+ "*ashrqi_lowpart", "*lshrhi_lowpart" and "*lshrqi_lowpart".
+ ("lshr<mode>3"): Replace "lshrhi3" and "lshrqi3".
+ ("ashl<mode>3"): Replace "ashlhi3" and "ashlqi3".
+ ("*ashl<mode>_lowpart"): Replace "*ashlqi_lowpart" and
+ "*ashlhi_lowpart".
+ ("abs<mode>2"): Replace "abshi2" and "absqi2".
+ ("b<ncond>"): Replace "beq", "bne", "bgtu", "bltu", "bgeu" and
+ "bleu".
+ ("b<ocond>"): Replace "bgt" and "ble".
+ ("b<rcond>"): Replace "blt" and "bge".
+ ("*b<ncond>_reversed"): Replace "*beq_reversed", "*bne_reversed",
+ "*bgtu_reversed", "*bltu_reversed", "*bgeu_reversed" and
+ "*bleu_reversed".
+ ("*b<ocond>_reversed"): Replace "*bgt_reversed" and
+ "*ble_reversed".
+ ("*b<rcond>_reversed"): Replace "*blt_reversed" and
+ "*blt_reversed".
+ ("s<ncond>"): Replace "sgeu", "sltu", "seq", "sgtu", "sleu" and
+ "sne".
+ ("s<rcond>"): Replace "sge" and "slt".
+ ("s<ocond>"): Replace "sgt" and "sle".
+ ("clear.[bwd] [rx=rx+rz.S2]"): Replace split clear.d
+ [rx=rx+rz.S2], clear.w [rx=rx+rz.S2] and clear.b [rx=rx+rz.S2].
+ ("clear.[bwd] [rx=rx+i]"): Replace splits clear.d [rx=rx+i],
+ clear.w [rx=rx+i] and clear.b [rx=rx+i].
+
+2005-05-17 Jakub Jelinek <jakub@redhat.com>
+
+ * varasm.c (struct constant_descriptor_tree): Add hash field.
+ (const_desc_hash): Just return hash field.
+ (const_desc_eq): If hash values are different, return 0 immediately.
+ (output_constant_def): Compute hash field of temporary key, use
+ htab_find_slot_with_hash instead of htab_find_slot. Set hash in
+ newly built constant descriptor.
+ (lookup_constant_def): Compute hash field of temporary key, use
+ htab_find_with_hash instead of htab_find.
+
+2005-05-16 Richard Henderson <rth@redhat.com>
+
+ * config/i386/sse.md (mulv4si3): New.
+
+2005-05-17 Hans-Peter Nilsson <hp@axis.com>
+
+ * config/cris/cris.h (EXTRA_CONSTRAINT_T): Remove FIXME and
+ tests for noncanonical versions of reg+constant and
+ reg+reg*{1,2,4}.
+
+2005-05-16 Richard Henderson <rth@redhat.com>
+ Steven Bosscher <stevenb@suse.de>
+
+ PR tree-opt/21399
+ * tree-eh.c (maybe_clean_or_replace_eh_stmt): Rename from
+ maybe_clean_eh_stmt; take old stmt parameter. Update EH
+ region data structure to match replacement.
+ * tree-flow.h: Update to match.
+ * tree-ssa-ccp.c (execute_fold_all_builtins): Likewise.
+ * tree-ssa-dom.c (optimize_stmt): Likewise.
+ * tree-ssa-pre.c (eliminate): Likewise.
+ * tree-ssa-propagate.c (substitute_and_fold): Likewise.
+
+2005-05-16 Caroline Tice <ctice@apple.com>
+
+ * bb-reorder.c (verify_hot_cold_block_grouping): Replace
+ internal_error with gcc_assert.
+ * dwarf2out.c (dwarf2out_switch_text_section): Likewise.
+ * function.h (struct function): Remove space between "*" and
+ struct field names.
+ * varasm.c (initialize_cold_section_name): Add gcc_assert;
+ modify to use alloca.
+ (unlikely_text_section): Add check for flag_function_sections.
+ (assemble_start_function): Move call to resolve_section, so it
+ comes before first call to unlikely_text_section.
+ (assemble_end_function): Add test and call to function_section
+ if appropriate.
+
+2005-05-16 Roger Sayle <roger@eyesopen.com>
+
+ * c-common.c (c_common_truthvalue_conversion): Use fold_build2
+ instead of build_binary_op when performing code transformations
+ to avoid error messages about constructs not it the user's code.
+
+2005-05-16 Kazu Hirata <kazu@cs.umass.edu>
+
+ * tree-ssa-pre.c: Fix a comment typo.
+
2005-05-16 Richard Henderson <rth@redhat.com>
PR target/21556
OSDN Git Service
