gcc/ChangeLog

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