gcc/ChangeLog

   1 2008-05-20  Jan Sjodin  <jan.sjodin@amd.com>
   2             Sebastian Pop  <sebastian.pop@amd.com>
   3
   4         * tree-loop-linear.c (gather_interchange_stats): Look in the access matrix,
   5         and never look at the tree representation of the memory accesses.
   6         (linear_transform_loops): Computes parameters and access matrices.
   7         * tree-data-ref.c (compute_data_dependences_for_loop): Returns false when fails.
   8         (access_matrix_get_index_for_parameter): New.
   9         * tree-data-ref.h (struct access_matrix): New.
  10         (AM_LOOP_NEST_NUM, AM_NB_INDUCTION_VARS, AM_PARAMETERS, AM_MATRIX,
  11         AM_NB_PARAMETERS, AM_CONST_COLUMN_INDEX, AM_NB_COLUMNS,
  12         AM_GET_SUBSCRIPT_ACCESS_VECTOR, AM_GET_ACCESS_MATRIX_ELEMENT,
  13         am_vector_index_for_loop): New.
  14         (struct data_reference): Add field access_matrix.
  15         (DR_ACCESS_MATRIX): New.
  16         (compute_data_dependences_for_loop): Update declaration.
  17         (lambda_collect_parameters, lambda_compute_access_matrices): Declared.
  18         * lambda.h (lambda_vector_vec_p): Declared.
  19         * lambda-code.c: Depend on pointer-set.h.
  20         (lambda_collect_parameters_from_af, lambda_collect_parameters,
  21         av_for_af_base, av_for_af, build_access_matrix,
  22         lambda_compute_access_matrices): New.
  23         * Makefile.in (lambda-code.o): Depend on pointer-set.h.
  24
  25 2008-05-20  Joseph Myers  <joseph@codesourcery.com>
  26
  27         * doc/install.texi2html: Generate gcc-vers.texi in $DESTDIR not
  28         $SOURCEDIR/include.
  29
  30 2008-05-20  Jan Sjodin  <jan.sjodin@amd.com>
  31             Sebastian Pop  <sebastian.pop@amd.com>
  32
  33         PR tree-optimization/36206
  34         * tree-scalar-evolution.c: Remove enum INSERT_SUPERLOOP_CHRECS,
  35         FOLD_CONVERSIONS.
  36         (instantiate_scev_1): Rename flags to fold_conversions.
  37         Do not check for INSERT_SUPERLOOP_CHRECS, keep SSA_NAMEs defined
  38         outeside instantiation_loop.
  39         * tree-chrec.h (evolution_function_is_affine_in_loop): New.
  40         (evolution_function_is_affine_or_constant_p): Removed.
  41         * tree-data-ref.c (dr_analyze_indices): Replace resolve_mixers with
  42         instantiate_scev.
  43         (analyze_siv_subscript): Pass in the loop nest number.
  44         Call evolution_function_is_affine_in_loop instead of
  45         evolution_function_is_affine_p.
  46         (analyze_overlapping_iterations): Pass in the loop nest number.
  47
  48 2008-05-20  Jan Sjodin  <jan.sjodin@amd.com>
  49             Sebastian Pop  <sebastian.pop@amd.com>
  50
  51         PR tree-optimization/36206
  52         * tree-chrec.h (chrec_fold_op): New.
  53         * tree-data-ref.c (initialize_matrix_A): Traverse NOP_EXPR, PLUS_EXPR, and
  54         other trees.
  55
  56 2008-05-20  Nathan Sidwell  <nathan@codesourcery.com>
  57
  58         * c-incpath.c (INO_T_EQ): Do not define on non-inode systems.
  59         (DIRS_EQ): New.
  60         (remove_duplicates): Do not set inode on non-inode systems.  Use
  61         DIRS_EQ.
  62
  63 2008-05-20  Sandra Loosemore  <sandra@codesourcery.com>
  64
  65         * config.gcc (tm_file): Update comments about relative pathnames.
  66
  67 2008-05-20  Richard Guenther  <rguenther@suse.de>
  68
  69         * tree-ssa-reassoc.c (fini_reassoc): Use the statistics
  70         infrastructure.
  71         * tree-ssa-sccvn.c (process_scc): Likewise.
  72         * tree-ssa-sink.c (execute_sink_code): Likewise.
  73         * tree-ssa-threadupdate.c (thread_through_all_blocks): Likewise.
  74         * tree-vrp.c (process_assert_insertions): Likewise.
  75         * tree-ssa-dce.c (eliminate_unnecessary_stmts): Likewise.
  76         (perform_tree_ssa_dce): Likewise.
  77         * tree-ssa-dom.c (tree_ssa_dominator_optimize): Likewise.
  78         (dump_dominator_optimization_stats): Likewise.
  79         * tree-vectorizer.c (vectorize_loops): Likewise.
  80
  81 2008-05-20  Richard Guenther  <rguenther@suse.de>
  82
  83         * tree-vn.c (vn_lookup_with_vuses): Do not use the alias oracle.
  84
  85 2008-05-20  Kai Tietz  <kai.tietz@onevision.com>
  86
  87         * config/i386/i386-protos.h (ix86_return_in_memory): Removed.
  88         (ix86_i386elf_return_in_memory): Likewise.
  89         (ix86_i386interix_return_in_memory): Likewise.
  90         * config/i386/i386-interix.h (TARGET_RETURN_IN_MEMORY): Removed.
  91         (SUBTARGET_RETURN_IN_MEMORY): New.
  92         * config/i386/i386elf.h: Likewise.
  93         * config/i386/ptx4-i.h: Likewise.
  94         * config/i386/sol2-10.h: Likewise.
  95         * config/i386/sysv4.h: Likewise.
  96         * config/i386/vx-common.h: Likewise.
  97         * config/i386/i386.h (TARGET_RETURN_IN_MEMORY): Removed.
  98         * config/i386/i386.c (ix86_return_in_memory): Made static and
  99         make use of optional SUBTARGET_RETURN_IN_MEMORY macro.
 100         (ix86_i386elf_return_in_memory): Removed.
 101         (ix86_i386interix_return_in_memory): Removed.
 102         (TARGET_RETURN_IN_MEMORY): Declared within i386.c only.
 103         * target-def.h (TARGET_RETURN_IN_MEMORY): Remove protection #ifdef.
 104
 105 2008-05-20  Alexandre Oliva  <aoliva@redhat.com>
 106
 107         * cselib.c (cselib_record_sets): Use correct mode for IF_THEN_ELSE.
 108
 109 2008-05-19  Xinliang David Li  <davidxl@google.com>
 110
 111         * tree-ssa-dce.c: Revert patches of 2008-05-17 and 2008-05-18.
 112         * opts.c: Ditto.
 113         * common.opt: Ditto.
 114         * doc/invoke.texi: Ditto.
 115
 116 2008-05-19  Eric Botcazou  <ebotcazou@adacore.com>
 117
 118         * tree.c (substitute_in_expr) <tcc_vl_exp>: Fix thinko.
 119         (substitute_placeholder_in_expr) <tcc_vl_exp>: Minor tweak.
 120
 121 2008-05-19  H.J. Lu  <hongjiu.lu@intel.com>
 122
 123         * config/i386/i386.c (ix86_expand_vector_init_concat): Change
 124         sizes of operand array from 8/4 to 4/2.
 125         (ix86_expand_vector_init_general): Change size of operand array
 126         from 32 to 16.  Remove op0, op1 and half_mode.
 127
 128 2008-05-19  H.J. Lu  <hongjiu.lu@intel.com>
 129
 130         * config/i386/i386.c (ix86_expand_vector_init_concat): New.
 131         (ix86_expand_vector_init_interleave): Likewise.
 132         (ix86_expand_vector_init_general): Use them.  Assert word_mode
 133         == SImode when n_words == 4.
 134
 135 2008-05-19  Uros Bizjak  <ubizjak@gmail.com>
 136
 137         * config/i386/i386.c (ix86_secondary_reload): New static function.
 138         (TARGET_SECONDARY_RELOAD): New define.
 139         * config/i386/i386.h (SECONDARY_OUTPUT_RELOAD_CLASS): Remove.
 140         * config/i386/i386.md (reload_outqi): Remove.
 141
 142 2008-05-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 143
 144         PR middle-end/35509
 145         * builtins.c (mathfn_built_in_1): Renamed from mathfn_built_in.
 146         Add `implicit' parameter.  Handle BUILT_IN_SIGNBIT.
 147         (mathfn_built_in): Rewrite in terms of mathfn_built_in_1.
 148         (fold_builtin_classify): Handle BUILT_IN_ISINF_SIGN.
 149         (fold_builtin_1): Likewise.
 150         * builtins.def (BUILT_IN_ISINF_SIGN): New.
 151         c-common.c (check_builtin_function_arguments): Handle
 152         BUILT_IN_ISINF_SIGN.
 153         * doc/extend.texi: Document __builtin_isinf_sign.
 154         * fold-const.c (operand_equal_p): Handle COND_EXPR.
 155
 156 2008-05-18  Eric Botcazou  <ebotcazou@adacore.com>
 157
 158         * tree-ssa-dom.c (tree_ssa_dominator_optimize): If some blocks need
 159         EH cleanup at the end of the pass, search for those that have been
 160         turned into forwarder blocks and do the cleanup on their successor.
 161
 162 2008-05-18  Richard Guenther  <rguenther@suse.de>
 163
 164         * tree-cfg.c (verify_gimple_expr): Allow conversions from
 165         pointers to sizetype and vice versa.
 166
 167 2008-05-18 Xinliang David Li   <davidxl@google.com>
 168
 169         * gcc/tree-ssa-dce.c: Coding style fix.
 170         (check_pow): Documentation comment.
 171         (check_log): Documenation comment. Coding style fix.
 172         (is_unnecessary_except_errno_call): Ditto.
 173         (gen_conditions_for_pow): Ditto.
 174         (gen_conditions_for_log): Ditto.
 175         (gen_shrink_wrap_conditions): Ditto.
 176         (shrink_wrap_one_built_in_calls): Ditto.
 177         * gcc/doc/invoke.texi: Better documentation string.
 178         * ChangeLog: Fix wrong change log entries from
 179         May 17 checkin on function call DCE.
 180
 181 2008-05-17  Kaz Kojima  <kkojima@gcc.gnu.org>
 182
 183         * config/sh/sh.c (sh_output_mi_thunk): Update the use of init_flow.
 184
 185 2008-05-17  Kenneth Zadeck <zadeck@naturalbridge.com>
 186
 187         * doc/rtl.texi (RTL_CONST_CALL_P, RTL_PURE_CALL_P): Fixed typos.
 188         * df-problems.c (simulation routines): Fixed block comment to
 189         properly say how to add forwards scanning functions.
 190
 191 2008-05-17  Eric Botcazou  <ebotcazou@adacore.com>
 192
 193         * tree-inline.c (setup_one_parameter): Remove dead code.
 194
 195 2008-05-17  Eric Botcazou  <ebotcazou@adacore.com>
 196
 197         * fold-const.c (fold_unary) <CASE_CONVERT>: Fold the cast into
 198         a BIT_AND_EXPR only for an INTEGER_TYPE.
 199
 200 2008-05-17 Xinliang David Li   <davidxl@google.com>
 201
 202         * gcc/tree-ssa-dce.c (cond_dead_built_in_calls): New static variable.
 203         (check_pow, check_log, is_unnecessary_except_errno_call): New
 204         functions to check for eliminating math functions that are pure
 205         except for setting errno.
 206         (gen_conditions_for_pow, gen_conditionas_for_log): New functions to
 207         general condition expressions for shrink-wrapping pow/log calls.
 208         (gen_shrink_wrap_conditions): Ditto.
 209         (shrink_wrap_one_built_in_call): Ditto.
 210         (shrink_wrap_conditional_dead_built_in_calls): Ditto.
 211         (mark_operand_necessary): If debugging, output if OP is necessary.
 212         (eliminate_unnecessary_stmts): Eliminate pow, log calls that are
 213         unnecessary.
 214         * gcc/opts.c (decode_options): set flag_tree_builtin_dce to 1 when
 215         opt level >= 2.
 216         * gcc/common.opt: New user flag -ftree-builtin-dce.
 217         * gcc/doc/invoke.texi (-ftree-builtin-dce): New option.
 218
 219 2008-05-16  David S. Miller  <davem@davemloft.net>
 220
 221         * config/sparc/linux.h (NO_PROFILE_COUNTERS): Undef before overriding.
 222         * config/sparc/linux64.h (NO_PROFILE_COUNTERS): Likewise.
 223
 224 2008-05-16  Uros Bizjak  <ubizjak@gmail.com>
 225
 226         PR target/36246
 227         * config/i386/i386.h (SECONDARY_MEMORY_NEEDED_MODE): New define.
 228
 229 2008-05-16  Kenneth Zadeck <zadeck@naturalbridge.com>
 230
 231         * ifcvt.c (dead_or_predicable): Rename
 232         df_simulate_one_insn_backwards to df_simulate_one_insn.
 233         * recog.c (peephole2_optimize): Ditto.
 234         * rtl-factoring.c (collect_pattern_seqs, clear_regs_live_in_seq):
 235         Ditto.
 236         * df.h: Rename df_simulate_one_insn_backwards to
 237         df_simulate_one_insn.  and delete df_simulate_one_insn_forwards.
 238         * df-problems.c (df_simulate_artificial_refs_at_top) Reversed
 239         scanning of defs and uses.
 240         (df_simulate_one_insn_backwards): Renamed to df_simulate_one_insn.
 241         (df_simulate_one_insn_forwards): Removed.
 242
 243 2008-05-16  Doug Kwan  <dougkwan@google.com>
 244
 245         * real.c (real_to_decimal, real_to_hexadecimal): Distinguish
 246         QNaN & SNaN.
 247         (real_from_string): Handle NaNs and Inf as approriate.
 248
 249 2008-05-16  Nathan Froyd  <froydnj@codesourcery.com>
 250
 251         * doc/gty.texi (Source Files Containing Type Information): Note
 252         that headers should appear first in the gtfiles list.
 253
 254 2008-05-16  Kenneth Zadeck <zadeck@naturalbridge.com>
 255
 256         * tree.def (COND_EXEC): Properly documented this code.
 257
 258 2008-05-16  Diego Novillo  <dnovillo@google.com>
 259
 260         * dwarf2asm.c (dw2_assemble_integer): Clarify comment.
 261         * tree-nested.c (get_trampoline_type): Set DECL_CONTEXT for
 262         the new field.
 263
 264 2008-05-16  Kenneth Zadeck <zadeck@naturalbridge.com>
 265
 266         * tree-ssa-dse (max_stmt_uid): Removed.
 267         (get_stmt_uid, dse_possible_dead_store_p, dse_optimize_stmt,
 268         tree_ssa_dse): Encapsulate all uses of stmt_ann->uid.
 269         * tree-ssa-sccvn.c (compare_ops, init_scc_vn): Ditto.
 270         * function.h (cfun.last_stmt_uid): New field.
 271         * tree-flow-inline.h (set_gimple_stmt_uid, gimple_stmt_uid,
 272         gimple_stmt_max_uid, set_gimple_stmt_max_uid, inc_gimple_stmt_max_uid):
 273         New functions.
 274         * tree-dfa.c (renumber_gimple_stmt_uids): New function.
 275         (create_stmt_ann): Initialize the ann->uid field.
 276         * tree-ssa-pre.c (compute_avail): Encapsulate the stmt_ann->uid
 277         with new calls.
 278         * tree-flow.h (renumber_gimple_stmt_uids): New function.
 279
 280 2008-05-16  Nathan Froyd  <froydnj@codesourcery.com>
 281
 282         * tree-flow.h (init_empty_tree_cfg_for_function): Declare.
 283         * tree-cfg.c (init_empty_tree_cfg_for_function): Define.
 284         (init_empty_tree_cfg): Call it.
 285
 286 2008-05-16  Kenneth Zadeck <zadeck@naturalbridge.com>
 287
 288         * cfg.c (init_flow): Add argument THE_FUN.  Use it instead of cfun.
 289         Update all users.
 290
 291 2008-05-16  Kenneth Zadeck <zadeck@naturalbridge.com>
 292
 293         * doc/invoke.text (-fdump-tree-*-verbose): New option.
 294         * tree-dump.c (dump_options): New verbose option.
 295         * tree-pretty-print.c (dump_phi_nodes, dump_generic_bb_buff):
 296         Add verbose dump.
 297         * tree-pass.h (TDF_VERBOSE): New dump flag.
 298         * print-tree.c (print_node): Added code to be able to print PHI_NODES.
 299         (tree-flow.h): Added include.
 300         * Makefile.in (print-tree.o):  Added TREE_FLOW_H.
 301
 302 2008-05-16  Bernd Schmidt  <bernd.schmidt@analog.com>
 303
 304         * config/bfin/bfin.c (bfin_discover_loops): Delete empty loops.
 305
 306         From Jie Zhang  <jie.zhang@analog.com>
 307         * config/bfin/t-bfin-elf (MULTILIB_OPTIONS, MULTILIB_DIRNAMES,
 308         MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Remove mcpu=bf532-0.3,
 309         mcpu=bf561-none and mcpu=bf561-0.2.
 310         * config/bfin/t-bfin-uclinux (MULTILIB_OPTIONS, MULTILIB_DIRNAMES,
 311         MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Likewise.
 312         * config/bfin/t-bfin-linux (MULTILIB_OPTIONS, MULTILIB_DIRNAMES,
 313         MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Likewise.
 314         * config/bfin/bfin-protos.h (enum bfin_cpu_type): Add BFIN_CPU_UNKNOWN.
 315         * config/bfin/elf.h (STARTFILE_SPEC): Use specific CRT for BF561.
 316         (LIB_SPEC): Use proper linker script for bf561.  Error if no mcpu
 317         option.
 318         * config/bfin/bfin.c (bfin_cpu_type): Set to BFIN_CPU_UNKNOWN.
 319         (cputype_selected): Remove.
 320         (bfin_handle_option): Don't use cputype_selected.
 321         (override_options): When no mcpu option, enable all workarounds.
 322         Don't use bfin_workarounds.
 323         * config/bfin/bfin.h (DRIVER_SELF_SPECS): Don't set default
 324         processor type.
 325         (DEFAULT_CPU_TYPE): Don't define.
 326
 327 2008-05-16  Richard Guenther  <rguenther@suse.de>
 328
 329         * tree-ssa-propagate.c (substitute_and_fold): Fix stmt walking
 330         on deletion of the last stmt.
 331
 332 2008-05-15  H.J. Lu  <hongjiu.lu@intel.com>
 333
 334         * config/i386/i386.c (ix86_expand_vector_init_general): Optimize
 335         V8HImode for SSE2 and V16QImode for SSE4.1.
 336
 337 2008-05-15  Kenneth Zadeck <zadeck@naturalbridge.com>
 338
 339         * cgraph.h (compute_inline_parameters): Made public.
 340         * tree-pass.h (ipa_opt_pass): Removed function_generate_summary,
 341         variable_generate_summary, function_write_summary,
 342         variable_write_summary, variable_read_summary.  Added generate_summary,
 343         write_summary, read_summary.
 344         * cgraphunit.c (cgraph_process_new_functions): Changed call from
 345         pass_ipa_inline.function_generate_summary, to
 346         compute_inline_parameters.
 347         * ipa-inline.c (compute_inline_parameters): Made public and added
 348         node parameter.
 349         (compute_inline_parameters_for_current): New function.
 350         (pass_inline_param): Now calls compute_inline_parameters_for_current.
 351         (inline_generate_summary): Removed parameter and made to loop over
 352         all cgraph nodes.
 353         (pass_ipa_inline): Updated for new IPA_PASS structure.
 354         * passes.c (execute_ipa_summary_passes): Now is called once per
 355         pass rather than once per node*pass.
 356
 357 2008-05-15  Anatoly Sokolov <aesok@post.ru>
 358
 359         * config/avr/avr.c (avr_base_arch_macro, avr_have_movw_lpmx_p,
 360         avr_have_mul_p, avr_asm_only_p): Remove variables.
 361         (avr_override_options): Remove initialization of removed variables.
 362         (avr_file_start):  Convert removed variables to fields of
 363         'struct base_arch_s *avr_current_arch'.
 364         * config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): (Ditto.).
 365         (AVR_HAVE_MUL): (Ditto.).
 366         (AVR_HAVE_MOVW): (Ditto.).
 367         (AVR_HAVE_LPMX): (Ditto.).
 368         (avr_base_arch_macro, avr_have_movw_lpmx_p, avr_have_mul_p,
 369         avr_asm_only_p): Remove declaration.
 370
 371 2008-05-15  Diego Novillo  <dnovillo@google.com>
 372
 373         * config/arm/arm.c (arm_return_in_memory): Fix return type.
 374         * config/arm/arm-protos.h (arm_return_in_memory): Likewise.
 375
 376 2008-05-15  Adam Nemet  <anemet@caviumnetworks.com>
 377
 378         PR middle-end/36194
 379         * combine.c (check_conversion): Rename back to check_promoted_subreg.
 380         Don't call record_truncated_value from here.
 381         (record_truncated_value): Turn it into a for_each_rtx callback.
 382         (record_truncated_values): New function.
 383         (combine_instructions): Call note_uses with record_truncated_values.
 384         Change name of check_conversion to check_promoted_subreg.
 385
 386 2008-05-15  Janis Johnson  <janis187@us.ibm.com>
 387
 388         * doc/sourcebuild.texi: Document support for torture tests.
 389
 390 2008-05-15  Uros Bizjak  <ubizjak@gmail.com>
 391
 392         * config/i386/sse.md (*vec_concatv2sf_sse4_1): Add "m" constraint
 393         to alternative 4 of operand 2.
 394
 395 2008-05-15  Richard Guenther  <rguenther@suse.de>
 396
 397         * tree-pass.h (current_pass): Declare.
 398         (get_pass_for_id): Likewise.
 399         * passes.c (passes_by_id, passes_by_id_size): New globals.
 400         (set_pass_for_id): New function.
 401         (get_pass_for_id): Likewise.
 402         (register_one_dump_file): Use set_pass_for_id to populate passes_by_id.
 403         (execute_function_todo): Flush per function statistics.
 404         * toplev.c (compile_file): Init statistics.
 405         (general_init): Do early statistics initialization.
 406         (finalize): Finish statistics.
 407         * statistics.h (statistics_early_init): Declare.
 408         (statistics_init): Likewise.
 409         (statistics_fini): Likewise.
 410         (statistics_fini_pass): Likewise.
 411         (statistics_counter_event): Likewise.
 412         (statistics_histogram_event): Likewise.
 413         * statistics.c: New file.
 414         * Makefile.in (OBJS-common): Add statistics.o.
 415         (statistics.o): Add dependencies.
 416         * doc/invoke.texi (-fdump-statistics): Document.
 417
 418         * tree-ssa-pre.c (compute_antic): Use statistics_histogram_event.
 419         (insert): Likewise.
 420         (execute_pre): Use statistics_counter_event.
 421         * tree-ssa-propagate.c (struct prop_stats_d): Add num_dce field.
 422         (substitute_and_fold): Increment it.  Use statistics_counter_event.
 423
 424 2008-05-15  Diego Novillo  <dnovillo@google.com>
 425
 426         http://gcc.gnu.org/ml/gcc-patches/2008-05/msg00893.html
 427
 428         * treestruct.def (TS_STRUCT_FIELD_TAG): Remove.
 429         * tree-ssa-alias.c (new_type_alias): Remove references to
 430         sub-variables from comment.
 431         * tree-ssa-operands.c (swap_tree_operands): Likewise.
 432
 433 2008-05-15  H.J. Lu  <hongjiu.lu@intel.com>
 434
 435         * config/i386/sse.md (*vec_concatv2sf_sse4_1): Set prefix_extra
 436         attribute to 1 only for insertps alternative.
 437
 438 2008-05-15  Bernd Schmidt  <bernd.schmidt@analog.com>
 439
 440         * config/bfin/bfin.md (loadbytes): New pattern.
 441         * config/bfin/bfin.c (enum bfin_builtins): Add BFIN_BUILTIN_LOADBYTES.
 442         (bfin_init_builtins): Initialize it.
 443         (bdesc_1arg): Add it.
 444
 445 2008-05-15  Sa Liu  <saliu@de.ibm.com>
 446
 447         * testsuite/gfortran.dg/c_kind_int128_test1.f03: New.
 448         * testsuite/gfortran.dg/c_kind_int128_test2.f03: New.
 449         * testsuite/lib/target-supports.exp: Add
 450         check_effective_target_fortran_integer_16.
 451
 452 2008-05-15  Bernd Schmidt  <bernd.schmidt@analog.com>
 453
 454         * config/bfin/bfin.h (TARGET_RETURN_IN_MEMORY): Don't define here.
 455         * config/bfin/bfin-protos.h (bfin_return_in_memory): Don't declare.
 456         * config/bfin/bfin.c (bfin_return_in_memory): Now static.  Return bool.
 457         (TARGET_RETURN_IN_MEMORY): Define.
 458
 459 2008-05-15  Richard Guenther  <rguenther@suse.de>
 460
 461         PR middle-end/36244
 462         * tree-ssa-alias.c (new_type_alias): Do not set TREE_READONLY.
 463         * tree-flow-inline.h (unmodifiable_var_p): Memory tags never
 464         represent unmodifiable vars.
 465
 466 2008-05-15  Richard Guenther  <rguenther@suse.de>
 467
 468         * tree-dfa.c (refs_may_alias_p): Allow all kinds of
 469         INDIRECT_REF and TARGET_MEM_REF.
 470         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle
 471         TARGET_MEM_REF.
 472
 473 2008-05-15  Uros Bizjak  <ubizjak@gmail.com>
 474             H.J. Lu  <hongjiu.lu@intel.com>
 475
 476         * config/i386/sse.md (*vec_concatv2sf_sse4_1): New insn pattern.
 477         (*vec_concatv2si_sse4_1): Use vector_move_operand predicate
 478         for operand 2.  Remove pinsr{q,d} with 0x0 immediate operand from
 479         insn alternatives.  Add missing alternatives.
 480         (*vec_concatv2di_rex64_sse4_1): Likewise.
 481         (*vec_concatv2si_sse2): Use "x" register constraint instead of "Y2".
 482         (*vec_concatv2di_rex64_sse): Rename from *vec_concatv2di_rex64.
 483         Require TARGET_SSE.
 484
 485 2008-05-15  Richard Guenther  <rguenther@suse.de>
 486
 487         PR tree-optimization/36009
 488         PR tree-optimization/36204
 489         * tree-ssa-loop-im.c (tree-ssa-propagate.h): Include.
 490         (determine_invariantness_stmt): Record the loop a store is
 491         always executed in.
 492         * Makefile.in (tree-ssa-loop-im.o): Add tree-ssa-propagate.h
 493         dependency.
 494
 495 2008-05-15  Richard Guenther  <rguenther@suse.de>
 496
 497         PR tree-optimization/34330
 498         * tree-ssa-alias.c (get_smt_for): Only assert that accesses
 499         through the pointer will alias the SMT.
 500
 501 2008-05-14  Andreas Tobler  <a.tobler@schweiz.org>
 502
 503         * config/sparc/sparc.h (NO_PROFILE_COUNTERS): Define as 0.
 504
 505 2008-05-14  H.J. Lu  <hongjiu.lu@intel.com>
 506
 507         * config/i386/sse.md (*sse4_1_pinsrq): Make it 64bit only.
 508
 509 2008-05-14  Michael Meissner  <michael.meissner@amd.com>
 510             Dwarakanath Rajagopal  <dwarak.rajagopal@amd.com>
 511
 512         * optabs.h (optab_index): Add OTI_vashl, OTI_vlshr, OTI_vashr,
 513         OTI_vrotl, OTI_vrotr to support vector/vector shifts.
 514         (vashl_optab): New optab for vector/vector shifts.
 515         (vashr_optab): Ditto.
 516         (vlshr_optab): Ditto.
 517         (vrotl_optab): Ditto.
 518         (vrotr_optab): Ditto.
 519         (optab_subtype): New enum for optab_for_tree_code call.
 520         (optab_for_tree_code): Add enum optab_subtype argument.
 521
 522         * optabs.c (optab_for_tree_code): Take an additional argument to
 523         distinguish between a vector shift by a scalar and vector shift by
 524         a vector.  Make lshr/ashr/ashl/rotl/rotr optabs just vector
 525         shifted by a scalar.  Use vlshr/vashr/vashl/vrotl/vrotr for the
 526         vector shift by a vector.
 527         (expand_widen_pattern_expr): Pass additional argument to
 528         optab_for_tree_code.
 529
 530         * genopinit.c (optabs): Add vashr_optab, vashl_optab, vlshr_optab,
 531         vrotl_optab, vrotr_optab.
 532
 533         * expr.c (expand_expr_real_1): Update calls to
 534         optab_for_tree_code to distinguish between vector shifted by a
 535         scalar and vector shifted by a vector.
 536         * tree-vectorizer.c (supportable_widening_operation): Ditto.
 537         (supportable_narrowing_operation): Ditto.
 538         * tree-vect-analyze.c (vect_build_slp_tree): Ditto.
 539         * tree-vect-patterns.c (vect_pattern_recog_1): Ditto.
 540         * tree-vect-transform.c (vect_model_reduction_cost): Ditto.
 541         (vect_create_epilog_for_reduction): Ditto.
 542         (vectorizable_reduction): Ditto.
 543         (vectorizable_operation): Ditto.
 544         (vect_strided_store_supported): Ditto.
 545         (vect_strided_load_supported): Ditto.
 546         * tree-vect-generic.c (expand_vector_operations_1): Ditto.
 547         * expmed.c (expand_shift): Ditto.
 548
 549         * doc/md.texi (ashl@var{m}3): Document that operand 2 is always a
 550         scalar type.
 551         (ashr@var{m}3): Ditto.
 552         (vashl@var{m}3): Document new vector/vector shift standard name.
 553         (vashr@var{m}3): Ditto.
 554         (vlshr@var{m}3): Ditto.
 555         (vrotl@var{m}3): Ditto.
 556         (vrotr@var{m}3): Ditto.
 557
 558         * config/i386/i386.md (PPERM_SRC): Move PPERM masks here from i386.c.
 559         (PPERM_INVERT): Ditto.
 560         (PPERM_REVERSE): Ditto.
 561         (PPERM_REV_INV): Ditto.
 562         (PPERM_ZERO): Ditto.
 563         (PPERM_ONES): Ditto.
 564         (PPERM_SIGN): Ditto.
 565         (PPERM_INV_SIGN): Ditto.
 566         (PPERM_SRC1): Ditto.
 567         (PPERM_SRC2): Ditto.
 568
 569         * config/i386/sse.md (mulv2di3): Add SSE5 support.
 570         (sse5_pmacsdql_mem): New SSE5 define_and_split that temporarily
 571         allows a memory operand to be the value being added, and split it
 572         to improve vectorization.
 573         (sse5_pmacsdqh_mem): Ditto.
 574         (sse5_mulv2div2di3_low): SSE5 32-bit multiply and extend function.
 575         (sse5_mulv2div2di3_high): Ditto.
 576         (vec_pack_trunc_v8hi): Add SSE5 pperm support.
 577         (vec_pack_trunc_v4si): Ditto.
 578         (vec_pack_trunc_v2di): Ditto.
 579         (sse5_pcmov_<mode>): Remove code that tried to use use
 580         andps/andnps instead of pcmov.
 581         (vec_widen_smult_hi_v4si): If we have SSE5, use the pmacsdql and
 582         pmacsdqh instructions.
 583         (vec_widen_smult_lo_v4si): Ditto.
 584
 585         * config/i386/i386.c (PPERM_SRC): Move PPERM masks to i386.md.
 586         (PPERM_INVERT): Ditto.
 587         (PPERM_REVERSE): Ditto.
 588         (PPERM_REV_INV): Ditto.
 589         (PPERM_ZERO): Ditto.
 590         (PPERM_ONES): Ditto.
 591         (PPERM_SIGN): Ditto.
 592         (PPERM_INV_SIGN): Ditto.
 593         (PPERM_SRC1): Ditto.
 594         (PPERM_SRC2): Ditto.
 595         (ix86_expand_sse_movcc): Move the SSE5 test after the if
 596         true/false tests.
 597         (ix86_expand_int_vcond): If SSE5 generate all possible integer
 598         comparisons.
 599         (ix86_sse5_valid_op_p): Allow num_memory to be negative, which
 600         says ignore whether the last reference is a memory operand.
 601
 602 2008-05-14  Michael Meissner  <michael.meissner@amd.com>
 603             Paolo Bonzini <bonzini at gnu dot org>
 604
 605         * config/rs6000/rs6000.c (bdesc_2arg): Change the names of vector
 606         shift patterns.
 607
 608         * config/rs6000/altivec.md (vashl<mode>3): Rename from ashl<mode>3.
 609         (vlshr<mode>3): Rename from vlshr<mode>3.
 610         (vashr<mode>3): Rename from vashr<mode>3.
 611         (mulv4sf3): Change the names of vector shift patterns.
 612         (mulv4si3): Ditto.
 613         (negv4sf2): Ditt.
 614
 615         * config/spu/spu.c (spu_initialize_trampoline): Rename vector
 616         shift insns.
 617
 618         * config/spu/spu-builtins.def (SI_SHLH): Rename vector shift insns.
 619         (SI_SHLHI): Ditto.
 620         (SI_SHL): Ditto.
 621         (SI_SHLI): Ditto.
 622         (SI_ROTH): Ditto.
 623         (SI_ROTHI): Ditto.
 624         (SI_ROT): Ditto.
 625         (SI_ROTI): Ditto.
 626         (SPU_RL_0): Ditto.
 627         (SPU_RL_1): Ditto.
 628         (SPU_RL_2): Ditto.
 629         (SPU_RL_3): Ditto.
 630         (SPU_RL_4): Ditto.
 631         (SPU_RL_5): Ditto.
 632         (SPU_RL_6): Ditto.
 633         (SPU_RL_7): Ditto.
 634         (SPU_SL_0): Ditto.
 635         (SPU_SL_1): Ditto.
 636         (SPU_SL_2): Ditto.
 637         (SPU_SL_3): Ditto.
 638         (SPU_SL_4): Ditto.
 639         (SPU_SL_5): Ditto.
 640         (SPU_SL_6): Ditto.
 641         (SPU_SL_7): Ditto.
 642
 643         * config/spu/spu.md (v): New iterator macro to add v for vector types.
 644         (floatunssidf2_internal): Change vector/vector shift names.
 645         (floatunsdidf2_internal): Ditto.
 646         (mulv8hi3): Ditto.
 647         (ashrdi3): Ditto.
 648         (ashrti3): Ditto.
 649         (cgt_df): Ditto.
 650         (cgt_v2df): Ditto.
 651         (dftsv): Ditto.
 652         (vashl<mode>3): Rename from ashl<mode>3.
 653         (vashr<mode>3): Rename from ashr<mode>3.
 654         (vlshr<mode>3): Rename from lshr<mode>3.
 655         (vrotl<mode>3): Rename from rotl<mode>3.
 656
 657 2008-05-14  Michael Meissner  <michael.meissner@amd.com>
 658
 659         PR target/36224
 660         * config/i386/sse.md (vec_widen_smult_hi_v4si): Delete, using unsigned
 661         multiply gives the wrong value when doing widening multiplies.
 662         (vec_widen_smult_lo_v4si): Ditto.
 663
 664 2008-05-14  Kenneth Zadeck <zadeck@naturalbridge.com>
 665
 666         * optabs.c (prepare_cmp_insn): Changed LCT_PURE_MAKE_BLOCK to
 667         LCT_PURE and LCT_CONST_MAKE_BLOCK to LCT_CONST in calls to
 668         emit_library_call_value.
 669         * builtins.c (expand_builtin_powi, expand_builtin_memcmp): Ditto.
 670         * tree.h (ECF_LIBCALL_BLOCK): Removed.
 671         * calls.c (initialize_argument_information, precompute_arguments,
 672         expand_call, emit_library_call_value_1): Remove ECF_LIBCALL_BLOCK.
 673         (precompute_arguments): Removed flags parameter.
 674         * rtl.h (LCT_CONST_MAKE_BLOCK, LCT_PURE_MAKE_BLOCK): Removed.
 675
 676 2008-05-14  Richard Guenther  <rguenther@suse.de>
 677
 678         * tree-ssa-dse.c (dse_possible_dead_store_p): Remove dead code.
 679         Make sure to register the store if the use is a PHI_NODE.
 680
 681 2008-05-14  Olivier Hainque  <hainque@adacore.com>
 682
 683         * expr.c (expand_expr_real_1) <normal_inner_ref>: Force op0 to
 684         memory if the component is to be referenced in BLKmode according
 685         to get_inner_reference.
 686
 687 2008-05-14  Adam Nemet  <anemet@caviumnetworks.com>
 688
 689         * calls.c (emit_library_call_value_1): Restore code clearing
 690         ECF_LIBCALL_BLOCK to ensure that we only call end_sequence once.
 691
 692 2008-05-14  Olivier Hainque  <hainque@adacore.com>
 693             Nicolas Roche  <roche@adacore.com>
 694
 695         * configure.ac: Add support for a "gcc_subdir" variable in
 696         config-lang.in, to denote a subdirectory where the language/GCC
 697         integration files are to be found.
 698         * configure: Regenerate.
 699
 700 2008-05-14  Ira Rosen  <irar@il.ibm.com>
 701
 702         PR tree-optimization/36098
 703         * tree-vect-analyze.c (vect_analyze_group_access): Set the gap
 704         value for the first load in the group in case of a gap.
 705         (vect_build_slp_tree): Check that there are no gaps in loads.
 706
 707 2008-05-14  Kenneth Zadeck <zadeck@naturalbridge.com>
 708
 709         * doc/rtl.texi: Removed reference to REG_NO_CONFLICT notes.
 710         * optabs.c (expand_binop, expand_absneg_bit, expand_unop,
 711         expand_copysign_bit, ): Change call to emit_no_conflict_block to
 712         emit_insn and remove unneeded code to construct extra args.
 713         (emit_no_conflict_block): Removed.
 714         * optabls.h: (emit_no_conflict_block): Removed.
 715         * cse.c (cse_extended_basic_block): Remove search for
 716         REG_NO_CONFLICT note.
 717         * global.c: Removed incorrect comment added in revision 117.
 718         * expr.c (convert_move): Change call to emit_no_conflict_block to
 719         emit_insn.
 720         * recog.c: Change comments so that they do not mention
 721         REG_NO_CONFLICT.
 722         * local_alloc.c (combine_regs): Removed last parameter.
 723         (no_conflict_p): Removed.
 724         (block_alloc): Removed note, no_conflict_combined_regno and set
 725         local vars. Removed all code to process REG_NO_CONFLICT blocks.
 726         (combine_regs): Removed already_dead and code to look for
 727         REG_NO_CONFLICT notes.
 728         * lower_subreg (remove_retval_note): Removed code to look for
 729         REG_NO_CONFLICT block.
 730         (resolve_reg_notes): Removed REG_NO_CONFLICT case.
 731         (resolve_clobber): Remove code to process libcalls that have
 732         REG_NO_CONFLICT notes.
 733         * loop_invariant.c (find_invariant_insn): Removed REG_NO_CONFLICT
 734         case.
 735         * combine.c (can_combine_p, distribute_notes):  Removed
 736         REG_NO_CONFLICT case.
 737         * config/cris/cris.md (movdi pattern): Changed emit_no_conflict_block
 738         to emit_insns.
 739         * config/mn10300/mn10300.md (absdf2, negdf2 patterns): Ditto.
 740         * config/m68k/m68k.md (negdf2, negxf2, absdf2, absxf2 patterns):
 741         Ditto.
 742         * reg-notes.def (NO_CONFLICT): Removed.
 743
 744 2008-05-14  David S. Miller  <davem@davemloft.net>
 745
 746         * config/sparc/sparc.c (sparc_profile_hook): If
 747         NO_PROFILE_COUNTERS, don't generate and pass a label into mcount.
 748         * config/sparc/linux.h (NO_PROFILE_COUNTERS): Define as 1.
 749         * config/sparc/linux64.h (NO_PROFILE_COUNTERS): Likewise.
 750
 751 2008-05-14  Andreas Krebbel  <krebbel1@de.ibm.com>
 752
 753         * cse.c (cse_cc_succs): Invoke delete_insn_and_edges.
 754
 755 2008-05-13  Uros Bizjak  <ubizjak@gmail.com>
 756
 757         PR target/36222
 758         * config/i386/i386.c (ix86_expand_vector_init_general): Rearrange op0
 759         and op1 expansion before vector concat to have less live pseudos.
 760
 761 2008-05-13  H.J. Lu  <hongjiu.lu@intel.com>
 762
 763         * config/i386/i386.c (ix86_expand_vector_init_one_nonzero): Use
 764         ix86_expand_vector_set if supported.
 765
 766 2008-05-13  Diego Novillo  <dnovillo@google.com>
 767             Kenneth Zadeck  <zadeck@naturalbridge.com>
 768
 769         http://gcc.gnu.org/ml/gcc-patches/2008-05/msg00748.html
 770
 771         * tree.h (init_phinodes, fini_phinodes, release_phi_node,
 772         phinodes_print_statistics, init_ssanames, fini_ssanames,
 773         make_ssa_name, duplicate_ssa_name, duplicate_ssa_name_ptr_info,
 774         release_ssa_name, release_defs, replace_ssa_name_symbol,
 775         ssanames_print_statistics): Move ...
 776         * tree-flow.h: ... here.
 777         * tree-ssanames.c (init_ssanames): Add arguments FN and SIZE.
 778         Use FN instead of cfun.
 779         (make_ssa_name_fn): Rename from make_ssa_name.
 780         (pass_release_ssa_names): Add TODO_dump_func to finish flags.
 781         * tree-flow-inline.h (make_ssa_name): Move from
 782         tree-ssanames.c.  Convert to static inline.  Call make_ssa_name_fn.
 783         * omp-low.c (expand_omp_parallel):
 784         * tree-flow-inline.h (redirect_edge_var_map_result):
 785         * tree-ssa.c (init_tree_ssa): Add argument FN.
 786         Use it instead of cfun.  Update all users.
 787
 788 2008-05-13  Tom Tromey  <tromey@redhat.com>
 789
 790         PR preprocessor/22168:
 791         * doc/cpp.texi (Top): Update menu.
 792         (Alternatives to Wrapper #ifndef): New node.
 793         (Other Directives): Document deprecation.
 794         (Obsolete Features): Remove menu.
 795         (Assertions): Merge node into Obsolete Features.
 796         (Obsolete once-only headers): Move earlier; rename to Alternatives
 797         to Wrapper #ifndef.
 798         * doc/cppopts.texi: Update.
 799         * c.opt (Wdeprecated): Enable for C and ObjC.
 800         * doc/invoke.texi (Option Summary): Move -Wno-deprecated.
 801         (C++ Dialect Options): Move -Wno-deprecated from here to...
 802         (Warning Options): ... here.
 803
 804 2008-05-13  Richard Guenther  <rguenther@suse.de>
 805
 806         PR middle-end/36227
 807         * fold-const.c (fold_sign_changed_comparison): Do not allow
 808         changes in pointer-ness.
 809
 810 2008-05-12  Kaz Kojima  <kkojima@gcc.gnu.org>
 811
 812         PR target/24713
 813         * config/sh/sh.c (sh_expand_prologue): Don't clear
 814         RTX_FRAME_RELATED_P for push insns.
 815
 816 2008-05-12  Andy Hutchinson  <hutchinsonandy@aim.com>
 817
 818         * config/avr/avr.h (MAX_OFILE_ALIGNMENT): Define.
 819
 820 2008-05-12  Anatoly Sokolov <aesok@post.ru>
 821
 822         * config/avr/avr.h (machine_function): Add 'is_leaf' field.
 823         * config/avr/avr.c (avr_regs_to_save): Compute 'machine->is_leaf'.
 824         Use 'machine->is_leaf' instead of 'leaf_func_p'.
 825
 826 2008-05-12  H.J. Lu  <hongjiu.lu@intel.com>
 827
 828         * config/i386/sse.md (*sse_concatv4sf): Renamed to ...
 829         (*vec_concatv4sf_sse): This.
 830         (*sse2_concatv2si): Renamed to ...
 831         (*vec_concatv2si_sse2): This.
 832         (*sse1_concatv2si): Renamed to ...
 833         (*vec_concatv2si_sse): This.
 834         (*vec_concatv2di_rex): Renamed to ...
 835         (*vec_concatv2di_rex64): This.
 836         (*vec_concatv2si_sse4_1): New.
 837         (*vec_concatv2di_rex64_sse4_1): Likewise.
 838
 839 2008-05-12  Uros Bizjak  <ubizjak@gmail.com>
 840
 841         PR rtl-optimization/36111
 842         * recog.c (validate_replace_rtx_1): Unshare new RTL expression
 843         that was created for swappable operands.
 844
 845 2008-05-12  Samuel Tardieu  <sam@rfc1149.net>
 846
 847         PR ada/36001
 848         * Makefile.in: Substitute GNATMAKE and GNATBIND.
 849         * configure.ac: Add call to ACX_PROG_GNAT.
 850
 851 2008-05-11  Volker Reichelt  <v.reichelt@netcologne.de>
 852
 853         * optc-gen.awk: Fix comment typo.
 854
 855 2008-05-11  Aaron W. LaFramboise  <aaronavay62@aaronwl.com>
 856
 857         * pretty-print.c (pp_integer_with_precision): Use
 858         HOST_LONG_LONG_FORMAT.
 859
 860 2008-05-10  Kenneth Zadeck  <zadeck@naturalbridge.com>
 861
 862         * gcse.c (store_killed_in_insn): Negated call to RTL_CONST_CALL_P.
 863
 864 2008-05-10  H.J. Lu  <hongjiu.lu@intel.com>
 865
 866         * config/i386/i386.c (bdesc_ptest): Removed.
 867         (ix86_builtin_type): Add INT_FTYPE_V2DI_V2DI_PTEST.
 868         (bdesc_args): Add __builtin_ia32_ptestz128,
 869         __builtin_ia32_ptestc128 and __builtin_ia32_ptestnzc128.
 870         (ix86_init_mmx_sse_builtins): Updated.
 871         (ix86_expand_args_builtin): Handle INT_FTYPE_V2DI_V2DI_PTEST.
 872         (ix86_expand_builtin): Updated.
 873
 874 2008-05-10  Richard Sandiford  <rdsandiford@googlemail.com>
 875
 876         * tree-cfg.c (valid_fixed_convert_types_p): New function.
 877         (verify_gimple_expr): Handle FIXED_CONVERT_EXPR.
 878
 879 2008-05-10  Uros Bizjak  <ubizjak@gmail.com>
 880
 881         * value-prof.c (interesting_stringop_to_profile): Do not
 882         return early for BUILT_IN_MEMPCPY.
 883
 884 2008-05-09  H.J. Lu  <hongjiu.lu@intel.com>
 885
 886         * calls.c (expand_call): Don't use callgraph to increase
 887         preferred_stack_boundary.
 888
 889         * cgraph.h (cgraph_rtl_info): Use unsigned on
 890         preferred_incoming_stack_boundary.
 891
 892         * final.c (rest_of_clean_state): Use unsigned on
 893         preferred_stack_boundary.
 894
 895 2008-05-09  Tom Tromey  <tromey@redhat.com>
 896
 897         PR preprocessor/22231:
 898         * c-opts.c (sanitize_cpp_opts): Disallow -MG if compilation is
 899         proceeding.
 900
 901 2008-05-09  Uros Bizjak  <ubizjak@gmail.com>
 902
 903         PR tree-optimization/36129
 904         * tree-ssa-ccp.c: Include value-prof.h.
 905         (execute_fold_all_builtins): Call gimple_remove_stmt_histograms if
 906         built-in function was folded to a constant.
 907         * Makefile.in (tree-ssa-ccp.c): Depend on value-prof.h
 908
 909 2008-05-09  Jan Sjodin  <jan.sjodin@amd.com>
 910             Sebastian Pop  <sebastian.pop@amd.com>
 911
 912         * tree-scalar-evolution.c: Document instantiate_scev.
 913         (instantiate_parameters_1): Renamed instantiate_scev_1.
 914         Don't use the same loop for instantiation_loop and evolution_loop.
 915         (instantiate_scev): New.
 916         (instantiate_parameters): Moved...
 917         (resolve_mixers): Update call to instantiate_scev_1 to pass the
 918         same loop twice.  Maintains the semantics for this function.
 919         * tree-scalar-evolution.h (instantiate_scev): Declare.
 920         (instantiate_parameters): ...here.  Now static inline.
 921         * tree-data-ref.c (dr_analyze_indices): Call instantiate_scev
 922         instead of resolve_mixers.
 923
 924 2008-05-09  Maxim Kuvyrkov  <maxim@codesourcery.com>
 925
 926         * rtl-factoring.c (collect_pattern_seqs): Fix typo.
 927
 928 2008-05-09  Tomas Bily  <tbily@suse.cz>
 929
 930         * config/pa/pa.c (reloc_needed): Use CASE_CONVERT.
 931         * tree-cfg.c (verify_expr, verify_gimple_expr): Likewise.
 932         * tree-ssa-structalias.c (get_constraint_for): Likewise.
 933         * c-common.c (c_common_truthvalue_conversion): Likewise.
 934         * tree-object-size.c (compute_object_offset): Likewise.
 935         * tree-inline.c (estimate_num_insns_1): Likewise.
 936         * varasm.c (const_hash_1, compare_constant, copy_constant)
 937         (compute_reloc_for_constant, output_addressed_constants)
 938         (initializer_constant_valid_p): Likewise.
 939         * c-omp.c (check_omp_for_incr_expr): Likewise.
 940         * gimplify.c (gimplify_expr): Likewise.
 941         * c-typeck.c (c_finish_return): Likewise.
 942         * tree-vectorizer.c (supportable_widening_operation)
 943         (supportable_narrowing_operation): Likewise.
 944         * c-pretty-print.c (pp_c_cast_expression, pp_c_expression): Likewise.
 945         * matrix-reorg.c (can_calculate_expr_before_stmt): Likewise.
 946         * expr.c (highest_pow2_factor, expand_expr_real_1): Likewise.
 947         * dwarf2out.c (loc_descriptor_from_tree_1, add_bound_info)
 948         (descr_info_loc): Likewise.
 949         * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Likewise.
 950         * fold-const.c (operand_equal_p, make_range, extract_muldiv_1)
 951         (fold_unary): Likewise.
 952         * builtins.c (get_pointer_alignment): Likewise.
 953         * tree-scalar-evolution.c (interpret_rhs_modify_stmt)
 954         (instantiate_parameters_1): Likewise.
 955         * tree.c (expr_align, stabilize_reference): Likewise.
 956         * tree-pretty-print.c (dump_generic_node, op_prio): Likewise.
 957         * tree-ssa-loop-niter.c (derive_constant_upper_bound): Likewise.
 958         * convert.c (strip_float_extensions): Use CONVERT_EXPR_P.
 959         * tree-ssa-threadedge.c (simplify_control_stmt_condition): Likewise.
 960         * config/alpha/alpha.c (va_list_skip_additions): Likewise.
 961         * c-common.c (c_alignof_expr, check_function_arguments_recurse):
 962         Likewise.
 963         * tree-ssa.c (tree_ssa_useless_type_conversion): Likewise.
 964         * varasm.c (initializer_constant_valid_p, output_constant): Likewise.
 965         * tree-ssa-forwprop.c (get_prop_source_stmt, can_propagate_from)
 966         (forward_propagate_addr_expr_1, forward_propagate_addr_expr)
 967         (forward_propagate_comparison)
 968         (tree_ssa_forward_propagate_single_use_vars): Likewise.
 969         * cfgexpand.c (discover_nonconstant_array_refs_r): Likewise.
 970         * emit-rtl.c (component_ref_for_mem_expr)
 971         (set_mem_attributes_minus_bitpos): Likewise.
 972         * tree-ssa-phiopt.c (conditional_replacement): Likewise.
 973         * gimplify.c (gimplify_conversion, goa_lhs_expr_p, gimplify_expr):
 974         Likewise.
 975         * c-typeck.c (default_function_array_conversion, build_indirect_ref)
 976         (build_function_call, pointer_diff, build_compound_expr)
 977         (c_finish_return): Likewise.
 978         * tree-vect-analyze.c (vect_determine_vectorization_factor): Likewise.
 979         * matrix-reorg.c (get_inner_of_cast_expr, may_flatten_matrices_1):
 980         Likewise.
 981         * tree-ssa-ifcombine.c (recognize_single_bit_test): Likewise.
 982         * expr.c (is_aligning_offset): Likewise.
 983         * tree-ssa-alias.c (is_escape_site): Likewise.
 984         * tree-stdarg.c (va_list_counter_bump, check_va_list_escapes)
 985         (check_all_va_list_escapes): Likewise.
 986         * tree-ssa-loop-ivopts.c (determine_base_object)
 987         (determine_common_wider_type): Likewise.
 988         * dojump.c (do_jump): Likewise.
 989         * tree-ssa-sccvn.c (simplify_unary_expression): Likewise.
 990         * tree-gimple.c (is_gimple_cast): Likewise.
 991         * fold-const.c (decode_field_reference, )
 992         (fold_sign_changed_comparison, fold_unary, fold_comparison)
 993         (fold_binary): Likewise.
 994         * tree-ssa-alias-warnings.c (find_alias_site_helper)
 995         (already_warned_in_frontend_p): Likewise.
 996         * builtins.c (get_memory_rtx, fold_builtin_next_arg): Likewise.
 997         * tree.c (really_constant_p, get_unwidened): Likewise.
 998         * tree-ssa-loop-niter.c (expand_simple_operations): Likewise.
 999         * tree-ssa-loop-im.c (rewrite_bittest): Likewise.
1000         * tree-vrp.c (register_edge_assert_for_2, register_edge_assert_for_1):
1001         Likewise.
1002         * tree.h (STRIP_NOPS, STRIP_SIGN_NOPS, STRIP_TYPE_NOPS): Use
1003         CONVERT_EXPR_P.
1004         (CONVERT_EXPR_P): Define.
1005         (CASE_CONVERT): Define.
1006
1007 2008-05-08  Kenneth Zadeck  <zadeck@naturalbridge.com>
1008
1009         PR middle-end/36117
1010         * dce.c (deletable_insn_p): Do not delete calls if df_in_progress.
1011         (delete_unmarked_insns): When deleting a call, call
1012         delete_unreachable_blocks.
1013         * rtl.texi (RTL_CONST_CALL_P, RTL_PURE_CALL_P,
1014         RTL_CONST_OR_PURE_CALL_P, RTL_LOOPING_CONST_OR_PURE_CALL_P): Fixed doc.
1015
1016 2008-05-08  Richard Guenther  <rguenther@suse.de>
1017
1018         * doc/invoke.texi (-fdump-tree-salias): Remove documentation.
1019         (-ftree-salias): Likewise.
1020         (salias-max-implicit-fields): Remove param documentation.
1021         (salias-max-array-elements): Likewise.
1022         * tree-pass.h (pass_create_structure_vars): Remove.
1023         * params.h (SALIAS_MAX_IMPLICIT_FIELDS): Remove.
1024         (SALIAS_MAX_ARRAY_ELEMENTS): Likewise.
1025         * tree-ssa-alias.c (create_structure_vars): Remove.
1026         (gate_structure_vars): Likewise.
1027         (pass_create_structure_vars): Likewise.
1028         (gate_build_alias): Likewise.
1029         (pass_build_alias): Adjust to run always and dump the function.
1030         * common.opt (ftree-salias): Hide.
1031         * passes.c (init_optimization_passes): Remove
1032         pass_create_structure_vars, adjust comment.
1033         * params.def (PARAM_SALIAS_MAX_IMPLICIT_FIELDS): Remove.
1034         (PARAM_SALIAS_MAX_ARRAY_ELEMENTS): Likewise.
1035         * opts.c (decode_options): Do not set flag_tree_salias.
1036         (common_handle_option): Add OPT_ftree_salias to the backward
1037         compatibility section.
1038
1039 2008-05-08  Richard Guenther  <rguenther@suse.de>
1040
1041         * tree-flow-inline.h (var_can_have_subvars): Move ...
1042         * tree-ssa-structalias.c (var_can_have_subvars): ... here.
1043         * tree-flow.h (var_can_have_subvars): Remove.
1044         (push_fields_onto_fieldstack): Remove.
1045         (sort_fieldstack): Likewise.
1046         (struct fieldoff): Move ...
1047         * tree-ssa-structalias.c (struct fieldoff): ... here.  Remove
1048         alias_set and base_for_components fields.
1049         (sort_fieldstack): Make static.
1050         (push_fields_onto_fieldstack): Likewise.  Remove code that
1051         handles anything but RECORD_TYPEs.  Remove alias_set and
1052         base_for_components handling.
1053         (create_variable_info_for): Adjust.
1054
1055 2008-05-08  Seongbae Park  <seongbae.park@gmail.com>
1056
1057         * common.opt (Wframe-larger-than=): Shorten the help message
1058         to one line.
1059         * doc/invoke.texi (Wframe-larger-than=): Add more description.
1060
1061 2008-05-08  Rafael Espindola  <espindola@google.com>
1062
1063         * tree-complex.c (expand_complex_div_wide): Don't create CONDs that
1064         trap.
1065         * tree-gimple.c (is_gimple_condexpr): Check that the expression doesn't
1066         trap and that both operands are gimple values.
1067         (canonicalize_cond_expr_cond): Use is_gimple_condexpr.
1068         * gcc/tree-eh.c (tree_could_trap_p): Correctly detect if a comparison
1069         is a fp operation.
1070
1071 2008-05-08  Richard Sandiford  <rsandifo@nildram.co.uk>
1072
1073         * read-rtl.c (join_c_conditions): Return the first string if the
1074         two strings are equal.
1075
1076 2008-05-08  Richard Sandiford  <rsandifo@nildram.co.uk>
1077
1078         * gensupport.h (pred_data): Add a "num_codes" field.
1079         (add_predicate_code): Declare.
1080         * gensupport.c (add_predicate_code): New function.
1081         (std_pred_table): Add an "allows_const_p" field.
1082         (std_preds): Set this field for predicates that allow RTX_CONST_OBJs.
1083         Remove the (incomplete) list of such codes from the codes field.
1084         (init_predicate_table): Use add_predicate_code.  Add all
1085         RTX_CONST_OBJs if allows_const_p is true.
1086         * genrecog.c (process_define_predicate): Use add_predicate_code.
1087
1088 2008-05-08  David Daney  <ddaney@avtrex.com>
1089             Richard Sandiford  <rsandifo@nildram.co.uk>
1090
1091         * config/mips/mips.md (mips_expand_compare_and_swap_12): Handle
1092         special case of constant zero operands.
1093         * config/mips/mips.c (mips_expand_compare_and_swap_12): Zero extend
1094         old and new values.  Special case constant zero values.
1095         * config/mips/mips.h (MIPS_COMPARE_AND_SWAP): Skip 'sync' if compare
1096         fails.
1097         (MIPS_COMPARE_AND_SWAP_12): Handle constant zero operands.
1098         (MIPS_COMPARE_AND_SWAP_12_0): New macro.
1099
1100 2008-05-08  Paolo Bonzini  <bonzini@gnu.org>
1101
1102         PR target/36090
1103         * simplify-rtx.c (simplify_plus_minus): Create CONST of
1104         similar RTX_CONST_OBJ before CONST_INT.
1105
1106 2008-05-08  Steve Ellcey  <sje@cup.hp.com>
1107
1108         * stmt.c (expand_stack_restore): Change sa mode if needed.
1109
1110 2008-05-08  Richard Guenther  <rguenther@suse.de>
1111
1112         * config/i386/i386-protos.h (ix86_return_in_memory): Adjust
1113         return type to bool.
1114         (ix86_sol10_return_in_memory): Likewise.
1115         (ix86_i386elf_return_in_memory): Likewise.
1116         (ix86_i386interix_return_in_memory): Likewise.
1117         * config/i386/i386.c (ix86_return_in_memory): Likewise.
1118         (ix86_sol10_return_in_memory): Likewise.
1119         (ix86_i386elf_return_in_memory): Likewise.
1120         (ix86_i386interix_return_in_memory): Likewise.
1121
1122 2008-05-08  Kai Tietz  <kai.tietz@onevision.com>
1123
1124         PR bootstrap/36180
1125         * calls.c (compute_argument_block_size ): Add ATTRIBUTE_UNUSED to
1126         fndecl argument.
1127         (emit_library_call_value_1): Add ATTRIBUTE_UNUSED to variable fndecl.
1128         * target-def.h: Check that TARGET_RETURN_IN_MEMORY isn't
1129         declared in front.
1130
1131 2008-05-08  Richard Guenther  <rguenther@suse.de>
1132
1133         * tree-data-ref.c (dr_analyze_alias): Do not set DR_SUBVARS.
1134         * tree-data-ref.h (struct dr_alias): Remove subvars field.
1135         (DR_SUBVARS): Remove.
1136         * tree-dfa.c (dump_subvars_for): Remove.
1137         (debug_subvars_for): Likewise.
1138         (dump_variable): Do not dump subvars.
1139         (remove_referenced_var): Do not remove subvars.
1140         * tree-flow-inline.h (clear_call_clobbered): SFTs no longer exist.
1141         (lookup_subvars_for_var): Remove.
1142         (get_subvars_for_var): Likewise.
1143         (get_subvars_at): Likewise.
1144         (get_first_overlapping_subvar): Likewise.
1145         (overlap_subvar): Likewise.
1146         * tree-flow.h (subvar_t): Remove.
1147         (struct var_ann_d): Remove subvars field.
1148         * tree-ssa-alias.c (mark_aliases_call_clobbered): Remove queued
1149         argument.  Remove special handling of SFTs.
1150         (compute_tag_properties): Likewise.
1151         (set_initial_properties): Likewise.
1152         (compute_call_clobbered): Likewise.
1153         (count_mem_refs): Likewise.
1154         (compute_memory_partitions): Likewise.
1155         (compute_flow_insensitive_aliasing): Likewise.
1156         (setup_pointers_and_addressables): Likewise.
1157         (new_type_alias): Likewise.
1158         (struct used_part): Remove.
1159         (used_portions): Likewise.
1160         (struct used_part_map): Likewise.
1161         (used_part_map_eq): Likewise.
1162         (used_part_map_hash): Likewise.
1163         (free_used_part_map): Likewise.
1164         (up_lookup): Likewise.
1165         (up_insert): Likewise.
1166         (get_or_create_used_part_for): Likewise.
1167         (create_sft): Likewise.
1168         (create_overlap_variables_for): Likewise.
1169         (find_used_portions): Likewise.
1170         (create_structure_vars): Likewise.
1171         * tree.def (STRUCT_FIELD_TAG): Remove.
1172         * tree.h (MTAG_P): Adjust.
1173         (struct tree_memory_tag): Remove base_for_components and
1174         unpartitionable flags.
1175         (struct tree_struct_field_tag): Remove.
1176         (SFT_PARENT_VAR): Likewise.
1177         (SFT_OFFSET): Likewise.
1178         (SFT_SIZE): Likewise.
1179         (SFT_NONADDRESSABLE_P): Likewise.
1180         (SFT_ALIAS_SET): Likewise.
1181         (SFT_UNPARTITIONABLE_P): Likewise.
1182         (SFT_BASE_FOR_COMPONENTS_P): Likewise.
1183         (union tree_node): Remove sft field.
1184         * alias.c (get_alias_set): Remove special handling of SFTs.
1185         * print-tree.c (print_node): Remove handling of SFTs.
1186         * tree-dump.c (dequeue_and_dump): Likewise.
1187         * tree-into-ssa.c (mark_sym_for_renaming): Likewise.
1188         * tree-nrv.c (dest_safe_for_nrv_p): Remove special handling of SFTs.
1189         * tree-predcom.c (set_alias_info): Do not set subvars.
1190         * tree-pretty-print.c (dump_generic_node): Do not handle SFTs.
1191         * tree-ssa-loop-ivopts.c (get_ref_tag): Likewise.
1192         * tree-ssa-operands.c (access_can_touch_variable): Likewise.
1193         (add_vars_for_offset): Remove.
1194         (add_virtual_operand): Remove special handling of SFTs.
1195         (add_call_clobber_ops): Likewise.
1196         (add_call_read_ops): Likewise.
1197         (get_asm_expr_operands): Likewise.
1198         (get_modify_stmt_operands): Likewise.
1199         (get_expr_operands): Likewise.
1200         (add_to_addressable_set): Likewise.
1201         * tree-ssa.c (verify_ssa_name): Do not handle SFTs.
1202         * tree-tailcall.c (suitable_for_tail_opt_p): Likewise.
1203         * tree-vect-transform.c (vect_create_data_ref_ptr): Do not set subvars.
1204         * tree.c (init_ttree): Remove STRUCT_FIELD_TAG initialization.
1205         (tree_code_size): Remove STRUCT_FIELD_TAG handling.
1206         (tree_node_structure): Likewise.
1207         * tree-ssa-structalias.c (set_uids_in_ptset): Remove special
1208         handling of SFTs.
1209         (find_what_p_points_to): Likewise.
1210
1211 2008-05-08  Sa Liu  <saliu@de.ibm.com>
1212
1213         * config/spu/spu.md: Fixed subti3 pattern.
1214
1215 2008-05-08  Richard Guenther  <rguenther@suse.de>
1216
1217         PR middle-end/36154
1218         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Make
1219         sure to create a representative for trailing arrays for PTA.
1220
1221 2008-05-08  Richard Guenther  <rguenther@suse.de>
1222
1223         PR middle-end/36172
1224         * fold-const.c (operand_equal_p): Two objects which types
1225         differ in pointerness are not equal.
1226
1227 2008-05-08  Kai Tietz  <kai.tietz@onevision.com>
1228
1229         * calls.c (compute_argument_block_size): Add argument tree fndecl.
1230         (OUTGOING_REG_PARM_STACK_SPACE): Add function type argument.
1231         (emit_library_call_value_1): Add new variable fndecl initialized by
1232         NULL_TREE. It should be the decl type of orgfun, but this information
1233         seems not to be available here, so it uses the default calling abi.
1234         * config/arm/arm.c (arm_return_in_memory): Add fntype argumen.
1235         * config/arm/arm.h (RETURN_IN_MEMORY): Replace RETURN_IN_MEMORY
1236         by TARGET_RETURN_IN_MEMORY.
1237         * config/i386/i386-interix.h: Likewise.
1238         * config/i386/i386.h: Likewise.
1239         * config/i386/i386elf.h: Likewise.
1240         * config/i386/ptx4-i.h: Likewise.
1241         * config/i386/sol2-10.h: Likewise.
1242         * config/i386/sysv4.h: Likewise.
1243         * config/i386/vx-common.h: Likewise.
1244         * config/cris/cris.h: Removed #if 0 clause.
1245         * config/arm/arm-protos.h (arm_return_in_memory): Add fntype argument.
1246         * config/i386/i386-protos.h (ix86_return_in_memory): Add fntype
1247         argument.
1248         (ix86_sol10_return_in_memory): Likewise.
1249         (ix86_i386elf_return_in_memory): New.
1250         (ix86_i386interix_return_in_memory): New.
1251         * config/mt/mt-protos.h (mt_return_in_memory): New.
1252         * config/mt/mt.c: Likewise.
1253         * config/mt/mt.h (OUTGOING_REG_PARM_STACK_SPACE): Add FNTYPE argument.
1254         (RETURN_IN_MEMORY):  Replace by TARGET_RETURN_IN_MEMORY.
1255         * config/bfin/bfin.h: Likewise.
1256         * config/bfin/bfin-protos.h (bfin_return_in_memory): Add fntype
1257         argument.
1258         * config/bfin/bfin.c: Likewise.
1259         * config/pa/pa.h (OUTGOING_REG_PARM_STACK_SPACE): Add FNTYPE argument.
1260         * config/alpha/unicosmk.h: Likewise.
1261         * config/i386/cygming.h: Likewise.
1262         * config/iq2000/iq2000.h: Likewise.
1263         * config/mips/mips.h: Likewise.
1264         * config/mn10300/mn10300.h: Likewise.
1265         * config/rs6000/rs6000.h: Likewise.
1266         * config/score/score.h: Likewise.
1267         * config/spu/spu.h: Likewise.
1268         * config/v850/v850.h: Likewise.
1269         * defaults.h: Likewise.
1270         * doc/tm.texi (OUTGOING_REG_PARM_STACK_SPACE): Adjust documentation.
1271         * expr.c (emit_block_move): Adjust use of
1272         OUTGOING_REG_PARM_STACK_SPACE.
1273         * function.c (STACK_DYNAMIC_OFFSET): Adjust use of
1274         OUTGOING_REG_PARM_STACK_SPACE.
1275         * targhooks.c (default_return_in_memory): Remove RETURN_IN_MEMORY.
1276
1277 2008-05-08  Jakub Jelinek  <jakub@redhat.com>
1278
1279         * tree-parloops.c (create_parallel_loop): Set OMP_RETURN_NOWAIT
1280         on OMP_RETURN for OMP_FOR.
1281
1282         PR debug/35896
1283         * dwarf2out.c (dw_expand_expr, common_check): Removed.
1284         (fortran_common): New function.
1285         (gen_variable_die): Call fortran_common instead of common_check,
1286         adjust for it returning tree instead of rtx.  Formatting.
1287
1288 2008-05-07  Kenneth Zadeck  <zadeck@naturalbridge.com>
1289
1290         PR rtl/7335
1291         PR rtl/33826
1292         * see.c (see_copy_insn): Copy new pure const attributes for new call.
1293         * c-decl.c (merge_decls): Ditto.
1294         * postreload.c (record_opr_changes): Change CONST_OR_PURE_CALL_P
1295         to RTL_CONST_OR_PURE_CALL_P.
1296         * tree.c (define_local_buitin): Rename DECL_IS_PURE to DECL_PURE_P.
1297         Initialized DECL_LOOPING_CONST_PURE.
1298         (process_call_operands): Set tree_side_effects properly.
1299         * tree.h (TREE_READONLY_DECL_P): Removed.
1300         (DECL_IS_PURE): Renamed to DECL_PURE_P.
1301         (DECL_LOOPING_OR_CONST_P): New macro.
1302         (struct tree_function_decl): Added looping_const_or_pure_p.
1303         (ECF_*) Renumbered.
1304         (ECF_LOOPING_OR_CONST_P): New macro.
1305         * rtlanal.c (pure_const_p): Removed.
1306         * builtins.c (expand_builtin): Rename DECL_IS_PURE to DECL_PURE_P.
1307         * reorg.c (delete_prior_computation) Changed CONST_OR_PURE_CALL_P
1308         to RTL_CONST_CALL_P.
1309         * ipa-pure-const.c (pure_const_state_e): Added looping field.
1310         (check_decl, check_tree, check_call, scan_function): Initialize
1311         looping.
1312         (analyze_function): Rename DECL_IS_PURE to DECL_PURE_P.
1313         (static_execute): Set looping true for recursive functions.
1314         Undo setting state to IPA_NEITHER for recursive functions.
1315         * cse.c (cse_insn):
1316         * ifcvt.c (noce_can_store_speculate_p): Changed
1317         CONST_OR_PURE_CALL_P and pure_call_p to RTL_CONST_CALL_P or
1318         RTL_CONST_OR_PURE_CALL_P.
1319         * dse.c (scan_insn): Ditto.
1320         * local-alloc.c (validate_equiv_mem, memref_used_between_p): Ditto.
1321         * gcse.c (oprs_not_seen_p) Changed CONST_OR_PURE_CALL_P to
1322         RTL_CONST_OR_PURE_CALL_P.
1323         (store_killed_in_insn): Changed CONST_OR_PURE_CALL_P and
1324         pure_call_p to RTL_CONST_CALL_P.
1325         * gimplify.c (gimplify_call_expr): Clear side effects for
1326         non-looping pure and constant calls.
1327         * calls.c (emit_call_1): Set rtl flags from ecf flags.
1328         (flags_from_decl_or_type): Set ecf flags from decl flags.
1329         (initialize_argument_information): Turn off
1330         ECF_LOOPING_CONST_OR_PURE when turning off ECF_CONST.
1331         Change const to pure if callee_copies is true rather than just
1332         turning off const.
1333         (expand_call): Turn off ECF_LOOPING_PURE_CONST_CALL and remove old
1334         way of marking pure calls.
1335         (emit_library_call_value_1): Turn off ECF_LOOPING_PURE_CONST_CALL.
1336         Remove hack that was supposed to fix pr7335 and remove old
1337         way of marking pure calls.
1338         * emit-rtl.c (emit_copy_of_insn_after): Copy RTL_CONST_CALL_P,
1339         RTL_PURE_CALL_P, RTL_LOOPING_CONST_OR_PURE_CALL_P.
1340         * cselib.c (cselib_process_insn): Changed CONST_OR_PURE_CALL_P to
1341         RTL_CONST_OR_PURE_CALL_P.
1342         * tree-ssa-pre.c (can_value_number_call): Fixed spacing.
1343         * loop-invariant.c (find_exits, find_invariant_bb): Changed
1344         CONST_OR_PURE_CALL_P to RTL_CONST_OR_PURE_CALL_P.
1345         * sched-deps.c (schedule_analyze): Ditto.
1346         * rtl.h (struct rtx_def): Use call field, unchanging field, and
1347         return_val field of calls to represent pure and const function info.
1348         (CONST_OR_PURE_CALL_P): Deleted macro.
1349         (RTL_CONST_CALL_P, RTL_PURE_CALL_P,
1350         RTL_LOOPING_CONST_OR_PURE_CALL_P, RTL_CONST_OR_PURE_P): New macros.
1351         * tree-inline.c (copy_body_r): Changed TREE_READONLY_DECL_P to
1352         TREE_READONLY.
1353         * tree-optimize.c (execute_fixup_cfg): Added test for
1354         ECF_LOOPING_CONST_OR_PURE.
1355         * c-common.c (handle_pure_attribute): Changed DECL_IS_PURE to
1356         DECL_PURE_P.
1357         * tree-cfg.c (update_call_expr_flags): Do not clear tree side
1358         effects for looping pure or const calls.
1359         (verify_gimple_expr): Added verification code.
1360         * config/alpha/alpha.c (alpha_legitimize_address,
1361         alpha_emit_xfloating_libcall): Changed CONST_OR_PURE_CALL_P to
1362         RTL_CONST_CALL_P.
1363         * config/s390/s390.c (s390_emit_tls_call_insn): Ditto.
1364         * config/rs6000/rs6000.c (rs6000_legitimize_tls_address): Ditto.
1365         * config/mips/mips.c (mips_call_tls_get_addr): Ditto.
1366         * cfgrtl.c (need_fake_edge_p): Changed CONST_OR_PURE_CALL_P to
1367         RTL_CONST_OR_PURE_CALL_P.
1368         * dce.c (deletable_insn_p): Allow non looping, non sibling, pure
1369         and const calls to be deleted.
1370
1371 2008-05-07  Uros Bizjak  <ubizjak@gmail.com>
1372
1373         PR target/35714
1374         * config/i386/mmx.md (mmx_subv2sf3): New expander.
1375         (*mmx_subv2sf3): Rename from mmx_subv2sf3 insn pattern.
1376         (*mmx_eqv2sf3): Rename from mmx_eqv2sf3 insn pattern.
1377         (mmx_eqv2sf3): New expander.  Use ix86_fixup_binary_operands_no_copy
1378         to handle nonimmediate operands.
1379         (*mmx_paddwd): Rename from mmx_paddwd insn pattern.
1380         (mmx_paddwd): New expander.  Use ix86_fixup_binary_operands_no_copy
1381         to handle nonimmediate operands.
1382         (*mmx_pmulhrwv4hi3): Rename from mmx_pmulhrwv4hi3 insn pattern.
1383         (mmx_pmulhrwv4hi3): New expander.  Use
1384         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1385         (*sse2_umulv1siv1di3): Rename from sse2_umulv1siv1di3 insn pattern.
1386         (sse2_umulv1siv1di3): New expander.  Use
1387         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1388         (*mmx_eq<mode>3): Rename from mmx_eq<mode>3 insn pattern.
1389         (mmx_eq<mode>3): New expander.  Use
1390         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1391         (*mmx_uavgv8qi3): Rename from mmx_uavgv8qi3 insn pattern.
1392         (mmx_uavgv8qi3): New expander.  Use
1393         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1394         (*mmx_uavgv4hi3): Rename from mmx_uavgv4hi3 insn pattern.
1395         (mmx_uavgv4hi3): New expander.  Use
1396         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1397
1398         * config/i386/sse.md
1399         (sse_movhlps_exp): New expander.  Use ix86_fixup_binary_operands
1400         to handle nonimmediate operands.
1401         (sse_movlhps_exp): New expander.  Use ix86_fixup_binary_operands
1402         to handle nonimmediate operands.
1403         (sse_loadhps_exp): New expander.  Use ix86_fixup_binary_operands
1404         to handle nonimmediate operands.
1405         (sse_loadlps_exp): New expander.  Use ix86_fixup_binary_operands
1406         to handle nonimmediate operands.
1407         (sse2_unpckhpd_exp): New expander.  Use
1408         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1409         (sse2_unpcklpd_exp): New expander.  Use
1410         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1411         (sse_loadhpd_exp): New expander.  Use ix86_fixup_binary_operands
1412         to handle nonimmediate operands.
1413         (sse_loadlpd): New expander.  Use ix86_fixup_binary_operands
1414         to handle nonimmediate operands.
1415         (*sse2_<plusminus_insn><mode>3): Rename from
1416         sse2_<plusminus_insn><mode>3 insn pattern.
1417         (sse2_<plusminus_insn><mode>3): New expander.  Use
1418         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1419         (*sse2_umulv2siv2di3): Rename from sse2_umulv2siv2di3 insn pattern.
1420         (sse2_umulv2siv2di3): New expander.  Use
1421         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1422         (*sse4_1_mulv2siv2di3): Rename from sse4_1_mulv2siv2di3 insn pattern.
1423         (sse4_1_mulv2siv2di3): New expander.  Use
1424         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1425         (*sse2_pmaddwd): Rename from sse2_pmaddwd insn pattern.
1426         (sse2_pmaddwd): New expander.  Use
1427         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1428         (*sse2_eq<mode>3): Rename from sse2_eq<mode>3 insn pattern.
1429         (sse2_eq<mode>3): New expander.  Use
1430         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1431         (*sse4_1_eqv2di3): Rename from sse4_1_eqv2di3 insn pattern.
1432         (sse4_1_eqv2di3): New expander.  Use
1433         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1434         (*sse2_uavgv16qi3): Rename from sse2_uavgv16qi3 insn pattern.
1435         (sse2_uavgv16qi3): New expander.  Use
1436         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1437         (*sse2_uavgv16qi3): Rename from sse2_uavgv16qi3 insn pattern.
1438         (sse2_uavgv16qi3): New expander.  Use
1439         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1440         (*sse2_uavgv8hi3): Rename from sse2_uavgv8hi3 insn pattern.
1441         (sse2_uavgv8hi3): New expander.  Use
1442         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1443         (*ssse3_pmulhrswv8hi3): Rename from ssse3_pmulhrswv8hi3 insn pattern.
1444         (ssse3_pmulhrswv8hi3): New expander.  Use
1445         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1446         (*ssse3_pmulhrswv4hi3): Rename from ssse3_pmulhrswv4hi3 insn pattern.
1447         (ssse3_pmulhrswv4hi3): New expander.  Use
1448         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1449
1450         (<sse>_vm<plusminus_insn><mode>3): Do not use ix86_binary_operator_ok.
1451         (<sse>_vmmul<mode>3): Ditto.
1452         (divv4sf3): Do not use ix86_fixup_binary_operands_no_copy.
1453         (divv2df3): Ditto.
1454         (ssse3_pmaddubsw128): Use register_operand for operand 1.
1455         (ssse3_pmaddubsw): Ditto.
1456
1457         * config/i386/i386.c (struct_builtin_description)
1458         [IX86_BUILTIN_LOADHPS]: Use CODE_FOR_sse_loadhps_exp.
1459         [IX86_BUILTIN_STOREHPS]: Use CODE_FOR_sse_loadlps_exp.
1460         [IX86_BUILTIN_LOADHPD]: Use CODE_FOR_sse2_loadhpd_exp.
1461         [IX86_BUILTIN_LOADLPD]: Use CODE_FOR_sse2_loadlpd_exp.
1462         [IX86_BUILTIN_MOVHLPS]: Use CODE_FOR_sse_movhlps_exp.
1463         [IX86_BUILTIN_MOVLHPS]: Use CODE_FOR_sse_movlhps_exp.
1464         [IX86_BUILTIN_UNPCKHPD]: Use FOR_sse2_unpckhpd_exp.
1465         [IX86_BUILTIN_UNPCKLPD]: Use FOR_sse2_unpcklpd_exp.
1466         (ix86_fixup_binary_operands): Assert that src1
1467         and src2 must have the same mode when swapped.
1468         (ix86_expand_binop_builtin): Do not use ix86_fixup_binary_operands
1469         and ix86_binary_operator_ok.  Do not force operands in registers
1470         when optimizing.
1471
1472 2008-05-07  Jan Hubicka  <jh@suse.cz>
1473
1474         * cgraph.c (dump_cgraph_node): Update.
1475         * cgraph.h (cgraph_local_info): Break out inline summary.
1476         * cgraphunit.c (cgraph_process_new_functions): Use inliner analysis
1477         hook.
1478         * ipa-inline (inline_summary): New accestor function.
1479         (cgraph_clone_inlined_nodes, cgraph_check_inline_limits,
1480         cgraph_decide_inlining, compute_inline_parameters): Update.
1481         * ipa.c (cgraph_remove_unreachable_nodes): Remove statistics.
1482
1483 2008-05-07  Maxim Kuvyrkov  <maxim@codesourcery.com>
1484
1485         Cleanup ColdFire scheduling support and add V4 pipeline model.
1486
1487         * config/m68k/m68k.md (UNSPEC_TIE): New constant.
1488         (define_attr cpu): Add cfv4 value.
1489         (define_attr type, define_attr type1): Merge into a single 'type'
1490         attribute.  Update all uses.
1491         (define_attr opx_type, define_attr opy_type, define_attr opx_access):
1492         Rearrange and update.  Rename value 'reg' to 'Rn', add value 'FPn'.
1493         Update all uses.
1494         (define_attr opx_mem, define_attr opy_mem): Remove.
1495         (define_attr op_mem): Clean up, update comment.
1496         (define_attr size): Use specific values instead of general int.
1497         (define_attr guess, define_attr split): Remove.  Update all uses.
1498         (movdf_internal, tstsi_internal, tsthi_internal, tstqi_internal,
1499         tst<mode>_68881, pushexthisi_const, movsi_const0_68000_10,
1500         movsi_const0_68040_60, movsi_const0, movsi_cf, movstrictqi_cf,
1501         zero_extendhisi2_cf, zero_extendqisi2_cfv4, cfv4_extendhisi2,
1502         68k_extendhisi2, extendqihi2, cfv4_extendqisi2, 68k_extendqisi2,
1503         floatsi<mode>2_68881, ftrunc<mode>2_68881, ftrunc<mode>2_cf,
1504         fix<mode>qi2_68881, fix<mode>hi2_68881, fix<mode>si2_68881,
1505         adddi_dishl32, addsi3_5200, add<mode>3_floatsi_68881,
1506         add<mode>3_floathi_68881, add<mode>3_floatqi_68881,
1507         add<mode>3_68881, add<mode>3_cf, subdi_dishl32, subsi3,
1508         sub<mode>3_floatsi_68881, sub<mode>3_floathi_68881,
1509         sub<mode>3_floatqi_68881, sub<mode>3_68881, sub<mode>3_cf,
1510         mulhi3, mulhisi3, mulhisisi3_s, mulsi3_68020, mulsi3_cf,
1511         umulhisi3, mulhisisi3_z, mul<mode>3_floatsi_68881,
1512         mul<mode>3_floathi_68881, mul<mode>3_floatqi_68881, fmul<mode>3_cf,
1513         div<mode>3_cf, sqrt<mode>2_cf, abs<mode>2_cf, clzsi2,
1514         one_cmplsi2_5200, subreghi1ashrdi_const32, ashrsi3, lshrsi3,
1515         bsetmemqi, bsetmemqi_ext, bclrmemqi, bclrmemqi_ext,
1516         beq, bne, bgt, blt, bordered, bunordered, buneq, bunge, bungt, bunle,
1517         bunlt, bltgt, tablejump_internal, call, non_symbolic_call_value,
1518         symbolic_call_value_jsr, symbolic_call_value_bsr, link):
1519         Update or set attributes.
1520         (stack_tie): New fake instruction.
1521
1522         * config/m68k/m68k.h (TUNE_CFV4): New macro.
1523         (m68k_sched_attr_size): Update declaration.
1524         (m68k_sched_attr_type2): Remove.
1525         (m68k_sched_address_bypass_p, m68k_sched_indexed_address_bypass_p):
1526         Declare new bypass predicates.
1527
1528         * config/m68k/m68k.c (m68k_sched_issue_rate,
1529         m68k_sched_first_cycle_multipass_dfa_lookahead): Declare hook
1530         implementations.
1531         (TARGET_SCHED_ISSUE_RATE,
1532         TARGET_SCHED_FIRST_CYCLE_MULTIPASS_DFA_LOOKAHEAD): Override hooks.
1533         (override_options): Handle scheduling for ColdFire V4 core.
1534         (m68k_expand_prologue): Emit stack_tie.
1535         (enum attr_op_type): Split value 'OP_TYPE_REG' to 'OP_TYPE_RN' and
1536         'OP_TYPE_FPN'.  Update all uses.
1537         (sched_guess_p): Remove.
1538         (sched_address_type): Handle symbolic addresses.
1539         (sched_get_operand): New static function.
1540         (sched_operand_type): Merge into sched_attr_op_type.
1541         (sched_attr_op_type): Handle FP registers, handle quick constants,
1542         update.
1543         (m68k_sched_attr_opx_type, m68k_sched_attr_opy_type): Update.
1544         (m68k_sched_attr_size): Update.  Move logic to ...
1545         (sched_get_attr_size_int): New static function.
1546         (sched_get_opxy_mem_type): New static function.
1547         (m68k_sched_attr_op_mem): Update.
1548         (m68k_sched_attr_type2): Remove.
1549         (sched_cfv4_bypass_data): New static variable.
1550         (m68k_sched_adjust_cost): Handle ColdFire V4 bypass.
1551         (m68k_sched_issue_rate): Implement scheduler hook.
1552         (struct _sched_ib: enabled_p): New field.
1553         (m68k_sched_variable_issue): Update.  Handle V4.
1554         (SCHED_DUMP_TODO, SCHED_DUMP_DONE, SCHED_DUMP_NOTHING,
1555         sched_dump_class_func_t, sched_dump_split_class,
1556         sched_dump_dfa_guess_unit_code, sched_dump_dfa_state,
1557         sched_dump_dfa_class, m68k_sched_dump): Remove.
1558         (m68k_sched_first_cycle_multipass_dfa_lookahead): Implement scheduler
1559         hook.
1560         (m68k_sched_init_global): Remove statisctics dumping, introduce
1561         sanity check that all instructions have pipeline reservations.  Handle
1562         ColdFire V4 core.
1563         (m68k_sched_dfa_pre_advance_cycle, m68k_sched_dfa_post_advance_cycle):
1564         Handle ColdFire V4 core.
1565         (sched_mem_operand_p, sched_get_reg_operand, sched_get_mem_operand):
1566         New static functions.
1567         (m68k_sched_address_bypass_p): New bypass predicate.
1568         (sched_get_indexed_address_scale): New static function.
1569         (m68k_sched_indexed_address_bypass_p): New bypass predicate.
1570
1571         * cf.md: Update comments.
1572         (define_attr type2): Remove.  Use 'type' attribute instead.
1573         Update all uses.
1574         (cf_ib): Rename to cfv123_ib.  Update all uses.
1575         (cf_oep): Rename to cfv123_oep.  Update all uses.
1576         (cf_chr): Rename to cfv123_chr.  Update all uses.
1577         (cf_mem): Rename to cfv123_mem.  Update all uses.
1578         (cf_mac): Move to more appropriate place.
1579         (cfv123_guess): New automaton and cpu_unit.
1580         (cfv123_*, cfv12_*, cfv1_*, cfv2_*, cfv3_*): Use type attribute.
1581         Update uses of 'size' attribute.  Handle before reload scheduling.
1582         (cfv123_guess): New dummy reservation for unhandled instructions.
1583         (cfv4_*): Pipeline description of ColdFire V4 core.
1584         (ignore): New reservation to handle 'ignore' type.
1585
1586 2008-05-07  Ian Lance Taylor  <iant@google.com>
1587
1588         PR middle-end/36013
1589         * gimplify.c (find_single_pointer_decl_1): Don't look through
1590         indirections.
1591         (find_single_pointer_decl): Adjust comments.
1592
1593 2008-05-07  Jakub Jelinek  <jakub@redhat.com>
1594
1595         PR middle-end/36137
1596         * fold-const.c (fold_binary): Use STRIP_SIGN_NOPS instead of
1597         STRIP_NOPS on arguments even for MIN_EXPR and MAX_EXPR.
1598
1599         PR middle-end/36106
1600         * omp-low.c (expand_omp_atomic_pipeline): Load value using the
1601         integral type rather than floating point, then VIEW_CONVERT_EXPR
1602         to the floating point type.
1603
1604 2008-05-07  Uros Bizjak  <ubizjak@gmail.com>
1605
1606         * config/i386/i386.c (ix86_expand_copysign): Force non-zero constant
1607         TFmode op0 to register.
1608
1609 2008-05-07  Alan Modra  <amodra@bigpond.net.au>
1610
1611         * c-decl.c (grokdeclarator): Comment typo.
1612
1613 2008-05-06  Aldy Hernandez  <aldyh@redhat.com>
1614
1615         * tree-flow.h: Remove prototype for computed_goto_p.
1616         * tree-cfg.c (computed_goto_p): Make static.
1617
1618 2008-05-06  H.J. Lu  <hongjiu.lu@intel.com>
1619
1620         PR target/35657
1621         * config/i386/i386.c (contains_128bit_aligned_vector_p): Renamed to ...
1622         (contains_aligned_value_p): This.  Handle _Decimal128.
1623         (ix86_function_arg_boundary): Only align _Decimal128 to its
1624         natural boundary and handle it properly.
1625
1626 2008-05-06  Martin Jambor  <mjambor@suse.cz>
1627
1628         * ipa-cp.c (ipcp_method_orig_node): Renamed to ipcp_get_orig_node.
1629         (ipcp_method_is_cloned): Renamed to ipcp_node_is_clone
1630         (ipcp_method_set_orig_node): Removed.
1631         (ipcp_cval_get_cvalue_type): Removed.
1632         (ipcp_method_get_scale): Renamed to ipcp_get_node_scale.
1633         (ipcp_method_set_scale): Renamed to ipcp_set_node_scale.
1634         (ipcp_cval_set_cvalue_type): Removed.
1635         (ipcp_cval_get_cvalue): Removed.
1636         (ipcp_cval_set_cvalue): Removed.
1637         (ipcp_type_is_const): Renamed to ipcp_lat_is_const.
1638         (ipcp_cval_equal_cvalues): Renamed to ipcp_lats_are_equal
1639         (ipcp_lats_are_equal): Changed parameters to two ipcp_lattice's
1640         (ipcp_cval_meet): Renamed to ipa_lattice_meet
1641         (ipcp_cval_changed): Changed to use ipcp_lat_is_const
1642         (ipcp_method_cval): Renamed to ipcp_get_ith_lattice
1643         (ipcp_get_ith_lattice): Changed parameters.
1644         (ipcp_cval_compute): Renamed to ipcp_lattice_from_jfunc
1645         (ipcp_lattice_from_jfunc): Changed parameters.
1646         (ipcp_redirect): Local lattice pointer instead of lattice type variable.
1647         (ipcp_method_cval_print): Added temporary variable info.
1648         (ipcp_redirect): Removed already unused local variable caller.
1649         (ipcp_redirect): New temporary variable orig_callee_info
1650         (ipcp_redirect): Removed newly unused local variable callee.
1651         (ipcp_redirect): Removed (a bit confusing) local variable type.
1652         (ipcp_insert_stage): Added local variable info.
1653         (ipcp_cval_changed): Renamed to ipcp_lattice_changed, parameters
1654         renamed too
1655         (ipcp_formal_create): Removed.
1656         (ipcp_method_cval_set): Removed.
1657         (ipcp_propagate_stage): Renamed lattice variables.
1658         (ipcp_method_cval_set_cvalue_type): Removed.
1659         (ipcp_method_cval_print): Renamed to ipcp_print_all_lattices
1660         (ipcp_print_all_lattices): Changed printed strings to refer to
1661         lattices rather than cvals.
1662         (ipcp_method_cval_init): Renamed to ipcp_initialize_node_lattices
1663         (ipcp_propagate_const): Changed formal parameters.
1664         (build_const_val): Changed formal parameters.
1665         (ipcp_insert_stage): Removed useless variable cvalue
1666         (build_const_val): Changed formal parameters.
1667         (ipcp_method_compute_scale): Renamed to ipcp_compute_node_scale
1668         (ipcp_after_propagate): Renamed to ipcp_change_tops_to_bottom
1669         (ipcp_callsite_param_print): Renamed to ipcp_print_all_jump_functions
1670         (ipcp_profile_mt_count_print): Renamed to ipcp_print_func_profile_counts
1671         (ipcp_print_func_profile_counts): Changed string from "method" to
1672         "function"
1673         (ipcp_profile_cs_count_print): Renamed to ipcp_print_call_profile_counts
1674         (ipcp_profile_edge_print): Renamed to ipcp_print_edge_profiles
1675         (ipcp_profile_bb_print): Renamed to ipcp_print_bb_profiles
1676         (ipcp_structures_print): Renamed to ipcp_print_all_structures
1677         (ipcp_profile_print): Renamed to ipcp_print_profile_data
1678         (ipcp_lat_is_const): Changed parameters and made inline.
1679         (ipcp_replace_map_create): Renamed to ipcp_create_replace_map
1680         (ipcp_redirect): Renamed to ipcp_need_redirect_p
1681         (ipcp_need_redirect_p): Calls ipcp_lat_is_const instead of using
1682         the predicate condition directly
1683         (ipcp_propagate_stage): Added local variable args. Removed local
1684         variable callee.  (Both are mere code simplifications.)
1685         (ipcp_method_dont_insert_const): Renamed to
1686         ipcp_node_not_modifiable_p.
1687         (ipcp_node_not_modifiable_p): Made inline.
1688         (ipcp_cloned_create): Renamed to ipcp_init_cloned_node
1689         (ipcp_propagate_const): Renamed to ipcp_propagate_one_const
1690         (ipcp_print_all_lattices): Removed variable cvalue
1691         (ipcp_method_scale_print): Renamed to ipcp_function_scale_print
1692         Updated comments.
1693
1694 2008-05-06  Olivier Hainque  <hainque@adacore.com>
1695
1696         * tree-sra.c (try_instantiate_multiple_fields): Early return
1697         if field has POINTER_TYPE.
1698
1699 2008-05-06  Kai Tietz  <kai.tietz@onevision.com>
1700
1701         * config/i386/i386.c (output_set_got): Fix for x86_64 output_emit_asm
1702         by using 'q' specifier for instruction.
1703         (ix86_file_end): Replaced case TARGET_64BIT_MS_ABI by TARGET_64BIT.
1704
1705 2008-05-06  Anatoly Sokolov <aesok@post.ru>
1706
1707         * config/avr/avr.md (*sbrx_branch, *sbix_branch, *sbix_branch_tmp):
1708         Change mode of zero_extract from QImode to HImode.
1709         (sign bit tests peepholes): (Ditto.).
1710
1711 2008-05-06  Uros Bizjak  <ubizjak@gmail.com>
1712
1713         * config/i386/mmx.md: Remove double backslashes from asm templates.
1714         (*mmx_addv2sf3): Rename from mmx_addv2sf3 insn pattern.
1715         (mmx_addv2sf3): New expander.  Use ix86_fixup_binary_operands_no_copy
1716         to handle nonimmediate operands.
1717         (*mmx_mulv2sf3): Rename from mmx_mulv2sf3 insn pattern.
1718         (mmx_mulv2sf3): New expander.  Use ix86_fixup_binary_operands_no_copy
1719         to handle nonimmediate operands.
1720         (*mmx_<code>v2sf3_finite): New insn pattern.
1721         (*mmx_<code>v2sf3): Rename from mmx_<code>v2sf3 insn pattern.
1722         (mmx_<code>v2sf3): New expander.  Use
1723         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1724         (mmx_<plusminus_insn><mode>3): New expander.  Use
1725         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1726         (*mmx_<plusminus_insn><mode>3): New insn pattern.
1727         (mmx_add<mode>3): Removed.
1728         (mmx_ssadd<mode>3): Ditto.
1729         (mmx_usadd<mode>3): Ditto.
1730         (mmx_sub<mode>3): Ditto.
1731         (mmx_sssub<mode>3): Ditto.
1732         (mmx_ussub<mode>3): Ditto.
1733         (*mmx_mulv4hi3): Rename from mmx_mulv4hi3 insn pattern.
1734         (mmx_mulv4hi3): New expander.  Use ix86_fixup_binary_operands_no_copy
1735         to handle nonimmediate operands.
1736         (*mmx_smulv4hi3_highpart): Rename from mmx_smulv4hi3_highpart
1737         insn pattern.
1738         (mmx_smulv4hi3_highpart): New expander.  Use
1739         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1740         (*mmx_umulv4hi3_highpart): Rename from mmx_umulv4hi3_highpart
1741         insn pattern.
1742         (mmx_umulv4hi3_highpart): New expander.  Use
1743         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1744         (*mmx_<code>v4hi3): Rename from mmx_<code>v4hi3 insn pattern.
1745         (mmx_<code>v4hi3): New expander.  Use
1746         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1747         (*mmx_<code>v8qi3): Rename from mmx_<code>v8qi3 insn pattern.
1748         (mmx_<code>v8qi3): New expander.  Use
1749         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1750         (*mmx_<code><mode>3): Rename from mmx_<code><mode>3 insn pattern.
1751         (mmx_<code><mode>3): New expander.  Use
1752         ix86_fixup_binary_operands_no_copy to handle nonimmediate operands.
1753
1754 2008-05-05  Jan Hubicka  <jh@suse.cz>
1755
1756         PR tree-optimization/36118
1757         * passes.c (pass_init_dump_file): Fix dump header.
1758
1759 2008-05-05  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1760
1761         PR middle-end/36141
1762         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Don't create
1763         VCE for function decls.
1764
1765 2008-05-05  H.J. Lu  <hongjiu.lu@intel.com>
1766
1767         * config/i386/sse.md (sse2_<plusminus_insn><mode>3): Fix a typo.
1768
1769 2008-05-05  H.J. Lu  <hongjiu.lu@intel.com>
1770
1771         * config/i386/i386.md (sat_plusminus): New.
1772         (plusminus_insn): Likewise.
1773         (plusminus_mnemonic): Likewise.
1774         (addsub): Removed.
1775         (comm): Add ss_plus, us_plus, ss_minus and us_minus.
1776         (*<addsub><mode>3_cc_overflow): Renamed to ...
1777         (*<plusminus_insn><mode>3_cc_overflow): This.
1778         (*<addsub>si3_zext_cc_overflow): Renamed to ...
1779         (*<plusminus_insn>si3_zext_cc_overflow): This.
1780
1781         * config/i386/sse.md (<addsub><mode>3): Renamed to ...
1782         (<plusminus_insn><mode>3): This.
1783         (*<addsub><mode>3): Renamed to ...
1784         (*<plusminus_insn><mode>3): This.
1785         (<sse>_vm<addsub><mode>3): Renamed to ...
1786         (<sse>_vm<plusminus_insn><mode>3): This.
1787         (sse3_h<addsub>v4sf3): Renamed to ...
1788         (sse3_h<plusminus_insn>v4sf3): This.
1789         (sse3_h<addsub>v2df3): Renamed to ...
1790         (sse3_h<plusminus_insn>v2df3): This.
1791         (<plusminus_insn><mode>3): New.
1792         (*<plusminus_insn><mode>3): Likewise.
1793         (sse2_<plusminus_insn><mode>3): Likewise.
1794         (add<mode>): Removed.
1795         (*add<mode>3): Likewise.
1796         (sse2_ssadd<mode>3): Likewise.
1797         (sse2_usadd<mode>3): Likewise.
1798         (sub<mode>3): Likewise.
1799         (*sub<mode>3): Likewise.
1800         (sse2_sssub<mode>3): Likewise.
1801         (sse2_ussub<mode>3): Likewise.
1802
1803 2008-05-05  Benjamin Kosnik  <bkoz@redhat.com>
1804
1805         * gthr-single.h: Add in required interface elements as per gthr.h.
1806         Add stub types for __gthread_key_t, __gthread_once_t. Add defines
1807         for __GTHREAD_ONCE_INIT, __GTHREAD_RECURSIVE_MUTEX_INIT.
1808         Generalize UNUSED macro.
1809         (__gthread_once): Add.
1810         (__gthread_key_create): Add.
1811         (__gthread_key_delete): Add.
1812         (__gthread_getspecific): Add.
1813         (__gthread_setspecific): Add.
1814
1815 2008-05-05  Andrew Pinski  <Andrew.Pinski@playstation.sony.com>
1816
1817         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): If we have
1818         the same size types for the indirect reference on the rhs, then
1819         create a VCE.
1820
1821 2008-05-05  Uros Bizjak  <ubizjak@gmail.com>
1822
1823         * config/i386/i386.md
1824         (*float<SSEMODEI24:mode><MODEF:mode>2_sse_interunit): Use only
1825         one insn template instead of template series.
1826         (*xordi_1_rex64): Ditto.
1827         (*xordi_2_rex64): Ditto.
1828
1829 2008-05-05  Ira Rosen  <irar@il.ibm.com>
1830
1831         PR tree-optimization/36119
1832         * tree-vect-transform.c (vectorizable_assignment): Set NCOPIES to 1
1833         in case of SLP.
1834
1835 2008-06-04  Jan Hubicka  <jh@suse.cz>
1836
1837         tree-optimization/36100
1838         * tree-pass.h (pass_O0_always_inline): Declare.
1839         * ipa-inline.c (inline_transform): Remove dead code.
1840         (cgraph_gate_O0_always_inline, cgraph_O0_always_inline,
1841         pass_O0_always_inline): New.
1842         * passes.c (init_optimization_passes): Add pass_O0_always_inline.
1843
1844 2008-05-04  Kai Tietz  <kai.tietz@onevision.com>
1845
1846         * config/i386/i386.c (x86_output_mi_thunk): Use movq alternative
1847         mnemonic in this_param move for TARGET_64BIT.
1848
1849 2008-05-04  Uros Bizjak  <ubizjak@gmail.com>
1850
1851         * config/i386/i386.md (*strmovsi_1): Simplify asm alternatives.
1852         (*strmovsi_rex_1): Ditto.
1853         (*strsetsi_1): Ditto.
1854         (*strsetsi_rex_1): Ditto.
1855
1856         (add<mode>cc): Macroize expander from addqicc, addhicc, addsicc and
1857         adddicc expanders using SWI mode iterator.
1858
1859 2008-05-04  H.J. Lu  <hongjiu.lu@intel.com>
1860
1861         PR target/36121
1862         * config/i386/i386.c (ix86_expand_special_args_builtin): Remove three
1863         argument handling.
1864
1865 2008-05-04  David S. Miller  <davem@davemloft.net>
1866
1867         * config.gcc (sparc*-*-*): Always set need_64bit_hwint to yes.
1868         (sparc*-*-linux*): Use linux.h in tm_file.
1869         (sparc-*-linux*): If 'enabled_targets' is 'all', build a bi-arch
1870         compiler defaulting to 32-bit.
1871         (sparc*-*-*): Remove explicit target settings of need_64bit_hwint,
1872         no longer needed.
1873         * config/sparc/linux.h: Remove definitions now obtained
1874         properly from linux.h
1875         * config/sparc/linux64.h: Likewise.
1876         (ASM_CPU_DEFAULT_SPEC): Change this to ASM_CPU64_DEFAULT_SPEC, we
1877         don't want this setting for 32-bit builds in a biarch compiler.
1878         * doc/install.texi: Add sparc-linux to list of targets
1879         supporting --enable-targets=all.
1880
1881 2008-05-03  Andrew Pinski  <pinskia@gmail.com>
1882
1883         * Makefile.in (tree-ssa-phiprop.o): Fix dependencies.
1884
1885 2008-05-03  H.J. Lu  <hongjiu.lu@intel.com>
1886
1887         * config/i386/i386.c (ix86_builtin_type): Move V4SI_FTYPE_V4SF
1888         after V4SI_FTYPE_V8HI.
1889         (ix86_init_mmx_sse_builtins): Move case V4HI_FTYPE_V4HI after
1890         case V4SI_FTYPE_V2DF.
1891
1892 2008-05-03  Kenneth Zadeck  <zadeck@naturalbridge.com>
1893
1894         * doc/invoke.texi (max-flow-memory-locations): Removed.
1895         * params.def (PARAM_MAX_FLOW_MEMORY_LOCATIONS): Removed.
1896
1897 2008-05-03  Richard Guenther  <rguenther@suse.de>
1898
1899         PR middle-end/34973
1900         * opts.c (set_Wstrict_aliasing): Handle the turn-off case.
1901
1902 2008-05-02  David S. Miller  <davem@davemloft.net>
1903
1904         * config.gcc (need_64bit_hwint): Document libcpp dependency.
1905
1906 2008-05-02  Simon Baldwin <simonb@google.com>
1907
1908         PR bootstrap/36108
1909         * c-common.h (warn_array_subscript_range): Removed.
1910         * c-common.c (warn_array_subscript_range): Ditto.
1911         * tree-vrp.c (check_array_ref): Revert to ignoring arrays with size 2.
1912         * c-typeck.c (build_array_ref): Remove warn_array_subscript_range.
1913
1914 2008-05-02  H.J. Lu  <hongjiu.lu@intel.com>
1915
1916         * config/i386/i386.c (ix86_special_builtin_type): New.
1917         (bdesc_special_args): Likewise.
1918         (ix86_expand_special_args_builtin): Likewise.
1919         (ix86_init_mmx_sse_builtins): Updated.
1920         (ix86_expand_builtin): Updated.
1921         (ix86_expand_store_builtin): Removed.
1922         (ix86_expand_unop_builtin): Likewise.
1923
1924         * config/i386/mm3dnow.h (__v2sf): Moved to ...
1925         * config/i386/mmintrin.h (__v2sf): Here.
1926
1927         * config/i386/xmmintrin.h (_mm_loadh_pi): Replace __v2si with
1928         const __v2sf.
1929         (_mm_loadl_pi): Likewise.
1930         (_mm_storeh_pi): Replace __v2si with __v2sf.
1931         (_mm_storel_pi): Likewise.
1932
1933         * doc/extend.texi: Correct __builtin_ia32_loadhps,
1934         __builtin_ia32_loadlps, __builtin_ia32_storehps,
1935         __builtin_ia32_storelps, __builtin_ia32_loadhpd and
1936         __builtin_ia32_loadlpd.
1937
1938 2008-05-02  H.J. Lu  <hongjiu.lu@intel.com>
1939
1940         * config/i386/i386.c (ix86_builtin_type): Add FLOAT_FTYPE_FLOAT,
1941         V4SF_FTYPE_V4SF_VEC_MERGE and V2DF_FTYPE_V2DF_VEC_MERGE.
1942         (bdesc_args): Updated.  Add scalar SSE builtins with vec_merge.
1943         (ix86_init_mmx_sse_builtins): Updated.
1944         (ix86_expand_args_builtin): Likewise.
1945         (ix86_expand_builtin): Likewise.
1946         (ix86_expand_unop1_builtin): Renamed to ...
1947         (ix86_expand_unop_vec_merge_builtin): This.
1948
1949 2008-05-01  Jan Hubicka  <jh@suse.cz>
1950
1951         PR bootstrap/36100
1952         * ipa-inline.c (inline_generate_summary): Make static.
1953         (inline_transform): Do not call inlining at -O0; make static.
1954         * passes.c (execute_todo): Add sanity check.
1955         (execute_one_ipa_transform_pass): Execute proper flags.
1956
1957 2008-05-01  Eric Botcazou  <ebotcazou@adacore.com>
1958
1959         * tree.h (TYPE_NONALIASED_COMPONENT): Expand comment.
1960         (DECL_NONADDRESSABLE_P): Likewise.
1961         * alias.c (record_component_aliases): Fix comment.
1962
1963 2008-05-01  Simon Baldwin <simonb@google.com>
1964
1965         * c-common.h (warn_array_subscript_range): New function.
1966         * c-common.c (warn_array_subscript_range): Ditto.
1967         * tree-vrp.c (check_array_ref): Corrected code to agree with
1968         comment, ignoring only arrays of size 0 or size 1.
1969         * c-typeck.c (build_array_ref): Call warn_array_subscript_range.
1970
1971 2008-05-01  H.J. Lu  <hongjiu.lu@intel.com>
1972
1973         * config/i386/i386.c (ix86_builtin_type): Replace
1974         DI_FTYPE_DI_DI_INT with V1DI2DI_FTYPE_V1DI_V1DI_INT.
1975         (bdesc_args): Updated.
1976         (ix86_init_mmx_sse_builtins): Likewise.
1977         (ix86_expand_args_builtin): Likewise.
1978
1979         * config/i386/tmmintrin.h (_mm_alignr_pi8): Replace long long
1980         with __v1di.
1981
1982         * doc/extend.texi: Correct __builtin_ia32_palignr.
1983
1984 2008-05-01  H.J. Lu  <hongjiu.lu@intel.com>
1985
1986         PR target/36095
1987         * config/i386/i386.c (bdesc_crc32): Removed.
1988         (ix86_expand_crc32): Likewise.
1989         (ix86_builtin_type): Replace V2DI2TI_FTYPE_V2DI2TI_INT with
1990         V2DI2TI_FTYPE_V2DI_INT, V2DI2TI_FTYPE_V2DI2TI_V2DI2TI_INT with
1991         V2DI2TI_FTYPE_V2DI_V2DI_INT.  Add UINT64_FTYPE_UINT64_UINT64,
1992         UINT_FTYPE_UINT_UINT, UINT_FTYPE_UINT_USHORT and
1993         UINT_FTYPE_UINT_UCHAR.
1994         (bdesc_args): Updated. Add crc32 builtins.
1995         (ix86_init_mmx_sse_builtins): Updated.
1996         (ix86_expand_args_builtin): Updated to support subreg.
1997
1998         * doc/extend.texi: Correct __builtin_ia32_crc32di.
1999
2000 2008-05-01  Jan Hubicka  <jh@suse.cz>
2001
2002         * tree-pass.h (opt_pass): Add IPA_PASS.
2003         (varpool_node, cgraph_node): Forward declare.
2004         (ipa_opt_pass): Define.
2005         (pass_ipa_inline): Turn into ipa_opt_pass.
2006         (pass_apply_inline): Remove.
2007         * ipa-inline.c (pass_ipa_inline): Turn into ipa_opt_pass.
2008         (apply_inline): Turn into ....
2009         (inline_transform): ... this one.
2010         (inline_generate_summary): New function.
2011         (pass_apply_inline): Remove.
2012         * function.h (ipa_opt_pass): Forward declare structure; typedef;
2013         vector.
2014         (struct function): Add ipa_transforms_to_apply.
2015         * passes.c (register_one_dump_file): Work on IPA_PASS.
2016         (init_optimization_passes): Remove pass_inline_parameters and
2017         pass_apply_inline.
2018         (pass_init_dump_file, pass_fini_dump_file): Break out from ....
2019         (execute_one_pass) ... here; apply transforms when possible.
2020         (add_ipa_transform_pass, execute_ipa_summary_asses,
2021         execute_one_ipa_transform_pass): New.
2022         (execute_ipa_pass_list): Update for IPA_PASS type.
2023
2024 2008-05-01  H.J. Lu  <hongjiu.lu@intel.com>
2025
2026         * config/i386/i386.c (ix86_builtin_type): Add
2027         V2DI_FTYPE_V2DI_V16QI, V2DI_FTYPE_V2DI_UINT_UINT and
2028         V2DI_FTYPE_V2DI_V2DI_UINT_UINT.
2029         (bdesc_args): Add SSE4a builtins.
2030         (ix86_init_mmx_sse_builtins): Updated.
2031         (ix86_expand_args_builtin): Likewise.
2032         (ix86_expand_builtin): Likewise.
2033
2034 2008-05-01  H.J. Lu  <hongjiu.lu@intel.com>
2035
2036         * config/i386/i386.c (ix86_builtin_type): Add
2037         V8HI_FTYPE_V8HI_V8HI_COUNT, V8HI_FTYPE_V8HI_SI_COUNT,
2038         V4SI_FTYPE_V4SI_V4SI_COUNT, V4SI_FTYPE_V4SI_SI_COUNT,
2039         V4HI_FTYPE_V4HI_V4HI_COUNT, V4HI_FTYPE_V4HI_SI_COUNT,
2040         V2DI_FTYPE_V2DI_V2DI_COUNT, V2DI_FTYPE_V2DI_SI_COUNT,
2041         V2SI_FTYPE_V2SI_V2SI_COUNT, V2SI_FTYPE_V2SI_SI_COUNT,
2042         V1DI_FTYPE_V1DI_V1DI_COUNT, V1DI_FTYPE_V1DI_SI_COUNT,
2043         V8HI_FTYPE_V8HI_INT, V4SI_FTYPE_V4SI_INT, V4HI_FTYPE_V4HI_INT,
2044         V2DI2TI_FTYPE_V2DI2TI_INT, V2DI2TI_FTYPE_V2DI2TI_V2DI2TI_INT
2045         and DI_FTYPE_DI_DI_INT.
2046         (bdesc_args): Add MMX/SSE shift, shuffle and palignr builtins.
2047         (ix86_init_mmx_sse_builtins): Updated.
2048         (ix86_expand_args_builtin): Likewise.
2049         (ix86_expand_builtin): Likewise.
2050         (ix86_expand_binop_imm_builtin): Removed.
2051
2052         * doc/extend.texi: Correct __builtin_ia32_palignr128.
2053
2054 2008-04-30  Richard Guenther  <rguenther@suse.de>
2055
2056         PR tree-optimization/32921
2057         * tree-ssa-loop-im.c (mem_refs_may_alias_p): Disambiguate with TBAA.
2058
2059 2008-04-30  Richard Sandiford  <rsandifo@nildram.co.uk>
2060
2061         * config/arm/arm.c (arm_unwind_emit): Use
2062         crtl->all_throwers_are_sibcalls instead of
2063         cfun->all_throwers_are_sibcalls.
2064         (arm_output_fn_unwind): Likewise.
2065         * config/frv/frv.c (frv_stack_info): Use crtl->uses_pic_offset_table
2066         instead of cfun->uses_pic_offset_table.
2067         (frv_expand_prologue): Likewise.
2068         (frv_frame_pointer_required): Likewise.
2069         (frv_expand_fdpic_call): Likewise.
2070         (frv_emit_movsi): Likewise.
2071         * config/iq2000/iq2000.c (iq2000_expand_prologue): Use
2072         cfun->returns_pcc_struct instead of
2073         current_function_returns_pcc_struct.
2074         * config/m32c/m32c.c (need_to_save): Use crtl->calls_eh_return
2075         instead of cfun->calls_eh_return.
2076         (m32c_pushm_popm): Likewise.
2077         * config/xtensa/xtensa.h (cfun->calls_alloca): Remove bogus
2078         "extern" declaration.
2079
2080 2008-04-30  Richard Guenther  <rguenther@suse.de>
2081
2082         PR tree-optimization/21636
2083         * tree-ssa-ccp.c (ccp_fold): Handle &p->x with p being a
2084         constant address.
2085         (evaluate_stmt): Print the likely value.
2086         (ccp_visit_stmt): Avoid excessive vertical spacing.
2087
2088 2008-04-30  Rafael Espindola  <espindola@google.com>
2089
2090         * builtins.c (fold_call_expr): Return realret.
2091         * tree-ssa-threadedge.c
2092         (record_temporary_equivalences_from_stmts_at_dest): Ignore calls to
2093         __builtin_object_size.
2094
2095 2008-04-30  Seongbae Park  <seongbae.park@gmail.com>
2096
2097         * gcc.c (wrapper_string): New variable.
2098         (insert_wrapper): New function.
2099         (execute): New option -wrapper.
2100         * doc/invoke.texi (Overall Options): New driver option -wrapper.
2101
2102 2008-04-30  Nathan Froyd  <froydnj@codesourcery.com>
2103
2104         * config/rs6000/crtresgpr.asm, config/rs6000/crtresxgpr.asm,
2105         config/rs6000/crtsavgpr.asm, config/rs6000/crtresfpr.asm,
2106         config/rs6000/crtresxfpr.asm, config/rs6000/crtsavfpr.asm: Break out
2107         from...
2108         * config/rs6000/crtsavres.asm: ...here.  Remove unneeded file.
2109         * config/rs6000/e500crtres32gpr.asm, config/rs6000/e500crtres64gpr.asm,
2110         config/rs6000/e500crtres64gprctr.asm,
2111         config/rs6000/e500crtrest32gpr.asm, config/rs6000/e500crtrest64gpr.asm,
2112         config/rs6000/e500crtresx32gpr.asm, config/rs6000/e500crtresx64gpr.asm,
2113         config/rs6000/e500crtsav32gpr.asm, config/rs6000/e500crtsav64gpr.asm,
2114         config/rs6000/e500crtsav64gprctr.asm,
2115         config/rs6000/e500crtsavg32gpr.asm, config/rs6000/e500crtsavg64gpr.asm,
2116         config/rs6000/e500crtsavg64gprctr.asm: New files.
2117         * config/rs6000/t-ppccomm: Add build rules for new files.
2118         (LIB2FUNCS_STATIC_EXTRA): Add new files.
2119         * config/rs6000/t-netbsd: Add build rules for new files.
2120         (LIB2FUNCS_STATIC_EXTRA): New variable.
2121         * config/rs6000/sysv4.h (ENDFILE_SPEC): Don't include crtsavres.o
2122         (CRTSAVRES_DEFAULT_SPEC): Likewise.
2123         * config/rs6000/netbsd.h (ENDFILE_SPEC): Likewise.
2124
2125 2008-04-30  H.J. Lu  <hongjiu.lu@intel.com>
2126
2127         * config/i386/i386.c (ix86_builtin_type): Add
2128         FLOAT128_FTYPE_FLOAT128_FLOAT128, V16QI_FTYPE_V16QI_V16QI,
2129         V16QI_FTYPE_V8HI_V8HI, V8QI_FTYPE_V8QI_V8QI,
2130         V8QI_FTYPE_V4HI_V4HI, V8HI_FTYPE_V8HI_V8HI,
2131         V8HI_FTYPE_V16QI_V16QI, V8HI_FTYPE_V4SI_V4SI,
2132         V4SI_FTYPE_V4SI_V4SI, V4SI_FTYPE_V8HI_V8HI,
2133         V4SI_FTYPE_V4SF_V4SF, V4SI_FTYPE_V2DF_V2DF,
2134         V4HI_FTYPE_V4HI_V4HI, V4HI_FTYPE_V8QI_V8QI,
2135         V4HI_FTYPE_V2SI_V2SI, V4SF_FTYPE_V4SF_V4SF,
2136         V4SF_FTYPE_V4SF_V4SF_SWAP, V4SF_FTYPE_V4SF_V2SI,
2137         V4SF_FTYPE_V4SF_V2DF, V4SF_FTYPE_V4SF_DI,
2138         V4SF_FTYPE_V4SF_SI, V2DI_FTYPE_V2DI_V2DI,
2139         V2DI_FTYPE_V16QI_V16QI, V2DI_FTYPE_V4SI_V4SI,
2140         V2DI_FTYPE_V2DF_V2DF, V2SI_FTYPE_V2SI_V2SI,
2141         V2SI_FTYPE_V4HI_V4HI, V2SI_FTYPE_V2SF_V2SF,
2142         V2DF_FTYPE_V2DF_V2DF, V2DF_FTYPE_V2DF_V2DF_SWAP,
2143         V2DF_FTYPE_V2DF_V4SF, V2DF_FTYPE_V2DF_DI,
2144         V2DF_FTYPE_V2DF_SI, V2SF_FTYPE_V2SF_V2SF,
2145         V1DI_FTYPE_V1DI_V1DI, V1DI_FTYPE_V8QI_V8QI and
2146         V1DI_FTYPE_V2SI_V2SI.
2147         (bdesc_2arg): Moved to ...
2148         (bdesc_args): Here.
2149         (ix86_init_mmx_sse_builtins): Updated.
2150         (ix86_expand_args_builtin): Updated.  Take a pointer
2151         to const struct builtin_description.  Handle comparison
2152         builtin functions.
2153         (ix86_expand_sse_compare): Take a new argument for swapping operands.
2154         (ix86_expand_builtin): Updated.
2155
2156         * config/i386/sse.md (ssse3_pmaddubswv8hi3): Renamed to ...
2157         (ssse3_pmaddubsw128): This.
2158         (ssse3_pmaddubswv4hi3): Renamed to ...
2159         (ssse3_pmaddubsw): This.
2160
2161         * doc/extend.texi (__builtin_ia32_packsswb128): Correct prototype.
2162         (__builtin_ia32_packssdw128): Likewise.
2163         (__builtin_ia32_packuswb128): Likewise.
2164         (__builtin_ia32_pmaddubsw): Likewise.
2165         (__builtin_ia32_pmaddubsw128): Likewise.
2166
2167 2008-04-30  Richard Guenther  <rguenther@suse.de>
2168
2169         PR tree-optimization/14847
2170         * tree-ssa-ifcombine.c (get_name_for_bit_test): New helper function.
2171         (recognize_bits_test): Use it.
2172         (recognize_single_bit_test): Likewise.
2173
2174 2008-04-30  Martin Jambor  <mjambor@suse.cz>
2175
2176         * ipa-cp.c (ipcp_init_stage): Calls ipa_set_called_with_variable_arg
2177         instead of setting number of formal parameters to zero.
2178         (ipcp_init_stage): Do not set the number of actual parameters to zero
2179         either.
2180         (ipcp_propagate_stage): Explicitly skipping all calls to nodes
2181         which are called with variable number of arguments.
2182         (ipcp_insert_stage): Explicitely skipping all nodes which are
2183         called with variable number of arguments.
2184         (ipcp_callsite_param_print): Skipps callsites to nodes with varaible
2185         number of parameters.
2186
2187         * ipa-prop.h (struct ipa_node_params): Added flag
2188         called_with_var_arguments
2189         (ipa_set_param_count): Added.  Changed sole setter to use it.
2190         (ipa_get_param_count): Added.  All readers of param_count
2191         converted to use it instead.
2192         (ipa_set_called_with_variable_arg): Added.
2193         (ipa_is_called_with_var_arguments): Added.
2194         (ipa_get_ith_param): Added.  All readers of param_decls converted
2195         to use it instead.
2196         (ipa_set_cs_argument_count): Added, sole writer to argument_count
2197         changed to use it.
2198         (ipa_get_cs_argument_count): Added, all readers of argument_count
2199         changed to cal it.
2200         (ipa_get_ith_jump_func): Added. Accessors of jump values changed
2201         to use it.
2202
2203         * ipa-prop.h (struct ipcp_formal): Renamed to ipcp_lattice
2204         (struct ipcp_lattice): Renamed cval_type to type
2205         (struct ipa_node_params): ipcp_cval renamed to ipcp_lattices
2206
2207         * ipa-cp.c (ipcp_cval_get_cvalue): Changed return value to tree
2208         (ipcp_cval_set_cvalue): Changed type of parameter value to tree
2209         (ipcp_insert_stage): Changed the type of variable cvalue to tree
2210         (ipcp_replace_map_create): Changed the type of parameter cvalue to tree
2211         (build_const_val): Changed the type of parameter cvalue to tree
2212         (ipcp_propagate_const): Changed the type of parameter cvalue to tree
2213         (ipcp_method_cval_set_cvalue_type): Renamed parameter cval_type1 to type
2214
2215         * ipa-prop.h (struct ipcp_formal): Replaced cvalue with tree called
2216         constant
2217
2218         * ipa-prop.c (ipa_methodlist_init): Renamed to ipa_init_func_list
2219         (ipa_methodlist_not_empty): Removed, the sole user now checks directly
2220         (ipa_add_method): Renamed to ipa_push_func_to_list
2221         (ipa_remove_method): Renamed to ipa_pop_func_from_list
2222         (ipa_callsite_param_count): Removed.
2223         (ipa_callsite_param_count_set): Removed.
2224         (ipa_callsite_param): Removed.
2225         (ipa_callsite_callee): Removed.
2226         (ipa_callsite_compute_param): Renamed to ipa_compute_jump_functions
2227         (ipa_callsite_compute_count): Renamed to ipa_count_arguments
2228         (ipa_method_formal_count): Removed.
2229         (ipa_method_formal_count_set): Removed.
2230         (ipa_method_get_tree): Removed.
2231         (ipa_method_tree_map_create): Removed.
2232         (ipa_method_compute_tree_map): Renamed to ipa_create_param_decls_array
2233         (ipa_create_param_decls_array): Creates the array itself
2234         (ipa_create_param_decls_array): Temporary variable info instead of
2235         a few dereferences.
2236         (ipa_method_formal_compute_count): Renamed to ipa_count_formal_params
2237         (ipa_method_compute_modify): Renamed to ipa_detect_param_modifications
2238         (get_type): Removed.
2239         (ipa_jf_get_info_type): Removed.
2240         (ipa_node_create): Renamed to ipa_create_node_params
2241         (ipa_free): Renamed to ipa_free_all_node_params
2242         (ipa_nodes_create): Renamed to ipa_create_all_node_params
2243         (ipa_edges_create): Renamed to ipa_create_all_edge_args
2244         (ipa_edges_free): Renamed to ipa_free_all_edge_args
2245         (ipa_nodes_free): Integrated into ipa_free_all_node_params and removed
2246         (ipa_free_all_node_params): Deallocation to jump_functions moved to
2247         ipa_free_all_edge_args
2248         (ipa_method_tree_print): Renamed to ipa_print_all_tree_maps
2249         (ipa_method_modify_print): Renamed to ipa_print_all_params_modified
2250         (ipa_create_methodlist_node): Removed.
2251         (ipa_methodlist_method): Removed.
2252         (ipa_methodlist_method_set): Removed.
2253         (ipa_methodlist_next_method): Removed.
2254         (ipa_methodlist_next_method_set): Removed.
2255         (ipa_method_is_modified): Removed.
2256         (ipa_method_modify_create): Removed.
2257         (ipa_method_modify_init): Temporary variable info instead of a few
2258         dereferences.
2259         (ipa_detect_param_modifications): Temporary variable info instead of
2260         a few dereferences.
2261         (ipa_compute_jump_functions): Temporary variable info instead of
2262         a few dereferences.
2263         (ipa_method_modify_set): Removed.
2264         (ipa_method_tree_map): Renamed to ipa_get_param_decl_index
2265         (ipa_get_param_decl_index): Now accepts struct ipa_node_params rather
2266         than craph_node as the first parameter.
2267         (ipa_method_modify_stmt): Renamed to ipa_check_stmt_modifications
2268         (ipa_method_modify_init): Removed.
2269         (ipa_compute_jump_functions): Added a temp variable instead of
2270         repeatadly dereferencing the cgraph_edge.aux pointer
2271         (ipa_callsite_param_set_type): Removed.
2272         (ipa_compute_jump_functions): i renamed to index and moved to
2273         an inner block
2274         (ipa_callsite_param_set_info_type_formal): Removed.
2275         (ipa_callsite_param_set_info_type): Removed.
2276         (ipa_callsite_param_map_create): Removed.
2277         (ipa_callsite_tree): Removed.
2278         (ipa_callsite_caller): Removed.
2279         (ipa_pop_func_from_list): return_method removed to return_func
2280
2281         * ipa-prop.h (enum cvalue_type): Renamed to ipa_lattice_type,
2282         prefixed all values with IPA_. Changed all users.
2283         (enum jump_func_type): Rnamed UNKNOWN_IPATYPE to IPA_UNKNOWN,
2284         CONST_IPATYPE to IPA_CONST, CONST_IPATYPE_REF to IPA_CONST_REF
2285         and FORMAL_IPATYPE IPA_PASS_THROUGH.
2286         (union parameter_info): Renamed to jump_func_value.
2287         (union jump_func_value): Renamed value to constant
2288         (struct ipa_jump_func): Renamed info_type to value
2289         (struct ipa_node): Renamed to ipa_node_params
2290         (struct ipa_node_params): Renamed ipa_arg_num to param_count
2291         (struct ipa_node_params): Renamed ipa_param_tree to param_decls
2292         (struct ipa_node_params): Renamed ipa_mod to modified_flags
2293         (struct ipa_edge): Renamed to ipa_edge_args
2294         (struct ipa_edge_args): Renamed ipa_param_num to argument_count
2295         (struct ipa_edge_args): Renamed ipa_param_map to jump_functions
2296         (struct ipa_methodlist): Renamed to ipa_func_list
2297         (struct ipa_func_list): method_p renamed to node, next_method
2298         renamed to next
2299         (ipa_methodlist_p): Removed, switched all users to struct pointer
2300         (IS_VALID_TREE_MAP_INDEX): Renamed to IS_VALID_JUMP_FUNC_INDEX
2301
2302 2008-04-30  Alan Modra  <amodra@bigpond.net.au>
2303
2304         * config/rs6000/rs6000.c (ALWAYS_RESTORE_ALTIVEC_BEFORE_POP): Define.
2305         (rs6000_emit_epilogue): Use backchain to restore only when we
2306         have a large frame.  Make use of frame pointer to restore if we
2307         have one.  Handle ALWAYS_RESTORE_ALTIVEC_BEFORE_POP.
2308
2309 2008-04-29  Paolo Bonzini  <bonzini@gnu.org>
2310
2311         * config/avr/avr.md (*sbrx_branch, *sbix_branch, *sbix_branch_tmp):
2312         Add mode to zero_extract.
2313         (sign bit tests peepholes): (Ditto.).
2314
2315 2008-04-29  H.J. Lu  <hongjiu.lu@intel.com>
2316
2317         * config/i386/i386.c (ix86_builtins): Replace Prescott New
2318         Instructions in comments with SSE3.
2319         (ix86_builtin_type): This.  Add FLOAT128_FTYPE_FLOAT128,
2320         INT64_FTYPE_V4SF, INT64_FTYPE_V2DF, INT_FTYPE_V16QI,
2321         INT_FTYPE_V8QI, INT_FTYPE_V4SF, INT_FTYPE_V2DF,
2322         V16QI_FTYPE_V16QI, V8HI_FTYPE_V8HI, V8HI_FTYPE_V16QI,
2323         V8QI_FTYPE_V8QI, V4SI_FTYPE_V4SI, V4SI_FTYPE_V16QI,
2324         V4SI_FTYPE_V4SF, V4SI_FTYPE_V8HI, V4SI_FTYPE_V2DF,
2325         V4HI_FTYPE_V4HI, V4SF_FTYPE_V4SF, V4SF_FTYPE_V4SI,
2326         V4SF_FTYPE_V2DF, V2DI_FTYPE_V2DI, V2DI_FTYPE_V16QI,
2327         V2DI_FTYPE_V8HI, V2DI_FTYPE_V4SI, V2DF_FTYPE_V2DF,
2328         V2DF_FTYPE_V4SI, V2DF_FTYPE_V4SF, V2DF_FTYPE_V2SI,
2329         V2SI_FTYPE_V2SI, V2SI_FTYPE_V4SF, V2SI_FTYPE_V2SF,
2330         V2SI_FTYPE_V2DF, V2SF_FTYPE_V2SF and V2SF_FTYPE_V2SI.
2331         (bdesc_sse_args): Renamed to ...
2332         (bdesc_args): This.  Add IX86_BUILTIN_PF2ID, IX86_BUILTIN_PFRCP,
2333         IX86_BUILTIN_PFRSQRT, IX86_BUILTIN_PI2FD, IX86_BUILTIN_PF2IW,
2334         IX86_BUILTIN_PSWAPDSI, IX86_BUILTIN_PSWAPDSF and
2335         IX86_BUILTIN_FABSQ.
2336         (bdesc_1arg): Moved to ...
2337         (bdesc_args): Here.
2338         (ix86_init_mmx_sse_builtins): Updated.  Replace Prescott New
2339         Instructions in comments with SSE3.
2340         (ix86_expand_sse_operands_builtin): Renamed to ...
2341         (ix86_expand_args_builtin): This.  Updated.
2342         (ix86_expand_unop1_builtin): Update comments.
2343         (ix86_expand_builtin): Updated.
2344
2345 2008-04-29  Richard Guenther  <rguenther@suse.de>
2346
2347         PR tree-optimization/36078
2348         * tree-ssa-loop-ivcanon.c (tree_unroll_loops_completely):
2349         Update virtual SSA form after cleaning up the CFG.
2350
2351 2008-04-29  Richard Guenther  <rguenther@suse.de>
2352
2353         PR middle-end/15255
2354         * fold-const.c (fold_binary): Fold (A + A) * C to A * 2*C.
2355
2356 2008-04-29  Richard Guenther  <rguenther@suse.de>
2357
2358         * tree-ssa-alias.c (finalize_ref_all_pointers): Remove.
2359         (compute_may_aliases): Do not call finalize_ref_all_pointers.
2360         (compute_flow_insensitive_aliasing): Do not treat
2361         PTR_IS_REF_ALL pointers special.
2362         (get_smt_for): Likewise.
2363         (may_alias_p): Re-structure.
2364         (is_escape_site): A ref-all pointer conversion is not an escape site.
2365         * tree-ssa-structalias.c (find_what_p_points_to): Do not treat
2366         PTR_IS_REF_ALL pointers special.
2367         * tree-ssa-structalias.h (struct alias_info): Remove
2368         ref_all_symbol_mem_tag field.
2369         (PTR_IS_REF_ALL): Remove.
2370
2371 2008-04-29  Richard Guenther  <rguenther@suse.de>
2372
2373         PR middle-end/36077
2374         * fold-const.c (extract_muldiv_1): In combining division constants
2375         make sure to never overflow.
2376
2377 2008-04-29  Nick Clifton  <nickc@redhat.com>
2378
2379         * doc/tm.texi (RETURN_ADDR_RTX): Fix typo.
2380
2381 2008-04-28  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2382
2383         PR bootstrap/35169
2384         * optc-gen.awk: Work around HP-UX/IA awk bug.
2385
2386 2008-04-28  Danny Smith  <dannysmith@users.sourceforge.net>
2387
2388         * config/i386/cygming-crtend.c (register_frame_ctor): Revert my
2389         2008-04-25 commit.
2390
2391 2008-04-28  Uros Bizjak  <ubizjak@gmail.com>
2392
2393         PR target/36073
2394         * config/i386/i386.md
2395         (*float<SSEMODEI24:mode><MODEF:mode>2_mixed_interunit):
2396         Change operand 1 predicate to nonimmediate_operand.
2397
2398 2008-04-28  Jakub Jelinek  <jakub@redhat.com>
2399
2400         PR debug/36060
2401         * dwarf2out.c (struct die_struct): Mark as chain_circular through
2402         die_sub field.
2403         * gengtype.c (walk_type, write_func_for_structure): Handle
2404         chain_circular.
2405         * doc/gty.texi: Document chain_circular.
2406
2407 2008-04-28  Richard Guenther  <rguenther@suse.de>
2408
2409         PR tree-optimization/36066
2410         * tree-vrp.c (execute_vrp): Cleanup the CFG only after finalizing
2411         SCEV and loop.
2412
2413 2008-04-28  Uros Bizjak  <ubizjak@gmail.com>
2414
2415         PR target/36064
2416         * config/i386/i386.md
2417         (floatdi<X87MODEF:mode>2_i387_with_xmm splitters):
2418         Use match_scratch instead of match_operand for operands 3 and 4.
2419
2420 2008-04-27  Richard Guenther  <rguenther@suse.de>
2421
2422         PR tree-optimization/18754
2423         PR tree-optimization/34223
2424         * tree-pass.h (pass_complete_unrolli): Declare.
2425         * tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Print
2426         loop size before and after unconditionally of UL_NO_GROWTH in effect.
2427         Rewrite loop into loop closed SSA form if it is not already.
2428         (tree_unroll_loops_completely): Re-structure to iterate over
2429         innermost loops with intermediate CFG cleanups.
2430         Unroll outermost loops only if requested or the code does not grow
2431         doing so.
2432         * tree-ssa-loop.c (gate_tree_vectorize): Don't shortcut if no
2433         loops are available.
2434         (tree_vectorize): Instead do so here.
2435         (tree_complete_unroll): Also unroll outermost loops.
2436         (tree_complete_unroll_inner): New function.
2437         (gate_tree_complete_unroll_inner): Likewise.
2438         (pass_complete_unrolli): New pass.
2439         * tree-ssa-loop-manip.c (find_uses_to_rename_use): Only record
2440         uses outside of the loop.
2441         (tree_duplicate_loop_to_header_edge): Only verify loop-closed SSA
2442         form if it is available.
2443         * tree-flow.h (tree_unroll_loops_completely): Add extra parameter.
2444         * passes.c (init_optimization_passes): Schedule complete inner
2445         loop unrolling pass before the first CCP pass after final inlining.
2446
2447 2008-04-27  Nathan Sidwell  <nathan@codesourcery.com>
2448
2449         * targhooks.h (default_emutls_var_fields,
2450         default_emutls_var_init): Declare.
2451         * tree.h (DECL_THREAD_LOCAL): Compare against TLS_MODEL_REAL.
2452         * target.h (struct gcc_target): Add struct emutls member.
2453         * target-def.h (TARGET_EMUTLS_GET_ADDRESS,
2454         TARGET_EMUTLS_REGISTER_COMMON, TARGET_EMUTLS_VAR_SECTION,
2455         TARGET_EMUTLS_TMPL_SECTION, TARGET_EMUTLS_VAR_PREFIX,
2456         TARGET_EMUTLS_TMPL_PREFIX, TARGET_EMUTLS_VAR_FIELDS,
2457         TARGET_EMUTLS_VAR_INIT, TARGET_EMUTLS_DEBUG_FORM_TLS_ADDRESS,
2458         TARGET_EMUTLS_VAR_ALIGN_FIXED, TARGET_EMUTLS): New.
2459         (TARGET_INITIALIZER): Add TARGET_EMUTLS.
2460         * builtins.def (BUILT_IN_EMUTLS_GET_ADDRESS,
2461         BUILT_IN_EMUTLS_REGISTER_COMMON): Get name from targetm structure.
2462         * dwarf2out.c (loc_descriptor_from_tree_1): Check if emutls can
2463         emit debug information.
2464         * coretypes.h (tls_model): Add TLS_MODEL_EMULATED, TLS_MODEL_REAL.
2465         * varasm.c: Include targhooks.h.
2466         (emutls_object_section, emutls_tmpl_section): New.
2467         (EMUTLS_VAR_PREFIX, EMUTLS_TMPL_PREFIX): Remove.
2468         (EMUTLS_SEPARATOR): New.
2469         (prefix_name): New.
2470         (get_emutls_object_name): New.
2471         (default_emutls_var_fields): New, broken out of ...
2472         (get_emutls_object_type): ... here.  Adjust to use target hooks.
2473         (get_emutls_init_templ_addr): Adjust to use target hooks.
2474         (emutls_decl): Adjust to use target hooks.
2475         (emutls_finish): Likewise.
2476         (default_emutls_var_init): New, broken out of ...
2477         (assemble_variable): ... here.  Adjust to use target hooks.
2478         * output.h (enum section_category): Add SECCAT_EMUTLS_VAR,
2479         SECCAT_EMUTLS_TMPL.
2480         * c-common.c (handle_section_attribute): Prevent overriding
2481         sections for emulated tls with special sections.
2482         * config/i386/i386.c (x86_64_elf_select_section): Add
2483         SECCAT_EMUTLS_VAR and SECCAT_EMUTLS_TMPL.
2484         (x86_64_elf_unique_section): Likewise.
2485         * config/vxworks.c: Include tree.h.
2486         (vxworks_emutls_var_fields, vxworks_emutls_var_init): New.
2487         (vxworks_override_options): Set TLS scheme.
2488         * doc/tm.texi (Emulated TLS): New node.
2489
2490 2008-04-26  Simon Baldwin <simonb@google.com>
2491
2492         PR c/35652
2493         * builtins.c (c_strlen): Suppressed multiple warnings that can occur
2494         with propagated string constants.
2495
2496 2008-04-26  Uros Bizjak  <ubizjak@gmail.com>
2497
2498         * config/i386/i386.md (fix_trunc<mode>_i387_fisttp_with_temp): Use 'X'
2499         constraint for operand 2 when operand 0 is memory operand.
2500         (fix_truncdi_i387_with_temp): : Use 'X' constraint for operand 4 when
2501         operand 0 is memory operand.
2502         (fix_trunc<mode>_i387_with_temp): Ditto.
2503         (*floatsi<mode>2_vector_mixed_with_temp): Use 'X' constraint for
2504         operand 2 when operand 1 is memory operand.
2505         (*float<SSEMODEI24:mode><MODEF:mode>2_mixed_with_temp): Ditto.
2506         (*floatsi<mode>2_vector_sse_with_temp): Ditto.
2507         (*float<SSEMODEI24:mode><MODEF:mode>2_sse_with_temp): Ditto.
2508         (*float<SSEMODEI24:mode><X87MODEF:mode>2_i387_with_temp): Ditto.
2509         (floatdi<X87MODEF:mode>2_i387_with_xmm): Use 'X' constraint for
2510         operands 2,3 and 4 when operand 1 is memory operand.
2511         (fistdi2_with_temp): Use 'X' constraint for operand 2 when operand 0
2512         is memory operand.
2513         (fistdi2_floor_with_temp): Ditto.
2514         (fist<mode>2_floor_with_temp): Ditto.
2515         (fistdi2_ceil_with_temp): Ditto.
2516         (fist<mode>2_ceil_with_temp): Ditto.
2517         (*truncdfsf_fast_mixed): Merge alternatives 0 and 1.
2518
2519 2008-04-26  David Daney  <ddaney@avtrex.com>
2520
2521         * config/mips/mips.md (UNSPEC_COMPARE_AND_SWAP_12): New
2522         unspec_volitile.
2523         (UNSPEC_SYNC_OLD_OP, UNSPEC_SYNC_NEW_OP, UNSPEC_SYNC_EXCHANGE,
2524         UNSPEC_MEMORY_BARRIER, UNSPEC_SET_GOT_VERSION,
2525         UNSPEC_UPDATE_GOT_VERSION): Renumber.
2526         (sync_compare_and_swap<mode>): New expand for QI and HI modes.
2527         (compare_and_swap_12): New insn.
2528         * config/mips/mips-protos.h (mips_expand_compare_and_swap_12): Declare.
2529         * config/mips/mips.c (mips_force_binary): New function.
2530         (mips_emit_int_order_test, mips_expand_synci_loop): Use it.
2531         (mips_expand_compare_and_swap_12): New function.
2532         * config/mips/mips.h (MIPS_COMPARE_AND_SWAP_12): New macro.
2533
2534 2008-04-25  Jan Hubicka  <jh@suse.cz>
2535
2536         PR testsuite/35843
2537         * cfgexpand.c (pass_expand): Turn into RTL pass.
2538         * passes.c (execute_one_pass): Do pass typechecking after execution.
2539         * tree-pass.h (pass_expand): Turn into RTL pass.
2540
2541         * function.h (struct rtl_data): Move here fields
2542         accesses_prior_frames, calls_eh_return, saves_all_registers,
2543         has_nonlocal_goto, has_asm_statement, is_thunk,
2544         all_throwers_are_sibcalls, limit_stack, profile, uses_const_pool,
2545         uses_pic_offset_table, uses_eh_lsda, tail_call_emit,
2546         arg_pointer_save_area_init from struct function; turn into bool.
2547         (struct function): Move
2548         calls_eh_return, saves_all_registers, has_nonlocal_goto,
2549         has_asm_statement, is_thunk, all_throwers_are_sibcalls, limit_stack,
2550         profile, uses_const_pool, uses_pic_offset_table, uses_eh_lsda,
2551         tail_call_emit, arg_pointer_save_area_init
2552         into struct rtl_data.  Remove recursive_call_emit and gimplified flags.
2553         (current_function_returns_struct, current_function_returns_pcc_struct,
2554         current_function_calls_setjmp, current_function_calls_alloca,
2555         current_function_accesses_prior_frames,
2556         current_function_calls_eh_return, current_function_is_thunk,
2557         current_function_stdarg, current_function_profile,
2558         current_function_limit_stack, current_function_uses_pic_offset_table,
2559         current_function_uses_const_pool, current_function_has_nonlocal_label,
2560         current_function_saves_all_registers,
2561         current_function_has_nonlocal_goto,
2562         current_function_has_asm_statement): Remove accesor macros.
2563         * ra-conflict.c (global_conflicts): Update.
2564         * tree-tailcall.c (suitable_for_tail_opt_p): Update.
2565         (suitable_for_tail_call_opt_p): Update.
2566         * builtins.c (expand_builtin_return_addr): Update.
2567         (expand_builtin_setjmp_setup): Update.
2568         (expand_builtin_nonlocal_goto): Update.
2569         * final.c (final_start_function): Update.
2570         (profile_function): Update.
2571         (leaf_function_p): Update.
2572         (only_leaf_regs_used): Update.
2573         * df-scan.c (df_get_exit_block_use_set): Update.
2574         * dojump.c (clear_pending_stack_adjust): Update.
2575         * tree-stdarg.c (gate_optimize_stdarg): Update.
2576         * gimple-low.c (lower_function_body): Update.
2577         * global.c (compute_regsets): Update.
2578         (global_alloc): Update.
2579         * dwarf2out.c (dwarf2out_begin_prologue): Update.
2580         * expr.c (expand_assignment): Update.
2581         * dse.c (dse_step0): Update.
2582         (dse_step1): Update.
2583         * c-decl.c (store_parm_decls): Update.
2584         * local-alloc.c (combine_regs): Update.
2585         (find_free_reg): Update.
2586         * function.c (assign_parms_augmented_arg_list): Update.
2587         (assign_parm_find_data_types): Update.
2588         (assign_parms): Update.
2589         (allocate_struct_function): Update.
2590         (expand_function_start): Update.
2591         (expand_function_end): Update.
2592         (get_arg_pointer_save_area): Update.
2593         (thread_prologue_and_epilogue_insns): Update.
2594         (rest_of_match_asm_constraints): Update.
2595         * stor-layout.c (variable_size): Update.
2596         * gcse.c (gcse_main): Update.
2597         (bypass_jumps): Update.
2598         * gimplify.c (gimplify_function_tree): Update.
2599         * calls.c (emit_call_1): Update.
2600         (expand_call): Update.
2601         * bt-load.c (compute_defs_uses_and_gen): Update.
2602         * except.c (sjlj_assign_call_site_values): Update.
2603         (sjlj_emit_function_enter): Update.
2604         (can_throw_external): Update.
2605         (set_nothrow_function_flags): Update.
2606         (expand_builtin_unwind_init): Update.
2607         (expand_eh_return): Update.
2608         (convert_to_eh_region_ranges): Update.
2609         (output_function_exception_table): Update.
2610         * emit-rtl.c (gen_tmp_stack_mem): Update.
2611         * cfgexpand.c (expand_used_vars): Update.
2612         (tree_expand_cfg): Update.
2613         * cfgcleanup.c (rest_of_handle_jump): Update.
2614         * explow.c (allocate_dynamic_stack_space): Update.
2615         * varasm.c (assemble_start_function): Update.
2616         (force_const_mem): Update.
2617         (mark_constant_pool): Update.
2618         * tree-optimize.c (tree_rest_of_compilation): Update.
2619         * stack-ptr-mod.c (notice_stack_pointer_modification): Update.
2620         * tree-cfg.c (notice_special_calls): Update.
2621         (is_ctrl_altering_stmt): Update.
2622         (tree_can_make_abnormal_goto): Update.
2623         (tree_purge_dead_abnormal_call_edges): Update.
2624         * config/alpha/predicates.md: Update.
2625         * config/alpha/alpha.c (alpha_sa_mask): Update.
2626         (alpha_sa_size): Update.
2627         (alpha_does_function_need_gp): Update.
2628         (alpha_expand_prologue): Update.
2629         (alpha_start_function): Update.
2630         (alpha_output_function_end_prologue): Update.
2631         (alpha_expand_epilogue): Update.
2632         * config/frv/frv.c (frv_stack_info): Update.
2633         (frv_expand_epilogue): Update.
2634         * config/s390/s390.c (s390_regs_ever_clobbered): Update.
2635         (s390_register_info): Update.
2636         (s390_frame_info): Update.
2637         (s390_init_frame_layout): Update.
2638         (s390_can_eliminate): Update.
2639         (save_gprs): Update.
2640         * config/spu/spu.c (spu_split_immediate): Update.
2641         (need_to_save_reg): Update.
2642         (spu_expand_prologue): Update.
2643         (spu_expand_epilogue): Update.
2644         * config/sparc/sparc.md: Update.
2645         * config/sparc/sparc.c (eligible_for_return_delay): Update.
2646         (sparc_tls_got): Update.
2647         (legitimize_pic_address): Update.
2648         (sparc_emit_call_insn): Update.
2649         (sparc_expand_prologue): Update.
2650         (output_return): Update.
2651         (print_operand): Update.
2652         (sparc_function_ok_for_sibcall): Update.
2653         * config/sparc/sparc.h (EXIT_IGNORE_STACK): Update.
2654         * config/m32r/m32r.md: Update.
2655         * config/m32r/m32r.c (MUST_SAVE_RETURN_ADDR): Update.
2656         (m32r_compute_frame_size): Update.
2657         (m32r_expand_prologue): Update.
2658         (m32r_expand_epilogue): Update.
2659         (m32r_legitimize_pic_address): Update.
2660         * config/m32r/m32r.h (FRAME_POINTER_REQUIRED): Update.
2661         * config/i386/linux.h (SUBTARGET_FRAME_POINTER_REQUIRED): Update.
2662         * config/i386/i386.c (ix86_frame_pointer_required): Update.
2663         (gen_push): Update.
2664         (ix86_save_reg): Update.
2665         (ix86_compute_frame_layout): Update.
2666         (ix86_expand_prologue): Update.
2667         (ix86_expand_epilogue): Update.
2668         * config/sh/sh.c (output_stack_adjust): Update.
2669         (calc_live_regs): Update.
2670         (sh5_schedule_saves): Update.
2671         (sh_expand_prologue): Update.
2672         (sh_expand_epilogue): Update.
2673         (sh_setup_incoming_varargs): Update.
2674         (sh_allocate_initial_value): Update.
2675         (sh_get_pr_initial_val): Update.
2676         * config/sh/sh.h (SHMEDIA_REGS_STACK_ADJUST): Update.
2677         * config/sh/sh.md (label:): Update.
2678         * config/avr/avr.c (out_movhi_mr_r): Update.
2679         * config/crx/crx.h (enum): Update.
2680         * config/xtensa/xtensa.h (along): Update.
2681         * config/stormy16/stormy16.c Update.
2682         (xstormy16_compute_stack_layout): Update.
2683         * config/fr30/fr30.c (MUST_SAVE_RETURN_POINTER): Update.
2684         (fr30_expand_prologue): Update.
2685         * config/cris/cris.c (cris_conditional_register_usage): Update.
2686         (cris_reg_saved_in_regsave_area): Update.
2687         (cris_initial_frame_pointer_offset): Update.
2688         (cris_simple_epilogue): Update.
2689         (cris_expand_prologue): Update.
2690         (cris_expand_epilogue): Update.
2691         (cris_expand_pic_call_address): Update.
2692         (cris_asm_output_symbol_ref): Update.
2693         (cris_asm_output_label_ref): Update.
2694         * config/cris/cris.md Update.
2695         * config/iq2000/iq2000.c (compute_frame_size): Update.
2696         (iq2000_expand_epilogue): Update.
2697         * config/mt/mt.h (save_direction): Update.
2698         * config/mn10300/mn10300.c (mn10300_function_value): Update.
2699         * config/ia64/ia64.c (ia64_compute_frame_size): Update.
2700         (ia64_secondary_reload_class): Update.
2701         * config/m68k/m68k.c (m68k_save_reg): Update.
2702         (m68k_expand_prologue): Update.
2703         (m68k_expand_epilogue): Update.
2704         (legitimize_pic_address): Update.
2705         * config/rs6000/rs6000.c (rs6000_got_register): Update.
2706         (first_reg_to_save): Update.
2707         (first_altivec_reg_to_save): Update.
2708         (compute_vrsave_mask): Update.
2709         (compute_save_world_info): Update.
2710         (rs6000_stack_info): Update.
2711         (spe_func_has_64bit_regs_p): Update.
2712         (rs6000_ra_ever_killed): Update.
2713         (rs6000_emit_eh_reg_restore): Update.
2714         (rs6000_emit_allocate_stack): Update.
2715         (rs6000_emit_prologue): Update.
2716         (rs6000_emit_epilogue): Update.
2717         (rs6000_output_function_epilogue): Update.
2718         (output_profile_hook): Update.
2719         (rs6000_elf_declare_function_name): Update.
2720         * config/rs6000/rs6000.h (rs6000_args): Update.
2721         * config/rs6000/rs6000.md: Update.
2722         * config/mcore/mcore.c (mcore_expand_prolog): Update.
2723         * config/arc/arc.c (arc_output_function_epilogue): Update.
2724         * config/arc/arc.h (FRAME_POINTER_REQUIRED): Update.
2725         * config/darwin.c (machopic_function_base_name): Update.
2726         * config/score/score3.c (score3_compute_frame_size): Update.
2727         (rpush): Update.
2728         (rpop): Update.
2729         (score3_epilogue): Update.
2730         * config/score/score7.c (score7_compute_frame_size): Update.
2731         (score7_prologue): Update.
2732         (score7_epilogue): Update.
2733         * config/score/score.h (FRAME_POINTER_REQUIRED): Update.
2734         * config/arm/linux-elf.h (SUBTARGET_FRAME_POINTER_REQUIRED): Update.
2735         * config/arm/arm.c (use_return_insn): Update.
2736         (require_pic_register): Update.
2737         (arm_load_pic_register): Update.
2738         (arm_compute_save_reg0_reg12_mask): Update.
2739         (arm_compute_save_reg_mask): Update.
2740         (thumb1_compute_save_reg_mask): Update.
2741         (output_return_instruction): Update.
2742         (arm_output_function_prologue): Update.
2743         (arm_output_epilogue): Update.
2744         (arm_get_frame_offsets): Update.
2745         (arm_expand_prologue): Update.
2746         (thumb_pushpop): Update.
2747         (thumb_exit): Update.
2748         (thumb1_expand_prologue): Update.
2749         (thumb1_expand_epilogue): Update.
2750         (arm_unwind_emit): Update.
2751         (arm_output_fn_unwind): Update.
2752         * config/arm/arm.h (FRAME_POINTER_REQUIRED): Update.
2753         * config/arm/arm.md: Update.
2754         * config/pa/pa.md: Update.
2755         * config/pa/pa.c (legitimize_pic_address): Update.
2756         (compute_frame_size): Update.
2757         (hppa_expand_prologue): Update.
2758         (hppa_expand_epilogue): Update.
2759         (borx_reg_operand): Update.
2760         * config/pa/pa.h (FRAME_POINTER_REQUIRED): Update.
2761         (HARD_REGNO_RENAME_OK): Update.
2762         * config/mips/mips.c (mips_global_pointer): Update.
2763         (mips_save_reg_p): Update.
2764         (mips_compute_frame_info): Update.
2765         (mips_frame_pointer_required): Update.
2766         (mips_expand_prologue): Update.
2767         (mips_expand_epilogue): Update.
2768         (mips_can_use_return_insn): Update.
2769         (mips_reorg_process_insns): Update.
2770         * config/v850/v850.c (compute_register_save_size): Update.
2771         * config/mmix/mmix.h (FRAME_POINTER_REQUIRED): Update.
2772         * config/mmix/mmix.c (along): Update.
2773         (mmix_expand_epilogue): Update.
2774         * config/bfin/bfin.c (legitimize_pic_address): Update.
2775         (must_save_p): Update.
2776         (stack_frame_needed_p): Update.
2777         (add_to_reg): Update.
2778         (bfin_expand_prologue): Update.
2779         * stmt.c (expand_asm_operands): Update.
2780         * reload1.c (reload): Update.
2781         (init_elim_table): Update.
2782
2783 2008-04-25  Bob Wilson  <bob.wilson@acm.org>
2784
2785         * optabs.c (expand_float): Fix REG_EQUAL for UNSIGNED_FLOAT libcall.
2786
2787 2008-04-25  H.J. Lu  <hongjiu.lu@intel.com>
2788
2789         * config/i386/sse.md (mov<mode>): Replace SSEMODEI with SSEMODE.
2790         (*mov<mode>_internal): Likewise.  Support V4SF and V2DF.
2791         (mov<mode>): Removed.
2792         (*movv4sf_internal): Likewise.
2793         (*movv2df_internal): Likewise.
2794
2795 2008-04-25  Pompapathi V Gadad <Pompapathi.V.Gadad@nsc.com>
2796
2797         * config.gcc (crx-*-elf): Remove deprecation.
2798
2799 2008-04-25  Danny Smith  <dannysmith@users.sourceforge.net>
2800
2801         * config/i386/cygming-crtend.c (register_frame_ctor): Register
2802         __gcc_deregister_frame with atexit.
2803         (deregister_frame_dtor): Remove.
2804
2805 2008-04-24  Nathan Froyd  <froydnj@codesourcery.com>
2806             Nathan Sidwell  <nathan@codesourcery.com>
2807
2808         * config/rs6000/rs6000.opt (mspe): Remove Var property.
2809         (misel): Likewise.
2810         * config/rs6000/rs6000.h (rs6000_spe): Declare.
2811         (rs6000_isel): Likewise.
2812         * config/rs6000/rs6000.c (rs6000_spe): New variable.
2813         (rs6000_isel): New variable.
2814         (rs6000_handle_option): Handle OPT_mspe and OPT_misel.
2815
2816 2008-04-24  Jakub Jelinek  <jakub@redhat.com>
2817
2818         PR c++/35758
2819         * c-common.c (handle_vector_size_attribute): Call
2820         lang_hooks.types.reconstruct_complex_type instead of
2821         reconstruct_complex_type.
2822         * config/rs6000/rs6000.c (rs6000_handle_altivec_attribute): Likewise.
2823         * config/spu/spu.c (spu_handle_vector_attribute): Likewise.
2824         * langhooks.h (struct lang_hooks_for_types): Add
2825         reconstruct_complex_type hook.
2826         * langhooks-def.h (LANG_HOOKS_RECONSTRUCT_COMPLEX_TYPE): Define.
2827         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Add it.
2828
2829 2008-04-24  Richard Guenther  <rguenther@suse.de>
2830
2831         * c-common.h (check_builtin_function_arguments): Declare.
2832         * c-common.c (validate_nargs): New function.
2833         (check_builtin_function_arguments): Likewise.
2834         * c-typeck.c (build_function_call): Call
2835         check_builtin_function_arguments.
2836         * builtins.c (fold_builtin_classify): Remove error reporting code.
2837         (fold_builtin_unordered_cmp): Likewise.
2838         (fold_builtin_1): Likewise.
2839         (fold_builtin_n): Likewise.
2840
2841 2008-04-24  Jakub Jelinek  <jakub@redhat.com>
2842
2843         PR tree-optimization/36008
2844         * fold-const.c (try_move_mult_to_index): If s == NULL, divide
2845         the original op1, rather than delta by step.
2846
2847 2008-04-22  Antoniu Pop  <antoniu.pop@gmail.com>
2848             Sebastian Pop  <sebastian.pop@amd.com>
2849
2850         * tree-parloops.c (take_address_of, eliminate_local_variables_1,
2851         eliminate_local_variables_stmt, eliminate_local_variables,
2852         separate_decls_in_loop_name, separate_decls_in_loop_stmt,
2853         separate_decls_in_loop, gen_parallel_loop): Make them work on a region
2854         of code delimited by two edges in the CFG.
2855         (separate_decls_in_loop_name): Renamed separate_decls_in_region_name.
2856         (separate_decls_in_loop_stmt): Renamed separate_decls_in_region_stmt.
2857         (separate_decls_in_loop): Renamed separate_decls_in_region.  Isolate
2858         the case of parallelisation of reductions.
2859         (expr_invariant_in_region_p): New.
2860
2861         * tree-flow.h (gather_blocks_in_sese_region): Declared.
2862         * tree-cfg.c (gather_blocks_in_sese_region): Extern.
2863
2864 2008-04-24  Ira Rosen  <irar@il.ibm.com>
2865             Richard Guenther  <rguenther@suse.de>
2866
2867         PR tree-optimization/36034
2868         * tree-vect-analyze.c (vect_analyze_group_access): SLP is
2869         incapable of dealing with loads with gaps.
2870
2871 2008-04-24  Rafael Espindola  <espindola@google.com>
2872
2873         * tree-flow.h (vrp_evaluate_conditional): Change signature.
2874         * tree-ssa-propagate.c (fold_predicate_in): Update call to
2875         vrp_evaluate_conditional.
2876         * tree-vrp.c (vrp_evaluate_conditional_warnv): Remove.
2877         (vrp_evaluate_conditional): Split the cond argument.
2878         (vrp_visit_cond_stmt): Use vrp_evaluate_conditional_warnv_with_ops.
2879         (simplify_stmt_for_jump_threading): Update call to
2880         vrp_evaluate_conditional.
2881
2882 2008-04-24  Ira Rosen  <irar@il.ibm.com>
2883
2884         PR tree-optimization/35982
2885         * tree-vect-analyze.c (vect_check_interleaving): Check that the
2886         interleaved data-refs are of the same type.
2887
2888 2008-04-24  Danny Smith  <dannysmith@users.net>
2889
2890         * c-format.c (check_format_info_main): Use strncmp rather than a
2891         magic prefix to handle multichar length specs.
2892         * config/i386/msformat-c.c (format_length_info ms_printf_length_specs):
2893         Don't prefix "I64" and "I32" with '\0'.
2894
2895 2008-04-24  Jakub Jelinek  <jakub@redhat.com>
2896
2897         PR target/36015
2898         * config/i386/i386.c (init_cumulative_args): Don't pass anything
2899         in registers for -m32 only if stdarg_p (fntype).
2900
2901 2008-04-24  Uros Bizjak  <ubizjak@gmail.com>
2902
2903         PR rtl-optimization/36006
2904         * expmed.c (store_fixed_bit_field): Copy op0 rtx before moving
2905         temp to op0 in order to avoid invalid rtx sharing.
2906
2907 2008-04-23  Paolo Bonzini  <bonzini@gnu.org>
2908
2909         * tree-cfg.c (verify_expr): Check with is_gimple_address.  Don't
2910         check TREE_INVARIANT.
2911         * tree-gimple.c (is_gimple_address): New.
2912         (is_gimple_invariant_address): Simplify using decl_address_invariant_p.
2913         * tree-gimple.h (is_gimple_address): New.
2914         * tree.h (decl_address_invariant_p): New.
2915         * tree.c (make_node_stat): Don't set TREE_INVARIANT.
2916         (build_string): Likewise.
2917         (decl_address_invariant_p): New, from is_gimple_invariant_address.
2918         (tree_invariant_p_1): Likewise.
2919         (save_expr): Use it.
2920         (tree_invariant_p): New.
2921         (skip_simple_arithmetic): Use it.
2922         (stabilize_reference_1): Use it.
2923         (recompute_tree_invariant_for_addr_expr): Don't update TREE_INVARIANT,
2924         simplify.
2925         (build1_stat): Drop code to compute TREE_INVARIANT.
2926         (build2_stat): Drop code to compute TREE_INVARIANT.
2927         (build3_stat): Drop code to compute TREE_INVARIANT.
2928         (build4_stat): Drop code to compute TREE_INVARIANT.
2929         (build5_stat): Drop code to compute TREE_INVARIANT.
2930         (build7_stat): Drop code to compute TREE_INVARIANT.
2931         (merge_dllimport_decl_attributes): Don't mention TREE_INVARIANT.
2932         * tree.h (struct tree_base): Remove invariant_flag.
2933         (TREE_INVARIANT): Remove.
2934         * builtins.c (build_string_literal): Don't set TREE_INVARIANT.
2935         (fold_builtin_expect): Check TREE_CONSTANT.
2936         * tree-ssa-ccp.c (fold_stmt_r): Adjust comment.
2937         * c-tree.h (c_expr_to_decl): Drop third parameter.
2938         * c-typeck.c (build_external_ref): Don't set TREE_INVARIANT.
2939         (build_c_cast): Don't set TREE_INVARIANT.
2940         (pop_init_level): Don't set TREE_INVARIANT.
2941         (c_objc_common_truthvalue_conversion): Don't set TREE_INVARIANT.
2942         * gimplify.c (gimplify_init_ctor_preeval): Add assertion, test
2943         TREE_CONSTANT.
2944         (gimplify_init_constructor): Don't set TREE_INVARIANT.
2945         (gimplify_addr_expr): Adjust comment.
2946         * tree-mudflap.c (mf_build_string):
2947         * print-tree.c (print_node): Don't print TREE_INVARIANT.
2948         * tree-nested.c (convert_nonlocal_reference): Adjust comment.
2949         * c-common.c (fix_string_type): Don't set TREE_INVARIANT.
2950         * langhooks-def.h (lhd_expr_to_decl): Drop third parameter.
2951         * langhooks.c (lhd_expr_to_decl): Drop third parameter.
2952         * langhooks.h (struct lang_hooks): Drop third parameter from
2953         expr_to_decl.
2954
2955 2008-04-23  Richard Guenther  <rguenther@suse.de>
2956
2957         PR tree-optimization/27799
2958         PR tree-optimization/32921
2959         PR tree-optimization/32624
2960         * tree-ssa-structalias.c (merge_smts_into): Only merge the
2961         SMTs aliases and the tag itself into the solution.
2962         * tree-ssa-alias.c (compute_flow_sensitive_aliasing): Do not
2963         merge the points-to solution back into the SMT aliases.
2964         (may_alias_p): Use alias_set_subset_of instead of
2965         aliases_conflict_p.  A pointer which points to
2966         memory with alias set zero may access any variable.
2967
2968 2008-04-23  Richard Guenther  <rguenther@suse.de>
2969
2970         * alias.c (alias_set_subset_of): Correctly handle asking
2971         if zero is a subset of an alias set with zero child.
2972         * tree-ssa-alias.c (have_common_aliases_p): Simplify logic.
2973         (compute_flow_insensitive_aliasing): Correctly walk all
2974         pointers.  Do not unnecessarily union sets.
2975
2976 2008-04-23  Richard Guenther  <rguenther@suse.de>
2977
2978         PR middle-end/36021
2979         * c-common.c (handle_alloc_size_attribute): Use type_num_arguments.
2980
2981 2008-04-22  Tomas Bily  <tbily@suse.cz>
2982
2983         * tree-cfg.c (verify_expr): Check for NON_LVALUE_EXPR as
2984         unreachable case.
2985         * tree-vrp.c (extract_range_from_unary_expr): Removed unused
2986         NON_LVALUE_EXPR.
2987         * tree-ssa-threadedge.c (simplify_control_stmt_condition): Likewise.
2988         * tree-ssa-structalias.c (get_constraint_for): Likewise.
2989         * tree-inline.c (estimate_num_insns_1): Likewise.
2990         * varasm.c (const_hash_1, compare_constant, copy_constant)
2991         (compute_reloc_for_constant, output_addressed_constants): Likewise.
2992         * emit-rtl.c (component_ref_for_mem_expr)
2993         (set_mem_attributes_minus_bitpos): Likewise.
2994         * expr.c (highest_pow2_factor, expand_expr_real_1, )
2995         (is_aligning_offset): Likewise.
2996         * dwarf2out.c (loc_descriptor_from_tree_1, add_bound_info): Likewise.
2997         * tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Likewise.
2998         * dojump.c (do_jump): Likewise.
2999         * builtins.c (get_pointer_alignment, get_memory_rtx)
3000         (integer_valued_real_p, fold_builtin_next_arg): Likewise.
3001         * tree-scalar-evolution.c (instantiate_parameters_1): Likewise.
3002
3003 2008-04-23  Jakub Jelinek  <jakub@redhat.com>
3004
3005         PR rtl-optimization/36017
3006         * builtins.c (expand_errno_check): Clear CALL_EXPR_TAILCALL before
3007         expanding the library call.
3008
3009 2008-04-22  Ian Lance Taylor  <iant@google.com>
3010
3011         * fold-const.c (pointer_may_wrap_p): Call int_size_in_bytes rather
3012         than size_in_bytes.
3013
3014 2008-04-22  Pat Haugen  <pthaugen@us.ibm.com>
3015
3016         * config/rs6000/rs6000.c (rs6000_register_move_cost): Increase cost
3017         of LR/CTR moves for Power6.
3018
3019 2008-04-22  Kenneth Zadeck  <zadeck@naturalbridge.com>
3020
3021         PR middle-end/36003
3022         * passes.c (init_optimization_passes): Remove
3023         pass_fast_rtl_byte_dce.
3024
3025 2008-04-22  Uros Bizjak  <ubizjak@gmail.com>
3026
3027         PR target/29096
3028         * config/i386/xmmintrin.h (_mm_cvtpi16_ps): Rearrange calls to
3029         builtin functions to generate faster code.
3030         (_mm_cvtpu16_ps): Ditto.
3031         (_mm_cvtpi32x2_ps): Ditto.
3032
3033 2008-04-22  Nick Clifton  <nickc@redhat.com>
3034
3035         * common.opt (ftree-loop-distribution): Add Optimization
3036         attribute.
3037
3038         * config/frv/frv.c (frv_stack_info): Use crtl instead of cfun.
3039         (frv_expand_builtin_va_start): Likewise.
3040
3041         * config/arm/arm.c (thumb_find_work_register): Fix location of
3042         argument register count.
3043
3044 2008-04-22  Maxim Kuvyrkov  <maxim@codesourcery.com>
3045
3046         Support scheduling for ColdFire V1 and V3 microarchitecture.
3047         Improve scheduling of multiplication instructions.
3048
3049         * config/m68k/m68k.md (cpu): Add cfv1 and cfv3.  Rename cf_v2 to cfv1.
3050         (mac): New instruction attribute.
3051         * config/m68k/m68k.c (override_options): Handle cfv1, cfv3 and mac.
3052         (m68k_sched_mac): New variable.
3053         (m68k_sched_attr_type2, m68k_sched_md_init_global): Update.
3054         Handle cfv1 and cfv3.
3055         (max_insn_size): New static variable.
3056         (struct _sched_ib): New type.
3057         (sched_ib): New static variable.
3058         (sched_ib_size, sched_ib_filled, sched_ib_insn): Convert variables
3059         to fields of 'struct _sched_ib sched_ib'.  Update all uses.
3060         (m68k_sched_variable_issue): Add modeling of cfv3 instruction buffer.
3061         Update.
3062         (m68k_sched_md_init_global, m68k_sched_md_finish_global,
3063         m68k_sched_md_init, m68k_sched_md_finish): Handle cfv1 and cfv3.  Init
3064         new variables.  Update.
3065         (m68k_sched_dfa_pre_advance_cycle, m68k_sched_dfa_post_advance_cycle):
3066         Add modeling of cfv3 instruction buffer.  Update.
3067         * config/m68k/m68k-protos.h (m68k_sched_mac): Declare.
3068         * config/m68k/m68k.h (TUNE_CFV3): New macro.
3069         * config/m68k/cf.md: Change substrings 'cf_v2' to 'cfv12' or 'cfv123'.
3070         (cf_* reservations): Rename to cfv12 or cfv123 to indicate cores
3071         a particular reservation applies to.
3072         (type2): Reorganize attribute values.  Rename alu to alu_reg,
3073         alu_l to alu, move_l to omove.  Join move to alu.  Split mul
3074         to mul_l and mul_w.
3075         (cf_ib_*): Simplify description of instruction buffer.
3076         (cf_ib_w0, cf_ib_w4, cf_ib_w5, cf_ib_w6): Remove.
3077         (cf_mem): Split into cf_mem1 and cf_mem2.
3078         (cf_v2_move_??): Rename to cfv12_alu_??.
3079         (cf_v2_move_l_??): Rename to cfv12_omove_??.
3080         (cf_v2_mul_??): Remove reservations.
3081         (cfv12_mul_l_??, cfv12_mul_w_??, cfv12_mac_w_??, cfv12_mac_l_??,
3082         cfv12_emac_??, cfv12_emac_w_i0): New reservations.
3083         (cfv12_rts, cfv12_call, cfv12_bcc, cfv12_bra, cfv12_jmp): Move to
3084         appropriate place.
3085         (cfv3_alu_10, cfv3_omove_10, cfv3_alu_i0, cfv3_omove_i0, cfv3_alu_01,
3086         cfv3_alu_0i, cfv3_alu_11, cfv3_omove_11, cfv3_alu_i1, cfv3_omove_i1,
3087         cfv3_alu_1i, cfv3_omove_1i, cfv3_pea_11, cfv3_pea_i1, cfv3_mul_w_10,
3088         cfv3_mul_l_10, cfv3_mul_w_i0, cfv3_mac_w_10, cfv3_mac_l_10,
3089         cfv3_mac_w_i0, cfv3_emac_10, cfv3_emac_w_i0, cfv3_rts, cfv3_call,
3090         cfv3_bcc, cfv3_bra, cfv3_jmp): New reservations.
3091         (cfv3_*_1, cfv3_*_2, cfv3_*_3): New instruction reservations that are
3092         expansions of the above reservations for instructions of sizes
3093         1, 2 and 3 words.
3094
3095 2008-04-22  Maxim Kuvyrkov  <maxim@codesourcery.com>
3096
3097         * rtl-factoring.c (collect_patterns_seqs): Handle CC0 targets.
3098
3099 2008-04-21  Adam Nemet  <anemet@caviumnetworks.com>
3100
3101         * coverage.c: Include tree-pass.h.
3102         (coverage_counter_alloc): Print da_file_name to the dump file.
3103
3104 2008-04-21  Kenneth Zadeck  <zadeck@naturalbridge.com>
3105
3106         * sbitmap.c (sbitmap_range_empty_p): New function.
3107         * sbitmap.h (sbitmap_range_empty_p): New function.
3108         * bitmap.h: Now includes obstack.h.
3109
3110 2008-04-21  Richard Sandiford  <rsandifo@nildram.co.uk>
3111             Kenneth Zadeck  <zadeck@naturalbridge.com>
3112
3113         * dbgcnt.def (ra_byte_scan): Added.
3114         * dbgcnt.c (dbg_cnt): Added code to print message to dump_file
3115         when the last hit happens for a counter.
3116         * timevar.def (TV_DF_BYTE_LR): New variable.
3117         * tree-pass.h (pass_fast_rtl_byte_dce): New pass.
3118         * passes.c (pass_fast_rtl_byte_dce): New pass.
3119         * fwprop.c (update_df): Added mode to call df_ref_create.
3120         Renamed DF_REF_WIDTH and DF_REF_OFFSET to DF_REF_EXTRACT_WIDTH and
3121         DF_REF_EXTRACT_OFFSET.
3122         * df.h (DF_BYTE_LR, DF_BYTE_LR_BB_INFO, DF_BYTE_LR_IN,
3123         DF_BYTE_LR_OUT, df_byte_lr): New macro.
3124         (df_mm): New enum.
3125         (df_ref_extract): Added mode field.
3126         (DF_REF_WIDTH, DF_REF_OFFSET) Renamed to DF_REF_EXTRACT_WIDTH and
3127         DF_REF_EXTRACT_OFFSET.
3128         (DF_REF_EXTRACT_MODE): New macro.
3129         (df_byte_lr_bb_info): New structure.
3130         (df_print_byte_regset, df_compute_accessed_bytes,
3131         df_byte_lr_add_problem, df_byte_lr_get_regno_start,
3132         df_byte_lr_get_regno_len, df_byte_lr_simulate_defs,
3133         df_byte_lr_simulate_uses,
3134         df_byte_lr_simulate_artificial_refs_at_top,
3135         df_byte_lr_simulate_artificial_refs_at_end,
3136         df_compute_accessed_bytes): New function.
3137         (df_ref_create): Add parameter.
3138         (df_byte_lr_get_bb_info): New inline function.
3139         * df-scan.c (df_ref_record, df_uses_record,
3140         df_ref_create_structure): Added mode parameter.
3141         (df_ref_create, df_notes_rescan, df_ref_record, df_def_record_1,
3142         df_defs_record, df_uses_record, df_get_conditional_uses,
3143         df_get_call_refs, df_insn_refs_collect, df_bb_refs_collect,
3144         df_entry_block_defs_collect, df_exit_block_uses_collect):
3145         Added mode parameter to calls to df_ref_record, df_uses_record,
3146         df_ref_create_structure.
3147         (df_ref_equal_p, df_ref_compare): Added test for modes.
3148         (df_ref_create_structure): Added code to set mode.  Renamed
3149         DF_REF_WIDTH and DF_REF_OFFSET to DF_REF_EXTRACT_WIDTH and
3150         DF_REF_EXTRACT_OFFSET.
3151         * df-core.c (df_print_byte_regset): New function.
3152         * df-byte-scan.c: New file.
3153         * df-problems.c (df_rd_transfer_function): Removed unnecessary
3154         calls to BITMAP_FREE.
3155         (df_byte_lr_problem_data, df_problem problem_BYTE_LR): New structure.
3156         (df_byte_lr_get_regno_start, df_byte_lr_get_regno_len,
3157         df_byte_lr_set_bb_info, df_byte_lr_free_bb_info,
3158         df_byte_lr_check_regs, df_byte_lr_expand_bitmap,
3159         df_byte_lr_alloc, df_byte_lr_reset, df_byte_lr_bb_local_compute,
3160         df_byte_lr_local_compute, df_byte_lr_init,
3161         df_byte_lr_confluence_0, df_byte_lr_confluence_n,
3162         df_byte_lr_transfer_function, df_byte_lr_free,
3163         df_byte_lr_top_dump, df_byte_lr_bottom_dump,
3164         df_byte_lr_add_problem, df_byte_lr_simulate_defs,
3165         df_byte_lr_simulate_uses,
3166         df_byte_lr_simulate_artificial_refs_at_top,
3167         df_byte_lr_simulate_artificial_refs_at_end): New function.
3168         * dce.c (byte_dce_process_block): New function.
3169         (dce_process_block): au is now passed in rather than computed
3170         locally.  Changed loops that look at artificial defs to not look
3171         for conditional or partial ones, because there never are any.
3172         (fast_dce): Now is able to drive byte_dce_process_block or
3173         dce_process_block depending on the kind of dce being done.
3174         (rest_of_handle_fast_dce): Add parameter to fast_dce.
3175         (rest_of_handle_fast_byte_dce): New function.
3176         (rtl_opt_pass pass_fast_rtl_byte_dce): New pass.
3177         * Makefile.in (df-byte-scan.o, debugcnt.o): Added dependencies.
3178
3179 2008-04-21  Daniel Franke  <franke.daniel@gmail.com>
3180
3181         PR fortran/35019
3182         * gcc.h: Added fortran options that take arguments to
3183         DEFAULT_SWITCH_TAKES_ARG and DEFAULT_WORD_SWITCH_TAKES_ARG
3184         macros.
3185
3186 2008-04-20  Eric Botcazou  <ebotcazou@adacore.com>
3187
3188         * tree-sra.c (sra_walk_expr) <VIEW_CONVERT_EXPR>: Disable
3189         scalarization if on the LHS and not a full access.
3190
3191 2008-04-20  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
3192
3193         * Makefile.in (s-gtyp-input): Remove tmp-gi.list before writing it.
3194
3195 2008-04-18  Rafael Espindola  <espindola@google.com>
3196
3197         * tree-vrp.c (find_case_label_index): Fix the binary search.
3198         (find_case_label_range): New.
3199         (vrp_visit_switch_stmt): Use find_case_label_range.
3200         (simplify_switch_using_ranges): Use find_case_label_range.
3201
3202 2008-04-18  Eric Botcazou  <ebotcazou@adacore.com>
3203
3204         * gimplify.c (gimplify_modify_expr_rhs) <COND_EXPR>: Gimplify the LHS
3205         using the is_gimple_lvalue predicate instead of is_gimple_min_lval.
3206
3207 2008-04-18  Tom Tromey  <tromey@redhat.com>
3208
3209         PR libcpp/15500:
3210         * doc/cpp.texi (Implementation-defined behavior): Mention
3211         -finput-charset.
3212
3213 2008-04-18  Ian Lance Taylor  <iant@google.com>
3214
3215         * fold-const.c (pointer_may_wrap_p): New static function.
3216         (fold_comparison): Add another test for pointer overflow.  Use
3217         pointer_may_wrap_p to disable some false positives.
3218
3219 2008-04-18  Kris Van Hees <kris.van.hees@oracle.com>
3220
3221         * c-common.c (CHAR16_TYPE, CHAR32_TYPE): New macros.
3222         (fname_as_string): Match updated cpp_interpret_string prototype.
3223         (fix_string_type): Support char16_t* and char32_t*.
3224         (c_common_nodes_and_builtins): Add char16_t and char32_t (and
3225         derivative) nodes.  Register as builtin if C++0x.
3226         (c_parse_error): Support CPP_CHAR{16,32}.
3227         * c-common.h (RID_CHAR16, RID_CHAR32): New elements.
3228         (enum c_tree_index) <CTI_CHAR16_TYPE, CTI_SIGNED_CHAR16_TYPE,
3229         CTI_UNSIGNED_CHAR16_TYPE, CTI_CHAR32_TYPE, CTI_SIGNED_CHAR32_TYPE,
3230         CTI_UNSIGNED_CHAR32_TYPE, CTI_CHAR16_ARRAY_TYPE,
3231         CTI_CHAR32_ARRAY_TYPE>: New elements.
3232         (char16_type_node, signed_char16_type_node, unsigned_char16_type_node,
3233         char32_type_node, signed_char32_type_node, char16_array_type_node,
3234         char32_array_type_node): New defines.
3235         * c-lex.c (cb_ident): Match updated cpp_interpret_string prototype.
3236         (c_lex_with_flags): Support CPP_CHAR{16,32} and CPP_STRING{16,32}.
3237         (lex_string): Support CPP_STRING{16,32}, match updated
3238         cpp_interpret_string and cpp_interpret_string_notranslate prototypes.
3239         (lex_charconst): Support CPP_CHAR{16,32}.
3240         * c-parser.c (c_parser_postfix_expression): Support CPP_CHAR{16,32}
3241         and CPP_STRING{16,32}.
3242
3243 2008-04-18  Paolo Bonzini  <bonzini@gnu.org>
3244
3245         PR bootstrap/35457
3246         * aclocal.m4: Regenerate.
3247         * configure: Regenerate.
3248
3249 2008-04-18  Jan Hubicka  <jh@suse.cz>
3250
3251         * except.c (dw2_size_of_call_site_table,
3252         sjlj_size_of_call_site_table): Use vector API for call_site_record.
3253
3254         * cgraphbuild.c (build_cgraph_edges): Update.
3255         * tree-pass.h: Update comment.
3256         * final.c (leaf_function_p): Update.
3257         (leaf_renumber_regs): Update.
3258         (rest_of_clean_state): Update.
3259         * omp-low.c (expand_omp_parallel): Update.
3260         * ipa-reference.c (analyze_function): Update.
3261         * reorg.c (find_end_label): Update.
3262         (optimize_skip): Update.
3263         (fill_simple_delay_slots): Update.
3264         (fill_simple_delay_slots): Update.
3265         (make_return_insns): Update.
3266         (dbr_schedule): Update.
3267         * gimple-low.c (record_vars_into): Update.
3268         * cfgbuild.c (make_edges): Update.
3269         * function.c (assign_stack_local): Update.
3270         (assign_parm_adjust_stack_rtl): Update.
3271         (locate_and_pad_parm): Update.
3272         (allocate_struct_function): Do not initialize stack_alignment_needed
3273         and preferred_stack_boundary here.
3274         (stack_protect_prologue): Update.
3275         (stack_protect_epilogue): Update.
3276         (expand_function_start): Initialize stack_alignment_needed,
3277         preferred_stack_boundary and max_jumptable_ents.
3278         (expand_function_end): Update.
3279         (free_after_compilation): Do not NULLify epilogue_delay_list.
3280         * function.h (struct rtl_data): Add stack_protect_guard,
3281         stack_alignment_needed,
3282         preferred_stack_boundary, epilogue_delay_list.
3283         (struct function): Remove value_histograms, stack_alignment_needed,
3284         preferred_stack_boundary, epilogue_delay_list, max_jumptable_ents,
3285         last_label_uid,
3286         unexpanded_var_list, stack_protect_guard.
3287         (current_function_epilogue_delay_list): Remove.
3288         * ipa-type-escape.c (analyze_function): Update.
3289         * gimplify.c (pop_gimplify_context): Update comment.
3290         * calls.c (expand_call): Update.
3291         (emit_library_call_value_1): Update.
3292         * except.c (set_nothrow_function_flags): Update.
3293         * cfgexpand.c (get_decl_align_unit): Update.
3294         (create_stack_guard): Update.
3295         (estimated_stack_frame_size): Update.
3296         (expand_used_vars): Update.
3297         (tree_expand_cfg): Free histogram earliers, init expansion variables.
3298         * explow.c (allocate_dynamic_stack_space): Update.
3299         * tree-ssa-live.c (remove_unused_locals): Update.
3300         * varasm.c (mark_constant_pool): Update.
3301         * tree-inline.c (remap_decls): Update.
3302         (initialize_cfun): Update.
3303         (declare_return_variable): Update.
3304         (inline_forbidden_p): Update.
3305         (expand_call_inline): Update.
3306         (declare_inline_vars): Update.
3307         (tree_function_versioning): Update.
3308         * tree-flow.h (value_histograms): New.
3309         (VALUE_HISTOGRAMS): New macro.
3310         * basic-block.h (control_flow_graph): Add max_jumptable_ents,
3311         last_label_uid.
3312         * tree-cfg.c (set_bb_for_stmt): Update.
3313         (replace_by_duplicate_decl): Update.
3314         (move_block_to_fn): Update.
3315         (new_label_mapper): Update.
3316         (dump_function_to_file): Update.
3317         * ipa-struct-reorg.c (build_data_structure): Update.
3318         * cfgrtl.c (print_rtl_with_bb): Update.
3319         * reload1.c (reload): Update.
3320         (reload): Update.
3321         * config/i386/i386.c (setup_incoming_varargs_64,
3322         ix86_compute_frame_layout): Update.
3323         * config/arc/arc.c (arc_output_function_epilogue): Update.
3324
3325 2008-04-18  Marius Strobl <marius@FreeBSD.org>
3326
3327         * gthr-posix.h (__gthread_active_p): Use the Solaris implementation
3328         for FreeBSD as well.
3329         * gthr-posix95.h: Likewise.
3330
3331 2008-04-17  Richard Sandiford  <rsandifo@nildram.co.uk>
3332
3333         PR rtl-optimization/35838
3334         * dse.c (find_shift_sequence): Use subreg_lowpart_offset to work
3335         out the byte offset of the first subreg.
3336
3337 2008-04-17  Uros Bizjak  <ubizjak@gmail.com>
3338
3339         * config/i386/i386.md (addti3 splitter): Pass arrays of 3 operands
3340         to split_ti instead of three separate calls with single member arrays.
3341         (subti3 splitter): Ditto.
3342         (adddi3 splitter): Ditto with split_di.
3343         (subdi3 splitter): Ditto.
3344         (negti2 splitter): Pass arrays of 2 operands to split_ti instead of
3345         two separate calls with single member arrays.  Swap match_dup
3346         operands 1 and 2 to better fit into the array.
3347         (negdi2 splitter): Ditto with split_di.
3348         (movdfcc splitter):  Pass arrays of 2 operands to split_di instead of
3349         two separate calls with single member arrays.  Swap match_dup operands
3350         6 and 7 to better fit into the array.
3351
3352 2008-04-17  H.J. Lu  <hongjiu.lu@intel.com>
3353
3354         * config/i386/i386.c (sse_builtin_type): New.
3355         (bdesc_sse_args): Likewise.
3356         (bdesc_sse_3arg): Removed.
3357         (bdesc_2arg): Remove IX86_BUILTIN_AESKEYGENASSIST128.
3358         (bdesc_1arg): Remove IX86_BUILTIN_ROUNDPD and
3359         IX86_BUILTIN_ROUNDPS.
3360         (ix86_init_mmx_sse_builtins): Handle bdesc_sse_args.  Remove
3361         bdesc_sse_3arg.  Remove IX86_BUILTIN_ROUNDPD and
3362         IX86_BUILTIN_ROUNDPS.
3363         (ix86_expand_sse_4_operands_builtin): Removed.
3364         (ix86_expand_sse_operands_builtin): New.
3365         (ix86_expand_unop_builtin): Remove CODE_FOR_sse4_1_roundpd
3366         and CODE_FOR_sse4_1_roundps.
3367         (ix86_expand_builtin): Remove IX86_BUILTIN_AESKEYGENASSIST128.
3368         Handle bdesc_sse_args.  Remove bdesc_sse_3arg.
3369
3370 2008-04-17  Alan Modra  <amodra@bigpond.net.au>
3371
3372         PR target/35907
3373         * config/rs6000/rs6000.c (rs6000_