gcc/ChangeLog

   1 2008-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>
   2
   3         PR rtl-optimization/26854
   4         PR rtl-optimization/34400
   5         * ddg.c (create_ddg_dep_from_intra_loop_link): Do not use
   6         DF_RD->gen.
   7         * df.h (df_changeable_flags.DF_RD_NO_TRIM): New.
   8         (df_rd_bb_info.expanded_lr_out): New.
   9         * loop_invariant.c (find_defs): Added DF_RD_NO_TRIM flag.
  10         * loop_iv.c (iv_analysis_loop_init): Ditto.
  11         * df-problems.c (df_rd_free_bb_info, df_rd_alloc, df_rd_confluence_n,
  12         df_rd_bb_local_compute, df_rd_transfer_function, df_rd_free):
  13         Added code to allocate, initialize or free expanded_lr_out.
  14         (df_rd_bb_local_compute_process_def): Restructured to make
  15         more understandable.
  16         (df_rd_confluence_n): Add code to do nothing with fake edges and
  17         code to no apply invalidate_by_call sets if the sets are being trimmed.
  18         (df_lr_local_finalize): Renamed to df_lr_finalize.
  19         (df_live_local_finalize): Renamed to df_live_finalize.
  20
  21 2008-01-20  Richard Sandiford  <rsandifo@nildram.co.uk>
  22
  23         PR target/34831
  24         * config/mips/mips.md (div<mode>3): Use <recip_condition> when
  25         deciding whether to use reciprocal instructions.
  26
  27 2008-01-19  Uros Bizjak  <ubizjak@gmail.com>
  28
  29         * dwarf2out.c (dwarf2out_switch_text_section): Do not call
  30         dwarf2out_note_section_used if cold_text_section is NULL.
  31
  32 2008-01-19  Jakub Jelinek  <jakub@redhat.com>
  33
  34         PR gcov-profile/34610
  35         * tree-cfg.c (make_edges): Mark both outgoing edges from
  36         OMP_CONTINUE and from OMP_FOR as EDGE_ABNORMAL.
  37         * omp-low.c (expand_omp_for): Clear EDGE_ABNORMAL bits
  38         from OMP_FOR and OMP_CONTINUE outgoing edges.
  39
  40         * tree-profile.c (tree_profiling): Return early if
  41         cfun->after_tree_profile != 0.  Set cfun->after_tree_profile
  42         at the end.
  43         * omp-low.c (expand_omp_parallel): Copy after_tree_profile
  44         from cfun to child_cfun.
  45         * function.h (struct function): Add after_tree_profile bit.
  46
  47 2008-01-19 Anatoly Sokolov <aesok@post.ru>
  48
  49         * config/avr/avr.S (_exit): Disable interrupt.
  50
  51 2008-01-18  Kenneth Zadeck  <zadeck@naturalbridge.com>
  52             Steven Bosscher  <stevenb.gcc@gmail.com>
  53
  54         PR rtl-optimization/26854
  55         PR rtl-optimization/34400
  56         * df-problems.c (df_live_scratch): New scratch bitmap.
  57         (df_live_alloc): Allocate df_live_scratch when doing df_live.
  58         (df_live_reset): Clear the proper bitmaps.
  59         (df_live_bb_local_compute): Only process the artificial defs once
  60         since the order is not important.
  61         (df_live_init): Init the df_live sets only with the variables
  62         found live by df_lr.
  63         (df_live_transfer_function): Use the df_lr sets to prune the
  64         df_live sets as they are being computed.
  65         (df_live_free): Free df_live_scratch.
  66
  67 2008-01-18  Ian Lance Taylor  <iant@google.com>
  68
  69         * common.opt: Add fmerge-debug-strings.
  70         * dwarf2out.c (DEBUG_STR_SECTION_FLAGS): Test
  71         flag_merge_debug_strings rather than flag_merge_constants.
  72         * doc/invoke.texi (Option Summary): Mention
  73         -fmerge-debug-strings.
  74         (Debugging Options): Document -fmerge-debug-strings.
  75
  76 2008-01-18  Ian Lance Taylor  <iant@google.com>
  77
  78         PR c++/33407
  79         * tree.h (DECL_IS_OPERATOR_NEW): Define.
  80         (struct tree_function_decl): Add new field operator_new_flag.
  81         * tree-inline.c (expand_call_inline): When inlining a call to
  82         operator new, force the return value to go into a variable, and
  83         set DECL_NO_TBAA_P on that variable.
  84         * c-decl.c (merge_decls): Merge DECL_IS_OPERATOR_NEW flag.
  85
  86 2008-01-18  Uros Bizjak  <ubizjak@gmail.com>
  87
  88         PR debug/34484
  89         * dwarf2out.c (dwarf2out_switch_text_section): Do not guard with
  90         DWARF2_DEBUGGING_INFO.
  91         (dwarf2out_note_section_used): Ditto.  Add prototype.
  92         (have_multiple_function_sections, text_section_used,
  93         cold_text_section_used, *cold_text_sections): Move declarations
  94         before their uses.
  95
  96 2007-01-17  Bob Wilson  <bob.wilson@acm.org>
  97
  98         * config/xtensa/unwind-dw2-xtensa.h (_Unwind_FrameState): Remove pc
  99         field and add signal_ra.
 100         * config/xtensa/unwind-dw2-xtensa.c (uw_frame_state_for): Remove
 101         assignments to frame state pc.  Move end of stack check after
 102         MD_FALLBACK_FRAME_STATE_FOR.
 103         (uw_update_context_1): Use frame state signal_regs if set, instead
 104         of checking signal_frame flag.
 105         (uw_update_context): Use frame state signal_ra if set.
 106         * config/xtensa/linux.h (MD_UNWIND_SUPPORT): Define.
 107         * config/xtensa/linux-unwind.h: New file.
 108
 109 2007-01-18  Bernhard Fischer  <aldot@gcc.gnu.org>
 110
 111         * modulo-sched.c (get_sched_window): Fix comment typo.
 112
 113 2008-01-17  Andrew MacLeod  <amacleod@redhat.com>
 114
 115         PR tree-optimization/34648
 116         * tree-ssa-sccvn.c (visit_use): Expressions which can throw are varying.
 117
 118 2008-01-17  Anatoly Sokolov <aesok@post.ru>
 119
 120         * config/avr/avr.h (LINK_SPEC): Support -mrelax and -mpmem-wrap-around.
 121         * config/avr/avr.opt (mrelax, mpmem-wrap-around): Add.
 122
 123 2008-01-17  Seongbae Park  <seongbae.park@gmail.com>
 124
 125         PR rtl-optimization/34400
 126         * df-core.c (df_worklist_dataflow_overeager,
 127         df_worklist_dataflow_doublequeue): New functions.
 128         (df_worklist_dataflow): Two different worklist solvers.
 129         * params.def (PARAM_DF_DOUBLE_QUEUE_THRESHOLD_FACTOR):
 130         New param.
 131
 132 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
 133
 134         PR testsuite/34821
 135         * doc/invoke.texi: Document the dependence on pthread for fopenmp
 136         and ftree-parallelize-loops.
 137
 138 2008-01-17  Mircea Namolaru  <namolaru@il.ibm.com>
 139
 140         PR rtl-optimization/34826
 141         * loop-doloop (doloop_modify): Update the REG_BR_PROB note.
 142
 143 2008-01-17  Andreas Krebbel  <krebbel1@de.ibm.com>
 144
 145         * global.c (find_reg): Mark the eh regs as used if necessary.
 146         * ra-conflict.c (global_conflicts): Set no_eh_reg flag.
 147         * ra.h (struct allocno): no_eh_reg field added.  Changed
 148         no_stack_reg type to bitfield.
 149
 150 2008-01-17  Eric Botcazou  <ebotcazou@adacore.com>
 151
 152         * tree.c (substitute_in_expr): Add missing 'break'.
 153
 154 2008-01-17  Richard Guenther  <rguenther@suse.de>
 155
 156         PR tree-optimization/34825
 157         * tree-ssa-math-opts.c (is_division_by): Do not recognize
 158         x / x as division to handle.
 159
 160 2008-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 161
 162         * pa64-hpux.h (LIB_SPEC): Add "-lpthread" in shared links if "-mt" or
 163         "-pthread" is specified.
 164         * pa-hpux11.h (LIB_SPEC): Likewise.
 165
 166 2007-01-16  Janis Johnson  <janis187@us.ibm.com>
 167             Peter Bergner  <bergner@vnet.ibm.com>
 168
 169         PR rtl-optimization/33796
 170         * sparseset.c (sparseset_alloc): Use xcalloc rather than xmalloc.
 171
 172 2008-01-16  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 173
 174         PR libgfortran/34699
 175         * pa-hpux.h (LINK_SPEC): Only search /lib/pa1.1 and /usr/lib/pa1.1 on
 176         static links.
 177         * pa-hpux10.h (LINK_SPEC): Likewise.
 178         * pa-hpux11.h (LINK_SPEC): Don't search /lib/pa1.1 and /usr/lib/pa1.1.
 179
 180 2008-01-16  Richard Guenther  <rguenther@suse.de>
 181
 182         PR middle-end/32628
 183         * fold-const.c (fold_convert_const_int_from_int): Do not
 184         set overflow if that occured only because of a sign extension
 185         change when converting from/to a sizetype with the same
 186         precision and signedness.
 187
 188 2008-01-16  Uros Bizjak  <ubizjak@gmail.com>
 189
 190         PR debug/34249
 191         * dwarf2out.c (output_call_frame_info): Move output of FDE initial
 192         location address to the correct place.  Update copyright year.
 193
 194 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
 195
 196         * lambda-code.c (lambda_transform_legal_p): Handle the case of
 197         no dependences in the dependence_relations vector.
 198
 199 2008-01-16  Jan Hubicka  <jh@suse.cz>
 200
 201         PR rtl-optimization/31396
 202         * regstat.c (regstat_bb_compute_ri): Compute FREQ_CALLS_CROSSED.
 203         * cfg.c (dump_reg_info): Print it.
 204         * regs.h (struct reg_info_t): add freq_calls_crossed.
 205         (REG_FREQ_CALLS_CROSSED): New macro.
 206         * global.c (global_alloc): Compute freq_calls_crossed for allocno.
 207         (find_reg): Update call of CALLER_SAVE_PROFITABLE.
 208         * regmove.c (optimize_reg_copy_1, optimize_reg_copy_2, fixup_match_2,
 209         regmove_optimize): Update call crossed frequencies.
 210         * local-alloc.c (struct qty): Add freq_calls_crossed.
 211         (alloc_qty): Copute freq_calls_crossed.
 212         (update_equiv_regs, combine_regs): Update REG_FREQ_CALLS_CROSSED.
 213         (find_free_reg): Update call of CALLER_SAVE_PROFITABLE.
 214         * ra.h (struct allocno): Add freq_calls_crossed.
 215
 216 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
 217
 218         * gcc.c (LINK_COMMAND_SPEC): Add includes and link options for
 219         libgomp when compiling with ftree-parallelize-loops.
 220         (GOMP_SELF_SPECS): Add -pthread for ftree-parallelize-loops.
 221
 222 2008-01-16  Richard Guenther  <rguenther@suse.de>
 223
 224         PR tree-optimization/34769
 225         * tree-data-ref.c (initialize_matrix_A): Revert fix for PR34458.
 226         * tree.c (int_cst_value): Instead make this function more
 227         permissive in what it accepts as valid input.  Document this
 228         function always sign-extends the value.
 229
 230 2008-01-16  Jakub Jelinek  <jakub@redhat.com>
 231             Richard Guenther  <rguenther@suse.de>
 232
 233         PR c/34668
 234         * gimplify.c (fold_indirect_ref_rhs): Rename to ...
 235         (gimple_fold_indirect_ref_rhs): ... this.
 236         (gimple_fold_indirect_ref): New function with foldings
 237         that preserve lvalueness.
 238         (gimplify_modify_expr_rhs): Call gimple_fold_indirect_ref_rhs.
 239         * tree-flow.h (gimple_fold_indirect_ref): Declare.
 240         * tree-inline.c (copy_body_r): Use gimple_fold_indirect_ref
 241         to fold an INDIRECT_REF, fall back to the old use of
 242         fold_indirect_ref_1.
 243
 244 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
 245
 246         * tree-data-ref.c (subscript_dependence_tester_1): Call
 247         free_conflict_function.
 248         (compute_self_dependence): Same.
 249
 250 2008-01-16  Uros Bizjak  <ubizjak@gmail.com>
 251
 252         PR debug/34249
 253         * debug.h (dwarf2out_switch_text_section): Move declaration from ...
 254         * dwarf2out.c (dwarf2out_switch_text_section): ... here.  Make
 255         function global.
 256         * final.c (final_scan_insn) [NOTE_INSN_SWITCH_TEXT_SECTIONS]:
 257         Depending on dwarf2out_do_frame, call dwarf2out_switch_text_section
 258         for DWARF2_UNWIND_INFO targets.
 259
 260 2008-01-16  Richard Guenther  <rguenther@suse.de>
 261
 262         PR c/34768
 263         * c-typeck.c (common_pointer_type): Do not merge inconsistent
 264         type qualifiers for function types.
 265
 266 2008-01-15  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 267
 268         * tree-parloops.c (gen_parallel_loop): Fix ommision of declaration for
 269         loop_iterator li from previous commit.
 270
 271 2008-01-15  Sebastian Pop  <sebastian.pop@amd.com>
 272
 273         * tree-parloops.c (gen_parallel_loop): Free loop bound estimations.
 274
 275 2008-01-12  Sebastian Pop  <sebastian.pop@amd.com>
 276
 277         * tree-parloops.c (loop_has_blocks_with_irreducible_flag): New.
 278         (parallelize_loops): Don't parallelize irreducible components.
 279
 280 2008-01-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 281
 282         PR c++/24924
 283         * c-opts (c_common_post_options): Do not enable CPP
 284         flag_pedantic_errors by default.
 285
 286 2008-01-14  Eric Botcazou  <ebotcazou@adacore.com>
 287
 288         PR rtl-optimization/31944
 289         * cse.c (remove_pseudo_from_table): New function.
 290         (merge_equiv_classes): Use above function to remove pseudo-registers.
 291         (invalidate): Likewise.
 292
 293 2008-01-13  Richard Guenther  <rguenther@suse.de>
 294
 295         PR middle-end/34601
 296         * emit-rtl.c (set_reg_attrs_for_decl_rtl): Use DECL_MODE
 297         instead of TYPE_MODE to deal with calls from expand_one_error_var.
 298
 299 2008-01-13  Uros Bizjak  <ubizjak@gmail.com>
 300
 301         * gcse.c (cprop_jump): Call validate_unshare_change instead of
 302         validate_change to unshare the source of the PC set.
 303
 304 2008-01-12  Jan Hubicka  <jh@suse.cz>
 305
 306         PR middle-end/32135
 307         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Do not construct
 308         references above array bounds.  This might trigger bounds checks for
 309         pointers to arrays.
 310
 311 2008-01-12  Sebastian Pop  <sebastian.pop@amd.com>
 312
 313         * tree-ssa-ter.c (free_temp_expr_table): Free num_in_part and
 314         new_replaceable_dependencies.
 315
 316 2008-01-12  Doug Kwan  <dougkwan@google.com>
 317
 318         * c-decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers
 319         instead of OPT_Wreturn_type in warning due to ignored return type
 320         qualifiers.
 321         * c-opt.c (c_common_post_option): Add -Wignored-qualifiers to
 322         options included in -Wextra.
 323         * c.opt: New option -Wignored_qualifiers.
 324         * doc/invoke.texi (Warning Options, -Wextra): Add new option
 325         -Wignore_qualifiers.
 326         (-Wignored-qualifiers): Document.
 327         (-Wreturn-type): Remove description of functionality now handled
 328         by -Wignored-qualifiers.
 329
 330 2008-01-12  Eric Botcazou  <ebotcazou@adacore.com>
 331
 332         PR ada/33788
 333         * fold-const.c (fold_unary) <VIEW_CONVERT_EXPR>: Fold an existing
 334         NOP_EXPR if it is between integral types with the same precision.
 335
 336 2008-01-12  Jan Hubicka  <jh@suse.cz>
 337
 338         PR other/28023
 339         * invoke.texi (max-inline-recursive-depth): Fix default value.
 340
 341 2008-01-12  Zdenek Dvorak  <ook@ucw.cz>
 342
 343         * tree-parloops.c (transform_to_exit_first_loop): Cast nit to the
 344         correct type.
 345
 346 2008-01-11  Bob Wilson  <bob.wilson@acm.org>
 347
 348         * config/xtensa/xtensa.c (override_options): Set flag_shlib.
 349
 350 2008-01-11  James E. Wilson  <wilson@specifix.com>
 351
 352         PR target/26015
 353         * config/vax/elf.h (FRAME_POINTER_CFA_OFFSET): Define.
 354
 355 2008-01-11  Anatoly Sokolov <aesok@post.ru>
 356
 357         * config/avr/avr.c (expand_prologue, expand_epilogue): Don't
 358         save/restore frame pointer register and don't use 'call-prologues'
 359         optimization in function with "OS_task" attribute.
 360
 361 2008-01-11  Eric Botcazou  <ebotcazou@adacore.com>
 362
 363         PR middle-end/31309
 364         * expr.c (copy_blkmode_from_reg): Use a mode suited to the size
 365         when copying to memory.
 366
 367 2008-01-11  Steven Bosscher  <stevenb.gcc@gmail.com>
 368
 369         PR rtl-optimization/30905
 370         * cfgcleanup.c: Include dce.h
 371         (crossjumps_occured): New global variable.
 372         (try_crossjump_bb): Exit loop after finding a fallthru edge.
 373         If something changed, set crossjumps_occured to true.
 374         (try_optimize_cfg): Clear crossjumps_occured at the beginning.
 375         Don't add/remove fake edges to exit here...
 376         (cleanup_cfg): ...but do it here, when crossjumping.
 377         Run a fast DCE when successful crossjumps occured in the latest
 378         iteration of try_optimize_cfg.
 379
 380 2008-01-11  Richard Guenther  <rguenther@suse.de>
 381
 382         * tree-ssa-sccvn.c (struct vn_binary_op_s): Move hashcode near opcode.
 383         (struct vn_unary_op_s): Likewise.
 384         (vn_reference_insert): Free old reference on hash collision.
 385
 386 2008-01-10  Raksit Ashok  <raksit@google.com>
 387
 388         PR rtl-optimization/27971
 389         * combine.c (find_split_point): Split PLUS expressions which are
 390         inside a MEM rtx, and whose first operand is complex.
 391
 392 2008-01-10  DJ Delorie  <dj@redhat.com>
 393
 394         * config/m32c/m32c.c (m32c_hard_regno_nregs_1): Renamed from...
 395         (m32c_hard_regno_nregs): ...this, which is now a wrapper.
 396         (m32c_hard_regno_ok): Call the underlying function.
 397
 398 2008-01-10  Richard Guenther  <rguenther@suse.de>
 399
 400         PR middle-end/34683
 401         * tree-cfg.c (tree_merge_blocks): Do not go through the
 402         full-blown folding and stmt updating path if we just deal
 403         with virtual operands.
 404         * tree-ssa-copy.c (may_propagate_copy): Do not short-cut
 405         test for abnormal SSA_NAMEs.
 406
 407 2008-01-10  Andreas Krebbel  <krebbel1@de.ibm.com>
 408
 409         PR middle-end/34641
 410         * reload.c (push_reload): Add assertions.  All constants from
 411         reg_equiv_constant should have been used for replacing the respective
 412         pseudo earlier.
 413         (find_reloads_address): Invoke find_reloads_address_part for
 414         constant taken from the reg_equiv_constant array.
 415
 416 2008-01-10  Steven Bosscher  <stevenb.gcc@gmail.com>
 417
 418         * tree-ssa-sccvn.h (struct vn_ssa_aux): Make the most accessed
 419         field (valnum) the first in the struct.  Replace bools with
 420         unit bit fields.
 421
 422 2008-01-10  Richard Guenther  <rguenther@suse.de>
 423
 424         PR tree-optimization/34651
 425         * tree-sra.c (sra_build_assignment): Sanitize.  Use the correct
 426         types and ordering for masking and converting.
 427
 428 2008-01-09  Sebastian Pop  <sebastian.pop@amd.com>
 429
 430         PR tree-optimization/34017
 431         * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Generate code
 432         also for PHI_NODE expressions.
 433
 434 2008-01-09  Jan Hubicka  <jh@suse.cz>
 435
 436         PR tree-optimization/34708
 437         * tree-inline.c (estimate_num_insns_1): Compute cost of SWITCH_EXPR
 438         based on number of case labels.
 439         (init_inline_once): Remove switch_cost.
 440         * tree-inline.h (eni_weights_d): Remove switch_cost.
 441
 442 2008-01-09  Richard Guenther  <rguenther@suse.de>
 443         Andrew Pinski  <andrew_pinski@playstation.sony.com>
 444
 445         PR middle-end/30132
 446         * gimplify.c (gimplify_cond_expr): Do not create an addressable
 447         temporary if an rvalue is ok or an lvalue is not required.
 448
 449 2008-01-09  Richard Guenther  <rguenther@suse.de>
 450
 451         PR middle-end/34458
 452         * tree-data-ref.c (initialize_matrix_A): Use tree_low_cst,
 453         adjust return type.
 454
 455 2008-01-09  Richard Guenther  <rguenther@suse.de>
 456
 457         PR middle-end/34679
 458         * tree.c (host_integerp): Check for sizetype only if the
 459         type is an integer type.
 460
 461 2008-01-09  Steven Bosscher  <stevenb.gcc@gmail.com>
 462
 463         PR debug/26364
 464         * opts.c (decode_options): Disable inlining of functions called
 465         once if not in unit-at-a-time mode.
 466
 467 2008-01-09  Alexandre Oliva  <aoliva@redhat.com>
 468
 469         * Makefile.in (dse.o): Remove duplicate $(RECOG_H) dependency.
 470
 471 2008-01-08  Richard Guenther  <rguenther@suse.de>
 472
 473         PR middle-end/31863
 474         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Bail
 475         out early if the result will be unused.
 476
 477 2008-01-08  Uros Bizjak  <ubizjak@gmail.com>
 478
 479         PR target/34709
 480         Revert:
 481
 482         2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
 483         * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
 484         for TARGET_RECIP.
 485
 486 2008-01-08  Jan Sjodin  <jan.sjodin@amd.com>
 487
 488         * config/i386/i386.c (k8_cost, amdfam10_cost): Branch costs
 489         for vectorization tuned.
 490
 491 2008-01-08  Richard Guenther  <rguenther@suse.de>
 492
 493         PR tree-optimization/34683
 494         * tree-ssa-operands.c (operand_build_cmp): Export.
 495         * tree-ssa-operands.h (operand_build_cmp): Declare.
 496         * tree-vn.c (vuses_compare): Remove.
 497         (sort_vuses): Use operand_build_cmp.
 498         (sort_vuses_heap): Likewise.
 499         * tree-ssa-sccvn.c (vuses_to_vec): Use VEC_reserve, not VEC_alloc
 500         to re-use old VEC if available.  Do not sort already sorted VUSEs.
 501         (vdefs_to_vec): Do not sort already sorted VDEFs.
 502
 503 2008-01-08  Jakub Jelinek  <jakub@redhat.com>
 504
 505         PR middle-end/34694
 506         * omp-low.c (copy_var_decl): Copy also DECL_SOURCE_LOCATION.
 507
 508 2008-01-08  Uros Bizjak  <ubizjak@gmail.com>
 509
 510         PR target/34702
 511         * doc/invoke.texi (i386 and x86-64 Options) [mrecip]: Document
 512         limitations of reciprocal sequences on x86 targets.
 513
 514 2008-01-08  Richard Guenther  <rguenther@suse.de>
 515
 516         PR tree-optimization/34683
 517         * tree-flow-inline.h (var_ann): Remove overzealous asserts.
 518
 519 2008-01-07  Jakub Jelinek  <jakub@redhat.com>
 520
 521         PR target/34622
 522         * config/darwin.c (darwin_mergeable_string_section): Don't use
 523         .cstring if int_size_in_bytes != TREE_STRING_LENGTH.
 524
 525 2008-01-07  Uros Bizjak  <ubizjak@gmail.com>
 526
 527         PR target/34682
 528         * config/i386/i386.md (neg<mode>2): Rename from negsf2, negdf2 and
 529         negxf2.  Macroize expander using X87MODEF mode iterator.  Change
 530         predicates of op0 and op1 to register_operand.
 531         (abs<mode>2): Rename from abssf2, absdf2 and negxf2.  Macroize
 532         expander using X87MODEF mode iterator.  Change predicates of
 533         op0 and op1 to register_operand.
 534         ("*absneg<mode>2_mixed", "*absneg<mode>2_sse"): Rename from
 535         corresponding patterns and macroize using MODEF macro.  Change
 536         predicates of op0 and op1 to register_operand and remove
 537         "m" constraint. Disparage "r" alternative with "!".
 538         ("*absneg<mode>2_i387"): Rename from corresponding patterns and
 539         macroize using X87MODEF macro.  Change predicates of op0 and op1
 540         to register_operand and remove "m" constraint.  Disparage "r"
 541         alternative with "!".
 542         (absneg splitter with memory operands): Remove.
 543         ("*neg<mode>2_1", "*abs<mode>2_1"): Rename from corresponding
 544         patterns and macroize using X87MODEF mode iterator.
 545         * config/i386/sse.md (negv4sf2, absv4sf2, neg2vdf2, absv2df2):
 546         Change predicate of op1 to register_operand.
 547         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Remove support
 548         for memory operands.
 549
 550 2008-01-07  Nathan Froyd  <froydnj@codesourcery.com>
 551
 552         * config/rs6000/rs6000.h (ASM_CPU_SPEC): Add clause for mcpu=8548.
 553
 554 2008-01-07  Richard Guenther  <rguenther@suse.de>
 555
 556         * basic-block.h (struct edge_def): Pair dest_idx with goto_locus
 557         fields.
 558
 559 2008-01-07  Richard Guenther  <rguenther@suse.de>
 560
 561         PR tree-optimization/34683
 562         * tree-ssa-sccvn.c (vuses_to_vec): Pre-allocate the vector of
 563         VOPs of the needed size to save memory.  Use VEC_quick_push
 564         to save compile-time.
 565         (vdefs_to_vec): Likewise.
 566
 567 2008-01-07  Sa Liu  <saliu@de.ibm.com>
 568
 569         * config/spu/spu.md (divdf3): Genetate inline code for double
 570         division.  The implementation doesn't handle INF or NAN, therefore it
 571         only applies when -ffinite-math-only is given.
 572
 573 2008-01-06  Paolo Carlini  <pcarlini@suse.de>
 574
 575         PR libstdc++/34680
 576         * c-cppbuiltin.c (c_cpp_builtins): Define __GXX_RTTI, if appropriate.
 577         * doc/cpp.texi ([Common Predefined Macros]): Document.
 578
 579 2008-01-06  Uros Bizjak  <ubizjak@gmail.com>
 580
 581         * config/i386/i386.c (ix86_emit_swsqrtsf): Use negative constants in
 582         order to use commutative addition instead of subtraction.
 583
 584 2008-01-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 585             Mircea Namolaru  <namolaru@il.ibm.com>
 586             Vladimir Yanovsky  <yanov@il.ibm.com>
 587             Revital Eres  <eres@il.ibm.com>
 588
 589         PR tree-optimization/34263
 590         * tree-outof-ssa.c (process_single_block_loop_latch,
 591         contains_tree_r): New functions.
 592         (analyze_edges_for_bb): Call process_single_block_loop_latch
 593         function to empty single-basic-block latch block if possible.
 594
 595 2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
 596
 597         * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
 598         for TARGET_RECIP.
 599         (ix86_emit_swsqrtsf): Do not filter out infinity for rsqrt expansion.
 600
 601 2008-01-05  Richard Sandiford  <rsandifo@nildram.co.uk>
 602
 603         * c-omp.c (check_omp_for_incr_expr): Handle CONVERT_EXPR.
 604
 605 2008-01-05  Richard Sandiford  <rsandifo@nildram.co.uk>
 606
 607         * config/mips/mips.c (mips_in_small_data_p): Reinstate size > 0 check.
 608
 609 2008-01-05  Jakub Jelinek  <jakub@redhat.com>
 610
 611         PR tree-optimization/34618
 612         * tree-outof-ssa.c (create_temp): Copy over DECL_GIMPLE_REG_P
 613         flag from T.
 614
 615 2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
 616
 617         PR target/34673
 618         * config/i386/i386.c (ix86_emit_swsqrtsf): Swap input operands
 619         in the call to gen_rtx_NE.  Remove unneeded VECTOR_MODE_P check.
 620         Update copyright year.
 621
 622         * config/i386/i386.md (rsqrtsf2): Enable for TARGET_SSE_MATH.
 623         Update copyright year.
 624         * config/i386/sse.md (rsqrtv4sf2): Ditto. Unconditionally expand
 625         using NR fixup.
 626
 627 2008-01-05  Zhouyi Zhou  <zhouzhouyi@FreeBSD.org>
 628
 629         * tree-vrp.c (find_conditional_asserts): Remove redundant check that
 630         edge does not point to current bb before changing need_assert.
 631
 632 2008-01-04  Richard Guenther  <rguenther@suse.de>
 633
 634         PR middle-end/34029
 635         * tree-cfg.c (verify_expr): Do not look inside ADDR_EXPRs
 636         for verifying purposes if they are is_gimple_min_invariant.
 637
 638 2008-01-04  Aldy Hernandez  <aldyh@redhat.com>
 639
 640         PR tree-optimization/34448
 641         PR tree-optimization/34465
 642         * gimplify.c (gimplify_init_constructor): Add new parameter
 643         notify_temp_creation.  Use it.
 644         (gimplify_modify_expr_rhs): Take volatiles into account when
 645         optimizing constructors.
 646         Do not optimize constructors if gimplify_init_constructor will dump to
 647         memory.
 648         * gcc.dg/tree-ssa/pr32901.c: Tests const volatiles.
 649         * gcc.c-torture/compile/pr34448.c: New.
 650
 651 2008-01-04  Jakub Jelinek  <jakub@redhat.com>
 652
 653         PR gcov-profile/34609
 654         * tree-inline.c (declare_return_variable): Set TREE_ADDRESSABLE on
 655         return_slot if result is TREE_ADDRESSABLE.
 656
 657 2008-01-04  Richard Sandiford  <rsandifo@nildram.co.uk>
 658
 659         * config/mips/mips.md (sqrt_condition): Tweak comment.
 660         (recip_condition): Likewise.  Require TARGET_FLOAT64 for DFmode.
 661
 662 2008-01-03  Tom Tromey  <tromey@redhat.com>
 663
 664         PR c/34457
 665         * c-common.c (c_type_hash): Handle VLAs.
 666
 667 2008-01-03  Jan Hubicka  <jh@suse.cz>
 668
 669         PR tree-optimization/31081
 670         * tree-inline.c (remap_ssa_name): Initialize uninitialized SSA vars to
 671         0 when inlining and not inlining to first basic block.
 672         (remap_decl): When var is initialized to 0, don't set default_def.
 673         (expand_call_inline): Set entry_bb.
 674         * tree-inline.h (copy_body_data): Add entry_bb.
 675
 676 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
 677
 678         PR c++/34619
 679         * cgraphunit.c (cgraph_build_static_cdtor): set_cfun back to NULL
 680         before returning.
 681
 682         PR tree-optimization/29484
 683         * tree-inline.c (inline_forbidden_p_2): New function.
 684         (inline_forbidden_p): Disallow inlining if some static var
 685         has an address of a local LABEL_DECL in its initializer.
 686         * doc/extend.texi (Labels as Values): Document &&foo behaviour
 687         vs. inlining.
 688
 689 2008-01-03  Sebastian Pop  <sebastian.pop@amd.com>
 690
 691         PR tree-optimization/34635
 692         * tree-data-ref.c (add_other_self_distances): Make sure that the
 693         evolution step is constant.
 694
 695 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
 696
 697         PR middle-end/34608
 698         * omp-low.c (expand_omp_parallel): Purge dead EH edges in the child fn.
 699
 700 2008-01-02  Richard Sandiford  <rsandifo@nildram.co.uk>
 701
 702         * tree-sra.c (scalarize_init): Insert the generate_element_init
 703         statements after the generate_element_zero statements.
 704
 705 2008-01-02  Richard Guenther  <rguenther@suse.de>
 706
 707         PR middle-end/34093
 708         PR middle-end/31976
 709         * tree-ssa-operands.c (ssa_operand_alloc): Also allocate a buffer
 710         for very large number of operands instead of ICEing.
 711
 712 2008-01-02  Arthur Norman <acn1@cam.ac.uk>
 713
 714         PR target/34013
 715         * gcc/config/i386/i386.c (ix86_expand_prologue): Save red-zone
 716         while stack probing.
 717
 718 2008-01-01  Douglas Gregor  <doug.gregor@gmail.com>
 719
 720         * c-opts.c (sanitize_cpp_opts): Don't warn about "long long" when
 721         in C++0x mode.
 722
 723 2008-01-01  Volker Reichelt  <v.reichelt@netcologne.de>
 724
 725         PR libmudflap/26442
 726         * tree-mudflap.c (mx_register_decls): Guard warning by
 727         !DECL_ARTIFICIAL check.
 728
 729 2008-01-01  Jakub Jelinek  <jakub@redhat.com>
 730
 731         * config/i386/sse.md (sse5_pperm, sse5_pperm_pack_v2di_v4si,
 732         sse5_pperm_pack_v4si_v8hi, sse5_pperm_pack_v8hi_v16qi,
 733         sse5_perm<mode>): Fix constraints.