gcc/ChangeLog

   1 2007-04-23  Nick Clifton  <nickc@redhat.com>
   2
   3         * params.def: Fix formatting of emacs local variables.
   4
   5 2007-04-23  H.J. Lu  <hongjiu.lu@intel.com>
   6
   7         * config/i386/sse.md (sse2_stored): Don't split to inter-unit
   8         move if inter-unit move isn't allowed.
   9         Don't split moving the first element of V2DI to DI to inter-unit
  10         move if inter-unit move isn't allowed.
  11
  12 2007-04-23  Richard Guenther  <rguenther@suse.de>
  13
  14         * tree-ssa-sink.c (execute_sink_code): Calculate CDI_DOMINATORS
  15         and CDI_POST_DOMINATORS separately.
  16
  17 2007-04-23  Nick Clifton  <nickc@redhat.com>
  18
  19         * c.opt (Wformat-contains-nul): Add warning attribute.
  20
  21 2007-04-23  Jan Hubicka  <jh@suse.cz>
  22
  23         * function.c (init_function_start): Don't init line number info.
  24         (expand_function_end): Update.
  25         (reset_block_changes, record_block_change, finalize_block_changes,
  26         check_block_change, free_block_changes): Kill.
  27         * function.h (reset_block_changes, record_block_change,
  28         finalize_block_changes, check_block_change, free_block_changes): Remove
  29         prototypes.
  30         (struct function): Remove ib_boundaries_block.
  31         * emit-rtl.c (make_insn_raw, make_jump_insn_raw, make_call_insn_raw):
  32         Use curr_insn_locator to initialize locator.
  33         (emit_line_note): Remove.
  34         * cfgexpand.c (expand_gimple_cond_expr): Update.
  35         (construct_exit_block): Likewise.
  36         (tree_expand_cfg): Initialize/finalize locators.
  37         * expr.c (expand_expr_real): Update.
  38         * cfglayout.c (line_locators_locs, line_locators_lines,
  39         file_locators_locs, file_locators_files): Remove.
  40         (set_block_levels): Move to cfgexpand.c.
  41         (insn_locators_initialize): Remove.
  42         (pass_insn_locators_initialize): Remove.
  43         (locations_locators_locs, locations_locators_vals): New static vars.
  44         (curr_location, last_location, curr_block, last_block, curr_rtl_loc):
  45         Likewise.
  46         (insn_locators_alloc, insn_locators_finalize,
  47         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
  48         New functions.
  49         (locator_location): New.
  50         (locator_line, locator_file): Rewrite.
  51         * rtl.h (emit_line_note): Kill.
  52         (insn_locators_alloc, insn_locators_finalize,
  53         set_curr_insn_source_location, set_curr_insn_block, curr_insn_locator):
  54         Declare.
  55         * tree-inline.c (initialize_cfun): Do not initialize
  56         ib_boundaries_block.
  57         * passes.c (pass_insn_locators_initialize): Remove.
  58
  59 2007-04-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
  60
  61         PR middle-end/31448
  62         * expr.c (reduce_to_bit_field_precision): Handle
  63         CONST_INT rtx's.
  64
  65 2007-04-22  Uros Bizjak  <ubizjak@gmail.com>
  66
  67         PR tree-optimization/24659
  68         * optabs.h (enum optab_index) [OTI_vec_unpacks_hi,
  69         OTI_vec_unpacks_lo]: Update comment to mention floating point operands.
  70         (vec_pack_trunc_optab): Rename from vec_pack_mod_optab.
  71         * genopinit.c (optabs): Rename vec_pack_mod_optab
  72         to vec_pack_trunc_optab.
  73         * tree-vect-transform.c (vectorizable_type_demotion): Do not fail
  74         early for scalar floating point operands for NOP_EXPR.
  75         (vectorizable_type_promotion): Ditto.
  76         * optabs.c (optab_for_tree_code) [VEC_PACK_TRUNC_EXPR]: Return
  77         vec_pack_trunc_optab.
  78         (expand_binop): Rename vec_float_trunc_optab to vec_pack_mod_optab.
  79
  80         * tree.def (VEC_PACK_TRUNC_EXPR): Rename from VEC_PACK_MOD_EXPR.
  81         * tree-pretty-print.c (dump_generic_node) [VEC_PACK_TRUNC_EXPR]:
  82         Rename from VEC_PACK_MOD_EXPR.
  83         (op_prio) [VEC_PACK_TRUNC_EXPR]: Ditto.
  84         * expr.c (expand_expr_real_1): Ditto.
  85         * tree-inline.c (estimate_num_insns_1): Ditto.
  86         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
  87
  88         * config/i386/sse.md (vec_unpacks_hi_v4sf): New expander.
  89         (vec_unpacks_lo_v4sf): Ditto.
  90         (vec_pack_trunc_v2df): Ditto.
  91         (vec_pack_trunc_v8hi): Rename from vec_pack_mod_v8hi.
  92         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
  93         (vec_pack_trunc_v2di): Rename from vec_pack_mod_v2di.
  94
  95         * config/rs6000/altivec.md (vec_pack_trunc_v8hi): Rename from
  96         vec_pack_mod_v8hi.
  97         (vec_pack_trunc_v4si): Rename from vec_pack_mod_v4si.
  98
  99         * doc/c-tree.texi (Expression trees) [VEC_PACK_TRUNC_EXPR]:
 100         Rename from VEC_PACK_MOD_EXPR.  This expression also represent
 101         packing of floating point operands.
 102         [VEC_UNPACK_HI_EXPR, VEC_UNPACK_LO_EXPR]: These expression also
 103         represent unpacking of floating point operands.
 104         * doc/md.texi (Standard Names) [vec_pack_trunc]: Update documentation.
 105         [vec_unpacks_hi]: Ditto.
 106         [vec_unpacks_lo]: Ditto.
 107
 108 2007-04-22  Jan Hubicka  <jh@suse.cz>
 109
 110         * final.c (rest_of_handle_final): Call
 111         targetm.asm_out.constructor/targetm.asm_out.destructor
 112         * cgraphunit.c (cgraph_build_static_cdtor): Don't do it here; set
 113         proper priority via decl_*_priority_insert.
 114         * c-common.c (c_expand_body): Likewise.
 115
 116 2007-04-22  Richard Guenther  <rguenther@suse.de>
 117
 118         PR tree-optimization/29789
 119         * tree-ssa-loop-im.c (stmt_cost): Adjust cost of shifts.
 120         (rewrite_reciprocal): New helper split out from
 121         determine_invariantness_stmt.
 122         (rewrite_bittest): Likewise.
 123         (determine_invariantness_stmt): Rewrite (A >> B) & 1 to
 124         A & (1 << B) if (1 << B) is loop invariant but (A >> B)
 125         is not.
 126
 127 2007-04-22  Revital Eres  <eres@il.ibm.com>
 128
 129         * loop-unroll.c (var_to_expand): New field to support also
 130         insns of the form x = something + x.
 131         (analyze_insn_to_expand_var): Use it.
 132         (expand_var_during_unrolling): Likewise.
 133
 134 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
 135
 136         * predict.c: Include pointer-set.h.
 137         (bb_predictions): New variable.
 138         (tree_predicted_by_p, tree_predict_edge,
 139         remove_predictions_associated_with_edge): Use bb_predictions map
 140         instead of bb->predictions.
 141         (clear_bb_predictions, assert_is_empty): New functions.
 142         (combine_predictions_for_bb): Use bb_predictions map.  Call
 143         clear_bb_predictions.
 144         (tree_estimate_probability): Create and free bb_predictions map.
 145         * Makefile.in (predict.o): Add pointer-set.h dependency.
 146         * basic-block.h (struct basic_block_def): Remove predictions
 147         field.
 148         * cfgrtl.c (rtl_verify_flow_info_1): Do not check bb->predictions.
 149
 150 2007-04-21  Kaz Kojima  <kkojima@gcc.gnu.org>
 151
 152         PR target/31480
 153         * config/sh/sh.md (length): Check if prev_nonnote_insn (insn)
 154         is null.
 155
 156 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 157
 158         * timevar.c (timevar_print): Change reference of --disable-checking to
 159         --enable-checking=release.  Also warn if assert checking is disabled.
 160
 161 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 162
 163         PR C/30265
 164         * c-gimplifier.c (gimplify_compound_literal_expr): Mark the
 165         decl as addressable if the compound literal was marked as
 166         addressable.
 167         Mark the decl as a gimple register if it is a complex or
 168         vector decl and does not live in memory.
 169
 170 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 171
 172         * tree.h (GIMPLE_TUPLE_P): Also true for PHI_NODEs.
 173         (GENERIC_NEXT): New function macro.
 174         (PHI_CHAIN): Use phi_node's new chain variable.
 175         (tree_phi_node): Change tree_common to tree_base
 176         and add the chain field.
 177         * tree-phinodes.c (make_phi_node): Don't set
 178         TREE_TYPE on the new node.
 179         * c-decl.c (lang_tree_node): Use GENERIC_NEXT
 180         instead of checking GIMPLE_TUPLE_P in chain_next.
 181         * tree-vect-transform.c
 182         (get_initial_def_for_induction): Look at
 183         PHI_RESULT_TREE for the type of the phi node.
 184         (update_vuses_to_preheader): Use PHI_CHAIN
 185         instead of TREE_CHAIN on the phi node.
 186         * tree-ssa-structalias.c (compute_points_to_sets):
 187         Likewise.
 188         (ipa_pta_execute): Likewise.
 189
 190 2007-04-21  Richard Guenther  <rguenther@suse.de>
 191
 192         PR middle-end/31136
 193         * fold-const.c (fold_unary): Call fold_convert_const on the
 194         original tree.
 195
 196 2007-04-21  Alexandre Oliva  <aoliva@redhat.com>
 197
 198         * gcse.c (store_killed_in_insn): Handle PARALLELs.
 199         (store_killed_in_pat): New.
 200
 201 2007-04-20  Richard Henderson  <rth@redhat.com>
 202
 203         PR target/31628
 204         * config/i386/i386.c (type_has_variadic_args_p): Look for any
 205         TREE_LIST with a void_type_node value, not void_list_node exactly.
 206
 207 2007-04-21  Douglas Gregor  <doug.gregor@gmail.com>
 208
 209         * doc/standards.texi: Re-arrange into language-specific
 210         subsections. Add a C++ section, documenting which standards we
 211         support.
 212
 213 2007-04-21  Zdenek Dvorak  <dvorakz@suse.cz>
 214
 215         * tree-ssa-structalias.c (delete_points_to_sets): Free graph->complex.
 216         * tree-ssa-operands.c (finalize_ssa_vuse_ops): Free new_ops.
 217
 218 2007-04-20  Daniel Jacobowitz  <dan@codesourcery.com>
 219
 220         * config/rs6000/sysv4.h (STARTFILE_DEFAULT_SPEC): Include
 221         ecrti.o and crtbegin.o.
 222         (LIB_DEFAULT_SPEC): Include -lc.
 223         (ENDFILE_DEFAULT_SPEC): Include crtend.o and ecrtn.o.
 224
 225 2007-04-20  Richard Henderson  <rth@redhat.com>
 226
 227         PR target/28623
 228         * config/alpha/alpha.c (get_unaligned_address): Remove extra_offset
 229         argument; update all callers.
 230         (get_unaligned_offset): New.
 231         * config/alpha/alpha.md (extendqidi2, extendhidi2): Don't use
 232         get_unaligned_address, just pass on the address directly.
 233         (unaligned_extendqidi): Use gen_lowpart instead of open-coding
 234         the subreg in the helper patterns.
 235         (unaligned_extendqidi_le): Use get_unaligned_offset.
 236         (unaligned_extendqidi_be, unaligned_extendhidi_le): Likewise.
 237         (unaligned_extendhidi_be): Likewise.
 238         (unaligned_extendhidi): Tidy.
 239         * config/alpha/alpha-protos.h: Update.
 240
 241 2007-04-20  Richard Henderson  <rth@redhat.com>
 242
 243         * config/alpha/alpha.h (CPP_SPEC, CPP_SUBTARGET_SPEC): Remove.
 244         (EXTRA_SPECS, SUBTARGET_EXTRA_SPECS): Remove.
 245         * config/alpha/linux.h (CPP_SPEC): Undef before redefine.
 246         * config/alpha/linux-elf.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
 247         * config/alpha/freebsd.h (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
 248         (CPP_SPEC): Don't include %(cpp_subtarget).
 249         * config/alpha/netbsd.h (CPP_SPEC): Rename CPP_SUBTARGET_SPEC.
 250         (EXTRA_SPECS): Rename SUBTARGET_EXTRA_SPECS.
 251         * config/alpha/osf.h (CPP_SPEC, EXTRA_SPECS): Similarly.
 252
 253 2007-04-20  Jakub Jelinek  <jakub@redhat.com>
 254
 255         * config/i386/i386.c (bdesc_2arg): Use ORDERED rather than UNORDERED
 256         for __builtin_ia32_cmpordss.
 257
 258         PR tree-optimization/31632
 259         * fold-const.c (fold_binary): Use op0 and op1 instead of arg0
 260         and arg1 for optimizations of comparison against min/max values.
 261         Fold arg0 to arg1's type for optimizations of comparison against
 262         min+1 and max-1 values.
 263
 264 2007-04-19  Bernd Schmidt  <bernd.schmidt@analog.com>
 265
 266         * reload.c (combine_reloads): When trying to use a dying register,
 267         check whether it's uninitialized and don't use if so.
 268
 269 2007-04-19  Brooks Moses  <brooks.moses@codesourcery.com>
 270
 271         * fold-const.c: Remove prototypes for native_encode_expr and
 272         native_interpret_expr.
 273         (native_encode_expr): Make non-static.
 274         (native_interpret_expr): Likewise.
 275         * tree.h: Add prototypes for the above.
 276
 277 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
 278
 279         * config/rs6000/spe.md (*frob_tf_ti, *frob_ti_tf, *frob_ti_tf_2,
 280         *mov_si<mode>_e500_subreg0, *mov_si<mode>_e500_subreg0_2,
 281         *mov_sitf_e500_subreg8, *mov_sitf_e500_subreg8_2, spe_extenddftf2,
 282         spe_fix_trunctfsi2_internal, spe_negtf2_internal, cmptfeq_gpr,
 283         tsttfeq_gpr, cmptfgt_gpr, tsttfgt_gpr, cmptflt_gpr, tsttflt_gpr):
 284         Add length attributes.
 285
 286 2007-04-19  Janis Johnson  <janis187@us.ibm.com>
 287
 288         * ginclude/float.h: Check that __STDC_WANT_DEC_FP__ is defined,
 289         not that it is 1.
 290
 291         * c-cppbuiltin.c (c_cpp_builtins): Remove definition of
 292         __STDC_WANT_DEC_FP__.
 293
 294 2007-04-19  Joseph Myers  <joseph@codesourcery.com>
 295
 296         * configure.ac: Allow both powerpc*-*-linux* and powerpc*-*-gnu*
 297         for long double compatibility.
 298         * configure: Regenerate.
 299
 300 2007-04-19  Eric Botcazou  <ebotcazou@libertysurf.fr>
 301
 302         PR rtl-optimization/29841
 303         * cfgbuild.c (control_flow_insn_p): Return TRUE for unconditional
 304         trap instructions.
 305         * sched-deps.c (sched_analyze_insn): Prevent all non-jump instructions
 306         that may cause control flow transfer from being moved.
 307
 308 2007-04-18  Jan Hubicka  <jh@suse.cz>
 309
 310         * fold-const.c (div_if_zero_remainder): Do signed divide for pointer
 311         types.
 312
 313 2007-04-18  Eric Christopher  <echristo@apple.com>
 314
 315         * config/rs6000/darwin.md (load_macho_picbase): Use link register
 316         only. Update operands.
 317         * config/rs6000/rs6000.c (rs6000_emit_prologue): Update caller.
 318         * config/rs6000/rs6000.md (builtin_setjmp_receiver): Ditto. Move from
 319         link register to pic register.
 320
 321 2007-04-18  Dirk Mueller  <dmueller@suse.de>
 322
 323         PR diagnostic/31227
 324         * tree-vrp.c (search_for_addr_array): New.
 325         (check_array_bounds): Suppress warning about
 326         address taken of array refs if its not de-referenced.
 327
 328 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
 329
 330         * tree-vectorizer.c (destroy_loop_vec_info): Set loop->aux to NULL.
 331         * tree-vect-analyze.c (vect_analyze_loop_form): Set loop->aux.
 332
 333         * tree-vectorizer.h (NITERS_KNOWN_P): New.
 334         * tree-vect-analyze.c (vect_analyze_loop_form): Call NITERS_KNOWN_P
 335         instead of LOOP_VINFO_INT_NITERS to avoid having to geneate loop_info.
 336
 337         * tree-vect-analyze.c (vect_determine_vectorization_factor): Add
 338         dump print.
 339         (vect_analyze_operations): Fix indenetation.  Fix a comment.  Fix a
 340         print message.
 341         (vect_analyze_scalar_cycles): Fix indentation.
 342         (vect_enhance_data_refs_alignment): Fix check in case of peeling.
 343         (vect_mark_relevant): Include phis in relevance analysis.
 344
 345         * tree-vect-transform.c (vect_transform_loop): Add an assert.
 346
 347 2007-04-18  Anatoly Sokolov <aesok@post.ru>
 348
 349         * config/avr/avr.c (ptrreg_to_str): Replace error() with
 350         output_operand_lossage().
 351
 352 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
 353
 354         * tree-vect-transform.c (get_initial_def_for_reduction): Clean away
 355         the unused code for reduction without adjust-in-epilog to simplify the
 356         function.
 357
 358 2007-04-18  Wolfgang Gellerich  <gellerich@de.ibm.com>
 359
 360         * config/s390/s390.h (S390_TDC_POSITIVE_ZERO): New constant.
 361         (S390_TDC_NEGATIVE_ZERO): New constant.
 362         (S390_TDC_POSITIVE_NORMALIZED_NUMBER): New constant.
 363         (S390_TDC_NEGATIVE_NORMALIZED_NUMBER): New constant.
 364         (S390_TDC_POSITIVE_DENORMALIZED_NUMBER): New constant.
 365         (S390_TDC_NEGATIVE_DENORMALIZED_NUMBER): New constant.
 366         (S390_TDC_POSITIVE_INFINITY): New constant.
 367         (S390_TDC_NEGATIVE_INFINITY): New constant.
 368         (S390_TDC_POSITIVE_QUIET_NAN): New constant.
 369         (S390_TDC_NEGATIVE_QUIET_NAN): New constant.
 370         (S390_TDC_POSITIVE_SIGNALING_NAN): New constant.
 371         (S390_TDC_NEGATIVE_SIGNALING_NAN): New constant.
 372         (S390_TDC_INFINITY): New constant.
 373         * config/s390/s390.c (s390_canonicalize_comparison): Renamed
 374         UNSPEC_CMPINT to UNSPEC_CCU_TO_INT, added a UNSPEC_CCU_TO_INT-like
 375         optimization for UNSPEC_CCZ_TO_INT.
 376         * config/s390/s390.md ("*TDC_insn_<mode>"): New insn.
 377         ("*ccz_to_int"): New insn.
 378         ("isinf<mode>2"): New insn.
 379         (UNSPEC_CMPINT): Renamed to UNSPEC_CCU_TO_INT.
 380         (UNSPEC_CCU_TO_INT): New constant, replaces UNSPEC_CMPINT.
 381         (UNSPEC_CCZ_TO_INT): New constant.
 382
 383 2007-04-18  Richard Guenther  <rguenther@suse.de>
 384
 385         PR tree-optimization/19431
 386         PR tree-optimization/21463
 387         * tree-pass.h (pass_phiprop): Declare.
 388         * passes.c (init_optimization_passes): New phiprop pass.
 389         * tree-ssa-forwprop.c (struct phiprop_d): New structure.
 390         (phivn_valid_p): New helper function.
 391         (phiprop_insert_phi): Likewise.
 392         (propagate_with_phi): Likewise.
 393         (tree_ssa_phiprop): New propagator propagating loads
 394         through phi nodes if profitable.
 395
 396 2007-04-18  Dorit Nuzman  <dorit@il.ibm.com>
 397
 398         * tree-vect-analyze.c (process_use): New function.
 399         (vect_mark_stmts_to_be_vectorized): Factor out code to process_use.
 400         Check phis in all bbs.
 401         * tree-vectorizer.c (vect_is_simple_use): Remove a no longer relavant
 402         assert.
 403
 404 2007-04-18  Bernd Schmidt  <bernd.schmidt@analog.com>
 405
 406         * reload1.c (eliminte_regs_in_insn): Use REG_EQUIV notes the same way
 407         we use REG_EQUAL.
 408
 409 2007-04-17  Anatoly Sokolov <aesok@post.ru>
 410
 411         PR target/30483
 412         * config/avr/avr.c (ptrreg_to_str): Replace gcc_unreachable() with
 413         error().
 414
 415 2007-04-17  H.J. Lu  <hongjiu.lu@intel.com>
 416
 417         * config/i386/sse.md (sse_vmaddv4sf3): Use register_operand
 418         on "0".
 419         (sse_vmmulv4sf3): Likewise.
 420         (sse2_vmaddv2df3): Likewise.
 421         (sse2_vmmulv2df3): Likewise.
 422
 423 2007-04-17  Zdenek Dvorak  <dvorakz@suse.cz>
 424
 425         PR rtl-optimization/31360
 426         * cfgloopanal.c (target_small_cost, target_pres_cost): Removed.
 427         (target_reg_cost): New.
 428         (init_set_costs): Initialize target_reg_cost.  Add comments
 429         regarding the rationale of the costs.
 430         (global_cost_for_size): Renamed to...
 431         (estimate_reg_pressure_cost): ... and simplify.  Decrease importance
 432         of register pressure.
 433         * tree-ssa-loop-ivopts.c (ivopts_global_cost_for_size): Use
 434         estimate_reg_pressure_cost.  Add number of ivs.
 435         (determine_set_costs): Dump target_reg_cost.
 436         * loop-invariant.c (gain_for_invariant):  Use
 437         estimate_reg_pressure_cost.  Removed n_inv_uses argument.
 438         (best_gain_for_invariant, find_invariants_to_move): Remove
 439         n_inv_uses.
 440         * cfgloop.h (target_small_cost, target_pres_cost): Removed.
 441         (target_reg_cost): Declare.
 442         (global_cost_for_size): Declaration removed.
 443         (estimate_reg_pressure_cost): Declare.
 444
 445 2007-04-17  Peter Bergner  <bergner@vnet.ibm.com>
 446
 447         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Force TDmode
 448         regnos into even/odd register pairs.
 449         * config/rs6000/rs6000.h [SLOW_UNALIGNED_ACCESS]: Treat DDmode and
 450         TDmode similar to the other floating point modes.
 451         [SECONDARY_MEMORY_NEEDED]: Treat DDmode similar to DFmode.
 452         * config/rs6000/dfp.md (negdd2, absdd2, negtd2, abstd2): New
 453         define_expand's.
 454         (negdd2_fpr, absdd2_fpr, nabsdd2_fpr, negtd2_fpr, abstd2_fpr,
 455         nabstd2_fpr, movdd_hardfloat64_mfpgpr): New define_insn's.
 456         (movdd_hardfloat64): Use TARGET_MFPGPR.
 457
 458 2007-04-17  Bernd Schmidt  <bernd.schmidt@analog.com>
 459
 460         * reload1.c (delete_output_reload): Don't count output in n_inherited.
 461
 462         Revert
 463         2005-01-05  Richard Henderson  <rth@redhat.com>
 464         PR rtl-opt/10692
 465         * reload1.c (do_input_reload): Restrict the optimization deleteing
 466         a previous output reload to RELOAD_FOR_INPUT.
 467
 468 2007-04-17  Dorit Nuzman  <dorit@il.ibm.com>
 469
 470         * tree-vectorizer.h (stmt_vec_info_type): Add enum value
 471         induc_vec_info_type.
 472         (vectorizable_induction): New function declaration.
 473         * tree-vect-transform.c (get_initial_def_for_induction): No need to
 474         check if already vectorized.  Find first place in BB where new stmts
 475         can be inserted.  Takes only one argument.
 476         (vectorizable_induction): New function.
 477         (vect_transform_stmt): Add case for induc_vec_info_type to call
 478         vectorizable_induction.
 479         (vect_transform_loop): Consider phis for vectorization.
 480         * tree-vect-analyze.c (vect_determine_vectorization_factor): Simplify
 481         condition.
 482         (analyze_operations): Call vectorizable_induction when analyzing phis.
 483         Fix comment.
 484         (vect_mark_stmts_to_be_vectorized): Remove redundant checks.
 485         (vect_mark_relevant): Include phis in relevance analysis.
 486         (vect_mark_stmts_to_be_vectorize): Likewise.
 487         * tree-vect-patterns.c (widened_name_p): Remove obsolete asserts.
 488
 489 2007-04-16  Lawrence Crowl  <crowl@google.com>
 490
 491         * doc/invoke.texi (Debugging Options): Add documentation for the
 492         -femit-struct-debug options -femit-struct-debug-baseonly,
 493         -femit-struct-debug-reduced, and
 494         -femit-struct-debug-detailed[=...].
 495
 496         * c-opts.c (c_common_handle_option): Add
 497         OPT_femit_struct_debug_baseonly, OPT_femit_struct_debug_reduced,
 498         and OPT_femit_struct_debug_detailed_.
 499         * c.opt: Add specifications for
 500         -femit-struct-debug-baseonly, -femit-struct-debug-reduced,
 501         and -femit-struct-debug-detailed[=...].
 502         * opts.c (set_struct_debug_option): Parse the
 503         -femit-struct-debug-... options.
 504         * opts.c (matches_main_base, main_input_basename,
 505         main_input_baselength, base_of_path, matches_main_base): Add
 506         variables and functions to compare header base name to compilation
 507         unit base name.
 508         * opts.c (should_emit_struct_debug): Add to determine to emit a
 509         structure based on the option.
 510         (dump_struct_debug) Also disabled function to debug this
 511         function.
 512         * opts.c (handle_options): Save the base name of the
 513         compilation unit.
 514
 515         * langhooks-def.h (LANG_HOOKS_GENERIC_TYPE_P): Define.
 516         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add.
 517         This hook indicates if a type is generic.  Set it by default
 518         to "never generic".
 519         * langhooks.h (struct lang_hooks_for_types): Add a new hook
 520         to determine if a struct type is generic or not.
 521         * cp/cp-tree.h (class_tmpl_impl_spec_p): Declare a C++ hook.
 522         * cp/tree.c (class_tmpl_impl_spec_p): Implement the C++ hook.
 523         * cp/cp-lang.c (LANG_HOOKS_GENERIC_TYPE_P): Override null C hook
 524         with live C++ hook.
 525
 526         * flags.h (enum debug_info_usage): Add an enumeration to describe
 527         a program's use of a structure type.
 528         * dwarf2out.c (gen_struct_or_union_type_die): Add a new parameter
 529         to indicate the program's usage of the type.  Filter structs based
 530         on the -femit-struct-debug-... specification.
 531         (gen_type_die): Split into two routines, gen_type_die and
 532         gen_type_die_with_usage.  gen_type_die is now a wrapper
 533         that assumes direct usage.
 534         (gen_type_die_with_usage): Replace calls to gen_type_die
 535         with gen_type_die_with_usage adding the program usage of
 536         the referenced type.
 537         (dwarf2out_imported_module_or_decl): Suppress struct debug
 538         information using should_emit_struct_debug when appropriate.
 539
 540 2007-04-16  Ian Lance Taylor  <iant@google.com>
 541
 542         PR tree-optimization/31522
 543         * tree-vrp.c (vr_phi_edge_counts): New static variable.
 544         (vrp_initialize): Allocate vr_phi_edge_counts.
 545         (vrp_visit_phi_node): Don't push to infinity if we saw a new
 546         executable edge.  Drop test for all constants.
 547         (vrp_finalize): Free vrp_phi_edge_counts.
 548
 549         * doc/cpp.texi (Common Predefined Macros): Clarify description of
 550         __GNUC_GNU_INLINE__ and __GNUC_STDC_INLINE__.
 551
 552         * tree-ssa-propagate.c (cfg_blocks_add): Insert blocks with fewer
 553         predecessors at head rather than tail.
 554
 555 2007-04-16  Matthias Klose  <doko@debian.org>
 556
 557         * config/alpha/linux.h (CPP_SPEC): Define.
 558         * config/arm/linux-gas.h (SUBTARGET_CPP_SPEC): Extend.
 559
 560 2007-04-16  Aldy Hernandez  <aldyh@redhat.com>
 561
 562         * function.h: Remove sequence_stack extern declaration.
 563
 564 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
 565
 566         * config/m68k/m68k.h (LONG_DOUBLE_TYPE_SIZE): Change to 64 on
 567         TARGET_FIDOA.
 568         (LIBGCC2_LONG_DOUBLE_TYPE_SIZE): Change to 64 if __mfido__ is
 569         defined.
 570
 571 2007-04-16  Anatoly Sokolov <aesok@post.ru>
 572
 573         * config/avr/avr.c (avr_arch_types): Rearranging  array.
 574         (enum avr_arch): Add.
 575         (avr_mcu_types): Use avr_arch enumeration constants instead of
 576         numbers.
 577         * config/avr/avr.h (LINK_SPEC): Simplify.
 578
 579 2007-04-16  Kazu Hirata  <kazu@codesourcery.com>
 580
 581         * config/m68k/m68k.c (m68k_libcall_value,
 582         m68k_function_value): Use macros for register names more.
 583
 584         * config/m68k/m68k.h (FRAME_POINTER_REGNUM): Use A6_REG
 585         instead.
 586         (M68K_REGNAME): Use A6_REG.
 587         * config/m68k/m68k.md (FP_REG): Rename to A6_REG.
 588
 589 2007-04-16  Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
 590
 591         PR middle-end/28071
 592         * sched-int.h (struct deps): Split field 'pending_lists_length' into
 593         'pending_read_list_length' and 'pending_write_list_length'.  Update
 594         comment.
 595         * sched-deps.c (add_insn_mem_dependence): Change signature.  Update
 596         to handle two length counters instead of one.  Update all uses.
 597         (flush_pending_lists, sched_analyze_1, init_deps): Update to handle
 598         two length counters instead of one.
 599         * sched-rgn.c (propagate_deps): Update to handle two length counters
 600         instead of one.
 601
 602 2007-04-16  H.J. Lu  <hongjiu.lu@intel.com>
 603
 604         PR target/31582
 605         * config/i386/i386.c (ix86_expand_vec_set_builtin): Make a
 606         copy of source, pass it to ix86_expand_vector_set and return
 607         it as target.
 608
 609 2007-04-16  David Ung  <davidu@mips.com>
 610             Joseph Myers  <joseph@codesourcery.com>
 611
 612         * config/mips/mips.h (PROCESSOR_74KC, PROCESSOR_74KF,
 613         PROCESSOR_74KX, TUNE_74K, GENERATE_MADD_MSUB): Define.
 614         * config/mips/mips.c (mips_cpu_info_table, mips_rtx_cost_data):
 615         Add 74K processor information.
 616         * config/mips/mips.md: Include 74k.md.
 617         (cpu): Add 74kc,74kf,74kx.
 618         (ISA_HAS_MADD_MSUB): Change to GENERATE_MADD_MSUB throughout.
 619         * config/mips/74k.md: New.
 620         * doc/invoke.texi (MIPS Options): Document 74K support.
 621
 622 2007-04-16  Dorit Nuzman  <dorit@il.ibm.com>
 623
 624         * tree-vect-analyze.c (vect_analyze_operations): Reorganize calls to
 625         vectorizable_* functions.
 626         * tree-vect-transform.c (vectorizable_call): Add check for
 627         STMT_VINFO_RELEVANT_P, STMT_VINFO_DEF_TYPE and STMT_VINFO_LIVE_P.
 628         (vectorizable_store): likewise.
 629         (vectorizable_conversion): Add check for STMT_VINFO_DEF_TYPE.
 630         Add comments.
 631         (vectorizable_operation, vectorizable_type_demotion): Likewise.
 632         (vectorizable_type_promotion, vectorizable_load): Likewise.
 633         (vectorizable_live_operation, vectorizable_condition): Likewise.
 634         (vectorizable_assignment): Add check for STMT_VINFO_DEF_TYPE and
 635         STMT_VINFO_LIVE_P.
 636         (vect_transform_stmt): Reorganize calls to vectorizable_* functions.
 637
 638 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
 639
 640         * config/m68k/linux.h (FUNCTION_VALUE_REGNO_P): Use macros for
 641         register numbers more.
 642         * config/m68k/m68k.h (STACK_POINTER_REGNUM,
 643         FRAME_POINTER_REGNUM, STATIC_CHAIN_REGNUM,
 644         M68K_STRUCT_VALUE_REGNUM, FUNCTION_VALUE, LIBCALL_VALUE,
 645         FUNCTION_VALUE_REGNO_P): Likewise.
 646         * config/m68k/m68kelf.h (M68K_STRUCT_VALUE_REGNUM,
 647         STATIC_CHAIN_REGNUM): Likewise.
 648         * config/m68k/m68kemb.h (FUNCTION_VALUE_REGNO_P): Likewise.
 649         * config/m68k/netbsd-elf.h (M68K_STRUCT_VALUE_REGNUM,
 650         STATIC_CHAIN_REGNUM, FUNCTION_VALUE_REGNO_P): Likewise.
 651         * config/m68k/m68k.md (FP_REG): New.
 652
 653 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
 654
 655         * config/m68k/m68k.h (PREFERRED_STACK_BOUNDARY): Prefer 32-bit
 656         alignment on fido.
 657
 658 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
 659
 660         * config/i386/i386.c, config/s390/s390.c, config/s390/s390.md,
 661         tree-ssa-loop-niter.c, tree-ssa-structalias.c, tree-vrp.c: Fix
 662         comment typos.
 663
 664 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
 665
 666         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Ignore
 667         cold loops.
 668
 669 2007-04-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 670
 671         PR c/31520
 672         * c-decl.c (finish_decl): Grab the type of the decl after the call
 673         to store_init_value.
 674
 675 2007-04-14  Steven Bosscher  <steven@gcc.gnu.org>
 676
 677         * common.opt (fforward-propagate): Fix "Optimization" annotation.
 678
 679 2007-04-14  Jakub Jelinek  <jakub@redhat.com>
 680
 681         PR c++/25874
 682         * omp-low.c (expand_omp_parallel): If child_cfun->cfg, free dominators,
 683         post dominators and cleanup cfg before returning.
 684
 685 2007-04-14  Bernd Schmidt  <bernd.schmidt@analog.com>
 686
 687         * config/bfin/bfin.h (MODES_TIEABLE_P): Allow more modes to be tied.
 688         * config/bfin/bfin.md (movsi_insn): Delete two unused alternatives.
 689
 690 2007-04-14  Kazu Hirata  <kazu@codesourcery.com>
 691
 692         * config.gcc: Recognize fido.
 693         * config/m68k/m68k-devices.def (fidoa): New.
 694         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define
 695         __mfido__.
 696         (FL_FIDOA, TARGET_FIDOA): New.
 697         * config/m68k/m68k.opt (mfidoa): New.
 698
 699 2007-04-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 700
 701         PR middle-end/31322
 702         * dwarf2out.c (output_call_frame_info): Call assemble_external_libcall
 703         when a personality function is used.
 704
 705 2007-04-13  Bob Wilson  <bob.wilson@acm.org>
 706
 707         * config/xtensa/xtensa.c (xtensa_expand_builtin): Use CALL_EXPR_FN.
 708
 709 2007-04-13  Mike Stump  <mrs@apple.com>
 710
 711         * config/darwin-c.c (handle_c_option): Handle -fapple-kext here so
 712         we can...
 713         * config/darwin.opt (fapple-kext): Make C++ only.
 714         * config/darwin.c (darwin_override_options): Remove code to ensure
 715         -fapple-kext is given for C++ only.
 716
 717 2007-04-13  Richard Sandiford  <richard@codesourcery.com>
 718
 719         * config/mips/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Define.
 720         * config/mips/mips.c (override_options): Call
 721         SUBTARGET_OVERRIDE_OPTIONS, if defined.
 722
 723 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
 724
 725         * config/i386/i386.opt (msvr3-shlib): Removed.
 726
 727         * doc/invoke.texi: Remove -msvr3-shlib.
 728
 729 2007-04-13  H.J. Lu  <hongjiu.lu@intel.com>
 730
 731         * config/i386/i386.opt (mpopcnt): Replace "popcount" instruction
 732         with "popcnt" instruction.
 733
 734 2007-04-13  Richard Guenther  <rguenther@suse.de>
 735
 736         PR tree-optimization/21258
 737         * tree-vrp.c (compare_case_labels): New helper.
 738         (find_switch_asserts): New function.
 739         (find_assert_locations): Call it for SWITCH_EXPRs.
 740
 741 2007-04-13  Uros Bizjak  <ubizjak@gmail.com>
 742
 743         * config/i386/i386.h (X87_FLOAT_MODE_P): Check for TARGET_80387.
 744         * config/i386/i386.md (*cmpfp0): Remove check for TARGET_80387, this
 745         check is now implied in X87_FLOAT_MODE_P.
 746         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
 747         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
 748         (fix_trunc<mode>_i386_fisttp): Ditto.
 749         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
 750         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
 751         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
 752         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
 753         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
 754         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
 755         (unnamed_splitters): Ditto.
 756         * config/i386/i386.c (function_value_32): Generate FIRST_FLOAT_REG
 757         for X87_FLOAT_MODE_P mode.  Override FIRST_FLOAT_REG with
 758         FIRST_SSE_REG for local functions when SSE math is enabled or
 759         for functions with sseregparm attribute.
 760         (standard_80387_constant_p): Return -1 if mode is not
 761         X87_FLOAT_MODE_P.
 762         (ix86_cc_mode): Assert that scalar mode is not DECIMAL_FLOAT_MODE_P.
 763         (ix86_expand_compare): Ditto.
 764         (ix86_expand_carry_flag_compare): Ditto.
 765         (ix86_expand_int_movcc): Check for SCALAR_FLOAT_MODE_P instead
 766         of FLOAT_MODE_P for cmp_mode and assert that cmp_mode is not
 767         DECIMAL_FLOAT_MODE_P.
 768         (ix86_preferred_output_reload_class): Use X87_FLOAT_MODE_P instead
 769         of SCALAR_FLOAT_MODE_P.
 770         (ix86_rtx_costs) [PLUS] Remove FLOAT_MODE_P and fall through to ...
 771         [MINUS]: ... here.  Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P
 772         checks before FLOAT_MODE_P.
 773         [MULT]: Add SSE_FLOAT_MODE_P and X87_FLOAT_MODE_P checks
 774         before FLOAT_MODE_P.
 775         [DIV]: Ditto.
 776         [NEG]: Ditto.
 777         [ABS]: Ditto.
 778         [SQRT]: Ditto.
 779         [FLOAT_EXTEND]: Use SSE_FLOAT_MODE_P.
 780
 781 2007-04-12  Paolo Bonzini  <bonzini@gnu.org>
 782             Charles Wilson  <libtool@cwilson.fastmail.fm>
 783
 784         * Makefile.in (stamp-as, stamp-collect-ld, stamp-nm): Remove.
 785         (libgcc.mvars): Don't depend on them.
 786         * configure.ac (as, collect-ld, nm): Create from exec-tool.in.
 787         * exec-tool.in: New.
 788
 789 2007-04-12  Brooks Moses  <brooks.moses@codesourcery.com>
 790
 791         * doc/invoke.text (--help): Document --help=common.
 792
 793 2007-04-12  Thomas Neumann  <tneumann@users.sourceforge.net>
 794
 795         * stub-objc.c (objc_build_keyword_decl): Avoid C++ keywords.
 796
 797 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
 798
 799         * Makefile.in (insn-emit.o): Depend on $(INTEGRATE_H).
 800         * genemit.c (main): Emit #include "integrate.h".
 801         * config/mips/mips-protos.h (SYMBOL_HALF): New mips_symbol_type.
 802         (LOADGP_RTP): New mips_loadgp_style.
 803         * config/mips/mips.h: Include config/vxworks-dummy.h.
 804         (TARGET_RTP_PIC): New macro.
 805         (TARGET_USE_GOT): Return true for TARGET_RTP_PIC.
 806         (TARGET_USE_PIC_FN_ADDR_REG): Return true for TARGET_VXWORKS_RTP.
 807         (ASM_OUTPUT_ADDR_DIFF_ELT): Emit function-relative case tables
 808         for TARGET_RTP_PIC.
 809         * config/mips/vxworks.h (SUBTARGET_ASM_SPEC): Define.  Pass down
 810         -mvxworks-pic when using -mrtp and a PIC option.
 811         * config/mips/mips.c (mips_classify_symbol): Return SYMBOL_GOT_DISP
 812         for RTP PIC.
 813         (mips_symbolic_constant_p, mips_symbolic_address_p)
 814         (mips_symbol_insns): Handle SYMBOL_HALF.
 815         (override_options): Warn about -G and -mrtp being used together.
 816         Initialize mips_lo_relocs[SYMBOL_HALF].
 817         (mips_current_loadgp_style): Return LOADGP_RTP for RTP PIC.
 818         (mips_emit_loadgp): Handle LOADGP_RTP.
 819         (mips_in_small_data_p): Return false for TARGET_VXWORKS_RTP.
 820         * config/mips/mips.md (loadgp_rtp): New insn and splitter.
 821         (tablejump): Handle function-relative case table entries if
 822         TARGET_RTP_PIC.
 823         * config/mips/predicates.md (symbol_ref_operand): New predicate.
 824
 825 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
 826
 827         * config/mips/mips.md (load_call<mode>): Allow any general register.
 828         destination.
 829         (sibcall_value_internal, sibcall_value_multiple_internal)
 830         (call_value_internal, call_value_split, call_value_multiple_internal)
 831         (call_value_multiple_split): Remove constraints from operand 0.
 832
 833 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
 834
 835         * config/mips/mips-protos.h: In comments, refer to loadgp_absolute
 836         rather than loadgp_noshared.
 837         * config/mips/mips.c (mips_emit_loadgp): Use gen_loadgp_absolute
 838         instead of gen_loadgp_noshared.  Use gen_loadgp_newabi instead of
 839         gen_loadgp.
 840         * config/mips/mips.md (loadgp): Rename to...
 841         (loadgp_newabi): ...this.
 842         (loadgp_noshared): Rename to...
 843         (loadgp_absolute): ...this.
 844
 845 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
 846
 847         * config/mips/mips.c (mips_ok_for_lazy_binding_p): Always return
 848         false for locally-binding symbols.
 849         (mips_dangerous_for_la25_p): Check mips_global_symbol_p.
 850
 851 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
 852
 853         * config/mips/mips-protos.h (SYMBOL_GOT_LOCAL): Rename to...
 854         (SYMBOL_GOT_PAGE_OFST): ...this.
 855         (SYMBOL_GOT_GLOBAL): Rename to...
 856         (SYMBOL_GOT_DISP): ...this.
 857         (SYMBOL_GOTOFF_GLOBAL): Rename to...
 858         (SYMBOL_GOTOFF_DISP): ...this.  Update comments accordingly.
 859         * config/mips/mips.c (mips_global_symbol_p): New function.
 860         (mips_symbol_binds_local_p): Likewise.
 861         (mips_classify_symbol): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP
 862         and SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST.  Use mips_global_symbol_p
 863         and mips_symbol_binds_local_p.
 864         (mips_symbolic_constant_p, mips_symbolic_address_p, mips_symbol_insns)
 865         (override_options): Rename SYMBOL_GOT_GLOBAL to SYMBOL_GOT_DISP,
 866         SYMBOL_GOT_LOCAL to SYMBOL_GOT_PAGE_OFST and SYMBOL_GOTOFF_GLOBAL to
 867         SYMBOL_GOTOFF_DISP.
 868         (mips_ok_for_lazy_binding_p): New function.
 869         (mips_load_call_address, mips_expand_call): Use it.
 870         (mips_dangerous_for_la25_p): Likewise.
 871         * config/mips/mips.md (*xgot_hi<mode>, *xgot_lo<mode>)
 872         (*got_disp<mode>): Use got_disp_operand instead of
 873         global_got_operand.  Use SYMBOL_GOTOFF_DISP instead of
 874         SYMBOL_GOTOFF_GLOBAL.
 875         (*got_page<mode>): Use got_page_ofst_operand instead of
 876         local_got_operand.
 877         * config/mips/predicates.md (const_call_insn_operand): Use
 878         SYMBOL_GOT_DISP instead of SYMBOL_GOT_GLOBAL.
 879         (global_got_operand): Rename to...
 880         (got_disp_operand): ...this and use SYMBOL_GOT_DISP instead of
 881         SYMBOL_GOT_GLOBAL.
 882         (local_got_operand): Rename to...
 883         (got_page_ofst_operand): ...this and use SYMBOL_GOT_PAGE_OFST instead
 884         of SYMBOL_GOT_LOCAL.
 885
 886 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
 887
 888         * config/mips/mips.h (TARGET_SPLIT_CALLS): Check
 889         TARGET_CALL_CLOBBERED_GP.
 890         (TARGET_SIBCALLS): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
 891         (TARGET_USE_GOT, TARGET_CALL_CLOBBERED_GP): New macros.
 892         (TARGET_CALL_SAVED_GP, TARGET_USE_PIC_FN_ADDR_REG): Likewise.
 893         (STARTING_FRAME_OFFSET): Check TARGET_CALL_CLOBBERED_GP instead
 894         of TARGET_ABICALLS && !TARGET_NEWABI.
 895         (MIPS_CALL): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
 896         * config/mips/mips.c (mips_load_call_address): Check
 897         TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
 898         (mips_global_pointer): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
 899         Check TARGET_CALL_SAVED_GP instead of TARGET_NEWABI.
 900         (mips_save_reg_p): Check TARGET_CALL_SAVED_GP instead of
 901         TARGET_ABICALLS && TARGET_NEWABI.
 902         (mips_current_loadgp_style): Check TARGET_USE_GOT instead of
 903         TARGET_ABICALLS.
 904         (mips_expand_prologue): Check TARGET_OLDABI instead of !TARGET_NEWABI.
 905         (mips_expand_epilogue): Check TARGET_CALL_SAVED_GP instead of
 906         TARGET_ABICALLS && TARGET_NEWABI.
 907         (mips_output_mi_thunk): Check TARGET_USE_GOT instead of
 908         TARGET_ABICALLS.  Check TARGET_CALL_SAVED_GP instead of
 909         TARGET_NEWABI.  Use TARGET_USE_PIC_FN_ADDR_REG to decide
 910         whether indirect calls must use $25.
 911         (mips_extra_live_on_entry): Check TARGET_GOT instead of
 912         TARGET_ABICALLS.
 913         * config/mips/mips.md (jal_macro): Check flag_pic and
 914         TARGET_CALL_CLOBBERED_GP instead of TARGET_ABICALLS and TARGET_NEWABI.
 915         (builtin_setjmp_setup, builtin_longjmp): Check TARGET_USE_GOT
 916         instead of TARGET_ABICALLS.
 917         (exception_receiver): Check TARGET_CALL_CLOBBERED_GP instead of
 918         TARGET_ABICALLS && TARGET_OLDABI.
 919         (load_call<mode>): Check TARGET_USE_GOT instead of TARGET_ABICALLS.
 920         (sibcall): In the comment above the define_insn, mention
 921         TARGET_USE_PIC_FN_ADDR_REG instead of TARGET_ABICALLS.
 922         * config/mips/constraints.md (c): Check TARGET_USE_PIC_FN_ADDR_REG
 923         instead of TARGET_ABICALLS.
 924
 925 2007-04-12  Bernd Schmidt  <bernd.schmidt@analog.com>
 926
 927         * doc/md.texi (Blackfin family constraints): Document PA and PB.
 928         * config/bfin/bfin.h (CONST_OK_FOR_P): Handle PA and PB.
 929         (MACFLAGS_MATCH_P): New macro.
 930         * config/bfin/bfin.c (print_operand): Handle MACFLAG_IS_M.
 931         (bfin_secondary_reload): Treat EVEN_AREGS and ODD_AREGS like AREGS.
 932         * config/bfin/bfin.md (MACFLAG_IS_M): New constant.  Renumber some of
 933         the other MACFLAG constants.
 934         (sum_of_accumulators, lshrpdi3, ashrpdi3): New patterns.
 935         (flag_machi): Tighten constraints.  Renumber some of the operands.
 936         (flag_machi_acconly): Tighten constraints.  Correct operand numbers in
 937         output template.
 938         (flag_machi_parts_acconly): New pattern.
 939         (flag_macinithi): Tighten constraints.  Allow any accumulator to be
 940         used.
 941         (flag_macinit1hi): Tighten constraints.
 942         (flag_mul_macv2hi_parts_acconly): New pattern.
 943
 944         * config/bfin/lib1funcs.asm (___umulsi3_highpart, __smulsi3_highpart):
 945         Use a more efficient implementation.
 946         * config/bfin/bfin.md (umulsi3_highpart, smulsi3_highpart): Emit
 947         inline sequences when not optimizing for size.
 948
 949         * config/bfin/bfin.md (movhi_low2high, movhi_high2high, movhi_low2low,
 950         movhi_high2low): Delete, merge functionality into...
 951         (packv2hi): ... this pattern.
 952
 953         2007-02-11  Jie Zhang  <jie.zhang@analog.com>
 954         * config/bfin/bfin.opt (msim): New option.
 955         (mcpu=): New option.
 956         * config/bfin/bfin-protos.h (enum bfin_cpu): New.
 957         (bfin_cpu_t): Typedef of enum bfin_cpu.
 958         (bfin_cpu_type): New declaration.
 959         * config/bfin/elf.h (STARTFILE_SPEC): Add support for
 960         -msim and -mcpu= options.
 961         (LIB_SPEC): Likewise.
 962         * config/bfin/bfin.c (bfin_cpu_type): Define.
 963         (bfin_handle_option): Handle -mcpu= option.
 964         * config/bfin/bfin.h (DEFAULT_CPU_TYPE): Define as BFIN_CPU_BF532.
 965         (TARGET_CPU_CPP_BUILTINS): Define __ADSPBF531__, __ADSPBF532__,
 966         __ADSPBF533__ or __ADSPBF537__ according to the cpu type.
 967
 968 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
 969
 970         * config.gcc (*-*-vxworks*): Don't add to tm_files in this stanza.
 971         (arm-wrs-vxworks, mips-wrs-vxworks, powerpc-wrs-vxworks)
 972         (powerpc-wrs-vxworksae): Use ${tm_file}.
 973         (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add svr4.h
 974         after elfos.h.  Remove i386/sysv4.h and add i386/vx-common.h.
 975         * config/i386/vx-common.h: New file.
 976
 977 2007-04-12  Richard Sandiford  <richard@codesourcery.com>
 978
 979         * config/vxworks.h (VXWORKS_STARTFILE_SPEC): Use -l:crt0.o instead
 980         of crt0.o%s.
 981
 982 2007-04-12  Andreas Krebbel  <krebbel1@de.ibm.com>
 983
 984         * config/s390/s390.md ("trunctddd2"): Use TDmode for the target of
 985         ldxtr.
 986
 987 2007-04-12  Douglas Gregor  <doug.gregor@gmail.com>
 988
 989         PR c++/31078
 990         PR c++/31103
 991         * c-common.c (c_build_qualified_type): Set canonical type
 992         appropriately.
 993
 994 2007-04-12  Richard Guenther  <rguenther@suse.de>
 995
 996         * tree-pretty-print.c (dump_generic_node): Print ARRAY_REF
 997         lower bound and element size if lower bound is not zero
 998         or either of the ARRAY_REF operands is set.
 999
1000 2007-04-12  Richard Guenther  <rguenther@suse.de>
1001
1002         PR tree-optimization/24689
1003         PR tree-optimization/31307
1004         * fold-const.c (operand_equal_p): Compare INTEGER_CST array
1005         indices by value.
1006         * gimplify.c (canonicalize_addr_expr): To be consistent with
1007         gimplify_compound_lval only set operands two and three of
1008         ARRAY_REFs if they are not gimple_min_invariant.  This makes
1009         it never at this place.
1010         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
1011
1012 2007-04-11  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1013
1014         * pa.c (pa_som_asm_init_sections): Ensure that cfun->machine is not
1015         null before emitting a .nsubspa directive.
1016
1017 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
1018
1019         * tree-ssa-alias.c (dump_mem_ref_stats): Do not call
1020         need_to_partition_p if there are no memory statements in the
1021         function.
1022
1023 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1024
1025         * tree-data-ref.c (chrec_steps_divide_constant_p): Removed.
1026         (gcd_of_steps_may_divide_p): New function.
1027         (analyze_miv_subscript): Use gcd_of_steps_may_divide_p.
1028
1029 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
1030
1031         * reload.c (find_reloads_toplev, find_reloads_address,
1032         find_reloads_address_1, find_reloads_subreg_address): Use rtx_equal_p,
1033         not a pointer equality test, to decide if we need to call
1034         push_reg_equiv_alt_mem.
1035
1036 2007-04-11  Sebastian Pop  <sebastian.pop@inria.fr>
1037
1038         * tree-data-ref.c (affine_function_zero_p, constant_access_functions,
1039         insert_innermost_unit_dist_vector, add_distance_for_zero_overlaps): New.
1040         (build_classic_dist_vector): Call add_distance_for_zero_overlaps.
1041
1042 2007-04-11  Zdenek Dvorak  <dvorakz@suse.cz>
1043
1044         * tree-data-ref.c (add_multivariate_self_dist): Force the distance
1045         vector to be positive.
1046
1047 2007-04-11  Diego Novillo  <dnovillo@redhat.com>
1048
1049         PR 30735
1050         PR 31090
1051         * doc/invoke.texi: Document --params max-aliased-vops and
1052         avg-aliased-vops.
1053         * tree-ssa-operands.h (get_mpt_for, dump_memory_partitions,
1054         debug_memory_partitions): Move to tree-flow.h
1055         * params.h (AVG_ALIASED_VOPS): Define.
1056         * tree-ssa-alias.c (struct mp_info_def): Remove.  Update all
1057         users.
1058         (mp_info_t): Likewise.
1059         (get_mem_sym_stats_for): New.
1060         (set_memory_partition): Move from tree-flow-inline.h.
1061         (mark_non_addressable): Only clear the set of symbols for the
1062         partition if it exists.
1063         (dump_memory_partitions): Move from tree-ssa-operands.c
1064         (debug_memory_partitions): Likewise.
1065         (need_to_partition_p): New.
1066         (dump_mem_ref_stats): New.
1067         (debug_mem_ref_stats): New.
1068         (dump_mem_sym_stats): New.
1069         (debug_mem_sym_stats): New.
1070         (update_mem_sym_stats_from_stmt): New.
1071         (compare_mp_info_entries): New.
1072         (mp_info_cmp): Call it.
1073         (sort_mp_info): Change argument to a list of mem_sym_stats_t
1074         objects.
1075         (get_mpt_for): Move from tree-ssa-operands.c.
1076         (find_partition_for): New.
1077         (create_partition_for): Remove.
1078         (estimate_vop_reduction): New.
1079         (update_reference_counts): New.
1080         (build_mp_info): New.
1081         (compute_memory_partitions): Refactor.
1082         Document new heuristic.
1083         Call build_mp_info, update_reference_counts,
1084         find_partition_for and estimate_vop_reduction.
1085         (compute_may_aliases): Populate virtual operands before
1086         calling debugging dumps.
1087         (delete_mem_sym_stats): New.
1088         (delete_mem_ref_stats): New.
1089         (init_mem_ref_stats): New.
1090         (init_alias_info): Call it.
1091         (maybe_create_global_var): Remove alias_info argument.
1092         Get number of call sites and number of pure/const call sites
1093         from gimple_mem_ref_stats().
1094         (dump_alias_info): Call dump_memory_partitions first.
1095         (dump_points_to_info_for): Show how many times a pointer has
1096         been dereferenced.
1097         * opts.c (decode_options): For -O2 set --param
1098         max-aliased-vops to 500.
1099         For -O3 set --param max-aliased-vops to 1000 and --param
1100         avg-aliased-vops to 3.
1101         * fortran/options.c (gfc_init_options): Remove assignment to
1102         MAX_ALIASED_VOPS.
1103         * tree-flow-inline.h (gimple_mem_ref_stats): New.
1104         * tree-dfa.c (dump_variable): Dump memory reference
1105         statistics.
1106         Dump NO_ALIAS* settings.
1107         (referenced_var_lookup): Tidy.
1108         (mem_sym_stats): New.
1109         * tree-ssa-copy.c (may_propagate_copy): Return true if DEST
1110         and ORIG are different SSA names for a memory partition.
1111         * tree-ssa.c (delete_tree_ssa): Call delete_mem_ref_stats.
1112         * tree-flow.h (struct mem_sym_stats_d): Define.
1113         (mem_sym_stats_t): Define.
1114         (struct mem_ref_stats_d): Define.
1115         (struct gimple_df): Add field mem_ref_stats.
1116         (enum noalias_state): Define.
1117         (struct var_ann_d): Add bitfield noalias_state.
1118         (mem_sym_stats, delete_mem_ref_stats, dump_mem_ref_stats,
1119         debug_mem_ref_stats, debug_memory_partitions,
1120         debug_mem_sym_stats): Declare.
1121         * tree-ssa-structalias.c (update_alias_info): Update call
1122         sites, pure/const call sites and asm sites in structure
1123         returned by gimple_mem_ref_stats.
1124         Remove local variable IS_POTENTIAL_DEREF.
1125         Increase NUM_DEREFS if the memory expression is a potential
1126         dereference.
1127         Call update_mem_sym_stats_from_stmt.
1128         If the memory references memory, call
1129         update_mem_sym_stats_from_stmt for all the direct memory
1130         symbol references found.
1131         (intra_create_variable_infos): Set noalias_state field for
1132         pointer arguments according to the value of
1133         flag_argument_noalias.
1134         * tree-ssa-structalias.h (struct alias_info): Remove fields
1135         num_calls_found and num_pure_const_calls_found.
1136         (update_mem_sym_stats_from_stmt): Declare.
1137         * params.def (PARAM_MAX_ALIASED_VOPS): Change description.
1138         Set default value to 100.
1139         (PARAM_AVG_ALIASED_VOPS): Define.
1140
1141 2007-04-11  Richard Guenther  <rguenther@suse.de>
1142
1143         PR middle-end/31530
1144         * simplify-rtx.c (simplify_binary_operation_1): Do not simplify
1145         a * -b + c as c - a * b if we honor sign dependent rounding.
1146
1147 2007-04-11  Bernd Schmidt  <bernd.schmidt@analog.com>
1148
1149         * config/bfin/bfin-protos.h (bfin_expand_movmem): Renamed from
1150         bfin_expand_strmov.
1151         * config/bfin/bfin.c (bfin_expand_prologue, bfin_delegitimize_address,
1152         bfin_function_ok_for_sibcall, split_load_immediate): Remove unused
1153         variables.
1154         (initialize_trampoline): Don't use old-style function definition.
1155         (bfin_secondary_reload): Mark IN_P argument as unused.
1156
1157 2007-04-10  Sebastian Pop  <sebastian.pop@inria.fr>
1158
1159         PR tree-optimization/31343
1160         * tree-chrec.h (chrec_zerop): Moved before build_polynomial_chrec.
1161         (build_polynomial_chrec): Return a scalar when the evolution is zero.
1162         * testsuite/gcc.dg/vect/pr31343.c: New.
1163
1164 2007-04-10  Eric Christopher  <echristo@apple.com>
1165
1166         * config/i386/i386.h (X87_FLOAT_MODE_P): New.
1167         * config/i386/i386.md (*cmpfp0): Use.
1168         (*cmpfp_u, *cmpfp_<mode>, *cmpfp_i_i387): Ditto.
1169         (*cmpfp_iu_387, fix_trunc<mode>_fisttp_i386_1): Ditto.
1170         (fix_trunc<mode>_i386_fisttp): Ditto.
1171         (fix_trunc<mode>_i387_fisttp_with_temp): Ditto.
1172         (*fix_trunc<mode>_i387_1, fix_truncdi_i387): Ditto.
1173         (fix_truncdi_i387_with_temp, fix_trunc<mode>_i387): Ditto.
1174         (fix_trunc<mode>_i387_with_temp, *fp_jcc_1_387): Ditto.
1175         (*fp_jcc_2_387, *fp_jcc_5_387, *fp_jcc_6_387): Ditto.
1176         (*fp_jcc_7_387, *fp_jcc_8<mode>_387): Ditto.
1177         (unnamed_splitters): Ditto.
1178         * config/i386/i386.c (output_fix_trunc): Assert that
1179         we're not being passed a TFmode operand.
1180
1181 2007-04-10  Zdenek Dvorak  <dvorakz@suse.cz>
1182
1183         PR tree-optimization/31526
1184         * tree-inline.c (copy_cfg_body): Use last_basic_block instead of
1185         n_basic_blocks to find newly added blocks.
1186
1187 2007-04-10  Uros Bizjak  <ubizjak@gmail.com>
1188
1189         * config/i386/i386.md (fix_trunc<mode>di_sse): Remove "x" from "xm"
1190         alternative.
1191         (fix_trunc<mode>si_sse): Ditto.
1192         (*floatsisf2_mixed, *floatsisf2_sse): Ditto.
1193         (*floatsidf2_mixed, *floatsidf2_sse): Ditto.
1194         (*floatdisf2_mixed, *floatdisf2_sse): Ditto.
1195         (*floatdidf2_mixed, *floatdidf2_sse): Ditto.
1196         (floathi<mode>2): Rename from floathisf2 and floathidf2. Macroize
1197         expander using SSEMODEF mode macro.
1198         (floatsi<mode>2): Rename from floatsisf2 and floashidf2. Macroize
1199         expander using SSEMODEF mode macro.
1200         (*floathi<mode>2_i387): Rename from *floathisf2_i387 and
1201         *floathidf2_i387. Macroize insn using X87MODEF12 mode macro.
1202         (*floatsi<mode>2_i387): Rename from *floatsisf2_i387 and
1203         *floatsidf2_i387. Macroize insn using X87MODEF12 mode macro.
1204         (*floatdi<mode>2_i387): Rename from *floatdisf2_i387 and
1205         *floatdidf2_i387. Macroize insn using X87MODEF12 mode macro.
1206         (float<mode>xf2): Rename from floathixf2, floatsixf2 and floatdixf2.
1207         Macroize insn using X87MODEF mode macro.
1208
1209 2007-04-09  H.J. Lu  <hongjiu.lu@intel.com>
1210
1211         * config/i386/sse.md (sse2_pinsrw): Removed.
1212         (sse2_pextrw): Renamed to ...
1213         (*sse2_pextrw): This.
1214
1215 2007-04-09  Jan Hubicka  <jh@suse.cz>
1216
1217         PR target/27869
1218         * config/i386/sse.md
1219         (sse_vmaddv4sf3, sse_vmmulv4sf3): Remove '%' modifier.
1220         (sse_vmsmaxv4sf3_finite, sse_vmsminv4sf3_finite): Remove.
1221         (sse2_vmaddv2df3, sse2_vmmulv2df3): Remove '%' modifier.
1222         (sse2_vmsmaxv2df3_finite, sse2_vmsminv2df3_finite): Remove.
1223
1224 2007-04-09  Jan Hubicka  <jh@suse.cz>
1225
1226         * tree-ssa-ccp (maybe_fold_offset_to_component_ref): Recurse into
1227         multiple fields of union.
1228
1229 2007-04-09  Zdenek Dvorak  <dvorakz@suse.cz>
1230
1231         * cfgloopmanip.c (create_preheader): Do not use loop_preheader_edge.
1232         (create_preheaders): Check that loops are available.
1233         (fix_loop_structure): Clean up, improve comments.
1234         * tree-ssa-loop-manip.c (rewrite_into_loop_closed_ssa):
1235         Check that loops are available.  Set LOOP_CLOSED_SSA to the loops
1236         state flags.
1237         * tree-scalar-evolution.c (scev_finalize): Clear scalar_evolution_info.
1238         * predict.c (tree_estimate_probability): Do not call
1239         calculate_dominance_info.  Call create_preheaders.
1240         * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Only call
1241         rewrite_into_loop_closed_ssa if LOOP_CLOSED_SSA is set in loops state
1242         flags.
1243         * cfgloop.c (loop_preheader_edge): Assert that loops have preheaders.
1244         * cfgloop.h (LOOP_CLOSED_SSA): New constant.
1245         * tree-cfg.c (tree_split_edge): Make an assert more precise.
1246         * tree-ssa-threadedge.c (thread_across_edge): Comment the function
1247         arguments.
1248
1249 2007-04-08  Jan Hubicka  <jh@suse.cz>
1250
1251         * tree.h (maybe_fold_offset_to_component_ref): Declare.
1252         * tree-ssa-ccp.c (maybe_fold_offset_to_component_ref): Export.
1253         * fold-const.c (fold_unary): Use it.
1254
1255 2007-04-08  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1256
1257         * varasm.c (assemble_variable): Remove call to
1258         lang_hooks.decls.prepare_assemble_variable.
1259         * langhooks-def.h (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
1260         (LANG_HOOKS_DECLS): Remove LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE.
1261         * langhooks.h (lang_hooks_for_decls): Remove
1262         prepare_assemble_variable.
1263
1264 2007-04-08  Mike Stump  <mrs@apple.com>
1265
1266         * config/i386/i386.c: Use inc/dec on Core2.
1267
1268 2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>
1269
1270         * langhooks.c (lhd_tree_inlining_add_pending_fn_decls,
1271         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1272         lhd_tree_inlining_end_inlining): Remove.
1273         * langhooks.h (struct lang_hooks_for_tree_inlining): Remove then
1274         add_pending_fn_decls, anon_aggr_type_p, start_inlining, and
1275         end_inlining hooks.
1276         * langhooks-def.h (lhd_tree_inlining_add_pending_fn_decls,
1277         lhd_tree_inlining_anon_aggr_type_p, lhd_tree_inlining_start_inlining,
1278         lhd_tree_inlining_end_inlining): Remove prototypes.
1279         (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS,
1280         LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P,
1281         LANG_HOOKS_TREE_INLINING_START_INLINING,
1282         LANG_HOOKS_TREE_INLINING_END_INLINING): Remove.
1283
1284         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do
1285         not set it.
1286
1287 2007-04-08  Anatoly Sokolov <aesok@post.ru>
1288
1289         PR target/29932
1290         * config/avr/predicates.md (io_address_operand): Delete predicate.
1291         (low_io_address_operand): Don't use 'mode' argument.
1292         (higth_io_address_operand): Rename ...
1293         (high_io_address_operand): ... to this. Don't use 'mode' argument.
1294         * config/avr/avr.md (*sbix_branch_tmp, *sbix_branch_tmp_bit7): Adjust
1295         for above change.
1296
1297 2007-04-07  Daniel Berlin  <dberlin@dberlin.org>
1298
1299         Revert change removing staticp.
1300
1301 2007-04-07  Anatoly Sokolov <aesok@post.ru>
1302
1303         PR target/30289
1304         * config/avr/avr.md (*clrmemqi, *clrmemhi): Mark operand 4 as
1305         earlyclobber.
1306
1307 2007-04-07  Bruce Korb  <bkorb@gnu.org>
1308
1309         * c.opt: Add -Wformat-contains-nul.
1310         * c-format.c (set_Wformat):  Set warn_format_contains_nul to the
1311           -Wformat setting.
1312         (check_format_info_main): Check OPT_Wformat_contains_nul before emitting
1313         the NUL byte warning.
1314
1315 2007-04-07  H.J. Lu  <hongjiu.lu@intel.com>
1316
1317         * config/i386/i386.c (ix86_handle_option): Handle SSSE3.
1318
1319 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
1320
1321         * tree.c (staticp): No longer use staticp langhook.
1322         * langhooks.c (lhd_staticp): Removed.
1323         * langhooks.h (struct lang_hooks): Remove staticp.
1324         * c-common.c (c_staticp): Remove.
1325         * c-common.h (c_staticp): Ditto.
1326         * langhooks-defs.h (lhd_staticp): Ditto.
1327         (LHD_HOOKS_STATICP): Ditto
1328         * tree.h (gcc_assert_lowered): New macro.
1329
1330 2007-04-06  Zdenek Dvorak  <dvorakz@suse.cz>
1331
1332         * tree-ssa-loop-niter.c (idx_infer_loop_bounds): Add and use
1333         argument "reliable".
1334         (infer_loop_bounds_from_ref, infer_loop_bounds_from_array):
1335         Add argument "reliable".  Propagate it through calls.
1336         (infer_loop_bounds_from_undefined):  Derive number of iterations
1337         estimates from references in blocks that do not dominate loop latch.
1338         (gcov_type_to_double_int): New function.
1339         (estimate_numbers_of_iterations_loop): Use gcov_type_to_double_int
1340         and expected_loop_iterations_unbounded.
1341         * cfgloopanal.c (expected_loop_iterations_unbounded): New function.
1342         (expected_loop_iterations): Use expected_loop_iterations_unbounded.
1343         * tree-data-ref.c (estimated_loop_iterations): Export.
1344         (get_references_in_stmt): Fix -- do not return addresses of local
1345         objects.
1346         * cfgloop.h (expected_loop_iterations_unbounded,
1347         estimated_loop_iterations): Declare.
1348
1349 2007-04-06  Andreas Tobler  <a.tobler@schweiz.org>
1350
1351         * tree-sra.c (sra_build_elt_assignment): Initialize min/maxshift.
1352
1353 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
1354
1355         * config/i386/i386.md (extend<mode>xf2): Rename from extendsfxf2
1356         and extenddfxf2. Macroize expander using X87MODEF12 mode macro.
1357         (*truncdfsf_mixed, *truncdfsf_i387, *truncdfsf2_i387_1):
1358         Use output_387_reg_move().
1359         (*truncxf<mode>2): Rename from *truncxfsf2 and truncxfdf2. Macroize
1360         expander using X87MODEF12 mode macro.
1361         (*truncxfsf2_mixed): Combine alternatives, ignore "r" alternative when
1362         choosing register preferences.  Use output_387_reg_move().
1363         (*truncxfdf2_mixed): Combine alternatives, use "r" alternative
1364         instead of "x".  Use output_387_reg_move().
1365         (*truncxf<mode>2_i387_noop): Rename from *truncxfsf2_i387_noop and
1366         *truncxfdf2_i387_noop.  Macroize insn using X87MODEF12 mode macro.
1367         (*truncxf<mode>2_i387): Rename from *truncxfsf2_i387 and
1368         *truncxfdf2_i387.  Macroize insn using X87MODEF12 mode macro.
1369         Use output_387_reg_move().
1370         (*truncxf?f_mixed splitter): Macroize splitter using X87MODEF12
1371         mode macro.
1372         (*truncxf?f_i387 splitter): Ditto.
1373
1374 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
1375
1376         * langhooks-def.h (LANG_HOOKS_INITIALIZER): Remove
1377         LANG_HOOKS_SAFE_FROM_P.
1378         * expr.c (safe_from_p): Remove langhook call.
1379         * langhooks.h (lang_hooks): Remove safe_from_p.
1380         (lhd_safe_from_p): Remove prototype.
1381         * langhooks.c (lhd_safe_from_p): Remove.
1382
1383 2007-04-06  Jan Hubicka  <jh@suse.cz>
1384
1385         * cgraphunit.c (decide_is_function_needed): Do not keep always_inline
1386         functions.
1387
1388 2007-04-06  Uros Bizjak  <ubizjak@gmail.com>
1389
1390         * config/i386/i386.c (output_387_reg_move): Handle memory operand[0].
1391         * config/i386/i386.md (*movsf_1, *movdf_nointeger,
1392         *movdf_integer_rex64, *movdf_integer, *movxf_nointeger,
1393         *movxf_integer): Use output_387_reg_move() for x87 reg->mem
1394         alternative.
1395         (*extendsfdf2_mixed, *extendsfdf2_i387, *extendsfxf2_i387,
1396         *extenddfxf2_i387, *truncdfsf_fast_mixed): Ditto.
1397
1398 2007-04-05  Richard Henderson  <rth@redhat.com>
1399
1400         * config/alpha/alpha.c (print_operand) [+]: Remove.
1401         (alpha_end_function): Print nop if call at end of function.
1402         * config/alpha/alpha.h (PRINT_OPERAND_PUNCT_VALID_P): Remove +.
1403         * config/alpha/alpha.md (UNSPEC_LDGP1): New.
1404         (call_osf_1_er_noreturn, call_value_osf_1_er_noreturn): New.
1405         (call_osf_2_er_nogp, call_value_osf_2_er_nogp): New.
1406         (call_osf_2_er, call_value_osf_2_er): Merge the ldgp highpart into
1407         the call pattern. Update peepholes to match.
1408
1409 2007-04-05  Janis Johnson  <janis187@us.ibm.com>
1410
1411         * doc/extend.texi (Other Builtins): Add decimal float variants
1412         of signbit.
1413         * builtins.def: Ditto.
1414         * builtins.c (expand_builtin): Ditto.
1415
1416 2007-04-05  Uros Bizjak  <ubizjak@gmail.com>
1417             H.J. Lu  <hongjiu.lu@intel.com>
1418
1419         PR target/31478
1420         * config/i386/sse.md (sse2_umulv2siv2di3): Use V4SImode instead
1421         of V8HImode when calling ix86_binary_operator_ok.
1422         (sse2_pmaddwd): Call ix86_binary_operator_ok.
1423         (sdot_prodv8hi): Operands 1 and 2 must be register.
1424
1425 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
1426
1427         * tree-sra.c (try_instantiate_multiple_fields): Needlessly
1428         initialize align to silence bogus warning.
1429
1430 2007-04-05  Alexandre Oliva  <aoliva@redhat.com>
1431
1432         PR middle-end/22156
1433         * tree-sra.c (struct sra_elt): Add in_bitfld_block.  Remove
1434         all_no_warning.
1435         (struct sra_walk_fns): Remove use_all parameter from use.
1436         (sra_hash_tree): Handle BIT_FIELD_REFs.
1437         (sra_elt_hash): Don't hash bitfld blocks.
1438         (sra_elt_eq): Skip them in parent compares as well.  Handle
1439         BIT_FIELD_REFs.
1440         (sra_walk_expr): Don't maintain or pass down use_all_p.
1441         (scan_use): Remove use_all parameter.
1442         (scalarize_use): Likewise.  Re-expand assignment to
1443         BIT_FIELD_REF of gimple_reg.  De-scalarize before input or
1444         output, and re-scalarize after output.  Don't mark anything
1445         for no warning.
1446         (scalarize_ldst): Adjust.
1447         (scalarize_walk_gimple_modify_statement): Likewise.
1448         (build_element_name_1): Handle BIT_FIELD_REFs.
1449         (instantiate_element): Don't warn for any element whose parent
1450         is used as a whole.
1451         (instantiate_missing_elements_1): Return the sra_elt.
1452         (canon_type_for_field): New.
1453         (try_instantiate_multiple_fields): New.
1454         (instantiate_missing_elemnts): Use them.
1455         (mark_no_warning): Removed.
1456         (generate_one_element_ref): Handle BIT_FIELD_REFs.
1457         (REPLDUP, sra_build_elt_assignment): New.
1458         (generate_copy_inout): Use them.
1459         (generate_element_copy): Likewise.  Handle bitfld differences.
1460         (generate_element_zero): Don't recurse for blocks.  Use
1461         sra_build_elt_assignment.
1462         (generate_one_element_int): Take elt instead of var.  Use
1463         sra_build_elt_assignment.
1464         (generate_element_init_1): Adjust.
1465         (scalarize_use, scalarize_copy): Use REPLDUP.
1466         (scalarize_ldst): Move assert before dereference.
1467         (dump_sra_elt_name): Handle BIT_FIELD_REFs.
1468
1469 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
1470
1471         * regmove.c: Fix unused variable warnings due to previous commit.
1472
1473 2007-04-05  Steven Bosscher  <steven@gcc.gnu.org>
1474
1475         * regmove.c (STACK_GROWS_DOWNWARD): Don't boolean-ize.
1476         (regmove_bb_head): Remove.
1477         (copy_src_to_dest): Don't update regmove_bb_head and BB_HEAD.
1478         (regmove_optimize): Don't do unnecessary CFG fixes for non-existing
1479         problems with fixup_match_1.
1480         Don't initialize/free regmove_bb_head.
1481
1482         (reg_is_remote_constant_p): If an insn is in the same basic block
1483         but not before INSN, consider it remote, too.
1484
1485 2007-04-05  Anatoly Sokolov <aesok@post.ru>
1486
1487         PR target/25448
1488         * config/avr/avr.c (avr_handle_fndecl_attribute): Use the
1489         DECL_ASSEMBLER_NAME, not the DECL_NAME.
1490
1491 2007-04-05  H.J. Lu  <hongjiu.lu@intel.com>
1492
1493         * config/i386/i386.h (TARGET_CPU_CPP_BUILTINS): Reformat.
1494         (CONDITIONAL_REGISTER_USAGE): Likewise.
1495
1496 2007-04-04  Richard Henderson  <rth@redhat.com>
1497
1498         * config/alpha/lib1funcs.asm: Remove unused file.
1499
1500 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
1501
1502         PR other/31356
1503         * opts.c (print_specific_help): Fix --help=<language>
1504         header line.
1505         (common_handle_option): Support --help=common.
1506
1507 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
1508
1509         PR other/31353
1510         * gcc.c (main): Do not run the linker if
1511         print_subprocess_help indicates that it shouldn't be
1512         run.
1513
1514 2007-04-04  Brooks Moses  <brooks.moses@codesourcery.com>
1515
1516         PR doc/31355
1517         * doc/invoke.texi (--help=): Document <languages> value, fix
1518         formatting in tables of values.
1519
1520 2007-04-04  Danny Smith  <dannysmith.users.sourceforge.net>
1521
1522         * config/i386/winnt-cxx.c (i386_pe_type_dllimport_p): Don't ignore
1523         dllimport attribute of virtual methods.
1524
1525 2007-04-04  Chen Liqin  <liqin@sunnorth.com.cn>
1526
1527         * config/score/crti.asm: Change _bss_start to __bss_start.
1528         * config/score/score.h (CONDITIONAL_REGISTER_USAGE): Added.
1529         (OUTGOING_REG_PARM_STACK_SPACE) update.
1530         * config/score/score.opt: add options to make backend support
1531         score5, score5u, score7 and score7d.
1532         * config/score/score.md: Likewise.
1533         * config/score/misc.md: Likewise.
1534         * config/score/mac.md: Likewise.
1535         * doc/invoke.texi: Likewise.
1536         * doc/md.texi: update constraints define.
1537
1538 2007-04-03  Richard Henderson  <rth@redhat.com>
1539
1540         * expr.c (store_expr): If get_signed_or_unsigned_type doesn't yield
1541         an appropriate type, use the mode instead.
1542
1543 2007-04-03  Richard Sandiford  <richard@codesourcery.com>
1544
1545         * config.gcc (mips-wrs-vxworks): Add vx-common.h to tm_file.
1546         Set the default --with-arch setting to mips2.
1547         * config/mips/t-vxworks (MULTILIB_OPTIONS, MULTILIB_MATCHES)
1548         (MULTILIB_EXCEPTIONS): Redefine with new multilibs.
1549         (MULTILIB_OSDIRNAMES): Delete.
1550         (MULTILIB_DIRNAMES): Define.
1551         * config/mips/vxworks.h (LINK_SPEC): Add VXWORKS_LINK_SPEC.
1552         (LIB_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Define.
1553         (TARGET_OS_CPP_BUILTINS): Incorporate old SUBTARGET_CPP_SPEC
1554         definitions, except for _WRS_R3K_EXC_SUPPORT.  Call
1555         VXWORKS_OS_CPP_BUILTINS.
1556         (SUBTARGET_CPP_SPEC): Redefine to VXWORKS_ADDITIONAL_CPP_SPEC.
1557         (MIPS_DEBUGGING_INFO): Undefine.
1558         (FUNCTION_PROFILER): Define to VXWORKS_FUNCTION_PROFILER.
1559
1560 2007-04-03  Jakub Jelinek  <jakub@redhat.com>
1561
1562         PR middle-end/30704
1563         * fold-const.c (native_encode_real): Encode real.c provided longs
1564         as a series of 32-bit native integers.
1565         (native_interpret_real): Interpret buffer as a series of 32-bit
1566         native integers.
1567
1568 2007-04-03  Richard Guenther  <rguenther@suse.de>
1569
1570         * genpreds.c (write_insn_constraint_len): Write function
1571         optimized for CONSTRAINT_LEN implementation.
1572         (write_tm_preds_h): Output insn_constraint_len inline and
1573         use it for CONSTRAINT_LEN.
1574         (write_insn_preds_c): Don't output insn_constraint_len.
1575         * doc/md.texi (define_register_constraint): Document multi-letter
1576         constraints shall have the same length if they start with the same
1577         letter.
1578
1579 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
1580
1581         PR target/31175
1582         * config/i386/i386.md (isinf<mode>2): Expand only when
1583         TARGET_C99_FUNCTIONS is set.
1584
1585 2007-04-03  Uros Bizjak  <ubizjak@gmail.com>
1586
1587         * config.gcc (i[34567]86-*-linux*): Add i386/t-crtpc to tm-file.
1588         (x86_64-*-linux*): Ditto.
1589         * config/i386/i386.opt (mpc): New option.
1590         * config/i386/i386.c (overrride_options): Handle
1591         ix87_precision_string.
1592         * config/i386/crtprec.c: New file.
1593         * config/i386/t-crtpc: Ditto.
1594         * config/i386/linux.h (ENDFILE_SPEC): Add handling of -mpc32, -mpc64
1595         and -mpc80 options.
1596         * config/i386/linux64.h (ENDFILE_SPEC): Ditto.
1597         * config/i386/t-linux64 (EXTRA_MULTILIB_PARTS): Add
1598         crtprec32.o, crtprec64.o and crtprec80.o.
1599
1600         * doc/invoke.texi (Machine Dependent Options): Add -mpc32, -mpc64
1601         and -mpc80 options.
1602         (i386 and x86-64 Options): Document -mpc32, -mpc64 and -mpc80 options.
1603
1604 2007-04-02  Eric Christopher  <echristo@apple.com>
1605
1606         * doc/invoke.texi (i386 and x86-64 Options): Document -m64
1607         limitations on darwin.
1608
1609 2007-04-02  Anatoly Sokolov <aesok@post.ru>
1610
1611         PR target/31137
1612         * config/avr/avr.c (avr_rtx_costs): Add missing 'break' statements.
1613
1614 2007-04-02  Dave Korn  <dave.korn@artimi.com>
1615
1616         * doc/tm.texi (FUNCTION_MODE): Update and extend documentation.
1617
1618 2007-04-02  Dave Korn  <dave.korn@artimi.com>
1619
1620         * libgcc2.h (exception_descriptor): Don't forward-declare.
1621         (__get_eh_table_language, __get_eh_table_version): Delete
1622         prototypes of long-dead functions.
1623
1624 2007-04-01  Daniel Berlin  <dberlin@dberlin.org>
1625
1626         * ebitmap.h: New file
1627         * ebitmap.c: New file
1628         * Makefile.in (ebitmap.o): New target.
1629
1630 2007-04-01  Jan Hubicka  <jh@suse.cz>
1631
1632         * emit-rtl.c (emit_insn_before_setloc): Do not ICE when asked to emit
1633         before very first instruction.
1634
1635 2007-04-01  Jan Hubicka  <jh@suse.cz>
1636
1637         * ggc-page.c (ggc_print_statistics): Fix formatting string to avoid
1638         waring on 64bit hosts.
1639         * bitmap.h: Fix typo in bitmap_head_def.
1640
1641 2007-04-01  Steven Bosscher  <steven@gcc.gnu.org>
1642
1643         PR rtl-optimization/31391
1644         * cfgcleanup.c (try_optimize_cfg): If a removed label is turned
1645         into a DELETED_LABEL note, and the label is in an empty basic
1646         block, update BB_END as well as BB_HEAD.
1647
1648 2007-04-01  Richard Henderson  <rth@redhat.com>
1649
1650         PR tree-optimization/31169
1651         * tree-vrp.c (extract_range_from_binary_expr) <RSHIFT_EXPR>: Drop
1652         to varying if the range is outside [0,  prec-1].
1653
1654 2007-04-01  Richard Sandiford  <richard@codesourcery.com>
1655
1656         PR target/31388
1657         * config/mips/mips.md (load_const_gp): New insn.
1658         * config/mips/mips.c (mips_split_symbol): Avoid using or creating
1659         the MIPS16 GP pseudo register if no_new_pseudos.
1660         (mips16_gp_pseudo_reg): Use gen_load_const_gp.
1661
1662 2007-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1663
1664         PR target/31364
1665         * config/rs6000/rs6000.md (call): Convert to LR hard reg for
1666         secureplt.
1667         (call_value): Likewise.
1668
1669 2007-03-31  Wolfgang Bangerth  <bangerth@dealii.org>
1670             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1671
1672         PR 14737
1673         * doc/invoke.texi: (optimization options): Reword description
1674         of -ffast-math. Document its primary purpose.
1675
1676 2007-03-31  Richard Guenther  <rguenther@suse.de>
1677
1678         * omp-low.c (splay-tree.h): Include.
1679         (lookup_decl): Replace splay-tree usage by pointer-map.
1680         (maybe_lookup_decl): Likewise.
1681         (new_omp_context): Likewise.
1682         (delete_omp_context): Likewise.
1683         * gimplify.c (splay-tree.h): Include.
1684         * tree-inline.c (insert_decl_map): Replace splay-tree usage by
1685         pointer-map.
1686         (remap_ssa_name): Likewise.
1687         (remap_decl): Likewise.
1688         (remap_type_1): Likewise.
1689         (remap_type): Likewise.
1690         (copy_body_r): Likewise.
1691         (expand_call_inline): Likewise.
1692         (clone_body): Likewise.
1693         (copy_tree_r): Likewise.
1694         (remap_save_expr): Likewise.
1695         (unsave_r): Likewise.
1696         (unsave_expr_now): Likewise.
1697         (tree_function_versioning): Likewise.
1698         (build_duplicate_type): Likewise.
1699         * tree-inline.h (pointer-set.h): Include instead of splay-tree.h.
1700         (struct copy_body_data): Replace splay-tree by pointer-map.
1701         * Makefile.in (TREE_INLINE_H): Depend on pointer-map.h,
1702         not $(SPLAY_TREE_H).
1703         (gimplify.o): Depend on $(SPLAY_TREE_H).
1704         (omp-low.p): Likewise.
1705
1706 2007-03-31  Anatoly Sokolov <aesok@post.ru>
1707
1708         * config/avr/predicates.md (even_register_operand,
1709         odd_register_operand): New predicates.
1710         * config/avr/avr.md (movw peephole2): New.
1711         (movw_r peephole2): New.
1712
1713 2007-03-30  Rafael Avila de Espindola  <espindola@google.com>
1714
1715         * tree.h (get_signed_or_unsigned_type): New.
1716         * fold-const.c (operand_equal_for_comparison_p): Use
1717         get_signed_or_unsigned_type instead of
1718         lang_hooks.types.signed_or_unsigned_type.
1719         * expr.c (store_expr): Ditto.
1720         * langhooks.c (get_signed_or_unsigned_type): New.
1721         (lhd_signed_or_unsigned_type): New.
1722         * langhooks.h (lhd_signed_or_unsigned_type): New.
1723         * langhooks-def.h (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Define.
1724
1725 2007-03-30  Richard Henderson  <rth@redhat.com>
1726
1727         * tree-ssa-loop-ivopts.c: Include target.h.
1728         (produce_memory_decl_rtl): Pass the rtx through encode_section_info.
1729         (get_address_cost): Force SYMBOL_FLAG_LOCAL set.
1730         (force_expr_to_var_cost): Use produce_memory_decl_rtl.
1731         * Makefile.in (tree-ssa-loop-ivopts.o): Depend on TARGET_H.
1732
1733 2007-03-30  Richard Henderson  <rth@redhat.com>
1734             Kai Tietz  <kai.tietz@onevision.com>
1735
1736         * config/i386/cygming.h (DWARF2_DEBUGGING_INFO): Enable by
1737         default for 64-bit.
1738         (PREFERRED_DEBUGGING_TYPE): Prefer dwarf2 for 64-bit.
1739         (TARGET_64BIT_MS_ABI): New.
1740         (DBX_REGISTER_NUMBER): Handle 64-bit.
1741         (SIZE_TYPE, PTRDIFF_TYPE): Use long long for 64-bit.
1742         (LONG_TYPE_SIZE): Force to 32.
1743         (REG_PARM_STACK_SPACE): New.
1744         (OUTGOING_REG_PARM_STACK_SPACE): New.
1745         (REGPARM_MAX, SSE_REGPARM_MAX): New.
1746         (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
1747         (STACK_BOUNDARY): Use 128 for 64-bit.
1748         * config/i386/cygwin.asm: Use push/ret to preserve call stack.
1749         Add 64-bit implementation.
1750         * config/i386/gthr-win32.c (__gthr_win32_key_create): Mark dtor
1751         argument unused.
1752         * config/i386/i386.c (x86_64_ms_abi_int_parameter_registers): New.
1753         (override_options): Set ix86_cmodel for TARGET_64BIT_MS_ABI.
1754         Warn for -mregparm, -mrtd in 64-bit mode; force ix86_regparm
1755         for 64-bit; use TARGET_SUBTARGET64_DEFAULT.
1756         (ix86_handle_cconv_attribute): Don't warn when ignoring if
1757         TARGET_64BIT_MS_ABI.
1758         (ix86_function_arg_regno_p): Handle TARGET_64BIT_MS_ABI.
1759         (ix86_pass_by_reference): Likewise.
1760         (ix86_function_value_regno_p): Likewise.
1761         (ix86_build_builtin_va_list): Likewise.
1762         (ix86_va_start, ix86_gimplify_va_arg): Likewise.
1763         (function_arg_advance_ms_64): New.
1764         (function_arg_advance): Call it.
1765         (function_arg_ms_64): New.
1766         (function_arg): Call it.
1767         (function_value_ms_64): New.
1768         (ix86_function_value_1): Call it.
1769         (return_in_memory_ms_64): New.
1770         (ix86_return_in_memory): Call it.
1771         (setup_incoming_varargs_ms_64): New.
1772         (ix86_setup_incoming_varargs): Call it.
1773         (ix86_expand_prologue): Handle 64-bit stack probing.
1774         (legitimize_pic_address): Handle TARGET_64BIT_MS_ABI.
1775         (output_pic_addr_const): Likewise.
1776         (x86_this_parameter): Likewise.
1777         (x86_output_mi_thunk): Likewise.
1778         (x86_function_profiler): Likewise.
1779         (TARGET_STRICT_ARGUMENT_NAMING): New.
1780         * config/i386/i386.h (TARGET_SUBTARGET64_DEFAULT): New.
1781         (TARGET_64BIT_MS_ABI): New.
1782         (CONDITIONAL_REGISTER_USAGE): Handle TARGET_64BIT_MS_ABI.
1783         * config/i386/i386.md (allocate_stack_worker): Remove.
1784         (allocate_stack_worker_32): Rename from allocate_stack_worker_1;
1785         describe the clobber of eax without a match_scratch.
1786         (allocate_stack_worker_postreload): Remove.
1787         (allocate_stack_worker_64): Rename from allocate_stack_worker_rex64;
1788         describe the clobbers of rax, r10, r11 properly; use __chkstk symbol.
1789         (allocate_stack_worker_rex64_postreload): Remove.
1790         (allocate_stack): Handle 64-bit.
1791         * config/i386/i386elf (TARGET_SUBTARGET_DEFAULT): Remove.
1792         * config/i386/mingw32.h (TARGET_VERSION): Set correctly for 64-bit.
1793         (EXTRA_OS_CPP_BUILTINS): Handle 64-bit.
1794         (STANDARD_INCLUDE_DIR): Handle TARGET_64BIT_DEFAULT.
1795         (STANDARD_STARTFILE_PREFIX_1): Likewise.
1796         * config/i386/unix.h (TARGET_SUBTARGET64_DEFAULT): New.
1797         * config.build (x86_64-*-mingw*): New host.
1798         * config.host (x86_64-*-mingw*): New host.
1799         * config.gcc (x86_64-*-mingw*): New target.
1800         * gthr-win32.h (__gthread_key_create): Mark dtor unused.
1801
1802 2007-03-30  Richard Henderson  <rth@redhat.com>
1803             Kai Tietz  <kai.tietz@onevision.com>
1804
1805         * c-pragma.c (struct def_pragma_macro_value): New.
1806         (struct def_pragma_macro): New.
1807         (pushed_macro_table): New.
1808         (dpm_hash, dpm_eq): New.
1809         (handle_pragma_push_macro, handle_pragma_pop_macro): New.
1810         (init_pragma): Install them.
1811         * doc/tm.texi (HANDLE_PRAGMA_PUSH_POP_MACRO): New.
1812
1813 2007-03-30  Anatoly Sokolov <aesok@post.ru>
1814
1815         * config/avr/avr.c (avr_override_options): Clear
1816         'flag_delete_null_pointer_checks'.
1817
1818 2007-03-30  Paolo Carlini  <pcarlini@suse.de>
1819
1820         PR c++/26099
1821         * c-common.h (enum rid): Add RID_HAS_NOTHROW_ASSIGN,
1822         RID_HAS_NOTHROW_CONSTRUCTOR, RID_HAS_NOTHROW_COPY,
1823         RID_HAS_TRIVIAL_ASSIGN, RID_HAS_TRIVIAL_CONSTRUCTOR,
1824         RID_HAS_TRIVIAL_COPY, RID_HAS_TRIVIAL_DESTRUCTOR,
1825         RID_HAS_VIRTUAL_DESTRUCTOR, RID_IS_ABSTRACT, RID_IS_BASE_OF,
1826         RID_IS_CONVERTIBLE_TO, RID_IS_CLASS, RID_IS_EMPTY, RID_IS_ENUM,
1827         RID_IS_POD, RID_IS_POLYMORPHIC, RID_IS_UNION, as
1828         C++ extensions.
1829         * doc/extend.texi (Extensions to the C++ Language): Add Type Traits.
1830
1831 2007-03-30  Steven Bosscher  <steven@gcc.gnu.org>
1832
1833         * regmove.c: Move all of pass_stack_adjustments from here...
1834         * combine-stack-adj.c: ...to this new file.
1835         * Makefile.in: Add rules for combine-stack-adj.o.
1836
1837 2007-03-30  Zdenek Dvorak  <dvorakz@suse.cz>
1838
1839         PR tree-optimization/31383
1840         * tree-data-ref.c (affine_function_equal_p): Do not require the vectors
1841         to have the same length.
1842
1843 2007-03-30  Jan Hubicka  <jh@suse.cz>
1844
1845         PR middle-end/30700
1846         * dwarf2out.c (reference_to_unused): Ask cgraph for functions
1847         availablility; add more sanity checking; ask varpool only about
1848         VAR_DECL.
1849
1850 2007-03-29  Richard Henderson  <rth@redhat.com>
1851
1852         * unwind-generic.h (_sleb128_t, _uleb128_t): Don't use HAVE_LONG_LONG
1853         to decide, but __SIZEOF_LONG_LONG__.
1854
1855 2007-03-29  Richard Henderson  <rth@redhat.com>
1856
1857         * emutls.c (struct __emutls_array): New.
1858         (emutls_destroy): Use it instead of casting element 0 from void*.
1859         (__emutls_get_address): Likewise.
1860
1861 2007-03-29  Richard Henderson  <rth@redhat.com>
1862
1863         * varasm.c (initializer_constant_valid_p): Don't deny
1864         DECL_DLLIMPORT_P on functions.
1865
1866         * config/i386/cygming.h: Remove function declarations.
1867         (SUBTARGET_ENCODE_SECTION_INFO): Don't undef first.
1868         (ASM_OUTPUT_LABELREF): Remove.
1869         (COMMON_ASM_OP): Remove.
1870         (ASM_OUTPUT_COMMON): Remove.
1871         (ASM_OUTPUT_ALIGNED_DECL_COMMON): New.
1872         (ASM_DECLARE_OBJECT_NAME): Use i386_pe_maybe_record_exported_symbol.
1873         (ASM_DECLARE_FUNCTION_NAME): Likewise.
1874         * config/i386/i386-interix.h (SUBTARGET_ENCODE_SECTION_INFO):
1875         Rename from TARGET_ENCODE_SECTION_INFO.
1876         * config/i386/netware.h: Likewise.
1877         * config/i386/i386-protos.h: Update.
1878         * config/i386/i386.c (ix86_function_ok_for_sibcall): Turn ifdef
1879         of TARGET_DLLIMPORT_DECL_ATTRIBUTES into straight if.
1880         (legitimate_constant_p): Reject dllimports.
1881         (dllimport_map, get_dllimport_decl): New.
1882         (legitimize_dllimport_symbol): New.
1883         (legitimize_address, ix86_expand_move): Use it.
1884         (TARGET_BINDS_LOCAL_P): Redefine for TARGET_DLLIMPORT_DECL_ATTRIBUTES.
1885         * config/i386/i386.h (DLL_IMPORT_EXPORT_PREFIX): Remove.
1886         (SYMBOL_FLAG_DLLIMPORT, SYMBOL_REF_DLLIMPORT_P): New.
1887         (SYMBOL_FLAG_DLLEXPORT, SYMBOL_REF_DLLEXPORT_P): New.
1888         * config/i386/predicates.md (constant_call_address_operand): Only
1889         accept symbols; reject dllimport_p symbols.
1890         * config/i386/uwin.h (ASM_DECLARE_FUNCTION_NAME): Use
1891         i386_pe_maybe_record_exported_symbol.
1892         * config/i386/winnt.c (DLL_IMPORT_PREFIX, DLL_EXPORT_PREFIX): Remove.
1893         (i386_pe_determine_dllexport_p): Rename from i386_pe_dllexport_p.
1894         (i386_pe_determine_dllimport_p): Rename from i386_pe_dllimport_p;
1895         trust the setting of DECL_DLLIMPORT_P.
1896         (i386_pe_dllexport_name_p, i386_pe_dllimport_name_p): Remove.
1897         (i386_pe_mark_dllexport, i386_pe_mark_dllimport): Remove.
1898         (gen_stdcall_or_fastcall_suffix): Return NULL if no change required;
1899         tidy the argument scanning loop.
1900         (i386_pe_encode_section_info): Set SYMBOL_FLAG_DLLIMPORT and
1901         SYMBOL_FLAG_DLLEXPORT in SYMBOL_REF_FLAGS.
1902         (i386_pe_strip_name_encoding): Remove.
1903         (i386_pe_binds_local_p): New.
1904         (i386_pe_strip_name_encoding_full): Use default_strip_name_encoding.
1905         (i386_pe_output_labelref): Remove.
1906         (i386_pe_asm_output_aligned_decl_common): New.
1907         (i386_pe_maybe_record_exported_symbol): Rename from
1908         i386_pe_record_exported_symbol; check for dllexported symbols.
1909
1910 2007-03-29  Zack Weinberg  <zack@mrtock.ucsd.edu>
1911
1912         * gengtype.c (oprintf): Mostly revert changes from 2007-03-26;
1913         add comment explaining why vsnprintf cannot be used.
1914
1915 2007-03-29  Douglas Gregor  <doug.gregor@gmail.com>
1916
1917         PR tree-optimization/30666
1918         * tree.c (build_complex_type): When creating type names for DWARF2
1919         debug info, create TYPE_DECLs for TYPE_NAME instead of
1920         IDENTIFIER_NODEs.
1921         (build_common_tree_nodes_2): Use build_complex_type when building
1922         predefined complex types, to preserve canonical types.
1923
1924 2007-03-29  Steven Bosscher  <steven@gcc.gnu.org>
1925
1926         * ifcvt.c (struct noce_if_info): Add then_else_reversed field.
1927         (noce_get_alt_condition): Look at it to determine whether to
1928         reverse the condition or not.
1929         (noce_get_condition): Substitute the truth for lies.
1930         (noce_find_if_block): Set the then_else_reversed field.
1931
1932 2007-03-29  Lars Poeschel <larsi@wh2.tu-dresden.de>
1933
1934         * config/fr30/fr30.md (movdi): Do not accept immediates as the
1935         destination of this insn.
1936         * config/fr30/fr30.c (fr30_move_double): Use emit_move_insn rather
1937         than calling gen_rtx_SET directly.  Use r0 to hold the value of
1938         'address + 4' rather than a stack based temporary which can be
1939         mis-optimized away.
1940
1941 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
1942
1943         * config/s390/s390.c (s390_secondary_input_reload_class,
1944         s390_secondary_output_reload_class): Functions removed.
1945         (s390_secondary_reload): New function.
1946         (TARGET_SECONDARY_RELOAD): Target macro defined.
1947         * config/s390/s390.h (SECONDARY_INPUT_RELOAD_CLASS,
1948         SECONDARY_OUTPUT_RELOAD_CLASS): Macro definitions removed.
1949         * config/s390/s390.md ("reload_outti", "reload_outdi",
1950         "reload_indi", "reload_insi", "reload_out<mode>", "reload_in<mode>",
1951         "reload_out<mode>"): Expanders removed.
1952         ("reload<mode>_plus", "reload<mode>_nonoffmem_in",
1953         "reload<mode>_nonoffmem_out"): Expanders added.
1954
1955 2007-03-29  Andreas Krebbel  <krebbel1@de.ibm.com>
1956
1957         * regmove.c (optimize_reg_copy_1): Don't perform DEST->SRC repair action if
1958         SRC->DEST replacement failed anyway.
1959
1960 2007-03-28  Mike Stump  <mrs@apple.com>
1961
1962         * config/darwin9.h (ASM_OUTPUT_ALIGNED_COMMON): Add.
1963         * config/darwin.h (MAX_OFILE_ALIGNMENT): Fix.
1964         * config/rs6000/darwin.h (ASM_OUTPUT_ALIGNED_COMMON): Removed #undef.
1965
1966 2007-03-28  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
1967
1968         * config.gcc: Accept barcelona as a variant of amdfam10.
1969         * config/i386/i386.c (override_options): Likewise.
1970         * doc/invoke.texi: Likewise.
1971
1972 2007-03-28  Eric Botcazou  <ebotcazou@adacore.com>
1973
1974         * tree-dfa.c (get_ref_base_and_extent): Do not expect positive
1975         offsets for BIT_FIELD_REF and COMPONENT_REF.
1976
1977 2007-03-28  Richard Guenther  <rguenther@suse.de>
1978
1979         * tree.c (is_global_var): Move ...
1980         * tree-flow-inline.h (is_global_var): ... here.
1981         * tree.h (is_global_var): Remove declaration.
1982
1983 2007-03-28  Uros Bizjak  <ubizjak@gmail.com>
1984
1985         * config/i386/i386.h (X86_TUNE_PROMOTE_HIMODE_IMUL): New tuning
1986         option.
1987         (TARGET_TUNE_PROMOTE_HIMODE_IMUL): New define. Use new tuning option.
1988         * config/i386/i386.c (ix86_tune_features): Initialize new
1989         tuning option.
1990         * config/i386/predicates.md (promotable_binary_operator): Use
1991         TARGET_TUNE_PROMOTE_HIMODE_IMUL.
1992
1993 2007-03-28  Grigory Zagorodnev <grigory_zagorodnev@linux.intel.com>
1994
1995         PR target/31380
1996         * config/i386/sse.md (uminv16qi3): Use UMIN instead of UMAX.
1997
1998 2007-03-28  Lars Poeschel <larsi@wh2.tu-dresden.de>
1999
2000         * config/fr30/fr30.md (movsi_internal): Change destination
2001         constraint from m to V and add m to the end.
2002
2003 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2004
2005         * config/sh/sh.md (movsi_i): Fix type attribute.
2006
2007 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2008
2009         * config/sh/sh.md (movsi_ie): Fix memory constraints attribute length.
2010         (movsf_ie): Likewise.
2011
2012 2007-03-28  Christian Bruel  <christian.bruel@st.com>
2013
2014         * config.gcc: Add sh4-300 to multilib.
2015         * config/sh/t-mlib-sh4-300: New file.
2016
2017 2007-03-28  Andreas Krebbel  <krebbel1@de.ibm.com>
2018
2019         * config/s390/s390.md ("fix_trunc<mode>di2"): New expander.
2020         ("fix_trunc<DFP:mode>di2_dfp"): New insn definition renamed from
2021         fix_trunc<mode>di2.
2022         ("fixuns_truncdddi2", "fixuns_trunctddi2"): Use
2023         fix_trunc<DFP:mode>di2_dfp instead of fix_trunc<mode>di2.
2024         ("fix_truncdfsi2", "fix_truncsfsi2", "fixuns_truncdddi2",
2025         "fixuns_trunctddi2"): Whitespace fix.
2026
2027 2007-03-28  Kaz Kojima  <kkojima@gcc.gnu.org>
2028
2029         * config/sh/sh.h (CALL_COOKIE_RET_TRAMP_SHIFT): Move after
2030         the definition of struct sh_args.
2031         (CALL_COOKIE_RET_TRAMP, CALL_COOKIE_STACKSEQ_SHIFT,
2032         CALL_COOKIE_INT_REG_GET): Likewise.
2033
2034 2007-03-28  Steven Bosscher  <steven@gcc.gnu.org>
2035
2036         * ifcvt.c (cond_exec_find_if_block): Return FALSE if no
2037         transformations are applied successfully.
2038
2039 2007-03-27  Douglas Gregor  <doug.gregor@gmail.com>
2040
2041         * tree.c (tree_contains_struct): Permit 512 tree codes.
2042         * tree.h (tree_contains_struct): Ditto.
2043         (MAX_TREE_CODES): Ditto.
2044         (struct tree_base): Make CODE 16 bits, instead of 8 bits. Add
2045         SPARE member to store remaining padding bits.
2046
2047 2007-03-27  Anatoly Sokolov <aesok@post.ru>
2048
2049         * config/avr/avr.c (avr_mcu_types): Move at90usb82 device to 'avr4'
2050         architecture.
2051
2052 2007-03-27  Janis Johnson  <janis187@us.ibm.com>
2053
2054         * configure.ac: Fix assembler test for powerpc*-linux decimal float.
2055         * configure: Regenerate.
2056
2057         * configure: Regenerate using the correct version of autoconf.
2058
2059 2007-03-27  Anatoly Sokolov  <aesok@post.ru>
2060
2061         * config/avr/avr.c (avr_hard_regno_mode_ok): Disallow QImode in stack
2062         pointer regs.
2063         * config/avr/avr.h (REGISTER_NAMES): Rename "__SPL__" and "__SPH__"
2064         regs to "__SP_L__" and "__SP_H__".
2065
2066 2007-03-27  Richard Guenther  <rguenther@suse.de>
2067
2068         * tree-dfa.c (get_ref_base_and_extent): Replace bit_offset and
2069         computations with it with a HOST_WIDE_INT variable.
2070
2071 2007-03-26  Mike Stump  <mrs@apple.com>
2072
2073         * config/rs6000/darwin.h (DARWIN_MINVERSION_SPEC): Add
2074         objective-c-header, objective-c++-header and objc++-cpp-output
2075         support.
2076         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Likewise.
2077
2078 2007-03-26  Richard Henderson  <rth@redhat.com>
2079
2080         PR target/31361
2081         * config/i386/i386.c (IX86_BUILTIN_PSLLDQ128, IX86_BUILTIN_PSLLW128,
2082         IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128, IX86_BUILTIN_PSRAW128,
2083         IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128, IX86_BUILTIN_PSRLD128,
2084         IX86_BUILTIN_PSRLQ128): New.
2085         (ix86_init_mmx_sse_builtins): Add them.
2086         (ix86_expand_builtin): Expand them.
2087         * config/i386/sse.md (ashr<mode>3, lshr<mode>3, ashl<mode>3): Make
2088         operand 2 be TImode.
2089         * config/i386/emmintrin.h (_mm_slli_epi64, _mm_srai_epi16,
2090         _mm_srai_epi32, _mm_srli_epi16, _mm_srli_epi32,
2091         _mm_srli_epi64): Mark __B const.
2092         (_mm_srli_si128, _mm_srli_si128): Fix disabled inline versions.
2093         (_mm_sll_epi16, _mm_sll_epi32, _mm_sll_epi64, _mm_sra_epi16,
2094         _mm_sra_epi32, _mm_srl_epi16, _mm_srl_epi32, _mm_srl_epi64): Use
2095         new two-vector shift builtins.
2096
2097 2007-03-26  Ian Lance Taylor  <iant@google.com>
2098
2099         PR tree-optimization/31345
2100         * tree-vrp.c (extract_range_from_binary_expr): Turn ranges like
2101         [+INF, +INF(OVF)] into VARYING.
2102
2103 2007-03-26  Zack Weinberg  <zackw@panix.com>
2104
2105         * gengtype-parse.c: New file.
2106         * gengtype-yacc.y: Delete.
2107         * gengtype-lex.l: Don't include gengtype-yacc.h.
2108         Define YY_DECL and yyterminate appropriately for recursive
2109         descent parser.  yylval is now a string out-parameter to yylex.
2110         (HWS, EOID): New shorthand.
2111         (IWORD): Add a couple more types.
2112         (yylex): Add a setup stanza.  Remove the complex rules for
2113         detecting GTY'ed types and typedefs; replace with simple
2114         keyword detectors.  Adjust everything for the changed
2115         definition of yylval.  Ignore all pp-directives, not just #define.
2116         (yyerror): Delete.
2117         (parse_file): Rename yybegin; do not call yyparse.
2118         (yyend): New.
2119         * gengtype.c (xasprintf): Export again.
2120         (this_file): New.  Use everywhere __FILE__ was being used.
2121         (get_lang_bitmap): Special case types defined in gengtype.c.
2122         (do_typedef, new_structure): Suppress definition of certain types.
2123         (new_structure): Improve diagnostics of duplicate definitions.
2124         Make sure location_s is associated with input.h.
2125         (nreverse_pairs, define_location_structures): New functions.
2126         (main): Improve tagging of kludge types.  Remove old kludges
2127         for input.h types; use define_location_structures.
2128         * gengtype.h: Update prototypes.  Define token codes here.
2129         * Makefile.in: Remove all references to gengtype-yacc.
2130         Add rules for gengtype-parse.o.  Adjust rules for gengtype-lex.o
2131         and gengtype.
2132         * bitmap.h (struct bitmap_head_def): Coalesce definitions,
2133         add GTY((skip)) to the field that's only conditionally there.
2134         * doc/install.texi: Document that Bison is no longer required
2135         unless building treelang.
2136
2137         * gengtype.c: Don't include gtyp-gen.h.
2138         (srcdir): Declare here.
2139         (base_files, lang_dir_names): Allocate dynamically.
2140         (gt_files, num_gt_files, num_lang_dirs): New globals.
2141         (measure_input_list, read_input_line, read_input_list)
2142         (set_lang_bitmap): New functions.
2143         (get_base_file_bitmap): Rename get_lang_bitmap and drastically
2144         simplify, relying on read_input_list to set up the bitmaps.
2145         (main): Arguments are no longer unused.  Check for correct number
2146         of command line arguments, set srcdir and srcdir_len, then call
2147         read_input_list, before doing anything else.  No need to worry
2148         about duplicates in main loop.
2149         * configure.ac: Simplify the calculation of all_gtfiles.
2150         Put language tags in there.  Don't set or substitute
2151         all_gtfiles_files_langs or all_gtfiles_files_frags.
2152         * Makefile.in: Revamp the way gengtype is invoked, now that it
2153         takes a file on its command line with a much simpler format.
2154         Remove or replace with gtyp-input.list all references to gtyp-gen.h.
2155         (GTFILES): Remove duplicates and C source files.
2156         * c-config-lang.in, cp/config-lang.in, objc/config-lang.in
2157         * objcp/config-lang.in: Add c-pragma.h to gtfiles.
2158         * configure: Regenerate.
2159
2160         * gengtype.h: Remove all type definitions to gengtype.c; leave
2161         only definitions of options_p, type_p, and pair_p as opaque
2162         pointers.  Update prototypes.
2163         * gengtype.c: Many type definitions moved here from gengtype.h.
2164         Consolidate type definitions at the top of the file.
2165         (xvasprintf): Delete.
2166         (xasprintf): Make static.
2167         (create_nested_pointer_option): Add 'next' parameter.
2168         (create_field_all, create_field_at): New functions.
2169         (create_field): Now a thin wrapper around create_field_all.
2170         (create_optional_field): Rename create_optional_field_ and add
2171         line argument.  Original name is now a macro which supplies
2172         __LINE__.
2173         (oprintf): Use vsnprintf directly.
2174         (close_output_files): Use fatal rather than perror/exit.
2175         (note_def_vec, note_def_vec_alloc): Use create_field_at.
2176         (main): Set progname.  Don't use exit.
2177         * gengtype-yacc.y (struct_fields): Use create_field_at.
2178         (option, optionseqopt): Delete.
2179         (optionseq): Consolidate productions from option here so we
2180         can use the first argument to create_option.
2181
2182         * gengtype-lex.l: Distinguish unions from structures in the
2183         token type.  Don't call find_structure; return the tag as a string.
2184         * gengtype-yacc.y: Add new token types ENT_TYPEDEF_UNION and ENT_UNION.
2185         Type of these, ENT_TYPEDEF_STRUCT, and ENT_STRUCT is string.
2186         Reorganize typedef_struct production accordingly.
2187         Use create_nested_ptr_option.
2188         * gengtype.c (create_nested_ptr_option): New function.
2189         * gengtype.h: Declare it.
2190
2191         * gengtype.h (struct type): Replace 'sc' with boolean, scalar_is_char.
2192         (string_type): Don't declare.
2193         (do_scalar_typedef): Declare.
2194         (create_scalar_type): Update prototype.
2195         * gengtype.c (string_type): Make static.
2196         (scalar_nonchar, scalar_char): New.
2197         (do_scalar_typedef): Export.  Always use scalar_nonchar for the type.
2198         (resolve_typedef): Use scalar_nonchar for error recovery.
2199         (create_scalar_type): Remove name_len field.  Return scalar_char
2200         or scalar_nonchar as appropriate.
2201         (adjust_field_type): Look at scalar_is_char boolean to decide whether
2202         to use string_type.
2203         (throughout): Use scalar_nonchar instead of calling create_scalar_type,
2204         whenever possible.
2205         (main): Initialize scalar_char and scalar_nonchar before calling
2206         gen_rtx_next.
2207         * gengtype-lex.l: Adjust for removal of second argument to
2208         create_scalar_type.  Use yylval.s instead of yylval.t when
2209         returning SCALAR.
2210         * gengtype-yacc.y: Type of SCALAR is string.  Call
2211         create_scalar_type from type:SCALAR rule.  Adjust for removal of
2212         second argument to create_scalar_type.
2213
2214         * vec.h: Remove all #if IN_GENGTYPE blocks.
2215         Add comment saying that changes may require adjustments to gengtype.
2216         * gengtype.c: Don't include coretypes.h or tm.h.
2217         Add comment to inclusion of errors.h.
2218         (note_def_vec, note_def_vec_alloc): New functions.
2219         * gengtype.h: Declare new functions.
2220         * gengtype-lex.l: Don't include coretypes.h.
2221         (YY_INPUT, macro_input, push_macro_expansion, mangle_macro_name):
2222         Delete.
2223         (update_lineno): Remove unnecessary prototype.
2224         (DEF_VEC_* rules): Simplify using note_def_vec / note_def_vec_alloc.
2225         (VEC rule): Just return VEC_TOKEN.
2226         * gengtype-yacc.y (VEC_TOKEN): New token type.
2227         (type): Add a production for VEC(a,b).
2228         * Makefile.in: Update dependencies.
2229
2230         * gengtype-lex.l: Remove rules for parsing pointer-to-function
2231         typedefs that use the old PARAMS macro.
2232
2233         * gengtype-lex.l: Remove all rules and states relating to yacc
2234         input files.
2235         * gengtype-yacc.y: Similarly.
2236         * gengtype.c (note_yacc_type): Delete function.
2237         * gengtype.h: Update prototypes.
2238
2239 2007-03-26  Joseph Myers  <joseph@codesourcery.com>
2240
2241         * tree-pretty-print.c (dump_generic_node): Report precision of
2242         unnamed integer types.
2243
2244 2007-03-26  Steven Bosscher  <steven@gcc.gnu.org>
2245
2246         * ifcvt.c (noce_try_store_flag_constants): Don't check
2247         no_new_pseudos here.
2248         (noce_try_store_flag_constants): Don't check no_new_pseudos.
2249         (noce_try_addcc, noce_try_store_flag_mask, noce_try_cmove_arith,
2250         noce_try_cmove_arith, noce_try_minmax, noce_try_abs,
2251         noce_try_sign_mask): Likewise.
2252         (if_convert): Check no_new_pseudos here.
2253
2254         (cond_exec_process_if_block, noce_process_if_block, find_if_block):
2255         Remove prototypes.
2256         (struct noce_if_info): Add then_bb, else_bb, join_bb members.
2257         (noce_get_condition): Handle new then_else_reversed argument.
2258         (noce_init_if_info): Remove, fold into noce_find_if_block.
2259         (noce_process_if_block): Take a struct noce_if_info as the
2260         argument.  Don't set up one based on ce_if_info.  Update pointer
2261         references accordingly.
2262         (cond_move_process_if_block): Likewise.
2263         (process_if_block): Removed.
2264         (find_if_block): Removed.  Move functionality two new functions,
2265         noce_find_if_block and cond_exec_find_if_block.
2266         (noce_find_if_block): New function.  Be aware of IF-THEN-JOIN
2267         blocks and the symmetric IF-ELSE-JOIN case.
2268         (cond_exec_find_if_block): Also new function mostly based on old
2269         find_if_block and process_if_block.
2270         (find_if_header): Replace find_if_block call with separately
2271         guarded calls to noce_find_if_block and cond_exec_find_if_block.
2272         (find_cond_trap): Update noce_get_condition call.
2273         (dead_or_predicable): Likewise.
2274
2275 2007-03-26  Jakub Jelinek  <jakub@redhat.com>
2276
2277         * config/i386/i386.c (IX86_BUILTIN_CMPNEPD, IX86_BUILTIN_CMPNESD):
2278         Remove.
2279         (IX86_BUILTIN_PSLLW128, IX86_BUILTIN_PSLLD128, IX86_BUILTIN_PSLLQ128,
2280         IX86_BUILTIN_PSRAW128, IX86_BUILTIN_PSRAD128, IX86_BUILTIN_PSRLW128,
2281         IX86_BUILTIN_PSRLD128, IX86_BUILTIN_PSRLQ128): Remove.
2282         (ix86_init_mmx_sse_builtins): Remove v8hi_ftype_v8hi_v2di and
2283         v4si_ftype_v4si_v2di.  Remove __builtin_ia32_psllw128,
2284         __builtin_ia32_pslld128, __builtin_ia32_psllq128,
2285         __builtin_ia32_psrlw128, __builtin_ia32_psrld128,
2286         __builtin_ia32_psrlq128, __builtin_ia32_psraw128 and
2287         __builtin_ia32_psrad128 builtins.
2288
2289 2007-03-26  Uros Bizjak  <ubizjak@gmail.com>
2290
2291         * reg-stack.c (replace_reg): Use IN_RANGE macro in gcc_assert().
2292         * config/i386/constraints.md
2293         (define_constraint "I"): Use IN_RANGE macro.
2294         (define_constraint "J"): Ditto.
2295         (define_constraint "K"): Ditto.
2296         (define_constraint "M"): Ditto.
2297         (define_constraint "N"): Ditto.
2298         (define_constraint "O"): Ditto.
2299         * config/i386/predicates.md
2300         (define_predicate "register_no_elim_operand"): Use IN_RANGE macro.
2301         (define_predicate "const_0_to_3_operand"): Ditto.
2302         (define_predicate "const_0_to_7_operand"): Ditto.
2303         (define_predicate "const_0_to_15_operand"): Ditto.
2304         (define_predicate "const_0_to_63_operand"): Ditto.
2305         (define_predicate "const_0_to_255_operand"): Ditto.
2306         (define_predicate "const_1_to_31_operand"): Ditto.
2307         (define_predicate "const_2_to_3_operand"): Ditto.
2308         (define_predicate "const_4_to_7_operand"): Ditto.
2309
2310 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
2311
2312         * config/rs6000/rs6000.c (rs6000_emit_prologue): Always clobber LR
2313         in SImode for save_world.
2314         * config/rs6000/altivec.md (save_world, restore_world): Convert to
2315         LR hard reg.
2316
2317 2007-03-25  Dorit Nuzman  <dorit@il.ibm.com>
2318
2319         PR tree-optimization/30784
2320         * fold-const.c (fold_ternary): Handle CONSTRUCTOR in case
2321         BIT_FIELD_REF.
2322
2323 2007-03-25  Revital Eres  <eres@il.ibm.com>
2324
2325         * tree-if-conv.c (if_convertible_gimple_modify_stmt_p):
2326           Fold movement_possibility function into it.
2327
2328 2007-03-25  David Edelsohn  <edelsohn@gnu.org>
2329
2330         * config/rs6000/darwin.md (load_macho_picbase): Ignore operand 0.
2331         (load_macho_picbase_{si,di}): Convert to LR hard reg.
2332         (call_indirect_nonlocal_darwin64): Same.
2333         (call_nonlocal_darwin64): Same.
2334         (call_value_indirect_nonlocal_darwin64): Same.
2335         (call_value_nonlocal_darwin64): Same.
2336         (sibcall_nonlocal_darwin64): Same.
2337         (sibcall_value_nonlocal_darwin64): Same.
2338         (sibcall_symbolic_64): Same.
2339         (sibcall_value_symbolic_64): Same.
2340         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Remove
2341         LR pseudo.
2342         (rs6000_emit_load_toc_table): Same.
2343         * config/rs6000/altivec.md (restore_world): Convert to LR hard reg.
2344         * config/rs6000/rs6000.md (mulh_call): Convert to LR hard reg.
2345         (mull_call): Same.
2346         (divss_call): Same.
2347         (divus_call): Same.
2348         (quoss_call): Same.
2349         (quous_call): Same.
2350         (load_toc_v4_pic_si): Same
2351         (load_toc_v4_PIC_1): Same.
2352         (load_toc_v4_PIC_1b): Same.
2353         (call_indirect_aix{32,64}): Same.
2354         (call_value_indirect_aix{32,64}): Same.
2355         (call): Same.
2356         (call_value): Same.
2357         (call_local{32,64}): Same.
2358         (call_value_local{32,64}): Same.
2359         (call_indirect_nonlocal_aix{32,64}): Same.
2360         (call_nonlocal_aix{32,64}): Same.
2361         (call_value_indirect_nonlocal_aix{32,64}): Same.
2362         (call_value_nonlocal_aix{32,64}): Same.
2363         (call_indirect_nonlocal_sysv<mode>): Same.
2364         (call_nonlocal_sysv<mode>): Same.
2365         (call_value_indirect_nonlocal_sysv<mode>): Same.
2366         (call_value_nonlocal_sysv<mode>): Same.
2367         (sibcall): Same.
2368         (sibcall_local{32,64}): Same.
2369         (sibcall_value_local{32,64}): Same.
2370         (sibcall_nonlocal_aix{32,64}): Same.
2371         (sibcall_value_nonlocal_aix{32,64}): Same.
2372         (sibcall_nonlocal_sysv<mode>): Same.
2373         (sibcall_value): Same.
2374         (sibcall_value_nonlocal_sysv<mode>): Same.
2375
2376 2007-03-24  Paul Brook  <paul@codesourcery.com>
2377
2378         * config/arm/lib1funcs.asm (div0): Use ARM_FUNC_START and do_push.
2379         * config/arm/linux-eabi.h: Remove legacy syscall hack.
2380
2381 2007-03-24  Richard Henderson  <rth@redhat.com>
2382
2383         * config/ia64/constraints.md: New file.
2384         * config/ia64/predicates.md: Replace CONST_OK_FOR_? with
2385         satisfies_constraint_?.
2386         * config/ia64/ia64.c (ia64_move_ok, ia64_legitimate_constant_p,
2387         ia64_reload_gp, spill_restore_mem, ia64_expand_prologue,
2388         ia64_expand_epilogue, ia64_split_return_addr_rtx, ia64_rtx_costs,
2389         ia64_output_mi_thunk): Likewise.
2390         (ia64_const_ok_for_letter_p): Remove.
2391         (ia64_const_double_ok_for_letter_p): Remove.
2392         (ia64_extra_constraint): Remove.
2393         * config/ia64/ia64.h (REG_CLASS_FROM_LETTER): Remove.
2394         (CONST_OK_FOR_I, CONST_OK_FOR_J, CONST_OK_FOR_K, CONST_OK_FOR_L,
2395         CONST_OK_FOR_M, CONST_OK_FOR_N, CONST_OK_FOR_O, CONST_OK_FOR_P,
2396         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_G,
2397         CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT,
2398         EXTRA_MEMORY_CONSTRAINT): Remove.
2399         * config/ia64/ia64.md: Include constriants.md.  Replace
2400         CONST_OK_FOR_? with satisfies_constraint_?.
2401
2402 2007-03-23  Michael Meissner  <michael.meissner@amd.com>
2403             H.J. Lu  <hongjiu.lu@intel.com>
2404
2405         * config/dfp-bit.h (DPD_BID_NAME): New macro to give either the
2406         DPD or BID name.
2407         (name macros): Use DPD_BID_NAME to convert names properly.
2408
2409         * optabs.c (DECIMAL_PREFIX): Prefix string to use for the current
2410         decimal floating point format.
2411         (init_floating_libfuncs): Change decimal functions so that they
2412         have a "bid_" prefix if the decimal system uses the BID format,
2413         and "dpd_" prefix if the decimal system uses the DPD format.
2414         (init_interclass_conv_libfuncs): Ditto.
2415         (init_intraclass_conv_libfuncs): Ditto.
2416
2417         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
2418         using the BID format.
2419
2420         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
2421         whether we are using the BID decimal format.
2422         * configure: Regenerate.
2423
2424         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
2425         the compiler has decimal floating point enabled.  Define
2426         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
2427         instead of DPD.
2428
2429         * config.in (ENABLE_DECIMAL_BID_FORMAT): New macro to say we are
2430         using the BID format.
2431
2432         * configure.ac (ENABLE_DECIMAL_BID_FORMAT): Set to 1/0 to say
2433         whether we are using the BID decimal format.
2434         * configure: Regenerate.
2435
2436         * c-cppbuiltin.c (c_cpp_builtins): Define __STDC_WANT_DEC_FP__ if
2437         the compiler has decimal floating point enabled.  Define
2438         __DECIMAL_BID_FORMAT__ if BID decimal floating point is used
2439         instead of DPD.
2440
2441         * doc/install.texi (--enable-decimal-float): Document BID and DPD
2442         options, and that it is enabled for i386/x86_64 systems.
2443
2444         * Makefile.in (enable_decimal_float): New.
2445         (DECNUMFMT): New.
2446         (DECNUMINC): Add  -I$(DECNUMFMT).
2447         (DECNUM_H): Mov decimal32.h, decimal64.h and decimal128.h
2448         to $(DECNUMFMT) from $(DECNUM).
2449
2450         * configure.ac: Support * --enable-decimal-float={no,yes,bid,dpd}.
2451         Substitute enable_decimal_float.
2452         * configure: Regenerated.
2453
2454         PR other/30529
2455         * config/dfp-bit.c (__dec_byte_swap): Use uint32_t instead of
2456         unsigned long.
2457
2458         * configure.ac: Enable decimal float for x86_64-*-linux*.
2459         * configure: Regenerated.
2460
2461         PR other/30530
2462         * dfp.c (decimal_real_arithmetic): Use decimal128FlipSign and
2463         decimal128ClearSign to flip and clear the sign bit in decimal128.
2464         (decimal_real_maxval): Set decimal128SetSign to set the sign
2465         bit in decimal128.
2466
2467 2007-03-23  Ian Lance Taylor  <iant@google.com>
2468
2469         * fold-const.c (fold_binary): Correct warning for X - c >= X.
2470
2471 2007-03-23  Ian Lance Taylor  <iant@google.com>
2472
2473         * tree-dump.c (dump_files): Correct comment.
2474
2475 2007-03-23  Ian Lance Taylor  <iant@google.com>
2476
2477         * tree-vrp.c (operand_less_p): Ignore fold overflow warnings.
2478
2479 2007-03-23  Steven Bosscher  <steven@gcc.gnu.org>
2480
2481         * tracer.c (tracer): Don't take FLAGS argument.  Assert we are
2482         in cfglayout mode.  Don't go into and out of cfglayout mode.
2483         Link the blocks in the order of the constructed traces.
2484         (rest_of_handle_tracer): Adjust call to tracer.
2485         * loop-init.c (rtl_loop_init): Assert we are in cfglayout mode.
2486         Don't go into cfglayout mode.
2487         (rtl_loop_done): Don't go out of cfglayout mode.
2488         * cfglayout.c (relink_block_chain): New function, split out from...
2489         (fixup_reorder_chain): ...here.  Remove redundant checking.
2490         (cfg_layout_finalize): Don't clear the header, footer, and aux
2491         fields here, move the code to do so to relink_block_chain.  Likewise
2492         for free_original_copy_tables.
2493         * rtl.h (tracer): Update prototype.
2494         * bb-reorder.c (reorder_basic_blocks): Don't take FLAGS argument.
2495         Assert we are in cfglayout mode.  Don't go into and out of cfglayout
2496         mode.  Use relink_block_chain to serialize the CFG according to the
2497         new basic block order.  Move targetm.cannot_modify_jumps_p check from
2498         here...
2499         (gate_handle_reorder_blocks): ...to here.
2500         (duplicate_computed_gotos): Move targetm.cannot_modify_jumps_p check
2501         from here...
2502         (gate_duplicate_computed_gotos): ...to here.
2503         (rest_of_handle_reorder_blocks): Don't see if anything has changed,
2504         something always changes when going into and out of cfglayout mode.
2505         Perform an expensive cfg cleanup while going into cfglayout mode.
2506         Always update liveness information on HAVE_conditional_execution
2507         targets.  Reserialize the basic blocks and go out of cfglayout mode.
2508         * reg-stack.c: Include cfglayout.h.
2509         (rest_of_handle_stack_regs): Go into and out of cfglayout mode around
2510         the call to reorder_basic_blocks.
2511         * basic-block.h (reorder_basic_blocks): Update prototype.
2512         (relink_block_chain): New prototype.
2513         * passes.c (pass_outof_cfg_layout_mode): Move after cse2.
2514
2515 2007-03-23  Joseph Myers  <joseph@codesourcery.com>
2516
2517         * config/mips/mips.md (type, hazard, *movdi_32bit,
2518         *movdi_gp32_fp64, *movdi_64bit, *movsi_internal, movcc,
2519         *movhi_internal, *movqi_internal, *movsf_hardfloat,
2520         *movdf_hardfloat_64bit, *movdf_hardfloat_32bit, *movdf_softfloat,
2521         movv2sf_hardfloat_64bit, load_df_low, load_df_high, store_df_high,
2522         mthc1, mfhc1): Change xfer instruction type to mfc and mtc, as
2523         applicable.
2524         (movcc): Change first xfer to multi.
2525         * config/mips/24k.md, config/mips/4100.md, config/mips/4300.md,
2526         config/mips/5000.md, config/mips/5400.md, config/mips/5500.md,
2527         config/mips/5k.md, config/mips/7000.md, config/mips/9000.md,
2528         config/mips/generic.md: Change reservations using "xfer" to use
2529         "mfc,mtc".
2530         * config/mips/sb1.md (ir_sb1_mtxfer): Use "mtc" instead of
2531         using match_operand.
2532         (ir_sb1_mfxfer): Use "mfc" instead of using match_operand.
2533         * config/mips/sr71k.md (ir_sr70_xfer_from): Use "mfc" instead of
2534         examining mode.
2535         (ir_sr70_xfer_to): Use "mtc" instead of examining mode.
2536
2537 2007-03-22  Richard Henderson  <rth@redhat.com>
2538
2539         * config/i386/i386.c: Remove unnecessary function declarations.
2540         Move targetm definition, and all related macros, to the end of
2541         the file.  Resort some functions to put definitions before uses.
2542         (ix86_attribute_table): Make static.  Move to end of file.
2543         (ix86_gimplify_va_arg): Make static.
2544
2545 2007-03-22  Richard Henderson  <rth@redhat.com>
2546
2547         * config/i386/i386.c (ix86_function_regparm): Early exit for 64-bit;
2548         don't increase local_regparm with force_align_arg_pointer check.
2549         (ix86_function_sseregparm): Assert 32-bit.
2550         (type_has_variadic_args_p): New.
2551         (ix86_return_pops_args): Early exit for 64-bit.  Reindent; use
2552         type_has_variadic_args_p.
2553         (ix86_function_arg_regno_p): Use == 0 instead of ! test for eax.
2554         (init_cumulative_args): Remove TARGET_DEBUG_ARG.  Remove zero_cum;
2555         use memset instead.  Do maybe_vaarg check first; skip attribute
2556         tests if true; skip attribute tests for 64-bit.
2557         (construct_container): Remove TARGET_DEBUG_ARG.
2558         (function_arg_advance_32, function_arg_advance_64): Split out ...
2559         (function_arg_advance): ... from here.
2560         (function_arg_32, function_arg_64): Split out ...
2561         (function_arg): ... from here.
2562         (ix86_pass_by_reference): Tidy.
2563         (ix86_function_value_regno_p): Rearrange w/ switch on regno.
2564         (function_value_32): New, from parts of ix86_function_value
2565         and ix86_value_regno.
2566         (function_value_64): New, from parts of ix86_function_value
2567         and ix86_libcall_value.
2568         (ix86_function_value_1): New.
2569         (ix86_function_value, ix86_libcall_value): Use it.
2570         (return_in_memory_32, return_in_memory_64): Split out ...
2571         (ix86_return_in_memory): ... from here.
2572         (ix86_struct_value_rtx): Skip for 64-bit.
2573         (ix86_libcall_value, ix86_value_regno): Remove.
2574         (setup_incoming_varargs_64): Split out ...
2575         (ix86_setup_incoming_varargs): ... from here.
2576         (ix86_va_start): Remove TARGET_DEBUG_ARG.
2577         (legitimate_address_p, legitimize_address): Remove TARGET_DEBUG_ADDR.
2578         * config/i386/i386-protos.h (ix86_function_value): Remove.
2579         * config/i386/i386.opt (TARGET_DEBUG_ADDR, TARGET_DEBUG_ARG): Remove.
2580
2581 2007-03-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2582
2583         PR other/23572
2584         * c-lex.c (interpret_float): On overflow, emit pedantic warning if
2585         infinities not supported, otherwise emit warning if -Woverflow. On
2586         underflow, emit warning if -Woverflow.
2587         * real.c (real_from_string): Return -1 if underflow, +1 if overflow
2588         and 0 otherwise.
2589         * real.h (real_from_string): Update declaration
2590
2591 2007-03-22  Kai Tietz  <kai.tietz@onevision.com>
2592             Richard Henderson  <rth@redhat.com>
2593
2594         * defaults.h (OUTGOING_REG_PARM_STACK_SPACE): Provide default.
2595         * calls.c (compute_argument_block_size, expand_call,
2596         emit_library_call_value_1): Don't ifdef OUTGOING_REG_PARM_STACK_SPACE.
2597         * expr.c (block_move_libcall_safe_for_call_parm): Likewise.
2598         * function.c (STACK_DYNAMIC_OFFSET): Likewise.
2599         * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Update.
2600         * config/alpha/unicosmk.h, config/bfin/bfin.h, config/iq2000/iq2000.h,
2601         config/mips/mips.h, config/mn10300/mn10300.h, config/mt/mt.h,
2602         config/pa/pa.h, config/rs6000/rs6000.h, config/score/score.h,
2603         config/spu/spu.h, config/v850/v850.h (OUTGOING_REG_PARM_STACK_SPACE):
2604         Set to 1.
2605
2606 2007-03-22  Joseph Myers  <joseph@codesourcery.com>
2607
2608         * c-incpath.c (add_sysroot_to_chain): New.
2609         (merge_include_chains): Add sysroot argument.  Call
2610         add_sysroot_to_chain if sysrooted.
2611         (register_include_chains): Update call to merge_include_chains.
2612         * doc/cppopts.texi: Document use of '=' in include directory
2613         arguments.
2614
2615 2007-03-22  Uros Bizjak  <ubizjak@gmail.com>
2616
2617         * config/i386/i386.md (cmp<mode>): Rename from cmpsf and cmpdf.
2618         Macroize expander using SSEMODEF mode macro.  Use SSE_FLOAT_MODE_P.
2619         (*cmpfp_<mode>): Rename from *cmpfp_sf and *cmpfp_df. Macroize
2620         insn pattern using X87MODEF12 mode macro.
2621
2622 2007-03-21  Seongbae Park <seongbae.park@gmail.com>
2623
2624         * regmove.c (regmove_optimize): Use reg_mentioned_p
2625         instead of reg_overlap_mentioned_p for DST.
2626
2627 2007-03-21  Mike Stump  <mrs@apple.com>
2628
2629         * c.opt: Fixup for Objective-C/C++.
2630
2631 2007-03-21  Steve Ellcey  <sje@cup.hp.com>
2632
2633         * explow.c (convert_memory_address): Fold memory reference when
2634         POINTERS_EXTEND_UNSIGNED < 0
2635
2636 2007-03-21  Richard Henderson  <rth@redhat.com>
2637
2638         PR target/31245
2639         * config/i386/emmintrin.h (__m128i, __m128d): Mark may_alias.
2640         * config/i386/mmintrin.h (__m64): Likewise.
2641         * config/i386/xmmintrin.h (__m128): Likewise.
2642
2643 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
2644
2645         * config/vxworks.h (VXWORKS_ADDITIONAL_CPP_SPEC): Remove -D options.
2646         (VXWORKS_OS_CPP_BUILTINS): Define.
2647         * config/i386/vxworks.h (VXWORKS_CPU_DEFINE): Fold into...
2648         (TARGET_OS_CPP_BUILTINS): ...here.  Use VXWORKS_OS_CPP_BUILTINS.
2649
2650 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
2651
2652         * rtl.h (constant_pool_reference_p): Delete.
2653         (find_constant_src): Declare.
2654         * rtlanal.c (find_constant_src): New function.
2655         * simplify-rtx.c (constant_pool_reference_p): Delete.
2656         * config/i386/i386.md: Use find_constant_src instead of
2657         constant_pool_reference_p/avoid_constant_pool_reference pairs.
2658
2659 2007-03-21  Richard Sandiford  <richard@codesourcery.com>
2660
2661         * doc/invoke.texi (-fpie, -fPIE): Document __pie__ and __PIE__.
2662         * c-cppbuiltin.c (c_cpp_builtins): Define them.
2663
2664 2007-03-20  Mark Mitchell  <mark@codesourcery.com>
2665
2666         * config/arm/elf.h (TARGET_ASM_DESTRUCTOR): Define.
2667         * config/arm/arm.c (arm_elf_asm_cdtor): New function.
2668         (arm_elf_asm_constructor): Use it.
2669         (arm_elf_asm_destructor): New function.
2670
2671 2007-03-20  Bernd Schmidt  <bernd.schmidt@analog.com>
2672
2673         * jump.c (mark_jump_label): Treat SEQUENCE specially.
2674
2675 2007-03-20  Nathan Sidwell  <nathan@codesourcery.com>
2676
2677         * config/vxlib.c (tls_delete_hook): Use TCB for kernel tasks.
2678
2679 2007-03-19  Andrew Haley  <aph@redhat.com>
2680
2681         PR tree-optimization/31264
2682         * tree-vrp.c (register_edge_assert_for_1): Don't look though
2683         VIEW_CONVERT_EXPRs.
2684
2685 2007-03-19  Paolo Bonzini  <bonzini@gnu.org>
2686
2687         PR rtl-optimization/30907
2688         * fwprop.c (forward_propagate_into): Never propagate inside a loop.
2689         (fwprop_init): Always call loop_optimizer_initialize.
2690         (fwprop_done): Always call loop_optimizer_finalize.
2691         (fwprop): We always have loop info now.
2692         (gate_fwprop_addr): Remove.
2693         (pass_fwprop_addr): Use gate_fwprop as gate.
2694
2695         PR rtl-optimization/30841
2696         * df-problems.c (df_ru_local_compute, df_rd_local_compute,
2697         df_chain_alloc): Call df_reorganize_refs unconditionally.
2698         * df-scan.c (df_rescan_blocks, df_reorganize_refs): Change
2699         refs_organized to refs_organized_size.
2700         (df_ref_create_structure): Use refs_organized_size instead of
2701         bitmap_size if refs had been organized, and keep refs_organized_size
2702         up-to-date.
2703         * df.h (struct df_ref_info): Change refs_organized to
2704         refs_organized_size.
2705         (DF_DEFS_SIZE, DF_USES_SIZE): Use refs_organized_size instead of
2706         bitmap_size.
2707
2708 2007-03-19  Mark Mitchell  <mark@codesourcery.com>
2709
2710         * except.c (output_function_exception_table): Do not reference the
2711         EH personality routine for functions that do not require an
2712         exception table.
2713
2714 2007-03-20  Jakub Jelinek  <jakub@redhat.com>
2715
2716         PR c/30762
2717         * c-typeck.c (convert_for_assignment): Call comptypes for
2718         RECORD_TYPE or UNION_TYPE.
2719
2720         PR inline-asm/30505
2721         * reload1.c (reload): Do invalid ASM checking after
2722         cleanup_subreg_operands.
2723
2724 2007-03-19  Jeff Law  <law@redhat.com>
2725
2726         * tree-cfg.c (find_taken_edge): Tighten conditions for
2727         optimizing computed gotos.
2728
2729 2007-03-19  Michael Matz  <matz@suse.de>
2730
2731         * builtins.c (expand_builtin_sync_operation,
2732         expand_builtin_compare_and_swap,
2733         expand_builtin_lock_test_and_set): Care for extending CONST_INTs
2734         correctly.
2735
2736         * config/i386/sync.md (sync_double_compare_and_swapdi_pic,
2737         sync_double_compare_and_swap_ccdi_pic): Use "SD" as constraint
2738         for operand 3.
2739
2740 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2741
2742         * doc/tm.texi: Add brackets around the return type of
2743         TARGET_SECONDARY_RELOAD.
2744
2745 2007-03-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2746         Richard Guenther  <rguenther@suse.de>
2747
2748         PR tree-optimization/31254
2749         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1):
2750         Use handled_component_p () where appropriate.  Continue
2751         propagating into the rhs if we propagated into an INDIRECT_REF
2752         on the lhs.
2753
2754 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2755
2756         * config/s390/s390.md (op_type attribute): RRR instruction type added.
2757         (FP, DFP, SD_SF, DD_DF, TD_TF): New mode macros.
2758         (xde, xdee): Mode attributes adjusted to support DFP modes.
2759         (RRer, f0, op1, Rf, bt, bfp, HALF_TMODE): New mode attributes added.
2760         ("cmp<mode>", "*cmp<mode>_css_0", "*cmp<mode>_ccs", TF move splitters,
2761         DF move splitters, "floatdi<mode>2", "add<mode>3", "*add<mode>3",
2762         "*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3", "*sub<mode>3",
2763         "*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3", "*mul<mode>3",
2764         "div<mode>3", "*div<mode>3", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
2765         "*negabs<mode>2_nocc", "copysign<mode>3"): Adjusted to support DFP
2766         numbers.
2767         ("*movtf_64", "*movtf_31", "*movdf_64dfp", "*movdf_64", "*movdf_31",
2768         "movsf"): Insn definitions removed.
2769         ("*mov<mode>_64", "*mov<mode>_31", "mov<mode>", "*mov<mode>_64dfp",
2770         "*mov<mode>_64", "*mov<mode>_31", "fix_trunc<DFP:mode>di2",
2771         "trunctddd2", "truncddsd2", "extendddtd2", "extendsddd2"): Insn
2772         definitions added.
2773         ("fixuns_truncdddi2", "fixuns_trunctddi2", "mov<mode>",
2774         "reload_in<mode>", "reload_out<mode>"): Expander added.
2775         ("movtf", "movdf", "reload_outtf", "reload_outdf", "reload_intf"):
2776         Expander removed.
2777
2778 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2779
2780         * config/s390/s390.md: Only non-functional changes.  Renamed
2781         FPR mode macro to BFP all over the file.
2782
2783 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2784
2785         * config/s390/s390.md (UNSPEC_COPYSIGN): New constant.
2786         (op_type attribute): RRF instruction type added.
2787         (fT0): New mode attribute.
2788         ("*movdi_64dfp", "*movdf_64dfp", "*neg<mode>2_nocc", "*abs<mode>2_nocc",
2789         "*negabs<mode>2_nocc", "copysign<mode>3"): Insn definitions added.
2790         * config/s390/s390.h (SECONDARY_MEMORY_NEEDED): Due to a new instruction
2791         no secondary memory is needed when moving DFmode values between GPRs
2792         and FPRs.
2793
2794 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2795
2796         * config/s390/s390.opt ("mhard-float", "msoft-float"): Bit value
2797         inverted and documentation adjusted.
2798         ("mhard-dfp", "msoft-dfp"): New options.
2799         * config/s390/s390.c (s390_handle_arch_option): New architecture
2800         switch: z9-ec.
2801         (override_options): Sanity checks for the new options added.
2802         * config.gcc: New architecture switch: z9-ec.
2803         * config/s390/s390.h (processor_flags): PF_DFP added.
2804         (TARGET_CPU_DFP, TARGET_DFP): Macro definitions added.
2805         (TARGET_DEFAULT): Due to the s390.opt changes hard float is enabled
2806         when the bit is NOT set so remove it from the defaults.
2807
2808 2007-03-19  Andreas Krebbel  <krebbel1@de.ibm.com>
2809
2810         * genemit.c (main): Print include statement for dfp.h.
2811         * dfp.h (decimal_real_arithmetic): Hide prototype if tree_code enum
2812         is not available.
2813
2814 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
2815
2816         * config/cris/t-elfmulti (EXTRA_MULTILIB_PARTS): Do not define here.
2817
2818 2007-03-19  Kaz Kojima  <kkojima@gcc.gnu.org>
2819
2820         PR target/31022
2821         * config/sh/sh.c (sh_adjust_cost): Use the result of single_set
2822         instead of PATTERN.
2823
2824 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2825
2826         * pa.c (output_deferred_plabels, output_bb, output_millicode_call,
2827         attr_length_call, output_call, output_indirect_call): Cleanup
2828         formatting of targetm calls.
2829
2830 2007-03-19  Hans-Peter Nilsson  <hp@axis.com>
2831
2832         * config/cris/cris.h (HANDLE_PRAGMA_PACK_PUSH_POP): Define to 1.
2833
2834 2007-03-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2835
2836         * pa.md: Add fpstore_load and store_fpload instruction types.  Provide
2837         reservation, bypass and anti-bypass descriptions for these instructions.
2838         Update move patterns.
2839         * pa.c (hppa_fpstore_bypass_p): Check for both TYPE_FPSTORE_LOAD and
2840         TYPE_FPSTORE.
2841
2842 2007-03-18  Dorit Nuzman  <dorit@il.ibm.com>
2843
2844         * tree-vect-transform.c (get_initial_def_for_induction): Replace
2845         GET_MODE_NUNITS with TYPE_VECTOR_SUBPARTS.
2846         (get_initial_def_for_reduction): Likewise.
2847
2848 2007-03-16  Daniel Berlin  <dberlin@dberlin.org>
2849
2850         Fix PR tree-optimization/29922
2851         * tree-ssa-pre.c (bb_bitmap_sets): Remove RVUSE_* members.
2852         (get_representative): Removed.
2853         (value_dies_in_block_x): Update for rvuse removal.
2854         (valid_in_sets): Update for renaming of vuses_dies_in_block_x.
2855         (compute_antic_aux): Handle when PHI nodes appear in
2856         non-single-successors.
2857         (dump_bitmap_of_names): Removed.
2858         (compute_antic_safe): Renamed and removed rvuse calculation.
2859         Calculate only antic safe.
2860         (insert_into_preds_of_block): Remove assert.
2861         (execute_pre): Update for renamed functions.
2862         (defer_or_phi_translate_block): New function.
2863
2864 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
2865
2866         * config/arm/arm.c, config/arm/thumb2.md, config/m68k/m68k.c,
2867         config/spu/spu.c, omega.h, passes.c, predict.c: Fix comment
2868         typos.
2869         * doc/cpp.texi, doc/extend.texi, doc/invoke.texi: Fix typos.
2870         Follow spelling conventions.
2871
2872         * tree-data-ref.h: Remove the prototype for analyze_array.
2873
2874 2007-03-17  Dorit Nuzman  <dorit@il.ibm.com>
2875
2876         PR tree-optimization/31041
2877         * tree-vect-transform.c (get_initial_def_for_induction): Call
2878         force_gimple_operand.
2879
2880 2007-03-17  Olga Golovanevsky  <olga@il.ibm.com>
2881
2882         * ipa-type-escape.c (look_for_casts) : Revert code to use
2883         handled_component_p due to ada test a-numaux.adb.
2884
2885 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
2886
2887         * final.c (final_scan_insn): Alter the condition of a
2888         conditional trap if we have nonstandard CC.
2889
2890 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
2891
2892         * configure.ac: Remove excess quoting from asm line 0 test.
2893         * configure: Rebuilt.
2894
2895 2007-03-16  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2896
2897         * doc/invoke.texi (-Wconversion): Document warnings specific to C++.
2898         * c-common.c (convert_and_check): Move warning logic to...
2899         (warnings_for_convert_and_check): ...here. Define.
2900         * c-common.h (warnings_for_convert_and_check): Declare.
2901
2902 2007-03-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2903
2904         * pa.c (attr_length_call): Partially revert change of 2007-03-09.
2905         (output_call): Likewise.
2906
2907 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
2908
2909         * config/vxworks.h (SUPPORTS_INIT_PRIORITY): Define.
2910
2911 2007-03-16  Richard Sandiford  <richard@codesourcery.com>
2912
2913         * config/vx-common.h (WINT_TYPE, WINT_TYPE_SIZE): Define.
2914
2915 2007-03-16  Uros Bizjak  <ubizjak@gmail.com>
2916
2917         * config/i386/i386.c (override_options): Add PTA_NO_SAHF to k8,
2918         opteron, athlon-64 and athlon-fx processor_alias_table entries.
2919
2920 2007-03-16  Sebastian Pop  <sebastian.pop@inria.fr>
2921
2922         PR tree-optimization/31183
2923         * tree-loop-linear.c (gather_interchange_stats, try_interchange_loops):
2924         Use double_int instead of unsigned int for representing access_strides.
2925         * testsuite/gcc.dg/tree-ssa/pr31183.c: New.
2926
2927 2007-03-16  Richard Guenther  <rguenther@suse.de>
2928
2929         PR tree-optimization/31146
2930         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Restructure
2931         to allow recursion of forward_propagate_addr_expr.
2932         (forward_propagate_addr_into_variable_array_index): Likewise.
2933         (forward_propagate_addr_expr): Likewise.
2934         (tree_ssa_forward_propagate_single_use_vars): Likewise.
2935         (forward_propagate_addr_expr_1): Recurse on simple copies
2936         instead of propagating into them.  Do so for useless conversions
2937         as well.
2938         (forward_propagate_addr_expr): Clean up unused statements after
2939         recursion.
2940
2941 2007-03-16  Richard Guenther  <rguenther@suse.de>
2942
2943         * builtins.c (expand_builtin_cexpi): Use the right argument
2944         for the expansion via cexp.
2945
2946 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
2947
2948         * configure.ac: Don't require ELF binutils to tolerate # 0 "".
2949         * configure: Rebuilt.
2950
2951 2007-03-16  Alexandre Oliva  <aoliva@redhat.com>
2952
2953         PR debug/29906
2954         * dwarf2out.c (force_type_die): Adjust comment.
2955         (dwarf2out_imported_module_or_decl): Handle base AT_import types.
2956
2957 2007-03-15  DJ Delorie  <dj@redhat.com>
2958
2959         * config/frv/predicates.md (minmax_operator): Don't check operands
2960         here.
2961
2962 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
2963
2964         * tree-ssa-loop-niter.c (record_estimate): Add "upper" argument.
2965         Update constant estimates of number of iterations.
2966         (record_nonwrapping_iv): Add "upper" argument.  "data_size_bounds_p"
2967         argument renamed to "realistic".
2968         (compute_estimated_nb_iterations): Removed.
2969         (record_niter_bound): New function.
2970         (idx_infer_loop_bounds): For possible but unlikely tail arrays,
2971         call record_nonwrapping_iv with upper = false.
2972         (infer_loop_bounds_from_signedness): Pass upper argument to
2973         record_nonwrapping_iv.
2974         (estimate_numbers_of_iterations_loop): Do not call
2975         compute_estimated_nb_iterations.  Record estimate based on profile
2976         information.  Initialize the constant estimates of number of
2977         iterations.
2978         * tree-data-ref.c (estimated_loop_iterations): Return the recorded
2979         estimates.
2980         * tree-ssa-loop-prefetch.c (loop_prefetch_arrays): Add dump when
2981         number of iterations is too small.
2982         * cfgloop.h (struct nb_iter_bound): Remove "realistic" field.
2983         (EST_NOT_AVAILABLE): Removed.
2984         (struct loop): Replace estimated_nb_iterations by any_upper_bound,
2985         nb_iterations_upper_bound, any_estimate and nb_iterations_estimate
2986         fields.
2987
2988 2007-03-15  Zdenek Dvorak  <dvorakz@suse.cz>
2989
2990         * tree-ssa-loop-niter.c (refine_bounds_using_guard, bound_difference):
2991         Handle NE_EXPR guards.
2992
2993 2007-03-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2994
2995         PR c++/24924
2996         * c-opts.c (c_common_post_options): Handle C++ post-processing here.
2997         Set also -pedantic-errors by default for the  preprocessor unless
2998         -fpermissive is given.
2999
3000 2007-03-15  Richard Guenther  <rguenther@suse.de>
3001
3002         PR middle-end/29719
3003         PR middle-end/31161
3004         * builtins.c (expand_builtin_cexpi): As a fallback if we
3005         don't have builtins for sincos or cexp create a function
3006         declaration for cexp and expand to a call to that.
3007         (expand_builtin_int_roundingfn): Always fall
3008         back to floor/ceil and its variants even if they may be
3009         not available.
3010
3011 2007-03-15  Steven Bosscher  <steven@gcc.gnu.org>
3012
3013         PR middle-end/31159
3014         * cfglayout.c (fixup_reorder_chain): Postpone deleting dead
3015         jump tables, move the call to delete_dead_jumptables from here...
3016         (cfg_layout_finalize): ...to here.  But rebuild jump labels first.
3017         * cfgrtl.c (cfg_layout_can_merge_blocks_p): When not optimizing,
3018         don't allow merging of blocks that try_redirect_by_replacing_jump
3019         also does not handle when not optimizing.
3020
3021 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
3022             Francois-Xavier Coudert  <coudert@clipper.ens.fr>
3023
3024         * config/i386/i386.md (x86_sahf_1): Correctly handle
3025         HAVE_AS_IX86_SAHF.
3026
3027 2007-03-15  Uros Bizjak  <ubizjak@gmail.com>
3028
3029         PR target/31167
3030         * config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use
3031         x86_64_general_operand as operand[2] predicate.  Remove "iF"
3032         from operand constraints and use "e" constraint instead.
3033         (*subti3_1, *subti3_1 splitter): Ditto.
3034         (*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as
3035         operand[1] predicate.
3036
3037 2007-03-14  Sebastian Pop  <sebastian.pop@inria.fr>
3038
3039         * tree-loop-linear.c (gather_interchange_stats): For multidimensional
3040         arrays, multiply the access strides by the size of the sub-array.
3041         * testsuite/gcc.dg/tree-ssa/ltrans-5.c: New.
3042
3043 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
3044
3045         * configure.ac (HAVE_AS_IX86_SAHF): On x86 targets check whether
3046         the configured assembler supports the sahf mnemonic.
3047         * configure: Regenerate.
3048         * config.in: Regenerate.
3049
3050         * config/i386/i386.md (x86_sahf_1): Depending on HAVE_AS_IX86_SAHF,
3051         emit "sahf" or ".byte\t0x9e" as asm template.
3052
3053 2007-03-14  Michael Meissner  <michael.meissner@amd.com>
3054
3055         PR 31018
3056         * config/i386/i386.h (X86_TUNE_SHORTEN_X87_SSE): New tuning
3057         option to replace hard coded TARGET_xxx in md file.
3058         (X86_TUNE_AVOID_VECTOR_DECODE): Ditto.
3059         (X86_TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3060         (X86_TUNE_SLOW_IMUL_IMM8): Ditto.
3061         (X86_TUNE_MOVE_M1_VIA_OR): Ditto.
3062         (X86_TUNE_NOT_UNPAIRABLE): Ditto.
3063         (X86_TUNE_NOT_VECTORMODE): Ditto.
3064         (TUNE_SHORTEN_X87_SSE): Use new tuning option.
3065         (TUNE_AVOID_VECTOR_DECODE): Ditto.
3066         (TUNE_SLOW_IMUL_IMM32_MEM): Ditto.
3067         (TUNE_SLOW_IMUL_IMM8): Ditto.
3068         (TUNE_MOVE_M1_VIA_OR): Ditto.
3069         (TUNE_NOT_UNPAIRABLE): Ditto.
3070         (TUNE_NOT_VECTORMODE): Ditto.
3071
3072         * config/i386/i386.c (ix86_tune_features): Fill in new tuning
3073         options.
3074
3075         * config/i386/i386.md (fix_trunc?f?1_sse peephole2): Use new
3076         tuning options instead of hard coded TARGET_xxx.
3077         (fix ssemode peephole2's): Ditto.
3078         (imul peephole2's): Ditto.
3079         (movsi_or): Ditto.
3080         (movdi_or_rex64): Ditto.
3081         (move peephole2): Ditto.
3082         (not peephole2's): Ditto.
3083
3084 2007-03-14  Dirk Mueller  <dmueller@suse.de>
3085
3086         * c-common.h (empty_body_warning): Rename to empty_if_body_warning.
3087         * c-common.c (empty_if_body_warning): Rephrase diagnostic message.
3088         * c-parser.c (c_parser_if_body): Always add an empty statement in case
3089         of empty body.
3090         * c-parser.c (c_parser_do_statement): Warn about empty body in
3091         do/while statement.
3092         * c-typeck (c_finish_if_stmt): Call empty_if_body_warning.
3093         * doc/invoke.texi (-Wempty-body): Update documentation.
3094
3095 2007-03-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3096
3097         PR c/21438
3098         * c-common.h (warn_for_div_by_zero): Declare.
3099         * c-common.c (warn_for_div_by_zero): Define.
3100         * c-typeck.c (build_binary_op): Call warn_for_div_zero instead of
3101         warning.
3102
3103 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
3104
3105         * Makefile.in (PREPROCESSOR_DEFINES): Add directory terminators
3106         to PREFIX and STANDARD_PREFIX.
3107
3108 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
3109             Phil Edwards  <phil@codesourcery.com>
3110
3111         * gthr-vxworks.h: Add an extern "C" wrapper for C++.
3112         (__gthread_once_t): Remove busy field for RTPs.
3113         (__GTHREAD_ONCE_INIT): Update accordingly.
3114
3115 2007-03-14  Richard Sandiford  <richard@codesourcery.com>
3116
3117         * doc/invoke.texi: Document VxWorks options.
3118
3119 2007-03-14  Uros Bizjak  <ubizjak@gmail.com>
3120
3121         * doc/invoke.texi (i386 and x86-64 Options): Clarify -msahf option.
3122
3123 2007-03-13  Seongbae Park <seongbae.park@gmail.com>
3124
3125         PR tree-optimization/30590
3126         * tree-nrv.c (tree_nrv): Check for the partial update of the
3127         return value.
3128
3129 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
3130
3131         * flags.h (flag_random_seed): Remove declaration, in favor of...
3132         * toplev.h (get_random_seed, set_random_seed): ... these.
3133         * tree.c (get_file_function_name): Use the former.
3134         * opts.c (common_handle_option): Use the latter.
3135         * toplev.c
3136
3137 2007-03-13  Steven Bosscher  <steven@gcc.gnu.org>
3138
3139         PR middle-end/31127
3140         * cse.c (cse_find_path): Do not bail out if a basic block that
3141         we already visited now becomes part of a path that starts at a
3142         different basic block.  Just disallow this, to make sure we
3143         visit each basic block at most once.
3144
3145 2007-03-13  Jan Hubicka  <jh@suse.cz>
3146
3147         * ipa-inline.c (cgraph_maybe_hot_edge_p): Look for hot/cold attributes,
3148         when profile esitmate is present, calls with very low frequency are
3149         cold.
3150
3151 2007-03-13  Zdenek Dvorak  <dvorakz@suse.cz>
3152
3153         PR tree-optimization/30730
3154         PR tree-optimization/26900
3155         * tree-ssa-loop-niter.c: Include gmp.h.
3156         (bounds): New type.
3157         (mpz_set_double_int, get_type_bounds, mpz_to_double_int,
3158         split_to_var_and_offset, determine_value_range,
3159         bound_difference_of_offsetted_base, refine_bounds_using_guard,
3160         bound_difference, bounds_add, bounds_negate,
3161         number_of_iterations_ne_max, dump_affine_iv): New functions.
3162         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
3163         assert_loop_rolls_lt, assert_loop_rolls_le): Use bounds on the
3164         difference of initial and final value of control iv to validate
3165         results.
3166         (number_of_iterations_cond): Add loop parameter.  Determine bounds
3167         on the difference of the extremes of the control iv.  Add dumps.
3168         (expand_simple_operations): Handle phi nodes.
3169         (simplify_using_initial_conditions): Do not record used conditions.
3170         (number_of_iterations_exit): Pass loop to number_of_iterations_cond.
3171         Do not set additional_info.
3172         (implies_nonnegative_p, implies_ge_p): Removed.
3173         (derive_constant_upper_bound): Do not use parameter `additional'.
3174         (record_estimate): Parameter `additional' removed.  Parameter
3175         `i_bound' added.  Do not call derive_constant_upper_bound.
3176         (record_nonwrapping_iv): Use derive_constant_upper_bound to
3177         bound the number of iterations estimate.
3178         (estimate_numbers_of_iterations_loop): Pass the estimate from
3179         the number of iterations analysis to record_estimate.
3180         * tree.h (multiple_of_p): Declare.
3181         * tree-scalar-evolution.c (expression_expensive_p): Removed.
3182         (scev_const_prop): Do not check expression_expensive_p.
3183         * fold-const.c (multiple_of_p): Exported.
3184         * double-int.c (double_int_mask): Exported.
3185         * double-int.h (double_int_mask): Declare.
3186         * tree-flow.h (struct tree_niter_desc): Removed additional_info
3187         field.  Added max field.
3188
3189 2007-03-13  David Taylor  <taylor@candd.org>
3190
3191         PR driver/12448:
3192         * gcc.c (cpp_unique_options): If -MT or -MQ is seen, don't pass
3193         default -MQ.
3194
3195 2007-03-13  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3196
3197         PR target/31123
3198         * pa.md (vdepi_ior): Don't allow zero length deposit.  Likewise for
3199         two unamed patterns.
3200
3201 2007-03-13  Uros Bizjak  <ubizjak@gmail.com>
3202
3203         * config/i386/i386.opt (mcx16, msahf): New options.
3204         * config/i386/i386.c (x86_cmpxchg16b, x86_sahf): Remove.
3205         (ix86_tune_features) [X86_TUNE_USE_SAHF]: Enable for m_GENERIC.
3206
3207         * config/i386/driver-i386.c (bit_LAHF_LM): New define.
3208         (host_detect_local_cpu): Detect cx16 and lahf_lm cpuid bits.
3209         Output -mcx16 and -msahf options when corresponding bit is set.
3210
3211         * doc/invoke.texi (i386 and x86-64 Options): Document -mcx16
3212         and -msahf options.
3213
3214 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
3215
3216         * configure.ac: Test for assembler tolerance to # 0 "".
3217         * configure, config.in: Rebuilt.
3218         * final.c (final_scan_insn): Emit it if HAVE_AS_LINE_ZERO.
3219
3220 2007-03-13  Geoffrey Keating  <geoffk@apple.com>
3221
3222         * doc/invoke.texi (Spec Files): Update for '%{,' spec.
3223
3224         * config/rs6000/darwin-fallback.c: Compile file only on powerpc.
3225         (handle_syscall): Handle direct system calls.
3226         * config/rs6000/darwin.h (HAS_MD_FALLBACK_FRAME_STATE_FOR): Delete.
3227
3228 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
3229
3230         * doc/invoke.texi: Fix cpp.info cross-reference.
3231         * doc/passes.texi: Fix gcc.info cross-reference.
3232
3233 2007-03-12  Zdenek Dvorak  <dvorakz@suse.cz>
3234
3235         PR tree-optimization/30835
3236         * lambda-code.c (can_convert_to_perfect_nest): Check whether
3237         bb_for_stmt is not NULL before accessing it.
3238
3239 2007-03-12  Joseph Myers  <joseph@codesourcery.com>
3240
3241         * gcc.c (main): Handle target_sysroot_hdrs_suffix being NULL for
3242         some multilibs.
3243
3244 2007-03-12  Brooks Moses  <brooks.moses@codesourcery.com>
3245
3246         PR 30635
3247         * doc/install.texi: Document --enable-stage1-languages
3248
3249 2007-03-12  Steven Bosscher  <steven@gcc.gnu.org>
3250
3251         * tree-pass.h (pass_into_cfg_layout_mode,
3252         pass_outof_cfg_layout_mode): Declare.
3253         * cfglayout.c (into_cfg_layout_mode, outof_cfg_layout_mode,
3254         pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode): New.
3255         * passes.c (pass_into_cfg_layout_mode): Schedule before jump2.
3256         (pass_outof_cfg_layout_mode): Schedule after pass_rtl_ifcvt.
3257
3258 2007-03-12  Seongbae Park <seongbae.park@gmail.com>
3259
3260         * c-decl.c (warn_variable_length_array): New function.
3261         Refactored from grokdeclarator to handle warn_vla
3262         and handle unnamed array case.
3263         (grokdeclarator): Refactored VLA warning case.
3264         * c.opt (Wvla): New flag.
3265         * doc/invoke.texi (Wvla): New warning.
3266
3267 2007-03-12  Richard Henderson  <rth@redhat.com>
3268
3269         * config/alpha/alpha.c (alpha_elf_section_type_flags): New.
3270         (TARGET_SECTION_TYPE_FLAGS): New.
3271
3272 2007-03-12  Richard Henderson  <rth@redhat.com>
3273
3274         * config/darwin.c (machopic_reloc_rw_mask): New.
3275         * config/darwin-protos.h (machopic_reloc_rw_mask): Declare.
3276         * config/darwin.h (TARGET_ASM_RELOC_RW_MASK): New.
3277
3278 2007-03-12  Mark Mitchell  <mark@codesourcery.com>
3279
3280         * cppdefault.c (cpp_EXEC_PREFIX): New variable.
3281         * cppdefault.h (cpp_PREFIX): Document.
3282         (cpp_PREFIX_len): Likewise.
3283         (cpp_EXEC_PREFIX): New variable.
3284         * Makefile.in (PREPROCESSOR_DEFINES): Add STANDARD_EXEC_PREFIX.
3285         * c-incpath.c (add_standard_paths): Correct logic for relocating
3286         paths within prefix.
3287
3288 2007-03-12  Uros Bizjak  <ubizjak@gmail.com>
3289
3290         * config/i386/i386.md (fixuns_trunc<mode>hi2): Implement from
3291         fixuns_truncsfhi2 and fixuns_truncdfhi2 using SSEMODEF
3292         mode macro.
3293         (fix_trunc<mode>di_sse): Implement from fix_truncsfdi_sse and
3294         fix_truncdfdi_sse using SSEMODEF mode macro.
3295         (fix_trunc<mode>si_sse): Implement from fix_truncsfsi_sse and
3296         fix_truncdfsi_sse using SSEMODEF mode macro.
3297         (fix_trunc?f?i_sse peephole2): Implement using SSEMODEF mode macro.
3298         (fix_trunc?f?i_sse K8 peephole2): Fix register constraint.
3299
3300 2007-03-12  Richard Sandiford  <richard@codesourcery.com>
3301
3302         * config.gcc (i[4567]86-wrs-vxworks, i[4567]86-wrs-vxworksae): Add
3303         elfos.h to tm_file.
3304
3305 2007-03-12  Olga Golovanevsky  <olga@il.ibm.com>
3306
3307         * tree.h : Add multiple_of_p declaration.
3308         * fold-const.c (multiple_of_p): Make multiple_of_p public.
3309         * ipa-type-escape.c (results_of_malloc): Redundant.
3310         (visited_stmts): New. Visited stmt for walk_use_def_chains.
3311         (cast_type): Extended with new members.
3312         (check_cast): Returns cast_type.
3313         (cast): New structure for data of walk_use_def_chains.
3314         (is_malloc_result, is_cast_from_non_pointer_1,
3315         is_cast_from_non_pointer,
3316         is_array_access_through_pointer_and_index): New functions.
3317         (look_for_casts): Returns cast types.
3318         (check_call): Returns void.
3319         (okay_pointer_operation): Use support of pointer plus index,
3320         pointer plus constant and allow all multiplications.
3321
3322 2007-03-11  Richard Guenther  <rguenther@suse.de>
3323
3324         PR tree-optimization/31115
3325         * tree-vrp.c (extract_range_from_binary_expr): Make sure
3326         the shift count is positive and non-anti-range for RSHIFT_EXPR.
3327         A shift count of zero is not special as with *_DIV_EXPR.
3328         (vrp_int_const_binop): Handle RSHIFT_EXPR for determining overflow
3329         direction.
3330
3331 2007-03-11  Ian Lance Taylor  <iant@google.com>
3332
3333         * tree-vrp.c (vrp_int_const_binop): Handle PLUS_EXPR and
3334         the *_DIV_EXPR codes correctly with overflow infinities.
3335
3336 2007-03-11  Ira Rosen  <irar@il.ibm.com>
3337
3338         * tree-data-ref.c (analyze_offset): Add a return value (bool) to
3339         indicate success/failure of the analysis. Add negation to subtrahend
3340         in case of subtraction. Fail if both operands contain constants.
3341         (create_data_ref): Fail if analyze_offset fails.
3342
3343 2007-03-11  Uros Bizjak  <ubizjak@gmail.com>
3344
3345         * config/i386/i386.md (frndintxf2): Rename to ...
3346         (rintxf2): ... this. Remove expander having same name.
3347         (rintsf2, rintdf2): Implement using SSEMODEF macro.
3348         (roundsf2, rounddf2): Ditto.
3349         (lrint<mode>di2, lrint<mode>si2): Implement using SSEMODEI24 macro.
3350         (lround<mode>di2, lround<mode>si2): Ditto.
3351
3352 2007-03-11  Steven Bosscher  <steven@gcc.gnu.org>
3353
3354         * lower-subreg.c: Include except.h.
3355         (decompose_multiword_subregs): Verify that the only control flow
3356         insns we can split are loads to multi-words pseudos.
3357         Handle breaking such blocks after splitting, instead of calling
3358         find_many_sub_basic_blocks.
3359
3360         * loop-unroll.c (split_edge_and_insert): Don't set BB_SUPERBLOCK
3361         on the new basic block.  Add a lengthy comment explaining why we
3362         thought this was necessary.
3363         * cfglayout.c (cfg_layout_finalize): Don't break superblocks.
3364
3365 2007-03-10  Mark Mitchell  <mark@codesourcery.com>
3366
3367         PR c++/30924
3368         * tree.c (walk_type_fields): Recurse into the element type of
3369         ARRAY_TYPEs if there is a pointer set.
3370
3371 2007-03-10  Dirk Mueller  <dmueller@suse.de>
3372
3373         * c-common.c (warn_logical_operator): Fix condition.
3374
3375 2007-03-10  Tobias Schlüter  <tobi@gcc.gnu.org>
3376
3377         * config/i386/darwin.h (DARWIN_MINVERSION_SPEC): Add missing
3378         quotation mark.
3379         * config/darwin.c (machopic_select_section): Remove superfluous
3380         argument in call to categorize_decl_for_section.  Remove unused
3381         variable shlib.
3382
3383 2007-03-10  Joseph Myers  <joseph@codesourcery.com>
3384
3385         * configure.ac (glibc_header_dir): Set using with_build_sysroot if
3386         defined.
3387         * configure: Regenerate.
3388
3389 2007-03-10  Uros Bizjak  <ubizjak@gmail.com>
3390
3391         PR target/31101
3392         * config/i386/i386.md (UNSPEC_C2_FLAG): New constant.
3393         (fpremxf4_i387, fprem1xf4_i387): Use UNSPEC_C2_FLAG.
3394         (fmodxf3, fmod<mode>3, remainderxf3, remainder<mode>3):
3395         Add LABEL_NUSES to emitted label.
3396         * config/i386/i386.c (ix86_emit_fp_unordered_jump): Add
3397         branch probability value to emitted jump insn.
3398         * reg-stack.c (subst_stack_regs_pat)[UNSPEC]: Handle UNSPEC_C2_FLAG.
3399         Do not check life information and do not re-arrange input operands
3400         for UNSPEC_FSCALE_EXP, UNSPEC_FPREM_U and UNSPEC_FPREM1_U.
3401
3402 2007-03-10  Kaz Kojima  <kkojima@gcc.gnu.org>
3403
3404         * config/sh/sh.c (sh_insn_length_adjustment): Adjust for
3405         the change of decode_asm_operands.
3406
3407 2007-03-10  Kaz Kojima  <kkojima@gcc.gnu.org>
3408
3409         * mode-switching.c (create_pre_exit): Skip blockage insn.
3410
3411 2007-03-09  Diego Novillo  <dnovillo@redhat.com>
3412
3413         * tree-pass.h (TODO_update_smt_usage): Remove.
3414         Update all users.
3415         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Remove
3416         argument SOME.
3417         Update all users.
3418
3419 2007-03-09  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3420
3421         * pa.c (attr_length_call): Revise condition for long pc-relative branch.
3422