gcc/ChangeLog

   1 2007-03-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
   2
   3         * c-pretty-print.c (pp_c_direct_abstract_declarator): Use
   4         fold_build2.
   5         * config/alpha/alpha.c (alpha_fold_builtin_zapnot,
   6         alpha_fold_vector_minmax): Likewise.
   7         * config/i386/i386.c (ix86_gimplify_va_arg): Likewise.
   8         * config/sparc/sparc.c (sparc_gimplify_va_arg): Likewise.
   9
  10 2007-03-02  Eric Botcazou  <ebotcazou@adacore.com>
  11
  12         * tree-sra.c (sra_walk_fns) <ldst>: Document new restriction.
  13         (sra_walk_modify_expr) <rhs_elt>: Treat the reference as a use
  14         if the lhs has side-effects.
  15         <lhs_elt>: Treat the reference as a use if the rhs has side-effects.
  16
  17 2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
  18
  19         * config/i386/i386.h (TUNEMASK): Remove define.
  20         (ARCHMASK): Remove define.
  21         (TARGET_*): Use ix86_tune_mask variable instead of TUNEMASK.
  22          Use ix86_arch_mask variable instead of ARCHMASK.
  23         * config/i386/i386.c (override_options): Ditto.
  24         (standard_80387_constant_p): Ditto.
  25
  26 2007-03-02  Ian Lance Taylor  <iant@google.com>
  27
  28         Used signed infinities in VRP.
  29         * tree-vrp.c (uses_overflow_infinity): New static function.
  30         (supports_overflow_infinity): New static function.
  31         (make_overflow_infinity): New static function.
  32         (negative_overflow_infinity): New static function.
  33         (positive_overflow_infinity): New static function.
  34         (is_negative_overflow_infinity): New static function.
  35         (is_positive_overflow_infinity): New static function.
  36         (is_overflow_infinity): New static function.
  37         (overflow_infinity_range_p): New static function.
  38         (compare_values_warnv): New function split out of compare_values.
  39         (compare_value): Call it.
  40         (set_value_range_to_nonnegative): Add overflow_infinity
  41         parameter.  Change caller.
  42         (vrp_expr_computes_nonnegative): Add strict_overflow_p parameter.
  43         Change callers.
  44         (vrp_expr_computes_nonzero): Likewise.
  45         (compare_ranges, compare_range_with_value): Likewise.
  46         (compare_name_with_value, compare_names): Likewise.
  47         (vrp_evaluate_conditional): Likewise.
  48         (set_value_range): Handle infinity
  49         (vrp_operand_equal_p, operand_less_p): Likewise.
  50         (extract_range_from_assert): Likewise.
  51         (vrp_int_const_binop): Likewise.
  52         (extract_range_from_binary_expr): Likewise.
  53         (extract_range_from_unary_expr): Likewise.
  54         (extract_range_from_comparison): Likewise.
  55         (extract_range_from_expr): Likewise.
  56         (dump_value_range): Likewise.
  57         (vrp_visit_cond_stmt, vrp_visit_phi_node): Likewise.
  58         (test_for_singularity): Likewise.
  59         (vrp_int_const_binop): Remove inline qualifier.
  60         (adjust_range_with_scev): Add comment.
  61         * tree-flow.h (vrp_evaluate_conditional): Update declaration.
  62
  63 2007-03-02  Diego Novillo  <dnovillo@redhat.com>
  64
  65         * tree-ssa-structalias.c (could_have_pointers): Tidy.
  66         (get_constraint_for): Likewise.
  67         (do_structure_copy): Likewise.
  68         (find_func_aliases): Fix references to MODIFY_EXPR.
  69         (intra_create_variable_infos): Tidy.
  70         * tree-ssa-operands.c (add_virtual_operand): Add argument
  71         IS_CALL_SITE.
  72         When adding members of alias sets, if IS_CALL_SITE is true and
  73         the symbol is not call-clobbered, skip it.
  74         Adjust all callers.
  75
  76 2007-03-02  Eric Botcazou  <ebotcazou@adacore.com>
  77
  78         * config/alpha/alpha.c (alpha_gp_save_rtx): Insert the insns at the
  79         entry by means of emit_insn_at_entry.
  80
  81 2007-03-02  Richard Henderson  <rth@redhat.com>
  82
  83         * expr.h (promoted_input_arg): Remove decl.
  84         * function.c (promoted_input_arg): Merge into ...
  85         * combine.c (setup_incoming_promotions): ... only caller.
  86         Rearrange to avoid double loop.
  87
  88 2007-03-02  Ben Elliston  <bje@au.ibm.com>
  89             Peter Bergner  <bergner@vnet.ibm.com>
  90             Janis Johnson  <janis187@us.ibm.com>
  91
  92         * config/rs6000/dfp.md: New file.
  93         * config/rs6000/rs6000.md: Include dfp.md.
  94         (add<mode>3_internal1): Disable for DECIMAL_FLOAT_MODE_P operands.
  95         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Handle DDmode
  96         and TDmode decimal float modes in FP registers.
  97         (num_insns_constant): Likewise.
  98         (rs6000_legitimate_offset_address_p): Likewise.
  99         (rs6000_legitimize_address): Likewise.
 100         (rs6000_legitimize_reload_address): Likewise.
 101         (rs6000_legitimate_address): Likewise.
 102         (rs6000_emit_move): Likewise.
 103         (function_arg_boundary): Likewise.
 104         (function_arg_advance): Likewise.
 105         (rs6000_darwin64_record_arg_recurse): Likewise.
 106         (function_arg): Likewise.
 107         (rs6000_gimplify_va_arg): Likewise.
 108         (rs6000_split_multireg_move): Likewise.
 109         (rs6000_output_function_epilogue): Likewise.
 110         (rs6000_output_function_epilogue): Likewise.
 111         (rs6000_register_move_cost): Likewise.
 112         (rs6000_function_value): Likewise.
 113         (rs6000_libcall_value): Likewise.
 114
 115 2007-03-02  Richard Sandiford  <richard@codesourcery.com>
 116
 117         * config/t-vxworks (LIMITS_H_TEST): Define to true for VxWorks.
 118
 119 2007-03-02  Richard Sandiford  <richard@codesourcery.com>
 120
 121         * config/t-vxworks (LIBGCC2_INCLUDES): Pass -nostdinc.
 122         Use $MULTIDIR to choose between the kernel and RTP headers,
 123         and use $WIND_BASE and $WIND_USR to locate them.
 124
 125 2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
 126
 127         * config/i386/i386.c (override_options): Put initialization of
 128         ix86_tune_mask and ix86_arch_mask to the correct place.
 129
 130 2007-03-02  Uros Bizjak  <ubizjak@gmail.com>
 131             Michael Meissner  <michael.meissner@amd.com>
 132
 133         PR target/31019
 134         * config/i386/i386.h (TUNEMASK): Redefine to use ix86_tune_mask.
 135         (ARCHMASK): Define.
 136         (TARGET_CMOVE): Use ARCHMASK.
 137         (TARGET_CMPXCHG): Ditto.
 138         (TARGET_CMPXCHG8B): Ditto.
 139         (TARGET_XADD): Ditto.
 140         (TARGET_BSWAP): Ditto.
 141         * config/i386/i386.c (ix86_tune_mask): New global variable.
 142         (ix86_arch_mask): Ditto.
 143         (override_options): Initialize ix86_tune_mask and
 144         ix86_arch_mask. Use ARCHMASK to clear MASK_NO_FANCY_MATH_387 in
 145         target_flags.
 146
 147 2007-03-02  Ben Elliston  <bje@au.ibm.com>
 148
 149         PR 30992
 150         * config/dfp-bit.c (DFP_TO_INT): Initialise qval with "1.".
 151
 152 2007-03-02  Joseph Myers  <joseph@codesourcery.com>
 153
 154         * target.h (init_dwarf_reg_sizes_extra): New target hook.
 155         * target-def.h (TARGET_INIT_DWARF_REG_SIZES_EXTRA): New default.
 156         * doc/tm.texi (TARGET_INIT_DWARF_REG_SIZES_EXTRA): Document.
 157         * dwarf2out.c (expand_builtin_init_dwarf_reg_sizes): Call this
 158         hook.
 159         * config/rs6000/rs6000.c (TARGET_INIT_DWARF_REG_SIZES_EXTRA,
 160         rs6000_init_dwarf_reg_sizes_extra): New.
 161         * config/rs6000/linux-unwind.h (ppc_fallback_frame_state): Support
 162         SPE register high parts.
 163
 164 2007-03-01  Brooks Moses  <brooks.moses@codesourcery.com>
 165
 166         * Makefile.in: Add install-pdf target as
 167         copied from automake v1.10 rules.
 168         * configure.ac: Add install-pdf to target list.
 169         * configure: Regenerate.
 170
 171 2007-03-01  Paul Brook  <paul@codesourcery.com>
 172
 173         * config/arm/arm.c (arm_legitimate_index_p): Limit iWMMXt addressing
 174         modes to LDRD for DImode.
 175         (output_move_double): Fixup out of range ldrd/strd.
 176         (vfp_secondary_reload_class): Rename...
 177         (coproc_secondary_reload_class): ... to this.  Add wb argument.
 178         * config/arm/arm.h (SECONDARY_OUTPUT_RELOAD_CLASS): Use
 179         coproc_secondary_reload_class for CLASS_IWMMXT.
 180         (SECONDARY_INPUT_RELOAD_CLASS): Ditto.
 181         * arm-protos.h (coproc_secondary_reload_class): Update prototype.
 182
 183 2007-03-01  Zdenek Dvorak  <dvorakz@suse.cz>
 184
 185         * tree-ssa-loop-prefetch.c (determine_unroll_factor):  Bound the unroll
 186         factor by the estimated number of iterations.
 187         (loop_prefetch_arrays): Do not prefetch in loops that iterate less than
 188         prefetch latency.
 189
 190 2007-03-01  Richard Henderson  <rth@redhat.com>
 191
 192         * expr.c (emit_move_complex_push): Export.
 193         (emit_move_complex_parts): Split out from ...
 194         (emit_move_complex): ... here.
 195         * expr.h (emit_move_complex_push, emit_move_complex_parts): Declare.
 196         * config/i386/i386.md (movcdi): New.
 197
 198 2007-03-01  Uros Bizjak  <ubizjak@gmail.com>
 199
 200         * config/i386/i386.c (ix86_modes_tieable_p): Fix typo, use also
 201         size of mode1 to check for tieable modes in MMX case.
 202
 203 2007-03-01  Richard Sandiford  <richard@codesourcery.com>
 204
 205         * Makefile.in (rtlanal.o): Depend on tree.h.
 206         * rtl.h (offset_within_section_p, split_const): Declare.
 207         * rtlanal.c: Include tree.h.
 208         (offset_within_block_p): New function, taken from
 209         mips_offset_within_object_p.
 210         (split_const): New function, taken from mips_split_const.
 211         * config/m68k/m68k-protos.h (m68k_illegitimate_symbolic_constant_p):
 212         Declare.
 213         * config/m68k/m68k.h (M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P): Define.
 214         (CONSTANT_ADDRESS_P): Only accept legitimate constants.
 215         (LEGITIMATE_CONSTANT_P): Check m68k_illegitimate_symbolic_constant_p.
 216         * config/m68k/m68k.c (TARGET_CANNOT_FORCE_CONST_MEM): Define.
 217         (m68k_illegitimate_symbolic_constant_p): New function.
 218         * config/m68k/m68k.md (movsi): Remove misleading predicates.
 219         If M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P and the source is a
 220         symbolic constant that might be outside the symbol's section,
 221         move the symbol first and then add the offset.
 222         * config/m68k/uclinux.h (M68K_OFFSETS_MUST_BE_WITHIN_SECTIONS_P):
 223         Override.
 224         * config/mips/mips.c (mips_split_const): Delete.
 225         (mips_offset_within_object_p): Delete.
 226         (mips_symbolic_constant_p): Use offset_within_section_p and
 227         split_const instead of mips_offset_within_object_p and
 228         mips_split_const.
 229         (mips_cannot_force_const_mem, mips_const_insns, mips_unspec_address)
 230         (mips_legitimize_const_move, print_operand_reloc)
 231         (mips_dangerous_for_la25_p): Use split_const instead of
 232         mips_split_const.
 233
 234 2007-02-28  Eric Christopher  <echristo@apple.com>
 235
 236         * Makefile.in (install-include-dir): Don't rm -rf include.
 237
 238 2007-02-28  Richard Guenther  <rguenther@suse.de>
 239
 240         PR middle-end/30364
 241         * fold-const.c (fold_binary): Do not associate expressions
 242         with more than one variable for integer types that do not wrap.
 243
 244 2007-02-28  Sandra Loosemore  <sandra@codesourcery.com>
 245
 246         * builtins.c (fold_builtin_call_list, fold_builtin_call_valist):
 247         Delete, and replace with...
 248         (fold_builtin_call_array): This.  Update callers to use it.
 249         * fold-const.c (fold_build_call_list): Delete, and replace with...
 250         (fold_build_call_array): This.
 251         (fold_build_call_list_initializer): Delete, and replace with...
 252         (fold_build_call_array_initializer): This.
 253         * tree.h: Update declarations to reflect above changes.
 254
 255         * c-typeck.c (build_function_call): Store converted arguments
 256         in a stack-allocated array instead of building a list.
 257         (convert_arguments): Store arguments in the array passed in as an
 258         argument, and return the actual number of arguments.
 259         * c-format.c: (check_function_format): Pass arguments in an
 260         array instead of a list.
 261         * c-common.c (check_function_nonnull): Likewise.
 262         (check_function_sentinel): Likewise.
 263         (check_function_arguments): Likewise.
 264         * c-common.h: Update declarations to reflect above changes.
 265
 266 2007-02-28  Jan Hubicka  <jh@suse.cz>
 267
 268         * predict.def (PRED_TREE_EARLY_RETURN, PRED_CONST_RETURN,
 269         PRED_NEGATIVE_RETURN): Update outcomes.
 270
 271 2007-02-28  Bernd Schmidt  <bernd.schmidt@analog.com>
 272
 273         * calls.c (emit_library_call_value_1): Handle partial registers
 274         correctly when building up CALL_INSN_FUNCTION_USAGE.
 275
 276 2007-02-27  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 277
 278         * pa/predicates.md (move_src_operand): Allow zero for mode.
 279         * pa/pa.md: Fix constraints for zero CONST_DOUBLE in 64-bit DFmode
 280         move pattern.
 281
 282 2007-02-27  Uros Bizjak  <ubizjak@gmail.com>
 283
 284         PR target/30970
 285         * config/i386/sse.md (*mov<mode>_internal, *movv4sf_internal,
 286         *movv2df_internal): Enable pattern only for valid operand
 287         combinations.
 288         * config/i386/i386.c (ix86_modes_tieable_p): For SSE registers,
 289         tie only 128bit modes. For MMX registers, tie only 64bit modes.
 290
 291 2007-02-27  Mike Stump  <mrs@apple.com>
 292
 293         * config/darwin-crt3.c: Avoid compilation when compiling for a
 294         kext multilib.
 295
 296 2007-02-27  Joseph Myers  <joseph@codesourcery.com>
 297
 298         * Makefile.in (PREPROCESSOR_DEFINES, test-protoize-simple): Define
 299         FIXED_INCLUDE_DIR.
 300         (stmp-int-hdrs, stmp-fixinc, install-headers): Use include-fixed
 301         for fixed headers and limits.h.
 302         (install-include-dir, install-headers-tar, install-headers-cpio,
 303         install-headers-cp, real-install-headers-tar,
 304         real-install-headers-cpio, real-install-headers-cp): Handle
 305         include-fixed as well as include.
 306         (install-mkheaders): Don't install files that go only in include
 307         not include-fixed.
 308         * cppdefault.c (cpp_include_defaults): Separate FIXED_INCLUDE_DIR
 309         from GCC_INCLUDE_DIR.
 310         * gcc.c (process_command): Remove special -BstageN/ handling.
 311         (do_spec_1): Add include-fixed directories.
 312
 313 2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>
 314
 315         * config/bfin/t-bfin-elf (LIB1ASMFUNCS): Add _umulsi3_highpart and
 316         _smulsi3_highpart.
 317         * config/bfin/lib1funcs.asm (___umulsi3_highpart, ___smulsi3_highpart):
 318         New functions.
 319         * config/bfin/bfin.md (smulsi3_highpart, umulsi3_highpart): New
 320         patterns.
 321
 322 2007-02-27  Mark Mitchell  <mark@codesourcery.com>
 323
 324         * c-common.c (get_priority): Add check for
 325         SUPPORTS_INIT_PRIORITY.
 326
 327 2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>
 328
 329         * config/bfin/bfin.md (doloop_end): FAIL if counter reg isn't SImode.
 330
 331         * config/bfin/bfin.c: Include "cfglayout.h".
 332         (MAX_LSETUP_DISTANCE): New macro.
 333         (struct loop_info): New members incoming, incoming_src and
 334         incoming_dest.  Delete member predecessor.
 335         (length_for_loop): New function.
 336         (bfin_optimize_loop): Handle more different loop structures.
 337         (bfin_discover_loop): Rework detection of predecessor blocks by
 338         examining incoming edges.
 339         (bfin_discover_loops, bfin_free_loops): New functions, broken out of
 340         bfin_reorg_loops.
 341         (bfin_reorder_loops): New function.
 342         (bfin_reorg_loops): Use these three new functions.
 343
 344         * config/bfin/bfin.h (enum reg_class, REG_CLASS_NAMES,
 345         REG_CLASS_CONTENTS): Add D0REGS through D7REGS.
 346         (CONSTRAINT_LEN): Add entry for 'q'.
 347         (REG_CLASS_FROM_CONSTRAINT): Renamed from REG_CLASS_FROM_LETTER.
 348         Add 'q' constraints.
 349         (REGNO_REG_CLASS): For R0 through R7, return corresponding regclass.
 350         (CLASS_LIKELY_SPILLED_P): True for R0, R1 and R2.
 351
 352         * config/bfin/bfin.md (add_with_carry): New pattern.
 353         (s_or_u, su_optab, su_modifier): New code macros/attrs.
 354         (<su_optab>hisi_ll, <su_optab>hisi_lh, <su_optab>hisi_hl,
 355         <su_optab>hisi_hh): Renamed from mulhisi_xx patterns; macroized to
 356         support unsigned multiplies too.  Removed incorrect commutativity from
 357         operand 1 constraint where appropriate.
 358         (usmulhisi_ull, usmulhisi_ulh, usmulhisi_uhl, usmulhisi_uhh): New
 359         patterns.
 360         (<su_optab>hisi_ll_lh, <su_optab>hisi_ll_hl, <su_optab>hisi_ll_hh,
 361         <su_optab>hisi_lh_hl, <su_optab>hisi_lh_hh, <su_optab>hisi_hl_hh):
 362         New patterns.
 363         (usmulhisi_ll_lul, usmulhisi_ll_luh, usmulhisi_ll_hul,
 364         usmulhisi_ll_huh, usmulhisi_lh_lul, usmulhisi_lh_luh, usmulhisi_lh_hul,
 365         usmulhisi_lh_huh, usmulhisi_hl_lul, usmulhisi_hl_luh, usmulhisi_hl_hul,
 366         usmulhisi_hl_huh, usmulhisi_hh_lul, usmulhisi_hh_luh, usmulhisi_hh_hul,
 367         usmulhisi_hh_huh): New patterns.
 368
 369         * config/bfin/bfin.md (ssashiftv2hi3, ssashifthi3, lshiftv2hi3,
 370         lshifthi3): Fix output template to use half reg for operand 2.
 371
 372         * config/bfin/bfin.c (bfin_output_mi_thunk): Use R3 as scratch reg
 373         instead of R2.
 374
 375         * config/bfin/bfin.md (rotl16, rotlsi3, rotrsi3): New patterns.
 376
 377 2007-02-27  Andreas Schwab  <schwab@suse.de>
 378
 379         * Makefile.in (TEXI_GCCINSTALL_FILES): Add gcc-common.texi.
 380
 381 2007-02-27  Jan Hubicka  <jh@suse.cz>
 382
 383         * predict.c (last_basic_block_p): Remove.
 384         (tree_estimate_probability): Update return heuristic for commonized
 385         return blocks.
 386
 387 2007-02-26  Brooks Moses  <brooks.moses@codesourcery.com>
 388
 389         * Makefile.in (TEXI_GCCINSTALL_FILES): Add gcc-vers.texi dependency.
 390
 391 2007-02-26  Brooks Moses  <brooks.moses@codesourcery.com>
 392
 393         * doc/include/gcc-common.texi (versionsubtitle): New macro.
 394         * doc/cpp.texi: Standardize title page.
 395         * doc/cppinternals.texi: Likewise.
 396         * doc/gcc.texi: Standardize title page, remove version number
 397         from copyright page.
 398         * doc/gccint.texi: Likewise.
 399         * doc/install.texi: Standardize title page, add table of
 400         contents.
 401
 402 2007-02-26  Jan Hubicka  <jh@suse.cz>
 403
 404         * predict.def: Set outcomes according to more recent results.
 405         (PRED_LOOP_CONDITION, PRED_LOOP_PRECONDITIONING, PRED_LOOP_HEADER):
 406         Remove dead predictors.
 407         * predict.c (return_prediction): Fix pasto.
 408
 409 2007-02-27  Bernd Schmidt  <bernd.schmidt@analog.com>
 410
 411         * loop-iv.c (simplify_using_initial_values): Fix oversight in previous
 412         change; avoid a memory leak when returning early.
 413
 414 2007-02-26  Mark Mitchell  <mark@codesourcery.com>
 415
 416         * c-decl.c (static_ctors): Move to c-common.c.
 417         (static_dtors): Likewise.
 418         (finish_function): Use c_record_cdtor_fn.
 419         (build_cdtor): Move to c-common.c.
 420         (c_write_global_declarations): Use c_build_cdtor_fns.
 421         * c-common.h (static_ctors): Declare.
 422         (static_dtors): Likewise.
 423         (c_record_cdtor_fn): Likewise.
 424         (c_build_cdtor_fns): Likewise.
 425         * c-common.c (static_ctors): New variable.
 426         (static_dtors): Likewise.
 427         (c_record_cdtor_fn): New function.
 428         (build_cdtor): Move from c-decl.c
 429         (c_build_cdtor_fns): New function.
 430
 431         * output.h (assemble_addr_to_section): Declare.
 432         (get_cdtor_priority_section): Likewise.
 433         * varasm.c (assemble_addr_to_section): New function.
 434         (get_cdtor_priority_section): Likewise.
 435         (default_named_section_asm_out_destructor): Use them.
 436         (destor_dtor_section_asm_out_destructor): Likewise.
 437         (default_named_section_asm_out_constructor): Likewise.
 438         (default_ctor_section_asm_out_constructor): Likewise.
 439         * config.gcc (*-*-vxworks*): Include vxworks.o.
 440         * config/t-vxworks (vxworks.o): New target.
 441         * config/vxworks.h (ALWAYS_NUMBER_CTORS_SECTIONS): Remove.
 442         (TARGET_ASM_CONSTRUCTOR): Define.
 443         (TARGET_ASM_DESTRUCTOR): Likewise.
 444         (vxworks_asm_out_constructor): Declare.
 445         (vxworks_asm_out_destructor): Likewise.
 446
 447         * c-common.c (get_priority): Check that we have not just an
 448         INTEGER_CST, but an integer constant with integeral type.
 449
 450 2007-02-25  Uros Bizjak  <ubizjak@gmail.com>
 451
 452         PR tree-optimization/30938
 453         * tree-vect-transform.c (vectorizable_call): Fix off-by-one error:
 454         use &dt[nargs-1] instead of &dt[nargs] in the call to
 455         vect_is_simple_use().
 456
 457 2007-02-25  Ulrich Weigand  <uweigand@de.ibm.com>
 458
 459         * reload.c (find_reloads_address_1): Handle PLUS expressions resulting
 460         from register elimination as PRE_MODIFY / POST_MODIFY increments.
 461         Do not attempt to handle MEM inside auto-inc expressions.
 462         * reload1.c (eliminate_regs_1): Do not attempt to handle elimination
 463         of a register modified by an auto-inc expression.  However, do handle
 464         elimination of a register used as PRE_MODIFY / POST_MODIFY increment.
 465         (elimination_effects): Prohibit elimination of a register modified
 466         by an auto-inc expression.  Disable register elimination rules whose
 467         target register is modified by an auto-inc expression with variable
 468         increment.
 469
 470 2007-02-25  Zdenek Dvorak  <dvorakz@suse.cz>
 471
 472         * tree-ssa-loop-niter.c (compute_estimated_nb_iterations): Fix
 473         off-by-one error.
 474         (array_at_struct_end_p): New function.
 475         (idx_infer_loop_bounds): Use it.
 476         (estimate_numbers_of_iterations_loop): Export.
 477         * predict.c (predict_loops): Use estimated_loop_iterations_int.
 478         Do not use PRED_LOOP_EXIT on exits predicted by # of iterations.
 479         (tree_estimate_probability): Call record_loop_exits.
 480         * tree-data-ref.c (get_number_of_iters_for_loop): Replaced by ...
 481         (estimated_loop_iterations, estimated_loop_iterations_int,
 482         estimated_loop_iterations_tree): New functions.
 483         (analyze_siv_subscript_cst_affine,
 484         compute_overlap_steps_for_affine_1_2,
 485         analyze_subscript_affine_affine): Use estimated_loop_iterations_int.
 486         (analyze_miv_subscript): Use estimated_loop_iterations_tree.
 487         * predict.def (PRED_LOOP_ITERATIONS): Update comment.
 488         (PRED_LOOP_ITERATIONS_GUESSED): New.
 489         * cfgloop.c (record_loop_exits): Do nothing if there are no loops.
 490         * cfgloop.h (estimate_numbers_of_iterations_loop,
 491         estimated_loop_iterations_int): Declare.
 492
 493 2007-02-25  Mark Mitchell  <mark@codesourcery.com>
 494
 495         * doc/extend.texi: Document optional priority argument to
 496         constructors and destructors.
 497         * tree.c (init_priority_for_decl): Adjust GTY markers.
 498         (init_ttree): Use priority-info hash functions for
 499         init_priority_for_decl.
 500         (tree_map_eq): Rename to ...
 501         (tree_map_base_eq): ... this.
 502         (tree_map_marked_p): Rename to ...
 503         (tree_map_base_marked_p): ... this.
 504         (tree_map_base_hash): New function.
 505         (decl_init_priority_lookup): Rework.
 506         (decl_fini_priority_lookup): New function.
 507         (decl_priority_info): New function.
 508         (decl_init_priority_insert): Use it.
 509         (decl_fini_priority_insert): Likewise.
 510         (decl_restrict_base_lookup): Adjust for refactoring of tree_map
 511         hierarchy.
 512         (decl_restrict_base_insert): Likewise.
 513         (decl_debug_expr_insert): Likewise.
 514         (decl_value_expr_lookup): Likewise.
 515         (decl_value_expr_insert): Likewise.
 516         * tree.h (priority_type): New type.
 517         (decl_init_priority_lookup): Use priority_type.
 518         (decl_fini_priority_lookup): New function.
 519         (decl_init_priority_insert): Use priority_type.
 520         (decl_fini_priority_insert): New function.
 521         (DECL_HAS_INIT_PRIORITY): Tweak comments.
 522         (DECL_INIT_PRIORITY): Likewise.
 523         (SET_DECL_INIT_PRIORITY): Add comment.
 524         (DECL_FINI_PRIORITY): New macro.
 525         (SET_DECL_FINI_PRIORITY): Likewise.
 526         (DEFAULT_INIT_PRIORITY): Document.
 527         (MAX_INIT_PRIORITY): Likewise.
 528         (MAX_RESERVED_INIT_PRIORITY): Likewise.
 529         (tree_map_base): New type.
 530         (tree_map_base_eq): New function.
 531         (tree_map_base_hash): Likewise.
 532         (tree_map_base_marked_p): Likewise.
 533         (tree_map): Inherit from tree_map_base.
 534         (tree_map_eq): Make it a macro.
 535         (tree_map_marked_p): Likewise.
 536         (tree_int_map): Inherit from tree_map_base.
 537         (tree_int_map_eq): Make it a macro.
 538         (tree_int_map_hash): Likewise.
 539         (tree_int_map_marked_p): Likewise.
 540         (tree_priority_map): New type.
 541         (tree_priority_map_eq): New macro.
 542         (tree_priority_map_hash): Likewise.
 543         (tree_priority_map_marked_p): Likewise.
 544         * varasm.c (emults_decl): Adjust for refactoring of tree_map
 545         hierarchy.
 546         (emutls_common_1): Likewise.
 547         * lambda-code.c (replace_uses_equiv_to_x_with_y): Likewise.
 548         * tree-ssa-structalias.c (heapvar_lookup): Adjust for refactoring
 549         of tree_map hierarchy.
 550         * tree-cfg.c (move_stmt_r): Likewise.
 551         (new_label_mapper): Likewise.
 552         * c-tree.h (c_expand_body): Move to ...
 553         * c-common.h (c_expand_body): ... here.
 554         * c-decl.c (c_expand_body): Move to ...
 555         * c-common.c (c_expand_body): ... here.
 556         (c_common_attribute_table): Allow 1 argument for the constructor
 557         and destructor attributes.
 558         (get_priority): New function.
 559         (handle_constructor_attribute): Set DECL_INIT_PRIORITY.
 560         (handle_destructor_attribute): Set DECL_FINI_PRIORITY.
 561
 562 2007-02-24  Jan Hubicka  <jh@suse.cz>
 563
 564         PR middle-end/30509
 565         * tree-inline.c (copy_bb): Produce exact copy of EH info when copying for inlining.
 566
 567 2007-02-24  Uros Bizjak  <ubizjak@gmail.com>
 568             Jan Hubicka  <jh@suse.cz>
 569
 570         PR target/30778
 571         * i386.c (counter_mode): New function.
 572         (expand_set_or_movmem_via_loop): Use it.
 573         (expand_movmem_epilogue): Likewise; fix pasto.
 574         (ix86_expand_movmem): Do emit guard even for constant counts.
 575         (ix86_expand_setmem): Likewise.
 576
 577 2007-02-25  Nick Clifton  <nickc@redhat.com>
 578
 579         * config/frv/frv.h (ASM_OUTPUT_CASE_LABEL): Delete.
 580         (JUMP_TABLES_IN_TEXT_SECTION): Define.
 581
 582 2007-02-24  Uros Bizjak  <ubizjak@gmail.com>
 583
 584         PR target/30770
 585         * config/i386/i386.md (expand_movmem_epilogue): Fix typo, mask
 586         count argument with 0x10, not with 0x16.
 587         (expand_setmem_epilogue): Ditto.
 588
 589 2007-02-24  Mike Stump  <mrs@apple.com>
 590
 591         * config/i386/i386.c (output_pic_addr_const): Stubify optimized
 592         symbols.
 593
 594 2007-02-24  Richard Guenther  <rguenther@suse.de>
 595
 596         PR middle-end/30951
 597         * fold-const.c (fold_binary): Fold x +- CST op x for
 598         EQ_EXPR and NE_EXPR.
 599
 600 2007-02-24  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 601
 602         * pa.md (muldi3): Force subregs to registers in 64-bit expander.
 603
 604 2007-02-24  Jan Hubicka  <jh@suse.cz>
 605
 606         * cgraphunit.c (decide_is_function_needed): Honor
 607         -fkeep-inline-functions.
 608
 609 2007-02-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 610
 611         * builtins.c (fold_builtin_modf): New.
 612         (fold_builtin_2): Use it.
 613
 614 2007-02-24  Bernd Schmidt  <bernd.schmidt@analog.com>
 615
 616         * loop-iv.c (implies_p): Detect additional cases where A implies B.
 617         (determine_max_iter): Take additional LOOP arg; all callers changed.
 618         Lose broken logic dealing with PLUS.  Try to limit the upper bound by
 619         one using simplifications.
 620         (simplify_using_initial_values): Return if the expression becomes
 621         invalid due to altered regs.
 622
 623 2007-02-23  DJ Delorie  <dj@redhat.com>
 624
 625         * doc/tm.h (BIGGEST_ALIGNMENT): Clarify the purpose of this macro.
 626
 627 2007-02-23  Mike Stump  <mrs@apple.com>
 628
 629         * tlink.c (scan_linker_output): Parse linker messages from
 630         darwin9's linker better.
 631
 632 2007-02-23  Steve Ellcey  <sje@cup.hp.com>
 633
 634         PR debug/29614
 635         * varpool.c (varpool_assemble_pending_decls):  Set
 636         varpool_last_needed_node to null.
 637
 638 2007-02-23  DJ Delorie  <dj@redhat.com>
 639
 640         * config/i386/i386.c (ix86_data_alignment): Don't specify an
 641         alignment bigger than the object file can handle.
 642
 643 2007-02-23  Uros Bizjak  <ubizjak@gmail.com>
 644
 645         PR target/30825
 646         * config/i386/i386.md (*movdi_1_rex64, zero_extendsidi2_32,
 647         zero_extendsidi2_rex64): Penalize MMX register<->memory moves.
 648         (*movsf_1): Penalize MMX moves.
 649
 650 2007-02-23  Bernd Schmidt  <bernd.schmidt@analog.com>
 651
 652         * config/bfin/bfin.md (doloop_end): Fail for loops that can iterate
 653         2^32-1 or more times unless flag_unsafe_loop_optimizations.
 654
 655         * loop-iv.c (determine_max_iter): Moved in front of its sole user.
 656
 657 2007-02-23  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 658
 659         * builtins.c (fold_builtin_logb, fold_builtin_significand): New.
 660         (fold_builtin_1): Use them.
 661         * fold-const.c (tree_expr_nonnegative_warnv_p): Handle
 662         BUILT_IN_SIGNIFICAND.
 663
 664 2007-02-23  H.J. Lu  <hongjiu.lu@intel.com>
 665
 666         * config/i386/i386.c (bdesc_1arg): Initialize
 667         IX86_BUILTIN_MOVSHDUP and IX86_BUILTIN_MOVSLDUP with
 668         "__builtin_ia32_movshdup" and "__builtin_ia32_movsldup".
 669         (ix86_init_mmx_sse_builtins): Remove IX86_BUILTIN_MOVSHDUP
 670         and IX86_BUILTIN_MOVSLDUP.
 671
 672 2007-02-22  Paolo Bonzini  <bonzini@gnu.org>
 673
 674         PR rtl-optimization/30841
 675         * fwprop.c (propagate_rtx_1): Accept a VOIDmode replacement address.
 676
 677 2007-02-22  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 678
 679         * builtins.c (fold_builtin_frexp): New.
 680         (fold_builtin_2): Use it.
 681
 682 2007-02-22  Mark Mitchell  <mark@codesourcery.com>
 683
 684         * doc/invoke.texi (Spec Files): Document getenv spec function.
 685
 686         * gcc.c (getenv_spec_function): New function.
 687         (static_spec_functions): Add it.
 688         * config/vxworks.h (VXWORKS_TARGET_DIR): Remove.
 689         (VXWORKS_ADDITIONAL_CPP_SPEC): Use getenv to find the VxWorks
 690         header files.
 691
 692 2007-02-22  Michael Matz  <matz@suse.de
 693
 694         PR c++/29433
 695         * dwarf2out.c (add_AT_string): Call ggc_strdup once per string.
 696         (type_tag): Use lang_hooks.dwarf_name instead of DECL_NAME.
 697
 698 2007-02-22  Ian Lance Taylor  <iant@google.com>
 699
 700         PR debug/30898
 701         * dwarf2out.c (concatn_mem_loc_descriptor): New static function.
 702         (mem_loc_descriptor): Call it.
 703
 704 2007-02-22  Zdenek Dvorak  <dvorakz@suse.cz>
 705             Ira Rosen  <irar@il.ibm.com>
 706
 707         * tree-data-ref.c (ptr_ptr_may_alias_p): Take alias sets into account.
 708
 709 2007-02-22  Ira Rosen  <irar@il.ibm.com>
 710
 711         PR tree-optimization/30843
 712         * tree-vect-transform.c (vect_transform_loop): Remove strided scalar
 713         stores only after all the group is vectorized.
 714
 715 2007-02-22  Dorit Nuzman  <dorit@il.ibm.com>
 716
 717         PR tree-optimization/30858
 718         * tree-vectorizer.c (vect_is_simple_reduction): Check that the stmts
 719         in the reduction cycle have a single use in the loop.
 720         * tree-vectorizer.h (relevant): Add documentation.
 721
 722 2007-02-20  Mike Stump  <mrs@apple.com>
 723
 724         * configure.ac (powerpc*-*-darwin*): #include <sys/cdefs.h>.
 725         * configure: Regenerate.
 726
 727 2007-02-21  Trevor Smigiel  <trevor_smigiel@playstation.sony.com>
 728
 729         Change the defaults of some parameters and options.
 730         * config/spu/spu-protos.h (spu_optimization_options): Declare.
 731         * config/spu/spu.c (spu_optimization_options): Add.
 732         (spu_override_options): Change params in spu_optimization_options.
 733         * config/spu/spu.h (OPTIMIZATION_OPTIONS): Define.
 734
 735         Register 127 is only 16 byte aligned when used as a frame pointer.
 736         * config/spu/spu-protos.h (spu_init_expanders): Declare.
 737         * config/spu/spu.c (spu_expand_prologue): Set REGNO_POINTER_ALIGN for
 738         HARD_FRAME_POINTER_REGNUM.
 739         (spu_legitimate_address):  Use regno_aligned_for_reload.
 740         (regno_aligned_for_load):  HARD_FRAME_POINTER_REGNUM is only 16 byte
 741         aligned when frame_pointer_needed is true.
 742         (spu_init_expanders): New.  Set alignment of HARD_FRAME_POINTER_REGNUM
 743         to 8 bits.
 744         * config/spu/spu.h (INIT_EXPANDERS): Define.
 745
 746         Make sure shift and rotate instructions have valid immediate operands.
 747         * config/spu/predicates.md (spu_shift_operand): Remove.
 748         * config/spu/spu.c (print_operand): Add [efghEFGH] modifiers.
 749         * config/spu/constraints.md (W, O): Extend range.
 750         * config/spu/spu.md (umask, nmask): Define.
 751         (ashl<mode>3, ashldi3, ashlti3_imm, shlqbybi_ti, shlqbi_ti, shlqby_ti,
 752         lshr<mode>3, rotm_<mode>, lshr<mode>3_imm, rotqmbybi_<mode>,
 753         rotqmbi_<mode>, rotqmby_<mode>, ashr<mode>3, rotma_<mode>,
 754         rotl<mode>3, rotlti3, rotqbybi_ti, rotqby_ti, rotqbi_ti): Use
 755         spu_nonmem_operand instead of spu_shift_operands.  Use new modifiers.
 756         (lshr<mode>3_reg):  Fix rtl description.
 757
 758         Make sure mulhisi immediate operands are valid.
 759         * config/spu/predicates.md (imm_K_operand): Add.
 760         * config/spu/spu.md (mulhisi3_imm, umulhisi3_imm): Use imm_K_operand.
 761
 762         Generate constants using fsmbi and andi.
 763         * config/spu/spu.c (enum immediate_class): Add IC_FSMBI2.
 764         (print_operand, spu_split_immediate, classify_immediate,
 765         fsmbi_const_p): Handle IC_FSMBI2.
 766
 767         Correctly handle a CONST_VECTOR containing symbols.
 768         * config/spu/spu.c (print_operand): Handle HIGH correctly.
 769         (spu_split_immediate): Split CONST_VECTORs with -mlarge-mem.
 770         (immediate_load_p): Allow symbols that use 2 instructions to create.
 771         (classify_immediate, spu_builtin_splats):  Don't accept a CONST_VECTOR
 772         with symbols when flag_pic is set.
 773         (const_vector_immediate_p): New.
 774         (logical_immediate_p, iohl_immediate_p, arith_immediate_p): Don't
 775         accept a CONST_VECTOR with symbols.
 776         (spu_legitimate_constant_p): Use const_vector_immediate_p.  Don't
 777         accept a CONST_VECTOR with symbols when flag_pic is set.  Handle HIGH
 778         correctly.
 779         * config/spu/spu.md (high, low): Delete.
 780         (low_<mode>): Define.
 781
 782         Remove INTRmode and INTR_REGNUM, which didn't work.
 783         * config/spu/spu.c (spu_conditional_register_usage): Remove reference
 784         of INTR_REGNUM.
 785         * config/spu/spu-builtins.md (spu_idisable, spu_ienable, set_intr,
 786         set_intr_pic, set_intr_cc, set_intr_cc_pic, set_intr_return, unnamed
 787         peephole2 pattern): Don't use INTR or 131.
 788         (movintrcc): Delete.
 789         * config/spu/spu.h (FIRST_PSEUDO_REGISTER, FIXED_REGISTERS,
 790         CALL_USED_REGISTERS, REGISTER_NAMES, INTR_REGNUM): Remove INTR_REGNUM.
 791         * config/spu/spu.md (UNSPEC_IDISABLE, UNSPEC_IENABLE): Remove.
 792         (UNSPEC_SET_INTR): Add.
 793         * config/spu/spu-modes.def (INTR): Remove.
 794
 795         More accurate warnings about run-time relocations.
 796         * config/spu/spu.c (reloc_diagnostic): Test in_section.
 797
 798         Correctly warn about immediate arguments to specific intrinsics.
 799         * config/spu/spu.c (spu_check_builtin_parm): Handle CONST_VECTORs.
 800         (spu_expand_builtin_1): Call spu_check_builtin_parm before checking
 801         the instruction predicate.
 802
 803         Fix tree check errors with latest update.
 804         * config/spu/spu.c (expand_builtin_args, spu_expand_builtin_1): Use
 805         CALL_EXPR_ARG.
 806         (spu_expand_builtin): Use CALL_EXPR_FN.
 807
 808         Add missing specific intrinsics.
 809         * config/spu/spu-builtins.def: Add si_bisled, si_bisledd and
 810         si_bislede.
 811         * config/spu/spu_internals.h: Ditto.
 812
 813         Fix incorrect operand modifiers.
 814         * config/spu/spu-builtins.md (spu_mpy, spu_mpyu):  Remove use of %H.
 815         * config/spu/spu.md (xor<mode>3):  Change %S to %J.
 816
 817         Optimize one case of zero_extend of a vec_select.
 818         * config/spu/spu.md (_vec_extractv8hi_ze):  Add.
 819
 820         Accept any immediate for hbr.
 821         * config/spu/spu.md (hbr):  Change s constraints to i.
 822
 823 2007-02-21  Paul Brook  <paul@codesourcery.com>
 824
 825         * config/arm/arm.c (thumb2_final_prescan_insn): Don't incrememnt
 826         condexec_count when skipping USE and CLOBBER.
 827
 828 2007-02-21  Nick Clifton  <nickc@redhat.com>
 829
 830         * common.opt (Warray-bounds): Add Warning attribute.
 831         (Wstrict-overflow, Wstrict-overflow=, Wcoverage-mismatch):
 832         Likewise.
 833         (fsized-zeroes): Add Optimization attribute.
 834         (fsplit-wide-types, ftree-scev-cprop): Likewise.
 835         * c.opt (Wc++0x-compat): Add Warning attribute.
 836
 837 2007-02-21  Ulrich Weigand  <uweigand@de.ibm.com>
 838
 839         PR middle-end/30761
 840         * reload1.c (eliminate_regs_in_insn): In the single_set special
 841         case, attempt to re-recognize the insn before falling back to
 842         having reload fix it up.
 843
 844 2007-02-20  Eric Christopher  <echristo@gmail.com>
 845
 846         * config/frv/frv.c (frv_read_argument): Take a tree and int argument.
 847         Rewrite accordingly.
 848         (frv_read_iacc_argument): Ditto.
 849         (frv_expand_set_builtin): Take a call instead of arglist, update for
 850         above changes.
 851         (frv_expand_unop_builtin): Ditto.
 852         (frv_expand_binop_builtin): Ditto.
 853         (frv_expand_cut_builtin): Ditto.
 854         (frv_expand_binopimm_builtin): Ditto.
 855         (frv_expand_voidbinop_builtin): Ditto.
 856         (frv_expand_int_void2arg): Ditto.
 857         (frv_expand_prefetches): Ditto.
 858         (frv_expand_voidtriop_builtin): Ditto.
 859         (frv_expand_voidaccop_builtin): Ditto.
 860         (frv_expand_load_builtin): Ditto.
 861         (frv_expand_store_builtin): Ditto.
 862         (frv_expand_mdpackh_builtin): Ditto.
 863         (frv_expand_mclracc_builtin): Ditto.
 864         (frv_expand_mrdacc_builtin): Ditto.
 865         (frv_expand_mwtacc_builtin): Ditto.
 866         (frv_expand_builtin): Remove usage of CALL_EXPR_ARGS, update
 867         calls for above.
 868
 869 2007-02-20  Janis Johnson  <janis187@us.ibm.com>
 870
 871         * doc/invoke.texi (RS/6000 and PowerPC Options): Add -mcmpb and -mdfp.
 872         * configure.ac (HAVE_GAS_CMPB): Check for assembler support of the
 873         cmpb instruction.
 874         (HAVE_GAS_DFP): Check for assembler support of decimal floating
 875         point instructions.
 876         * configure: Regenerate.
 877         * config.in: Regenerate.
 878         * config/rs6000/rs6000.opt (mcmpb, mdfp): New.
 879         * config/rs6000/rs6000.c (rs6000_override_options): Add CMPB and DFP
 880         masks to power6 and power6x and to POWERPC_MASKS.
 881         * config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Define
 882         _ARCH_PWR6.
 883         * config/rs6000/rs6000.h: Check assembler support for CMPB and DFP.
 884         * config/rs6000/sysv4.opt (mprototype): Use variable, not mask.
 885         * config/rs6000/linux64.h (SUBSUBTARGET_OVERRIDE_OPTIONS):
 886         Access PROTOTYPE as variable, not mask.
 887
 888 2007-02-20  Steven Bosscher  <steven@gcc.gnu.org>
 889
 890         * rtl.h (remove_reg_equal_equiv_notes): New prototype.
 891         * rtlanal.c (remove_reg_equal_equiv_notes): New function.
 892         * combine.c (adjust_for_new_dest): Use it.
 893         * postreload.c (reload_combine): Likewise.
 894
 895 2007-02-20  Steven Bosscher  <steven@gcc.gnu.org>
 896
 897         * rtlanal.c (find_reg_equal_equiv_note): Do not find REG_EQ*
 898         notes on an insn with multiple sets, even if single_set returns
 899         non-NULL for that insn.
 900
 901 2007-02-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 902
 903         * fold-const.c (tree_expr_nonnegative_warnv_p): Handle scalb,
 904         scalbn and scalbln.
 905
 906 2007-02-20  Geoffrey Keating  <geoffk@apple.com>
 907
 908         * config/darwin.h (LINK_SPEC): Default -mmacosx-version-min only
 909         if user didn't pass it.
 910         * config/i386/darwin.h (CC1_SPEC): Likewise.
 911         * config/rs6000/darwin.h (CC1_SPEC): Likewise.
 912         (DARWIN_MINVERSION_SPEC): Don't depend on user's setting of
 913         -mmacosx-version-min.
 914
 915 2007-02-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 916             Uros Bizjak  <ubizjak@gmail.com>
 917
 918         * optabs.h (enum optab_index): Add new OTI_scalb.
 919         (scalb_optab): Define corresponding macro.
 920         * optabs.c (init_optabs): Initialize scalb_optab.
 921         * genopinit.c (optabs): Implement scalb_optab using scalb?f3
 922         patterns.
 923         * builtins.c (expand_builtin_mathfn_2, expand_builtin): Handle
 924         BUILT_IN_SCALB{,F,L}, BUILT_IN_SCALBN{,F,L} and BUILT_IN_SCALBLN{,F,L}.
 925         (expand_builtin): Expand BUILT_IN_SCALB{,F,L}, BUILT_IN_SCALBN{,F,L}
 926         and BUILT_IN_SCALBLN{,F,L} using expand_builtin_mathfn_2 if
 927         flag_unsafe_math_optimizations is set.
 928
 929         * config/i386/i386.md (scalbxf3, scalb<mode>3): New expanders
 930         to implement scalbf, scalb and scalbl built-ins as inline x87
 931         intrinsics.
 932
 933 2007-02-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 934             DJ Delorie <dj@redhat.com>
 935
 936         PR other/30824
 937         * diagnostic.c (diagnostic_count_diagnostic): Move -Werror logic to...
 938         (diagnostic_report_diagnostic): ... here, and turn them into real
 939         errors. If warnings are inhibited, no need to do anything.
 940
 941 2007-02-20  Uros Bizjak  <ubizjak@gmail.com>
 942
 943         * config/i386/i386.md (expm1xf2): Reorder insn sequence for
 944         better code generation.
 945
 946 2007-02-20  Ben Elliston  <bje@au.ibm.com>
 947
 948         * config/m68hc11/m68hc11.h (OVERRIDE_OPTIONS): Remove extra ;.
 949
 950 2007-02-20  Kazu Hirata  <kazu@codesourcery.com>
 951
 952         * config/alpha/alpha.c, config/alpha/alpha.md,
 953         config/alpha/lib1funcs.asm, config/alpha/vms-crt0-64.c,
 954         config/alpha/vms-psxcrt0-64.c, config/arc/arc.c,
 955         config/arc/arc.h, config/arm/arm.c, config/arm/arm.md,
 956         config/arm/lib1funcs.asm: Follow spelling conventions.
 957
 958         * config/c4x/c4x.md, config/cris/cris.c, config/crx/crx.c,
 959         config/fr30/fr30.md, config/i386/i386.h,
 960         config/iq2000/iq2000.h, config/iq2000/predicates.md,
 961         config/pa/milli64.S, config/pa/pa.c, config/pa/pa.h,
 962         config/pa/pa.md, config/pa/pa32-regs.h, config/pa/pa64-regs.h,
 963         config/pdp11/pdp11.c, config/pdp11/pdp11.h,
 964         config/rs6000/altivec.md, config/rs6000/rs6000.c,
 965         config/s390/s390-modes.def, config/sparc/netbsd-elf.h,
 966         config/sparc/sparc.c, config/sparc/sparc.h,
 967         config/sparc/sparc.md, config/spu/constraints.md,
 968         config/spu/spu.c, config/stormy16/stormy16.md: Follow spelling
 969         conventions.
 970
 971 2007-02-20  Alan Modra  <amodra@bigpond.net.au>
 972
 973         PR target/29943
 974         * varasm.c (use_blocks_for_decl_p): Return false for decls with
 975         alias attribute.
 976
 977 2007-02-19  Kazu Hirata  <kazu@codesourcery.com>
 978
 979         * doc/invoke.texi (-ftree-lrs): Remove.
 980
 981 2007-02-19  Diego Novillo  <dnovillo@redhat.com>
 982
 983         * tree-ssa-pre.c (create_value_expr_from): Initialize POOL to
 984         NULL.
 985
 986 2007-02-19  Lee Millward  <lee.millward@codesourcery.com>
 987
 988         * config/ia64/ia64.c (ia64_expand_builtin): Use the
 989         new CALL_EXPR_FN macro for retrieving the function
 990         declaration of the input expression.
 991
 992 2007-02-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 993
 994         * c.opt (Waddress): New.
 995         * common.opt (Walways-true): Delete.
 996         (Wstring-literal-comparison): Delete.
 997         * doc/invoke.texi (Warning Options): Delete -Walways-true and
 998         -Wstring-literal-comparison. Add -Waddress.
 999         (Waddress): New.
