+2004-06-13 Joseph S. Myers <jsm@polyomino.org.uk>
+
+ * c-typeck.c (comptypes, tagged_types_tu_compatible_p,
+ function_types_compatible_p, type_lists_compatible_p): Remove
+ flags parameter.
+ * c-tree.h (comptypes): Likewise.
+ (COMPARE_STRICT): Remove.
+ * c-decl.c, c-lang.c, c-parse.in, c-typeck.c, objc/objc-act.c: All
+ callers changed.
+
+2004-06-13 Eric Christopher <echristo@redhat.com>
+
+ * c-decl.c (diagnose_mismatched_decls): Improve error message.
+ Remove unused code.
+ * c-typeck.c (comptypes): Add location in standard we're checking.
+
+2004-06-13 Kaz Kojima <kkojima@gcc.gnu.org>
+
+ * config/sh/libgcc-std.ver: Add __unorddf2 and __unordsf2 with
+ version 3.3.4.
+
+2004-06-12 Roger Sayle <roger@eyesopen.com>
+
+ * expmed.c (shift_cost, shiftadd_cost, shiftsub_cost): Additionally
+ index by machine mode.
+ (init_expmed): Initialize shift_cost, shiftadd_cost and shiftsub_cost
+ tables inside the loop over machine modes.
+ (synth_mult, expand_mult_highpart_optab, expand_mult_highpart,
+ expand_divmod): Index shift*_cost by the appropriate machine mode.
+
+2004-06-12 Eric Christopher <echristo@redhat.com>
+
+ * config/s390/s390.h: Rename TARGET_TPF to TARGET_TPF_PROFILING.
+ * config/s390/s390.md: Ditto.
+ * config/s390/s390.c: Ditto.
+ (s390_frame_info): Conditionalize frame and setup info on
+ TARGET_TPF_PROFILING.
+ (s390_arg_frame_offset): Ditto.
+
+2004-06-12 Roger Sayle <roger@eyesopen.com>
+
+ * fold-const.c (omit_two_operands): New function.
+ * tree.h (omit_two_operands): Prototype here.
+ * builtins.c (fold_builtin_unordered_cmp): New function to lower
+ C99 unordered comparison builtins to the appropriate tree nodes.
+ (fold_builtin_1): Use fold_builtin_unordered_cmp to lower
+ BUILT_IN_ISGREATER, BUILT_IN_ISGREATEREQUAL, BUILT_IN_ISLESS,
+ BUILT_IN_ISLESSEQUAL and BUILT_IN_ISLESSGREATER. Manually lower
+ BUILT_IN_ISUNORDERED comparisons to an UNORDERED_EXPR tree node.
+ (simplify_builtin_memcmp, simplify_builtin_strncmp,
+ simplify_builtin_strncat, simplify_builtin_strspn): Use the new
+ omit_two_operands function to build the required COMPOUND_EXPRs.
+
+2004-06-12 Steven Bosscher <stevenb@suse.de>,
+ Andreas Jaeger <aj@suse.de>
+
+ * gcse.c (record_set_info): Use predicates like REG_P.
+ (mems_conflict_for_gcse_p): Likewise.
+ (load_killed_in_block_p): Likewise.
+ (hash_expr_1): Likewise.
+ (insert_set_in_table): Likewise.
+ (gcse_constant_p): Likewise.
+ (hash_scan_set): Likewise.
+ (hash_scan_insn): Likewise.
+ (canon_list_insert): Likewise.
+ (record_last_mem_set_info): Likewise.
+ (record_last_set_info): Likewise.
+ (compute_hash_table_work): Likewise.
+ (mark_set): Likewise.
+ (mark_clobber): Likewise.
+ (mark_oprs_set): Likewise.
+ (compute_transp): Likewise.
+ (find_avail_set): Likewise.
+ (cprop_insn): Likewise.
+ (do_local_cprop): Likewise.
+ (cprop): Likewise.
+ (find_implicit_sets): Likewise.
+ (find_bypass_set): Likewise.
+ (bypass_conditional_jumps): Likewise.
+ (insert_insn_end_bb): Likewise.
+ (pre_insert_copy_insn): Likewise.
+ (compute_transpout): Likewise.
+ (next_ls_expr): Likewise.
+ (invalidate_any_buried_refs): Likewise.
+ (compute_ld_motion_mems): Likewise.
+ (reg_set_info): Likewise.
+ (reg_clear_last_set): Likewise.
+ (find_moveable_store): Likewise.
+ (compute_store_table): Likewise.
+ (find_loads): Likewise.
+ (store_killed_in_insn): Likewise.
+ (insert_insn_start_bb): Likewise.
+ (reg_set_between_after_reload_p): Likewise.
+ (reg_used_between_after_reload_p): Likewise.
+ (is_jump_table_basic_block): Likewise.
+ (gcse_after_reload): Likewise.
+ (hash_scan_set_after_reload): Likewise.
+ (compute_hash_table_after_reload): Likewise.
+
+2004-06-12 Steven Bosscher <stevenb@suse.de>
+
+ * rtl.h (MEM_P, NONJUMP_INSN_P, CALL_INSN_P): New predicates.
+ (INSN_P): Don't look at the rtx code class, just explicitly
+ check for one of the tree RTX_INSN codes.
+
+2004-06-11 Zack Weinberg <zack@codesourcery.com>
+
+ * c-typeck.c (default_function_array_conversion): Use
+ build_pointer_type not TYPE_POINTER_TO.
+
+2004-06-11 Zack Weinberg <zack@codesourcery.com>
+
+ * configure.ac: Don't invoke ACX_HEADER_STDBOOL.
+ * configure, config.in: Regenerate.
+ * system.h: Unconditionally define bool as unsigned char,
+ BOOL_BITFIELD as unsigned int.
+ * domwalk.h: Use BOOL_BITFIELD.
+
+2004-06-12 Andreas Jaeger <aj@suse.de>
+
+ * libgcc-std.ver: Add __unorddf2 and __unordsf2 with version 3.3.4.
+ * libgcc-darwin.ver: Likewise.
+
+2004-06-12 Peter Jakubek <peter@laseranimation.com>
+
+ * reload.c (find_reloads): Force reload for pseudo registers on big
+ endian machines.
+
+2004-06-11 Steven Bosscher <stevenb@suse.de>
+
+ * tree-ssa-dce.c (mark_control_dependent_edges_necessary):
+ Don't try to mark anything control dependent on the entry or
+ exit blocks.
+
+2004-06-11 Daniel Berlin <dberlin@dberlin.org>
+
+ Fix Bug 15899
+ Fix Bug 15460
+ * tree.h (SSA_NAME_VALUE): New macro.
+ (struct tree_ssa_name): Add value_handle member.
+ * tree-ssa-pre.c: Replaced.
+ * tree-flow.h (tree_ann_type): Add CST_ANN, EXPR_ANN.
+ (struct cst_ann_d): New.
+ (struct expr_ann_d): New.
+ (union tree_ann_d): Add cst_ann, expr_ann.
+ * tree-dfa.c (create_cst_ann): New function.
+ (create_expr_ann): Ditto.
+ * tree-flow-inline.h (cst_ann): New function.
+ (expr_ann): Ditto.
+ (get_cst_ann): Ditto.
+ (get_expr_ann): Ditto..
+
+2004-06-11 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
+
+ * pa.c (pa_hpux_init_libfunc): Add support for unord_optab.
+ * pa/quadlib.c (enum qfcmp_magic): Define magic values for call to
+ _U_Qfcmp library function.
+ (_U_Qfltgt, _U_Qfunle, _U_Qfunlt, _U_Qfunge, _U_Qfungt, _U_Qfuneq,
+ _U_Qfunord, _U_Qford): Add more TFmode builtin compare functions.
+
+ * pa.c (legitimize_pic_address): Use UNSPEC_DLTIND14R to identify
+ unspec used for loading address from DLT.
+ * pa.md: Define constants for the uses of UNSPEC and UNSPEC_VOLATILE.
+ Change all users of UNSPEC and UNSPEC_VOLATILE to use new constants.
+ Don't use short code sequence when loading the address of a nonlocal
+ label.
+ (nonlocal_goto): New expander.
+ (indirect_goto): New jump pattern for nonlocal gotos.
+ (short_jump): Remove extra whitespace.
+ (builtin_longjmp): Clobber memory and hard frame pointer. Restore
+ frame pointer via virtual_stack_vars_rtx when we have a nonlocal goto
+ pattern.
+
+2004-06-11 Roger Sayle <roger@eyesopen.com>
+
+ * expmed.c (synth_mult): Add an additional MODE argument for the
+ machine mode of the multiplication. Update recursive calls. Use
+ mode instead of word_mode for determining operation costs.
+ (choose_mult_variant): Update calls to synth_mult with "mode".
+
+2004-06-11 Richard Henderson <rth@redhat.com>
+
+ * tree-ssa-operands.c (get_stmt_operands): Clear makes_aliased_loads
+ and makes_aliased_stores.
+
+2004-06-11 Andrew Pinski <pinskia@physics.uc.edu>
+
+ * doc/install.text (--enable-shared): Fix typo.
+
+2004-06-11 Richard Henderson <rth@redhat.com>
+
+ * config/alpha/alpha.c (alpha_gimplify_va_arg_1): Remove post_p
+ argument. Use internal post for call to gimplify_expr. Tidy
+ rounded type size computation.
+ (alpha_gimplify_va_arg): Use get_formal_tmp_var and
+ get_initialized_tmp_var.
+
+2004-06-11 Andrew Pinski <pinskia@physics.uc.edu>
+
+ * doc/install.texi (--enable-shared): Update libobjc's shared library
+ status. Remove reference to libf2c.
+
+2004-06-11 Jason Merrill <jason@redhat.com>
+
+ * config/i386/i386.h (EXPAND_BUILTIN_VA_ARG): Just abort.
+ * config/i386/i386.c (ix86_va_arg): Remove.
+ * config/rs6000/rs6000.h (EXPAND_BUILTIN_VA_ARG): Just abort.
+ * config/rs6000/rs6000.c (rs6000_va_arg): Remove.
+ * config/alpha/alpha.h (EXPAND_BUILTIN_VA_ARG): Just abort.
+ * config/alpha/alpha.c (alpha_va_arg): Remove.
+ * config/sparc/sparc.h (EXPAND_BUILTIN_VA_ARG): Just abort.
+ * config/sparc/sparc.c (sparc_va_arg): Remove.
+
+ * tree-ssa-operands.c (get_stmt_operands): Use a V_MAY_DEF if the
+ assignment might throw.
+ * tree-eh.c (tree_could_throw_p): Support non-call exceptions in
+ expressions.
+
2004-06-11 J"orn Rennecke <joern.rennecke@superh.com>
+ PR 15886:
* sh.h (ALLOCATE_INITIAL_VALUE): Use return_address_pointer_rtx.
2004-06-11 Joseph S. Myers <jsm@polyomino.org.uk>
* tree-into-ssa.c (mark_def_sites): Rename occurences of vdef
to v_may_def. Also add code to mark statements with
V_MUST_DEFs as definition sites.
- (rewrite_stmt): Rename occurences of vdef to v_may_def. Also
+ (rewrite_stmt): Rename occurences of vdef to v_may_def. Also
add code to register new V_MUST_DEFs made by the statement.
* tree-outof-ssa.c (VIRTUAL_PARTITION): Update comments.
- (check_replaceable): Rename occurences of vdef to v_may_def. Also
+ (check_replaceable): Rename occurences of vdef to v_may_def. Also
add check for V_MUST_DEFs.
(find_replaceable_in_bb): Ditto.
* tree-pretty-print.c (dump_vops): Rename occurences of vdef
(mark_all_v_must_defs): New function.
(create_scalar_copies): Replace call to mark_all_vdefs with
calls to mark_all_v_may_defs and mark_all_v_must_defs.
- (scalarize_structures): Rename occurences of vdef to v_may_def.
+ (scalarize_structures): Rename occurences of vdef to v_may_def.
Also add a check for V_MUST_DEFs.
(scalarize_modify_expr): Rename occurences of vdef to v_may_def.
* tree-ssa-alias.c (global_var): Update comment.
(compute_may_aliases): Ditto.
(compute_points_to_and_addr_escape): Rename occurences of vdef
- to v_may_def. Also add code to mark variables in V_MUST_DEF
+ to v_may_def. Also add code to mark variables in V_MUST_DEF
operands as being written to.
(group_aliases): Update comment.
(maybe_create_global_var): Ditto.
Also add a check for V_MUST_DEFs on GIMPLE registers.
(replace_immediate_uses): Rename occurences of vdef to v_may_def.
* tree-ssa-ccp.c (visit_stmt): Rename occurences of vdef
- to v_may_def. Also add code to mark all V_MUST_DEF operands
+ to v_may_def. Also add code to mark all V_MUST_DEF operands
VARYING.
(initialize): Ditto.
(set_rhs): Rename occurences of vdef to v_may_def. Also add
code to update SSA_NAMEs in V_MUST_DEFs.
* tree-ssa-copy.c (cprop_into_stmt): Rename occurences of vdef
to v_may_def.
- * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Rename
+ * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Rename
occurences of vdef to v_may_def. Also add code to mark statements
with V_MUST_DEFs as necessary.
(propagate_necessity): Rename occurences of vdef to v_may_def.
- * tree-ssa-dom.c (redirect_edges_and_update_ssa_graph): Rename
+ * tree-ssa-dom.c (redirect_edges_and_update_ssa_graph): Rename
occurences of vdef to v_may_def. Also add code to mark operands
in V_MUST_DEFs for renaming.
(eliminate_redundant_computations): Rename occurences of vdef
* tree-ssa-live.c (create_ssa_var_map): Rename occurences of vdef
to v_may_def. Also add code to mark V_MUST_DEF operands as being
used in virtual operators.
- * tree-ssa-loop.c (mark_defs_for_rewrite): Rename occurences of
+ * tree-ssa-loop.c (mark_defs_for_rewrite): Rename occurences of
vdef to v_may_def. Also add code to mark V_MUST_DEF operands for
renaming.
- * tree-ssa-operands.c (opf_kill_def): New flag for killing
+ * tree-ssa-operands.c (opf_kill_def): New flag for killing
definitions.
(build_vdefs): Renamed to...
(build_v_may_defs): This.
with calls to remove_v_may_defs and remove_v_must_defs.
(process_left_occs_and_kills): Rename occurences of vdef to v_may_def.
Also add code that marks left occurences of operands in V_MUST_DEFs.
- * tree-tailcall.c (find_tail_calls): Rename occurences of vdef
+ * tree-tailcall.c (find_tail_calls): Rename occurences of vdef
to v_may_def. Also add check for V_MUST_DEFs.
(eliminate_tail_call):Rename occurences of vdef to v_may_def.
2004-06-10 Jason Merrill <jason@redhat.com>
- * target.h (struct gcc_target): Change gimplify_va_arg_expr
+ * target.h (struct gcc_target): Change gimplify_va_arg_expr
hook signature.
* tree-gimple.h: Adjust.
* config/alpha/alpha.c (alpha_gimplify_va_arg): Adjust.
df_bb_reg_def_chain_create, df_bb_reg_use_chain_create,
df_bb_rd_local_compute, df_bb_ru_local_compute, df_bb_lr_local_compute,
df_analyse_1, df_insn_modify): Support analysing only a part of the cfg.
-
+
(dataflow_set_a_op_b, dataflow_set_copy): New functions.
(df_rd_transfer_function, df_ru_transfer_function,
df_lr_transfer_function): Type of bitmaps changed to void *.
2004-06-09 Daniel Berlin <dberlin@dberlin.org>
- * tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores
+ * tree-ssa.c (verify_ssa): Verify that vdefs/makes_aliased_stores
match.
2004-06-09 Roger Sayle <roger@eyesopen.com>
(nondestructive_fold_unary_to_constant) <BIT_NOT_EXPR>: Likewise.
2004-06-09 Richard Henderson <rth@redhat.com>
-
+
PR middle-end/15228
* function.c (assign_parms): Always set_mem_align with the computed
FUNCTION_ARG_BOUNDARY. Don't clear stack_parm if !STRICT_ALIGNMENT.
* config/rs6000/rs6000.c (rs6000_gimplify_va_arg): New fn.
(TARGET_GIMPLIFY_VA_ARG_EXPR): Define.
* alias.c (get_varargs_alias_set): Just return 0 for now.
-
+
* c-objc-common.c (c_tree_printer): Improve handling of %T.
2004-06-09 Andrew Pinski <pinskia@physics.uc.edu>
(sched_analyze): When the previous basic block ended in a CALL_INSN,
initialize in_post_call_group_p as post_call_initial.
(init_deps): initialize in_post_call_group_p to not_post_call.
-
+
2004-06-09 Arnaud Charlet <charlet@act-europe.fr>
PR ada/6637
* gimple-low.c (struct lower_data): Replace the_return_label and
one_return_stmt with return_statements.
(lower_function_body): Process the entire list of return_statements.
- (lower_return_expr): Check source value before unifying return_exprs.
+ (lower_return_expr): Check source value before unifying return_exprs.
* gimplify.c (gimplify_return_expr): Force the use of a temporary
for !aggregate_value_p.
* tree-gimple.c: Update RETURN_EXPR grammer.
2004-06-01 Nicola Pero <nicola@brainstorm.co.uk>
- PR objc/7993
+ PR objc/7993
* objc-act.c (is_private): Do not emit the 'instance variable %s
is declared private' error.
(is_public): Emit the error after calling is_private.