gcc/ChangeLog

   1 2008-01-16  Richard Guenther  <rguenther@suse.de>
   2
   3         PR tree-optimization/34769
   4         * tree-data-ref.c (initialize_matrix_A): Revert fix for PR34458.
   5         * tree.c (int_cst_value): Instead make this function more
   6         permissive in what it accepts as valid input.  Document this
   7         function always sign-extends the value.
   8
   9 2008-01-16  Jakub Jelinek  <jakub@redhat.com>
  10         Richard Guenther  <rguenther@suse.de>
  11
  12         PR c/34668
  13         * gimplify.c (fold_indirect_ref_rhs): Rename to ...
  14         (gimple_fold_indirect_ref_rhs): ... this.
  15         (gimple_fold_indirect_ref): New function with foldings
  16         that preserve lvalueness.
  17         (gimplify_modify_expr_rhs): Call gimple_fold_indirect_ref_rhs.
  18         * tree-flow.h (gimple_fold_indirect_ref): Declare.
  19         * tree-inline.c (copy_body_r): Use gimple_fold_indirect_ref
  20         to fold an INDIRECT_REF, fall back to the old use of
  21         fold_indirect_ref_1.
  22
  23 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
  24
  25         * tree-data-ref.c (subscript_dependence_tester_1): Call
  26         free_conflict_function.
  27         (compute_self_dependence): Same.
  28
  29 2008-01-16  Uros Bizjak  <ubizjak@gmail.com>
  30
  31         PR debug/34249
  32         * debug.h (dwarf2out_switch_text_section): Move declaration from ...
  33         * dwarf2out.c (dwarf2out_switch_text_section): ... here.  Make
  34         function global.
  35         * final.c (final_scan_insn) [NOTE_INSN_SWITCH_TEXT_SECTIONS]:
  36         Depending on dwarf2out_do_frame, call dwarf2out_switch_text_section
  37         for DWARF2_UNWIND_INFO targets.
  38
  39 2008-01-16  Richard Guenther  <rguenther@suse.de>
  40
  41         PR c/34768
  42         * c-typeck.c (common_pointer_type): Do not merge inconsistent
  43         type qualifiers for function types.
  44
  45 2008-01-15  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
  46
  47         * tree-parloops.c (gen_parallel_loop): Fix ommision of declaration for
  48         loop_iterator li from previous commit.
  49
  50 2008-01-15  Sebastian Pop  <sebastian.pop@amd.com>
  51
  52         * tree-parloops.c (gen_parallel_loop): Free loop bound estimations.
  53
  54 2008-01-12  Sebastian Pop  <sebastian.pop@amd.com>
  55
  56         * tree-parloops.c (loop_has_blocks_with_irreducible_flag): New.
  57         (parallelize_loops): Don't parallelize irreducible components.
  58
  59 2008-01-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
  60
  61         PR c++/24924
  62         * c-opts (c_common_post_options): Do not enable CPP
  63         flag_pedantic_errors by default.
  64
  65 2008-01-14  Eric Botcazou  <ebotcazou@adacore.com>
  66
  67         PR rtl-optimization/31944
  68         * cse.c (remove_pseudo_from_table): New function.
  69         (merge_equiv_classes): Use above function to remove pseudo-registers.
  70         (invalidate): Likewise.
  71
  72 2008-01-13  Richard Guenther  <rguenther@suse.de>
  73
  74         PR middle-end/34601
  75         * emit-rtl.c (set_reg_attrs_for_decl_rtl): Use DECL_MODE
  76         instead of TYPE_MODE to deal with calls from expand_one_error_var.
  77
  78 2008-01-13  Uros Bizjak  <ubizjak@gmail.com>
  79
  80         * gcse.c (cprop_jump): Call validate_unshare_change instead of
  81         validate_change to unshare the source of the PC set.
  82
  83 2008-01-12  Jan Hubicka  <jh@suse.cz>
  84
  85         PR middle-end/32135
  86         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Do not construct
  87         references above array bounds.  This might trigger bounds checks for
  88         pointers to arrays.
  89
  90 2008-01-12  Sebastian Pop  <sebastian.pop@amd.com>
  91
  92         * tree-ssa-ter.c (free_temp_expr_table): Free num_in_part and
  93         new_replaceable_dependencies.
  94
  95 2008-01-12  Doug Kwan  <dougkwan@google.com>
  96
  97         * c-decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers
  98         instead of OPT_Wreturn_type in warning due to ignored return type
  99         qualifiers.
 100         * c-opt.c (c_common_post_option): Add -Wignored-qualifiers to
 101         options included in -Wextra.
 102         * c.opt: New option -Wignored_qualifiers.
 103         * doc/invoke.texi (Warning Options, -Wextra): Add new option
 104         -Wignore_qualifiers.
 105         (-Wignored-qualifiers): Document.
 106         (-Wreturn-type): Remove description of functionality now handled
 107         by -Wignored-qualifiers.
 108
 109 2008-01-12  Eric Botcazou  <ebotcazou@adacore.com>
 110
 111         PR ada/33788
 112         * fold-const.c (fold_unary) <VIEW_CONVERT_EXPR>: Fold an existing
 113         NOP_EXPR if it is between integral types with the same precision.
 114
 115 2008-01-12  Jan Hubicka  <jh@suse.cz>
 116
 117         PR other/28023
 118         * invoke.texi (max-inline-recursive-depth): Fix default value.
 119
 120 2008-01-12  Zdenek Dvorak  <ook@ucw.cz>
 121
 122         * tree-parloops.c (transform_to_exit_first_loop): Cast nit to the
 123         correct type.
 124
 125 2008-01-11  Bob Wilson  <bob.wilson@acm.org>
 126
 127         * config/xtensa/xtensa.c (override_options): Set flag_shlib.
 128
 129 2008-01-11  James E. Wilson  <wilson@specifix.com>
 130
 131         PR target/26015
 132         * config/vax/elf.h (FRAME_POINTER_CFA_OFFSET): Define.
 133
 134 2008-01-11  Anatoly Sokolov <aesok@post.ru>
 135
 136         * config/avr/avr.c (expand_prologue, expand_epilogue): Don't
 137         save/restore frame pointer register and don't use 'call-prologues'
 138         optimization in function with "OS_task" attribute.
 139
 140 2008-01-11  Eric Botcazou  <ebotcazou@adacore.com>
 141
 142         PR middle-end/31309
 143         * expr.c (copy_blkmode_from_reg): Use a mode suited to the size
 144         when copying to memory.
 145
 146 2008-01-11  Steven Bosscher  <stevenb.gcc@gmail.com>
 147
 148         PR rtl-optimization/30905
 149         * cfgcleanup.c: Include dce.h
 150         (crossjumps_occured): New global variable.
 151         (try_crossjump_bb): Exit loop after finding a fallthru edge.
 152         If something changed, set crossjumps_occured to true.
 153         (try_optimize_cfg): Clear crossjumps_occured at the beginning.
 154         Don't add/remove fake edges to exit here...
 155         (cleanup_cfg): ...but do it here, when crossjumping.
 156         Run a fast DCE when successful crossjumps occured in the latest
 157         iteration of try_optimize_cfg.
 158
 159 2008-01-11  Richard Guenther  <rguenther@suse.de>
 160
 161         * tree-ssa-sccvn.c (struct vn_binary_op_s): Move hashcode near opcode.
 162         (struct vn_unary_op_s): Likewise.
 163         (vn_reference_insert): Free old reference on hash collision.
 164
 165 2008-01-10  Raksit Ashok  <raksit@google.com>
 166
 167         PR rtl-optimization/27971
 168         * combine.c (find_split_point): Split PLUS expressions which are
 169         inside a MEM rtx, and whose first operand is complex.
 170
 171 2008-01-10  DJ Delorie  <dj@redhat.com>
 172
 173         * config/m32c/m32c.c (m32c_hard_regno_nregs_1): Renamed from...
 174         (m32c_hard_regno_nregs): ...this, which is now a wrapper.
 175         (m32c_hard_regno_ok): Call the underlying function.
 176
 177 2008-01-10  Richard Guenther  <rguenther@suse.de>
 178
 179         PR middle-end/34683
 180         * tree-cfg.c (tree_merge_blocks): Do not go through the
 181         full-blown folding and stmt updating path if we just deal
 182         with virtual operands.
 183         * tree-ssa-copy.c (may_propagate_copy): Do not short-cut
 184         test for abnormal SSA_NAMEs.
 185
 186 2008-01-10  Andreas Krebbel  <krebbel1@de.ibm.com>
 187
 188         PR middle-end/34641
 189         * reload.c (push_reload): Add assertions.  All constants from
 190         reg_equiv_constant should have been used for replacing the respective
 191         pseudo earlier.
 192         (find_reloads_address): Invoke find_reloads_address_part for
 193         constant taken from the reg_equiv_constant array.
 194
 195 2008-01-10  Steven Bosscher  <stevenb.gcc@gmail.com>
 196
 197         * tree-ssa-sccvn.h (struct vn_ssa_aux): Make the most accessed
 198         field (valnum) the first in the struct.  Replace bools with
 199         unit bit fields.
 200
 201 2008-01-10  Richard Guenther  <rguenther@suse.de>
 202
 203         PR tree-optimization/34651
 204         * tree-sra.c (sra_build_assignment): Sanitize.  Use the correct
 205         types and ordering for masking and converting.
 206
 207 2008-01-09  Sebastian Pop  <sebastian.pop@amd.com>
 208
 209         PR tree-optimization/34017
 210         * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Generate code
 211         also for PHI_NODE expressions.
 212
 213 2008-01-09  Jan Hubicka  <jh@suse.cz>
 214
 215         PR tree-optimization/34708
 216         * tree-inline.c (estimate_num_insns_1): Compute cost of SWITCH_EXPR
 217         based on number of case labels.
 218         (init_inline_once): Remove switch_cost.
 219         * tree-inline.h (eni_weights_d): Remove switch_cost.
 220
 221 2008-01-09  Richard Guenther  <rguenther@suse.de>
 222         Andrew Pinski  <andrew_pinski@playstation.sony.com>
 223
 224         PR middle-end/30132
 225         * gimplify.c (gimplify_cond_expr): Do not create an addressable
 226         temporary if an rvalue is ok or an lvalue is not required.
 227
 228 2008-01-09  Richard Guenther  <rguenther@suse.de>
 229
 230         PR middle-end/34458
 231         * tree-data-ref.c (initialize_matrix_A): Use tree_low_cst,
 232         adjust return type.
 233
 234 2008-01-09  Richard Guenther  <rguenther@suse.de>
 235
 236         PR middle-end/34679
 237         * tree.c (host_integerp): Check for sizetype only if the
 238         type is an integer type.
 239
 240 2008-01-09  Steven Bosscher  <stevenb.gcc@gmail.com>
 241
 242         PR debug/26364
 243         * opts.c (decode_options): Disable inlining of functions called
 244         once if not in unit-at-a-time mode.
 245
 246 2008-01-09  Alexandre Oliva  <aoliva@redhat.com>
 247
 248         * Makefile.in (dse.o): Remove duplicate $(RECOG_H) dependency.
 249
 250 2008-01-08  Richard Guenther  <rguenther@suse.de>
 251
 252         PR middle-end/31863
 253         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Bail
 254         out early if the result will be unused.
 255
 256 2008-01-08  Uros Bizjak  <ubizjak@gmail.com>
 257
 258         PR target/34709
 259         Revert:
 260
 261         2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
 262         * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
 263         for TARGET_RECIP.
 264
 265 2008-01-08  Jan Sjodin  <jan.sjodin@amd.com>
 266
 267         * config/i386/i386.c (k8_cost, amdfam10_cost): Branch costs
 268         for vectorization tuned.
 269
 270 2008-01-08  Richard Guenther  <rguenther@suse.de>
 271
 272         PR tree-optimization/34683
 273         * tree-ssa-operands.c (operand_build_cmp): Export.
 274         * tree-ssa-operands.h (operand_build_cmp): Declare.
 275         * tree-vn.c (vuses_compare): Remove.
 276         (sort_vuses): Use operand_build_cmp.
 277         (sort_vuses_heap): Likewise.
 278         * tree-ssa-sccvn.c (vuses_to_vec): Use VEC_reserve, not VEC_alloc
 279         to re-use old VEC if available.  Do not sort already sorted VUSEs.
 280         (vdefs_to_vec): Do not sort already sorted VDEFs.
 281
 282 2008-01-08  Jakub Jelinek  <jakub@redhat.com>
 283
 284         PR middle-end/34694
 285         * omp-low.c (copy_var_decl): Copy also DECL_SOURCE_LOCATION.
 286
 287 2008-01-08  Uros Bizjak  <ubizjak@gmail.com>
 288
 289         PR target/34702
 290         * doc/invoke.texi (i386 and x86-64 Options) [mrecip]: Document
 291         limitations of reciprocal sequences on x86 targets.
 292
 293 2008-01-08  Richard Guenther  <rguenther@suse.de>
 294
 295         PR tree-optimization/34683
 296         * tree-flow-inline.h (var_ann): Remove overzealous asserts.
 297
 298 2008-01-07  Jakub Jelinek  <jakub@redhat.com>
 299
 300         PR target/34622
 301         * config/darwin.c (darwin_mergeable_string_section): Don't use
 302         .cstring if int_size_in_bytes != TREE_STRING_LENGTH.
 303
 304 2008-01-07  Uros Bizjak  <ubizjak@gmail.com>
 305
 306         PR target/34682
 307         * config/i386/i386.md (neg<mode>2): Rename from negsf2, negdf2 and
 308         negxf2.  Macroize expander using X87MODEF mode iterator.  Change
 309         predicates of op0 and op1 to register_operand.
 310         (abs<mode>2): Rename from abssf2, absdf2 and negxf2.  Macroize
 311         expander using X87MODEF mode iterator.  Change predicates of
 312         op0 and op1 to register_operand.
 313         ("*absneg<mode>2_mixed", "*absneg<mode>2_sse"): Rename from
 314         corresponding patterns and macroize using MODEF macro.  Change
 315         predicates of op0 and op1 to register_operand and remove
 316         "m" constraint. Disparage "r" alternative with "!".
 317         ("*absneg<mode>2_i387"): Rename from corresponding patterns and
 318         macroize using X87MODEF macro.  Change predicates of op0 and op1
 319         to register_operand and remove "m" constraint.  Disparage "r"
 320         alternative with "!".
 321         (absneg splitter with memory operands): Remove.
 322         ("*neg<mode>2_1", "*abs<mode>2_1"): Rename from corresponding
 323         patterns and macroize using X87MODEF mode iterator.
 324         * config/i386/sse.md (negv4sf2, absv4sf2, neg2vdf2, absv2df2):
 325         Change predicate of op1 to register_operand.
 326         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Remove support
 327         for memory operands.
 328
 329 2008-01-07  Nathan Froyd  <froydnj@codesourcery.com>
 330
 331         * config/rs6000/rs6000.h (ASM_CPU_SPEC): Add clause for mcpu=8548.
 332
 333 2008-01-07  Richard Guenther  <rguenther@suse.de>
 334
 335         * basic-block.h (struct edge_def): Pair dest_idx with goto_locus
 336         fields.
 337
 338 2008-01-07  Richard Guenther  <rguenther@suse.de>
 339
 340         PR tree-optimization/34683
 341         * tree-ssa-sccvn.c (vuses_to_vec): Pre-allocate the vector of
 342         VOPs of the needed size to save memory.  Use VEC_quick_push
 343         to save compile-time.
 344         (vdefs_to_vec): Likewise.
 345
 346 2008-01-07  Sa Liu  <saliu@de.ibm.com>
 347
 348         * config/spu/spu.md (divdf3): Genetate inline code for double
 349         division.  The implementation doesn't handle INF or NAN, therefore it
 350         only applies when -ffinite-math-only is given.
 351
 352 2008-01-06  Paolo Carlini  <pcarlini@suse.de>
 353
 354         PR libstdc++/34680
 355         * c-cppbuiltin.c (c_cpp_builtins): Define __GXX_RTTI, if appropriate.
 356         * doc/cpp.texi ([Common Predefined Macros]): Document.
 357
 358 2008-01-06  Uros Bizjak  <ubizjak@gmail.com>
 359
 360         * config/i386/i386.c (ix86_emit_swsqrtsf): Use negative constants in
 361         order to use commutative addition instead of subtraction.
 362
 363 2008-01-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 364             Mircea Namolaru  <namolaru@il.ibm.com>
 365             Vladimir Yanovsky  <yanov@il.ibm.com>
 366             Revital Eres  <eres@il.ibm.com>
 367
 368         PR tree-optimization/34263
 369         * tree-outof-ssa.c (process_single_block_loop_latch,
 370         contains_tree_r): New functions.
 371         (analyze_edges_for_bb): Call process_single_block_loop_latch
 372         function to empty single-basic-block latch block if possible.
 373
 374 2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
 375
 376         * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
 377         for TARGET_RECIP.
 378         (ix86_emit_swsqrtsf): Do not filter out infinity for rsqrt expansion.
 379
 380 2008-01-05  Richard Sandiford  <rsandifo@nildram.co.uk>
 381
 382         * c-omp.c (check_omp_for_incr_expr): Handle CONVERT_EXPR.
 383
 384 2008-01-05  Richard Sandiford  <rsandifo@nildram.co.uk>
 385
 386         * config/mips/mips.c (mips_in_small_data_p): Reinstate size > 0 check.
 387
 388 2008-01-05  Jakub Jelinek  <jakub@redhat.com>
 389
 390         PR tree-optimization/34618
 391         * tree-outof-ssa.c (create_temp): Copy over DECL_GIMPLE_REG_P
 392         flag from T.
 393
 394 2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
 395
 396         PR target/34673
 397         * config/i386/i386.c (ix86_emit_swsqrtsf): Swap input operands
 398         in the call to gen_rtx_NE.  Remove unneeded VECTOR_MODE_P check.
 399         Update copyright year.
 400
 401         * config/i386/i386.md (rsqrtsf2): Enable for TARGET_SSE_MATH.
 402         Update copyright year.
 403         * config/i386/sse.md (rsqrtv4sf2): Ditto. Unconditionally expand
 404         using NR fixup.
 405
 406 2008-01-05  Zhouyi Zhou  <zhouzhouyi@FreeBSD.org>
 407
 408         * tree-vrp.c (find_conditional_asserts): Remove redundant check that
 409         edge does not point to current bb before changing need_assert.
 410
 411 2008-01-04  Richard Guenther  <rguenther@suse.de>
 412
 413         PR middle-end/34029
 414         * tree-cfg.c (verify_expr): Do not look inside ADDR_EXPRs
 415         for verifying purposes if they are is_gimple_min_invariant.
 416
 417 2008-01-04  Aldy Hernandez  <aldyh@redhat.com>
 418
 419         PR tree-optimization/34448
 420         PR tree-optimization/34465
 421         * gimplify.c (gimplify_init_constructor): Add new parameter
 422         notify_temp_creation.  Use it.
 423         (gimplify_modify_expr_rhs): Take volatiles into account when
 424         optimizing constructors.
 425         Do not optimize constructors if gimplify_init_constructor will dump to
 426         memory.
 427         * gcc.dg/tree-ssa/pr32901.c: Tests const volatiles.
 428         * gcc.c-torture/compile/pr34448.c: New.
 429
 430 2008-01-04  Jakub Jelinek  <jakub@redhat.com>
 431
 432         PR gcov-profile/34609
 433         * tree-inline.c (declare_return_variable): Set TREE_ADDRESSABLE on
 434         return_slot if result is TREE_ADDRESSABLE.
 435
 436 2008-01-04  Richard Sandiford  <rsandifo@nildram.co.uk>
 437
 438         * config/mips/mips.md (sqrt_condition): Tweak comment.
 439         (recip_condition): Likewise.  Require TARGET_FLOAT64 for DFmode.
 440
 441 2008-01-03  Tom Tromey  <tromey@redhat.com>
 442
 443         PR c/34457
 444         * c-common.c (c_type_hash): Handle VLAs.
 445
 446 2008-01-03  Jan Hubicka  <jh@suse.cz>
 447
 448         PR tree-optimization/31081
 449         * tree-inline.c (remap_ssa_name): Initialize uninitialized SSA vars to
 450         0 when inlining and not inlining to first basic block.
 451         (remap_decl): When var is initialized to 0, don't set default_def.
 452         (expand_call_inline): Set entry_bb.
 453         * tree-inline.h (copy_body_data): Add entry_bb.
 454
 455 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
 456
 457         PR c++/34619
 458         * cgraphunit.c (cgraph_build_static_cdtor): set_cfun back to NULL
 459         before returning.
 460
 461         PR tree-optimization/29484
 462         * tree-inline.c (inline_forbidden_p_2): New function.
 463         (inline_forbidden_p): Disallow inlining if some static var
 464         has an address of a local LABEL_DECL in its initializer.
 465         * doc/extend.texi (Labels as Values): Document &&foo behaviour
 466         vs. inlining.
 467
 468 2008-01-03  Sebastian Pop  <sebastian.pop@amd.com>
 469
 470         PR tree-optimization/34635
 471         * tree-data-ref.c (add_other_self_distances): Make sure that the
 472         evolution step is constant.
 473
 474 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
 475
 476         PR middle-end/34608
 477         * omp-low.c (expand_omp_parallel): Purge dead EH edges in the child fn.
 478
 479 2008-01-02  Richard Sandiford  <rsandifo@nildram.co.uk>
 480
 481         * tree-sra.c (scalarize_init): Insert the generate_element_init
 482         statements after the generate_element_zero statements.
 483
 484 2008-01-02  Richard Guenther  <rguenther@suse.de>
 485
 486         PR middle-end/34093
 487         PR middle-end/31976
 488         * tree-ssa-operands.c (ssa_operand_alloc): Also allocate a buffer
 489         for very large number of operands instead of ICEing.
 490
 491 2008-01-02  Arthur Norman <acn1@cam.ac.uk>
 492
 493         PR target/34013
 494         * gcc/config/i386/i386.c (ix86_expand_prologue): Save red-zone
 495         while stack probing.
 496
 497 2008-01-01  Douglas Gregor  <doug.gregor@gmail.com>
 498
 499         * c-opts.c (sanitize_cpp_opts): Don't warn about "long long" when
 500         in C++0x mode.
 501
 502 2008-01-01  Volker Reichelt  <v.reichelt@netcologne.de>
 503
 504         PR libmudflap/26442
 505         * tree-mudflap.c (mx_register_decls): Guard warning by
 506         !DECL_ARTIFICIAL check.
 507
 508 2008-01-01  Jakub Jelinek  <jakub@redhat.com>
 509
 510         * config/i386/sse.md (sse5_pperm, sse5_pperm_pack_v2di_v4si,
 511         sse5_pperm_pack_v4si_v8hi, sse5_pperm_pack_v8hi_v16qi,
 512         sse5_perm<mode>): Fix constraints.