gcc/ChangeLog

   1 2006-02-01  Steve Ellcey  <sje@cup.hp.com>
   2
   3         PR middle-end/24901
   4         * fold-const.c (fold_checksum_tree): Change type of buf.
   5
   6 2006-02-01  Bernd Schmidt  <bernd.schmidt@analog.com>
   7
   8         * reload.c (push_secondary_reload): Initialize t_icode.
   9
  10 2006-02-01  Jakub Jelinek  <jakub@redhat.com>
  11
  12         * config/rs6000/sysv4.h (SUBTARGET_OVERRIDE_OPTIONS): For
  13         -msoft-float -mlong-double-128 only issue a warning, but don't
  14         swich to DFmode long double.
  15
  16 2006-02-01  Hans-Peter Nilsson  <hp@axis.com>
  17
  18         * cse.c (fold_rtx) <case RTX_COMM_COMPARE, RTX_COMPARE>: When arg1
  19         has a constant equivalent, iterate over equivalents for arg0,
  20         calling simplify_relational_operation and if there's a result
  21         cheaper than X, apply fold_rtx and return the result.
  22
  23 2006-02-01  Jan Hubicka  <jh@suse.cz>
  24
  25         * opts.c (no_unit_at_a_time_default): New global variable.
  26         (decode_options): Use it.
  27         * opts.h (no_unit_at_a_time_default): Declare.
  28
  29 2006-02-01  Paul Brook  <paul@codesourcery.com>
  30
  31         * function.c (assign_parm_setup_reg): Use function argument promotion
  32         rules.
  33         * expr.c (expand_expr_real_1): Use function argument promotion rules
  34         for PARM_DECLs.
  35
  36 2006-02-01  Steve Ellcey  <sje@cup.hp.com>
  37
  38         * gcc.c (process_command): Change j to 'unsigned int'.
  39
  40 2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
  41
  42         PR middle-end/26001
  43         * expr.c (expand_expr_real_1) <case ARRAY_REF>:
  44         Use the corrected index for the character
  45         out of the string constant.
  46
  47 2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
  48
  49         * mode-switching.c (optimize_mode_switching): Fix size
  50         allocated for bb_info[n_entities].
  51
  52 2006-01-31  Andrew Pinski  <pinskia@physics.uc.edu>
  53
  54         * gcc.c (main): Correct type that is allocated for
  55         explicit_link_files.
  56
  57 2006-01-31  Jakub Jelinek  <jakub@redhat.com>
  58
  59         * config/s390/s390.c (init_alignment_context): Set
  60         ALIAS_SET_MEMORY_BARRIER on the MEM.
  61         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): Likewise.
  62
  63 2006-01-31  Uttam Pawar  <uttamp@us.ibm.com>
  64
  65         PR middle-end/25933
  66         * loop-unroll.c (unroll_loop_runtime_iterations): Free
  67         dom_bbs pointer.
  68         * tree-ssa-live.c (type_var_init): Allocate bitmap after
  69         call to tpa_init.
  70
  71 2006-01-31  Marcin Dalecki  <martin@dalecki.de>
  72
  73         * tree-vrp.c: Use XNEW/XCNEW allocation wrappers.
  74         * regrename.c: Ditto.
  75         * tree-ssa-loop-im.c: Ditto.
  76         * tree-dump.c: Ditto.
  77         * tree-complex.c: Ditto.
  78         * genrecog.c: Ditto.
  79         * tree-ssa-threadupdate.c: Ditto.
  80         * tracer.c: Ditto.
  81         * java/class.c: Ditto.
  82         * java/jcf-parse.c: Ditto.
  83         * java/resource.c: Ditto.
  84         * java/except.c: Ditto.
  85         * java/jvspec.c: Ditto.
  86         * java/jcf-write.c: Ditto.
  87         * java/jcf-path.c: Ditto.
  88         * java/gjavah.c: Ditto.
  89         * java/zextract.c: Ditto.
  90         * java/jcf-io.c: Ditto.
  91         * java/jcf.h: Ditto.
  92         * java/buffer.c: Ditto.
  93         * java/lang.c: Ditto.
  94         * java/parse-scan.y: Ditto.
  95         * java/lex.c: Ditto.
  96         * java/lex.h: Ditto.
  97         * cfgloopmanip.c: Ditto.
  98         * postreload-gcse.c: Ditto.
  99         * tree-ssa-loop-manip.c: Ditto.
 100         * postreload.c: Ditto.
 101         * tree-ssa-loop-ch.c: Ditto.
 102         * loop.c: Ditto.
 103         * ipa-cp.c: Ditto.
 104         * cppspec.c: Ditto.
 105         * diagnostic.c: Ditto.
 106         * final.c: Ditto.
 107         * genoutput.c: Ditto.
 108         * gcc.c: Ditto.
 109         * cfghooks.c: Ditto.
 110         * cfgloopanal.c: Ditto.
 111         * objc/objc-act.c: Ditto.
 112         * gcov.c: Ditto.
 113         * genextract.c: Ditto.
 114         * genautomata.c: Ditto.
 115         * pretty-print.c: Ditto.
 116         * genemit.c: Ditto.
 117         * cgraphunit.c: Ditto.
 118         * flow.c: Ditto.
 119         * df-scan.c: Ditto.
 120         * haifa-sched.c: Ditto.
 121         * dominance.c: Ditto.
 122         * dbxout.c: Ditto.
 123         * tree-ssa-loop-ivopts.c: Ditto.
 124         * df-core.c: Ditto.
 125         * mode-switching.c: Ditto.
 126         * modulo-sched.c: Ditto.
 127         * graph.c: Ditto.
 128         * ipa-pure-const.c: Ditto.
 129         * cse.c: Ditto.
 130         * fix-header.c: Ditto.
 131         * web.c: Ditto.
 132         * tree-stdarg.c: Ditto.
 133         * ipa-utils.c: Ditto.
 134         * loop-init.c: Ditto.
 135         * ipa-inline.c: Ditto.
 136         * cfganal.c: Ditto.
 137         * global.c: Ditto.
 138         * alloc-pool.c: Ditto.
 139         * dwarf2out.c: Ditto.
 140         * opts.c: Ditto.
 141         * genattrtab.c: Ditto.
 142         * tree-ssa-loop-ivcanon.c: Ditto.
 143         * predict.c: Ditto.
 144         * timevar.c: Ditto.
 145         * lcm.c: Ditto.
 146         * fortran/gfortranspec.c: Ditto.
 147         * regmove.c: Ditto.
 148         * local-alloc.c: Ditto.
 149         * langhooks.c: Ditto.
 150         * function.c: Ditto.
 151         * tree-vectorizer.c: Ditto.
 152         * gcse.c: Ditto.
 153         * ipa-type-escape.c: Ditto.
 154         * alias.c: Ditto.
 155         * tree-if-conv.c: Ditto.
 156         * profile.c: Ditto.
 157         * ipa.c: Ditto.
 158         * tree-data-ref.c: Ditto.
 159         * loop-unroll.c: Ditto.
 160         * treelang/treetree.c: Ditto.
 161         * calls.c: Ditto.
 162         * bt-load.c: Ditto.
 163         * ggc-common.c: Ditto.
 164         * except.c: Ditto.
 165         * coverage.c: Ditto.
 166         * cselib.c: Ditto.
 167         * tree-cfgcleanup.c: Ditto.
 168         * tree-ssa-pre.c: Ditto.
 169         * cfgcleanup.c: Ditto.
 170         * loop-invariant.c: Ditto.
 171         * loop-iv.c: Ditto.
 172         * ipa-prop.c: Ditto.
 173         * print-tree.c: Ditto.
 174         * conflict.c: Ditto.
 175         * ggc-page.c: Ditto.
 176         * sched-deps.c: Ditto.
 177         * regclass.c: Ditto.
 178         * tree-object-size.c: Ditto.
 179         * combine.c: Ditto.
 180         * bb-reorder.c: Ditto.
 181         * resource.c: Ditto.
 182         * var-tracking.c: Ditto.
 183         * cfgloop.c: Ditto.
 184         * df-problems.c: Ditto.
 185         * reg-stack.c: Ditto.
 186         * tlink.c: Ditto.
 187         * gccspec.c: Ditto.
 188         * sched-rgn.c: Ditto.
 189         * tree-ssa-structalias.c: Ditto.
 190         * tree-ssa-reassoc.c: Ditto.
 191         * config/darwin-c.c: Ditto.
 192         * config/darwin.c: Ditto.
 193         * config/arm/arm.c: Ditto.
 194         * cfgrtl.c: Ditto.
 195         * collect2.c: Ditto.
 196         * reload1.c: Ditto.
 197
 198 2006-01-31  Nicolas Pitre  <nico@cam.org>
 199
 200         * arm.md (smaxsi3): Make aware of smax_m1.
 201         (smax_m1): New.
 202
 203 2006-01-31  Nathan Sidwell  <nathan@codesourcery.com>
 204
 205         * gcc/config/m68k/lb1sf68.asm: Use moveq to load small constants.
 206
 207 2006-01-31  Richard Guenther  <rguenther@suse.de>
 208
 209         * doc/invoke.texi (-msselibm): Document.
 210         * target.h (expand_library_builtin): New target hook.
 211         * builtins.c (expand_builtin): Use expand_library_builtin.
 212         (default_expand_library_builtin): New function.
 213         * gcc.c (LINK_GCC_MATH_SPEC): Define.
 214         (LINK_COMMAND_SPEC): Handle %(link_gcc_math).
 215         (link_gcc_math_spec): Declare.
 216         (static_specs): Add link_gcc_math_spec.
 217         * expr.h (default_expand_library_builtin): Declare.
 218         * target-def.h (TARGET_EXPAND_LIBRARY_BUILTIN): Define.
 219         (TARGET_INITIALIZER): Add TARGET_EXPAND_LIBRARY_BUILTIN.
 220         * config/i386/i386.h: Provide LINK_GCC_MATH_SPEC.
 221         * config/i386/i386.opt (msselibm): New target option.
 222         * config/i386/i386.c (ix86_builtin_function_variants): New array.
 223         (ix86_init_sse_abi_builtins): New function.
 224         (ix86_expand_library_builtin): Likewise.
 225         (TARGET_EXPAND_LIBRARY_BUILTIN): Define.
 226         (override_options): Handle error conditions wrt -msselibm.
 227         (ix86_builtins): Add function codes for SSE2 ABI builtins.
 228         (ix86_init_builtins): Call ix86_init_sse_abi_builtins.
 229         * doc/extend.texi (__builtin_sse2_*): Document new target specific
 230         builtins.
 231
 232 2006-01-31  Richard Guenther  <rguenther@suse.de>
 233         Paolo Bonzini  <bonzini@gnu.org>
 234
 235         * doc/install.texi (--disable-libgcc-math): Document.
 236
 237 2006-01-30  Marcin Dalecki  <martin@dalecki.de>
 238
 239         * expr.h (expand_normal): new inline function.
 240         * builtins.c: use it, use EXPAND_NORMAL explicitely.
 241         * dojump.c: use it.
 242         * dwarf2out.c: use it.
 243         * expr.c: use it.
 244         * calls.c: use it.
 245         * expmed.c: use it.
 246         * except.c: use it.
 247         * config/sparc/sparc.c: use it.
 248         * config/i386/i386.c: use it.
 249         * config/rs6000/rs6000.c: use it.
 250         * config/arm/arm.c: use it.
 251         * config/mips/mips.c: use it.
 252         * stmt.c: use it, use EXPAND_NORMAL explicitely.
 253
 254 2006-01-30  Roger Sayle  <roger@eyesopen.com>
 255
 256         * config/i386/cygwin.h (GCC_DRIVER_HOST_INITIALIZATION): Cast
 257         argv to the appropriate type.
 258
 259 2006-01-30  Zdenek Dvorak <dvorakz@suse.cz>
 260
 261         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Remove
 262         unreachable code.
 263
 264 2006-01-30  Ulrich Weigand  <uweigand@de.ibm.com>
 265
 266         PR target/26018
 267         * config/s390/s390.c (struct machine_function): New flag
 268         decomposed_literal_pool_addresses_ok_p.
 269         (s390_reorg): Set it before final stage of literal pool transforms.
 270         (s390_decompose_address): Only accept displacements of the form
 271         (minus (label_ref ...) (label_ref ...)) if that flag is set.
 272
 273 2006-01-30  Carlos O'Donell  <carlos@codesourcery.com>
 274
 275         * optabs.c (prepare_cmp_insn): If unbaised and unsigned then bias
 276         the comparison routine return.
 277
 278 2006-01-30  Michael Matz  <matz@suse.de>
 279
 280         * global.c (find_reg): Only evict for global regs.
 281         Take n_refs into account and dump more info.
 282
 283 2006-01-30  J"orn Rennecke <joern.rennecke@st.com>
 284
 285         PR target/14798:
 286         * sh.c (pragma_interrupt, trap_exit, sp_switch): Remove variable.
 287         (pragma_trap, pragma_nosave_low_regs): Likewise.
 288         (current_function_anonymous_args): Likewise.
 289         (sh_deferred_function_attributes): New variable.
 290         (sh_deferred_function_attributes_tail): Likewise.
 291         (print_operand): For '@', look up trap_exit attribute.
 292         (calc_live_regs): Look up trapa_handler attribute.  For trapa
 293         handlers, save/restore fpscr, but don't do any other
 294         interrupt-specific saves.
 295         Don't save r0..r7 if the nosave_low_regs attribute is in effect.
 296         Fix check for partially saved registers to check for SHmedia.
 297         (sh_expand_prologue, sh_expand_epilogue): Look up sp_switch attribute.
 298         (sh_output_function_epilogue): Don't clear any of the removed
 299         variables.
 300         (sh_insert_attributes): Don't check pragma_interrupt.
 301         Insert deferred attributes.  Check that interrupt attribute is
 302         present for other attributes that require its presence.
 303         (sh_attribute_table): Add new attributes trapa_handler and
 304         nosave_low_regs.
 305         (sh_handle_sp_switch_attribute, sh_handle_trap_exit_attribute):
 306         Don't check for pragma_interrupt.  Don't store argument.
 307         * sh.h (pragma_interrupt, sp_switch): Don't declare.
 308         (sh_deferred_function_attributes): Declare.
 309         (sh_deferred_function_attributes_tail): Likewise.
 310         * sh.md (sp_switch_1): Add operand.  Change generator caller.
 311         (sh_pr_interrupt, sh_pr_trapa, sh_pr_nosave_low_regs): Remove.
 312         (*return_i): Don't use when trap_exit attribute is in effect.
 313         (*return_trapa): New insn pattern.
 314         * sh-c.c: New file.
 315         * config.gcc (sh[123456ble]*-* | sh-*-*): New trailer stanza,
 316         setting c_target_objs and cxx_target_objs.
 317         * t-sh: Add rule for sh-c.o.
 318
 319 2006-01-30  Richard Guenther  <rguenther@suse.de>
 320
 321         PR c++/23372
 322         * gimplify.c (gimplify_target_expr): Handle easy cases
 323         without creating a temporary.
 324
 325 2006-01-30  Nathan Sidwell  <nathan@codesourcery.com>
 326
 327         * vec.h (safe_grow): Remove duplicated line.
 328
 329 2006-01-29  Diego Novillo  <dnovillo@redhat.com>
 330
 331         PR 25874
 332         * omp-low.c (execute_expand_omp): Move CFG cleanup code ...
 333         (expand_omp): ... here.
 334         (expand_omp_parallel): Only remove barriers for combined
 335         parallel+workshare constructs.
 336
 337 2006-01-29  Eric Botcazou  <ebotcazou@adacore.com>
 338
 339         Revert
 340
 341         2005-11-09  Eric Botcazou  <ebotcazou@adacore.com>
 342         * tree.c (build_qualified_type): Chain the new type to the original
 343         type's TYPE_NEXT_PTR_TO or TYPE_NEXT_REF_TO linked lists if it is
 344         a POINTER_TYPE or a REFERENCE_TYPE respectively.
 345         (build_pointer_type_for_mode): Only return unqualified types.
 346         (build_reference_type_for_mode): Likewise.
 347
 348 2006-01-29  Gabriel Dos Reis  <gdr@integgrable-solutions.net>
 349
 350         * configure.ac (cxx_compat_warn): Set if -Wc++-compat is supported.
 351         * Makefile.in (CXX_COMPAT_WARN): Define.
 352         * configure: Regenerate.
 353
 354 2006-01-29  Dorit Nuzman  <dorit@il.ibm.com>
 355
 356         PR tree-opt/25911
 357         * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Change assert
 358         to an if check.
 359
 360 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 361
 362         * toplev.c: Fix thinko.
 363
 364 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 365             Marcin Dalecki  <martin@dalecki.de>
 366
 367         * toplev.c (floor_log2, exact_log2): Don't define if __cplusplus.
 368         (push_srcloc): Use XNEW.
 369         (init_asm_output, default_get_pch_validity): Use XNEWVEC.
 370
 371 2006-01-29  Kenneth Zadeck <zadeck@naturalbridge.com>
 372
 373         * df-core.c (df_set_blocks): Deleted all variable.
 374
 375 2006-01-28  Ian Lance Taylor  <ian@airs.com>
 376
 377         * cgraphunit.c (cgraph_assemble_pending_functions): Call
 378         cgraph_output_pending_asms.
 379
 380 2006-01-28  Zack Weinberg  <zackw@panix.com>
 381
 382         * c.opt: Add -W(no-)overlength-strings.
 383         * doc/invoke.texi: Document it.
 384         * c-opts.c (c_common_handle_option): -pedantic implies
 385         -Woverlength-strings, if not explicitly disabled already.
 386         (c_common_post_options): -Woverlength-strings defaults to off, and
 387         is always off for C++.
 388         * c-common.c (fix_string_type): Issue warning about strings longer
 389         than is portable only if warn_overlength_strings.  Rearrange code
 390         a little for clarity.
 391         * configure.in: Check for -Wno-overlength-strings as well before
 392         enabling -pedantic in stage 1.
 393         * Makefile.in (STRICT2_WARN): Add -Wno-overlength-strings.
 394         (gcc.o-warn, insn-automata.o-warn, build/gencondmd.o-warn): Delete.
 395
 396         * genconditions.c (write_header, write_one_condition)
 397         (write_conditions, write_writer): Consolidate very long strings
 398         that were broken up to fit in C89 portable limit.  Don't use
 399         printf when fputs will do.
 400
 401 2006-01-28  Adam Nemet  <anemet@caviumnetworks.com>
 402
 403         * combine.c (simplify_comparison <AND>): Check
 404         TRULY_NOOP_TRUNCATION before start using a subreg.
 405
 406         * config/mips/mips.md (*branch_zero<mode>,
 407         *branch_zero<mode>_inverted, *branch_equality<mode>,
 408         *branch_equality<mode>_inverted, *branch_equality<mode>_mips16):
 409         Remove mode check from comparisons.
 410
 411 2006-01-28  Kenneth Zadeck <zadeck@naturalbridge.com>
 412
 413         * config/mips/mips-protos.h (mips_set_live_on_entry): Deleted.
 414
 415 2006-01-28  Kazu Hirata  <kazu@codesourcery.com>
 416
 417         * expmed.c (const_mult_add_overflow_p): Remove.
 418         * expr.h: Remove the prototype for const_mult_add_overflow_p.
 419
 420         * recog.c (validate_replace_rtx_subexp): Remove.
 421         * recog.h: Remove the prototype for
 422         validate_replace_rtx_subexp.
 423
 424         * integrate.h: Remove the prototype for
 425         copy_decl_for_inlining.
 426         * rtl.h: Remove the prototype for mark_constant_function.
 427         * tree-vectorizer.h: Remove the prototype for
 428         vect_strip_conversion.
 429
 430         * modulo-sched.c (create_partial_schedule,
 431         free_partial_schedule, reset_partial_schedule): Make them
 432         static.
 433
 434         * hooks.c (hook_bool_rtx_int_false): Remove.
 435         * hooks.h: Remove the prototype for hook_bool_rtx_int_false.
 436
 437 2006-01-28  David Edelsohn  <edelsohn@gnu.org>
 438
 439         * config/rs6000/aix43.h (SUBTARGET_OVERRIDE_OPTIONS): -msoft-float
 440         and -mlong-double-128 are incompatible.
 441         * config/rs6000/aix52.h (SUBTARGET_OVERRIDE_OPTIONS): Same.
 442         * config/rs6000/t-aix43 (LIB2FUNCS_EXTRA): Add ppc64-fp.c.
 443         (TARGET_LIBGCC2_CFLAGS): Define.
 444         * config/rs6000/t-aix52 (LIB2FUNCS_EXTRA): Same.
 445         (TARGET_LIBGCC2_CFLAGS): Same.
 446         * config/rs6000/ppc64-fp.c: Compile for 64-bit AIX.
 447
 448 2006-01-28  Kazu Hirata  <kazu@codesourcery.com>
 449
 450         PR c/19606.
 451         * c-typeck.c (build_binary_op): Perform implicit casts of
 452         operands before shortening them.
 453
 454         * cfgloopmanip.c (split_loop_bb): Remove.
 455         * cfgloop.h: Remove the prototype for split_loop_bb.
 456
 457         * cfgloop.c (flow_loop_outside_edge_p): Remove.
 458         * cfgloop.h: Remove the prototype for
 459         flow_loop_outside_edge_p.
 460
 461         * emit-rtl.c (init_virtual_regs): Make it static.
 462         * function.h: Remove the prototype for init_virtual_regs.
 463
 464         * recog.c (peephole2_optimize): Make it static.
 465         * recog.h: Remove the prototype for peephole2_optimize.
 466
 467 2006-01-27  H.J. Lu  <hongjiu.lu@intel.com>
 468
 469         * df-scan.c (df_record_entry_block_defs): Check if
 470         INCOMING_RETURN_ADDR_RTX is defined.
 471
 472 2006-01-27  Daniel Berlin  <dberlin@dberlin.org>
 473             Kenneth Zadeck <zadeck@naturalbridge.com>
 474
 475         PR rtl-optimization/24762
 476         * doc/tm.texi: Added TARGET_EXTRA_LIVE_ON_ENTRY.
 477         * targhooks.c (hook_void_bitmap): New hook prototype.
 478         * targhoohs.h (hook_void_bitmap): Ditto.
 479         * bitmap.h (bitmap_head_def): Moved to coretypes.h.
 480         * coretypes.h (bitmap_head_def): Moved from bitmap.h.
 481         * target.h (live_on_entry): New function pointer.
 482         * df-scan.c (df_all_hard_regs): Removed.
 483         (df_scan_dump, df_hard_reg_init): Removed df_all_hard_regs.
 484         (df_scan_free_internal): Added df->entry_block_defs.
 485         (df_scan_alloc): Ditto.
 486         (df_scan_dump): Ditto.
 487         (df_uses_record): Plumbed flag field properly thru calls.
 488         Record EH_RETURN_DATA_REGNO in eh blocks unconditionally.
 489         This part fixes PR24762.
 490         (df_bb_refs_record): Added code to make the frame and arg
 491         pointers live in EH blocks.
 492         (df_refs_record): Added call to df_record_entry_block_defs.
 493         (df_record_entry_block_defs): New function.
 494         * df-core.c: Added comments to describe new artifical defs.
 495         * df.h (DF_REF_DIES_AFTER_THIS_USE): New flag in enum df_ref_flags.
 496         (entry_block_defs): New field in struct df.
 497         (df_all_hard_regs): Deleted.
 498         * target-def.h: Added TARGET_EXTRA_LIVE_ON_ENTRY.
 499         * df-problems.c (df_ru_bb_local_compute_process_def):
 500         Added code to handle artifical defs in the entry to a function.
 501         (df_ru_bb_local_compute): Ditto.
 502         (df_rd_bb_local_compute_process_def):  Ditto.
 503         (df_rd_bb_local_compute): Ditto.
 504         (df_lr_bb_local_compute): Ditto.
 505         (df_ur_bb_local_compute): Ditto.
 506         (df_urec_bb_local_compute):  Ditto.
 507         (df_chain_create_bb):  Ditto.
 508         (df_ur_local_finalize): Removed entry.
 509         (df_urec_init): Ditto.
 510         (df_urec_local_finalize): Ditto.
 511         (df_ri_bb_compute): Added detection of last use of pseudos.
 512         * Makefile.in (df-scan.o): Updated dependencies.
 513         * config/mips/mips-protos.h (mips_set_live_on_entry): Added.
 514         * config/mips/mips.c (mips_set_live_on_entry): Added.
 515         * config/mips/mips.c (TARGET_EXTRA_LIVE_ON_ENTRY): Added value
 516         for target hook.
 517         * dce.c (marked_insn_p): Added code to handle artifical defs.
 518
 519 2006-01-27  H.J. Lu  <hongjiu.lu@intel.com>
 520
 521         * config/i386/emmintrin.h (_mm_cvtsd_f64): Add missing Intel
 522         intrinsic.
 523         (_mm_cvtsi128_si64): Likewise.
 524         (_mm_cvtsd_si64): Likewise.
 525         (_mm_cvttsd_si64): Likewise.
 526         (_mm_cvtsi64_sd): Likewise.
 527         (_mm_cvtsi64_si128): Likewise.
 528         * config/i386/mmintrin.h (_m_from_int64): Likewise.
 529         (_mm_cvtsi64_m64): Likewise.
 530         (_m_to_int64): Likewise.
 531         (_mm_cvtm64_si64): Likewise.
 532         * config/i386/xmmintrin.h (_mm_cvtss_si64): Likewise.
 533         (_mm_cvttss_si64): Likewise.
 534         (_mm_cvtsi64_ss): Likewise.
 535         (_mm_cvtss_f32): Likewise.
 536
 537 2006-01-27  Carlos O'Donell  <carlos@codesourcery.com>
 538
 539         * c-pragma.c (init_pragma) : Call c_register_pragma_with_expansion
 540         for pragma redefine_extname.
 541
 542 2006-01-27  Jakub Jelinek  <jakub@redhat.com>
 543
 544         PR target/25864
 545         * libgcc-std.ver: Add GCC_4.1.0 symbol version.
 546         * config/rs6000/t-linux64 (TARGET_LIBGCC2_CFLAGS): Only append
 547         -mno-minimal-toc to previous content.
 548         (bispecs): Remove goal.
 549         * config/rs6000/ppc64-fp.c: Define TMODES before including fp-bit.h.
 550         * config/rs6000/darwin-ldouble.c: Don't provide _xlq*@GCC_3.4
 551         compatibility aliases on powerpc-*-*gnu*.
 552         * config/rs6000/libgcc-ppc-glibc.ver: New file.
 553         * config/rs6000/t-ppccomm (SHLIB_MAPFILES): Append
 554         libgcc-ppc-glibc.ver on powerpc*-*-*gnu*.
 555         (TARGET_LIBGCC2_CFLAGS): Append -specs=ldblspecs.
 556         (ldblspecs): New goal.
 557         * config/rs6000/t-linux64 (SHLIB_MAPFILES): Removed.
 558         * mklibgcc.in: If $TPBIT is empty, don't compile _sf_to_tf and
 559         _df_to_tf.
 560         * config/fp-bit.h (TMODES): Don't define if none of TFLOAT,
 561         L_sf_to_tf or L_df_to_tf is defined.
 562
 563 2006-01-27  David Edelsohn  <edelsohn@gnu.org>
 564             Alan Modra  <amodra@bigpond.net.au>
 565
 566         PR target/25864
 567         * config/rs6000/linux.h (POWERPC_LINUX): Define.
 568         * config/rs6000/linux64.h (POWERPC_LINUX): Define.
 569         * config/rs6000/darwin-ldouble.c: Build on 32-bit PowerPC.
 570         * config/rs6000/darwin.h (TARGET_IEEEQUAD): Define to zero.
 571         * config/rs6000/aix.h (TARGET_IEEEQUAD): Define to zero.
 572         * config/rs6000/rs6000.c (rs6000_ieeequad): New variable.
 573         (rs6000_override_options): Initialize rs6000_ieeequad.
 574         Initialize TFmode format to ibm_extended_format if not
 575         TARGET_IEEEQUAD.
 576         (rs6000_handle_option): Accept -mabi= ibmlongdouble and
 577         ieeelongdouble.
 578         (rs6000_emit_move): Move !TARGET_IEEEQUAD as two parts.
 579         (rs6000_return_in_memory): Only return IEEEQUAD in memory.
 580         (function_arg_advance): IBM long double passed in two FPRs, not
 581         split.
 582         (function_arg): IBM long double passed in FPRs.
 583         (rs6000_pass_by_reference): Only IEEEQUAD passed by reference.
 584         (rs6000_gimplify_va_arg): IBM long double passed in two FPRs.
 585         Only multireg GPR aligned.
 586         (rs6000_init_libfuncs): Enable IBM long double functions if not
 587         IEEEQUAD.
 588         (rs6000_generate_compare): Use IBM long double compare if not
 589         TARGET_IEEEQUAD.
 590         * config/rs6000/rs6000.h (rs6000_ieeequad): Declare.
 591         (TARGET_IEEEQUAD): Define.
 592         (CANNOT_CHANGE_MODE_CLASS): Any mode larger than doubleword if
 593         not TARGET_IEEEQUAD.
 594         * config/rs6000/rs6000.md: Enable TFmode patterns if
 595         !TARGET_IEEEQUAD.
 596         * config/rs6000/t-ppccomm (LIB2FUNCS_EXTRA): Add darwin-ldouble.c.
 597         * config/rs6000/svr4.h (SUBTARGET_OVERRIDE_OPTIONS): -msoft-float
 598         and -mlong-double-128 are incompatible.
 599         * doc/invoke.texi (-mabi): Collect options together.  Add
 600         ibmlongdouble and ieeelongdouble.
 601
 602 2006-01-27  Richard Sandiford  <richard@codesourcery.com>
 603
 604         * doc/rtl.texi (SYMBOL_REF_DATA): Adjust documentation for new
 605         opaque type.
 606         * optabs.c (init_one_libfunc): Use SET_SYMBOL_REF_DECL.
 607         * varasm.c (make_decl_rtl, build_constant_desc): Likewise.
 608         (force_const_mem): Use SET_SYMBOL_REF_CONSTANT.
 609         * rtl.h (rtunion_def): Remove rt_ptr.
 610         (X0PTR): Delete.
 611         (SYMBOL_REF_DATA): Use X0ANY instead of X0PTR.
 612         (SET_SYMBOL_REF_DECL, SET_SYMBOL_REF_CONSTANT): New macros.
 613         * config/i386/winnt.c (i386_pe_mark_dllexport)
 614         (i386_pe_mark_dllimport): Use SET_SYMBOL_REF_DECL.
 615
 616 2006-01-27 Gabor Loki <loki@gcc.gnu.org>
 617
 618         * cfgcleanup.c (try_crossjump_to_edge): Fix comment typo.
 619
 620 2006-01-26 Alexandre Oliva  <aoliva@redhat.com>
 621
 622         PR other/24829
 623         PR target/24831
 624         * gthr-dce.h: Do not gthrw-ify pthread_once_init,
 625         pthread_key_delete.  From John David Anglin.  gthrw-ify
 626         pthread_getunique_np only if it it's not a macro.  Delete
 627         UNUSED macro.
 628         (__gthread_objc_condition_allocate, __gthread_objc_condition_deallocate,
 629         __gthread_objc_condition_wait, __gthread_objc_condition_broadcast,
 630         __gthread_objc_condition_signal, __gthread_key_delete): Add
 631         "__attribute__ ((__unused__))" to unused arguments.
 632         (__gthread_recursive_mutex_init_function): Add missing return.
 633         * gthr-dce.h, gthr-tpf.h, gthr-solaris.h, gthr-posix.h,
 634         gthr-posix95.h: Use macro-based approach for name redirection
 635         on targets missing weakref.
 636
 637 2006-01-26  Zack Weinberg  <zackw@panix.com>
 638
 639         * genconditions.c (write_header): In generated code, #ifdef out
 640         all includes and fake declarations, except includes of bconfig.h
 641         and system.h, unless GCC_VERSION >= 3001.  Do not include
 642         gensupport.h in any case.
 643         (write_conditions): Generate a definition of struct c_test.  Add
 644         a comment to the generated #endif.
 645         (write_one_condition): Escape backslashes in string too.
 646         (write_writer): Generated code must escape backslashes and quote
 647         marks (but not newlines) in the strings it writes.
 648         * Makefile.in (build/gencondmd.o): Update dependencies.
 649
 650 2006-01-26  Steve Ellcey  <sje@cup.hp.com>
 651
 652         PR target/25961
 653         * Makefile.in (insn-automata.o): Add header file dependencies.
 654         * genautomata.c: Add includes.
 655
 656 2006-01-26  Steve Ellcey  <sje@cup.hp.com>
 657
 658         PR target/25961
 659         * Makefile.in (insn-automata.o): Add -Wno-error flag.
 660
 661 2006-01-26  Paolo Bonzini  <bonzini@gnu.org>
 662
 663         * configure.ac: Expect target tools paths to be passed from the toplevel
 664         and wrap the detection into AS_SET_VAR_IF.  Extract side-effects out of
 665         AS_SET_VAR_IF.
 666         * acinclude.m4 (gcc_AC_TOOL_DIRS, gcc_AC_CHECK_TOOL): Remove.
 667
 668 2006-01-26  Alexandre Oliva  <aoliva@redhat.com>
 669
 670         PR c/25892
 671         * c.opt (Wpointer-sign): Init to -1.
 672         * c-opts.c (c_common_handle_option): Set to 1 on OPT_Wall and
 673         OPT_pedantic, to 0 otherwise.
 674         * doc/invoke.texi: Update.
 675
 676 2006-01-26  Paolo Bonzini  <bonzini@gnu.org>
 677
 678         * config/i386/i386.md (extendsfdf2, extendsfxf2, extenddfxf2): Emit
 679         constants provided by 80387 instructions in the destination mode.
 680
 681 2006-01-26  Richard Guenther  <rguenther@suse.de>
 682             Andrew Pinski  <pinskia@physics.uc.edu>
 683
 684         PR tree-opt/21470
 685         partial PR tree-opt/17064
 686         * tree-ssa-structalias.c (intra_create_variable_infos):
 687         Create heap variables for incoming parameters if
 688         flag_argument_noalias > 1.
 689         (find_what_p_points_to): Look through default defs of
 690         parameter decls.
 691
 692 2006-01-26  Jeff Law  <law@redhat.com>
 693
 694         PR ada/25900
 695         * tree-vrp.c (extract_range_from_assert): When merging a VR_RANGE
 696         with a VR_ANTI_RANGE and the VR_ANTI_RANGEis completely contained
 697         within the VR_RANGE, use the VR_RANGE as the result, not the
 698         VR_ANTI_RANGE.
 699         (adjust_range_with_scev): Reject ranges from SCEV which are out
 700         of bounds for the type.
 701
 702 2006-01-26  Daniel Berlin  <dberlin@dberlin.org>
 703
 704         * tree-ssa-alias.c (maybe_create_global_var): Change
 705         subvar walking to an assertion that we don't have subvar'd variables.
 706
 707 2006-01-26  Andrew Pinski  <pinskia@physics.uc.edu>
 708
 709         PR C/25861
 710         * c-common.c (c_common_truthvalue_conversion) <case ADDR_EXPR>:
 711         Use a new variable, inner.  PARM_DECLs are always non-weak.
 712
 713 2006-01-26  Shantonu Sen  <ssen@opendarwin.org>
 714
 715         * tree.h (OMP_CLAUSE_SUBCODE_CHECK): Add definition for
 716         --disable-checking.
 717
 718 2006-01-26  Adam Nemet  <anemet@caviumnetworks.com>
 719
 720         * config/mips/mips.md (*clear_upper32): New combiner pattern.
 721
 722 2006-01-26  Richard Earnshaw  <richard.earnshaw@arm.com>
 723
 724         * arm.md (smaxsi3, sminsi3): Convert to define_expand.
 725         (smax_insn, smin_insn, smax_0, smin_0): New.
 726
 727 2006-01-26  Hans-Peter Nilsson  <hp@axis.com>
 728
 729         PR target/25947
 730         * config/cris/cris.c (cris_order_for_addsi3): New function.
 731         * config/cris/cris-protos.h: Prototype it.
 732         * config/cris/cris.md (split for "move.S1 [rx=rx+i],ry")
 733         (split for "move.S1 ry,[rx=rx+i]", split for "clear.[bwd] [rx=rx+i]")
 734         (split for "mov(s|u).S1 [rx=rx+i],ry", split for "op.S1 [rx=rx+i],ry")
 735         (split for "op.S1 [rx=rx+i],ry (swapped)")
 736         (split for "op(s|u).S1 [rx=rx+i],ry")
 737         (split for "op(s|u).S1 [rx=rx+i],ry (swapped, plus or bound)"):
 738         Apply cris_order_for_addsi3 when generating addsi3 insns.
 739
 740 2006-01-25  Diego Novillo  <dnovillo@redhat.com>
 741
 742         * tree.h (TREE_RANGE_CHECK): Fix range predicate.
 743         (TREE_BLOCK): Add call to EXPR_CHECK.
 744
 745 2006-01-25  Diego Novillo  <dnovillo@redhat.com>
 746
 747         PR 25886
 748         * tree-dump.c (dequeue_and_dump): Handle OMP_CLAUSE.
 749         * tree-pretty-print.c (dump_omp_clause): Extract from ...
 750         (dump_omp_clauses): ... here.
 751         (dump_generic_node): Handle OMP_CLAUSE.
 752         * tree.c (omp_clause_num_ops): New.
 753         (omp_clause_code_name): New.
 754         (tree_code_size): Handle OMP_CLAUSE.
 755         (tree_size): Likewise.
 756         (make_node): Document handling of OMP_CLAUSE.
 757         (tree_node_structure): Handle OMP_CLAUSE.
 758         (omp_clause_check_failed): New.
 759         (omp_clause_range_check_failed): New.
 760         (omp_clause_operand_check_failed): New.
 761         (build_omp_clause): New.
 762         (walk_tree): Adjust handling of OMP_CLAUSE_* nodes.
 763         * tree.h (enum omp_clause_code): Declare.
 764         (OMP_CLAUSE_SUBCODE_CHECK): Define.
 765         (OMP_CLAUSE_RANGE_CHECK): Define.
 766         (OMP_CLAUSE_ELT_CHECK): Define.
 767         (omp_clause_check_failed): Declare.
 768         (omp_clause_operand_check_failed): Declare.
 769         (omp_clause_range_check_failed): Declare.
 770         (OMP_CLAUSE_CHAIN): Do not use TREE_RANGE_CHECK.
 771         (OMP_CLAUSE_OPERAND): Use OMP_CLAUSE_RANGE_CHECK.
 772         (OMP_CLAUSE_PRIVATE_DEBUG): Use OMP_CLAUSE_SUBCODE_CHECK.
 773         (OMP_CLAUSE_LASTPRIVATE): Likewise.
 774         (OMP_CLAUSE_IF_EXPR): Likewise.
 775         (OMP_CLAUSE_NUM_THREADS_EXPR): Likewise.
 776         (OMP_CLAUSE_SCHEDULE_CHUNK_EXPR): Likewise.
 777         (OMP_CLAUSE_REDUCTION_CODE): Likewise.
 778         (OMP_CLAUSE_REDUCTION_INIT): Likewise.
 779         (OMP_CLAUSE_REDUCTION_MERGE): Likewise.
 780         (OMP_CLAUSE_REDUCTION_PLACEHOLDER): Likewise.
 781         Use tree_node.omp_clause.subcode instead of TREE_COMPLEXITY.
 782         (OMP_CLAUSE_SCHEDULE_KIND): Likewise.
 783         (OMP_CLAUSE_DEFAULT_KIND): Likewise.
 784         (OMP_CLAUSE_CODE): Define.
 785         (OMP_CLAUSE_SET_CODE): Define.
 786         (OMP_CLAUSE_CODE): Define.
 787         (OMP_CLAUSE_OPERAND): Define.
 788         (struct tree_omp_clause): Declare.
 789         (union tree_node): Add field 'omp_clause'.
 790         * treestruct.def (TS_OMP_CLAUSE): Define.
 791         * tree.def (OMP_CLAUSE_PRIVATE, OMP_CLAUSE_SHARED
 792         OMP_CLAUSE_FIRSTPRIVATE, OMP_CLAUSE_LASTPRIVATE,
 793         OMP_CLAUSE_REDUCTION, OMP_CLAUSE_COPYIN,
 794         OMP_CLAUSE_COPYPRIVATE, OMP_CLAUSE_IF,
 795         OMP_CLAUSE_NUM_THREADS, OMP_CLAUSE_SCHEDULE,
 796         OMP_CLAUSE_NOWAIT, OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Remove.
 797         (OMP_CLAUSE): Define.
 798         * print-tree.c (print_node): Handle OMP_CLAUSE.
 799         * omp-low.c: Adapt all uses of OMP_CLAUSE_* nodes.
 800         * c-typeck.c: Likewise.
 801         * gimplify.c: Likewise.
 802         * c-omp.c: Likewise.
 803         * tree-nested.c: Likewise.
 804         * tree-inline.c: Likewise.
 805         * c-parser.c: Likewise.
 806         * gimple-low.c (lower_omp_directive): Do not set TREE_BLOCK on
 807         clauses.
 808
 809 2006-01-25  Roger Sayle  <roger@eyesopen.com>
 810
 811         PR rtl-optimization/25703
 812         * combine.c (try_combine): Handle zero_extract and strict_low_part
 813         of non-lowpart SUBREGs for constant reg_subword_p set optimization.
 814
 815 2006-01-25  Peter Bergner  <bergner@vnet.ibm.com>
 816
 817         * global.c: Fix comment typos.
 818
 819 2006-01-25  Andrew Pinski  <pinskia@physics.uc.edu>
 820
 821         PR target/25758
 822         * config/i386/i386.c (output_pic_addr_const) <case SYMBOL_REF>:
 823         Use output_addr_const instead of assemble_name.
 824
 825 2006-01-25  Paolo Bonzini  <bonzini@gnu.org>
 826
 827         * Makefile.in (sched-vis.o): Update dependencies.
 828         * haifa-sched.c (sched_finish): Clear current_sched_info.
 829         * cfg.c (dump_bb_info): New, split from dump_flow_info.
 830         (dump_flow_info): Call it.
 831         * passes.c (execute_todo): Call print_rtl_slim_with_bb to make
 832         a slim RTL dump.
 833         * basic-block.h (dump_bb_info): Declare.
 834         * tree-dump.c (dump_enable_all): OR the flags of a -fdump-tree-all
 835         option, and apply options only for dump files whose TDF_RTL,
 836         TDF_TREE, or TDF_IPA bits match.
 837         * rtl.h: Declare new functions exported from sched-vis.c.
 838         * sched-vis.c: Enable also if scheduling is not used.
 839         (print_value): Print the mode of registers if not inside scheduling.
 840         (print_insn): Make it work outside the scheduler.  Beautify the output
 841         a bit.
 842         (dump_insn_slim, debug_insn_slim, print_rtl_slim_with_bb): New.
 843
 844 2006-01-25  Richard Sandiford  <richard@codesourcery.com>
 845
 846         * doc/rtl.texi (SYMBOL_REF_CONSTANT, SYMBOL_REF_DATA): Document.
 847         * gengtype.c (adjust_field_rtx_def): Garbage-collect field 2 of
 848         a SYMBOL_REF as either a tree or a constant_descriptor_rtx,
 849         depending on the value of CONSTANT_POOL_ADDRESS_P.
 850         * optabs.c (init_one_libfunc): Nullify SYMBOL_REF_DATA rather than
 851         SYMBOL_REF_DECL.
 852         * varasm.c (make_decl_rtl, build_constant_desc): Set SYMBOL_REF_DATA
 853         rather than SYMBOL_REF_DECL.
 854         (rtx_constant_pool): Remove const_rtx_sym_htab.
 855         (const_desc_rtx_sym_hash, const_desc_rtx_sym_eq): Delete.
 856         (init_varasm_status): Don't initialize const_rtx_sym_htab.
 857         (force_const_mem): Point SYMBOL_REF_DATA to the constant pool entry.
 858         Remove handling of const_rtx_sym_htab.
 859         (find_pool_constant): Delete.
 860         (get_pool_constant, get_pool_constant_mark): Use SYMBOL_REF_CONSTANT
 861         rather than find_pool_constant.
 862         (get_pool_constant_for_function): Delete.
 863         (get_pool_mode, mark_constant): Use SYMBOL_REF_CONSTANT rather than
 864         find_pool_constant.
 865         * rtl.h (rtunion_def): Add rt_constant and rt_ptr fields.
 866         (X0CONSTANT, X0PTR, SYMBOL_REF_DATA): New macros.
 867         (SYMBOL_REF_DECL): Return NULL if CONSTANT_POOL_ADDRESS_P.
 868         (SYMBOL_REF_CONSTANT): New macro.
 869         (get_pool_constant_for_function): Delete.
 870         * config/i386/winnt.c (i386_pe_mark_dllexport): Set SYMBOL_REF_DATA
 871         rather than SYMBOL_REF_DECL.
 872         (i386_pe_mark_dllimport): Likewise.
 873         * config/rs6000/rs6000.c (rs6000_emit_move): Copy SYMBOL_REF_DATA
 874         rather than SYMBOL_REF_DECL.
 875         * config/darwin.c (machopic_indirect_data_reference): Likewise.
 876         (machopic_indirect_call_target): Likewise.
 877
 878 2006-01-25  Eric Botcazou  <ebotcazou@adacore.com>
 879
 880         * flow.c (delete_noop_moves): Add missing EOL to dump message.
 881
 882 2006-01-25  Richard Sandiford  <richard@codesourcery.com>
 883
 884         * genattrtab.c (gen_bypass): Allow bypasses to contain whitespace.
 885
 886 2006-01-25  Kaz Kojima  <kkojima@gcc.gnu.org>
 887
 888         * config/sh/predicates.md (sh_register_operand): Accept CONST_DOUBLE.
 889
 890 2006-01-24  David Daney  <ddaney@avtrex.com>
 891
 892         PR java/25816
 893         * configure.ac (enable_tls): New enable option.
 894         (HAVE_AS_TLS): Don't do assembler check if enable_tls set.
 895         * configure: Regenerate.
 896         * doc/install.texi (--enable-tls): Document new option.
 897         (--disable-tls): Ditto.
 898
 899 2006-01-24  Richard Henderson  <rth@redehat.com>
 900
 901         * alias.h (ALIAS_SET_MEMORY_BARRIER): New.
 902         * alias.c (true_dependence): Respect it.
 903         (canon_true_dependence, write_dependence_p): Likewise.
 904         * builtins.c (get_builtin_sync_mem): Set it.
 905
 906 2006-01-25  Zdenek Dvorak <dvorakz@suse.cz>
 907
 908         * loop-iv.c (iv_analysis_loop_init): Use df analysis in a more
 909         efficient way.
 910
 911 2006-01-24  DJ Delorie  <dj@redhat.com>
 912
 913         * expmed.c (store_bit_field): Don't arbitrarily deny using insv
 914         for storing constants in single-bit bitfields.
 915
 916 2006-01-25  Ben Elliston  <bje@au.ibm.com>
 917
 918         * dfp.c (dfp_byte_swap): Use uint32_t and not unsigned long.
 919
 920 2006-01-24  Andrew Pinski  <pinskia@physics.uc.edu>
 921
 922         PR tree-opt/25860
 923         * tree-ssa-pre.c (phi_translate): Return NULL
 924         for AGGREGATE_TYPE's.
 925
 926 2006-01-24  Zack Weinberg  <zackw@panix.com>
 927
 928         * genautomata.c (process_state_for_insn_equiv_partition):
 929         Use xcalloc for insn_arcs_array.
 930         * vec.h (DEF_VEC_ALLOC_FUNC_I): New set of templates.
 931         (DEF_VEC_ALLOC_I): Use it, not DEF_VEC_ALLOC_FUNC_P.
 932
 933 2006-01-24  Richard Henderson  <rth@redhat.com>
 934
 935         * genextract.c (VEC_safe_set_locstr): Take VEC by reference;
 936         update all callers.
 937
 938 2006-01-23  Paolo Bonzini  <bonzini@gnu.org>
 939
 940         PR rtl-optimization/25890
 941         PR rtl-optimization/25905
 942         * combine.c (expand_compound_operation, expand_field_assignment):
 943         Fail if the bitfield's final position is out of bounds.
 944
 945 2006-01-24  Ian Lance Taylor  <ian@airs.com>
 946
 947         PR middle-end/25930
 948         * cgraphunit.c (cgraph_output_in_order): Don't clear
 949         cgraph_asm_nodes until after asm strings have been output.
 950
 951 2006-01-23  Adam Nemet  <anemet@caviumnetworks.com>
 952
 953         * fix-header.c (read_scan_file): Add new parameter imultilib when
 954         calling register_include_chains.
 955
 956 2006-01-23  Diego Novillo  <dnovillo@redhat.com>
 957
 958         * omp-low.c: Update documentation.
 959
 960 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
 961             Daniel Berlin  <dberlin@dberlin.org>
 962
 963         PR tree-opt/25315
 964         PR tree-opt/25857
 965         * tree-ssa-pre.c (insert_extra_phis): If an incomming edge is abnormal
 966         return from the function.
 967
 968 2006-01-22  Zack Weinberg  <zackw@panix.com>
 969
 970         * rtl.def (match_code): Add second argument.
 971         * genpreds.c (write_extract_subexp): New function.
 972         (write_match_code): Add path argument.  Use write_extract_subexp.
 973         (write_predicate_expr): Pass path to write_match_code.
 974         (mark_mode_tests): MATCH_CODE applied to a subexpression does
 975         not perform a mode test.
 976         * genrecog.c (compute_predicate_codes): MATCH_CODE applied to
 977         a subexpression does not constrain the top-level code set.
 978         * read-rtl.c (read_rtx_variadic): New function.
 979         (read_rtx_1): Use it; allow AND and IOR to be variadic.
 980         * doc/md.texi: Document new notation.
 981         * config/i386/predicates.md (cmpsi_operand_1): Fold into ...
 982         (cmpsi_operand): ... here, using new notation.
 983
 984 2006-01-22  Zack Weinberg  <zackw@panix.com>
 985
 986         * varray.c: Remove GENERATOR_FILE #ifdefs.
 987
 988 2006-01-22  Zack Weinberg  <zackw@panix.com>
 989
 990         * genautomata.c (output_reserved_units_table): Emit nothing if
 991         description->query_units_num is zero.  Remove extra blank line.
 992         (output_cpu_unit_reservation_p): Short circuit
 993         if description->query_units_num is zero.
 994
 995 2006-01-22  Zack Weinberg  <zackw@panix.com>
 996
 997         * genattrtab.c: Don't include genattrtab.h.  Define ATTR_NONE
 998         and ATTR_SPECIAL (from genattrtab.h).  Don't define num_dfa_decls
 999         nor any of the random handful of variables that used to be necessary
1000         when this program was linked with rtlanal.o.  Prune set of forward
1001         function declarations.
1002         (struct attr_desc): Remove static_p field.
1003         (hash_obstack, temp_obstack, attr_hash_table, attr_printf)
1004         (check_attr_test, make_internal_attr, make_numeric_value): Make static.
1005         (attr_string): Do not read the character one past the length of
1006         the string.
1007         (write_attr_get, find_attr, make_internal_attr): Don't touch static_p.
1008         (struct insn_reserv, all_insn_reservs, last_insn_reserv_p)
1009         (n_insn_reservs, gen_insn_reserv, struct bypass_list, all_bypasses)
1010         (n_bypasses, gen_bypass_1, gen_bypass, process_bypasses)
1011         (make_automaton_attrs): New.
1012         (main): Do not call into genautomata.  Call local gen_bypass
1013         and gen_insn_reserv as appropriate.  Call make_automaton_attrs.
1014         Remove special case for insn_alts.
1015         * genautomata.c: Include gensupport.h; not genattrtab.h nor
1016         varray.h (leftover from previous change).  Prune set of forward
1017         function declarations.  Remove state_alts fields from all
1018         structures.  Remove state_alts_table from struct automaton.
1019         Make everything except main static.  Do not maintain num_dfa_decls.
1020         Do not maintain state_alts fields of various structures.
1021         (process_decls): Don't validate condexp for dm_insn_reserv decls.
1022         (add_arc): Remove state_alts argument.  All callers updated.
1023         (output_reserved_units_table): Emit #ifdef here...
1024         (output_tables): ...not here.  Don't generate state_alts tables.
1025         (expand_automata): Don't generate attributes.
1026         (write_automata): Don't generate state_alts functions.
1027         (main): New function.
1028         (it_is_empty_reserv_sets, output_state_alts_full_vect_name)
1029         (output_state_alts_comb_vect_name, output_state_alts_check_vect_name)
1030         (AUTOMATON_STATE_ALTS_MACRO_NAME, INTERNAL_STATE_ALTS_FUNC_NAME)
1031         (STATE_ALTS_FUNC_NAME, INSN_DEFAULT_LATENCY_FUNC_NAME)
1032         (BYPASS_P_FUNC_NAME, output_state_alts_table)
1033         (output_automata_list_state_alts_code, output_internal_state_alts_func)
1034         (output_state_alts_func, make_insn_alts_attr, make_bypass_attr)
1035         (make_internal_dfa_insn_code_attr, make_default_insn_latency_attr):
1036         Delete.
1037         * genattr.c: Declare internal_dfa_insn_code in insn-attr.h.
1038         * genattrtab.h: Delete file.
1039         * Makefile.in (OBJS-common): Add insn-automata.o.
1040         (insn-automata.o): New rule.
1041         (simple_generated_c): Add insn-automata.c.
1042         (build/genattrtab.o, build/genautomata.o): Update dependencies.
1043         (genprogmd): Add automata.
1044         (build/genattrtab): Needs no extra objects nor libraries.
1045         (build/genautomata): Needs build/vec.o and -lm.
1046
1047 2006-01-22  Zack Weinberg  <zackw@panix.com>
1048
1049         * genautomata.c (process_state_longest_path, max_dfa_issue_rate)
1050         (output_dfa_max_issue_rate, locked_states_num): Delete.
1051         (struct automaton): Add locked_states field.
1052         (output_dead_lock_vect): Save number of locked states in
1053         automaton->locked_states.  If it is zero, don't print anything.
1054         (output_max_insn_queue_index_def): Define max_insn_queue_index const.
1055         (output_internal_dead_lock_func): Only test the dead_lock_vect
1056         for automata that have locked states.
1057         (output_statistics): Always print the number of locked states for
1058         each automaton.  Calculate total number of locked states here.
1059         (write_automata): Don't call output_dfa_max_issue_rate.
1060         * genattrtab.c: Define length_unit_log as a const variable.
1061         * genattr.c: Don't emit MAX_DFA_ISSUE_RATE.  Declare
1062         max_insn_queue_index const.
1063         * final.c (length_unit_log): Declare const.
1064         * doc/tm.texi: Remove all references to MAX_DFA_ISSUE_RATE.
1065
1066 2006-01-22  Zack Weinberg  <zackw@panix.com>
1067
1068         * genautomata.c:  Include vec.h, not varray.h.
1069         Delete vla_ptr_t, all of the VLA_PTR_ macros, and all of the
1070         VLA_HWINT_ macros.  Change vla_hwint_t to a typedef for
1071         VEC(vect_el_t,heap) *.  Convert all uses of VLA_* macros to
1072         VEC_* macros operating on appropriately typed vectors, or to
1073         malloced arrays when the size is known in advance.  Const-ify
1074         many char* variables and function arguments.  No functional changes.
1075         * Makefile.in (build/varray.o): Delete rule.
1076         (build/genattrtab): Depend on build/vec.o instead of build/varray.o.
1077         (build/genautomata.o): Depend on vec.h instead of $(VARRAY_H).
1078
1079 2006-01-22  Zack Weinberg  <zackw@panix.com>
1080
1081         * gensupport.c: Define get_insn_name and record_insn_name here.
1082         (read_md_rtx): Call record_insn_name as appropriate.
1083         * genattr.c, genattrtab.c, gencodes.c, genconfig.c, genemit.c
1084         * genextract.c, genflags.c, genopinit.c, genoutput.c, genpeep.c
1085         * genpreds.c, genrecog.c: Don't define get_insn_name nor
1086         record_insn_name.
1087         * Makefile.in (BUILD_SUPPORT, BUILD_PRINT): Fold into BUILD_RTL.
1088         (BUILD_VARRAY): Delete.
1089         (genprognormal): Rename genprogmd.  Fold in all programs from
1090         genprognoprint; also attrtab.
1091         (build/genattrtab): Just mention genautomata.o and varray.o.
1092         Reorganize a bit, add comments to make the categories clearer.
1093
1094 2006-01-22  Zack Weinberg  <zackw@panix.com>
1095
1096         * genconditions.c (condition_table, add_condition): Delete.
1097         (write_conditions): Don't emit n_insn_conditions nor
1098         insn_elision_unavailable.  Issue the gcc version #ifdef here,
1099         inside the table, with no #else clause ...
1100         (write_header): ...not here.
1101         (write_writer): New function.
1102         (main): Don't initialize condition_table.  Use add_c_test.
1103         Call write_writer.
1104         * gensupport.c (init_md_reader_args_cb): Handle multiple input
1105         files on the command line.
1106         (maybe_eval_c_test): Don't check insn_elision_unavailable.
1107         Return -1 if there is no entry in the table, don't abort.
1108         (add_c_test, traverse_c_tests): New functions.
1109         * gensupport.h (insn_elision_unavailable, insn_conditions)
1110         (n_insn_conditions): Delete declarations.
1111         (add_c_test, traverse_c_tests): Declare.
1112         * read-rtl.c: Include gensupport.h.
1113         (read_conditions): New function.
1114         (read_rtx): If read_rtx_1 returns 0, treat as EOF.
1115         (read_rtx_1): If we get EOF when we were looking for an initial
1116         open paren, return 0.  Call read_conditions when appropriate.
1117         * Makefile.in: Kill BUILD_EARLY_SUPPORT and all references to
1118         dummy-conditions.o.  Eliminate references to insn-conditions.o,
1119         or change them to build/gencondmd.o, as appropriate.  Remove
1120         insn-constants.h from $(simple_generated_h) and insn-conditions.c
1121         from $(simple_generated_c).  For all files remaining in those
1122         two lists, add insn-conditions.md to the generator command line.
1123         Give insn-constants.h/s-constants their own rules.  Add rules
1124         for build/gencondmd.c, s-conditions, insn-conditions.md, s-condmd.
1125         (build/read-rtl.o): Depend on gensupport.h.
1126         (genprognormal): Include preds.
1127         (genprogearly): Rename genprognoprint; only difference is now that
1128         they don't link with $(BUILD_PRINT).
1129         * dummy-conditions.c: Delete.
1130
1131 2006-01-22  Zack Weinberg  <zackw@panix.com>
1132
1133         * genextract.c: Don't include insn-config.h.  Do include vec.h.
1134         Declare vectors of int, char, and locstr.
1135         (locstr): New typedef.
1136         (struct extraction): Make all array fields into bare pointers.
1137         (insn_name_ptr, insn_name_ptr_size): Move down by get_insn_name.
1138         (insn_code_number): Delete.
1139         (accum_extract): New struct.
1140         (VEC_safe_set_locstr, VEC_char_to_string): New functions.
1141         (gen_insn): Take insn_code_number as an argument.  Use an
1142         accum_extract structure instead of loading data directly into
1143         a struct extraction, and having to know how big it might get.
1144         (walk_rtx): Operate entirely on an accum_extract structure.
1145         (print_path): Avoid unnecessary use of printf.
1146         (print_header): New function, split out of main.  Distinguish
1147         more carefully between an unrecognizable insn and an insn that
1148         has the code number of a define_expand.
1149         (main): Pass insn_code_number to gen_insn.  Call print_header
1150         only after parsing.  Avoid unnecessary use of printf.
1151         * Makefile.in (build/vec.o): New rule.
1152         (build/genextract): Depend on build/vec.o.
1153         (build/genextract.o): Don't depend on insn-config.h.
1154
1155 2006-01-22  Zack Weinberg  <zackw@panix.com>
1156
1157         * Makefile.in: Consolidate most rules that use $(CC_FOR_BUILD) and/or
1158         $(RUN_GEN).  Use pattern rules to factor out as much boilerplate as
1159         practical.  Eliminate per-generator-program link rules.
1160
1161 2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>
1162
1163         PR middle-end/24437
1164         * tree-ssa-ccp.c (fold_stmt): Move folding of OBJ_TYPE_REF
1165         with a call expr to ...
1166         * fold-const.c (fold_ternary) <case CALL_EXPR>: Here.
1167
1168 2006-01-23  Richard Guenther  <rguenther@suse.de>
1169
1170         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Add comment
1171         before make_edge with conditional EDGE_TRUE_VALUE.
1172
1173 2006-01-23  Steven Bosscher  <stevenb.gcc@gmail.com>
1174         Jan Hubicka  <jh@suse.cz>
1175         Richard Guenther  <rguenther@suse.de>
1176
1177         PR rtl-optimization/25654
1178         * cfgexpand.c (aggregate_contains_union_type): New function.
1179         (add_alias_set_conflicts): Call it.  Make sure to add conflicts
1180         for structure variables that contain a union type.
1181
1182 2006-01-23  Richard Sandiford  <richard@codesourcery.com>
1183
1184         * gengtype.c (new_structure): Return the structure.
1185         (create_option): Add an extra "next" argument.
1186         (create_field): New function.
1187         (adjust_field_rtx_def): Use create_option and create_field.
1188         Remove a now-unnecessary call to find_structure.
1189         (adjust_field_tree_def): Likewise.
1190         (note_yacc_type): Remove an unnecessary call to find_structure.
1191         * gengtype.h (new_structure): Return the structure.
1192         (create_option): Add an extra argument.
1193         * gengtype-yacc.y (type): Remove unnecessary calls to find_structure.
1194         (option): Adjust calls to create_option.
1195
1196 2006-01-22  David Edelsohn  <edelsohn@gnu.org>
1197
1198         * config/rs6000/aix.h (STACK_BOUNDARY): Define.
1199
1200 2006-01-22  Paul Brook  <paul@codesourcery.com>
1201         Peter Barada  <peter@the-baradas.com>
1202
1203         * config/m68k/m68k.md: Add Coldfire FPU support.
1204         Define FP mode macro and associated attributes.
1205         Use it for float mode patterns.
1206         * config/m68k/linux.h (FUNCTION_VALUE): Use m68k_function_value.
1207         (LIBCALL_VALUE): Use m68k_libcall_value.
1208         * config/m68k/m68k-protos.h (m68k_libcall_value): Add prototype.
1209         (m68k_function_value): Ditto.
1210         (emit_move_sequence): Ditto.
1211         * config/m68k/m68kemb.h (LIBCALL_VALUE): Use m68k_libcall_value.
1212         * config/m68k/m68k-none.h (ASM_SPEC): Add mcfv4e.
1213         * config/m68k/t-m68kelf (MULTILIB_OPTIONS): Add mcfv4e.
1214         (MULTILIB_EXCEPTIONS): Ditto.
1215         * config/m68k/m68k.opt: Add mcfv4e.
1216         * config/m68k/m68k.c (m68k_handle_option): Handle OPT_mcfv4e.
1217         (m68k_compute_frame_layout): Include space for ColdFire FPU regs.
1218         (m68k_output_function_prologue): Save ColdFire FPU registers.
1219         (m68k_output_function_epilogue): Restore ColdFire FPU registers.
1220         (force_mode, fp_reg_operand, emit_move_sequence): New functions.
1221         (m68k_regno_mode_ok): Don't allow types larget than 8 bytes in
1222         ColdFire FPU registers.
1223         (m68k_libcall_value, m68k_function_value): New functions.
1224         * config/m68k/netbsd-elf.h (FUNCTION_VALUE): Use m68k_function_value.
1225         (LIBCALL_VALUE): Use m68k_libcall_value.
1226         * config/m68k/m68k.h (TARGET_CPU_CPP_BUILTINS): Define __mcfv4e__.
1227         (MASK_COLDFIRE): Add MASK_CFV4E.
1228         (TARGET_COLDFIRE_FPU, TARGET_HARD_FLOAT, TARGET_FP_REG_SIZE): New.
1229         (MODES_TIEABLE_P): Use TARGET_HARD_FLOAT.
1230         (REG_CLASS_FROM_LETTER, PREFERRED_RELOAD_CLASS): Ditto.
1231         (GO_IF_COLDFIRE_FPU_LEGITIMATE_ADDRESS): Define.
1232         (GO_IF_LEGITIMATE_ADDRESS): Use it.
1233         (LEGITIMIZE_ADDRESS): Handle ColdFire FPU addresses.
1234         * doc/invoke.tex: Document -mcfv4e on m68k.
1235
1236 2006-01-22  Ranjit Mathew  <rmathew@gcc.gnu.org>
1237
1238         * doc/contribute.texi: Change CVS to SVN and update the corresponding
1239         URL.
1240
1241 2006-01-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1242
1243         PR c++/16190
1244         * c-opts.c (c_common_handle_option): Don't include
1245         -Wnon-virtual-dtor in -Wall; enable if -Weffc++.
1246         * doc/invoke.texi (C++ Dialect Options): Document that
1247         -Wnon-virtual-dtor is no longer included in -Wall.
1248
1249 2006-01-21  Joseph S. Myers  <joseph@codesourcery.com>
1250
1251         * gcov.c (print_version), gcov-dump.c (print_version),
1252         mips-tdump.c (main), mips-tfile.c (main): Update copyright notice
1253         dates.
1254
1255 2006-01-21  Kenneth Zadeck <zadeck@naturalbridge.com>
1256
1257         * df-scan.c (problem_SCAN): Added NULL reset function.
1258         (df_scan_reset_blocks): Added code to call reset block function
1259         (df_bb_refs_delete) Fixed comment.
1260         (df_insn_refs_delete): Made tolerant of deleting non existent info
1261         for dataflow problems that need to be reset.
1262         * df-core.c (df_set_blocks): Ditto.
1263         * df.h (struct df_problem): Added reset_fun.
1264         * df-problems.c (problem_RU, problem_RD, problem_LR, problem_UR,
1265         problem_UREC, problem_CHAIN, problem_RI): Initialized reset_fun field.
1266         (df_chain_insn_reset, df_chain_bb_reset, df_chain_reset): New
1267         functions to clear out all references to def-use or use-def chains.
1268
1269 2006-01-21  Ben Elliston  <bje@au.ibm.com>
1270
1271         * varasm.c (assemble_real): Initialise data array.
1272
1273 2006-01-20  Paul Brook  <paul@codesourcery.com>
1274
1275         Merge from csl-arm-branch.
1276         2005-09-21  Kazu Hirata  <kazu@codesourcery.com>
1277         * config/arm/arm.md (movdi): Force operands[1] to a register
1278         if we have a non-register source.
1279         (*arm_movdi, *movdf_soft_insn): Require that one of the
1280         operands be a register.
1281         * config/arm/iwmmxt.md (*iwmmxt_arm_movdi): Likewise.
1282         * config/arm/vfp.md (*arm_movdi_vfp, *movdf_vfp): Likewise.
1283
1284 2006-01-20  DJ Delorie  <dj@redhat.com>
1285
1286         * varasm.c (initialize_constant_valid_p): Allow pointers
1287         initialized from integer constants of lesser precision.
1288         (output_constant): Allow non-int-sized pointer modes to be
1289         initialized from integer constants.
1290
1291 2006-01-20  Joseph S. Myers  <joseph@codesourcery.com>
1292
1293         PR libstdc++/25524
1294         * cppdefault.h (struct default_include): Add multilib flag.
1295         * cppdefault.c (cpp_include_defaults): Set it.
1296         * c.opt (-imultilib): New option.
1297         * c-opts.c (imultilib): New.
1298         (c_common_handle_option): Handle -imultilib.
1299         (c_common_post_options): Likewise.
1300         * c-incpath.c (add_standard_paths, register_include_chains):
1301         Likewise.
1302         * c-incpath.h (register_include_chains): Add extra parameter.
1303         * gcc.c (do_spec_1): Generate -imultilib option.
1304         (The Specs Language): Update %I description.
1305         (process_command): Update copyright notice.
1306         * doc/cppopts.texi (-imultilib): Document.
1307         * doc/invoke.texi (-imultilib): Include in option summary.
1308         (%I): Update specs documentation.
1309
1310 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
1311
1312         * loop-iv.c (iv_analysis_loop_init): Use df in more conservative way.
1313
1314 2006-01-20  Richard Sandiford  <richard@codesourcery.com>
1315
1316         * stmt.c (case_bit_test_cmp): Stabilize the sort using code
1317         label numbers.
1318
1319 2006-01-20  Richard Guenther  <rguenther@suse.de>
1320         Steven Bosscher <stevenb.gcc@gmail.com>
1321
1322         PR rtl-optimization/24626
1323         * cfgloopmanip.c (lv_adjust_loop_entry_edge): Don't set
1324         EDGE_TRUE_VALUE if in RTL mode.
1325
1326         Revert
1327         2005-03-30 Mostafa Hagog <mustafa@il.ibm.com>
1328         * cfgrtl.c (rtl_verify_flow_info_1): Fix.
1329
1330 2006-01-20  Dirk Mueller  <dmueller@suse.com>
1331
1332         PR c++/5520
1333         * c-parser.c (c_parser_if_body): Use build_empty_stmt()
1334         instead of a special NOP marker.
1335         * c-typeck.c (c_finish_if_stmt): Remove obsoleted special
1336         NOP marker handling.
1337         * c-common.h (empty_body_warning): Add forward declaration.
1338         * c-common.c (empty_body_warning): Add (from c_finish_if_stmt).
1339         Now uses IS_EMPTY_STMT() instead of special NOP markers.
1340
1341 2006-01-20  Paul Brook  <paul@codesourcery.com>
1342
1343         * Makefile.in (lang_checks): Keep going if mkdir fails.
1344
1345 2006-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
1346
1347         * df-scan.c (df_scan_free_bb_info): Added basic block parameter to
1348         be able to clean out basic block when not necessary.
1349         (df_scan_free): Fixed to properly delete information if df is
1350         unused before calling df_finish.
1351         (df_scan_alloc, df_rescan_blocks, df_reg_chain_unlink,
1352         df_insn_create_insn_record, df_bb_refs_record): Fixed formatting
1353         or comment typos.
1354         (df_bb_refs_delete): New function.
1355         (df_refs_delete): Moved per block code to df_bb_refs_delete.
1356         * df-core.c (df_set_blocks): Added code to properly clean out
1357         unused blocks if they are not part of the blocks to consider.
1358         Added additional null check.
1359         (df_compact_blocks): Added basic block parameter to free_bb_fun to
1360         be able to clean out basic block when not necessary
1361         * df.h (df_free_bb_function): Ditto.
1362         (df_bb_refs_delete): New function.
1363         * df-problems.c (df_ru_free_bb_info, df_rd_set_bb_info,
1364         df_lr_set_bb_info, df_ur_free_bb_info, df_urec_free_bb_info):Added
1365         basic block parameter to be able to clean out basic block when not
1366         necessary.
1367         (df_ru_alloc, df_rd_alloc): Fixed dyslexic overflow test.
1368         (df_ru_free, df_rd_free, df_lr_free, df_ur_free, df_urec_free):
1369         Fixed to properly delete information if df is unused before
1370         calling df_finish.
1371
1372 2006-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
1373
1374         PR rtl-optimization/25799
1375         * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
1376         Corrected confluence operator to remove bits from op2 before oring
1377         with op1 rather than removing bits from op1.
1378         (df_ru_transfer_function): Corrected test on wrong bitmap which
1379         caused infinite loop.  Both of these problems were introduced in
1380         the dataflow rewrite.
1381
1382 2006-01-19  DJ Delorie  <dj@redhat.com>
1383
1384         * reload1.c (find_reload_regs): Note the details of reload
1385         failures in the dump file.
1386         (spill_failure): Likewise.
1387
1388 2006-01-20  Zdenek Dvorak <dvorakz@suse.cz>
1389
1390         * loop-iv.c: Include df.h and hashtab.h.
1391         (enum iv_grd_result): New enum.
1392         (DF_REF_IV, DF_REF_IV_SET): New macros.
1393         (struct biv_entry): New.
1394         (df, bivs): New global variables.
1395         (struct insn_info, insn_info, last_def, bivs, max_insn_no, max_reg_no,
1396         assign_luids, mark_sets, kill_sets, mark_single_set, simple_set_p):
1397         Removed.
1398         (clear_iv_info, latch_dominating_def, record_iv, iv_analyze_expr,
1399         iv_analyze_result, iv_analyze_def, biv_hash, biv_eq,
1400         analyzed_for_bivness_p, record_biv): New functions.
1401         (iv_analysis_loop_init, iv_get_reaching_def, simple_reg_p,
1402         get_biv_step_1, get_biv_step, iv_analyze_biv, iv_analyze_op,
1403         iv_analyze, biv_p, iv_analysis_done): Work with df representation of
1404         UD chains.
1405         (iv_constant, iv_subreg, iv_extend, iv_mult, iv_shift): Do not set
1406         analysed.
1407         (iv_number_of_iterations): Use new interface to iv analysis.
1408         * loop-unroll.c: Do not include varray.h.
1409         (analyze_iv_to_split_insn): Use new interface to iv
1410         analysis.
1411         * loop-unswitch.c (may_unswitch_on): Ditto.
1412         * df.c (df_bitmaps_free): Only work for bbs for that structures are
1413         allocated.
1414         (df_bb_modify): Realloc tables to the new index.
1415         (df_find_use): New function.
1416         * df.h (df_find_use): Declare.
1417         * optabs.c (expand_unop): Make the mode of the REG_EQUAL node be
1418         outmode.
1419         * cfgloop.h (struct rtx_iv): Remove analysed field.
1420         (iv_get_reaching_def): Removed.
1421         (iv_analyze_result, iv_analyze_expr, iv_current_loop_df): Declare.
1422         * Makefile.in (loop-unroll.o): Remove VARRAY_H dependency.
1423         (loop-iv.o): Add df.h and hashtab.h dependency.
1424         * df-problems.c (df_ru_alloc, df_rd_alloc): Fix memory reallocation.
1425
1426 2006-01-20  Alan Modra  <amodra@bigpond.net.au>
1427
1428         * libgcc2.c (__floatdisf, __floatdidf): Don't use IBM Extended
1429         Double TFmode.
1430         (__floatundisf, __floatundidf): Likewise.
1431         * libgcc2.h (IS_IBM_EXTENDED): Define.
1432
1433 2006-01-19  DJ Delorie  <dj@redhat.com>
1434
1435         * config/m32c/m32c.h (REG_ALLOC_ORDER): Define.
1436
1437 2006-01-19  Paul Brook  <paul@codesourcery.com>
1438
1439         * gcc/config/arm/arm.c (arm_compute_func_type): Treat all functions
1440         as nothrow when unwinding tables are disabled.
1441
1442 2006-01-19  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1443
1444         PR testsuite/25171
1445         * c-decl.c (check_bitfield_type_and_width): Don't issue pedwarn "type
1446         of bit-field" when in system header.
1447
1448 2006-01-19  DJ Delorie  <dj@redhat.com>
1449
1450         * config/m32c/m32c.c (m32c_prepare_shift): Add code to deal with
1451         the 16 bit shift limit of the m16c.
1452
1453 2006-01-19  Andrew Pinski  <pinskia@physics.uc.edu>
1454
1455         PR target/22099
1456         * config/i386/i386.md (builtin_setjmp_receiver): Don't emit the label.
1457         * config/i386/i386.c (output_set_got): Output the label if we have one
1458         for the TARGET_DEEP_BRANCH_PREDICTION case.
1459
1460 2006-01-19  Jan Hubicka  <jh@suse.cz>
1461             H.J. Lu  <hongjiu.lu@intel.com>
1462             Evandro Menezes <evandro.menezes@amd.com>
1463
1464         * invoke.texi (generic): Document
1465         (i686) Update.
1466         * config.gcc: Make x86_64-* and i686-* default to generic tunning.
1467         * i386.h (TARGET_GENERIC32, TARGET_GENERIC64, TARGET_GENERIC,
1468         TARGET_USE_INCDEC, TARGET_PAD_RETURNS): New macros.
1469         (x86_use_incdec, x86_pad_returns): New variables
1470         (TARGET_CPU_DEFAULT_generic): New constant
1471         (TARGET_CPU_DEFAULT_NAMES): Add generic.
1472         (enum processor_type): Add generic32 and generic64.
1473         * i386.md (cpu attribute): Add generic32/generic64
1474         (movhi splitter): Behave sanely when both partial_reg_dependency and
1475         partial_reg_stall are set.
1476         (K8 splitters): Enable for generic as well.
1477         * predicates.md (incdec_operand): Use TARGET_INCDEC
1478         (aligned_operand): Avoid memory mismatch stalls.
1479         * athlon.md: Enable for generic64, new patterns for 128bit moves.
1480         * ppro.md: Enable for generic32
1481         * i386.c (generic64_cost, generic32_cost): New.
1482         (m_GENERIC32, m_GENERIC64, m_GENERIC): New macros.
1483         (x86_use_leave): Enable for generic64.  (x86_use_sahf,
1484         x86_ext_80387_constants): Enable for generic32.  (x86_push_memory,
1485         x86_movx, x86_unroll_strlen, x86_deep_branch, x86_use_simode_fiop,
1486         x86_use_cltd, x86_promote_QImode, x86_sub_esp_4, x86_sub_esp_8,
1487         x86_add_esp_4, x86_add_esp_8, x86_integer_DFmode_moves,
1488         x86_partial_reg_dependency, x86_memory_mismatch_stall,
1489         x86_accumulate_outgoing_args, x86_prologue_using_move,
1490         x86_epilogue_using_move, x86_arch_always_fancy_math_387,
1491         x86_sse_partial_reg_dependency, x86_four_jump_limit, x86_schedule):
1492         Enable for generic.
1493         (x86_use_incdec, x86_pad_returns): New.
1494         (override_options): Add generic32 and generic64, translate "generic"
1495         to generic32/generic64 and "i686" to "generic32", refuse
1496         "generic32"/"generic64" as arch target.
1497         (ix86_issue_rate, ix86_adjust_cost): Handle generic as athlon.
1498         (ix86_reorg): Honor PAD_RETURNS.
1499
1500 2006-01-19  Diego Novillo  <dnovillo@redhat.com>
1501
1502         * tree-pretty-print.c (dump_generic_node): Handle
1503         OMP_PARALLEL_FN, OMP_PARALLEL_DATA_ARG and OMP_RETURN_EXPR.
1504         * cgraph.c (cgraph_expand_queue): Rename from
1505         cgraph_analyze_queue.  Update all users.
1506         * cgraphunit.c (cgraph_assemble_pending_functions): Process
1507         cgraph_expand_queue.
1508         (cgraph_expand_all_functions): Likewise.
1509         (cgraph_finalize_pending_functions): Remove.  Update callers.
1510
1511         * tree.h (OMP_DIRECTIVE_P): Define.
1512         (OMP_PARALLEL_FN): Define.
1513         (OMP_PARALLEL_DATA_ARG): Define.
1514         (OMP_SECTIONS_SECTIONS): Define.
1515         * tree-pass.h (pass_expand_omp): Declare.
1516         * omp-low.c (struct omp_region): Declare.
1517         (struct omp_context): Remove fields 'parallel_type',
1518         'parallel_start_ix' and 'parallel_start_additional_args'.
1519         Update all users.
1520         (struct omp_for_data): Rename from struct expand_omp_for_data.
1521         (omp_regions): New static variable.
1522         (root_omp_region): New static variable.
1523         (find_omp_clause): Make static.
1524         (is_in_combined_parallel_ctx): Remove.
1525         (is_combined_parallel): New.
1526         (extract_omp_for_data): Move earlier in the file.
1527         (workshare_safe_to_combine_p): New.
1528         (get_ws_args_for): New.
1529         (determine_parallel_type): Move earlier in the file.
1530         (omp_copy_decl_2): Do not set DECL_CONTEXT of new local to the
1531         child function.
1532         (omp_copy_decl): Likewise.
1533         (create_omp_child_function): Likewise.
1534         (lookup_omp_region): New.
1535         (dump_omp_region): New.
1536         (debug_omp_region): New.
1537         (debug_all_omp_regions): New.
1538         (new_omp_region): New.
1539         (scan_omp_parallel): If parallel_nesting_level > 1, the
1540         directive is nested within another parallel directive.
1541         Set OMP_PARALLEL_FN.
1542         (scan_omp_for): Do not try to handle combined parallel+for
1543         cases.
1544         Remove FIXME comment.
1545         (scan_omp_nested): Remove.
1546         (scan_omp_1): Do not call scan_omp_nested when
1547         parallel_nesting_level is > 1.
1548         Do not change the DECL_CONTEXT of local variables found.
1549         (lookup_decl_in_outer_ctx): New.
1550         (lower_rec_input_clauses): Rename from expand_rec_input_clauses.
1551         (lower_lastprivate_clauses): Rename from expand_lastprivate_clauses.
1552         (lower_reduction_clauses): Rename from expand_reduction_clauses.
1553         (lower_copyprivate_clauses): Rename from expand_copyprivate_clauses.
1554         If CTX is nested, lookup VAR in the outer context when
1555         building copy assignment.
1556         (lower_send_clauses): Rename from expand_send_clauses.
1557         If CTX is nested, lookup VAR in the outer context when
1558         building copy assignments.
1559         (lower_send_shared_vars): Rename from expand_send_shared_vars.
1560         If CTX is nested, lookup VAR in the outer context when
1561         building copy assignments.
1562         (expand_parallel_call): Rename from build_parallel_call.
1563         Handle combined parallel+workshare cases.
1564         Re-implement to emit code into the CFG.
1565         (list2chain): New.
1566         (expand_omp_parallel): Re-implement to emit code into the CFG.
1567         Call move_sese_region_to_fn to outline the sub-graph
1568         containing the parallel region.
1569         (expand_omp_for_1): Remove.
1570         (expand_omp_for_generic): Re-implement to emit code into the
1571         CFG.
1572         (expand_omp_for_static_nochunk): Likewise.
1573         (expand_omp_for_static_chunk): Likewise.
1574         (expand_omp_for): Likewise.
1575         (expand_omp_sections): Likewise.
1576         (remove_exit_barriers): New.
1577         (expand_omp_synch): New.
1578         (expand_omp): New.
1579         (build_omp_regions_1): New.
1580         (build_omp_regions): New.
1581         (execute_expand_omp): New.
1582         (gate_expand_omp): New.
1583         (pass_expand_omp): Define.
1584         (lower_omp_sections): Rename from expand_omp_sections.
1585         Set OMP_SECTIONS_SECTIONS.
1586         (lower_omp_single_simple): Rename from expand_omp_single_simple.
1587         (lower_omp_single_copy): Rename from expand_omp_single_copy.
1588         (lower_omp_single): Rename from expand_omp_simple.
1589         (lower_omp_master): Rename from expand_omp_master.
1590         (lower_omp_ordered): Rename from expand_omp_ordered.
1591         (lower_omp_critical): Rename from expand_omp_critical.
1592         (lower_omp_for_lastprivate): Rename from expand_omp_for_lastprivate.
1593         (lower_omp_for): Re-implement.
1594         (lower_omp_parallel): Re-implement.
1595         (lower_regimplify): Rename from expand_regimplify.
1596         (lower_omp_1): Rename from expand_omp_1.
1597         If there are syntax errors in the program, replace every
1598         OpenMP directive with NOP.
1599         Call lower_omp_* instead of expand_omp_*.
1600         (lower_omp): Rename from expand_omp.
1601
1602         * tree-gimple.c (is_gimple_stmt): Handle OMP_RETURN_EXPR.
1603         * tree-gimple.h (enum omp_parallel_type): Remove.
1604         (gimple_boolify): Declare extern.
1605         (find_omp_clause, determine_parallel_type): Remove.
1606
1607         * gimple-low.c (lower_omp_directive): New.
1608         (lower_stmt): Call it.
1609         (record_vars_into): Move from ...
1610         (record_vars): ... here.
1611         Call record_vars_into with current_function_decl.
1612
1613         * gimplify.c (struct gimplify_ctx): Remove fields
1614         combined_pre_p and combined_ctxp.  Update users.
1615         (get_formal_tmp_var): Add documentation.
1616         (gimple_boolify): Make extern.
1617         (gimplify_expr_in_ctx): Remove.  Update callers.
1618         (gimplify_omp_parallel): Do not assume that OMP_PARALLEL_BODY
1619         will always be a BIND_EXPR.
1620         (gimplify_expr): Handle OMP_RETURN_EXPR.
1621         * tree.def (BLOCK): Remove documentation about BLOCK_TYPE_TAGS.
1622         (OMP_PARALLEL): Add 3 operands.
1623         (OMP_SECTIONS): Add 1 operand.
1624         (OMP_RETURN_EXPR): Define.
1625
1626         * tree-inline.c (estimate_num_insns_1): Handle OpenMP directives.
1627         (copy_tree_r): Restore TREE_CHAIN in OMP_CLAUSE_*.
1628         * tree-iterator.c (alloc_stmt_list): Assert that we are not
1629         creating a circular free list.
1630         (free_stmt_list): Assert that we are not freeing stmt_list_cache.
1631
1632         * tree-flow.h (move_sese_region_to_fn): Declare.
1633         (record_vars_into): Declare.
1634         * tree-cfg.c (make_omp_sections_edges): New.
1635         (make_exit_edges): Handle OMP_PARALLEL, OMP_FOR, OMP_SINGLE,
1636         OMP_MASTER, OMP_ORDERED, OMP_CRITICAL, OMP_RETURN_EXPR,
1637         OMP_SECTIONS and OMP_SECTION.
1638         (is_ctrl_altering_stmt): Return true for OMP_DIRECTIVE_P.
1639         (set_bb_for_stmt): Undo change to check currently_expanding_to_rtl.
1640         (verify_stmt): Do not handle OMP_DIRECTIVE_P.
1641         (gather_blocks_in_sese_region): New.
1642         (struct move_stmt_d): Declare.
1643         (move_stmt_r): New.
1644         (move_block_to_fn): New.
1645         (move_sese_region_to_fn): New.
1646
1647         * passes.c (init_optimization_passes): Schedule
1648         pass_expand_omp after pass_init_datastructures.
1649
1650         * tree-ssa-operands.c (get_expr_operands): Handle
1651         OMP_PARALLEL, OMP_SECTIONS, OMP_FOR, OMP_RETURN_EXPR,
1652         OMP_SINGLE, OMP_MASTER, OMP_ORDERED, OMP_CRITICAL.
1653
1654 2006-01-19  Jeff Law  <law@redhat.com>
1655
1656         * tree-vrp.c (extract_range_from_assert): Refine the result range
1657         if the variable referenced by the ASSERT_EXPR has a range and
1658         either the tentative result range or the previous range is a
1659         VR_ANTI_RANGE.
1660
1661 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
1662
1663         * c-decl.c (add_flexible_array_elts_to_size): Simplify vector accesses.
1664
1665 2006-01-19  Jan Hubicka  <jh@suse.cz>
1666
1667         * tree-vect-patterns.c (vect_pattern_recog_1): Prevent parse error.
1668
1669 2006-01-19  Paolo Bonzini  <bonzini@gnu.org>
1670
1671         * combine.c (try_combine): Do not worry about MEMs wrapped by USEs.
1672         (expand_compound_operation, expand_field_assignment): Fail if the
1673         bit lengths of an extract operation are out of range.
1674         (make_extraction): Compute wanted_inner_mode based on the position
1675         and length of the extraction.  Make it extraction_mode for non-constant
1676         positions, and do not modify offset in that case.  When generating a
1677         new MEM, use a mode that can hold the extraction while keeping correct
1678         alignment.  Remove code that supported MEMs wrapped by USEs.
1679         (simplify_shift_const_1, force_to_mode) <case USE>: Remove.
1680
1681 2006-01-19  Andreas Krebbel  <krebbel1@de.ibm.com>
1682
1683         * config/s390/s390.md ("Y", "y"): New mode attribute.
1684         ("*cmpdi_ccs", "*cmpsi_ccs", "*adddi3_imm_cc", "*adddi3_carry1_cc",
1685         "*adddi3_carry1_cconly", "*adddi3_carry2_cc", "*adddi3_carry2_cconly",
1686         "*adddi3_cc", "*adddi3_cconly", "*adddi3_cconly2", "*adddi3_64",
1687         "*addsi3_imm_cc", "*addsi3_carry1_cc",
1688         "*addsi3_carry1_cconly", "*addsi3_carry2_cc", "*addsi3_carr2_cconly",
1689         "*addsi3_cc", "*addsi3_cconly", "*addsi3_cconly2",
1690         "*subdi3_borrow_cc", "*subdi3_borrow_cconly", "*subdi3_cc",
1691         "*subdi3_cc2", "*subdi3_cconly", "*subdi3_cconly2", "*subdi3_64",
1692         "*subsi3_borrow_cc", "*subsi3_borrow_cconly", "*subsi3_cc",
1693         "*subsi3_cc2", "*subsi3_cconly", "*subsi3_cconly", "*subsi3_cconly2",
1694         "addsi3", "subsi3"): Insn patterns removed.
1695         ("*add<mode>3_carry1_cc", "*add<mode>3_carry1_cconly",
1696         "*add<mode>3_carry2_cc", "*add<mode>3_carry2_cconly", "*add<mode>3_cc",
1697         "*add<mode>3_cconly", "*add<mode>3_cconly2", "*add<mode>3_imm_cc",
1698         "*sub<mode>3_borrow_cc", "*sub<mode>3_borrow_cconly",
1699         "*sub<mode>3_cc", "*sub<mode>3_cc2", "*sub<mode>3_cconly",
1700         "*sub<mode>3_cconly2"): New insn patterns.
1701         ("addsi3", "subsi3"): New expanders.
1702
1703 2006-01-19  Dorit Nuzman  <dorit@il.ibm.com>
1704
1705         * Makefile.in (tree-vect-patterns.o): Add rule for new file.
1706         * tree-vect-analyze.c (vect_determine_vectorization_factor): Use
1707         existing STMT_VINFO_VECTYPE if available.
1708         (vect_mark_relevant): Add special handling for stmts that are
1709         marked as STMT_VINFO_IN_PATTERN_P.
1710         (vect_analyze_loop): Call vect_pattern_recog.
1711         * tree-vectorizer.c (new_stmt_vec_info): Initialize new fields.
1712         * tree-vectorizer.h (in_pattern_p, related_stmt): New fields in
1713         stmt_info.
1714         (STMT_VINFO_IN_PATTERN_P, STMT_VINFO_RELATED_STMT): New macros.
1715         (vect_recog_func_ptr): New function-pointer type.
1716         * tree-vect-patterns.c: New file.
1717         (vect_recog_widen_sum_pattern, vect_recog_widen_mult_pattern):
1718         (vect_recog_dot_prod_pattern, vect_pattern_recog):
1719         (vect_pattern_recog_1): New functions.
1720         (vect_pattern_recog_funcs): New array of function pointers.
1721
1722         * tree-vectorizer.h (ternary_op): New enum value.
1723         * tree-vect-transform.c (vect_create_epilog_for_reduction): Added
1724         declaration. Revised documentation. Removed redundant dump prints.
1725         Removed redundant argument. Added support for reduction patterns.
1726         (vectorizable_reduction): Added support for reduction patterns.
1727         (vect_transform_stmt): Added support for patterns.
1728
1729         * expr.c (expand_expr_real_1): Added case for DOT_PROD_EXPR.
1730         * genopinit.c (udot_prod_optab, sdot_prod_optab): Initialize.
1731         * optabs.c (optab_for_tree_code): Added case for DOT_PROD_EXPR.
1732         (expand_widen_pattern_expr): New function.
1733         (init_optabs): Initialize new optabs udot_prod_optab,
1734         sdot_prod_optab.
1735         * optabs.h (OTI_sdot_prod, OTI_udot_prod): New.
1736         (sdot_prod_optab, udot_prod_optab): Define new optabs.
1737         (expand_widen_pattern_expr): New function declaration.
1738         * tree.def (DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR): New
1739         tree-codes.
1740         * tree-inline.c (estimate_num_insns_1): Added cases for new
1741         tree-codes DOT_PROD_EXPR, WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
1742         * tree-pretty-print.c (dump_generic_node): Likewise.
1743         (op_prio): Likewise.
1744         (op_symbol): Added cases for WIDEN_SUM_EXPR, WIDEN_MULT_EXPR.
1745         * tree-ssa-operands.c (get_expr_operands): Added case for
1746         DOT_PROD_EXPR.
1747         * tree-vect-patterns.c (widened_name_p): New function.
1748         (vect_recog_dot_prod_pattern): Added function implementation.
1749         * tree-vect-transform.c (get_initial_def_for_reduction): Added
1750         cases for DOT_PROD_EXPR, WIDEN_SUM_EXPR.
1751         * config/rs6000/altivec.md (udot_prod<mode>, sdot_prodv8hi): New.
1752         * config/i386/sse.md (sdot_prodv8hi, udot_prodv4si): New.
1753
1754         * expr.c (expand_expr_real_1): Added case for WIDEN_SUM_EXPR.
1755         * genopinit.c (widen_ssum_optab, widen_usum_optab): Initialize.
1756         * optabs.c (optab_for_tree_code): Added case for WIDEN_SUM_EXPR.
1757         (init_optabs): Initialize new optabs widen_ssum_optab,
1758         widen_usum_optab.
1759         * optabs.h (OTI_widen_ssum, OTI_widen_usum): New.
1760         (widen_ssum_optab, widen_usum_optab): Define new optabs.
1761         * tree-vect-generic.c: (expand_vector_operations_1): Check type of
1762         use instead of type of def.
1763         * tree-vect-patterns.c (vect_recog_widen_sum_pattern): Added
1764         function implementation.
1765         * config/rs6000/altivec.md (widen_usum<mode>, widen_ssumv16qi,
1766         widen_ssumv8hi): New.
1767
1768         * doc/tm.texi (ssum_widen, usum_widen, sdot_prod, udot_prod): New
1769         patterns.
1770
1771 2006-01-19  Richard Sandiford  <richard@codesourcery.com>
1772
1773         PR c/25805
1774         * c-decl.c (add_flexible_array_elts_to_size): New function.
1775         (finish_decl): Use it.
1776
1777 2006-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
1778
1779         * diagnostic.h: Include options.h.
1780         * config/rs6000/x-darwin (host-ppc-darwin.o): Correct the
1781         dependancies for diagnostic.h.
1782         * Makefile.in (DIAGNOSTIC_H): Add options.h.
1783
1784 2006-01-16  Daniel Berlin  <dberlin@dberlin.org>
1785
1786         * tree-ssa-operands.h (ssa_call_clobbered_cache_valid): Remove.
1787         (ssa_ro_call_cache_valid): Ditto.
1788         * tree-ssa-alias.c (sort_tags_by_id): New function.
1789         (init_transitive_clobber_worklist): Ditto.
1790         (add_to_worklist): Ditto.
1791         (mark_aliases_call_clobbered): Ditto.
1792         (compute_tag_properties): Ditto.
1793         (set_initial_properties): Ditto.
1794         (compute_call_clobbered): Ditto.
1795         (compute_may_aliases):  Call compute_call_clobbered and grouping.
1796         (compute_flow_sensitive_aliasing): Remove clobbering related code.
1797         (compute_flow_insensitive_aliasing): Grouping now happens in our
1798         caller.
1799         (setup_pointers_and_addressables): Remove clobbering related code.
1800         (add_may_alias): Ditto.
1801         (replace_may_alias): Ditto.
1802         (get_nmt_for): Ditto.
1803         (create_global_var):
1804         (is_escape_site): Return an escape_type enumeration.
1805         * tree-flow-inline.h (is_call_clobbered):  Global var does not
1806         imply call clobbered.
1807         (mark_call_clobbered): Take a reason for marking this. Remove
1808         marking of globalness, and cache invalidation.
1809         (clear_call_clobbered): Remove cache invalidation code.
1810         * tree-dfa.c (dump_variable): If details is on, dump the reason
1811         for escaping.
1812         * tree-outof-ssa.c (create_temp): Copy escape mask from original
1813         variable.
1814         * tree-flow.h (struct ptr_info_def): Add escape mask member.
1815         (struct var_ann_d): Ditto.
1816         (enum escape_type): New.
1817         (mark_call_clobbered): Adjust prototype.
1818         * tree-ssa-structalias.c (update_alias_info): Unmodifiable vars
1819         are never call clobbered.
1820         Record reasons for escaping.
1821         * tree-ssa-structalias.h (is_escape_site): Update prototype.
1822         * tree-ssa-operands.c (ssa_call_clobbered_cache_valid): Remove.
1823         (ssa_ro_call_cache_valid): Ditto.
1824         (clobbered_v_may_defs): Ditto.
1825         (clobbered_vuses): Ditto.
1826         (ro_call_vuses): Ditto.
1827         (clobber_stats): New.
1828         (init_ssa_operands): Zero out clobber stats.
1829         (fini_ssa_operands): Print out clobber stats.
1830         (get_call_expr_operands): Pass callee fndecl to
1831         add_call_read_ops).
1832         (add_call_clobber_ops): Remove use of cache.
1833         Add use of PURE_CONST information.
1834         (add_call_read_ops): Remove use of cache.
1835         Add use of static not_read information.
1836
1837 2006-01-18  Alexandre Oliva  <aoliva@redhat.com>
1838
1839         Introduce TLS descriptors for i386 and x86_64.
1840         * config/i386/i386.h (TARGET_GNU2_TLS): New macro.
1841         (TARGET_ANY_GNU_TLS): New macro.
1842         (enum tls_dialect): Added TLS_DIALECT_GNU2.
1843         (struct machine_function): Add tls_descriptor_call_expanded_p.
1844         (ix86_tls_descriptor_calls_expande_in_cfun): New macro.
1845         (ix86_current_function_calls_tls_descriptor): Likewise.
1846         * config/i386/i386.c (ix86_tls_dialect): Fix typo in comment.
1847         (override_options): Introduce gnu2 tls dialect.
1848         (ix86_frame_pointer_required): Functions containing TLSCALLs are
1849         not leaves.
1850         (ix86_select_alt_pic_regnum, ix86_compute_frame_layout):
1851         Likewise.
1852         (legitimize_tls_address): Adjust logic for GNU2 TLS.
1853         (ix86_init_machine_status): Initialize new field.
1854         (ix86_tls_get_addr): Use TARGET_ANY_GNU_TLS.
1855         (ix86_tls_module_base): New.
1856         * config/i386/i386-protos.h (ix86_tls_module_base): Declare it.
1857         * config/i386/i386.md (UNSPEC_TLSDESC): New constant.
1858         (tls_global_dynamic_32, tls_global_dynamic_64): Handle GNU2 TLS.
1859         (tls_local_dynamic_base_32, tls_local_dynamic_base_64): Likewise.
1860         (tls_dynamic_gnu2_32, *tls_dynamic_lea_32): New patterns.
1861         (*tls_dynamic_call_32, *tls_dynamic_gnu2_combine_32): Likewise.
1862         (tls_dynamic_gnu2_64, *tls_dynamic_lea_64): Likewise.
1863         (*tls_dynamic_call_64, *tls_dynamic_gnu2_combine_64): Likewise.
1864         * config/i386/predicates.md (tls_modbase_operand): New.
1865         (tp_or_register_operand): New.
1866
1867 2006-01-18  Daniel Berlin  <dberlin@dberlin.org>
1868
1869         * ipa-reference.c (check_operand):  Allow FUNCTION_DECL.
1870         (look_for_address_of): Ditto.
1871         (ipa_init): Walk the function decls.
1872         (static_execute): Don't set readonly on FUNCTION_DECL's.
1873
1874 2006-01-18  Roger Sayle  <roger@eyesopen.com>
1875
1876         * config/i386/i386.md (shift spliter): Fix a a typo in the splitter
1877         for shifts where the source and destination registers are different.
1878
1879 2006-01-18  Paul Brook  <paul@codesourcery.com>
1880
1881         Merge from csl-arm-branch.
1882         2005-03-14  Julian Brown  <julian@codesourcery.com>
1883         * config/arm/lib1funcs.asm (ashldi3): Don't define on SymbianOS.
1884         (aeabi_llsl): Likewise.
1885         (ashrdi3): Likewise.
1886         (aeabi_lasr): Likewise.
1887         (lshrdi3): Likewise.
1888         (aeabi_llsr): Likewise.
1889         2005-03-10  Julian Brown  <julian@codesourcery.com>
1890         * config.gcc: Disable shared libgcc for SymbianOS.
1891         * config/arm/t-symbian (LIB2ADDEH): Include config/arm/pr-support.c.
1892
1893 2006-01-18  DJ Delorie  <dj@redhat.com>
1894
1895         * c-pragma.c (handle_pragma_diagnostic): New.
1896         (init_pragma): Register it.
1897         * doc/extend.texi: Document it.
1898
1899         * diagnostic.def: Add DK_UNSPECIFIED and DK_IGNORED.
1900         * diagnostic.h (diagnostic_classify_diagnostic): Declare.
1901         (diagnostic_context): Add classify_diagnostic[].
1902         * diagnostic.c (diagnostic_count_diagnostic): Don't count warnings
1903         as errors if they're overridden to DK_WARNING.
1904         (diagnostic_initialize): Initialize classify_diagnostic[].
1905         (diagnostic_set_kind_override): New.
1906         (diagnostic_report_diagnostic): Check for kind changes.
1907         * opts.c (common_handle_option): Take lang_mask.  Update callers.
1908         Handle OPT_Werror_.
1909         * common.opt (Werror=): New.
1910         * doc/invoke.texi: Document -Werror=*
1911
1912 2006-01-18  Jeff Law  <law@redhat.com>
1913
1914         * tree-vrp.c (test_for_singularity): Correct test for new
1915         min limit.  Use operand_equal_p rather than pointer equality
1916         for testing if new min/max values are equal.
1917
1918         * tree-ssa-propagate.c (substitute_and_fold): Delay simplifications
1919         using range information until after propagation and folding.
1920
1921 2006-01-18  Richard Henderson  <rth@redhat.com>
1922             Aldy Hernandez  <aldyh@redhat.com>
1923             Jakub Jelinek  <jakub@redhat.com>
1924             Diego Novillo  <dnovillo@redhat.com>
1925
1926         * omp-low.c: New file.
1927         * c-omp.c: New file.
1928
1929 2006-01-18  Richard Henderson  <rth@redhat.com>
1930             Jakub Jelinek  <jakub@redhat.com>
1931             Diego Novillo  <dnovillo@redhat.com>
1932
1933         * doc/invoke.texi: Document -fopenmp.
1934         * tree-dump.h (debug_function): Declare.
1935         * hooks.c (hook_bool_tree_bool_false): New function.
1936         (hook_tree_tree_null): Remove.
1937         (hook_tree_tree_tree_null): New.
1938         * hooks.h: Update to match.
1939         * tree-pretty-print.c (debug_tree_chain): New.
1940         (print_generic_expr): Handle TDF_CHAIN.
1941         (dump_generic_node): Handle BLOCK.
1942         Do not abort with incomplete SWITCH_EXPRs.
1943         Do not dump body of an OpenMP directive if TDF_SLIM is given.
1944         <case OMP_PARALLEL, OMP_FOR, OMP_SECTIONS>: Don't
1945         print space after directive name.
1946         <OMP_FOR>: Handle printing OMP_FOR_PRE_BODY.
1947         Handle OMP_MASTER and OMP_ORDERED.
1948         Handle printing of OMP_BODY just in one place, goto
1949         dump_omp_body in the rest of OMP_* nodes that have
1950         OMP_BODY.
1951         Don't handle clause nodes here.  Update omp statements to
1952         use dump_omp_clauses.
1953         Handle OMP_SINGLE, OMP_SECTIONS, OMP_SECTION,
1954         OMP_CLAUSE_ORDERED, OMP_CLAUSE_SCHEDULE, OMP_ATOMIC,
1955         OMP_CRITICAL, OMP_CLAUSE_NOWAIT, GOMP_CLAUSE_IF,
1956         GOMP_CLAUSE_NUM_THREADS, GOMP_FOR, GOMP_CLAUSE_SHARED,
1957         GOMP_CLAUSE_FIRSTPRIVATE, GOMP_CLAUSE_LASTPRIVATE,
1958         GOMP_CLAUSE_COPYIN and GOMP_CLAUSE_COPYPRIVATE.
1959         Adjust output for GOMP_PARALLEL.
1960         (dump_omp_clauses): New.
1961         (print_declaration): Dump DECL_VALUE_EXPR.
1962         (op_symbol_1): Split out of op_symbol.
1963         (dumping_stmts): Remove.  Update all users.
1964         * cgraph.c (cgraph_analyze_queue): New.
1965         (cgraph_add_new_function): New.
1966         * cgraph.h (cgraph_analyze_queue): Declare.
1967         (cgraph_add_new_function): Declare.
1968         (cgraph_lower_function): Remove.
1969         * tree.c (walk_tree): Walk OMP_CLAUSE_CHAIN of OMP_CLAUSE_*
1970         nodes.  Use switch for all nodes, handle most of IS_EXPR_CODE_CLASS
1971         and TYPE_P nodes in its default clause.
1972         (empty_body_p): New.
1973         (tree_range_check_failed): New.
1974         (build5_stat): New.
1975         * tree.h (OMP_CLAUSE_REDUCTION_INIT,
1976         OMP_CLAUSE_REDUCTION_MERGE,
1977         OMP_CLAUSE_REDUCTION_PLACEHOLDER,
1978         OMP_CLAUSE_PRIVATE_DEBUG,
1979         OMP_CLAUSE_LASTPRIVATE_FIRSTPRIVATE, OMP_FOR_PRE_BODY,
1980         OMP_MASTER_BODY, OMP_ORDERED_BODY OMP_BODY,
1981         OMP_CLAUSES, OMP_CLAUSE_DECL, OMP_CLAUSE_DEFAULT_KIND,
1982         OMP_CLAUSE_CHAIN, OMP_CLAUSE_OUTER_DECL,
1983         OMP_CLAUSE_INNER_DECL, OMP_CLAUSE_NUM_THREADS_EXPR,
1984         OMP_CLAUSE_IF_EXPR, OMP_CLAUSE_SCHEDULE_CHUNK_EXPR,
1985         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE. OMP_PARALLEL_VAR_INIT,
1986         OMP_PARALLEL_VAR_REDUC, OMP_FOR_VAR_INIT,
1987         OMP_FOR_VAR_LAST, OMP_FOR_VAR_REDUC,
1988         OMP_SECTIONS_VAR_INIT, OMP_SECTIONS_VAR_LAST,
1989         OMP_SECTIONS_VAR_REDUC, OMP_CLAUSE_REDUCTION_CODE
1990         OMP_SINGLE_CLAUSES, OMP_SINGLE_BODY,
1991         OMP_CLAUSE_SCHEDULE_CHUNK_SIZE, OMP_SECTION_BODY,
1992         OMP_CRITICAL_NAME, OMP_CRITICAL_BODY): New.
1993         (TREE_RANGE_CHECK): New.
1994         (empty_body_p): Declare.
1995         (enum omp_clause_default_kind): New.
1996         (build_string_literal): Declare.
1997         (enum omp_clause_schedule_kind, OMP_CLAUSE_SCHEDULE_KIND): New.
1998         (build5_stat, build5): Declare.
1999         * tree-pass.h (TDF_CHAIN): Define.
2000         * tree-pass.h (PROP_gimple_lomp): Define.
2001         (pass_lower_omp): Declare.
2002         * diagnostic.h (debug_tree_chain): Declare.
2003         * builtins.c (get_builtin_sync_mode): Use 0 as last argument to
2004         mode_for_size.
2005         (expand_builtin): Handle sync BUILT_IN_*_16 builtins.
2006         * builtins.c (build_string_literal): Make extern.
2007         * gcc.c (include_spec_function): New.
2008         (static_spec_functions): Add it.
2009         (main): Move load of libgomp.spec ...
2010         (LINK_COMMAND_SPEC): ... here.
2011         (link_gomp_spec): New.
2012         (static_specs): Include it.
2013         (LINK_COMMAND_SPEC): Add link_gomp.
2014         (GOMP_SELF_SPECS): New.
2015         (driver_self_specs): Include it.
2016         (switch_matches): Don't mark inline.
2017         (main): Load libgomp.spec.
2018         * tree-gimple.c (is_gimple_stmt): True for OMP_MASTER,
2019         OMP_ORDERED, OMP_CRITICAL, OMP_SECTIONS, OMP_SECTION,
2020         and OMP_SINGLE, OMP_FOR and OMP_PARALLEL.
2021         * tree-gimple.h (enum omp_parallel): Declare.
2022         (determine_parallel_type): Declare.
2023         (omp_firstprivatize_variable): Declare.
2024         (omp_reduction_init): Declare.
2025         (diagnose_omp_structured_block_errors): Declare.
2026         (struct walk_stmt_info): Add want_return_expr.
2027         (struct walk_stmt_info): Add want_bind_expr, want_locations.
2028         (find_omp_clause): Declare.
2029         (insert_field_into_struct): Declare.
2030         (struct walk_stmt_info): Move from tree-nested.c
2031         (walk_stmts): Declare.
2032         * c-cppbuiltin.c (c_cpp_builtins): If -fopenmp, #define _OPENMP
2033         to 200505.
2034         * cgraphunit.c (cgraph_lower_function): Make static.
2035         (cgraph_finalize_pending_functions): New.
2036         (cgraph_finalize_function): Call it.
2037         (cgraph_finalize_compilation_unit): Likewise.
2038         * builtin-types.def (BT_I16, BT_FN_I16_VPTR_I16,
2039         BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
2040         (BT_FN_UINT_UINT): New.
2041         (DEF_FUNCTION_TYPE_6, DEF_FUNCTION_TYPE_7,
2042         DEF_FUNCTION_TYPE_VAR_4): Document.
2043         (BT_PTR_LONG, BT_PTR_PTR, BT_FN_BOOL, BT_FN_INT,
2044         BT_FN_VOID_PTRPTR, BT_PTR_FN_VOID_PTR,
2045         BT_FN_BOOL_LONGPTR_LONGPTR, BT_FN_VOID_OMPFN_PTR_UINT,
2046         BT_FN_VOID_OMPFN_PTR_UINT_UINT,
2047         BT_FN_BOOL_LONG_LONG_LONG_LONGPTR_LONGPTR,
2048         BT_FN_BOOL_LONG_LONG_LONG_LONG_LONGPTR_LONGPTR,
2049         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG,
2050         BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG): New.
2051         * builtins.def: Update DEF_BUILTIN comment to include COND argument.
2052         Move all DEF_SYNC_BUILTIN () and DEF_GOMP_BUILTIN () builtins
2053         into separate files.
2054         (DEF_GOMP_BUILTIN): New.
2055         (BUILT_IN_OMP_GET_THREAD_NUM, BUILT_IN_GOMP_BARRIER,
2056         BUILT_IN_GOMP_CRITICAL_START, BUILT_IN_GOMP_CRITICAL_END,
2057         BUILT_IN_GOMP_CRITICAL_NAME_START, BUILT_IN_GOMP_CRITICAL_NAME_END,
2058         BUILT_IN_GOMP_LOOP_STATIC_START, BUILT_IN_GOMP_LOOP_DYNAMIC_START,
2059         BUILT_IN_GOMP_LOOP_GUIDED_START, BUILT_IN_GOMP_LOOP_RUNTIME_START,
2060         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_START,
2061         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_START,
2062         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_START,
2063         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_START,
2064         BUILT_IN_GOMP_LOOP_STATIC_NEXT, BUILT_IN_GOMP_LOOP_DYNAMIC_NEXT,
2065         BUILT_IN_GOMP_LOOP_GUIDED_NEXT, BUILT_IN_GOMP_LOOP_RUNTIME_NEXT,
2066         BUILT_IN_GOMP_LOOP_ORDERED_STATIC_NEXT,
2067         BUILT_IN_GOMP_LOOP_ORDERED_DYNAMIC_NEXT,
2068         BUILT_IN_GOMP_LOOP_ORDERED_GUIDED_NEXT,
2069         BUILT_IN_GOMP_LOOP_ORDERED_RUNTIME_NEXT,
2070         BUILT_IN_GOMP_PARALLEL_LOOP_STATIC_START,
2071         BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC_START,
2072         BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED_START,
2073         BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME_START,
2074         BUILT_IN_GOMP_LOOP_END, BUILT_IN_GOMP_LOOP_END_NOWAIT,
2075         BUILT_IN_GOMP_ORDERED_START, BUILT_IN_GOMP_ORDERED_END,
2076         BUILT_IN_GOMP_PARALLEL_START, BUILT_IN_GOMP_PARALLEL_END,
2077         BUILT_IN_GOMP_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_NEXT,
2078         BUILT_IN_GOMP_PARALLEL_SECTIONS_START, BUILT_IN_GOMP_SECTIONS_END,
2079         BUILT_IN_GOMP_SECTIONS_END_NOWAIT, BUILT_IN_GOMP_SINGLE_START,
2080         BUILT_IN_GOMP_SINGLE_COPY_START, BUILT_IN_GOMP_SINGLE_COPY_END): New.
2081         * sync-builtins.def: New file, moved from builtins.def.
2082         * omp-builtins.def: New file, moved from builtins.def.
2083         * c-objc-common.h (LANG_HOOKS_OMP_PREDETERMINED_SHARING): Redefine.
2084         * gimple-low.c (lower_function_body): Clear data.
2085         (lower_stmt): Do not handle COMPOUND_EXPR.
2086         Remove call to print_node_brief.
2087         * c-tree.h (c_finish_omp_clauses): New prototype.
2088         (C_DECL_THREADPRIVATE_P): Define.
2089         (lookup_name_no_remap, c_omp_remap_private): Remove
2090         (c_begin_omp_parallel, c_finish_omp_parallel): Update.
2091         (check_for_loop_decls): Update decl.
2092         (lookup_name_no_remap, c_omp_remap_private): Declare.
2093         (build_indirect_ref, build_modify_expr, pushdecl,
2094         pushdecl_top_level): Move to c-common.h.
2095         * dwarf2out.c (loc_descriptor_from_tree_1): Don't set unsignedp
2096         before the switch, but just in the 2 places that need it.
2097         * c-decl.c (diagnose_mismatched_decls): Do not check for
2098         mismatched thread-local attributes when OLDDECL is marked
2099         threadprivate and NEWDECL has no thread-local attributes.
2100         (merge_decls): Merge C_DECL_THREADPRIVATE_P.
2101         (c_gimple_diagnostics_recursively): Rename from
2102         c_warn_unused_result_recursively.  Invoke
2103         diagnose_omp_structured_block_errors.
2104         (check_for_loop_decls): Return a singular decl found.
2105         * langhooks.c (lhd_omp_predetermined_sharing): Return
2106         OMP_CLAUSE_DEFAULT_SHARED for DECL_ARTIFICIAL decls.
2107         (lhd_omp_firstprivatize_type_sizes): New.
2108         (lhd_omp_assignment): New.
2109         (lhd_omp_predetermined_sharing): New.
2110         * langhooks.h (struct gimplify_omp_ctx): Forward declare.
2111         (struct lang_hooks_for_types): Add
2112         omp_firstprivatize_type_sizes, omp_privatize_by_reference,
2113         omp_predetermined_sharing, omp_disregard_value_expr,
2114         omp_private_debug_clause, omp_clause_default_ctor,
2115         omp_clause_copy_ctor, omp_clause_assign_op, omp_clause_dtor.
2116         (c_finish_omp_clauses): New.
2117         (c_finish_bc_stmt): Diagnose break within omp for.
2118         (c_begin_omp_parallel, c_finish_omp_parallel): New.
2119         (build_unary_op): Return error_mark after reporting
2120         a readonly_error.
2121         (build_modify_expr): Likewise.
2122         * gimplify.c: Include optabs.h and pointer-set.h.
2123         (enum gimplify_omp_var_data): Declare.
2124         (struct gimplify_omp_ctx): Declare.
2125         (struct gimplify_ctx): Add fields prev_context, combined_pre_p
2126         and combined_ctxp.
2127         (gimplify_ctxp, gimplify_omp_ctxp): New local variables.
2128         (push_gimplify_context, pop_gimplify_context): Allow nesting.
2129         (splay_tree_compare_decl_uid): New.
2130         (new_omp_context): New.
2131         (delete_omp_context): New.
2132         (gimple_add_tmp_var): Call omp_add_variable.
2133         (gimplify_bind_expr): Likewise.
2134         (gimplify_var_or_parm_decl): If omp_notice_variable returned
2135         true, disregard DECL_VALUE_EXPR on the decl if any.
2136         (gimplify_expr_in_ctx): New.
2137         (omp_firstprivatize_variable, omp_firstprivatize_type_sizes
2138         omp_add_variable, omp_notice_variable, omp_is_private
2139         gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses_1
2140         gimplify_adjust_omp_clauses, gimplify_omp_parallel
2141         gimplify_omp_for, gimplify_omp_workshare, goa_lhs_expr_p
2142         gimplify_omp_atomic_fetch_op, goa_stabilize_expr
2143         gimplify_omp_atomic_pipeline, gimplify_omp_atomic_mutex
2144         gimplify_omp_atomic): New.
2145         (gimplify_expr): Handle OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
2146         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
2147         OMP_CRITICAL and OMP_ATOMIC.
2148         (gimplify_body): Verify gimplify_ctxp is empty after gimplification.
2149         * c-pragma.h (enum pragma_kind): Add
2150         PRAGMA_OMP_ATOMIC, PRAGMA_OMP_BARRIER,
2151         PRAGMA_OMP_CRITICAL, PRAGMA_OMP_FLUSH, PRAGMA_OMP_FOR,
2152         PRAGMA_OMP_MASTER, PRAGMA_OMP_ORDERED,
2153         PRAGMA_OMP_PARALLEL, PRAGMA_OMP_PARALLEL_FOR,
2154         PRAGMA_OMP_PARALLEL_SECTIONS, PRAGMA_OMP_SECTION,
2155         PRAGMA_OMP_SECTIONS, PRAGMA_OMP_SINGLE,
2156         PRAGMA_OMP_THREADPRIVATE.
2157         * tree.def (OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
2158         OMP_SINGLE, OMP_SECTION, OMP_MASTER, OMP_ORDERED,
2159         OMP_CRITICAL, OMP_ATOMIC, OMP_CLAUSE_PRIVATE,
2160         OMP_CLAUSE_SHARED, OMP_CLAUSE_FIRSTPRIVATE,
2161         OMP_CLAUSE_LASTPRIVATE, OMP_CLAUSE_REDUCTION,
2162         OMP_CLAUSE_COPYIN, OMP_CLAUSE_COPYPRIVATE,
2163         OMP_CLAUSE_IF, OMP_CLAUSE_NUM_THREADS,
2164         OMP_CLAUSE_SCHEDULE, OMP_CLAUSE_NOWAIT,
2165         OMP_CLAUSE_ORDERED, OMP_CLAUSE_DEFAULT): Define.
2166         * print-tree.c (print_node): Dump DECL_VALUE_EXPR.
2167         * tree-ssa-dce.c (find_control_dependence): Do not assume that
2168         ENTRY_BLOCK_PTR->next_bb == single_succ (ENTRY_BLOCK_PTR).
2169         * tree-nested.c (convert_call_expr): Call walk_body on OMP_BODY for
2170         OpenMP directives.
2171         (struct nesting_info): Add field_map,
2172         suppress_expansion, debug_var_chain.
2173         (create_nesting_tree): Initialize them.
2174         (lookup_field_for_decl): Use field_map.
2175         (get_nonlocal_debug_decl, get_local_debug_decl): New.
2176         (convert_local_omp_clauses): New.
2177         (finalize_nesting_tree_1): Add debug_var_chain to toplevel block.
2178         (walk_body): Split out of walk_function.
2179         (convert_nonlocal_omp_clauses, convert_local_omp_clauses): New.
2180         (convert_nonlocal_reference): Handle omp statements.
2181         (convert_local_reference): Likewise.
2182         (unnest_nesting_tree_1): Split out of finalize_nesting_tree_1.
2183         (unnest_nesting_tree): New.
2184         (lower_nested_functions): Call it.
2185         (insert_field_into_struct): Make extern.
2186         (struct walk_stmt_info): Move to tree-gimple.h.
2187         (walk_stmts): Make extern.
2188         * omp-builtins.def: New file.
2189         * tree-iterator.c (expr_only): Clarify comment.
2190         * c-common.h (pushdecl_top_level, pushdecl,
2191         build_modify_expr, build_indirect_ref,
2192         c_finish_omp_master, c_finish_omp_critical,
2193         c_finish_omp_ordered, c_finish_omp_barrier,
2194         c_finish_omp_atomic, c_finish_omp_flush,
2195         c_finish_omp_for, c_split_parallel_clauses,
2196         omp_clause_default_kind, c_omp_sharing_predetermined,
2197         c_omp_remap_decl): Declare.
2198         * Makefile.in (BUILTINS_DEF): Add omp-builtins.def.
2199         (OBJS-common): Add omp-low.o.
2200         (c-omp.o, omp-low.o): Add.
2201         (gimplify.o): Add dependency on $(OPTABS_H).
2202         (GTFILES): Add omp-low.c.
2203         (gt-stringpool.h): Add.
2204         * tree-cfg.c (set_bb_for_stmt): Do not update the
2205         block-to-labels map if we are currently expanding to RTL.
2206         (tree_node_can_be_shared): Remove unnecessary CONSTANT_CLASS_P
2207         checks.
2208         Handle IDENTIFIER_NODE.
2209         (tree_verify_flow_info): Do not ICE when emitting error
2210         messages about invalid labels.
2211         (dump_function_to_file): Reset CFUN before emitting the body
2212         of the function.
2213         (debug_function): New.
2214         * passes.c (init_optimization_passes): Schedule
2215         pass_lower_omp.
2216         * langhooks-def.h (lhd_omp_predetermined_sharing,
2217         lhd_omp_assignment, lhd_omp_firstprivatize_type_sizes):
2218         Declare.
2219         (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
2220         (LANG_HOOKS_FOR_TYPES_INITIALIZER): Use it.
2221         (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE,
2222         LANG_HOOKS_OMP_PREDETERMINED_SHARING,
2223         LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
2224         LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE,
2225         LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR,
2226         LANG_HOOKS_OMP_CLAUSE_COPY_CTOR,
2227         LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP,
2228         LANG_HOOKS_OMP_CLAUSE_DTOR): Define.
2229         (LANG_HOOK_DECLS): Use them.
2230
2231 2006-01-18  Dmitry Kurochkin <dmitry.kurochkin@gmail.com>
2232             Richard Henderson  <rth@redhat.com>
2233             Jakub Jelinek  <jakub@redhat.com>
2234             Diego Novillo  <dnovillo@redhat.com>
2235
2236         * c-parser.c (pragma_omp_clause): Define.
2237         (c_parser_declaration_or_fndef): Document OpenMP syntax.
2238         (c_parser_compound_statement): Likewise.
2239         (c_parser_statement): Likewise.
2240         (c_parser_pragma): Handle omp pragmas.
2241         (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
2242         OMP_PARALLEL_CLAUSE_MASK, OMP_SINGLE_CLAUSE_MASK): Define.
2243         (c_parser_omp_clause_name, check_no_duplicate_clause,
2244         c_parser_omp_variable_list,
2245         c_parser_omp_var_list_parens, c_parser_omp_clause_copyin,
2246         c_parser_omp_clause_copyprivate,
2247         c_parser_omp_clause_default,
2248         c_parser_omp_clause_firstprivate, c_parser_omp_clause_if,
2249         c_parser_omp_clause_lastprivate,
2250         c_parser_omp_clause_nowait,
2251         c_parser_omp_clause_num_threads,
2252         c_parser_omp_clause_ordered, c_parser_omp_clause_private,
2253         c_parser_omp_clause_reduction,
2254         c_parser_omp_clause_schedule, c_parser_omp_clause_shared,
2255         c_parser_omp_all_clauses, c_parser_omp_structured_block,
2256         c_parser_omp_atomic, c_parser_omp_barrier,
2257         c_parser_omp_critical, c_parser_omp_flush,
2258         c_parser_omp_for_loop, c_parser_omp_for,
2259         c_parser_omp_master, c_parser_omp_ordered,
2260         c_parser_omp_sections_scope, c_parser_omp_sections,
2261         c_parser_omp_parallel, c_parser_omp_single,
2262         c_parser_omp_construct, c_parser_omp_threadprivate): New.
2263         * c-pragma.c (init_pragma): Do omp pragma registration here.
2264         * c.opt (fopenmp): New flag.
2265
2266 2006-01-18  Eric Christopher  <echristo@apple.com>
2267
2268         * gcc.c (GOMP_SELF_SPECS): Bracket in #ifndef/#endif.
2269         * config/darwin.h (GOMP_SELF_SPECS): Define.
2270
2271 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
2272
2273         * rtl.h: Remove the prototype for reg_alloc.
2274
2275 2006-01-18  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2276
2277         PR target/25731
2278         * config.gcc (hppa*-*-linux*, hppa[12]*-*-hpux10*, hppa*64*-*-hpux11*,
2279         hppa[12]*-*-hpux11*): Override default shared libgcc version for both
2280         sjlj and dwarf2 exception handling.
2281         * pa/t-hpux-shlib (SHLIB_SOVERSION): New make variable.
2282         Rework to allow overriding SHLIB_EXT and SHLIB_SOVERSION.
2283         * pa/pa.c (function_value): Treat complex and vector types as
2284         aggregates.
2285         (function_arg): Likewise.  Only pass scalar floats in the floating
2286         point argument registers.
2287         * pa/t-slibgcc-dwarf-ver: New file.
2288         * pa/t-slibgcc-sjlj-ver: New file.
2289         * pa/t-slibgcc-elf-ver: Delete file.
2290
2291 2006-01-19  Alan Modra  <amodra@bigpond.net.au>
2292
2293         * config/rs6000/rs6000.c (rs6000_assemble_integer): Correct
2294         unlikely_test_section_p test.
2295
2296 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
2297
2298         * mode-switching.c (optimize_mode_switching): Make it static.
2299         * basic-block.h: Remove the prototype for
2300         optimize_mode_switching.
2301
2302         * modulo-sched.c (sms_schedule): Make it static.
2303         * rtl.h: Remove the prototype for sms_schedule.
2304
2305         * postreload-gcse.c (gcse_after_reload_main): Make it static.
2306         * rtl.h: Remove the prototype for gcse_after_reload_main.
2307
2308         * reg-stack.c (reg_to_stack): Make it static.
2309         * rtl.h: Remove the prototype for reg_to_stack.
2310
2311         * regrename.c (regrename_optimize, copyprop_hardreg_forward):
2312         Make them static.
2313         * rtl.h: Remove the prototypes for regrename_optimize and
2314         copyprop_hardreg_forward.
2315
2316 2006-01-18  Eric Botcazou  <ebotcazou@adacore.com>
2317
2318         * config/alpha/alpha.c (alpha_split_tfmode_pair): Rename into
2319         alpha_split_tmode_pair.  Add 'mode' and 'fixup_overlap' arguments.
2320         Test against the appropriate null constant for the mode.
2321         If 'fixup_overlap' is true, swap the operands if they overlap.
2322         (alpha_split_tfmode_frobsign): Adjust call to alpha_split_tfmode_pair.
2323         * config/alpha/alpha-protos.h (alpha_split_tfmode_pair): Rename into
2324         alpha_split_tmode_pair and adjust for above change.
2325         * config/alpha/alpha.md (movtf_internal): Adjust call to
2326         alpha_split_tfmode_pair and rely on it to swap the operands.
2327         (movti_internal): New insn and post-reload splitter.
2328         (movti): New expander.
2329
2330 2006-01-18  Philippe De Muyter  <phdm@macqel.be>
2331
2332         * config/m68k/m68k.md (*addsi3_5200): Allow addq/subq to memory
2333         operands.
2334
2335 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
2336
2337         * rtlanal.c (global_reg_mentioned_p_1,
2338         global_reg_mentioned_p): Remove.
2339         * rtl.h: Remove the prototype for global_reg_mentioned_p.
2340
2341         * flow.c (initialize_uninitialized_subregs): Make it static.
2342         * rtl.h: Remove the prototype for
2343         initialize_uninitialized_subregs.
2344
2345         * function.c (instantiate_virtual_regs): Make it static.
2346         * function.h: Remove the prototype for
2347         instantiate_virtual_regs.
2348
2349         * regmove.c (regmove_optimize, combine_stack_adjustments):
2350         Make them static.
2351         * rtl.h: Remove the prototypes for regmove_optimize and
2352         combine_stack_adjustments.
2353
2354 2006-01-17  Roger Sayle  <roger@eyesopen.com>
2355
2356         * config/i386/i386.c (COSTS_N_BYTES): New macro.
2357         (size_cost): Encode costs in bytes so that a reg-reg addition is
2358         equivalent to COSTS_N_INSNS(1).
2359         (override_options): Use the size_cost.branch_cost as the default
2360         ix86_branch_cost when optimizing for size.
2361
2362 2006-01-18  Ben Elliston  <bje@au.ibm.com>
2363
2364         * Makefile.in (D32PBIT_FUNCS): New.
2365         (D64PBIT_FUNCS, D128PBIT_FUNCS): Likewise.
2366         (libgcc.mk): Set D32PBIT, D64PBIT, D128PBIT, D32PBIT_FUNCS,
2367         D64PBIT_FUNCS and D128PBIT_FUNCS.
2368         (LIBGCC_DEPS): Include $(D32PBIT), $(D64PBIT), $(D128PBIT).
2369         * mklibgcc.in Bring in the DFP support code if D32PBIT, D64PBIT or
2370         D128PBIT are set.
2371         (decnumber_dep): Define.
2372         * doc/libgcc.texi (Decimal float library routines): New node.
2373         * config/dfp-bit.h, config/dfp-bit.c: New files.
2374
2375 2006-01-18  Ben Elliston  <bje@au.ibm.com>
2376
2377         * expr.c (emit_move_change_mode): Always adjust addresses, not
2378         just during reload.  Copy replacements only during reload.
2379         (emit_move_insn_1): Move MODE_DECIMAL_FLOAT modes by invoking
2380         emit_move_via_integer.
2381
2382 2006-01-17  Shantonu Sen  <ssen@opendarwin.org>
2383
2384         * Makefile.in (check-%, check-consistency): Use $${srcdir}
2385         instead of $(srcdir) and ${srcdir}.
2386
2387 2006-01-17  Richard Earnshaw  <rearnsha@arm.com>
2388
2389         PR target/592
2390         PR middle-end/11135
2391         * arm.h (struct machine_function): Add pic_reg.
2392         * arm.c (arm_pic_register): Make unsigned.
2393         (arm_override_options): Only set arm_pic_register if
2394         TARGET_SINGLE_PIC_BASE.
2395         (use_return_insn): Only test for a pic register if it is fixed.
2396         (arm_compute_save_reg0_reg12_mask): Likewise.
2397         (thumb_compute_save_reg_mask): Likewise.
2398         (legitimate_pic_operand): Factor out some known invariants.
2399         (legitimize_pic_address): If we don't have a fixed pic register,
2400         then set up a pseudo in the function entry sequence.  Handle the
2401         pic base being in a pseudo.
2402         (arm_load_pic_register): Handle the pic register being in a pseudo.
2403         (arm_expand_prologue): Only set up the pic register if it is fixed.
2404         (thumb_expand_prologue): Likewise.
2405         * arm.md (pic_load_addr_based): Handle the pic base being a pseudo.
2406         (pic_load_addr_based_insn): Likewise.
2407         (builtin_setjmp_receiver): Don't restore the pic base if it isn't
2408         fixed.
2409
2410 2006-01-18  Ben Elliston  <bje@au.ibm.com>
2411
2412         * config/rs6000/rs6000.c (rs6000_hard_regno_mode_ok): Reject
2413         decimal float modes for all floating point registers.
2414
2415         * config/rs6000/predicates.md (reg_or_mem_operand): Pair up
2416         match_code "mem" with match_test "macho_lo_sum_memory_operand".
2417
2418 2006-01-17  Jakub Jelinek  <jakub@redhat.com>
2419
2420         PR c/25682
2421         * c-typeck.c (build_unary_op): Fold offsetof-like expressions
2422         even when the pointer is not NULL.
2423
2424 2006-01-16  Ian Lance Taylor  <ian@airs.com>
2425
2426         * common.opt (ftoplevel-reorder): New option.
2427         * cgraph.c (cgraph_asm_nodes): New global variable.
2428         (cgraph_asm_last_node): New static variable.
2429         (cgraph_order): New global variable.
2430         (cgraph_create_node): Set new order field.
2431         (cgraph_varpool_node): Likewise.
2432         (decide_is_variable_needed): Return true if not
2433         flag_toplevel_reorder.
2434         (cgraph_add_asm_node): New function.
2435         * cgraph.h (struct cgraph_node): Add order field.
2436         (struct cgraph_varpool_node): Add order field.
2437         (struct cgraph_asm_node): Define.
2438         (cgraph_asm_nodes, cgraph_order): Declare.
2439         (cgraph_add_asm_node): Declare.
2440         * cgraphunit.c (cgraph_varpool_assemble_decl): New static
2441         function.
2442         (cgraph_varpool_assemble_pending_decls): Call it.
2443         (cgraph_output_pending_asms): New static function.
2444         (cgraph_finalize_compilation_unit): Call it.
2445         (struct cgraph_order_sort): Define.
2446         (cgraph_output_in_order): New static function.
2447         (cgraph_optimize): Call cgraph_output_pending_asms.  Add code for
2448         !flag_toplevel_reorder case.
2449         * c-parser.c: Include "cgraph.h".
2450         (c_parser_asm_definition): Call cgraph_add_asm_node rather than
2451         assemble_asm.
2452         * Makefile.in (CRTSTUFF_CFLAGS): Use -fno-toplevel-reorder rather
2453         than -fno-unit-at-a-time.
2454         * doc/invoke.texi (Option Summary): Mention
2455         -fno-toplevel-reorder.
2456         (Optimize Options): Document -fno-toplevel-reorder.  Mention it in
2457         -funit-at-a-time documentation.
2458
2459 2006-01-17  Hans-Peter Nilsson  <hp@axis.com>
2460             Kazu Hirata  <kazu@codesourcery.com>
2461
2462         * Makefile.in (FUNCTION_H, LAMBDA_H): Use $(TREE_H), not tree.h.
2463
2464 2006-01-17  Kazu Hirata  <kazu@codesourcery.com>
2465
2466         * Makefile.in (FUNCTION_H): New.  Use it instead of
2467         function.h throughout the file.
2468         * function.h: Include tree.h.
2469
2470 2006-01-17  Ben Elliston  <bje@au.ibm.com>
2471
2472         * recog.c: Separate some functions with whitespace.
2473
2474 2006-01-16  Richard Henderson  <rth@redhat.com>
2475
2476         Merge from gomp branch:
2477         * Makefile.in (TREE_INLINE_H): New.  Use it as needed.
2478         * tree-inline.h (struct copy_body_data): Move from tree-inline.c
2479         and rename from struct inline_data.  Rename callee* to dst*;
2480         caller* to src*; add copy_decl hook, transform_call_graph_edges,
2481         transform_new_cfg, transform_return_to_modify, and
2482         transform_lang_insert_block flags; remove cloning_p, versioning_p,
2483         update_clones_p.
2484         (copy_body_r, insert_decl_map, remap_decl, remap_type): Declare.
2485         (copy_decl_for_dup): Remove.
2486         * tree-inline.c (struct inline_data): Move to header.
2487         (insert_decl_map): Export.
2488         (remap_decl): Update for member name changes.  Use copy_decl hook.
2489         Allow for replacement to be a non-decl.  Remove dead code.
2490         (remap_type_1): Check for existing mapping.
2491         (remap_type): Export.
2492         (remap_decls): Update for member name changes.
2493         (remap_block, copy_bb, copy_cfg_body, copy_generic_body): Likewise.
2494         (copy_body, setup_one_parameter, declare_return_variable): Likewise.
2495         (expand_call_inline, optimize_inline_calls, clone_body): Likewise.
2496         (copy_tree_r, mark_local_for_remap_r, unsave_expr_now): Likewise.
2497         (tree_function_versioning, build_duplicate_type): Likewise.
2498         (copy_body_r): Likewise.  Export.
2499         (copy_decl_for_dup): Split into ...
2500         (copy_decl_for_dup_finish, copy_decl_to_var,
2501         copy_decl_no_change, copy_decl_maybe_to_var): ... these.
2502         (replace_ref_tree, inlining_p): Remove.
2503
2504 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
2505
2506         * ifcvt.c (if_convert): Make it static.
2507         * rtl.h: Remove the prototype for if_convert.
2508
2509         * local-alloc.c (local_alloc): Make it static.
2510         * rtl.h: Remove the prototype for local_alloc.
2511
2512         * loop.c (loop_optimize): Make it static.
2513         * cfgloop.h: Remove the prototype for loop_optimize.
2514         * rtl.h: Likewise.
2515
2516 2006-01-16  DJ Delorie  <dj@redhat.com>
2517
2518         * reload.c (reg_overlap_mentioned_for_reload_p): Handle subregs of
2519         mems.
2520
2521 2006-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2522
2523         * pa.md: Disparage copies between general and floating-point registers
2524         in 32-bit move patterns.
2525
2526 2006-01-16  H.J. Lu  <hongjiu.lu@intel.com>
2527
2528         PR testsuite/25741
2529         * Makefile.in (check-%): Depend on site.exp instead of
2530         $(TESTSUITEDIR)/site.exp. Run "runtest" in separate language
2531         directories.
2532
2533 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
2534
2535         * global.c (global_alloc): Make it static.
2536         * rtl.h: Remove the prototype for global_alloc.
2537
2538 2006-01-16  Richard Guenther  <rguenther@suse.de>
2539
2540         * tree-ssa-alias.c (struct used_part): Add write_only field.
2541         (get_or_create_used_part_for): Initialize it to true.
2542         (create_overlap_variables_for): Don't create structure variables
2543         for structures that only are written to.
2544         (find_used_portions): Handle MODIFY_EXPR to track whether a
2545         structure is only written to.
2546
2547 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
2548
2549         * bb-reorder.c (partition_hot_cold_basic_blocks): Make it
2550         static.
2551         * basic-block.h: Remove the prototype for
2552         partition_hot_cold_basic_blocks.
2553
2554 2006-01-16  Rafael Ãvila de EspÃndola <rafael.espindola@gmail.com>
2555
2556         * cppspec.c (lang_specific_spec_functions): Remove.
2557         * gcc.c (lookup_spec_function): Use static_spec_functions directly.
2558         * gcc.h (lang_specific_spec_functions): Remove.
2559         * gccspec.c (lang_specific_spec_functions): Remove.
2560
2561 2006-01-16  Paolo Bonzini  <bonzini@gnu.org>
2562
2563         * combine.c (record_value_for_reg): Invalidate registers
2564         if INSN is null.
2565         (record_dead_and_set_regs_1): Likewise, by passing them to
2566         record_value_for_reg.
2567         (record_dead_and_set_regs): Invalidate stores made by a
2568         call.  We do not combine across a call, but we still
2569         relied on equivalences.
2570
2571 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
2572
2573         * tree-vrp.c (extract_range_from_binary_expr): Cope with
2574         vrp_int_const_binop returning non-constant nodes.
2575
2576 2006-01-16  Paul Brook  <paul@codesourcery.com>
2577
2578         * config/m68k/m68k.c (output_move_const_into_data_reg):
2579         Output correct mnemonic for mvz and mvs.
2580
2581 2006-01-16  Gabor Loki  <loki@gcc.gnu.org>
2582
2583         * rtl-factoring.c: Add sequence abstraction algorithm.
2584         * cfgcleanup.c (outgoing_edges_match): Extra checks.
2585         (try_crossjump_to_edge): Avoid deleting preserve label when redirecting
2586         ABNORMAL edges.
2587         (block_has_preserve_label): New function.
2588         * common.opt: Register new pass.
2589         * Makefile.in: Ditto.
2590         * passes.c: Ditto.
2591         * timevar.def: Ditto.
2592         * tree-pass.h: Ditto.
2593         * emit-rtl.c (make_jump_insn_raw): Remove forward decl.
2594         * rtl.h (make_jump_insn_raw): Add forward decl.
2595         * doc/invoke.texi: Add documentation for -frtl-abstract-sequences.
2596
2597 2006-01-16  Eric Botcazou  <ebotcazou@adacore.com>
2598             Roger Sayle  <roger@eyesopen.com>
2599
2600         * fold-const.c (fold_minmax): New static function.
2601         (fold_binary) <MIN_EXPR>: Call it.
2602         <MAX_EXPR>: Likewise.
2603         * stor-layout.c (place_field): Use DECL_SIZE consistently
2604         in the computation of the new record size.
2605
2606 2006-01-16  Kazu Hirata  <kazu@codesourcery.com>
2607
2608         * cse.c (cse_condition_code_reg): Make it static.
2609         * rtl.h: Remove the prototype for cse_condition_code_reg.
2610
2611         * combine.c (combine_instructions): Make it static.
2612         * rtl.h: Remove the prototype for combine_instructions.
2613
2614 2006-01-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
2615
2616         PR target/25168
2617         * tree.c (get_file_function_name_long): Concatenate the first global
2618         object name with a string derived from the input filename of the object
2619         for type "F".
2620
2621 2006-01-16  Ben Elliston  <bje@au.ibm.com>
2622
2623         * config/i386/winnt-stubs.c: Update FSF address.
2624         * config/xtensa/ieee754-df.S: Ditto.
2625         * config/xtensa/ieee754-sf.S: Ditto.
2626
2627 2006-01-14  Ian Lance Taylor  <ian@airs.com>
2628
2629         * ifcvt.c (noce_init_if_info): New static function, broken out of
2630         noce_process_if_block.
2631         (noce_process_if_block): Call noce_init_if_info.
2632         (check_cond_move_block): New static function.
2633         (cond_move_process_if_block): New static function.
2634         (process_if_block): Call cond_move_process_if_block.
2635
2636 2006-01-15  Kazu Hirata  <kazu@codesourcery.com>
2637
2638         * cselib.c (hash_table): Rename to cselib_hash_table.
2639         (cselib_clear_table, discard_useless_values,
2640         remove_useless_values, cselib_lookup_mem, cselib_lookup,
2641         cselib_init, cselib_finish): Adjust uses of hash_table.
2642
2643 2006-01-14  Kazu Hirata  <kazu@codesourcery.com>
2644
2645         PR tree-optimization/25485
2646         * tree-vrp.c (extract_range_from_binary_expr): Handle cases
2647         where one of the operands of TRUTH_AND_EXPR and TRUTH_OR_EXPR
2648         is known to be false and true, respectively.
2649
2650 2006-01-14  Richard Guenther  <rguenther@suse.de>
2651
2652         PR tree-optimization/22548
2653         PR tree-optimization/22555
2654         PR tree-optimization/22501
2655         * Makefile.in (tree-ssa-structalias.o): Depend on $(PARAMS_H).
2656         * params.def (salias-max-array-elements): New parameter.
2657         * params.h (SALIAS_MAX_ARRAY_ELEMENTS): Define.
2658         * doc/invoke.texi (salias-max-array-elements): Document.
2659         * tree-flow-inline.h (var_can_have_subvars): We also handle
2660         arrays now.
2661         * tree-ssa-alias.c (find_used_portions): Handle ARRAY_REF like
2662         COMPONENT_REF.
2663         * tree-ssa-structalias.c (params.h): Include.
2664         (push_fields_onto_fieldstack): Handle ARRAY_TYPE.
2665         (find_func_aliases): Handle multiple constraints from ARRAY_REF.
2666         (get_constraint_for): For ADDR_EXPR operating on something
2667         containing an ARRAY_REF, add all subvars to the solution.
2668         (handle_ptr_arith): Handle ARRAY_TYPE like RECORD_TYPE types.
2669         * tree-ssa-operands.c (parse_ssa_operands): Handle ARRAY_REF
2670         for creating MUST_DEFs.
2671         (get_expr_operands): Treat ARRAY_REF like COMPONENT_REF wrt subvars.
2672
2673 2006-01-14  Zdenek Dvorak <dvorakz@suse.cz>
2674
2675         * tree-ssa-loop-niter.c (number_of_iterations_cond): Split into several
2676         functions.
2677         (number_of_iterations_ne, number_of_iterations_lt_to_ne,
2678         assert_no_overflow_lt, assert_loop_rolls_lt, number_of_iterations_lt,
2679         number_of_iterations_le): New functions.
2680         (number_of_iterations_special): Removed.
2681         (number_of_iterations_exit): Do not use number_of_iterations_special.
2682         * tree.c (unsigned_type_for): Always return integer type.
2683
2684 2006-01-14  Steven Bosscher  <stevenb.gcc@gmail.com>
2685         Richard Guenther  <rguenther@suse.de>
2686
2687         PR rtl-optimization/24257
2688         * gcse.c (find_moveable_store): Only consider a store movable
2689         when the SET_SRC of the insn can be assigned to a register.
2690
2691 2006-01-14  Ian Lance Taylor  <ian@airs.com>
2692
2693         * tree.c (tree_not_class_check_failed): New function.
2694         * tree.h (NON_TYPE_CHECK): Call tree_not_class_check_failed.
2695         (tree_not_class_check_failed): Declare.
2696
2697 2006-01-13  Ian Lance Taylor  <ian@airs.com>
2698
2699         * reload1.c (do_output_reload): Add assertion rejecting a
2700         CALL_INSN.
2701
2702 2006-01-13  Adam Nemet  <anemet@caviumnetworks.com>
2703
2704         * combine.c (struct reg_stat): Add new fields truncation_label and
2705         truncated_to_mode.
2706         (record_value_for_reg): Reset truncated_to_mode.
2707         (record_truncated_value): New function.
2708         (check_promoted_subreg): Call it.  Rename to check_conversions.
2709         (combine_instructions): Rename check_promoted_subreg to
2710         check_conversions.
2711         (reg_truncated_to_mode): New function.
2712         (make_extraction): Use it.  Check TRULY_NOOP_TRUNCATION.
2713         (gen_lowpart_or_truncate): New function.
2714         (force_to_mode): Use it instead of gen_lowpart.
2715
2716 2006-01-13  Diego Novillo  <dnovillo@redhat.com>
2717
2718         * tree-ssa-alias.c (add_type_alias): Fix typo.  Test whether
2719         VAR is a tag, not its type tag.
2720
2721 2006-01-13  Alexandre Oliva  <aoliva@redhat.com>
2722
2723         * config/i386/sse.md (*vec_extractv2di_1_sse2): Reorder
2724         alternatives to match style of other entries.
2725         (*vec_extractv2di_1_sse): Likewise.  Fix mode attr.
2726
2727 2006-01-13  Daniel Berlin  <dberlin@dberlin.org>
2728
2729         PR tree-optimization/25771
2730         * tree-ssa-pre.c (insert_extra_phis): Don't insert merges of abnormal
2731         SSA_NAMES.
2732
2733 2006-01-13  Andrew Pinski  <pinskia@physics.uc.edu>
2734
2735         PR tree-opt/24365
2736         * tree-inline.c (declare_return_variable): If the return variable
2737         was marked as a non gimple complex, set the return slot variable
2738         to be a non gimple comple variable.
2739
2740 2006-01-13  Richard Guenther  <rguenther@suse.de>
2741
2742         * builtins.c (expand_builtin_sincos): New function.
2743         (expand_builtin_mathfn_3): Remove dead code, sin and cos
2744         do not set errno.
2745         (expand_builtin): Expand sincos using expand_builtin_sincos.
2746
2747 2006-01-12  DJ Delorie  <dj@redhat.com>
2748
2749         * config/m32c/shift.md: Rewrite: Allow arbitrary operands for
2750         shift counts, separate SI shifts for m32c vs m16c, pass shift type
2751         so that constant shifts can be split.
2752         * config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Add In6.
2753         (m32c_valid_pointer_mode): Make static.
2754         (shift_gen_func_for): New.
2755         (m32c_prepare_shift): Use it.  Split large const shifts into
2756         multiple shifts.
2757         * config/m32c/predicates.md (shiftcount_operand): Allow more
2758         general operands.
2759         (longshiftcount_operand): New.
2760         * doc/md.texi (Machine Constraints): Document In6.
2761
2762 2006-01-13  Ben Elliston  <bje@au.ibm.com>
2763
2764         * doc/tm.texi (Data Output): Add REAL_VALUE_TO_TARGET_DECIMAL32,
2765         REAL_VALUE_TO_TARGET_DECIMAL64 and REAL_VALUE_TO_TARGET_DECIMAL128
2766         documentation.
2767
2768 2006-01-12  Daniel Berlin  <dberlin@dberlin.org>
2769
2770         * tree-ssa-operands.c (add_call_clobber_ops): Use SFT_PARENT_VAR
2771         to try to avoid clobbering pieces of structures when we know
2772         something about the whole structure.
2773         * tree-ssa-alias.c (create_sft): Set SFT_PARENT_VAR
2774
2775 2006-01-13  Ben Elliston  <bje@au.ibm.com>
2776
2777         * doc/rtl.texi (Insns): Remove statement that libcalls cannot
2778         return in memory, as this is no limitation is no longer present.
2779
2780 2006-01-12  DJ Delorie  <dj@redhat.com>
2781
2782         * config/m32c/addsub.md (addhi3): Add two more alternatives, for
2783         mova with fb, and for fb+0 -> An.
2784
2785         * config/m32c/mov.md (peephole2): Fix enabling logic.
2786
2787         * config/m32c/m32c.h (CTOR_LIST_BEGIN, CTOR_LIST_END,
2788         DTOR_LIST_BEGIN, DTOR_LIST_END, CTORS_SECTION_ASM_OP,
2789         DTORS_SECTION_ASM_OP, INIT_ARRAY_SECTION_ASM_OP,
2790         FINI_ARRAY_SECTION_ASM_OP): Define.
2791
2792         * config/m32c/m32c.c (m32c_legitimize_address): Remove temporary
2793         variable.
2794         (m32c_legitimize_reload_address): New logic to reload FB to An.
2795         (m32c_output_reg_push): Add newline.
2796         (m32c_output_reg_pop): Likewise.
2797
2798 2006-01-12  Ulrich Weigand  <uweigand@de.ibm.com>
2799
2800         * struct-equiv.c (find_dying_inputs): Fix off-by-one bug.
2801
2802 2006-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
2803
2804         * config/i386/darwin.h (SUBTARGET_ENCODE_SECTION_INFO): Define.
2805
2806 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
2807
2808         * config/sh/predicates.md (sh_rep_vec): Add parallel to
2809         match_code.
2810
2811 2006-01-11  Ben Elliston  <bje@au.ibm.com>
2812
2813         * rtlanal.c (find_reg_note): Assert insn is not null.
2814
2815 2006-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
2816
2817         * df-scan.c (df_hard_reg_init): Move declaration of i outside
2818         ifdef.
2819
2820 2006-01-11  Jeff Law  <law@redhat.com>
2821
2822         * tree-ssa-threadupdate.c (threaded_edges): New VEC to
2823         hold edge pairs.
2824         (mark_threaded_blocks, register_jump_thread): New functions.
2825         (thread_through_all_blocks): Remove unwanted argument.  No
2826         longer rely on e->aux to communicate thread target info.
2827         Call mark_threaded_blocks.  Release the threaded_blocks
2828         bitmap and threaded_edges vector when complete.
2829         * tree-ssa-dom.c (struct edge_info): Remove redirection_target field.
2830         (threaded_blocks): Remove.
2831         (tree_ssa_dominator_optimize): Remove initialization and
2832         finalization of threaded_blocks.  Simplify call to
2833         thread_through_all_blocks.
2834         (thread_across_edge): Call register_jump_thread rather than
2835         storing thread information into e->aux.
2836         (free_all_edge_infos): Simplify now that e->aux is no longer
2837         used to communicate with thread_through_all_blocks.
2838         * tree-flow.h (thread_through_all_blocks): Update prototype.
2839         (register_jump_thread): Prototype.
2840
2841 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
2842
2843         * df-core.c (df_compact_blocks, df_bb_replace): Use
2844         SET_BASIC_BLOCK instead of BASIC_BLOCK.
2845
2846 2006-01-11  Richard Guenther  <rguenther@suse.de>
2847
2848         PR tree-optimization/25734
2849         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Do not
2850         stop propagation after successful propagation to the LHS.
2851
2852 2006-01-11  Kazu Hirata  <kazu@codesourcery.com>
2853
2854         * basic-block.h (control_flow_graph): Change the type of
2855         x_basic_block_info to VEC(basic_block,gc) *.
2856         (BASIC_BLOCK_FOR_FUNCTION, BASIC_BLOCK): Adjust the uses of
2857         basic_block_info.
2858         (SET_BASIC_BLOCK): New.
2859         * cfg.c (compact_blocks, expunge_block): Use SET_BASIC_BLOCK
2860         instead of BASIC_BLOCK when assigning to BASIC_BLOCK.
2861         * cfgbuild.c (find_basic_blocks): Likewise.
2862         * cfglayout.c (fixup_reorder_chain): Likewise.
2863         * cfgrtl.c (create_basic_block_structure,
2864         rtl_create_basic_block): Likewise.
2865         * ifcvt.c (find_if_case_1): Likewise.
2866         * tree-cfg.c (init_empty_tree_cfg, build_tree_cfg, create_bb):
2867         Likewise.
2868
2869 2006-01-11  Kenneth Zadeck <zadeck@naturalbridge.com>
2870
2871         * Makefile.in: Removed rotted odf.c entry.
2872
2873 2006-01-11  Hans-Peter Nilsson  <hp@axis.com>
2874
2875         PR target/25706
2876         * config/cris/cris.md ("*extopqihi_side", "*extop<mode>si_side")
2877         ("*extop<mode>si_swap_side_biap", "*extop<mode>si_swap_side",
2878         ("*extopqihi", "*extop<mode>si", "*extop<mode>si_swap"): Use %E
2879         output pattern modifier, not %e.
2880         * config/cris/cris.c (cris_op_str): Update comment about pattern
2881         modifier.
2882         (cris_print_operand) <case 'e'>: Clear cris_output_insn_is_bound
2883         before falling through into...
2884         <case 'E'>: Redefined from old 'e' case.
2885
2886 2006-01-11  Jan Hubicka  <jh@suse.cz>
2887
2888         PR target/25042
2889         * i386.c (ix86_init_mmx_sse_builtins): Do not delcare float128
2890
2891 2006-01-11  Jan Hubicka  <jh@suse.cz>
2892
2893         * i386.h (TARGET_DECOMPOSE_LEA): Kill.
2894         * i386.c (x86_decompose_lea): Kill.
2895         (ix86_rtx_costs): Kill.
2896
2897 2006-01-11  Jan Hubicka  <jh@suse.cz>
2898
2899         * cgraph.c (cgraph_insert_node_to_hashtable): New function.
2900         * cgraph.h (cgraph_node): Add inline_decl.
2901         (cgraph_insert_node_to_hashtable): Declare.
2902         (save_inline_function_body): Declare.
2903         * cgraphunit.c (verify_cgraph_node): Inline edges might point to inline
2904         clones.
2905         (cgraph_preserve_function_body_p): Do not presrve when dump is enabled.
2906         (cgraph_function_versioning): Update call of tree_function_versioning.
2907         (save_inline_function_body): New function.
2908         * function.h (struct function): Kill saved_eh, saved_cfg, saved_args,
2909         saved_static_chain_decl, saved_blocks and saved-unexpanded_var_list.
2910         * ipa-inline.c (cgraph_mark_inline_edge): Look for inline clones.
2911         (cgraph_default_inline_p): Likewise.
2912         (cgraph_decide_inlining_incrementally): Likewise.
2913         * tree-inline.c (inline_data): Kill saving_p add update_clones_p.
2914         (copy_bb): Kill saving; do updating of clones.
2915         (copy_cfg_body): Kill saving.
2916         (initialize_inlined-parameters): Likewise.
2917         (expand_call_inline): Likewise.
2918         (save_body): Kill.
2919         (tree_function_versioning): New parameter "update_clones".
2920         (inlining_p): Kill saving.
2921         * tree-inline.h (tree_function_versioning): Update prototype.
2922         * tree-optimize.c (tree_rest_of_compilation): Use clonning instead of
2923         saving.
2924
2925 2006-01-11  Ian Lance Taylor <ian@airs.com>
2926
2927         * combine.c (struct undo): Remove is_int.  Enumify types of undos.
2928         Allow undoing set of machine mode.
2929         (do_SUBST): Use enums instead of is_int.
2930         (do_SUBST_MODE): New function.
2931         (SUBST_MODE): New macro.
2932         (try_combine): Use SUBST_MODE/PUT_MODE instead of generating a new
2933         reg and trying to replace reg_regno_rtx with a new register.
2934         (undo_all): Use new enums, handle undoing a PUT_MODE change.
2935         (simplify_set): Use SUBST_MODE.
2936         (distribute_notes): Remove code that tried to update reg notes
2937         for regno_reg_rtx changes.
2938
2939 2006-01-11  Paolo Bonzini  <bonzini@gnu.org>
2940
2941         PR tree-optimization/23109
2942         PR tree-optimization/23948
2943         PR tree-optimization/24123
2944
2945         * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
2946         * tree-cfg.c (single_noncomplex_succ): New.
2947         * tree-flow.h (single_noncomplex_succ): Declare it.
2948         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
2949         * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
2950         (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
2951         insert_bb, register_division_in, insert_reciprocals,
2952         replace_reciprocal, free_bb): New.
2953         (execute_cse_reciprocals_1): Rewritten.
2954         (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
2955         Do not commit any edge insertion.  Always compute dominators and
2956         create the allocation pool.
2957         * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
2958         * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
2959         * targhooks.c (default_min_divistions_for_recip_mul): New.
2960         * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
2961         * passes.c (init_optimization_passes): Run recip after tree loop
2962         optimizations.
2963         * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.
2964
2965 2006-01-11  Danny Berlin <dberlin@dberlin.org>
2966             Kenneth Zadeck <zadeck@naturalbridge.com>
2967
2968         * df.h (DF_SCAN, DF_RU, DF_RD, DF_LR, DF_UR, DF_UREC, DF_CHAIN,
2969         DF_RI, DF_LAST_PROBLEM_PLUS1, DF_DU_CHAIN, DF_UD_CHAIN,
2970         DF_REF_TYPE_NAMES, DF_HARD_REGS, DF_EQUIV_NOTES, DF_SUBREGS,
2971         DF_SCAN_BB_INFO, DF_RU_BB_INFO, DF_RD_BB_INFO, DF_LR_BB_INFO,
2972         DF_UR_BB_INFO, DF_UREC_BB_INFO, DF_LIVE_IN, DF_LIVE_OUT,
2973         DF_RA_LIVE_IN, DF_RA_LIVE_OUT, DF_UPWARD_LIVE_IN,
2974         DF_UPWARD_LIVE_OUT, DF_REF_REAL_REG, DF_REF_REGNO,
2975         DF_REF_REAL_LOC, DF_REF_REG, DF_REF_LOC, DF_REF_BB, DF_REF_BBNO,
2976         DF_REF_INSN, DF_REF_INSN_UID, DF_REF_TYPE, DF_REF_CHAIN,
2977         DF_REF_ID, DF_REF_FLAGS, DF_REF_NEXT_REG, DF_REF_PREV_REG,
2978         DF_REF_NEXT_REF, DF_REF_DATA, DF_REF_REG_DEF_P, DF_REF_REG_USE_P,
2979         DF_REF_REG_MEM_STORE_P, DF_REF_REG_MEM_LOAD_P, DF_REF_REG_MEM_P,
2980         DF_DEFS_SIZE, DF_DEFS_GET, DF_DEFS_SET, DF_USES_SIZE, DF_USES_GET,
2981         DF_USES_SET, DF_REG_SIZE, DF_REG_DEF_GET, DF_REG_DEF_SET,
2982         DF_REG_USE_GET, DF_REG_USE_SET, DF_REGNO_FIRST_DEF,
2983         DF_REGNO_LAST_USE, DF_INSN_SIZE, DF_INSN_GET, DF_INSN_SET,
2984         DF_INSN_CONTAINS_ASM, DF_INSN_LUID, DF_INSN_DEFS, DF_INSN_USES,
2985         DF_INSN_UID_GET, DF_INSN_UID_LUID, DF_INSN_UID_DEFS,
2986         DF_INSN_UID_USES, DF_SCAN_INITIAL, DF_SCAN_GLOBAL,
2987         DF_SCAN_POST_ALLOC): New macros.
2988         (df_flow_dir, df_ref_type, df_ref_flags, df_alloc_function,
2989         df_free_bb_function, df_local_compute_function, df_init_function,
2990         df_dataflow_function, df_confluence_function_0,
2991         df_confluence_function_n, df_transfer_function,
2992         df_finalizer_function, df_free_function, df_dump_problem_function,
2993         df_problem, dataflow, df_insn_info, df_reg_info, df_ref, df_link,
2994         df_ref_info, df, df_map, df_scan_bb_info, df_ru_bb_info,
2995         df_ru_bb_info, df_rd_bb_info, df_lr_bb_info, df_ur_bb_info,
2996         df_urec_bb_info, ) New types.
2997         (df_invalidated_by_call, df_all_hard_regs, df_state) New public
2998         variables.
2999         (df_init, df_add_problem, df_set_blocks, df_finish, df_analyze,
3000         df_analyze_simple_change_some_blocks,
3001         df_analyze_simple_change_one_block, df_compact_blocks,
3002         df_bb_replace, df_bb_regno_last_use_find,
3003         df_bb_regno_first_def_find, df_bb_regno_last_def_find,
3004         df_insn_regno_def_p, df_find_def, df_find_use,
3005         df_iterative_dataflow, df_dump, df_chain_dump, df_refs_chain_dump,
3006         df_regs_chain_dump, df_insn_debug, df_insn_debug_regno,
3007         df_regno_debug, df_ref_debug, debug_df_insn, debug_df_regno,
3008         debug_df_reg, debug_df_defno, debug_df_useno, debug_df_ref,
3009         debug_df_chain, df_get_dependent_problem, df_chain_create,
3010         df_chain_unlink, df_chain_copy, df_get_live_in, df_get_live_out,
3011         df_grow_bb_info, df_chain_dump, df_print_bb_index,
3012         df_ru_add_problem, df_ru_get_bb_info, df_rd_add_problem,
3013         df_rd_get_bb_info, df_lr_add_problem, df_lr_get_bb_info,
3014         df_ur_add_problem, df_ur_get_bb_info, df_urec_add_problem,
3015         df_urec_get_bb_info, df_chain_add_problem, df_ri_add_problem,
3016         df_reg_lifetime, df_scan_get_bb_info, df_scan_add_problem,
3017         df_rescan_blocks, df_ref_create, df_get_artificial_defs,
3018         df_get_artificial_uses, df_reg_chain_create, df_reg_chain_unlink,
3019         df_ref_remove, df_insn_refs_delete, df_refs_delete,
3020         df_reorganize_refs, df_set_state, df_hard_reg_init,
3021         df_read_modify_subreg_p) New public functions.
3022         * df-core.c: The core dataflow solver and glue routines for rtl
3023         dataflow.
3024         (df_init, df_add_problem, df_set_blocks, df_finish,
3025         df_hybrid_search_forward, df_hybrid_search_backward,
3026         df_iterative_dataflow, df_prune_to_subcfg, df_analyze_problem,
3027         df_analyze, df_get_bb_info, df_set_bb_info, df_bb_replace,
3028         df_bb_regno_last_use_find, df_bb_regno_first_def_find,
3029         df_bb_regno_last_def_find, df_insn_regno_def_p, df_find_def,
3030         df_reg_defined, df_find_use, df_reg_used, df_dump,
3031         df_refs_chain_dump, df_regs_chain_dump, df_insn_debug,
3032         df_insn_debug_regno, df_regno_debug, df_ref_debug, debug_df_insn,
3033         debug_df_reg, debug_df_regno, debug_df_ref debug_df_defno,
3034         debug_df_useno, reset_df_after_reload): New functions.
3035         * df-scan.c: The scanning fuctions, once in df.c, completely
3036         rewritten so that they now fully model the functionality of
3037         register usage at the backend.
3038         (df_scan_free_internal, df_scan_get_bb_info, df_scan_set_bb_info,
3039         df_scan_free_bb_info, df_scan_alloc, df_scan_free, df_scan_dump,
3040         df_scan_add_problem, df_grow_reg_info, df_grow_ref_info,
3041         df_grow_insn_info, df_rescan_blocks, df_ref_create,
3042         df_get_artificial_defs, df_get_artificial_uses,
3043         df_reg_chain_create, df_ref_unlink, df_reg_chain_unlink,
3044         df_ref_remove, df_insn_create_insn_record, df_insn_refs_delete,
3045         df_refs_delete, df_reorganize_refs, df_set_state,
3046         df_ref_create_structure, df_ref_record, df_read_modify_subreg_p,
3047         df_def_record_1, df_defs_record, df_uses_record,
3048         df_insn_contains_asm_1, df_insn_contains_asm, df_insn_refs_record,
3049         df_has_eh_preds, df_bb_refs_record, df_refs_record, df_mark_reg,
3050         df_record_exit_block_uses, df_hard_reg_init): New functions.
3051
3052         * df-problems.c: Seven concrete dataflow problems that use the
3053         scanning in df-scan.c and are solved by the engine in df-core.c.
3054         (df_get_dependent_problem, df_chain_create, df_chain_unlink,
3055         df_chain_copy, df_get_live_in, df_get_live_out, df_grow_bb_info,
3056         df_chain_dump, df_print_bb_index, df_ref_bitmap, df_set_seen,
3057         df_unset_seen, df_ru_get_bb_info, df_ru_set_bb_info,
3058         df_ru_free_bb_info, df_ru_alloc,
3059         df_ru_bb_local_compute_process_def,
3060         df_ru_bb_local_compute_process_use, df_ru_bb_local_compute,
3061         df_ru_local_compute, df_ru_init_solution, df_ru_confluence_n,
3062         df_ru_transfer_function, df_ru_free, df_ru_dump,
3063         df_ru_add_problem, df_rd_get_bb_info, df_rd_set_bb_info,
3064         df_rd_free_bb_info, df_rd_alloc,
3065         df_rd_bb_local_compute_process_def, df_rd_bb_local_compute,
3066         df_rd_local_compute, df_rd_init_solution, df_rd_confluence_n,
3067         df_rd_transfer_function, df_rd_free, df_rd_dump,
3068         df_rd_add_problem, df_lr_get_bb_info, df_lr_set_bb_info,
3069         df_lr_free_bb_info, df_lr_alloc, df_lr_bb_local_compute,
3070         df_lr_local_compute, df_lr_init, df_lr_confluence_0,
3071         df_lr_confluence_n, df_lr_transfer_function, df_lr_free,
3072         df_lr_dump, df_lr_add_problem, df_ur_get_bb_info,
3073         df_ur_set_bb_info, df_ur_free_bb_info, df_ur_alloc,
3074         df_ur_bb_local_compute, df_ur_local_compute, df_ur_init,
3075         df_ur_local_finalize, df_ur_confluence_n, df_ur_transfer_function,
3076         df_ur_free, df_ur_dump, df_ur_add_problem, df_urec_get_bb_info,
3077         df_urec_set_bb_info, df_urec_free_bb_info, df_urec_alloc,
3078         df_urec_mark_reg_change, df_urec_check_earlyclobber,
3079         df_urec_mark_reg_use_for_earlyclobber,
3080         df_urec_mark_reg_use_for_earlyclobber_1, df_urec_bb_local_compute,
3081         df_urec_local_compute, df_urec_init, df_urec_local_finalize,
3082         df_urec_confluence_n, df_urec_transfer_function, df_urec_free,
3083         df_urec_dump, df_urec_add_problem, df_chain_alloc,
3084         df_chain_create_bb_process_use, df_chain_create_bb,
3085         df_chain_finalize, df_chain_free, df_chains_dump,
3086         df_chain_add_problem, df_ri_alloc, df_ri_bb_compute,
3087         df_ri_compute, df_ri_free, df_ri_dump, df_ri_add_problem,
3088         df_reg_lifetime): New functions.
3089         * df.c: Deleted file.
3090         * ddg.c (create_ddg_dep_no_link, build_inter_loop_deps): Made code
3091         consistent with new df api.
3092         * modulo-sched.c (sms_schedule, rest_of_handle_sms,
3093         rest_of_handle_sms): Ditto.
3094         * web.c (unionfind_union, union_defs, entry_register, web_main):
3095         Ditto.
3096         * loop_invariant.c (invariant_for_use, hash_invariant_expr_1,
3097         invariant_expr_equal_p, find_defs, check_dependencies,
3098         find_invariant_insn, find_invariants_to_move, move_invariant_reg,
3099         free_inv_motion_data, move_loop_invariants): Ditto.
3100         * Makefile.in (df.c, df-scan.c df-problems.c df-core.c):
3101         Update dependencies.
3102         (odf.c): Added defective entry that was deleted later in day.
3103         * sched-deps.c (sched_analyze_1): Ditto.
3104
3105 2006-01-11  Zdenek Dvorak <dvorakz@suse.cz>
3106
3107         * tree-ssa-operands.c (get_expr_operands): Record addressable
3108         variables directly.  Do not call add_stmt_operands for CONST_DECLs
3109         and ARRAY_DECLs.
3110         (get_indirect_ref_operands): Remove handling of *(&a + offset) case.
3111         (add_stmt_operands): Handle only objects satisfying SSA_VAR_P.
3112
3113 2006-01-11  Ben Elliston  <bje@au.ibm.com>
3114
3115         * config/i386/i386.c (ix86_return_in_memory): Fix comment: this
3116         function returns true in the positive case.
3117
3118 2006-01-10  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
3119
3120         PR target/20754
3121         * config/pa/pa.md: Create separate 32 and 64-bit move patterns
3122         for SI, DI, SF and DF modes.  Add alternatives to copy between
3123         general and floating point registers to the 32-bit patterns.
3124         * config/pa/pa-64.h (SECONDARY_MEMORY_NEEDED_RTX): Delete undefine.
3125         * config/pa/pa.h (SECONDARY_MEMORY_NEEDED_RTX): Delete define.
3126         (SECONDARY_MEMORY_NEEDED): Secondary memory is only needed when
3127         generating 64-bit code.
3128         * config/pa/pa.c (output_move_double): Handle copies between general
3129         and floating registers.
3130
3131 2006-01-10  Stuart Hastings  <stuart@apple.com>
3132
3133         * config/i386/i386.md (set_got): Update.
3134         (set_got_labelled): New.  (UNSPEC_LD_MPIC): New.
3135         (builtin_setjmp_receiver): Mach-O support.
3136         * config/i386/darwin.h (TARGET_ASM_FILE_END) Define.
3137         (GOT_SYMBOL_NAME): Define.
3138         (FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN): New.
3139         (TARGET_DEEP_BRANCH_PREDICTION): Remove.
3140         * config/i386/i386.c (override_options): Revise for Darwin.
3141         (USE_HIDDEN_LINKONCE): Enable for Mach-O.  (ix86_file_end): Mach-O
3142         support.  (darwin_x86_file_end): New.  (output_set_got): Add label
3143         parameter, revise for Mach-O.  (x86_output_mi_thunk): Likewise.
3144         * config/i386/i386-protos.h (output_set_got): Likewise.
3145         * config/darwin.c (machopic_legitimize_pic_address): Update
3146         regs_ever_live[].
3147
3148 2006-01-10  Kaz Kojima  <kkojima@gcc.gnu.org>
3149
3150         * config/sh/sh.h (SH5_WOULD_BE_PARTIAL_NREGS): Use GET_MODE_SIZE
3151         when MODE isn't BLKmode.
3152
3153 2006-01-10  Eric Botcazou  <ebotcazou@libertysurf.fr>
3154
3155         PR rtl-optimization/25367
3156         * config/sparc/sparc.h (HARD_REGNO_RENAME_OK): New macro.
3157
3158 2006-01-10  Hans-Peter Nilsson  <hp@axis.com>
3159
3160         PR target/25718
3161         * config/cris/cris.md ("uminsi3"): Don't use 8- or 16-bit sizes
3162         for a negative bound.
3163
3164 2006-01-10  Richard Guenther  <rguenther@suse.de>
3165
3166         * tree-ssa-structalias.c (get_constraint_for_component_ref):
3167         Never override with anything constraint.
3168
3169 2006-01-10  Jan Beulich  <jbeulich@novell.com>
3170
3171         * config/i386/i386.c (ix86_data_alignment): Don't force alignment to
3172         256 bits when optimize_size.
3173
3174 2006-01-10  Jan Beulich  <jbeulich@novell.com>
3175
3176         * config/i386/netware.h (TARGET_SUBTARGET_DEFAULT): Include
3177         MASK_ALIGN_DOUBLE.
3178         * config/i386/nwld.h (LINK_SPEC): Add --extensions:GNU option.
3179         * config/i386/t-nwld (SHLIB_LINK): Insert spaces between expr
3180         arguments.
3181
3182 2006-01-10  Ben Elliston  <bje@au.ibm.com>
3183
3184         * config/rs6000/predicates.md (easy_fp_constant): Discount decimal
3185         float modes.
3186         * config/rs6000/rs6000.c (rs6000_scalar_mode_supported_p): New.
3187         (TARGET_SCALAR_MODE_SUPPORTED_P): Define.
3188         (USE_FP_FOR_ARG): Reject decimal float modes.
3189         (function_arg_advance): Likewise.
3190         (output_toc): Handle emitting TDmode, DDmode and SDmode constants.
3191         (rs6000_handle_altivec_attribute): Do not permit decimal floating
3192         point types in AltiVec vectors.
3193         (rs6000_function_value): Use GP_ARG_RETURN for decimal floats.
3194         (rs6000_libcall_value): Likewise.
3195
3196 2006-01-09  Bob Wilson  <bob.wilson@acm.org>
3197
3198         * config/xtensa/ieee754-df.S: New file.
3199         * config/xtensa/ieee754-sf.S: New file.
3200         * config/xtensa/t-xtensa (LIB2FUNCS_EXTRA): Remove fp-bit.c & dp-bit.c.
3201         (LIB1ASMFUNCS): Add SFmode and DFmode floating-point functions.
3202         * config/xtensa/lib1funcs.asm: Include ieee754-df.S and ieee754-sf.S.
3203
3204 2006-01-09  Kazu Hirata  <kazu@codesourcery.com>
3205
3206         * config/sh/predicates.md (binary_float_operator,
3207         binary_logical_operator, commutative_float_operator,
3208         equality_comparison_operator, greater_comparison_operator,
3209         less_comparison_operator, logical_operator,
3210         noncommutative_float_operator, shift_operator,
3211         symbol_ref_operand, unary_float_operator): Remove redundant
3212         conditionals.
3213
3214 2006-01-09  Jeff Law  <law@redhat.com>
3215
3216         * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove
3217         code to propagate the RHS of a cast into COND_EXPR_COND.  Remove
3218         now unused arguments.  Callers updated.
3219         (eliminate_redundant_computations): Remove now unused arguments,
3220         callers updated.
3221         (local_fold): Remove, no longer used.
3222         (find_equivalent_equality_comparison): Removed from tree-ssa-dom.c
3223         and moved to...
3224         * tree-ssa-forwprop.c (find_equivalent_equality_comparison): Here.
3225         (simplify_cond): New function.
3226         (forward_propagate_into_cond): Call simplify_cond.
3227
3228 2006-01-09  Alexandre Oliva  <aoliva@redhat.com>
3229
3230         * config/i386/sse.md (*vec_extractv2di_1_sse2): New.
3231         (*vec_extractv2di_1_sse): New.
3232
3233 2006-01-09  Ben Elliston  <bje@au.ibm.com>
3234
3235         * config/rs6000/rs6000.h (GO_IF_LEGITIMATE_ADDRESS): Typo fix.
3236
3237 2006-01-08  Richard Guenther  <rguenther@suse.de>
3238
3239         * tree-ssa-structalias.c (get_constraint_for): Remove
3240         anyoffset argument.
3241         (get_constraint_for_component_ref): Likewise.
3242         (do_deref): Likewise.
3243         (get_constraint_for): Likewise.
3244         (do_structure_copy): Likewise.
3245         (handle_ptr_arith): Likewise.
3246         (find_func_aliases): Likewise.  Remove unused need_anyoffset
3247         variable.
3248
3249 2006-01-08  J"orn Rennecke  <joern.rennecke@st.com>
3250             Kaz Kojima  <kkojima@gcc.gnu.org>
3251
3252         * config/sh/sh.h (CONST_OK_FOR_K16): Define.
3253         (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
3254         (EXTRA_CONSTRAINT_C16): Remove.
3255         (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
3256         (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
3257         EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
3258         * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
3259         constants of SHmedia.  Handle nested constant expressions of
3260         SHmedia correctly.
3261         (andcosts): Fix the costs for SHmedia constants.
3262         (sh_rtx_costs): Take account of outer_code for SHmedia constants.
3263         * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
3264         (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
3265         (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
3266         (movv4hi_i, movv2si_i): Likewise.
3267         (movsi_const): Adjust the second operand of ior so to match with
3268         the Csu constraint.
3269         (movdi_const, movdi_const_32bit): Likewise.
3270         (movdi_const_16bit+1): Don't sign-extend LOW.
3271         (movdi_const_16bit+2): Likewise.  Remove the zero_extend and truncate
3272         step.
3273         (*double_shori): Fix the split condition.  Use GEN_INT instead
3274         of get_int_mode calls.  Mask lower 16-bit of the argument of
3275         the last GEN_INT.
3276         (sym2GOTPLT): Remove.
3277         (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
3278         gen_rtx_UNSPEC.
3279         * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
3280         instead of EXTRA_CONSTRAINT_C16.
3281
3282 2006-01-07  Ian Lance Taylor  <ian@airs.com>
3283             David Edelsohn  <edelsohn@gnu.org>
3284
3285         PR rtl-optimization/25662
3286         * optabs.c (simplify_expand_binop): Use simplify_binary_operation
3287         for constant operands instead of simplify_gen_binary.
3288         * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
3289         after trying simplify_binary_operation
3290
3291 2006-01-06  Daniel Berlin  <dberlin@dberlin.org>
3292
3293         * tree.c (iterative_hash_expr): Hash decls based on UID.
3294
3295 2006-01-06  Eric Christopher  <echristo@apple.com>
3296
3297         * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
3298         (TARGET_UNWIND_EMIT): Fix spelling.
3299         * target.h (gcc_target): Add except_table_label.
3300         * except.c (output_function_exception_table): Use.
3301         * varasm.c (default_emit_except_table_label): New.
3302         * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
3303         define.
3304         (asm_out): Add here.
3305         * output.h (default_emit_except_table_label): Prototype.
3306         * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
3307         * config/darwin.c (darwin_emit_except_table_label): Define.
3308         * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
3309
3310 2006-01-06  Zdenek Dvorak <dvorakz@suse.cz>
3311
3312         PR tree-optimization/18527
3313         * tree-ssa-loop-niter.c (number_of_iterations_cond,
3314         number_of_iterations_special, number_of_iterations_exit):
3315         Move base and step of an iv to a single structure.  Add
3316         no_overflow flag, and use it in # of iterations analysis.
3317         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
3318         folded_casts argument.
3319         (simple_iv): Pass base and step in a structure.  Set no_overflow
3320         flag.
3321         (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
3322         Evaluate expensiveness of computing # of iterations instead of
3323         the final expression.
3324         * tree-scalar-evolution.h (affine_iv): New structure.
3325         (simple_iv): Declaration changed.
3326         * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
3327         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
3328         find_givs_in_stmt): Changed due to simple_iv change.
3329
3330 2006-01-06  Jeff Law  <law@redhat.com>
3331
3332         PR ada/24994
3333         * tree-cfg.c (bsi_replace): Rename final argument from
3334         PRESERVE_EH_INFO to UPDATE_EH_INFO.  Fix typo in last
3335         change (stmt -> orig_stmt).
3336         * tree-eh.c (verify_eh_throw_stmt_node): New function.
3337         (bsi_remove): Add new argument.  Remove EH information
3338         if requested.
3339         (verify_eh_throw_table_statements): New function.
3340         (bsi_remove): Add new argument REMOVE_EH_INFO.  All callers
3341         updated.
3342         * tree-optimize.c (execute_free_cfg_annotations): Verify
3343         the EH throw statement table after removing annotations.
3344         * except.h (verify_eh_throw_table_statements): Prototype.
3345         * tree-flow.h (bsi_remove): Update prototype.
3346         * tree-vrp.c (remove_range_assertions): Add new argument to
3347         bsi_remove call.
3348         * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
3349         * tree-complex.c (expand_complex_div_wide): Likewise.
3350         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
3351         * tree-tailcall.c (eliminate_tailcall): Likewise.
3352         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
3353         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
3354         * tree-nrv.c (tree_nrv): Likewise.
3355         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
3356         * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
3357         (combine_blocks): Likewise.
3358         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
3359         * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
3360         (cleanup_control_flow): Likewise.
3361         (remove_forwarder_block): Likewise.
3362         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
3363         * tree-sra.c (sra_replace): Likewise.
3364         * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
3365         (forward_propagate_single_use_vars): Likewise.
3366         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
3367         * tree-inline.c (expand_call_inline): Likewise.
3368         * tree-vect-transform.c (vect_transform_loop): Likewise.
3369         * tree-outof-ssa.c (rewrite_trees): Likewise.
3370         * tree-cfg.c (make_goto_expr_edges): Likewise.
3371         (cleanup_dead_labels): Likewise.
3372         (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
3373         (bsi_move_before, bsi_move_after): Likewise.
3374         (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
3375         (tree_redirect_edge_and_branch, tree_split_block): Likewise.
3376
3377 2006-01-06  Andrew Pinski  <pinskia@physics.uc.edu>
3378
3379         PR tree-opt/25528
3380         * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
3381         and IMAGPART_EXPR.
3382         * tree-flow-inline.h (var_can_have_subvars): Handle complex types
3383         on non gimple variables.  Also add checks at the top for decls and
3384         mtags.
3385         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
3386         complex types.
3387         * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
3388         and IMAGPART_EXPR for creating MUST_DEFs.
3389         (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
3390         and NAME_MEMORY_TAG separately from the DECLs.
3391
3392 2006-01-06  Richard Guenther  <rguenther@suse.de>
3393
3394         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
3395         annotation, if necessary.
3396         * tree-ssa-pre.c (create_expression_by_pieces): Remove
3397         redundant calls to update_stmt.
3398         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
3399         Likewise.
3400
3401 2006-01-05  Richard Henderson  <rth@redhat.com>
3402
3403         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
3404
3405 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
3406
3407         * c-typeck.c: Update copyright date.
3408
3409 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
3410
3411         * c-typeck.c (build_c_cast): Always warn when casting
3412         from a pointer to an integer of different size, even if
3413         the node was constant.
3414
3415 2006-01-05  Richard Guenther  <rguenther@suse.de>
3416
3417         PR tree-optimization/22555
3418         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
3419         if one structure field is an array.
3420         * tree-ssa-operands.c (get_expr_operands): Continue scanning
3421         operands even if we found a subvar, but ignore VOPs in this
3422         case.
3423         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
3424         for renaming.
3425         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
3426
3427 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
3428
3429         PR middle-end/24998
3430         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
3431
3432 2006-01-05  Richard Guenther  <rguenther@suse.de>
3433             Diego Novillo  <dnovillo@redhat.com>
3434
3435         * tree-pass.h (TODO_remove_unused_locals): Define.
3436         * gimple-low.c (expand_var_p, remove_useless_vars,
3437         pass_remove_useless_vars): Remove.  Update all users.
3438         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
3439         (remove_unused_locals): New function.
3440         * tree-flow.h (remove_unused_locals): Declare.
3441         * passes.c (execute_todo): Call remove_unused_locals if
3442         TODO_remove_unused_locals is set.
3443         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
3444         * tree-ssa-dce.c (pass_dce): Likewise.
3445         * tree-outof-ssa.c (pass_del_ssa): Likewise.
3446
3447 2006-01-05  Richard Guenther  <rguenther@suse.de>
3448
3449         * tree-flow.h (struct fieldoff): Decompose field to
3450         type, size and decl.
3451         * tree-ssa-alias.c (create_sft): Take type as parameter.
3452         (create_overlap_variables_for): Store type, size and decl
3453         in the fieldoff structure.
3454         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
3455         of struct fieldoff.
3456         (push_fields_onto_fieldstack): Likewise.
3457         (create_variable_info_for): Likewise.  Use offset for the
3458         SFT name if the decl is not available.
3459
3460 2006-01-04  Paul Brook  <paul@codesourcery.com>
3461
3462         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
3463
3464 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
3465
3466         * lambda-code.c (can_put_in_inner_loop): Relax
3467         restrictions.
3468         (can_put_after_inner_loop): New function.
3469         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
3470         (perfect_nestify): Change to make copies and modify uses.
3471
3472 2006-01-04  Richard Henderson  <rth@redhat.com>
3473
3474         Merge from gomp branch:
3475         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
3476         via integer constant.
3477         (pragma_lex): Remove.
3478         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
3479         rather than parsing it.
3480         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
3481         handle_pragma_extern_prefix): Add %< %> quotes.
3482         (registered_pragmas): New.
3483         (c_register_pragma_1): New.
3484         (c_register_pragma): Use it.
3485         (c_register_pragma_with_expansion): Likewise.
3486         (c_invoke_pragma_handler): New.
3487         (init_pragma): Use cpp_register_deferred_pragma directly for
3488         pch_preprocess.
3489         * c-pragma.h (enum pragma_kind): New.
3490         (pragma_handler): New.
3491         (c_invoke_pragma_handler): Declare.
3492         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
3493         CPP_PRAGMA_EOL.
3494         * c-common.h (c_common_pch_pragma): Update decl.
3495         * Makefile.in (c-parser.o): Update dependencies.
3496         (GTFILES): Add c-pragma.h.
3497         * c-parser.c (struct c_token): Add pragma_kind.
3498         (struct c_parser): Add in_pragma.
3499         (c_lex_one_token): Always initialize keyword and pragma_kind.
3500         Extract data for CPP_PRAGMA.
3501         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
3502         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
3503         Don't allow CPP_PRAGMA_EOL if in_pragma.
3504         (c_parser_consume_pragma): New.
3505         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
3506         (c_parser_skip_to_end_of_parameter): Likewise.
3507         (c_parser_skip_to_end_of_block_or_statement): Likewise.
3508         (c_parser_skip_to_pragma_eol): New.
3509         (c_parser_external_declaration): Handle CPP_PRAGMA.
3510         (c_parser_compound_statement_nostart): Likewise.
3511         (c_parser_statement_after_labels): Likewise.
3512         (c_parser_pragma): New.
3513         (pragma_lex): Likewise.
3514         (c_parser_pragma_pch_preprocess): New.
3515         (c_parser_new): Merge into ...
3516         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
3517
3518 2006-01-04  Jeff Law  <law@redhat.com>
3519
3520         PR ada/24994
3521         * tree-cfg.c (bsi_replace): Remove the original statement
3522         from the EH throw statement table.
3523
3524 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
3525
3526         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
3527         make the prototype extern "C" and add throw ().
3528
3529         PR target/25554
3530         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
3531         and pos non-negative and pos + len <= 32.
3532         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
3533         drop pos + len < HOST_BITS_PER_WIDE_INT test.
3534         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
3535
3536         PR c/25559
3537         * c-common.c (handle_vector_size_attribute): Reject zero vector size
3538         as well as sizes not multiple of component size.
3539
3540         PR debug/25562
3541         * function.c (instantiate_expr): New function.
3542         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
3543         walk its DECL_VALUE_EXPR with instantiate_expr.
3544
3545         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
3546         DW_OP_deref{,_size} if address isn't going to be added.
3547
3548 2006-01-04  Ben Elliston  <bje@au.ibm.com>
3549
3550         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
3551         * config/fp-bit.c: Likewise.
3552
3553 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
3554
3555         * dominance.c: Add comment about why we use DFS numbering
3556         of dominance tree.
3557
3558 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
3559             Richard Henderson  <rth@redhat.com>
3560
3561         Merge from gomp-branch:
3562         * varasm.c (assemble_variable): Handle thread-local COMMON data.
3563         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
3564
3565 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
3566
3567         PR rtl-optimization/25578
3568         * combine.c (combine_simplify_rtx, force_to_mode): Don't
3569         pass a parameter to simplify_shift_const if changing ASHIFTRT
3570         to LSHIFTRT.
3571
3572 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
3573
3574         * builtins.c (get_builtin_sync_mem): New function.
3575         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
3576         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
3577         Call get_builtin_sync_mem to generate mem rtx.
3578
3579 2006-01-03  Richard Guenther  <rguenther@suse.de>
3580
3581         PR c/25183
3582         * stmt.c (add_case_node): Make sure to clear overflow flags
3583         from ranges.
3584
3585 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
3586
3587         Merge from gomp-branch.
3588         * config/sparc/sync.md: New file.
3589         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
3590         UNSPECV_LDSTUB): New constants.
3591         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
3592         * config/sparc/predicates.md (memory_reg_operand): New predicate.
3593         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
3594         prototype.
3595
3596 2006-01-03  Roger Sayle  <roger@eyesopen.com>
3597
3598         * combine.c (reg_subword_p): New predicate to test whether the
3599         destination of a set refers to a subword/piece of a register.
3600         (try_combine): Generalize the code to merge the setting of a
3601         pseudo to a constant followed by a set of a subword of that
3602         register to a constant.
3603
3604 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
3605
3606         * basic-block.h (control_flow_graph): Change the type of
3607         x_label_to_block_map to VEC(basic_block,gc) *.
3608         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
3609         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
3610
3611         * tree-ssa-propagate.c (cfg_blocks): Change the type to
3612         VEC(basic_block,heap) *.
3613         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
3614         ssa_prop_fini): Adjust the uses of cfg_blocks.
3615
3616 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
3617
3618         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
3619         COMPONENT_REFs.
3620         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
3621         hashing trees instead of a pointer hash.
3622         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
3623         compare for MEM_EXPR.
3624
3625         PR rtl-optimization/25130
3626         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
3627         when comparing MEMs for GCSE
3628
3629 2006-01-03  Ben Elliston  <bje@au.ibm.com>
3630
3631         * targhooks.h (default_decimal_float_supported_p): Declare.
3632         * targhooks.c (default_decimal_float_supported_p): Define.
3633         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
3634         `default_decimal_float_supported_p'.
3635         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
3636
3637 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
3638
3639         * combine.c (apply_distributive_law <SUBREG>): Check
3640         TRULY_NOOP_TRUNCATION.
3641
3642 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
3643
3644         * dwarf2out.c (have_switched_text_section): Delete.
3645         (have_multiple_function_sections): New.
3646         (have_location_lists): Make 'bool'.
3647         (add_AT_loc_list): Use 'true' not '1'.
3648         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
3649         (output_loc_list): Use have_multiple_function_sections.
3650         (output_ranges): Likewise.
3651         (dwarf2out_begin_function): Set have_multiple_function_sections if
3652         necessary.
3653         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
3654         Check function_section rather than DECL_SECTION_NAME.
3655         (dwarf2out_finish): Use have_multiple_function_sections.
3656         Don't clear have_location_lists.
3657
3658 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
3659             Jan Hubicka  <jh@suse.cz>
3660
3661         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
3662         case of conditional jump jumping to the next instruction.
3663         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
3664         cases of conditional jump jumping to the next instruction.
3665
3666 2006-01-02  Jan Hubicka  <jh@suse.cz>
3667
3668         * i386.c (*_cost): Add COSTS_N_INSNS.
3669         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
3670
3671 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
3672
3673         PR target/25259
3674         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
3675
3676 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3677
3678         * config/arm/arm.c (all_fpus): Fix comment typo.
3679         * config/darwin.c: Likewise.
3680         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
3681         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
3682         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
3683
3684 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
3685
3686         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
3687         (rs6000_split_compare_and_swapqhi): New.
3688         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
3689         (sync_compare_and_swapqhi_internal): New.
3690         * config/rs6000/rs6000-protos.h: Declare.