1000         (Walways-true): Delete.
1001         (Wstring-literal-comparison): Delete.
1002         * doc/extend.texi (#pragma GCC diagnostic): Use -Wformat
1003         consistently instead of -Walways-true in example.
1004         * c-opts.c (c_common_handle_option): -Waddress is enabled by -Wall.
1005         * c-typeck.c (parser_build_binary_op): Replace
1006         -Wstring-literal-comparison and -Walways-true with -Waddress.
1007         * c-common.c (c_common_truthvalue_conversion): Replace -Walways-true
1008         with -Waddress.
1009
1010 2007-02-19  Eric Botcazou  <ebotcazou@adacore.com>
1011
1012         * tree-cfg.c (dump_function_to_file): Be prepared for functions
1013         without DECL_STRUCT_FUNCTION initialized.
1014
1015 2007-02-19  Eric Botcazou  <ebotcazou@adacore.com>
1016
1017         * gimplify.c (gimplify_init_ctor_preeval_1): Detect potential overlap
1018         due to calls to functions taking pointers as parameters.
1019
1020 2007-02-19  Richard Henderson  <rth@redhat.com>
1021
1022         PR debug/29558
1023         * var-tracking.c (track_expr_p): Disallow AGGREGATE_TYPE_P
1024         in memory.
1025
1026 2007-02-19  Andreas Krebbel  <krebbel1@de.ibm.com>
1027
1028         * config/s390/s390.c (s390_call_saved_register_used,
1029         s390_function_ok_for_sibcall): Adjust the way CALL_EXPR arguments are
1030         accessed to the new scheme.
1031
1032 2007-02-19  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
1033
1034         * config/cris/cris.c (cris_movem_load_rest_p, cris_store_multiple_op_p)
1035         (cris_print_index, cris_print_operand, cris_print_operand_address)
1036         (cris_reload_address_legitimized, cris_rtx_costs, cris_address_cost)
1037         (cris_side_effect_mode_ok, cris_valid_pic_const, cris_split_movdx)
1038         (cris_expand_pic_call_address): Use xxx_P predicate macros instead of
1039         GET_CODE () == xxx.
1040         * config/cris/cris.h (SECONDARY_RELOAD_CLASS, EXTRA_CONSTRAINT_Q,
1041         EXTRA_CONSTRAINT_T, BDAP_INDEX_P, BIAP_INDEX_P, SIMPLE_ADDRESS_P,
1042         GO_IF_LEGITIMATE_ADDRESS): Ditto.
1043         * config/cris/cris.md (define_insns: *btst, movdi, *mov_side<mode>)
1044         (*mov_sidesisf, *mov_side<mode>_mem, *mov_sidesisf_mem)
1045         (*clear_side<mode>, movsi, *movsi_internal, *ext_sideqihi)
1046         (*ext_side<mode>si, *op_side<mode>, *op_swap_side<mode>, addsi3)
1047         (*extopqihi_side, *extop<mode>si_side, *extopqihi_swap_side)
1048         (*extop<mode>si_swap_side, addi_mul, *addi,andsi3, andhi3, ashl<mode>3)
1049         (uminsi3, call, call_value): Ditto.
1050         (define_split: indir_to_reg_split, unnamed): Ditto.
1051
1052 2007-02-19  Dorit Nuzman  <dorit@il.ibm.com>
1053
1054         PR tree-optimization/30975
1055         * tree-vect-trasnform.c (vect_get_vec_def_for_stmt_copy): Remove
1056         wrong assert.
1057
1058 2007-02-18  Eric Christopher  <echristo@gmail.com>
1059
1060         * mips.c (mips_prepare_builtin_arg): Add argnum parameter.
1061         Remove use of arglist.
1062         (mips_expand_builtin): Remove use of arglist, pass in expr.
1063         (mips_expand_builtin_direct): Rewrite handling for arglist removal.
1064         (mips_expand_builtin_movtf): Ditto.
1065         (mips_expand_builtin_compare): Ditto.
1066
1067 2007-02-19  Alexandre Oliva  <aoliva@redhat.com>
1068
1069         * tree-sra.c (sra_build_assignment): Replace assertion
1070         checking with a comment explaining why it can't be done.
1071
1072 2007-02-18  Sandra Loosemore  <sandra@codesourcery.com>
1073
1074         PR middle-end/30833
1075         * tree-dump.c (dequeue_and_dump): Add tcc_vl_exp case missed
1076         during CALL_EXPR representation conversion.
1077         * tree-ssa-propagate.c (set_rhs): Likewise.
1078
1079 2007-02-19  Alexandre Oliva  <aoliva@redhat.com>
1080
1081         * tree-sra.c (sra_build_assignment): Disable assertion checking
1082         for now.
1083
1084 2007-02-18  Roger Sayle  <roger@eyesopen.com>
1085
1086         * function.c (gimplify_parameters): Call build_gimple_modify_stmt
1087         instead of calling build2 with a GIMPLE_MODIFY_STMT.
1088         * gimple-low.c (lower_function_body, lower_builtin_setjmp):
1089         Likewise.
1090         * gimplify.c (build_stack_save_restore, gimplify_return_expr,
1091         gimplify_decl_expr,  gimplify_self_mod_expr, gimplify_cond_expr,
1092         gimplify_init_ctor_eval_range, gimple_push_cleanup,
1093         gimplify_omp_for, gimplify_omp_atomic_pipeline,
1094         gimplify_omp_atomic_mutex, gimplify_expr, gimplify_one_sizepos,
1095         force_gimple_operand): Likewise.
1096         * ipa-cp.c (constant_val_insert): Likewise.
1097         * lambda-code.c (lbv_to_gcc_expression, lle_to_gcc_expression,
1098         lambda_loopnest_to_gcc_loopnest, replace_uses_equiv_to_x_with_y,
1099         perfect_nestify): Likewise.
1100         * langhooks.c (lhd_omp_assignment): Likewise.
1101         * omp-low.c (lower_rec_input_clauses, lower_reduction_clauses,
1102         lower_copyprivate_clauses, lower_send_clauses,
1103         lower_send_shared_vars, expand_parallel_call,
1104         expand_omp_for_generic, expand_omp_for_static_nochunk,
1105         expand_omp_for_static_chunk, expand_omp_sections,
1106         lower_omp_single_copy, lower_omp_for_lastprivate,
1107         lower_omp_parallel, init_tmp_var, save_tmp_var): Likewise.
1108         * value-prof.c (tree_divmod_fixed_value, tree_mod_pow2,
1109         tree_mod_subtract, tree_ic, tree_stringop_fixed_value):
1110         Likewise.
1111
1112 2007-02-19  Kazu Hirata  <kazu@codesourcery.com>
1113
1114         * config/sh/divtab.c, config/sh/sh.c, config/sh/sh.h,
1115         config/sh/sh.md: Follow spelling conventions.
1116
1117         * config/frv/frv.c, config/frv/frv.h, config/frv/frv.md,
1118         config/frv/predicates.md: Follow spelling conventions.
1119
1120         * config/m68k/linux-unwind.h: Fix a comment typo.
1121         * target.h: Follow spelling conventions.
1122
1123 2007-02-18  Roger Sayle  <roger@eyesopen.com>
1124
1125         PR rtl-optimization/28173
1126         * simplify-rtx.c (simplify_binary_operation_1) <IOR>:  Optimize
1127         (X & C1) | C2 as C2 when (C1 & C2) == C1 and X has no side-effects.
1128         Optimize (X & C1) | C2 as X | C2 when (C1 | C2) == ~0.
1129         Canonicalize (X & C1) | C2 as (X & (C1 & ~C2)) | C2.
1130         <AND>: Canonicalize (X | C1) & C2 as (X & C2) | (C1 & C2).
1131
1132 2007-02-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1133
1134         * builtins.c (fold_builtin_load_exponent): New.
1135         (fold_builtin_2): Use it.
1136
1137 2007-02-18  Steven Bosscher  <steven@gcc.gnu.org>
1138
1139         PR rtl-optimization/30773
1140         * local-alloc.c (update_equiv_regs): Do not set reg_equiv_init
1141         if we fail to attach a REG_EQUIV note.
1142
1143 2007-02-18  David Edelsohn  <edelsohn@gnu.org>
1144             Roger Sayle  <roger@eyesopen.com>
1145
1146         * config/rs6000/rs6000.md (bswapsi2): New define_insn and splitter.
1147
1148 2007-02-18  Sandra Loosemore  <sandra@codesourcery.com>
1149
1150         * calls.c (initialize_argument_information): Pass original EXP
1151         and STRUCT_VALUE_ADDR_VALUE instead of a list of arguments.  Move
1152         code to split complex arguments here, as part of initializing the
1153         ARGS array.
1154         (expand_call): Remove code that builds a list of arguments and
1155         inserts implicit arguments into it.  Instead, just count how many
1156         implicit arguments there will be so we can determine the size of
1157         the ARGS array, and let initialize_argument_information do the work.
1158         (split_complex_values): Delete unused function.
1159
1160 2007-02-18  Eric Botcazou  <ebotcazou@adacore.com>
1161
1162         * tree-eh.c (tree_could_trap_p): Handle VIEW_CONVERT_EXPR.
1163
1164 2007-02-18  Eric Botcazou  <ebotcazou@adacore.com>
1165
1166         * calls.c (mem_overlaps_already_clobbered_arg_p): Return true
1167         for arg pointer based indexed addressing.
1168
1169 2007-02-18  Kazu Hirata  <kazu@codesourcery.com>
1170
1171         * config/ia64/ia64.h, config/ia64/ia64.md,
1172         config/ia64/predicates.md, config/ia64/sysv4.h: Follow
1173         spelling conventions.
1174
1175 2007-02-18  Roman Zippel <zippel@linux-m68k.org>
1176
1177         * config/m68k/m68k.c (split_di): New.
1178         * config/m68k/m68k-protos.h: Declare split_di.
1179         * config/m68k/m68k.md (extendsidi2*,ashldi3*,ashrdi3*,lshrdi3*):
1180           Improve predicate handling and split constant shifts.
1181
1182 2007-02-18  Roman Zippel <zippel@linux-m68k.org>
1183
1184         * config/m68k/m68k.md (extv,extzv,insv): disable dynamic
1185         parameter for register bitfield operations, general predicates
1186         cleanup
1187
1188 2007-02-18  Roman Zippel <zippel@linux-m68k.org>
1189
1190         * config/m68k/linux.h (MD_UNWIND_SUPPORT): Define.
1191         * config/m68k/linux-unwind.h: New file.
1192
1193 2007-02-18  Kazu Hirata  <kazu@codesourcery.com>
1194
1195         * cfgloop.c, config/alpha/alpha.c, config/bfin/bfin.c,
1196         config/i386/athlon.md, config/ia64/ia64.md,
1197         config/rs6000/rs6000.c, config/s390/s390.c, config/spu/spu.md,
1198         df-problems.c, df.h, fold-const.c, ipa-cp.c, ipa-inline.c,
1199         ipa-prop.h, see.c, struct-equiv.c, tree-inline.c,
1200         tree-ssa-loop-niter.c, tree-vect-analyze.c,
1201         tree-vect-transform.c: Fix comment typos.
1202
1203 2007-02-17  Kazu Hirata  <kazu@codesourcery.com>
1204
1205         * sched-deps.c (find_insn_list): Remove.
1206         * sched-int.h: Remove the prototype for find_insn_list.
1207
1208 2007-02-16  Geoffrey Keating  <geoffk@apple.com>
1209
1210         * config/darwin.h (LINK_SPEC): Always pass -macosx_version_min
1211         to linker.
1212         (DARWIN_EXTRA_SPECS): Add %(darwin_minversion).
1213         * config/rs6000/darwin.h (SUBTARGET_OVERRIDE_OPTIONS): Just call
1214         darwin_rs6000_override_options.
1215         (C_COMMON_OVERRIDE_OPTIONS): Expect
1216         darwin_macosx_version_min to be non-NULL always.
1217         (TARGET_C99_FUNCTIONS): Likewise.
1218         (CC1_SPEC): Always pass -mmacosx-version-min to cc1*.
1219         (DARWIN_MINVERSION_SPEC): New.
1220         * config/rs6000/rs6000.c (darwin_rs6000_override_options): New.
1221         * config/i386/darwin.h (CC1_SPEC): Always pass -mmacosx-version-min
1222         to cc1*.
1223         (DARWIN_MINVERSION_SPEC): New.
1224         * config/darwin.opt (mmacosx-version-min): Initialize to non-NULL
1225         value.
1226         * config/darwin-c.c (darwin_cpp_builtins): Expect
1227         darwin_macosx_version_min to be non-NULL always.
1228
1229         * config/rs6000/rs6000.c: Clean up trailing whitespace.
1230
1231 2007-02-16  Uros Bizjak  <ubizjak@gmail.com>
1232
1233         * config/i386/i386.h (x86_use_xchgb): New.
1234         (TARGET_USE_XCHGB): New macro.
1235         * config/i386/i386.c (x86_use_xchgb): Set for PENT4.
1236         * config/i386/i386.md (*rotlhi3_1 splitter, *rotrhi3_1 splitter):
1237         Split after reload into bswaphi for shifts of 8.
1238         (bswaphi_lowpart): Generate rolw insn for HImode byte swaps.
1239         (*bswaphi_lowpart_1): Generate xchgb for Q registers for TARGET_XCHGB
1240         or when optimizing for size.
1241
1242 2007-02-16  Richard Guenther  <rguenther@suse.de>
1243             Christian Bruel  <christian.bruel@st.com>
1244
1245         * fold-const.c (tree_swap_operands_p): Treat SSA_NAMEs like
1246         DECLs but prefer SSA_NAMEs over DECLs.
1247
1248 2007-02-16  Richard Guenther  <rguenther@suse.de>
1249
1250         * tree-flow-inline.h (single_imm_use_p): Remove.
1251         (zero_imm_uses_p): Likewise.
1252         * tree-ssa-coalesce.c (create_outofssa_var_map): Use has_single_use
1253         instead of single_imm_use_p.
1254         * tree-cfg.c (replace_uses_by): Use has_zero_use instead of
1255         zero_imm_uses_p.
1256
1257 2007-02-16  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1258
1259         PR other/27843
1260         * Makefile.in (SYSTEM_HEADER_DIR): Use single quotes to avoid
1261         nested double- and backquotes.
1262
1263 2007-02-15  Roger Sayle  <roger@eyesopen.com>
1264
1265         PR middle-end/30391
1266         * tree.c (expr_align): Handle MODIFY_EXPR.  GIMPLE_MODIFY_STMT
1267         should be unreachable.
1268         (build2_stat): Allow construction of MODIFY_EXPR at any time.
1269         For the time being redirect GIMPLE_MODIFY_STMT to the new
1270         (renamed) build_gimple_modify_stmt_stat.
1271         (build2_gimple_stat): Rename to...
1272         (build_gimple_modify_stmt_stat): Now longer take a CODE argument.
1273         Always build a GIMPLE_MODIFY_STMT node.
1274         * tree.h (build2_gimple, build2_gimple_stat): Delete.
1275         (build_gimple_modify_stmt, build_gimple_modify_stmt_stat): New
1276         declarations.
1277
1278         * tree-cfg.c (factor_computed_gotos, tree_merge_blocks,
1279         gimplify_val): Use build_gimple_modify_stmt instead of build2_gimple.
1280         * tree-complex.c (set_component_ssa_name, expand_complex_move,
1281         expand_complex_div_wide): Likewise.
1282         * tree-ssa-dom.c (record_equivalences_from_stmt): Likewise.
1283         * tree-ssa-loop-im.c (schedule_sm): Likewise.
1284         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Likewise.
1285         * tree-ssa-loop-manip.c (create_iv): Likewise.
1286         * tree-ssa-phiopt.c (conditional_replacement, minmax_replacement,
1287         abs_replacement): Likewise.
1288         * tree-ssa-pre.c (create_expression_by_pieces, poolify_modify_stmt,
1289         realify_fake_stores): Likewise.
1290
1291         * builtins.c (std_expand_builtin_va_start): Build a MODIFY_EXPR
1292         node rather than a GIMPLE_MODIFY_STMT node.
1293         (std_gimpify_va_arg_expr, expand_builtin_va_copy,
1294         fold_builtin_memset, fold_builtin_memory_op, do_mpfr_sincos):
1295         Likewise.
1296         (integer_valued_real_p): Handle MODIFY_EXPR, not GIMPLE_MODIFY_STMT.
1297         * expr.c (expand_expr_real_1): Handle both MODIFY_EXPR and
1298         GIMPLE_MODIFY_STMT.
1299
1300 2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1301
1302         PR middle-end/30433
1303         * fold-const.c (fold_comparison): Add back the
1304         folding of constant complex comparisions.
1305
1306 2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1307
1308         PR middle-end/30729
1309         * stmt.c (warn_if_unused_value): VA_ARG_EXPR has side
1310         effects unknown to this function, return early.
1311
1312 2007-02-15  Ian Lance Taylor  <iant@google.com>
1313
1314         * lower-subreg.c (move_eh_region_note): New static function.
1315         (resolve_simple_move): Call it.
1316         (decompose_multiword_subregs): Track blocks for which we resolve a
1317         simple move which is also a control flow insn.  Pass them to
1318         find_many_sub_basic_blocks.
1319         (pass_lower_subreg): Add TODO_verify_flow.
1320         (pass_lower_subreg2): Likewise.
1321
1322 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1323             Brooks Moses  <brooks.moses@codesourcery.com>
1324             Lee Millward  <lee.millward@codesourcery.com>
1325
1326         * tree.h (enum tree_code_class): Add tcc_vl_exp.
1327         (VL_EXP_CLASS_P): New.
1328         (TREE_OPERAND_CHECK): Use TREE_OPERAND_LENGTH instead of
1329         TREE_CODE_LENGTH.
1330         (TREE_OPERAND_CHECK_CODE): Likewise.
1331         (GIMPLE_STMT_OPERAND_CHECK): Likewise.
1332         (TREE_RTL_OPERAND_CHECK): Likewise.
1333         (tree_operand_check_failed): Make second parameter the whole tree
1334         instead of its code.  Fixed callers.
1335         (VL_EXP_CHECK): New.
1336         (TREE_OPERAND_LENGTH): New.
1337         (VL_EXP_OPERAND_LENGTH): New.
1338         (CALL_EXPR_FN): New.
1339         (CALL_EXPR_STATIC_CHAIN): New.
1340         (CALL_EXPR_ARGS): New.
1341         (CALL_EXPR_ARG): New.
1342         (call_expr_nargs): New.
1343         (CALL_EXPR_ARGP): New.
1344         (build_nt_call_list): Declare.
1345         (build_vl_exp_stat): Declare.
1346         (build_vl_exp): New.
1347         (build_call_list): Declare.
1348         (build_call_nary): Declare.
1349         (build_call_valist): Declare.
1350         (build_call_array): Declare.
1351         (call_expr_arg): Declare.
1352         (call_expr_argp): Declare.
1353         (call_expr_arglist): Declare.
1354         (fold_build_call_list): Declare.
1355         (fold_build_call_list_initializer): Declare.
1356         (fold_call_expr): Declare to replace fold_builtin.
1357         (fold_builtin_fputs): Update to agree with modified definition.
1358         (fold_builtin_strcpy): Likewise.
1359         (fold_builtin_strncpy): Likewise.
1360         (fold_builtin_memory_chk): Likewise.
1361         (fold_builtin_stxcpy_chk): Likewise.
1362         (fold_builtin_strncpy_chk): Likewise.
1363         (fold_builtin_next_arg): Likewise.
1364         (fold_build_call_expr): Declare.
1365         (fold_builtin_call_list): Declare.
1366         (fold_builtin_call_valist): Declare.
1367         (build_call_expr): Declare.
1368         (validate_arglist): Update to agree with modified definition.
1369         (tree_operand_length): New.
1370         (call_expr_arg_iterator): New.
1371         (init_call_expr_arg_iterator): New.
1372         (next_call_expr_arg): New.
1373         (first_call_expr_arg): New.
1374         (more_call_expr_args_p): New.
1375         (FOR_EACH_CALL_EXPR_ARG): New.
1376
1377         * tree.c (tree_code_class_string): Add entries for tcc_vl_exp
1378         and tcc_gimple_stmt.
1379         (tree_code_size): Update documentation.  Use sizeof (tree) rather
1380         than sizeof (char *).
1381         (tree_size): Likewise.  Add case for tcc_vl_exp.
1382         (tree_node_structure): Add case for tcc_vl_exp.
1383         (contains_placeholder_p): Likewise.
1384         (substitute_in_expr): Likewise.
1385         (substitute_placeholder_in_expr): Likewise.
1386         (stabilize_reference_1): Likewise.
1387         (build3_stat): Remove logic for CALL_EXPRs.  Replace with assertion
1388         to diagnose breakage of this interface for constructing CALL_EXPRs.
1389         (build_nt): Add similar assertion here.
1390         (build_nt_call_list): New.
1391         (simple_cst_equal) <CALL_EXPR>: Rewrite to use new accessors.
1392         (iterative_hash_expr): Use TREE_OPERAND_LENGTH instead of
1393         TREE_CODE_LENGTH.
1394         (get_callee_fndecl): Use new CALL_EXPR accessors.
1395         (tree_operand_check_failed): Change parameters to pass entire node
1396         instead of its code, so that we can call TREE_OPERAND_LENGTH on it.
1397         (process_call_operands): New.
1398         (build_vl_exp_stat): New.
1399         (build_call_list): New.
1400         (build_call_nary): New.
1401         (build_call_valist): New.
1402         (build_call_array): New.
1403         (walk_tree): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1404         (call_expr_arglist): New.
1405
1406         * tree.def (CALL_EXPR): Change representation of CALL_EXPRs to use
1407         tcc_vl_exp instead of a fixed-size tcc_expression.
1408
1409         * doc/c-tree.texi (CALL_EXPR): Document new representation and
1410         accessors for CALL_EXPRs.
1411         (AGGR_INIT_EXPR): Likewise.
1412
1413 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1414             Brooks Moses  <brooks.moses@codesourcery.com>
1415             Lee Millward  <lee.millward@codesourcery.com>
1416
1417         * builtins.c (c_strlen): Return NULL_TREE instead of 0.
1418         (expand_builtin_nonlocal_goto): Change parameter to be entire
1419         CALL_EXPR instead of an arglist.  Use new CALL_EXPR accessors.
1420         (expand_builtin_prefetch): Likewise.
1421         (expand_builtin_classify_type): Likewise.
1422         (mathfn_built_in): Return NULL_TREE instead of 0.
1423         (expand_errno_check): Use new CALL_EXPR accessors.
1424         (expand_builtin_mathfn): Use new CALL_EXPR accessors and constructors.
1425         Return NULL_RTX instead of 0.
1426         (expand_builtin_mathfn_2): Likewise.
1427         (expand_builtin_mathfn_3): Likewise.
1428         (expand_builtin_interclass_mathfn): Likewise.
1429         (expand_builtin_sincos): Likewise.
1430         (expand_builtin_cexpi): Likewise.
1431         (expand_builtin_int_roundingfn): Likewise.
1432         (expand_builtin_int_roundingfn_2): Likewise.
1433         (expand_builtin_pow): Likewise.
1434         (expand_builtin_powi): Likewise.
1435         (expand_builtin_strlen): Pass entire CALL_EXPR as parameter instead
1436         of arglist, fixing callers appropriately.  Use new CALL_EXPR
1437         accessors and constructors.  Return NULL_RTX instead of 0.
1438         (expand_builtin_strstr): Likewise.
1439         (expand_builtin_strchr): Likewise.
1440         (expand_builtin_strrchr): Likewise.
1441         (expand_builtin_strpbrk): Likewise.
1442         (expand_builtin_memcpy): Likewise.
1443         (expand_builtin_mempcpy): Likewise.
1444         (expand_builtin_mempcpy_args): New.
1445         (expand_builtin_memmove): Similarly to expand_builtin_mempcpy.
1446         (expand_builtin_memmove_args): New.
1447         (expand_builtin_bcopy): Similarly to expand_builtin_mempcpy.
1448         (expand_movstr): Likewise.
1449         (expand_builtin_strcpy): Likewise.
1450         (expand_builtin_strcpy_args): New.
1451         (expand_builtin_stpcpy): Similarly to expand_builtin_strcpy.
1452         (expand_builtin_strncpy): Likewise.
1453         (expand_builtin_memset): Likewise.
1454         (expand_builtin_memset_args): New.
1455         (expand_builtin_bzero): Similarly to expand_builtin_memset.
1456         (expand_builtin_memcmp): Likewise.
1457         (expand_builtin_strcmp): Likewise.
1458         (expand_builtin_strncmp): Likewise.
1459         (expand_builtin_strcat): Likewise.
1460         (expand_builtin_strncat): Likewise.
1461         (expand_builtin_strspn): Likewise.
1462         (expand_builtin_strcspn): Likewise.
1463         (expand_builtin_args_info): Likewise.
1464         (expand_builtin_va_start): Likewise.
1465         (gimplify_va_arg_expr): Likewise.
1466         (expand_builtin_va_end): Likewise.
1467         (expand_builtin_va_copy): Likewise.
1468         (expand_builtin_frame_address): Likewise.
1469         (expand_builtin_alloca): Likewise.
1470         (expand_builtin_bswap): Likewise.
1471         (expand_builtin_unop): Likewise.
1472         (expand_builtin_fputs): Likewise.
1473         (expand_builtin_expect): Likewise.
1474         (expand_builtin_fabs): Likewise.
1475         (expand_builtin_copysign): Likewise.
1476         (expand_builtin_printf): Likewise.
1477         (expand_builtin_fprintf): Likewise.
1478         (expand_builtin_sprintf): Likewise.
1479         (expand_builtin_init_trampoline): Likewise.
1480         (expand_builtin_signbit): Likewise.
1481         (expand_builtin_fork_or_exec): Likewise.
1482         (expand_builtin_sync_operation): Likewise.
1483         (expand_builtin_compare_and_swap): Likewise.
1484         (expand_builtin_lock_test_and_set): Likewise.
1485         (expand_builtin_lock_release): Likewise.
1486         (expand_builtin): Likewise.
1487         (builtin_mathfn_code): Likewise.
1488
1489         (fold_builtin_constant_p): Pass call arguments individually instead
1490         of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
1491         accessors and constructors.  Return NULL_TREE instead of 0.
1492         (fold_builtin_expect): Likewise.
1493         (fold_builtin_classify_type): Likewise.
1494         (fold_builtin_strlen): Likewise.
1495         (fold_builtin_nan): Likewise.
1496         (integer_valued_real_p): Likewise.
1497         (fold_trunc_transparent_mathfn): Likewise.
1498         (fold_fixed_mathfn): Likewise.
1499         (fold_builtin_cabs): Likewise.
1500         (fold_builtin_sqrt): Likewise.
1501         (fold_builtin_cbrt): Likewise.
1502         (fold_builtin_cos): Likewise.
1503         (fold_builtin_cosh): Likewise.
1504         (fold_builtin_tan): Likewise.
1505         (fold_builtin_sincos): Likewise.
1506         (fold_builtin_cexp): Likewise.
1507         (fold_builtin_trunc): Likewise.
1508         (fold_builtin_floor): Likewise.
1509         (fold_builtin_ceil): Likewise.
1510         (fold_builtin_round): Likewise.
1511         (fold_builtin_int_roundingfn): Likewise.
1512         (fold_builtin_bitop): Likewise.
1513         (fold_builtin_bswap): Likewise.
1514         (fold_builtin_logarithm): Likewise.
1515         (fold_builtin_hypot): Likewise.
1516         (fold_builtin_pow): Likewise.
1517         (fold_builtin_powi): Likewise.
1518         (fold_builtin_exponent): Likewise.
1519         (fold_builtin_memset): Likewise.
1520         (fold_builtin_bzero): Likewise.
1521         (fold_builtin_memory_op): Likewise.
1522         (fold_builtin_bcopy): Deleted; call site changed to invoke
1523         fold_builtin_memory_op directly.
1524         (fold_builtin_strcpy): Similarly as for fold_builtin_memory_op.
1525         (fold_builtin_strncpy): Likewise.
1526         (fold_builtin_memcmp): Likewise.
1527         (fold_builtin_strcmp): Likewise.
1528         (fold_builtin_strncmp): Likewise.
1529         (fold_builtin_signbit): Likewise.
1530         (fold_builtin_copysign): Likewise.
1531         (fold_builtin_isascii): Likewise.
1532         (fold_builtin_toascii): Likewise.
1533         (fold_builtin_isdigit): Likewise.
1534         (fold_builtin_fabs): Likewise.
1535         (fold_builtin_abs): Likewise.
1536         (fold_builtin_fmin_fmax): Likewise.
1537         (fold_builtin_carg): Likewise.
1538         (fold_builtin_classify): Likewise.
1539         (fold_builtin_unordered_cmp): Likewise.
1540
1541         (fold_builtin_0, fold_builtin_2, fold_builtin_3, fold_builtin_4):
1542         New functions split out from fold_builtin_1.
1543         (fold_builtin_n): New.
1544         (fold_builtin_varargs): New.
1545         (fold_builtin): Deleted.  Most callers changed to use fold_call_expr
1546         instead.
1547         (fold_call_expr): New.
1548         (build_function_call_expr): Rewrite to use new helper function.
1549         (fold_builtin_call_list): New.
1550         (build_call_expr): New.
1551         (fold_builtin_call_valist): New.
1552         (rewrite_call_expr): New.
1553         (validate_arg): New.
1554         (validate_arglist): Change parameter to be entire CALL_EXPR instead
1555         of an arglist.  Change return type to bool.  Use new CALL_EXPR
1556         accessors.
1557
1558         (fold_builtin_strstr):  Pass call arguments individually instead
1559         of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
1560         accessors and constructors.  Return NULL_TREE instead of 0.
1561         (fold_builtin_strchr): Likewise.
1562         (fold_builtin_strrchr): Likewise.
1563         (fold_builtin_strpbrk): Likewise.
1564         (fold_builtin_strcat): Likewise.
1565         (fold_builtin_strncat): Likewise.
1566         (fold_builtin_strspn): Likewise.
1567         (fold_builtin_strcspn): Likewise.
1568         (fold_builtin_fputs): Likewise.
1569         (fold_builtin_next_arg): Likewise.
1570         (fold_builtin_sprintf): Likewise.
1571
1572         (expand_builtin_object_size): Use new CALL_EXPR accessors.  Use
1573         NULL_RTX instead of 0.
1574         (expand_builtin_memory_chk): Likewise.
1575         (maybe_emit_chk_warning): Likewise.
1576         (maybe_emit_sprintf_chk_warning): Likewise.
1577
1578         (fold_builtin_object_size): Pass call arguments individually instead
1579         of as an arglist, fixing callers appropriately.  Use new CALL_EXPR
1580         accessors and constructors.  Return NULL_TREE instead of 0.
1581         (fold_builtin_memory_chk): Likewise.
1582         (fold_builtin_stxcpy_chk): Likewise.
1583         (fold_builtin_strncpy_chk): Likewise.
1584         (fold_builtin_strcat_chk): Likewise.
1585         (fold_builtin_strcat_chk): Likewise.
1586         (fold_builtin_strncat_chk): Likewise.
1587         (fold_builtin_sprintf_chk): Likewise.
1588         (fold_builtin_snprintf_chk): Likewise.
1589         (fold_builtin_printf): Likewise.
1590         (fold_builtin_vprintf): Likewise.
1591
1592         * fold-const.c (negate_expr_p): Use new CALL_EXPR accessors and
1593         constructors.
1594         (operand_equal_p): Add separate tcc_vl_exp/CALL_EXPR case.
1595         (make_range): Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1596         (extract_muldiv_1): Add VL_EXP_CLASS_P case.
1597         (fold_mathfn_compare): Use new CALL_EXPR accessors and constructors.
1598         (fold_unary): Likewise.
1599         (fold_binary): Likewise.
1600         (fold_ternary): Remove CALL_EXPR case, since they are no longer
1601         ternary expressions.
1602         (fold): Add logic for tcc_vl_exp.
1603         (fold_checksum_tree):  Make it know about tcc_vl_exp.  Use
1604         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1605         (fold_build3_stat): Add assertion to flag broken interface for
1606         constructing CALL_EXPRs.
1607         (fold_build_call_list): New.
1608         (fold_build_call_list_initializer): New.
1609         (tree_expr_nonnegative_p): Use new CALL_EXPR accessors and
1610         constructors.
1611         (fold_strip_sign_ops): Likewise.
1612
1613 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1614             Brooks Moses  <brooks.moses@codesourcery.com>
1615             Lee Millward  <lee.millward@codesourcery.com>
1616
1617         * tree-dump.c (dequeue_and_dump) <CALL_EXPR>: Use new CALL_EXPR
1618         accessors and dump arguments explicitly.
1619
1620         * tree-pretty-print.c (do_niy): Use TREE_OPERAND_LENGTH instead of
1621         TREE_CODE_LENGTH.
1622         (dump_generic_node): Use new CALL_EXPR accessors and walk arguments
1623         explicitly.
1624         (print_call_name): Use new CALL_EXPR accessors.
1625
1626         * print-tree.c (print_node): Add case tcc_vl_exp.  Print
1627         CALL_EXPR arguments explicitly instead of as a list.  Use
1628         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1629
1630         * tree-vrp.c (stmt_interesting_for_vrp): Use new CALL_EXPR accessors.
1631         (vrp_visit_stmt): Likewise.
1632
1633         * tree-ssa-loop-im.c (outermost_invariant_loop_expr):  Make it
1634         know about tcc_vl_exp.  Use TREE_OPERAND_LENGTH instead of
1635         TREE_CODE_LENGTH.
1636         (force_move_till_expr): Likewise.
1637
1638         * targhooks.c (default_external_stack_protect_fail): Use
1639         build_call_expr instead of build_function_call_expr.
1640         (default_hidden_stack_protect_fail): Likewise.
1641
1642         * tree-complex.c (expand_complex_libcall): Use build_call_expr to
1643         build the call.
1644
1645         * cgraphbuild.c (build_cgraph_edges): Use new CALL_EXPR accessors
1646         and walk arguments explicitly.
1647
1648         * tree-ssa-loop-niter.c (simplify_replace_tree): Use
1649         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1650         (expand_simple_operations): Likewise.
1651         (infer_loop_bounds_from_array): Use new CALL_EXPR accessors.
1652
1653         * gengtype.c (adjust_field_tree_exp): Use TREE_OPERAND_LENGTH instead
1654         of TREE_CODE_LENGTH.
1655         (walk_type): Tweak walking of arrays not to blow up on CALL_EXPRs.
1656
1657         * optabs.c (expand_widen_pattern-expr): Use TREE_OPERAND_LENGTH
1658         instead of TREE_CODE_LENGTH.
1659
1660         * value_prof.c (tree_ic): Use new CALL_EXPR accessors.
1661         (tree_ic_transform): Likewise.
1662         (interesting_stringop_to_profile_p): Pass entire CALL_EXPR as
1663         parameter instead of arglist.  Fix callers.
1664         (tree_stringop_fixed_value): Use new CALL_EXPR accessors.
1665         (tree_stringops_transform): Likewise.
1666         (tree_indirect_call_to_profile): Likewise.
1667         (tree_stringops_values_to_profile): Likewise.
1668
1669         * tree-tailcall.c (find_tail_calls): Use new CALL_EXPR iterator.
1670         (eliminate_tail_call): Likewise.
1671
1672         * ipa-cp.c (ipcp_update_callgraph): Use new CALL_EXPR accessors.
1673
1674         * tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
1675         Use TREE_OPERAND_LENGTH and generalize to handle any number of
1676         operands.
1677         (instantiate_parameters_1): Can't handle tcc_vl_exp here.
1678
1679         * omp-low.c (build_omp_barrier): Use build_call_expr.
1680         (lower_rec_input_clauses): Likewise.
1681         (lower_reduction_clauses): Likewise.
1682         (expand_parallel_call): Likewise.
1683         (maybe_catch_exception): Likewise.
1684         (expand_omp_for_generic): Likewise.
1685         (expand_omp_for_static_nochunk): Likewise.
1686         (expand_omp_sections): Likewise.
1687         (lower_omp_single_simple): Likewise.
1688         (lower_omp_single_copy): Likewise.
1689         (lower_omp_master): Likewise.
1690         (lower_omp_ordered): Likewise.
1691         (lower_omp_critical): Likewise.
1692
1693         * ipa-reference.c (check-call): Use new CALL_EXPR iterator.
1694         (scan_for_static_refs): Create tcc_vl_exp case for CALL_EXPR.
1695
1696         * tree-gimple.c (is_gimple_call_addr): Fix doc.
1697         (recalculate_side_effects): Use TREE_OPERAND_LENGTH instead of
1698         TREE_CODE_LENGTH.  Add tcc_vl_exp case.
1699
1700         * tree-chrec.c (chrec_contains_symbols): Use TREE_OPERAND_LENGTH
1701         and generalize to handle any number of operands.
1702         (chrec_contains_undetermined): Likewise.
1703         (tree_contains_chrecs): Likewise.
1704         (evolution_function_is_invariant_rec_p): Use TREE_OPERAND_LENGTH.
1705
1706         * cgraphunit.c (update_call_expr): Use new CALL_EXPR accessors.
1707
1708         * tree-ssa-ccp.c (ccp_fold): Use new CALL_EXPR accessors.  Use
1709         fold_call_expr instead of fold_builtin.
1710         (ccp_fold_builtin): Likewise.  Update calls into builtins.c to
1711         match declarations there.
1712         (fold_stmt): Use new CALL_EXPR constructor and accessors.  Doc
1713         updates.
1714
1715         * tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Use
1716         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1717
1718         * ipa-pure-const.c (check_call): Use new CALL_EXPR accessors.
1719         (scan_function): Add case tcc_vl_exp for CALL_EXPR.
1720
1721         * tree-stdarg.c (execute_optimize_stdarg): Use new CALL_EXPR
1722         accessors.
1723
1724         * tree-ssa-math-opts.c (execute_cse_sincos_1): Use build_call_expr.
1725         (execute_cse_sincos): Use new CALL_EXPR accessors.
1726
1727         * tree-ssa-alias.c (find_used_portions): Use new CALL_EXPR iterator.
1728
1729         * gimple-low.c (lower_function_body): Use build_call_expr.
1730         (lower_builtin_setjmp): Likewise.
1731
1732         * expr.c (emit_block_move_via_libcall): Use build_call_expr.
1733         (set_storage_via_libcall): Likewise.
1734         (safe_from_p): Add tcc_vl_exp case.  Use TREE_OPERAND_LENGTH
1735         instead of TREE_CODE_LENGTH.
1736         (expand_expr_real_1): Use new CALL_EXPR accessors.
1737
1738         * tree-browser.c (store_child_info): Use TREE_OPERAND_LENGTH and
1739         generalize to handle any number of operands.
1740         (TB_parent_eq): Likewise.
1741
1742         * predict.c (expr_expected_value): Use new CALL_EXPR accessors.
1743         (strip_builtin_expect): Likewise.
1744
1745         * function.c (gimplify_parameters): Use build_call_expr.
1746
1747         * tree-vectorizer.c (vect_is_simple_reduction): Use TREE_OPERAND_LENGTH
1748         instead of TREE_CODE_LENGTH.
1749
1750         * ipa-type-escape.c (check_call): Use new CALL_EXPR iterators.
1751         (scan_for_refs): Add case tcc_vl_exp for CALL_EXPR.
1752
1753         * tree-data-ref.c (get_references_in_stmt): Use new CALL_EXPR
1754         iterators.
1755
1756         * gimplify.c (build_stack_save_restore): Use build_call_expr.
1757         (gimplify_decl_expr): Likewise.
1758         (gimplify_call_expr): Use fold_call_expr instead of fold_builtin.
1759         Use new CALL_EXPR iterators.
1760         (gimplify_modify_expr_to_memcpy): Use build_call_expr.
1761         (gimplify_modify_expr_to_memset): Likewise.
1762         (gimplify_variable_sized_compare): Likewise.
1763         (gimplify_omp_atomic_fetch_op): Likewise.
1764         (gimplify_omp_atomic_pipeline): Likewise.
1765         (gimplify_omp_atomic_mutex): Likewise.
1766         (gimplify_function_tree): Likewise.
1767
1768         * calls.c (alloca_call_p): Use new CALL_EXPR accessors.
1769         (call_expr_flags): Likewise.
1770         (expand_call): Likewise.
1771
1772         * except.c (expand_builtin_eh_return_data_regno): Pass entire
1773         CALL_EXPR as parameter instead of arglist.  Use new CALL_EXPR
1774         accessors.
1775
1776         * coverage.c (create_coverage): Use build_call_expr.
1777
1778         * tree-ssa-pre.c (expression_node_pool, list_node_pool): Delete.
1779         (temp_call_expr_obstack): New.
1780         (pool_copy_list): Delete.
1781         (temp_copy_call_expr): New.
1782         (phi_translate): Add case tcc_vl_exp for CALL_EXPR.  Use new
1783         CALL_EXPR accessors.  Get rid of special goo for copying argument
1784         lists and use temp_copy_call_expr instead.
1785         (valid_in_sets): Add case tcc_vl_exp for CALL_EXPR.  Use new
1786         CALL_EXPR accessors.
1787         (create_expression_by_pieces): Likewise.  Use build_call_array
1788         to construct the result instead of fold_build3.
1789         (create_value_expr_from): Add tcc_vl_exp.  Delete special goo for
1790         dealing with argument lists.
1791         (init_pre): Remove references to expression_node_pool and
1792         list_node_pool.  Init temp_call_expr_obstack instead.
1793         (fini_pre): Remove references to expression_node_pool and
1794         list_node_pool.
1795
1796         * tree-sra.c (sra_walk_call_expr): Use new CALL_EXPR accessors
1797         and walk arguments explicitly instead of as a list.
1798
1799         * tree-mudflap.c (mf_build_check_statement_for): Use build_call_expr.
1800         (mx_register_decls): Likewise.
1801         (mudflap_register_call): Likewise.
1802         (mudflap_finish_file): Likewise.
1803
1804         * ipa-prop.c (ipa_callsite_compute_count): Use new CALL_EXPR accessors.
1805         (ipa_callsite_compute_param): Likewise.
1806
1807         * tree-vect-patterns.c (vect_recog_pow_pattern): Use new CALL_EXPR
1808         accessors and constructor.
1809
1810         * tree-nested.c (convert_nl_goto_reference): Use new CALL_EXPR
1811         accessors and constructor.
1812         (convert_tramp_reference): Likewise.
1813         (convert_call_expr): Likewise.
1814         (finalize_nesting_tree_1): Likewise.
1815
1816         * tree-ssa.c (tree_ssa_useless_type_conversion): Use new CALL_EXPR
1817         accessors.
1818
1819         * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Use build_call_expr.
1820
1821         * tree-inline.c (initialize_inlined_parameters): Pass entire
1822         CALL_EXPR as parameter instead of arglist.  Use new CALL_EXPR
1823         accessors.
1824         (estimate_num_insns_1): Use new CALL_EXPR accessors.
1825         (expand_call_inline): Tidy up call to initialize_inlined_parameters.
1826
1827         * tree-vect-transform.c (vect_create_epilog_for_reduction):  Use
1828         TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1829         (vectorizable_reduction): Likewise.
1830         (vectorizable_call): Use new CALL_EXPR iterators.
1831         (vectorizable_conversion): Use build_call_expr.
1832         (vectorizable_operation): Use TREE_OPERAND_LENGTH.
1833         (vect_gen_widened_results_half): Use build_call_expr.
1834         (vect_setup_realignment): Likewise.
1835         (vectorizable_live_operation): Use TREE_OPERAND_LENGTH.
1836
1837         * tree-object-size.c (alloc_object_size): Use new CALL_EXPR accessors.
1838         (pass_through_call): Likewise.
1839         (compute_object_sizes): Likewise.  Use fold_call_expr instead of
1840         fold_builtin.
1841
1842         * tree-profile.c (tree_gen_interval_profiler): Use build_call_expr.
1843         (tree_gen_pow2_profiler): Likewise.
1844         (tree_gen_one_value_profiler): Likewise.
1845         (tree_gen_ic_func_profiler): Likewise.
1846         (tree_gen_average_profiler): Likewise.
1847         (tree_gen_ior_profiler): Likewise.
1848
1849         * tree-ssa-structalias.c (get_constraint_for): Add case tcc_vl_exp.
1850         (find_func_aliases): Use new CALL_EXPR accessors.  Add case
1851         tcc_vl_exp.  Use TREE_OPERAND_LENGTH instead of TREE_CODE_LENGTH.
1852
1853         * tree-ssa-reassoc.c (get_rank): Use TREE_OPERAND_LENGTH instead
1854         of TREE_CODE_LENGTH.
1855
1856         * stmt.c (warn_if_unused_value): Use TREE_OPERAND_LENGTH instead
1857         of TREE_CODE_LENGTH.
1858
1859         * convert.c (convert_to_real): Use new CALL_EXPR accessors and
1860         constructor.
1861         (convert_to_integer): Likewise.
1862
1863         * tree-ssa-operands.c (get_call_expr_operands): Use new CALL_EXPR
1864         accessors.
1865
1866 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1867             Brooks Moses  <brooks.moses@codesourcery.com>
1868             Lee Millward  <lee.millward@codesourcery.com>
1869
1870         * config/alpha/alpha.c (alpha_expand_builtin): Use new CALL_EXPR
1871         accessors.
1872         * config/frv/frv.c (frv_expand_builtin): Likewise.
1873         * config/s390/s390.c (s390_expand_builtin): Likewise.
1874
1875         * config/sparc/sparc.c (sparc_gimplify_va_arg): Use build_call_expr.
1876         (sparc_expand_builtin): Use new CALL_EXPR accessors.
1877
1878         * config/i386/i386.c (ix86_function_ok_for_sibcall): Likewise.
1879         (ix86_expand_binop_builtin): Pass entire CALL_EXPR as parameter
1880         instead of arglist.  Use new CALL_EXPR accessors on it.  Fix callers.
1881         (ix86_expand_store_builtin): Likewise.
1882         (ix86_expand_unop_builtin): Likewise.
1883         (ix86_expand_unop1_builtin): Likewise.
1884         (ix86_expand_sse_compare): Likewise.
1885         (ix86_expand_sse_comi): Likewise.
1886         (ix86_expand_vec_init_builtin): Likewise.
1887         (ix86_expand_vec_ext_builtin): Likewise.
1888         (ix86_expand_vec_set_builtin): Likewise.
1889         (ix86_expand_builtin): Use new CALL_EXPR accessors.
1890
1891         * config/sh/sh.c (sh_expand_builtin): Use new CALL_EXPR accessors.
1892         * config/c4x/c4x.c (c4x_expand_builtin): Likewise.
1893
1894         * config/iq2000/iq2000.c (expand_one_builtin): Pass entire CALL_EXPR
1895         instead of arglist.  Use new CALL_EXPR accessors.  Fix callers.
1896         (iq2000_expand_builtin): Use new CALL_EXPR accessors.
1897
1898         * config/rs6000/rs6000-c.c (altivec_build_resolved_builtin): Use
1899         build_call_expr.
1900         * config/rs6000/rs6000.c (rs6000_gimplify_va_arg): Likewise.
1901         (rs6000_expand_unop_builtin): Pass entire CALL_EXPR instead of
1902         arglist.  Use new CALL_EXPR accessors.  Fix callers.
1903         (altivec_expand_abs_builtin): Likewise.
1904         (rs6000_expand_binop_builtin): Likewise.
1905         (altivec_expand_predicate_builtin): Likewise.
1906         (altivec_expand_lv_builtin): Likewise.
1907         (spe_expand_stv_builtin): Likewise.
1908         (altivec_expand_stv_builtin): Likewise.
1909         (rs6000_expand_ternop_builtin): Likewise.
1910         (altivec_expand_ld_builtin): Use new CALL_EXPR accessors.
1911         (altivec_expand_st_builtin): Likewise.
1912         (altivec_expand_dst_builtin): Likewise.
1913         (altivec_expand_vec_init_builtin): Pass entire CALL_EXPR instead of
1914         arglist.  Use new CALL_EXPR accessors.  Fix callers.
1915         (altivec_expand_vec_set_builtin): Likewise.
1916         (altivec_expand_vec_ext_builtin): Likewise.
1917         (altivec_expand_builtin): Use new CALL_EXPR accessors.
1918         (spe_expand_builtin): Likewise.
1919         (spe_expand_predicate_builtin): Pass entire CALL_EXPR instead of
1920         arglist.  Use new CALL_EXPR accessors.  Fix callers.
1921         (spe_expand_evsel_builtin): Likewise.
1922         (rs6000_expand_builtin): Use new CALL_EXPR accessors.  VCFUX and
1923         FCFSX cases must construct whole new CALL_EXPR, not just arglist.
1924
1925         * config/arm/arm.c (arm_expand_binop_builtin): Pass entire CALL_EXPR
1926         instead of arglist.  Use new CALL_EXPR accessors.  Fix callers.
1927         (arm_expand_unop_builtin): Likewise.
1928         (arm_expand_builtin): Use new CALL_EXPR accessors.
1929
1930         * config/mips/mips.c (mips_expand_builtin):  Use new CALL_EXPR
1931         accessors.
1932
1933         * config/bfin/bfin.c (bfin_expand_binop_builtin): Pass entire CALL_EXPR
1934         instead of arglist.  Use new CALL_EXPR accessors.  Fix callers.
1935         (bfin_expand_unop_builtin): Likewise.
1936         (bfin_expand_builtin): Use new CALL_EXPR accessors.
1937
1938 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
1939             Brooks Moses  <brooks.moses@codesourcery.com>
1940             Lee Millward  <lee.millward@codesourcery.com>
1941
1942         * c-semantics.c (build_stmt): Add internal diagnostic check.
1943
1944         * c-pretty-print.c (pp_c_postfix_expression): Use new CALL_EXPR
1945         accessors.  Print arguments explicitly instead of as a list.
1946
1947         * c-typeck.c (build_function_call): Use new CALL_EXPR constructors.
1948
1949         * c-omp.c (c_finish_omp_barrier): Use build_call_expr.
1950         (c_finish_omp_flish): Likewise.
1951
1952         * c-common.c (verify_tree): Use new CALL_EXPR accessors.  Traverse
1953         arguments explicitly instead of as a list.  Use TREE_OPERAND_LENGTH
1954         instead of TREE_CODE_LENGTH.
1955         (check_function_arguments_recurse): Use new CALL_EXPR accessors.
1956         (c_warn_unused_result): Likewise.
1957
1958 2007-02-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1959
1960         PR c/26494
1961         * doc/invoke.texi (Warning Options): Remove
1962         -Werror-implicit-function-declaration.
1963         (Wimplicit-function-declaration): Update description.
1964         * opts.c (common_handle_option): Move handling of -Werror=* to...
1965         (enable_warning_as_error): ...here.
1966         * opts.h (enable_warning_as_error): Declare.
1967         * c-decl.c (implicit_decl_warning): Unless
1968         -Wno-implicit-function-declaration is given, emit a pedwarn if
1969         -std=c99 or emit a warning if -Wimplicit-function-declaration.
1970         * c.opt (Wimplicit-function-declaration): Replace
1971         mesg_implicit_function_declaration with
1972         warn_implicit_function_declaration.
1973         * c-opts.c (c_common_handle_option):
1974         -Werror-implicit-function-declaration is exactly equal as
1975         -Werror=implicit-function-declaration.
1976         (set_Wimplicit): Replace mesg_implicit_function_declaration with
1977         warn_implicit_function_declaration.
1978         (c_common_post_options): -Wimplict-function-declaration is enabled
1979         by default by -std=c99, otherwise is disabled by default.
1980         * c-objc-common.c (c_objc_common_init): Remove flawed logic.
1981
1982 2007-02-15  Eric Botcazou  <ebotcazou@adacore.com>
1983
1984         * gimplify.c (gimplify_modify_expr): During gimplification, attach a
1985         DECL on the rhs to a DECL on the lhs for debug info purposes if the
1986         former is ignored but not the latter.
1987
1988 2007-02-15  Eric Botcazou  <ebotcazou@adacore.com>
1989
1990         * expr.c (expand_expr_real_1) <normal_inner_ref>: If a temporary
1991         is made and the reference doesn't use the alias set of its type,
1992         do not create the temporary using that type.
1993
1994 2007-02-15  Aldy Hernandez  <aldyh@redhat.com>
1995
1996         * jump.c: Remove prototypes for delete_computation and
1997         delete_prior_computation.
1998
1999 2007-02-15  Paolo Bonzini  <bonzini@gnu.org>
2000
2001         * jump.c (get_label_after): Delete.
2002         (get_label_before, delete_computation, delete_jump,
2003         delete_prior_computation, follow_jumps): Move...
2004         * reorg.c (delete_computation, delete_prior_computation): ... here...
2005         (get_label_before, delete_jump): ... making these static ...
2006         (follow_jumps): ... and simplifying this since it only runs after
2007         reload.
2008         * rtl.h (get_label_after, get_label_before, delete_jump,
2009         follow_jumps): Delete prototypes.
2010
2011 2007-02-15  Paolo Bonzini  <bonzini@gnu.org>
2012
2013         * caller-save.c (save_call_clobbered_regs): Do not process sibcalls.
2014
2015 2007-02-15  Nick Clifton  <nickc@redhat.com>
2016
2017         * varasm.c (default_asm_output_anchor): Prepend * to . symbol in
2018         order to prevent it from being munged by the target.
2019
2020 2007-02-15  Uros Bizjak  <ubizjak@gmail.com>
2021
2022         * config/i386/i386.md: Remove misleading comment.
2023
2024 2007-02-15  Alexandre Oliva  <aoliva@redhat.com>
2025
2026         * config/frv/frv.md (reload_incc, reload_outcc, reload_incc_uns,
2027         reload_outcc_uns, reload_incc_nz, reload_outcc_nz): Remove
2028         invalid patterns.
2029
2030 2007-02-15  Alexandre Oliva  <aoliva@redhat.com>
2031
2032         * tree-sra.c (instantiate_missing_elements): Canonicalize
2033         bit-field types.
2034         (sra_build_assignment): New.
2035         (generate_copy_inout, generate_element_copy,
2036         generate_element_zero, generate_one_element_init): Use it.
2037
2038 2007-02-15  Alexandre Oliva  <aoliva@redhat.com>
2039
2040         * tree-sra.c (instantiate_missing_elements): Canonicalize
2041         bit-field types.
2042         (sra_build_assignment): New.
2043         (generate_copy_inout, generate_element_copy,
2044         generate_element_zero, generate_one_element_init): Use it.
2045
2046 2007-02-15  Alexandre Oliva  <aoliva@redhat.com>
2047
2048         * dwarf2out.c (dwarf2out_finish): Accept namespaces as context of
2049         limbo die nodes.
2050
2051 2007-02-14  Joseph Myers  <joseph@codesourcery.com>
2052
2053         * emit-rtl.c (set_mem_attributes_minus_bitpos): Treat complex
2054         types as aggregates not scalars.
2055         * function.c (assign_stack_temp_for_type): Likewise.
2056
2057 2007-02-14  Roger Sayle  <roger@eyesopen.com>
2058             Zdenek Dvorak  <dvorakz@suse.cz>
2059
2060         * tree-dump.c (dump_switch_p_1): Require exact match of the option
2061         name.
2062
2063 2007-02-14  Zdenek Dvorak  <dvorakz@suse.cz>
2064
2065         * passes.c (next_pass_1): Clear the next field of the copied
2066         pass structure.
2067
2068 2007-02-14  Richard Henderson  <rth@redhat.com>
2069
2070         * tree-sra.c (early_sra): New.
2071         (decl_can_be_decomposed_p): Deny va_list if early_sra.
2072         (tree_sra_early, pass_sra_early): New.
2073         * tree-pass.h (pass_sra_early): Declare.
2074         * passes.c (init_optimization_passes): Use it.
2075
2076 2007-02-14  Richard Guenther  <rguenther@suse.de>
2077
2078         * flags.h (issue_strict_overflow_warning): Convert to a macro.
2079
2080 2007-02-14  Dorit Nuzman  <dorit@il.ibm.com>
2081
2082          PR tree-optimization/30771
2083         * tree-vect-analyze.c (vect_determine_vectorization_factor): Traverse
2084         also phi nodes.
2085         (vect_analyze_operations): Induction phis can now be marked as
2086         used_in_loop.
2087         (vect_mark_stmts_to_be_vectorized): No special treatment for phis.
2088         Update documentation accordingly.
2089
2090 2007-02-14  Nick Clifton  <nickc@redhat.com>
2091
2092         * builtin-types.def (DEF_FUNCTION_TYPE_x): Do not imply that at
2093         most 3 arguments are supported.
2094         (DEF_FUNCTION_TYPE_VAR_5): Fix typo in its description.
2095
2096 2007-02-13  Seongbae Park <seongbae.park@gmail.com>
2097
2098         * bitmap.c (bitmap_and, bitmap_and_compl, bitmap_xor):
2099         Ensure dst->current is valid.
2100
2101 2007-02-13  Paul Brook  <paul@codesourcery.com>
2102
2103         * config.gcc: Add arm*-*-uclinux-*eabi.
2104         * config/arm/uclinux-elf.h (TARGET_OS_CPP_BUILTINS): Define.
2105         (SUBTARGET_EXTRA_LINK_SPEC): Define.
2106         (STARTFILE_SPEC, ENDFILE_SPEC): Remove broken -shared handling.
2107         (LINK_GCC_C_SEQUENCE_SPEC): Undef.
2108         (LINK_SPEC): Define.
2109         (LIB_SPEC): Define.
2110         * config/arm/arm.c (arm_override_options): Use r9 as EABI PIC
2111         register.
2112         * config/arm/uclinux-eabi.h: New file.
2113         * config/arm/linux-eabi.h (WCHAR_TYPE): Remove.
2114         * config/arm/linux-gas.h (WCHAR_TYPE): Use unsigned long on AAPCS
2115         based targets.
2116
2117 2007-02-13  Ian Lance Taylor  <iant@google.com>
2118
2119         * common.opt: Add Wstrict-overflow and Wstrict-overflow=.
2120         * flags.h (warn_strict_overflow): Declare.
2121         (enum warn_strict_overflow_code): Define.
2122         (issue_strict_overflow_warning): New static inline function.
2123         * opts.c (warn_strict_overflow): New variable.
2124         (common_handle_option): Handle OPT_Wstrict_overflow and
2125         OPT_Wstrict_overflow_.
2126         * c-opts.c (c_common_handle_option): Set warn_strict_overflow for
2127         OPT_Wall.
2128         * fold-const.c: Include intl.h.
2129         (fold_deferring_overflow_warnings): New static variable.
2130         (fold_deferred_overflow_warning): New static variable.
2131         (fold_deferred_overflow_code): New static variable.
2132         (fold_defer_overflow_warnings): New function.
2133         (fold_undefer_overflow_warnings): New function.
2134         (fold_undefer_and_ignore_overflow_warnings): New function.
2135         (fold_deferring_overflow_warnings_p): New function.
2136         (fold_overflow_warning): New static function.
2137         (make_range): Add strict_overflow_p parameter.  Change all
2138         callers.
2139         (extract_muldiv, extract_muldiv_1): Likewise.
2140         (fold_unary) [ABS_EXPR]: Check ABS_EXPR before calling
2141         tree_expr_nonnegative_p.
2142         (fold_negate_expr): Call fold_overflow_warning.
2143         (fold_range_test): Likewise.
2144         (fold_comparison): Likewise.
2145         (fold_binary): Likewise.  Call tree_expr_nonnegative_warnv_p
2146         instead of tree_expr_nonnegative_p.
2147         (tree_expr_nonnegative_warnv_p): Rename from
2148         tree_expr_nonnegative_p, add strict_overflow_p parameter.
2149         (tree_expr_nonnegative_p): New function.
2150         (tree_expr_nonzero_warnv_p): Rename from tree_expr_nonzero_p, add
2151         strict_overflow_p parameter.
2152         (tree_expr_nonzero_p): New function.
2153         * passes.c (verify_interpass_invariants): New static function.
2154         (execute_one_pass): Call it.
2155         * tree-ssa-loop-niter.c (expand_simple_operations): Ignore fold
2156         warnings.
2157         (number_of_iterations_exit, loop_niter_by_eval): Likewise.
2158         (estimate_numbers_of_iterations): Likewise.
2159         (scev_probably_wraps_p): Likewise.
2160         * tree-ssa-ccp.c: Include "toplev.h".
2161         (evaluate_stmt): Defer fold overflow warnings until we know we are
2162         going to optimize.
2163         (struct fold_stmt_r_data): Add stmt field.
2164         (fold_stmt_r): Defer fold overflow warnings until we know we
2165         optimized.
2166         (fold_stmt): Initialize stmt field of fold_stmt_r_data.
2167         (fold_stmt_inplace): Likewise.
2168         * tree-cfgcleanup.c: Include "toplev.h" rather than "errors.h".
2169         (cleanup_control_expr_graph): Defer fold overflow warnings until
2170         we know we are going to optimize.
2171         * tree-cfg.c (fold_cond_expr_cond): Likewise.
2172         * tree-ssa-threadedge.c (simplify_control_stmt_condition):
2173         Likewise.
2174         * tree-vrp.c (vrp_expr_computes_nonnegative): Call
2175         tree_expr_nonnegative_warnv_p instead of tree_expr_nonnegative_p.
2176         * tree-ssa-loop-manip.c (create_iv): Likewise.
2177         * c-typeck.c (build_conditional_expr): Likewise.
2178         (build_binary_op): Likewise.
2179         * tree-vrp.c (vrp_expr_computes_nonzero): Call
2180         tree_expr_nonzero_warnv_p instead of tree_expr_nonzero_p.
2181         (extract_range_from_unary_expr): Likewise.
2182         * simplify-rtx.c (simplify_const_relational_operation): Warn when
2183         assuming that signed overflow does not occur.
2184         * c-common.c (pointer_int_sum): Ignore fold overflow warnings.
2185         * tree.h (tree_expr_nonnegative_warnv_p): Declare.
2186         (fold_defer_overflow_warnings): Declare.
2187         (fold_undefer_overflow_warnings): Declare.
2188         (fold_undefer_and_ignore_overflow_warnings): Declare.
2189         (fold_deferring_overflow_warnings_p): Declare.
2190         (tree_expr_nonzero_warnv_p): Declare.
2191         * doc/invoke.texi (Option Summary): Add -Wstrict-overflow to list
2192         of warning options.
2193         (Warning Options): Document -Wstrict-overflow.
2194         * Makefile.in (tree-ssa-threadedge.o): Depend on toplev.h.
2195         (tree-ssa-ccp.o): Likewise.
2196         (tree-cfgcleanup.o): Change errors.h dependency to toplev.h.
2197         (fold-const.o): Depend on intl.h.
2198
2199 2007-02-13  Ian Lance Taylor  <iant@google.com>
2200
2201         PR middle-end/30751
2202         * lower-subreg.c (resolve_simple_move): Decompose subregs in
2203         addresses.
2204
2205 2007-02-13  Stuart Hastings  <stuart@apple.com>
2206
2207         * gcc/config/i386/i386.md (fixuns_truncdfhi2): Require SSE2.
2208
2209 2007-02-13  Richard Henderson  <rth@redhat.com>
2210
2211         * config/alpha/alpha.c (alpha_stdarg_optimize_hook): Strip
2212         handled_component_p before looking for the indirect_ref.
2213
2214 2007-02-13  Richard Henderson  <rth@redhat.com>
2215
2216         * config/i386/i386.md (bswapsi_1): Rename from bswapsi2,
2217         remove flags clobber.
2218         (bswapsi2): New expander, emit code for !TARGET_BSWAP.
2219         (bswaphi_lowpart): New.
2220         (bswapdi2): Rename from bswapdi2_rex, remove flags clobber,
2221         remove TARGET_BSWAP test.  Delete expander of the same name.
2222
2223         * optabs.c (widen_bswap, expand_doubleword_bswap): New.
2224         (expand_unop): Use them.
2225
2226 2007-02-13  Uros Bizjak  <ubizjak@gmail.com>
2227
2228         * config/i386/i386.md (cmpdi_ccno_1_rex64, *cmpsi_ccno_1,
2229         *cmphi_ccno_1, *cmpqi_ccno_1, *movsi_xor, *movstricthi_xor,
2230         *movstrictqi_xor, *movdi_xor_rex64, *ashldi3_1_rex64,
2231         *ashldi3_cmp_rex64, *ashldi3_cconly_rex64, ashlsi3, *ashlsi3_1_zext,
2232         *ashlsi3_cmp, *ashlsi3_cconly, *ashlsi3_cmp_zext, *ashlhi3_1_lea,
2233         *ashlhi3_1, *ashlhi3_cmp, *ashlhi3_cconly, *ashlqi3_1_lea,
2234         *ashlqi3_1, *ashlqi3_cmp, *ashlqi3_cconly): Remove equivalent
2235         assembler dialect choice from asm templates.
2236
2237 2007-02-12  Richard Henderson  <rth@redhat.com>
2238
2239         * config/i386/i386.md (fixuns_trunc<SSEMODEF>si_1): New insn.
2240         (fixuns_trunc<SSEMODEF>si2): Use it.
2241         * config/i386/sse.md (vec_setv4sf_0): Export.
2242         * config/i386/i386.c (ix86_build_const_vector): Export.
2243         (ix86_split_convert_uns_si_sse): Rename from
2244         ix86_expand_convert_uns_si_sse and rewrite as a splitter.
2245         * config/i386/i386-protos.h: Update.
2246
2247 2007-02-13  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2248
2249         PR c/29521
2250         * c-typeck.c (c_finish_return): Improve warning message.
2251
2252 2007-02-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2253
2254         * alias.c (find_symbolic_term): Delete unused function.
2255
2256 2007-02-12  Uros Bizjak  <ubizjak@gmail.com>
2257
2258         * config/i386/i386.md (paritydi2, paritysi2): New expanders.
2259         (paritydi2_cmp, paritydi2_cmp): New insn and split patterns.
2260         (*parityhi2_cmp, *parityqi2_cmp): New insn patterns.
2261
2262 2007-02-12  Eric Botcazou  <ebotcazou@adacore.com>
2263
2264         * tree.h (DECL_IGNORED_P): Document further effect for FUNCTION_DECL.
2265         * cgraphunit.c (cgraph_expand_function): If DECL_IGNORED_P is set on
2266         the function, temporarily point the debug interface to the null one.
2267
2268 2007-02-12  Eric Botcazou  <ebotcazou@adacore.com>
2269
2270         * dwarf2out.c (round_up_to_align): New static function.
2271         (field_byte_offset): Use it to round the offset.
2272
2273 2007-02-12  Richard Henderson  <rth@redhat.com>
2274
2275         * config/alpha/alpha.md (bswapsi2, bswapdi2): New.
2276         (inswl_const): Export.
2277
2278 2007-02-12  Richard Henderson  <rth@redhat.com>
2279
2280         * calls.c (emit_library_call_value_1): If PROMOTE_MODE modifed the
2281         result mode of the libcall, convert back to outmode.
2282
2283 2007-02-12  Roger Sayle  <roger@eyesopen.com>
2284
2285         * config/i386/i386.md (*bswapdi2_rex): Renamed from bswapdi2.
2286         (bswapdi2): New define_expand to implement 32-bit implementation.
2287
2288 2007-02-12  Nick Clifton  <nickc@redhat.com>
2289
2290         * doc/invoke.texi (Overall Options): Document --help=.
2291         * gcc.c (target_help_flag): Rename to print_subprocess_flag.
2292         (cc1_options): Pass --help= on to cc1.
2293         (display_help): Add description of --help=.
2294         (process_command): Add code to handle --help=.  Allow translated
2295         --help and --target-help switches to be passed on to compiler
2296         sub-process.
2297         (main): Remove unused if statement.
2298         * opts.c (columns): Remove.
2299         (LEFT_COLUMN): Define.
2300         (wrap_help): Add columns argument.
2301         (print_filtered_help): Change parameters to be an include bitmask,
2302         an exclude bitmask, an any bitmask and the column width.  Move the
2303         code to display the params list here.  Add code to display the
2304         status of options rather than their descriptions if the quiet flag
2305         is not active.
2306         (print_specific_help): Change parameters to be an include bitmask,
2307         an exclude bitmask and an any bitmask.  Move code to look up the
2308         column width here.  Decide upon the title for an options listing.
2309         (common_handle_options): Add code to handle --help=.  Adapt code
2310         for --help and --target-help to use the revised form of the
2311         print_specific_help function.
2312         (print_help): Delete.
2313         (print_param_help): Delete.
2314         (print_switch): Delete.
2315         * opts.h (cl_lang_count): Add prototype.
2316         (CL_PARAMS, CL_WARNING, CL_OPTIMIZATION, CL_MIN_OPTION_CLASS,
2317         CL_MAX_OPTION_CLASS): New defines.
2318         * optc-gen.awk: Add construction of cl_lang_count.
2319         * c.opt: Add Warning attribute to warning options and Optimization
2320         attribute to optimization options.
2321         * common.opt: Likewise.
2322         Add --help=.
2323         Add -fhelp and -ftarget-help as aliases for the transformed --help
2324         and --target-help options.
2325         * opt-functions.awk: Add code to handle Warning and Optimization
2326         attributes.
2327
2328 2007-02-12  Richard Henderson  <rth@redhat.com>
2329
2330         * config/alpha/constraints.md: New file.
2331         * config/alpha/alpha.c: Include tm-constrs.h.
2332         (alpha_const_ok_for_letter_p, alpha_const_double_ok_for_letter_p,
2333         alpha_extra_constraint): Remove.
2334         (alpha_emit_conditional_branch): Use satisfies_constraint_*.
2335         * config/alpha/alpha-protos.h: Update.
2336         * config/alpha/alpha.h (REG_CLASS_FROM_LETTER): Remove.
2337         (CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P): Remove.
2338         (EXTRA_CONSTRAINT): Remove.
2339         * config/alpha/alpha.md: Include constraints.md.
2340         (adddi splitter): Use satisfies_constraint_*.
2341         * config/alpha/predicates.md (add_operand): Likewise.
2342         (sext_add_operand, addition_operation): Likewise.
2343
2344 2007-02-12  Dorit Nuzman  <dorit@il.ibm.com>
2345
2346         PR tree-optimization/29145
2347         * tree-data-ref.c (base_addr_differ_p): Make us more conservative
2348         in our handling of restrict qualified pointers.
2349
2350 2007-02-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2351
2352         PR middle-end/7651
2353         * doc/invoke.texi (Wunused-value): Update description.
2354         (Wextra): Delete item.
2355         * opts.c (set_Wextra): Don't use the value of Wextra to set the
2356         value of Wunused-value.
2357         * c-typeck.c (c_process_expr_stmt): Don't check extra_warnings.
2358         (c_finish_stmt_expr): Don't check extra_warnings.
2359         (emit_side_effect_warnings): The caller is responsible to check
2360         warn_unused_value.
2361
2362 2007-02-11  Roger Sayle  <roger@eyesopen.com>
2363             Matt Thomas  <matt@3am-software.com>
2364
2365         * simplify-rtx.c (simplify_relational_operation_1): Correct typo.
2366
2367 2007-02-11  Roger Sayle  <roger@eyesopen.com>
2368
2369         * simplify-rtx.c (simplify_relational_operation_1): Optimize
2370         comparisons of POPCOUNT against zero.
2371         (simplify_const_relational_operation): Likewise.
2372
2373 2007-02-11  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2374
2375         * doc/invoke.texi (Wextra): Delete outdated paragraph.
2376
2377 2007-02-11  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2378
2379         * dwarf2out.c (root_type): Delete unused function.
2380
2381 2007-02-11  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2382
2383         * genattrtab.c (contained_in_p): Delete unused function.
2384         (write_expr_attr_cache): Likewise.
2385
2386 2007-02-11  Jan Hubicka  <jh@suse.cz>
2387
2388         * ipa-inline.c (cgraph_edge_badness): Add "else" missing in the
2389         previous patch.
2390
2391 2007-02-11  Steven Bosscher  <steven@gcc.gnu.org>
2392
2393         * fwprop.c (try_fwprop_subst): Use set_unique_reg_note
2394         to add the REG_EQ* note.
2395         * see.c (see_merge_one_use_extension): Likewise.
2396         * local-alloc.c (update_equiv_regs): Likewise.  Also don't
2397         turn REG_EQUAL notes into REG_EQUIV notes if the target
2398         register may have more than one set.
2399         * function.c (assign_parm_setup_reg): Use set_unique_reg_note.
2400         * gcse.c (try_replace_reg): Likewise.
2401         * alias.c (init_alias_analysis): Use find_reg_equal_equiv_note.
2402         * calls.c (fixup_tail_calls): Likewise.  Abort if there is
2403         more than one REG_EQUIV note.
2404         * reload1.c (gen_reload): Use set_unique_reg_note.
2405
2406 2007-02-11  Uros Bizjak  <ubizjak@gmail.com>
2407
2408         * config/i386/i386.c (TARGET_VECTORIZE_BUILTIN_CONVERSION): Define.
2409         (ix86_builtin_conversion): New function.
2410
2411 2007-02-06  Mark Mitchell  <mark@codesourcery.com>
2412
2413         PR target/29487
2414         * tree.h (DECL_REPLACEABLE_P): New macro.
2415         * except.c (set_nothrow_function_flags): Likewise.
2416
2417 2007-02-11  Tehila Meyzels  <tehila@il.ibm.com>
2418             Ira Rosen  <irar@il.ibm.com>
2419             Dorit Nuzman  <dorit@il.ibm.com>
2420
2421         * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_CONVERSION): New target hook.
2422         * targhooks.c (default_builtin_vectorized_conversion): New.
2423         * targhooks.h (default_builtin_vectorized_function): New declaration.
2424         * target.h (struct vectorize): Add builtin_conversion field.
2425         * tree-vectorizer.h (type_conversion_vec_info_type): New enum
2426         stmt_vec_info_type value.
2427         (vectorizable_conversion): New declaration.
2428         * tree-vect-analyze.c (vect_analyze_operations): Add
2429         vectorizable_conversion call.
2430         * target-def.h (TARGET_VECTORIZE_BUILTIN_CONVERSION): New.
2431         * tree-vect-transform.c (vectorizable_conversion): New function.
2432         (vect_transform_stmt): Add case for type_conversion_vec_info_type.
2433         * tree-vect-generic.c (expand_vector_operations_1): Consider correct
2434         mode.
2435         * config/rs6000/rs6000.c (rs6000_builtin_conversion): New.
2436         (TARGET_VECTORIZE_BUILTIN_CONVERSION): Defined.
2437         (rs6000_expand_builtin): Add handling a case of ALTIVEC_BUILTIN_VCFUX
2438         or ALTIVEC_BUILTIN_VCFSX.
2439
2440 2007-02-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2441
2442         PR target/30634
2443         * pa.md (movdf): For 64-bit target, fail if operand 1 is a non-zero
2444         CONST_DOUBLE and operand 0 is a hard register.
2445         (movdi): For 64-bit target, remove code to force CONST_DOUBLE to
2446         memory.  Fail if operand 1 is a non-zero CONST_INT and operand 0
2447         is a hard floating-point register.
2448
2449 2007-02-10  Richard Henderson  <rth@redhat.com>
2450             Jakub Jelinek  <jakub@redhat.com>
2451             Alexandre Oliva  <aoliva@redhat.com>
2452
2453         * Makefile.in (libgcc-support, libgcc.mvars): Add emutls.c.
2454         * builtin-types.def (BT_WORD): Make unsigned.
2455         (BT_FN_VOID_PTR_WORD_WORD_PTR): New.
2456         * builtins.def (BUILT_IN_EMUTLS_GET_ADDRESS): New.
2457         (BUILT_IN_EMUTLS_REGISTER_COMMON): New.
2458         * c-decl.c (grokdeclarator): Don't error if !have_tls.
2459         * c-parser.c (c_parser_omp_threadprivate): Likewise.
2460         * dwarf2out.c (loc_descriptor_from_tree_1): Don't do anything for
2461         emulated tls.
2462         * expr.c (emutls_var_address): New.
2463         (expand_expr_real_1): Expand emulated tls.
2464         (expand_expr_addr_expr_1): Likewise.
2465         * libgcc-std.ver: Add __emutls_get_address, __emutls_register_common.
2466         * output.h (emutls_finish): Declare.
2467         * toplev.c (compile_file): Call it.
2468         * tree-ssa-address.c (gen_addr_rtx): Check for const-ness of the
2469         address before wrapping in CONST.
2470         * varasm.c (emutls_htab, emutls_object_type): New.
2471         (EMUTLS_VAR_PREFIX, EMUTLS_TMPL_PREFIX): New.
2472         (get_emutls_object_name, get_emutls_object_type): New.
2473         (get_emutls_init_templ_addr, emutls_decl): New.
2474         (emutls_common_1, emutls_finish): New.
2475         (assemble_variable): When emulating tls, swap decls; generate
2476         constructor for the emutls objects.
2477         (do_assemble_alias): When emulating tls, swap decl and target name.
2478         (default_encode_section_info): Don't add SYMBOL_FLAG_TLS_SHIFT
2479         for emulated tls.
2480         * varpool.c (decide_is_variable_needed): Look at force_output.
2481         Recurse for emulated tls.
2482         (cgraph_varpool_remove_unreferenced_decls): Remove checks redundant
2483         with decide_is_variable_needed.
2484         * emutls.c: New file.
2485         * config/sparc/sol2.h (ASM_DECLARE_OBJECT_NAME): Only emit
2486         tls_object for real tls.
2487
2488 2007-02-10  Kaz Kojima  <kkojima@gcc.gnu.org>
2489
2490         PR rtl-optimization/29599
2491         * reload1.c (eliminate_regs_in_insn): Take the destination
2492         mode into account when computing the offset.
2493
2494 2007-02-09  Stuart Hastings  <stuart@apple.com>
2495             Richard Henderson  <rth@redhat.com>
2496
2497         * gcc/config/i386/i386.h (TARGET_KEEPS_VECTOR_ALIGNED_STACK): New.
2498         * gcc/config/i386/darwin.h: (TARGET_KEEPS_VECTOR_ALIGNED_STACK): New.
2499         * gcc/config/i386/i386.md (fixuns_trunc<mode>si2, fixuns_truncsfhi2,
2500         fixuns_truncdfhi2): New.
2501         (fix_truncsfdi_sse): Call ix86_expand_convert_sign_didf_sse.
2502         (floatunsdidf2): Call ix86_expand_convert_uns_didf_sse.
2503         (floatunssisf2): Add call to ix86_expand_convert_uns_sisf_sse.
2504         (floatunssidf2): Allow nonimmediate source.
2505         * gcc/config/i386/sse.md (movdi_to_sse): New.
2506         (vec_concatv2di): Drop '*'.
2507         * gcc/config/i386/i386-protos.h (ix86_expand_convert_uns_si_sse,
2508         ix86_expand_convert_uns_didf_sse, ix86_expand_convert_uns_sidf_sse,
2509         ix86_expand_convert_uns_sisf_sse, ix86_expand_convert_sign_didf_sse):
2510         New.
2511         * gcc/config/i386/i386.c (ix86_expand_convert_uns_si_sse,
2512         ix86_expand_convert_uns_didf_sse, ix86_expand_convert_uns_sidf_sse,
2513         ix86_expand_convert_uns_sisf_sse, ix86_expand_convert_sign_didf_sse,
2514         ix86_build_const_vector, ix86_expand_vector_init_one_nonzero): New.
2515         (ix86_build_signbit_mask): Fix decl of v, refactor to call
2516         ix86_build_const_vector.
2517         (x86_emit_floatuns): Rewrite.
2518
2519 2007-02-10  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2520
2521         * genautomata.c (longest_path_length): Delete unused function.
2522         (struct state): Delete unused longest_path_length.
2523         (UNDEFINED_LONGEST_PATH_LENGTH): Delete unused macro.
2524         (get_free_state): Delete unused.
2525
2526 2007-02-09  Jan Hubicka  <jh@suse.cz>
2527
2528         * params.def (PARAM_INLINE_UNIT_GROWTH): Set to 30.
2529         * doc/invoke.texi (inline-unit-growth): Update default value.
2530
2531         * Makefile.in (passes.o, ipa-inline.o): Add dependencies.
2532         * cgraphbuild.c (build_cgraph_edges): Compute frequencies.
2533         (rebuild_cgraph_edges): Likewise.
2534         * cgraph.c (cgraph_set_call_stmt): Add new argument frequency.
2535         (dump_cgraph_node): Dump frequencies.
2536         (cgraph_clone_edge): Add frequency scales.
2537         (cgraph_clone_node): Add freuqnecy.
2538         * cgraph.h (cgraph_edge): Add freuqnecy argument.
2539         (CGRAPH_FREQ_BASE, CGRAPH_FREQ_MAX): New constants.
2540         (cgraph_create_edge, cgraph_clone_edge, cgraph_clone_node): Update.
2541         * tree-pass.h (TODO_rebuild_frequencies): New constant.
2542         * cgraphunit.c (verify_cgraph_node): Verify frequencies.
2543         (cgraph_copy_node_for_versioning): Update call of cgraph_clone_edge.
2544         (save_inline_function_body): Likewise.
2545         * ipa-inline.c: inluce rtl.h
2546         (cgraph_clone_inlined_nods): Update call of cgraph_clone_node.
2547         (cgraph_edge_badness): Use frequencies.
2548         (cgraph_decide_recursive_inlining): Update clonning.
2549         (cgraph_decide_inlining_of_small_function): Dump frequency.
2550         * predict.c (estimate_bb_frequencies): Export.
2551         * predict.h (estimate_bb_frequencies): Declare.
2552         * tree-inline.c (copy_bb): Watch overflows.
2553         (expand_call_inline): Update call of cgraph_create_edge.
2554         (optimize_inline_calls): Use TODO flags to update frequnecies.
2555         * passes.h: Include predict.h
2556         (init_optimization_passes): Move profile ahead.
2557         (execute_function_todo): Handle TODO_rebuild_frequencies.
2558
2559 2007-02-09  Roger Sayle  <roger@eyesopen.com>
2560
2561         * config/alpha/alpha.c (emit_insxl): Force the first operand of
2562         the insbl or inswl pattern into a register.
2563
2564 2007-02-09  Roger Sayle  <roger@eyesopen.com>
2565
2566         * config/ia64/ia64.md (bswapdi2): New define_insn.
2567
2568 2007-02-09  Richard Henderson  <rth@redhat.com>
2569
2570         * config/i386/constraints.md (Ym): New constraint.
2571         * config/i386/i386.md (movsi_1): Change Y2 to Yi constraints.
2572         (movdi_1_rex64): Split sse and xmm general register moves from
2573         memory move alternatives.  Use conditional register constraints.
2574         (movsf_1, movdf_integer): Likewise.
2575         (zero_extendsidi2_32, zero_extendsidi2_rex64): Likewise.
2576         (movdf_integer_rex64): New.
2577         (pushsf_rex64): Fix output constraints.
2578         * config/i386/sse.md (sse2_loadld): Split rm alternative, use Yi.
2579         (sse2_stored): Likewise.
2580         (sse2_storeq_rex64): New.
2581         * config/i386/i386.c (x86_inter_unit_moves): Enable for not
2582         amd and not generic.
2583         (ix86_secondary_memory_needed): Don't bypass TARGET_INTER_UNIT_MOVES
2584         for optimize_size.  Remove SF/DFmode hack.
2585
2586 2007-02-09  Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
2587
2588         * config/i386/driver-i386.c: Turn on -mtune=native for AMDFAM10.
2589         (bit_SSE4a): New.
2590
2591 2007-02-09  Nathan Sidwell  <nathan@codesourcery.com>
2592             Richard Sandiford  <richard@codesourcery.com>
2593
2594         * config.gcc (m68010-*-netbsdelf*, m68k*-*-netbsdelf*)
2595         (m68k*-*-openbsd*, m68k-*-linux*): Set default_cf_cpu.
2596         (m68k-*-aout*, m68k-*-coff*, m68k-*-uclinux*, m68k-*-rtems*): Add
2597         m68k/t-mlib to tmake_file.
2598         (m68020-*-elf*, m68k-*-elf*): Likewise.  Add t-m68kbare as well.
2599         (m68k*-*-*): Use --with-arch to pick a default for --with-cpu.
2600         (m680[012]0-*-*, m68k*-*-*): Add support for --with-arch.
2601         Allow it to be cf or m68k.  Set m68k_arch_family.  If that
2602         variable is not empty, add t-$m68k_arch_family to tmake_file.
2603         Add t-mlibs to tmake_file.
2604         * doc/install.texi: Document --with-arch=m68k and --with-arch=cf.
2605         * config/m68k/t-cf: New file.
2606         * config/m68k/t-m68k: Likewise.
2607         * config/m68k/t-mlibs: Likewise.
2608         * config/m68k/t-m68kbare (MULTILIB_OPTIONS, MULTILIB_DIRNAMES)
2609         (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Delete.
2610         (M68K_MLIB_DIRNAMES, M68K_MLIB_OPTIONS): Define.
2611         * config/m68k/t-m68kelf (MULTILIB_OPTIONS, MULTILIB_DIRNAMES)
2612         (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS, LIBGCC, INSTALL_LIBGCC):
2613         Delete.
2614         * config/m68k/t-openbsd (MULTILIB_OPTIONS, LIBGCC): Delete.
2615         (INSTALL_LIBGCC): Delete.
2616         (M68K_MLIB_DIRNAMES, M68K_MLIB_OPTIONS): Define.
2617         * config/m68k/t-rtems (MULTILIB_OPTIONS, MULTILIB_DIRNAMES)
2618         (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Delete.
2619         (M68K_MLIB_CPU): Define.
2620         * config/m68k/t-uclinux (MULTILIB_OPTIONS, MULTILIB_DIRNAMES)
2621         (MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Delete.
2622         (M68K_MLIB_CPU, M68K_MLIB_OPTIONS, M68K_MLIB_DIRNAMES): Define.
2623
2624 2007-02-09  Zdenek Dvorak  <dvorakz@suse.cz>
2625             Richard Guenther  <rguenther@suse.de>
2626
2627         PR middle-end/23361
2628         * fold-const.c (fold_comparison): Handle obfuscated comparisons
2629         against INT_MIN/INT_MAX.
2630         * tree-ssa-loop-ivcanon.c (remove_empty_loop): Print to dump
2631         file if a loop is removed.
2632
2633 2007-02-09  Joseph Myers  <joseph@codesourcery.com>
2634
2635         * calls.c (store_one_arg): Pass correct alignment to
2636         emit_push_insn for non-BLKmode values.
2637         * expr.c (emit_push_insn): If STRICT_ALIGNMENT, copy to an
2638         unaligned stack slot via a suitably aligned slot.
2639
2640 2007-02-08  DJ Delorie  <dj@redhat.com>
2641
2642         * config/m32c/m32c.c (m32c_unpend_compare): Add default to silence
2643         warnings.
2644         (legal_subregs): Use unsigned char, make const.
2645         (m32c_illegal_subreg_p): Use ARRAY_SIZE.  Delete unused variables.
2646
2647 2007-02-08  Paul Brook  <paul@codesourcery.com>
2648
2649         * config/arm/lib1funcs.asm (RETLDM): Pop directly into PC when no
2650         special interworking needed.
2651
2652 2007-02-08  Harsha Jagasia  <harsha.jagasia@amd.com>
2653
2654         * config/i386/xmmintrin.h: Make inclusion of emmintrin.h
2655         conditional to __SSE2__.
2656         (Entries below should have been added to first ChangeLog
2657         entry for amdfam10 dated 2007-02-05)
2658         * config/i386/emmintrin.h: Generate #error if __SSE2__ is not
2659         defined.
2660         * config/i386/pmmintrin.h: Generate #error if __SSE3__ is not
2661         defined.
2662         * config/i386/tmmintrin.h: Generate #error if __SSSE3__ is not
2663         defined.
2664
2665 2007-02-08  DJ Delorie  <dj@redhat.com>
2666
2667         * config/m32c/m32c-protos.h (m32c_illegal_subreg_p): New.
2668         * config/m32c/m32c.c (legal_subregs): New.
2669         (m32c_illegal_subreg_p): New.
2670         * config/m32c/predicates.md (m32c_any_operand): Use it to reject
2671         unsupported subregs of hard regs.
2672
2673 2007-02-08  Jan Hubicka  <jh@suse.cz>
2674
2675         * tree-cfg.c (bsi_replace): Shortcut when replacing the statement with
2676         the same one; always update histograms.
2677
2678 2007-02-08  Diego Novillo  <dnovillo@redhat.com>
2679
2680         * passes.c (init_optimization_passes): Tidy comment.
2681
2682 2007-02-08  Roger Sayle  <roger@eyesopen.com>
2683
2684         * simplify-rtx.c (simplify_unary_operation_1) <POPCOUNT>: We can
2685         strip zero_extend, bswap and rotates from POCOUNT's argument.
2686         <PARITY>: Likewise, we can strip not, bswap, sign_extend,
2687         zero_extend and rotates from PARITY's argument.
2688         <BSWAP>: A byte-swap followed by a byte-swap is an identity.
2689         (simplify_const_unary_operation) <BSWAP>: Evaluate the byte-swap
2690         of an integer constant at compile-time.
2691
2692 2007-02-08  Diego Novillo  <dnovillo@redhat.com>
2693
2694         PR 30562
2695         * tree-flow.h (struct var_ann_d): Remove field 'is_used'.
2696         Update all users.
2697         * tree-ssa-alias.c (compute_is_aliased): Remove.  Update all
2698         users.
2699         (init_alias_info):
2700         * tree-ssa-live.c (remove_unused_locals): Do not remove
2701         TREE_ADDRESSABLE variables.
2702         * tree-ssa-structalias.c (compute_points_to_sets): Tidy.
2703         * tree-ssa-operands.c (add_virtual_operand): Remove argument
2704         FOR_CLOBBER.  Update all users.
2705         If VAR has an associated alias set, add a virtual operand for
2706         it if no alias is found to conflict with the memory reference.
2707
2708 2007-02-07  Jan Hubicka  <jh@suse.cz>
2709             Robert Kidd <rkidd@crhc.uiuc.edu>
2710
2711         * value-prof.c (visit_hist, free_hist): Return 1 instead of 0.
2712
2713 2007-02-07  Ian Lance Taylor  <iant@google.com>
2714
2715         * lower-subreg.c (simple_move): Reject PARTIAL_INT modes.
2716
2717 2007-02-07  Roger Sayle  <roger@eyesopen.com>
2718
2719         * config/rs6000/rs6000.md (ctz<mode>2, ffs<mode>2, popcount<mode>2,
2720         parity<mode>2, smulsi3_highpart, abstf2_internal, allocate_stack,
2721         tablejumpdi, movsi_to_cr_one): Remove constraints from
2722         define_expand's match_operands.
2723
2724 2007-02-07  Roger Sayle  <roger@eyesopen.com>
2725
2726         * global.c (compute_regsets): Move declatation of "i" inside of
2727         #ifdef ELIMINABLE_REGS to avoid unused variable bootstrap failure.
2728
2729 2007-02-07  Jakub Jelinek  <jakub@redhat.com>
2730
2731         PR c++/30703
2732         * gimplify.c (gimplify_scan_omp_clauses): Remove special casing
2733         of INDIRECT_REF <RESULT_DECL>.
2734
2735         * config/i386/i386.c (override_options): Set PTA_SSSE3 for core2.
2736
2737 2007-02-06  J"orn Rennecke  <joern.rennecke@arc.com>
2738             Kaz Kojima  <kkojima@gcc.gnu.org>
2739
2740         PR target/29746
2741         * config/sh/sh.c (expand_cbranchdi4): Use scratch register
2742         properly.
2743         (sh_initialize_trampoline): Add parentheses to avoid a warning.
2744
2745 2007-02-06  Zdenek Dvorak <dvorakz@suse.cz>
2746
2747         * doc/loop.texi: Document possibility not to perform disambiguation
2748         of loops with multiple latches.
2749         * cfgloopmanip.c (alp_enum_p): Removed.
2750         (add_loop): Handle subloops.  Use get_loop_body_with_size.
2751         (create_preheader): Do not allow ENTRY_BLOCK_PTR to be preheader.
2752         * cfghooks.c (redirect_edge_and_branch_force): Set dominator for
2753         the new forwarder block.
2754         (make_forwarder_block): Only call new_bb_cbk if it is not NULL.
2755         Handle the case latch is NULL.
2756         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Avoid cfg modifications
2757         when marking loop exits.
2758         * ifcvt.c (if_convert): Ditto.  Mark loop exits even if cfg cannot
2759         be modified.
2760         * loop-init.c (loop_optimizer_init): Do not modify cfg.  Call
2761         disambiguate_loops_with_multiple_latches.
2762         * tree-cfgcleanup.c (cleanup_tree_cfg_loop): Calculate dominators
2763         before fix_loop_structure.
2764         * cfgloop.c: Include pointer-set.h and output.h.
2765         (canonicalize_loop_headers, HEADER_BLOCK, LATCH_EDGE,
2766         update_latch_info, mfb_keep_just, mfb_keep_nonlatch): Removed.
2767         (get_loop_latch_edges, find_subloop_latch_edge_by_profile,
2768         find_subloop_latch_edge_by_ivs, find_subloop_latch_edge,
2769         mfb_redirect_edges_in_set, form_subloop, merge_latch_edges,
2770         disambiguate_multiple_latches, get_loop_body_with_size,
2771         disambiguate_loops_with_multiple_latches): New functions.
2772         (flow_loop_dump): Dump multiple latch edges.
2773         (flow_loop_nodes_find): Handle loops with multiple latches.
2774         (flow_loops_find): Ditto. Do not call canonicalize_loop_headers.
2775         (glb_enum_p): Modified.
2776         (get_loop_body): Use get_loop_body_with_size.
2777         * cfgloop.h (LOOPS_HAVE_RECORDED_EXITS): New flag.
2778         (AVOID_CFG_MODIFICATIONS): New constant.
2779         (disambiguate_loops_with_multiple_latches, add_loop,
2780         get_loop_body_with_size): Declare.
2781         * Makefile.in (cfgloop.o): Add pointer-set.h and output.h.
2782
2783 2007-02-06  Seongbae Park <seongbae.park@gmail.com>
2784
2785         PR inline-asm/28686
2786         * global.c (compute_regsets): New function.
2787         (global_alloc): Refactored ELIMINABLE_REGSET
2788         and NO_GLOBAL_ALLOC_REGS computation out.
2789         (rest_of_handle_global_alloc): Call compute_regsets()
2790         for non-optimizing case.
2791
2792 2007-02-06  Richard Henderson  <rth@redhat.com>
2793
2794         * config/i386/constraints.md (Y2): Rename from Y.
2795         (Yi): New constraint.
2796         * config/i386/i386.md (movsi_1, movdi_2, pushdf_nointeger,
2797         pushdf_integer, movdf_nointeger, movdf_integer, zero_extendsidi2_32,
2798         zero_extendsidi2_rex64, truncxfdf2_mixed): Change Y constraints to Y2.
2799         (extendsfdf2_mixed, extendsfdf2_sse, truncdfsf_fast_mixed,
2800         truncdfsf_fast_sse, truncdfsf_mixed, fix_truncdfdi_sse,
2801         fix_truncdfsi_sse, floatsidf2_mixed, floatsidf2_sse,
2802         floatdidf2_mixed, floatdidf2_sse, absnegdf2_mixed,
2803         absnegdf2_sse, sse_setccdf, fop_df_comm_mixed, fop_df_comm_sse,
2804         fop_df_1_mixed, fop_df_1_sse): Change Y constraints to x.
2805         * config/i386/mmx.md (mov<MMXMODEI>_internal_rex64,
2806         mov<MMXMODEI>_internal, movv2sf_internal_rex64, movv2sf_internal,
2807         vec_extractv2si_1): Change Y constraints to Y2.
2808         * config/i386/sse.md (vec_setv4sf_0, vec_concatv2df, vec_dupv4si,
2809         vec_dupv2di, sse2_concatv2si, vec_concatv4si_1, vec_concatv2di):
2810         Change Y constraints to Y2.
2811         (sse2_loadld): Change Y constraints to x.
2812
2813 2007-02-06  Roger Sayle  <roger@eyesopen.com>
2814
2815         * config/rs6000/rs6000.md (popcount<mode>2): Rewrite.
2816         (parity<mode>2): New define_expand using rs6000_emit_parity.
2817         * config/rs6000/rs6000.c (rs6000_emit_popcount,
2818         rs6000_emit_parity): New functions.
2819         * config/rs6000/rs6000-protos.h (rs6000_emit_popcount,
2820         rs6000_emit_parity): Prototype here.
2821
2822 2007-02-06  Ian Lance Taylor  <iant@google.com>
2823
2824         * lower-subreg.c (simple_move_operand): Reject CONST.
2825         (resolve_clobber): Call validate_change rather than directly
2826         assigning to XEXP (pat, 0).
2827
2828 2006-02-06  Paolo Bonzini  <bonzini@gnu.org>
2829
2830         * Makefile.in (tree-ssa-loop-ivopts.o): Add pointer-set.h dependency.
2831         (tree-ssa-reassoc.o): Add pointer-set.h dependency.
2832         (tree-cfg.o): Remove hashtab.h dependency.
2833
2834         * tree-ssa-loop-ivopts.c: Include pointer-set.h.
2835         (struct ivopts_data): Change niters to pointer_map_t.
2836         (struct nfe_cache_elt, nfe_hash, nfe_eq): Delete.
2837         (niter_for_exit): Create pointer_map on demand.  Change for
2838         pointer_map API.
2839         (tree_ssa_iv_optimize_init): Initialize data->niters to NULL.
2840         (free_loop_data): Destroy data->niters if created and reset field.
2841         (tree_ssa_iv_optimize_finalize): Don't delete data->niters here.
2842         (tree_ssa_iv_optimize_loop): Check for presence of stale data.
2843
2844         * tree-ssa-reassoc.c: Include pointer-set.h.
2845         (bb_rank): Change to long *.
2846         (operand_rank): Change to pointer_map_t.
2847         (find_operand_rank): Return long, -1 if not found.  Declare as inline.
2848         (insert_operand_rank): Accept long.
2849         (operand_entry_hash, operand_entry_eq): Remove.
2850         (get_rank): Return long.  Adjust for changes above.
2851         (init_reassoc): Change rank type to long.  Adjust creation of bb_rank
2852         and operand_rank.
2853         (fini_reassoc): Delete operand_rank with pointer_map_destroy.
2854
2855         * tree-ssa-structalias.c (vi_for_tree): Change to pointer_map.
2856         (struct tree_vi, tree_vi_t, tree_vi_hash, tree_vi_eq): Delete.
2857         (insert_vi_for_tree): Rewrite for pointer_map API.  Assert argument
2858         is not NULL.
2859         (lookup_vi_for_tree): Rewrite for pointer_map API.  Return varinfo_t
2860         directly since it cannot be NULL.
2861         (get_vi_for_tree): Rewrite for pointer_map API.
2862         (find_what_p_points_to): Adjust for change to lookup_vi_for_tree.
2863         (init_alias_vars): Create vi_for_tree as pointer_map.
2864         (delete_points_to_sets): Delete vi_for_tree using pointer_map_destroy.
2865
2866         * tree-cfg.c: Don't include hashtab.h.
2867         (edge_to_cases): Declare as pointer_map.
2868         (struct edge_to_cases_elt, edge_to_cases_hash, edge_to_cases_eq):
2869         Delete.
2870         (edge_to_cases_cleanup): Rewrite as pointer_map_traverse callback.
2871         (start_recording_case_labels): Create edge_to_cases as pointer_map.
2872         (end_recoding_case_labels): Cleanup edge_to_cases manually before
2873         destroying it.
2874         (record_switch_edge): Delete.
2875         (get_cases_for_edge): Adjust for pointer_map API, inline
2876         record_switch_edge (rewritten for new API), remove goto.
2877
2878 2006-02-06  Paolo Bonzini  <bonzini@gnu.org>
2879
2880         * Makefile.in (tree-nested.o): Add pointer-set.h dependency.
2881         * tree-nested.c: Include pointer-set.h.
2882         (var_map_elt, var_map_eq, var_map_hash): Delete.
2883         (struct nesting_info): Remove GTY marker.  Change the two htab_t's
2884         to pointer_map_t's.
2885         (nesting_info_bitmap_obstack): New.
2886         (lookup_field_for_decl): Adjust for pointer_map API.
2887         (lookup_tramp_for_decl): Adjust for pointer_map API.
2888         (get_nonlocal_debug_decl): Adjust for pointer_map API.
2889         (get_local_debug_decl): Adjust for pointer_map API.
2890         (convert_nl_goto_reference): Adjust for pointer_map API.
2891         (convert_nl_goto_receiver): Adjust for pointer_map API.
2892         (create_nesting_tree): Create outside GGC space.  Create bitmap on
2893         the new obstack.  Create field_map and var_map as pointer_maps.
2894         (free_nesting_tree): Adjust for changes to create_nesting_tree.
2895         (root): Delete.
2896         (lower_nested_functions): Move root here, no need to NULL it.
2897         Initialize and release the obstack.
2898
2899 2007-02-06  Paolo Bonzini  <bonzini@gnu.org>
2900
2901         * tree.c (tree_int_map_hash, tree_int_map_eq, tree_int_map_marked_p):
2902         Remove prototypes and make them non-static.
2903         (struct tree_int_map): Remove.
2904         * tree.h (struct tree_int_map): Move here, turning TO into an
2905         unsigned int.
2906         (tree_int_map_hash, tree_int_map_eq, tree_int_map_marked_p): Declare.
2907
2908         * tree.h (TREE_COMPLEXITY): Remove.
2909         (struct tree_exp): Remove complexity field.
2910         * tree.c (build1_stat): Don't set it.
2911
2912 2007-02-06  Dorit Nuzman  <dorit@il.ibm.com>
2913             Victor Kaplansky  <victork@il.ibm.com>
2914
2915         * tree-vectorizer.c (vect_is_simple_use): Support induction.
2916         (vect_is_simple_reduction): Support reduction with induction as
2917         one of the operands.
2918         (vect_is_simple_iv_evolution): Fix formatting.
2919         * tree-vect-analyze.c (vect_mark_stmts_to_be_vectorized): Fix
2920         formatting.  Don't mark induction phis for vectorization.
2921         (vect_analyze_scalar_cycles): Analyze all inductions, then reductions.
2922         * tree-vect-transform.c (get_initial_def_for_induction): New function.
2923         (vect_get_vec_def_for_operand): Support induction.
2924         (vect_get_vec_def_for_stmt_copy): Fix formatting and add check for
2925         induction case.
2926         (vectorizable_reduction): Support reduction with induction as one of
2927         the operands.
2928         (vectorizable_type_demotion): Use def-type of stmt argument rather
2929         than dummy def-type.
2930
2931         * tree-ssa-loop.c (gate_scev_const_prop): Return the value of
2932         flag_tree_scev_cprop.
2933         * common.opt (tree-scev-cprop): New flag.
2934
2935         * tree-vect-transform.c (vect_create_destination_var): Use 'kind' in
2936         call to vect_get_new_vect_var.
2937
2938 2007-02-06  Ira Rosen  <irar@il.ibm.com>
2939
2940         * tree-vect-patterns.c (vect_recog_widen_mult_pattern): Check that
2941         vectype is not NULL.
2942         (vect_pattern_recog_1): Likewise.
2943
2944 2007-02-05  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2945
2946         * fold-const.c (negate_expr_p): Handle CONJ_EXPR.
2947         (fold_negate_expr): Likewise.
2948
2949 2007-02-05  Alexandre Oliva  <aoliva@redhat.com>
2950
2951         PR debug/30189
2952         * dwarf2out.c (modified_type_die): Follow DECL_ORIGINAL_TYPE
2953         even if cv-qualification is the same.
2954
2955 2007-02-05  Geoffrey Keating  <geoffk@apple.com>
2956
2957         * config/rs6000/darwin-tramp.asm (__trampoline_setup): Call
2958         __enable_execute_stack on completion.
2959
2960 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
2961
2962         * config/i386/athlon.md (athlon_fldxf_k8, athlon_fld_k8,
2963         athlon_fstxf_k8, athlon_fst_k8, athlon_fist, athlon_fmov,
2964         athlon_fadd_load, athlon_fadd_load_k8, athlon_fadd, athlon_fmul,
2965         athlon_fmul_load, athlon_fmul_load_k8, athlon_fsgn,
2966         athlon_fdiv_load, athlon_fdiv_load_k8, athlon_fdiv_k8,
2967         athlon_fpspc_load, athlon_fpspc, athlon_fcmov_load,
2968         athlon_fcmov_load_k8, athlon_fcmov_k8, athlon_fcomi_load_k8,
2969         athlon_fcomi, athlon_fcom_load_k8, athlon_fcom): Added amdfam10.
2970
2971 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
2972
2973         * config/i386/i386.md (x86_sahf_1, cmpfp_i_mixed, cmpfp_i_sse,
2974         cmpfp_i_i387, cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387,
2975         swapsi, swaphi_1, swapqi_1, swapdi_rex64, fix_truncsfdi_sse,
2976         fix_truncdfdi_sse, fix_truncsfsi_sse, fix_truncdfsi_sse,
2977         x86_fldcw_1, floatsisf2_mixed, floatsisf2_sse, floatdisf2_mixed,
2978         floatdisf2_sse, floatsidf2_mixed, floatsidf2_sse,
2979         floatdidf2_mixed, floatdidf2_sse, muldi3_1_rex64, mulsi3_1,
2980         mulsi3_1_zext, mulhi3_1, mulqi3_1, umulqihi3_1, mulqihi3_insn,
2981         umulditi3_insn, umulsidi3_insn, mulditi3_insn, mulsidi3_insn,
2982         umuldi3_highpart_rex64, umulsi3_highpart_insn,
2983         umulsi3_highpart_zext, smuldi3_highpart_rex64,
2984         smulsi3_highpart_insn, smulsi3_highpart_zext, x86_64_shld,
2985         x86_shld_1, x86_64_shrd, sqrtsf2_mixed, sqrtsf2_sse,
2986         sqrtsf2_i387, sqrtdf2_mixed, sqrtdf2_sse, sqrtdf2_i387,
2987         sqrtextendsfdf2_i387, sqrtxf2, sqrtextendsfxf2_i387,
2988         sqrtextenddfxf2_i387): Added amdfam10_decode.
2989
2990         * config/i386/athlon.md (athlon_idirect_amdfam10,
2991         athlon_ivector_amdfam10, athlon_idirect_load_amdfam10,
2992         athlon_ivector_load_amdfam10, athlon_idirect_both_amdfam10,
2993         athlon_ivector_both_amdfam10, athlon_idirect_store_amdfam10,
2994         athlon_ivector_store_amdfam10): New define_insn_reservation.
2995         (athlon_idirect_loadmov, athlon_idirect_movstore): Added
2996         amdfam10.
2997
2998 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
2999
3000         * config/i386/athlon.md (athlon_call_amdfam10,
3001         athlon_pop_amdfam10, athlon_lea_amdfam10): New
3002         define_insn_reservation.
3003         (athlon_branch, athlon_push, athlon_leave_k8, athlon_imul_k8,
3004         athlon_imul_k8_DI, athlon_imul_mem_k8, athlon_imul_mem_k8_DI,
3005         athlon_idiv, athlon_idiv_mem, athlon_str): Added amdfam10.
3006
3007 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3008
3009         * config/i386/athlon.md (athlon_sseld_amdfam10,
3010         athlon_mmxld_amdfam10, athlon_ssest_amdfam10,
3011         athlon_mmxssest_short_amdfam10): New define_insn_reservation.
3012
3013 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3014
3015         * config/i386/athlon.md (athlon_sseins_amdfam10): New
3016         define_insn_reservation.
3017         * config/i386/i386.md (sseins): Added sseins to define_attr type
3018         and define_attr unit.
3019         * config/i386/sse.md: Set type attribute to sseins for insertq
3020         and insertqi.
3021
3022 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3023
3024         * config/i386/athlon.md (sselog_load_amdfam10, sselog_amdfam10,
3025         ssecmpvector_load_amdfam10, ssecmpvector_amdfam10,
3026         ssecomi_load_amdfam10, ssecomi_amdfam10,
3027         sseaddvector_load_amdfam10, sseaddvector_amdfam10): New
3028         define_insn_reservation.
3029         (ssecmp_load_k8, ssecmp, sseadd_load_k8, seadd): Added amdfam10.
3030
3031 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3032
3033         * config/i386/athlon.md (cvtss2sd_load_amdfam10,
3034         cvtss2sd_amdfam10, cvtps2pd_load_amdfam10, cvtps2pd_amdfam10,
3035         cvtsi2sd_load_amdfam10, cvtsi2ss_load_amdfam10,
3036         cvtsi2sd_amdfam10, cvtsi2ss_amdfam10, cvtsd2ss_load_amdfam10,
3037         cvtsd2ss_amdfam10, cvtpd2ps_load_amdfam10, cvtpd2ps_amdfam10,
3038         cvtsX2si_load_amdfam10, cvtsX2si_amdfam10): New
3039         define_insn_reservation.
3040
3041         * config/i386/sse.md (cvtsi2ss, cvtsi2ssq, cvtss2si,
3042         cvtss2siq, cvttss2si, cvttss2siq, cvtsi2sd, cvtsi2sdq,
3043         cvtsd2si, cvtsd2siq, cvttsd2si, cvttsd2siq,
3044         cvtpd2dq, cvttpd2dq, cvtsd2ss, cvtss2sd,
3045         cvtpd2ps, cvtps2pd): Added amdfam10_decode attribute.
3046
3047 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3048
3049         * config/i386/athlon.md (athlon_ssedivvector_amdfam10,
3050         athlon_ssedivvector_load_amdfam10, athlon_ssemulvector_amdfam10,
3051         athlon_ssemulvector_load_amdfam10): New define_insn_reservation.
3052         (athlon_ssediv, athlon_ssediv_load_k8, athlon_ssemul,
3053         athlon_ssemul_load_k8): Added amdfam10.
3054
3055 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3056
3057         * config/i386/i386.h (TARGET_SSE_UNALIGNED_MOVE_OPTIMAL): New macro.
3058         (x86_sse_unaligned_move_optimal): New variable.
3059
3060         * config/i386/i386.c (x86_sse_unaligned_move_optimal): Enable for
3061         m_AMDFAM10.
3062         (ix86_expand_vector_move_misalign): Add code to generate movupd/movups
3063         for unaligned vector SSE double/single precision loads for AMDFAM10.
3064
3065 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3066
3067         * config/i386/i386.h (TARGET_AMDFAM10): New macro.
3068         (TARGET_CPU_CPP_BUILTINS): Add code for amdfam10.
3069         Define TARGET_CPU_DEFAULT_amdfam10.
3070         (TARGET_CPU_DEFAULT_NAMES): Add amdfam10.
3071         (processor_type): Add PROCESSOR_AMDFAM10.
3072
3073         * config/i386/i386.md: Add amdfam10 as a new cpu attribute to match
3074         processor_type in config/i386/i386.h.
3075         Enable imul peepholes for TARGET_AMDFAM10.
3076
3077         * config.gcc: Add support for --with-cpu option for amdfam10.
3078
3079         * config/i386/i386.c (amdfam10_cost): New variable.
3080         (m_AMDFAM10): New macro.
3081         (m_ATHLON_K8_AMDFAM10): New macro.
3082         (x86_use_leave, x86_push_memory, x86_movx, x86_unroll_strlen,
3083         x86_cmove, x86_3dnow_a, x86_deep_branch, x86_use_simode_fiop,
3084         x86_promote_QImode, x86_integer_DFmode_moves,
3085         x86_partial_reg_dependency, x86_memory_mismatch_stall,
3086         x86_accumulate_outgoing_args, x86_arch_always_fancy_math_387,
3087         x86_sse_partial_reg_dependency, x86_sse_typeless_stores,
3088         x86_use_ffreep, x86_use_incdec, x86_four_jump_limit,
3089         x86_schedule, x86_use_bt, x86_cmpxchg16b, x86_pad_returns):
3090         Enable/disable for amdfam10.
3091         (override_options): Add amdfam10_cost to processor_target_table.
3092         Set up PROCESSOR_AMDFAM10 for amdfam10 entry in
3093         processor_alias_table.
3094         (ix86_issue_rate): Add PROCESSOR_AMDFAM10.
3095         (ix86_adjust_cost): Add code for amdfam10.
3096
3097 2007-02-05  Harsha Jagasia  <harsha.jagasia@amd.com>
3098
3099         * config/i386/i386.opt: Add new Advanced Bit Manipulation (-mabm)
3100         instruction set feature flag. Add new (-mpopcnt) flag for popcnt
3101         instruction. Add new SSE4A (-msse4a) instruction set feature flag.
3102         * config/i386/i386.h: Add builtin definition for SSE4A.
3103         * config/i386/i386.md: Add support for ABM instructions
3104         (popcnt and lzcnt).
3105         * config/i386/sse.md: Add support for SSE4A instructions
3106         (movntss, movntsd, extrq, insertq).
3107         * config/i386/i386.c: Add support for ABM and SSE4A builtins.
3108         Add -march=amdfam10 flag.
3109         * config/i386/ammintrin.h: Add support for SSE4A intrinsics.
3110         * doc/invoke.texi: Add documentation on flags for sse4a, abm, popcnt
3111         and amdfam10.
3112         * doc/extend.texi: Add documentation for SSE4A builtins.
3113
3114 2007-02-05  Bob Wilson  <bob.wilson@acm.org>
3115
3116         * config/xtensa/xtensa.c (constantpool_mem_p): Skip over SUBREGs.
3117
3118 2007-02-05  Richard Guenther  <rguenther@suse.de>
3119
3120         * tree-vectorizer.h (vectorizable_function): Add argument type
3121         argument, change return type.
3122         * tree-vect-patterns.c (vect_recog_pow_pattern): Adjust caller.
3123         * tree-vect-transform.c (vectorizable_function): Handle extra
3124         argument, return vectorized function decl.
3125         (build_vectorized_function_call): Remove.
3126         (vectorizable_call): Handle calls with result and argument types
3127         differing.  Handle loop vectorization factor correctly.
3128         * targhooks.c (default_builtin_vectorized_function): Adjust for
3129         extra argument.
3130         * targhooks.h (default_builtin_vectorized_function): Likewise.
3131         * target.h (builtin_vectorized_function): Add argument type
3132         argument.
3133         * config/i386/i386.c (ix86_builtin_vectorized_function): Handle
3134         extra argument, allow vectorizing of lrintf.
3135         * doc/tm.texi (TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION): Adjust
3136         documentation of target hook.
3137
3138 2007-02-05  Hans-Peter Nilsson  <hp@axis.com>
3139
3140         PR target/30665
3141         * config/cris/cris.md ("*andsi_movu", "*andsi_clear", "*andhi_movu")
3142         ("*andhi_clear", andu (casesi+45)): For size-changed operand where
3143         memory is allowed, require !side_effects_p, not just !MEM_VOLATILE_P.
3144
3145 2007-02-05  Roger Sayle  <roger@eyesopen.com>
3146
3147         * fold-const.c (fold_unary) <REAL_PART>: Test for availability of
3148         BUILT_IN_COS before simplifying REAL_PART(CEXPI)) to COS.
3149         <IMAG_PART>: Likewise, check for availability of BUILT_IN_SIN.
3150         * builtins.c (fold_builtin_sincos): Check for TARGET_C99_FUNCTIONS
3151         before canonicalizing sincos to cexpi.
3152         (fold_builtin_cexp): Likewise, for canonicalizing cexp to cexpi.
3153
3154 2007-02-05  Roger Sayle  <roger@eyesopen.com>
3155
3156         * config/alpha/alpha.c (alpha_add_builtins): New Helper function.
3157         Set TREE_READONLY and TREE_NOTHROW directly, not via attributes.
3158         (alpha_init_builtins): Use alpha_add_builtins to process tables.
3159
3160 2007-02-05  Roger Sayle  <roger@eyesopen.com>
3161
3162         * mips-tfile.c (initialize_init_file): Correct endianness test.
3163
3164 2007-02-05  Kazu Hirata  <kazu@codesourcery.com>
3165
3166         * config/m68k/m68k.md (pushdi-1, pushdi, movsi+1): Don't use
3167         the 'y' constraint.
3168
3169 2007-02-05  Richard Sandiford  <richard@codesourcery.com>
3170
3171         * dwarf2out.c (dwarf2out_frame_debug_expr): Record the register
3172         saves in a PARALLEL before the register assignments.
3173
3174 2007-02-05  Richard Sandiford  <richard@codesourcery.com>
3175
3176         * doc/tm.texi (DWARF_ALT_FRAME_RETURN_COLUMN): Do not require
3177         DWARF_FRAME_RETURN_COLUMN to be a general register.
3178         * dwarf2out.c (init_return_column_size): New function, split from...
3179         (expand_builtin_init_dwarf_reg_sizes): ...here.  Allow both
3180         DWARF_FRAME_RETURN_COLUMN and DWARF_ALT_FRAME_RETURN_COLUMN
3181         to be nongeneral registers.
3182         * config/m68k/m68k.h (DWARF_FRAME_REGNUM): Only map FP and
3183         integer registers.
3184         (DWARF_FRAME_REGISTERS, DWARF_FRAME_RETURN_COLUMN): Define.
3185         (DWARF_ALT_FRAME_RETURN_COLUMN): Define.
3186
3187 2007-02-04  Zdenek Dvorak <dvorakz@suse.cz>
3188
3189         * cfgcleanup.c (try_optimize_cfg): Avoid removing ENTRY_BLOCK_PTR.
3190
3191 2007-02-04  Zdenek Dvorak <dvorakz@suse.cz>
3192
3193         * cfgloopmanip.c (loop_delete_branch_edge): Removed.
3194         (remove_path): Use can_remove_branch_p and remove_branch instead
3195         of loop_delete_branch_edge.
3196         * tree-ssa-loop-manip.c (scale_dominated_blocks_in_loop): New function.
3197         (tree_transform_and_unroll_loop): Remove dead branches immediately.
3198         Update profile using scale_dominated_blocks_in_loop.
3199         * cfghooks.c (can_remove_branch_p, remove_branch): New functions.
3200         * cfghooks.h (struct cfg_hooks): Add can_remove_branch_p.
3201         (can_remove_branch_p, remove_branch): Declare.
3202         * tree-cfg.c (tree_can_remove_branch_p): New function.
3203         (tree_cfg_hooks): Add tree_can_remove_branch_p.
3204         * cfgrtl.c (rtl_can_remove_branch_p): New function.
3205         (rtl_cfg_hooks, cfg_layout_rtl_cfg_hook): Add rtl_can_remove_branch_p.
3206
3207 2007-02-05  Jan Hubicka  <jh@suse.cz>
3208
3209         PR middle-end/30696
3210         * ipa-inline.c (cgraph_clone_inlined_nodes): When there are unanalyzed
3211         nodes in cgraph, don't remove offline copy of the function.
3212
3213 2007-02-04  Jan Hubicka  <jh@suse.cz>
3214
3215         * tree-sra.c (sra_walk_expr): Add linebreaks. BITFIELD_REFs into
3216         vectors might cause maybe_lookup_element_for_expr to be called
3217         on non-sra-candidate.
3218
3219 2007-02-04  Kazu Hirata  <kazu@codesourcery.com>
3220
3221         * config/bfin/bfin-modes.def, config/bfin/bfin.c,
3222         config/bfin/bfin.md, config/bfin/predicates.md: Follow
3223         spelling conventions.
3224
3225 2007-02-04  Richard Guenther  <rguenther@suse.de>
3226
3227         PR middle-end/30636
3228         * fold-const.c (try_move_mult_to_index): Make sure to not
3229         overflow one dimension of a multi-dimensional array access.
3230
3231 2007-02-04  Jan Hubicka  <jh@suse.cz>
3232
3233         * passes.c (init_optimization_passes): Reindent.
3234
3235 2007-02-04  Jan Hubicka  <jh@suse.cz>
3236             Eric Botcazou  <ebotcazou@adacore.com>
3237
3238         * tree-optimize.c (has_abnormal_outgoing_edge_p): Move to...
3239         (execute_fixup_cfg): Break out the abnormal goto code.
3240         * tree-inline.c (has_abnormal_outgoing_edge_p): ...here.
3241         (make_nonlocal_label_edges): Move here from execute_fixup_cfg.
3242         (optimize_inline_calls): Call make_nonlocal_label_edges.
3243
3244 2007-02-04  Jan Hubicka  <jh@suse.cz>
3245
3246         * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Return
3247         true when something was changed.
3248         (rename_ssa_copies): When something was changed, do
3249         TODO_remove_unused_locals.
3250         * tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_value):
3251         add TODO_remove_unused_locals when instruction was removed.
3252
3253 2007-02-04  Jan Hubicka  <jh@suse.cz>
3254
3255         * ipa-inline.c (try_inline): Improve debug output; work on already
3256         inline edges too.
3257         (cgraph_decide_inlining_incrementally): Indent; improve debug output;
3258         call try_inline for already inlined edges too when flattening;
3259         inline also functions that make callee growth but overall unit size
3260         reduce.
3261
3262 2007-02-04  Kazu Hirata  <kazu@codesourcery.com>
3263
3264         * config/m32c/bitops.md, config/m32c/jump.md,
3265         config/m32c/m32c.c, config/m32c/m32c.h, config/m32r/m32r.c,
3266         config/m32r/m32r.h, config/m32r/m32r.md,
3267         config/m32r/predicates.md, config/m68hc11/larith.asm,
3268         config/m68hc11/m68hc11.c, config/m68hc11/m68hc11.h,
3269         config/m68k/m68k.h, config/mcore/mcore.md, config/mips/4k.md,
3270         config/mips/mips-protos.h, config/mips/mips.c,
3271         config/mips/mips.h, config/mips/mips.md, config/mips/mips16.S,
3272         config/mn10300/mn10300.h, config/mn10300/predicates.md,
3273         config/mt/mt.c, config/mt/mt.h, config/mt/mt.md: Follow
3274         spelling conventions.
3275
3276         * config/v850/v850.c, config/v850/v850.h, config/v850/v850.md:
3277         Follow spelling conventions.
3278
3279 2007-02-03  Douglas Gregor  <doug.gregor@gmail.com>
3280
3281         * c-opts.c (c_common_post_options): If C++0x mode is enabled, don't
3282         warn about C++0x compatibility.
3283
3284 2007-02-04  Kazu Hirata  <kazu@codesourcery.com>
3285
3286         * config/h8300/h8300.c, config/h8300/h8300.h,
3287         config/h8300/h8300.md: Follow spelling conventions.
3288
3289 2007-02-03  Uros Bizjak  <ubizjak@gmail.com>
3290
3291         PR middle-end/30667
3292         * combine.c (try_combine): Do not substitute source operand
3293         with constants wider than 2 * HOST_BITS_PER_WIDE_INT.
3294
3295 2007-02-03  Jan Hubicka  <jh@suse.cz>
3296
3297         PR gcov-profile/30650
3298         * value-prof.c (stringop_block_profile): Fix handling of size counter;
3299         do not divide by zero for never executed counters.
3300         (tree_find_values_to_profile): Fix counters.
3301         * gcov-ui.h (GCOV_COUNTER_AVERAGE, GCOV_COUNTER_IOR): Fix comments.
3302
3303 2007-02-03  Ian Lance Taylor  <iant@google.com>
3304
3305         * lower-subreg.c (simple_move_operand): New static function,
3306         broken out of simple_move.  Reject LABEL_REF, SYMBOL_REF, and HIGH
3307         operands.
3308         (simple_move): Call simple_move_operand.
3309         (find_decomposable_subregs): Add special handling of MEMs.
3310         (can_decompose_p): Rename from cannot_decompose_p.  Reverse
3311         meaning of return value.  If we see a hard register, test whether
3312         it can store a word_mode value.  Change all callers.
3313
3314 2007-02-03  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3315
3316         * pa.md (addvdi3, addvsi3, subvdi3, subvsi3, negvdi2, negvsi2): New
3317         ftrapv insns and expanders.
3318         (subdi3): Change define_expand operand 1 to arith11_operand, and
3319         operand 2 to reg_or_0_operand.  Change constraints of 64-bit insn
3320         pattern to handle reg_or_0 operands.  Revise 32-bit insn pattern to
3321         handle 11-bit constants and reg_or_0 operands in operands 1 and 2,
3322         respectively.
3323
3324         PR middle-end/30174
3325         * varasm.c (notice_global_symbol): Treat global objects as weak when
3326         flag_shlib is true.
3327
3328 2007-02-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3329
3330         * emit-rtl.c (dconstpi): Delete.
3331         (dconstsqrt2): New.
3332         (init_emit_once): Delete dconstpi and init dconstsqrt2.
3333         * real.h (dconstpi): Delete.
3334         (dconstsqrt2): New.
3335         * builtins.c (fold_builtin_cabs): Use dconstsqrt2.
3336         (fold_builtin_hypot): Likewise.
3337
3338 2007-02-03  Tom Tromey  <tromey@redhat.com>
3339
3340         PR driver/30246
3341         * gcc.c (cpp_unique_options): Any of -ggdb3, -gstabs3,
3342         -gcoff3, -gxcoff3, -gvms3 implies -dD.
3343
3344 2007-02-03  Kazu Hirata  <kazu@codesourcery.com>
3345
3346         * c-decl.c, config/avr/avr.c, config/avr/avr.h,
3347         config/m68k/m68k.c, config/m68k/netbsd-elf.h,
3348         config/mn10300/mn10300.c, config/pdp11/pdp11.h,
3349         config/rs6000/cell.md, config/rs6000/darwin.h,
3350         config/sh/sh.md, config/sh/sh4-300.md, config/spu/spu.c,
3351         config/spu/spu.md, cselib.c, expr.c, haifa-sched.c, hwint.h,
3352         jump.c, reload.c, sched-deps.c, sched-int.h, tree-inline.c,
3353         tree-profile.c, tree-ssa-live.h, tree-vrp.c: Fix comment
3354         typos.  Follow spelling conventions.
3355         * doc/invoke.texi: Follow spelling conventions.
3356
3357 2007-02-03  Roger Sayle  <roger@eyesopen.com>
3358
3359         * simplify-rtx.c (simplify_relational_operation_1): Implement some
3360         canonicalization transformations that attempt to simplify integer
3361         constant comparisons to become comparisons against zero.
3362
3363 2007-02-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3364
3365         * builtins.c (fold_builtin_cabs): Fold cabs(x+xi) into
3366         fabs(x)*sqrt(2).
3367         * fold-const.c (fold_binary): Fix comment typos.  Fold complex
3368         (x,0)-(0,y) into (x,-y).  Likewise (0,y)-(x,0) into (-x,y).
3369
3370 2007-02-02  Mike Stump  <mrs@apple.com>
3371
3372         * config/darwin9.h (DARWIN_LINKER_GENERATES_ISLANDS): Add.
3373         * config/rs6000/rs6000.c (DARWIN_GENERATE_ISLANDS): Add.
3374         (output_call): Use DARWIN_GENERATE_ISLANDS to decide when to
3375         generate a branch island.
3376
3377 2007-02-02  Bob Wilson  <bob.wilson@acm.org>
3378
3379         * config/xtensa/xtensa.c (smalloffset_mem_p): Use BASE_REG_P.
3380         (xtensa_legitimate_address_p): New.
3381         (xtensa_legitimize_address): New.
3382         (xtensa_output_addr_const_extra): New.
3383         * config/xtensa/xtensa.h (REG_OK_STRICT_FLAG): Define.
3384         (BASE_REG_P): New.
3385         (REG_OK_FOR_BASE_P): Use BASE_REG_P.
3386         (GO_IF_LEGITIMATE_ADDRESS): Move code to xtensa_legitimate_address_p.
3387         (LEGITIMIZE_ADDRESS): Move code to xtensa_legitimize_address.
3388         (OUTPUT_ADDR_CONST_EXTRA): Move code to xtensa_output_addr_const_extra.
3389         * config/xtensa/xtensa-protos.h (xtensa_legitimate_address_p): New.
3390         (xtensa_legitimize_address): New.
3391         (xtensa_output_addr_const_extra): New.
3392
3393 2007-02-02  Steve Ellcey  <sje@cup.hp.com>
3394
3395         * config/ia64/ia64.c (ia64_print_operand): Fix compare strings.
3396
3397 2007-02-02  Ian Lance Taylor  <iant@google.com>
3398
3399         * expmed.c (expand_divmod): Add comment.
3400
3401 2007-02-02  Kazu Hirata  <kazu@codesourcery.com>
3402
3403         * emit-rtl.c (renumber_insns): Remove.
3404         * flags.h: Remove the extern for flag_renumber_insns.
3405         * rtl.h: Remove the prototype for renumber_insns.
3406         * toplev.c (flag_renumber_insns): Remove.
3407
3408 2007-02-02  Hui-May Chang  <hm.chang@apple.com>
3409
3410         Revert for x86 darwin:
3411         2005-06-19  Uros Bizjak  <uros@kss-loka.si>
3412
3413         * config/i386/i386.c (ix86_function_arg_regno_p): Put back the