gcc/ChangeLog

   1 2006-01-11  Jan Hubicka  <jh@suse.cz>
   2
   3         PR target/25042
   4         * i386.c (ix86_init_mmx_sse_builtins): Do not delcare float128
   5
   6 2006-01-11  Jan Hubicka  <jh@suse.cz>
   7
   8         * i386.h (TARGET_DECOMPOSE_LEA): Kill.
   9         * i386.c (x86_decompose_lea): Kill.
  10         (ix86_rtx_costs): Kill.
  11
  12 2006-01-11  Jan Hubicka  <jh@suse.cz>
  13
  14         * cgraph.c (cgraph_insert_node_to_hashtable): New function.
  15         * cgraph.h (cgraph_node): Add inline_decl.
  16         (cgraph_insert_node_to_hashtable): Declare.
  17         (save_inline_function_body): Declare.
  18         * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
  19         clones.
  20         (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
  21         (cgraph_function_versioning): Update call of tree_function_versioning.
  22         (save_inline_function_body): New function.
  23         * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
  24         saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
  25         * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
  26         (cgraph_default_inline_p): Likewise.
  27         (cgraph_decide_inlining_incrementally): Likewise.
  28         * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
  29         (copy_bb): Kill saving; do updating of clones.
  30         (copy_cfg_body): Kill saving.
  31         (initialize_inlined-parameters): Likewise.
  32         (expand_call_inline): Likewise.
  33         (save_body): Kill.
  34         (tree_function_versioning): New parameter "update_clones".
  35         (inlining_p): Kill saving.
  36         * tree-inline.h (tree_function_versioning): Update prototype.
  37         * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of
  38         saving.
  39
  40 2006-01-11  Ian Lance Taylor <ian@airs.com>
  41
  42         * combine.c (struct undo): Remove is_int.  Enumify types of undos.
  43         Allow undoing set of machine mode.
  44         (do_SUBST): Use enums instead of is_int.
  45         (do_SUBST_MODE): New function.
  46         (SUBST_MODE): New macro.
  47         (try_combine): Use SUBST_MODE/PUT_MODE instead of generating a new
  48         reg and trying to replace reg_regno_rtx with a new register.
  49         (undo_all): Use new enums, handle undoing a PUT_MODE change.
  50         (simplify_set): Use SUBST_MODE.
  51         (distribute_notes): Remove code that tried to update reg notes
  52         for regno_reg_rtx changes.
  53
  54 2006-01-11  Paolo Bonzini  <bonzini@gnu.org>
  55
  56         PR tree-optimization/23109
  57         PR tree-optimization/23948
  58         PR tree-optimization/24123
  59
  60         * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
  61         * tree-cfg.c (single_noncomplex_succ): New.
  62         * tree-flow.h (single_noncomplex_succ): Declare it.
  63         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
  64         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
  65         (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
  66         insert_bb, register_division_in, insert_reciprocals,
  67         replace_reciprocal, free_bb): New.
  68         (execute_cse_reciprocals_1): Rewritten.
  69         (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
  70         Do not commit any edge insertion.  Always compute dominators and
  71         create the allocation pool.
  72         * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
  73         * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
  74         * targhooks.c (default_min_divistions_for_recip_mul): New.
  75         * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
  76         * passes.c (init_optimization_passes): Run recip after tree loop
  77         optimizations.
  78         * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.
  79
  80 2005-01-11  Danny Berlin <dberlin@dberlin.org>
  81             Kenneth Zadeck <zadeck@naturalbridge.com>
  82
  83         * df.h (DF_SCAN, DF_RU, DF_RD, DF_LR, DF_UR, DF_UREC, DF_CHAIN,
  84         DF_RI, DF_LAST_PROBLEM_PLUS1, DF_DU_CHAIN, DF_UD_CHAIN,
  85         DF_REF_TYPE_NAMES, DF_HARD_REGS, DF_EQUIV_NOTES, DF_SUBREGS,
  86         DF_SCAN_BB_INFO, DF_RU_BB_INFO, DF_RD_BB_INFO, DF_LR_BB_INFO,
  87         DF_UR_BB_INFO, DF_UREC_BB_INFO, DF_LIVE_IN, DF_LIVE_OUT,
  88         DF_RA_LIVE_IN, DF_RA_LIVE_OUT, DF_UPWARD_LIVE_IN,
  89         DF_UPWARD_LIVE_OUT, DF_REF_REAL_REG, DF_REF_REGNO,
  90         DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_BBNO,
  91         DF_REF_INSN, DF_REF_INSN_UID, DF_REF_TYPE, DF_REF_CHAIN,
  92         DF_REF_ID, DF_REF_FLAGS, DF_REF_NEXT_REG, DF_REF_PREV_REG,
  93         DF_REF_NEXT_REF, DF_REF_DATA, DF_REF_REG_DEF_P, DF_REF_REG_USE_P,
  94         DF_REF_REG_MEM_STORE_P, DF_REF_REG_MEM_LOAD_P, DF_REF_REG_MEM_P,
  95         DF_DEFS_SIZE, DF_DEFS_GET, DF_DEFS_SET, DF_USES_SIZE, DF_USES_GET,
  96         DF_USES_SET, DF_REG_SIZE, DF_REG_DEF_GET, DF_REG_DEF_SET,
  97         DF_REG_USE_GET, DF_REG_USE_SET, DF_REGNO_FIRST_DEF,
  98         DF_REGNO_LAST_USE, DF_INSN_SIZE, DF_INSN_GET, DF_INSN_SET,
  99         DF_INSN_CONTAINS_ASM, DF_INSN_LUID, DF_INSN_DEFS, DF_INSN_USES,
 100         DF_INSN_UID_GET, DF_INSN_UID_LUID, DF_INSN_UID_DEFS,
 101         DF_INSN_UID_USES, DF_SCAN_INITIAL, DF_SCAN_GLOBAL,
 102         DF_SCAN_POST_ALLOC): New macros.
 103         (df_flow_dir, df_ref_type, df_ref_flags, df_alloc_function,
 104         df_free_bb_function, df_local_compute_function, df_init_function,
 105         df_dataflow_function, df_confluence_function_0,
 106         df_confluence_function_n, df_transfer_function,
 107         df_finalizer_function, df_free_function, df_dump_problem_function,
 108         df_problem, dataflow, df_insn_info, df_reg_info, df_ref, df_link,
 109         df_ref_info, df, df_map, df_scan_bb_info, df_ru_bb_info,
 110         df_ru_bb_info, df_rd_bb_info, df_lr_bb_info, df_ur_bb_info,
 111         df_urec_bb_info, ) New types.
 112         (df_invalidated_by_call, df_all_hard_regs, df_state) New public
 113         variables.
 114         (df_init, df_add_problem, df_set_blocks, df_finish, df_analyze,
 115         df_analyze_simple_change_some_blocks,
 116         df_analyze_simple_change_one_block, df_compact_blocks,
 117         df_bb_replace, df_bb_regno_last_use_find,
 118         df_bb_regno_first_def_find, df_bb_regno_last_def_find,
 119         df_insn_regno_def_p, df_find_def, df_find_use,
 120         df_iterative_dataflow, df_dump, df_chain_dump, df_refs_chain_dump,
 121         df_regs_chain_dump, df_insn_debug, df_insn_debug_regno,
 122         df_regno_debug, df_ref_debug, debug_df_insn, debug_df_regno,
 123         debug_df_reg, debug_df_defno, debug_df_useno, debug_df_ref,
 124         debug_df_chain, df_get_dependent_problem, df_chain_create,
 125         df_chain_unlink, df_chain_copy, df_get_live_in, df_get_live_out,
 126         df_grow_bb_info, df_chain_dump, df_print_bb_index,
 127         df_ru_add_problem, df_ru_get_bb_info, df_rd_add_problem,
 128         df_rd_get_bb_info, df_lr_add_problem, df_lr_get_bb_info,
 129         df_ur_add_problem, df_ur_get_bb_info, df_urec_add_problem,
 130         df_urec_get_bb_info, df_chain_add_problem, df_ri_add_problem,
 131         df_reg_lifetime, df_scan_get_bb_info, df_scan_add_problem,
 132         df_rescan_blocks, df_ref_create, df_get_artificial_defs,
 133         df_get_artificial_uses, df_reg_chain_create, df_reg_chain_unlink,
 134         df_ref_remove, df_insn_refs_delete, df_refs_delete,
 135         df_reorganize_refs, df_set_state, df_hard_reg_init,
 136         df_read_modify_subreg_p) New public functions.
 137         * df-core.c: The core dataflow solver and glue routines for rtl
 138         dataflow.
 139         (df_init, df_add_problem, df_set_blocks, df_finish,
 140         df_hybrid_search_forward, df_hybrid_search_backward,
 141         df_iterative_dataflow, df_prune_to_subcfg, df_analyze_problem,
 142         df_analyze, df_get_bb_info, df_set_bb_info, df_bb_replace,
 143         df_bb_regno_last_use_find, df_bb_regno_first_def_find,
 144         df_bb_regno_last_def_find, df_insn_regno_def_p, df_find_def,
 145         df_reg_defined, df_find_use, df_reg_used, df_dump,
 146         df_refs_chain_dump, df_regs_chain_dump, df_insn_debug,
 147         df_insn_debug_regno, df_regno_debug, df_ref_debug, debug_df_insn,
 148         debug_df_reg, debug_df_regno, debug_df_ref debug_df_defno,
 149         debug_df_useno, reset_df_after_reload): New functions.
 150         * df-scan.c: The scanning fuctions, once in df.c, completely
 151         rewritten so that they now fully model the functionality of
 152         register usage at the backend.
 153         (df_scan_free_internal, df_scan_get_bb_info, df_scan_set_bb_info,
 154         df_scan_free_bb_info, df_scan_alloc, df_scan_free, df_scan_dump,
 155         df_scan_add_problem, df_grow_reg_info, df_grow_ref_info,
 156         df_grow_insn_info, df_rescan_blocks, df_ref_create,
 157         df_get_artificial_defs, df_get_artificial_uses,
 158         df_reg_chain_create, df_ref_unlink, df_reg_chain_unlink,
 159         df_ref_remove, df_insn_create_insn_record, df_insn_refs_delete,
 160         df_refs_delete, df_reorganize_refs, df_set_state,
 161         df_ref_create_structure, df_ref_record, df_read_modify_subreg_p,
 162         df_def_record_1, df_defs_record, df_uses_record,
 163         df_insn_contains_asm_1, df_insn_contains_asm, df_insn_refs_record,
 164         df_has_eh_preds, df_bb_refs_record, df_refs_record, df_mark_reg,
 165         df_record_exit_block_uses, df_hard_reg_init): New functions.
 166
 167         * df-problems.c: Seven concrete dataflow problems that use the
 168         scanning in df-scan.c and are solved by the engine in df-core.c.
 169         (df_get_dependent_problem, df_chain_create, df_chain_unlink,
 170         df_chain_copy, df_get_live_in, df_get_live_out, df_grow_bb_info,
 171         df_chain_dump, df_print_bb_index, df_ref_bitmap, df_set_seen,
 172         df_unset_seen, df_ru_get_bb_info, df_ru_set_bb_info,
 173         df_ru_free_bb_info, df_ru_alloc,
 174         df_ru_bb_local_compute_process_def,
 175         df_ru_bb_local_compute_process_use, df_ru_bb_local_compute,
 176         df_ru_local_compute, df_ru_init_solution, df_ru_confluence_n,
 177         df_ru_transfer_function, df_ru_free, df_ru_dump,
 178         df_ru_add_problem, df_rd_get_bb_info, df_rd_set_bb_info,
 179         df_rd_free_bb_info, df_rd_alloc,
 180         df_rd_bb_local_compute_process_def, df_rd_bb_local_compute,
 181         df_rd_local_compute, df_rd_init_solution, df_rd_confluence_n,
 182         df_rd_transfer_function, df_rd_free, df_rd_dump,
 183         df_rd_add_problem, df_lr_get_bb_info, df_lr_set_bb_info,
 184         df_lr_free_bb_info, df_lr_alloc, df_lr_bb_local_compute,
 185         df_lr_local_compute, df_lr_init, df_lr_confluence_0,
 186         df_lr_confluence_n, df_lr_transfer_function, df_lr_free,
 187         df_lr_dump, df_lr_add_problem, df_ur_get_bb_info,
 188         df_ur_set_bb_info, df_ur_free_bb_info, df_ur_alloc,
 189         df_ur_bb_local_compute, df_ur_local_compute, df_ur_init,
 190         df_ur_local_finalize, df_ur_confluence_n, df_ur_transfer_function,
 191         df_ur_free, df_ur_dump, df_ur_add_problem, df_urec_get_bb_info,
 192         df_urec_set_bb_info, df_urec_free_bb_info, df_urec_alloc,
 193         df_urec_mark_reg_change, df_urec_check_earlyclobber,
 194         df_urec_mark_reg_use_for_earlyclobber,
 195         df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
 196         df_urec_local_compute, df_urec_init, df_urec_local_finalize,
 197         df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
 198         df_urec_dump, df_urec_add_problem, df_chain_alloc,
 199         df_chain_create_bb_process_use, df_chain_create_bb,
 200         df_chain_finalize, df_chain_free, df_chains_dump,
 201         df_chain_add_problem, df_ri_alloc, df_ri_bb_compute,
 202         df_ri_compute, df_ri_free, df_ri_dump, df_ri_add_problem,
 203         df_reg_lifetime): New functions.
 204         * df.c: Deleted file.
 205         * ddg.c (create_ddg_dep_no_link, build_inter_loop_deps): Made code
 206         consistent with new df api.
 207         * modulo-sched.c (sms_schedule, rest_of_handle_sms,
 208         rest_of_handle_sms): Ditto.
 209         * web.c (unionfind_union, union_defs, entry_register, web_main):
 210         Ditto.
 211         * loop_invariant.c (invariant_for_use, hash_invariant_expr_1,
 212         invariant_expr_equal_p, find_defs, check_dependencies,
 213         find_invariant_insn, find_invariants_to_move, move_invariant_reg,
 214         free_inv_motion_data, move_loop_invariants): Ditto.
 215         * sched-deps.c (sched_analyze_1): Ditto.
 216
 217 2006-01-11  Zdenek Dvorak <dvorakz@suse.cz>
 218
 219         * tree-ssa-operands.c (get_expr_operands): Record addressable
 220         variables directly.  Do not call add_stmt_operands for CONST_DECLs
 221         and ARRAY_DECLs.
 222         (get_indirect_ref_operands): Remove handling of *(&a + offset) case.
 223         (add_stmt_operands): Handle only objects satisfying SSA_VAR_P.
 224
 225 2006-01-11  Ben Elliston  <bje@au.ibm.com>
 226
 227         * config/i386/i386.c (ix86_return_in_memory): Fix comment: this
 228         function returns true in the positive case.
 229
 230 2006-01-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 231
 232         PR target/20754
 233         * config/pa/pa.md: Create separate 32 and 64-bit move patterns
 234         for SI, DI, SF and DF modes.  Add alternatives to copy between
 235         general and floating point registers to the 32-bit patterns.
 236         * config/pa/pa-64.h (SECONDARY_MEMORY_NEEDED_RTX): Delete undefine.
 237         * config/pa/pa.h (SECONDARY_MEMORY_NEEDED_RTX): Delete define.
 238         (SECONDARY_MEMORY_NEEDED): Secondary memory is only needed when
 239         generating 64-bit code.
 240         * config/pa/pa.c (output_move_double): Handle copies between general
 241         and floating registers.
 242
 243 2006-01-10  Stuart Hastings  <stuart@apple.com>
 244
 245         * config/i386/i386.md (set_got): Update.
 246         (set_got_labelled): New.  (UNSPEC_LD_MPIC): New.
 247         (builtin_setjmp_receiver): Mach-O support.
 248         * config/i386/darwin.h (TARGET_ASM_FILE_END) Define.
 249         (GOT_SYMBOL_NAME): Define.
 250         (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): New.
 251         (TARGET_DEEP_BRANCH_PREDICTION): Remove.
 252         * config/i386/i386.c (override_options): Revise for Darwin.
 253         (USE_HIDDEN_LINKONCE): Enable for Mach-O.  (ix86_file_end): Mach-O
 254         support.  (darwin_x86_file_end): New.  (output_set_got): Add label
 255         parameter, revise for Mach-O.  (x86_output_mi_thunk): Likewise.
 256         * config/i386/i386-protos.h (output_set_got): Likewise.
 257         * config/darwin.c (machopic_legitimize_pic_address): Update
 258         regs_ever_live[].
 259
 260 2006-01-10  Kaz Kojima  <kkojima@gcc.gnu.org>
 261
 262         * config/sh/sh.h (SH5_WOULD_BE_PARTIAL_NREGS): Use GET_MODE_SIZE
 263         when MODE isn't BLKmode.
 264
 265 2006-01-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
 266
 267         PR rtl-optimization/25367
 268         * config/sparc/sparc.h (HARD_REGNO_RENAME_OK): New macro.
 269
 270 2006-01-10  Hans-Peter Nilsson  <hp@axis.com>
 271
 272         PR target/25718
 273         * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
 274         for a negative bound.
 275
 276 2006-01-10  Richard Guenther  <rguenther@suse.de>
 277
 278         * tree-ssa-structalias.c (get_constraint_for_component_ref):
 279         Never override with anything constraint.
 280
 281 2006-01-10  Jan Beulich  <jbeulich@novell.com>
 282
 283         * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
 284         256 bits when optimize_size.
 285
 286 2006-01-10  Jan Beulich  <jbeulich@novell.com>
 287
 288         * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
 289         MASK_ALIGN_DOUBLE.
 290         * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
 291         * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
 292         arguments.
 293
 294 2006-01-10  Ben Elliston  <bje@au.ibm.com>
 295
 296         * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
 297         float modes.
 298         * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
 299         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
 300         (USE_FP_FOR_ARG): Reject decimal float modes.
 301         (function_arg_advance): Likewise.
 302         (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
 303         (rs6000_handle_altivec_attribute): Do not permit decimal floating
 304         point types in AltiVec vectors.
 305         (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
 306         (rs6000_libcall_value): Likewise.
 307
 308 2006-01-09  Bob Wilson  <bob.wilson@acm.org>
 309
 310         * config/xtensa/ieee754-df.S: New file.
 311         * config/xtensa/ieee754-sf.S: New file.
 312         * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
 313         (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
 314         * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
 315
 316 2006-01-09  Kazu Hirata  <kazu@codesourcery.com>
 317
 318         * config/sh/predicates.md (binary_float_operator,
 319         binary_logical_operator, commutative_float_operator,
 320         equality_comparison_operator, greater_comparison_operator,
 321         less_comparison_operator, logical_operator,
 322         noncommutative_float_operator, shift_operator,
 323         symbol_ref_operand, unary_float_operator): Remove redundant
 324         conditionals.
 325
 326 2006-01-09  Jeff Law  <law@redhat.com>
 327
 328         * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
 329         code to propagate the RHS of a cast into COND_EXPR_COND.  Remove
 330         now unused arguments.  Callers updated.
 331         (eliminate_redundant_computations): Remove now unused arguments,
 332         callers updated.
 333         (local_fold): Remove, no longer used.
 334         (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
 335         and moved to...
 336         * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
 337         (simplify_cond): New function.
 338         (forward_propagate_into_cond): Call simplify_cond.
 339
 340 2006-01-09  Alexandre Oliva  <aoliva@redhat.com>
 341
 342         * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
 343         (*vec_extractv2di_1_sse): New.
 344
 345 2006-01-09  Ben Elliston  <bje@au.ibm.com>
 346
 347         * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
 348
 349 2006-01-08  Richard Guenther  <rguenther@suse.de>
 350
 351         * tree-ssa-structalias.c (get_constraint_for): Remove
 352         anyoffset argument.
 353         (get_constraint_for_component_ref): Likewise.
 354         (do_deref): Likewise.
 355         (get_constraint_for): Likewise.
 356         (do_structure_copy): Likewise.
 357         (handle_ptr_arith): Likewise.
 358         (find_func_aliases): Likewise.  Remove unused need_anyoffset
 359         variable.
 360
 361 2006-01-08  J"orn Rennecke  <joern.rennecke@st.com>
 362             Kaz Kojima  <kkojima@gcc.gnu.org>
 363
 364         * config/sh/sh.h (CONST_OK_FOR_K16): Define.
 365         (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
 366         (EXTRA_CONSTRAINT_C16): Remove.
 367         (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
 368         (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
 369         EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
 370         * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
 371         constants of SHmedia.  Handle nested constant expressions of
 372         SHmedia correctly.
 373         (andcosts): Fix the costs for SHmedia constants.
 374         (sh_rtx_costs): Take account of outer_code for SHmedia constants.
 375         * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
 376         (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
 377         (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
 378         (movv4hi_i, movv2si_i): Likewise.
 379         (movsi_const): Adjust the second operand of ior so to match with
 380         the Csu constraint.
 381         (movdi_const, movdi_const_32bit): Likewise.
 382         (movdi_const_16bit+1): Don't sign-extend LOW.
 383         (movdi_const_16bit+2): Likewise.  Remove the zero_extend and truncate
 384         step.
 385         (*double_shori): Fix the split condition.  Use GEN_INT instead
 386         of get_int_mode calls.  Mask lower 16-bit of the argument of
 387         the last GEN_INT.
 388         (sym2GOTPLT): Remove.
 389         (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
 390         gen_rtx_UNSPEC.
 391         * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
 392         instead of EXTRA_CONSTRAINT_C16.
 393
 394 2006-01-07  Ian Lance Taylor  <ian@airs.com>
 395             David Edelsohn  <edelsohn@gnu.org>
 396
 397         PR rtl-optimization/25662
 398         * optabs.c (simplify_expand_binop): Use simplify_binary_operation
 399         for constant operands instead of simplify_gen_binary.
 400         * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
 401         after trying simplify_binary_operation
 402
 403 2006-01-06  Daniel Berlin  <dberlin@dberlin.org>
 404
 405         * tree.c (iterative_hash_expr): Hash decls based on UID.
 406
 407 2006-01-06  Eric Christopher  <echristo@apple.com>
 408
 409         * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
 410         (TARGET_UNWIND_EMIT): Fix spelling.
 411         * target.h (gcc_target): Add except_table_label.
 412         * except.c (output_function_exception_table): Use.
 413         * varasm.c (default_emit_except_table_label): New.
 414         * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
 415         define.
 416         (asm_out): Add here.
 417         * output.h (default_emit_except_table_label): Prototype.
 418         * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
 419         * config/darwin.c (darwin_emit_except_table_label): Define.
 420         * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
 421
 422 2006-01-06  Zdenek Dvorak <dvorakz@suse.cz>
 423
 424         PR tree-optimization/18527
 425         * tree-ssa-loop-niter.c (number_of_iterations_cond,
 426         number_of_iterations_special, number_of_iterations_exit):
 427         Move base and step of an iv to a single structure.  Add
 428         no_overflow flag, and use it in # of iterations analysis.
 429         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
 430         folded_casts argument.
 431         (simple_iv): Pass base and step in a structure.  Set no_overflow
 432         flag.
 433         (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
 434         Evaluate expensiveness of computing # of iterations instead of
 435         the final expression.
 436         * tree-scalar-evolution.h (affine_iv): New structure.
 437         (simple_iv): Declaration changed.
 438         * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
 439         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
 440         find_givs_in_stmt): Changed due to simple_iv change.
 441
 442 2006-01-06  Jeff Law  <law@redhat.com>
 443
 444         PR ada/24994
 445         * tree-cfg.c (bsi_replace): Rename final argument from
 446         PRESERVE_EH_INFO to UPDATE_EH_INFO.  Fix typo in last
 447         change (stmt -> orig_stmt).
 448         * tree-eh.c (verify_eh_throw_stmt_node): New function.
 449         (bsi_remove): Add new argument.  Remove EH information
 450         if requested.
 451         (verify_eh_throw_table_statements): New function.
 452         (bsi_remove): Add new argument REMOVE_EH_INFO.  All callers
 453         updated.
 454         * tree-optimize.c (execute_free_cfg_annotations): Verify
 455         the EH throw statement table after removing annotations.
 456         * except.h (verify_eh_throw_table_statements): Prototype.
 457         * tree-flow.h (bsi_remove): Update prototype.
 458         * tree-vrp.c (remove_range_assertions): Add new argument to
 459         bsi_remove call.
 460         * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
 461         * tree-complex.c (expand_complex_div_wide): Likewise.
 462         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
 463         * tree-tailcall.c (eliminate_tailcall): Likewise.
 464         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
 465         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
 466         * tree-nrv.c (tree_nrv): Likewise.
 467         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
 468         * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
 469         (combine_blocks): Likewise.
 470         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
 471         * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
 472         (cleanup_control_flow): Likewise.
 473         (remove_forwarder_block): Likewise.
 474         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
 475         * tree-sra.c (sra_replace): Likewise.
 476         * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
 477         (forward_propagate_single_use_vars): Likewise.
 478         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
 479         * tree-inline.c (expand_call_inline): Likewise.
 480         * tree-vect-transform.c (vect_transform_loop): Likewise.
 481         * tree-outof-ssa.c (rewrite_trees): Likewise.
 482         * tree-cfg.c (make_goto_expr_edges): Likewise.
 483         (cleanup_dead_labels): Likewise.
 484         (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
 485         (bsi_move_before, bsi_move_after): Likewise.
 486         (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
 487         (tree_redirect_edge_and_branch, tree_split_block): Likewise.
 488
 489 2006-01-06  Andrew Pinski  <pinskia@physics.uc.edu>
 490
 491         PR tree-opt/25528
 492         * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
 493         and IMAGPART_EXPR.
 494         * tree-flow-inline.h (var_can_have_subvars): Handle complex types
 495         on non gimple variables.  Also add checks at the top for decls and
 496         mtags.
 497         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
 498         complex types.
 499         * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
 500         and IMAGPART_EXPR for creating MUST_DEFs.
 501         (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
 502         and NAME_MEMORY_TAG separately from the DECLs.
 503
 504 2006-01-06  Richard Guenther  <rguenther@suse.de>
 505
 506         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
 507         annotation, if necessary.
 508         * tree-ssa-pre.c (create_expression_by_pieces): Remove
 509         redundant calls to update_stmt.
 510         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
 511         Likewise.
 512
 513 2006-01-05  Richard Henderson  <rth@redhat.com>
 514
 515         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
 516
 517 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
 518
 519         * c-typeck.c: Update copyright date.
 520
 521 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
 522
 523         * c-typeck.c (build_c_cast): Always warn when casting
 524         from a pointer to an integer of different size, even if
 525         the node was constant.
 526
 527 2006-01-05  Richard Guenther  <rguenther@suse.de>
 528
 529         PR tree-optimization/22555
 530         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
 531         if one structure field is an array.
 532         * tree-ssa-operands.c (get_expr_operands): Continue scanning
 533         operands even if we found a subvar, but ignore VOPs in this
 534         case.
 535         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
 536         for renaming.
 537         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
 538
 539 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
 540
 541         PR middle-end/24998
 542         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
 543
 544 2006-01-05  Richard Guenther  <rguenther@suse.de>
 545             Diego Novillo  <dnovillo@redhat.com>
 546
 547         * tree-pass.h (TODO_remove_unused_locals): Define.
 548         * gimple-low.c (expand_var_p, remove_useless_vars,
 549         pass_remove_useless_vars): Remove.  Update all users.
 550         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
 551         (remove_unused_locals): New function.
 552         * tree-flow.h (remove_unused_locals): Declare.
 553         * passes.c (execute_todo): Call remove_unused_locals if
 554         TODO_remove_unused_locals is set.
 555         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
 556         * tree-ssa-dce.c (pass_dce): Likewise.
 557         * tree-outof-ssa.c (pass_del_ssa): Likewise.
 558
 559 2006-01-05  Richard Guenther  <rguenther@suse.de>
 560
 561         * tree-flow.h (struct fieldoff): Decompose field to
 562         type, size and decl.
 563         * tree-ssa-alias.c (create_sft): Take type as parameter.
 564         (create_overlap_variables_for): Store type, size and decl
 565         in the fieldoff structure.
 566         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
 567         of struct fieldoff.
 568         (push_fields_onto_fieldstack): Likewise.
 569         (create_variable_info_for): Likewise.  Use offset for the
 570         SFT name if the decl is not available.
 571
 572 2006-01-04  Paul Brook  <paul@codesourcery.com>
 573
 574         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
 575
 576 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
 577
 578         * lambda-code.c (can_put_in_inner_loop): Relax
 579         restrictions.
 580         (can_put_after_inner_loop): New function.
 581         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
 582         (perfect_nestify): Change to make copies and modify uses.
 583
 584 2006-01-04  Richard Henderson  <rth@redhat.com>
 585
 586         Merge from gomp branch:
 587         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
 588         via integer constant.
 589         (pragma_lex): Remove.
 590         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
 591         rather than parsing it.
 592         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
 593         handle_pragma_extern_prefix): Add %< %> quotes.
 594         (registered_pragmas): New.
 595         (c_register_pragma_1): New.
 596         (c_register_pragma): Use it.
 597         (c_register_pragma_with_expansion): Likewise.
 598         (c_invoke_pragma_handler): New.
 599         (init_pragma): Use cpp_register_deferred_pragma directly for
 600         pch_preprocess.
 601         * c-pragma.h (enum pragma_kind): New.
 602         (pragma_handler): New.
 603         (c_invoke_pragma_handler): Declare.
 604         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
 605         CPP_PRAGMA_EOL.
 606         * c-common.h (c_common_pch_pragma): Update decl.
 607         * Makefile.in (c-parser.o): Update dependencies.
 608         (GTFILES): Add c-pragma.h.
 609         * c-parser.c (struct c_token): Add pragma_kind.
 610         (struct c_parser): Add in_pragma.
 611         (c_lex_one_token): Always initialize keyword and pragma_kind.
 612         Extract data for CPP_PRAGMA.
 613         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
 614         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
 615         Don't allow CPP_PRAGMA_EOL if in_pragma.
 616         (c_parser_consume_pragma): New.
 617         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
 618         (c_parser_skip_to_end_of_parameter): Likewise.
 619         (c_parser_skip_to_end_of_block_or_statement): Likewise.
 620         (c_parser_skip_to_pragma_eol): New.
 621         (c_parser_external_declaration): Handle CPP_PRAGMA.
 622         (c_parser_compound_statement_nostart): Likewise.
 623         (c_parser_statement_after_labels): Likewise.
 624         (c_parser_pragma): New.
 625         (pragma_lex): Likewise.
 626         (c_parser_pragma_pch_preprocess): New.
 627         (c_parser_new): Merge into ...
 628         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
 629
 630 2006-01-04  Jeff Law  <law@redhat.com>
 631
 632         PR ada/24994
 633         * tree-cfg.c (bsi_replace): Remove the original statement
 634         from the EH throw statement table.
 635
 636 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
 637
 638         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
 639         make the prototype extern "C" and add throw ().
 640
 641         PR target/25554
 642         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
 643         and pos non-negative and pos + len <= 32.
 644         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
 645         drop pos + len < HOST_BITS_PER_WIDE_INT test.
 646         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
 647
 648         PR c/25559
 649         * c-common.c (handle_vector_size_attribute): Reject zero vector size
 650         as well as sizes not multiple of component size.
 651
 652         PR debug/25562
 653         * function.c (instantiate_expr): New function.
 654         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
 655         walk its DECL_VALUE_EXPR with instantiate_expr.
 656
 657         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
 658         DW_OP_deref{,_size} if address isn't going to be added.
 659
 660 2006-01-04  Ben Elliston  <bje@au.ibm.com>
 661
 662         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
 663         * config/fp-bit.c: Likewise.
 664
 665 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
 666
 667         * dominance.c: Add comment about why we use DFS numbering
 668         of dominance tree.
 669
 670 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
 671             Richard Henderson  <rth@redhat.com>
 672
 673         Merge from gomp-branch:
 674         * varasm.c (assemble_variable): Handle thread-local COMMON data.
 675         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
 676
 677 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
 678
 679         PR rtl-optimization/25578
 680         * combine.c (combine_simplify_rtx, force_to_mode): Don't
 681         pass a parameter to simplify_shift_const if changing ASHIFTRT
 682         to LSHIFTRT.
 683
 684 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
 685
 686         * builtins.c (get_builtin_sync_mem): New function.
 687         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
 688         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
 689         Call get_builtin_sync_mem to generate mem rtx.
 690
 691 2006-01-03  Richard Guenther  <rguenther@suse.de>
 692
 693         PR c/25183
 694         * stmt.c (add_case_node): Make sure to clear overflow flags
 695         from ranges.
 696
 697 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
 698
 699         Merge from gomp-branch.
 700         * config/sparc/sync.md: New file.
 701         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
 702         UNSPECV_LDSTUB): New constants.
 703         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
 704         * config/sparc/predicates.md (memory_reg_operand): New predicate.
 705         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
 706         prototype.
 707
 708 2006-01-03  Roger Sayle  <roger@eyesopen.com>
 709
 710         * combine.c (reg_subword_p): New predicate to test whether the
 711         destination of a set refers to a subword/piece of a register.
 712         (try_combine): Generalize the code to merge the setting of a
 713         pseudo to a constant followed by a set of a subword of that
 714         register to a constant.
 715
 716 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
 717
 718         * basic-block.h (control_flow_graph): Change the type of
 719         x_label_to_block_map to VEC(basic_block,gc) *.
 720         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
 721         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
 722
 723         * tree-ssa-propagate.c (cfg_blocks): Change the type to
 724         VEC(basic_block,heap) *.
 725         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
 726         ssa_prop_fini): Adjust the uses of cfg_blocks.
 727
 728 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
 729
 730         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
 731         COMPONENT_REFs.
 732         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
 733         hashing trees instead of a pointer hash.
 734         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
 735         compare for MEM_EXPR.
 736
 737         PR rtl-optimization/25130
 738         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
 739         when comparing MEMs for GCSE
 740
 741 2006-01-03  Ben Elliston  <bje@au.ibm.com>
 742
 743         * targhooks.h (default_decimal_float_supported_p): Declare.
 744         * targhooks.c (default_decimal_float_supported_p): Define.
 745         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
 746         `default_decimal_float_supported_p'.
 747         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
 748
 749 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
 750
 751         * combine.c (apply_distributive_law <SUBREG>): Check
 752         TRULY_NOOP_TRUNCATION.
 753
 754 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
 755
 756         * dwarf2out.c (have_switched_text_section): Delete.
 757         (have_multiple_function_sections): New.
 758         (have_location_lists): Make 'bool'.
 759         (add_AT_loc_list): Use 'true' not '1'.
 760         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
 761         (output_loc_list): Use have_multiple_function_sections.
 762         (output_ranges): Likewise.
 763         (dwarf2out_begin_function): Set have_multiple_function_sections if
 764         necessary.
 765         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
 766         Check function_section rather than DECL_SECTION_NAME.
 767         (dwarf2out_finish): Use have_multiple_function_sections.
 768         Don't clear have_location_lists.
 769
 770 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
 771             Jan Hubicka  <jh@suse.cz>
 772
 773         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
 774         case of conditional jump jumping to the next instruction.
 775         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
 776         cases of conditional jump jumping to the next instruction.
 777
 778 2006-01-02  Jan Hubicka  <jh@suse.cz>
 779
 780         * i386.c (*_cost): Add COSTS_N_INSNS.
 781         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
 782
 783 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
 784
 785         PR target/25259
 786         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
 787
 788 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 789
 790         * config/arm/arm.c (all_fpus): Fix comment typo.
 791         * config/darwin.c: Likewise.
 792         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
 793         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
 794         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
 795
 796 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
 797
 798         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
 799         (rs6000_split_compare_and_swapqhi): New.
 800         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
 801         (sync_compare_and_swapqhi_internal): New.
 802         * config/rs6000/rs6000-protos.h: Declare.