gcc/ChangeLog

   1 2007-07-15  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
   2
   3         PR middle-end/32398
   4         PR middle-end/32769
   5         * pa-protos.h (pa_eh_return_handler_rtx): Declare.
   6         * pa.c (pa_extra_live_on_entry, rp_saved): Declare.
   7         (TARGET_EXTRA_LIVE_ON_ENTRY): Define.
   8         (pa_output_function_prologue): Use rp_saved and current_function_is_leaf
   9         to generate .CALLINFO statement.
  10         (hppa_expand_prologue): Set rp_saved.
  11         (hppa_expand_epilogue): Use rp_saved.
  12         (pa_extra_live_on_entry, pa_eh_return_handler_rtx): New functions.
  13         * pa.h (EH_RETURN_HANDLER_RTX): Use pa_eh_return_handler_rtx.
  14
  15 2007-07-14  Dirk Mueller  <dmueller@suse.de>
  16
  17         * omega.c (coalesce): Fix memory leak on early exit.
  18         * matrix-reorg.c (check_allocation_function): Likewise.
  19         * tree-vect-transform.c (vect_get_new_vect_var): free result
  20         of concat().
  21         * bb-reorder.c (find_rarely_executed_basic_blocks_and_crossing_edges):
  22         pass pointer to edge vector
  23         (partition_hot_cold_basic_blocks): Fix memory leak.
  24         * collect2.c (prefix_from_string): Free temporary storage.
  25         * reload1.c (fixup_abnormal_edges): Free sbitmap.
  26
  27 2007-07-14  Kaz Kojima  <kkojima@gcc.gnu.org>
  28
  29         * config/sh/sh.h (DO_GLOBAL_CTORS_BODY): Add void to prototype.
  30         (DO_GLOBAL_DTORS_BODY): Likewise.
  31
  32 2007-07-14  Sandra Loosemore  <sandra@codesourcery.com>
  33             Nigel Stephens  <nigel@mips.com>
  34
  35         * config/mips/mips.c (mips_classify_symbol): Don't return
  36         SYMBOL_SMALL_DATA for constant pool addresses if
  37         TARGET_EMBEDDED_DATA is true.
  38
  39 2007-07-14  Uros Bizjak  <ubizjak@gmail.com>
  40
  41         * config/i386/i386.c (init_mmx_sse_builtins): Define all builtins
  42         except __builtin_ia32_emms, __builtin_ia32_ldmxcsr,
  43         __builtin_ia32_stmxcsr, __builtin_ia32_maskmovq, __builtin_ia32_loadups,
  44         __builtin_ia32_storeups, __builtin_ia32_loadhps, __builtin_ia32_loadlps,
  45         __builtin_ia32_storehps, __builtin_ia32_storelps,
  46         __builtin_ia32_movntps, __builtin_ia32_movntq, __builtin_ia32_sfence,
  47         __builtin_ia32_femms, __builtin_ia32_maskmovdqu, __builtin_ia32_loadupd,
  48         __builtin_ia32_storeupd, __builtin_ia32_loadhpd, __builtin_ia32_loadlpd,
  49         __builtin_ia32_movnti, __builtin_ia32_movntpd, __builtin_ia32_movntdq,
  50         __builtin_ia32_clflush, __builtin_ia32_lfence, __builtin_ia32_mfence,
  51         __builtin_ia32_loaddqu, __builtin_ia32_storedqu, __builtin_ia32_monitor,
  52         __builtin_ia32_mwait, __builtin_ia32_lddqu, __builtin_ia32_movntdqa,
  53         __builtin_ia32_movntsd and __builtin_ia32_movntss as const builtins
  54         using def_builtin_const.
  55
  56 2007-07-14  Eric Botcazou  <ebotcazou@adacore.com>
  57
  58         PR tree-optimization/32705
  59         * tree-ssa-sccvn.c (set_ssa_val_to): Accept VN_TOP as value number.
  60         (simplify_binary_expression): Use SSA_VAL consistently.
  61
  62 2007-07-13  David Edelsohn  <edelsohn@gnu.org>
  63
  64         * config/rs6000/spe.md (SPE_ACC_REGNO): Delete definition.
  65         (SPEFSCR_REGNO): Delete definition.
  66         * config/rs6000/rs6000.c: LINK_REGISTER_REGNUM -> LR_REGNO.
  67         COUNT_REGISTER_REGNUM -> CTR_REGNO.
  68         * config/rs6000/rs6000.h: Do not define *_REGNO.
  69         LINK_REGISTER_REGNUM -> LR_REGNO.
  70         COUNT_REGISTER_REGNUM -> CTR_REGNO.
  71         * config/rs6000/predicates.md: LINK_REGISTER_REGNUM ->  LR_REGNO.
  72         COUNT_REGISTER_REGNUM -> CTR_REGNO.
  73         * config/rs6000/linux-unwind.h: Define R_LR, R_CR2, R_VR0,
  74         R_VRSAVE, R_VSCR. Use them.
  75         * config/rs6000/darwin-fallback.c: Define R_LR, R_CTR, R_CR2,
  76         R_XER, R_VR0, R_VRSAVE, R_VSCR, R_SPEFSCR.  Use them.
  77         * config/rs6000/rs6000.md: Define REGNO constants.  Use them.
  78         * config/rs6000/aix.h: Define R_LR.  Use it.
  79
  80 2007-07-13  Caroline Tice  <ctice@apple.com>
  81
  82         * toplev.c (process_options): Turn flag_var_tracking_uninit off when
  83         flag_var_tracking is explicitly turned off (i.e. when variable
  84         tracking is not feasible); otherwise, turn flag_var_tracking on when
  85         flag_var_tracking_uninit is on.
  86         * rtl.def (VAR_LOCATION): Add a new integer subfield to VAR_LOCATION
  87         note definitions, to allow recording of initialization status in the
  88         notes.
  89         * dwarf2out.c (dwarf_stack_op_name): Add case for DW_OP_GNU_uninit.
  90         (add_var_loc_to_decl): Add comparison of NOTE_VAR_LOCATION_STATUS to
  91         determine if two note locations are equal.
  92         (output_loc_list): Don't output list entries whose start & end labels
  93         are the same.
  94         (reg_loc_descriptor): Add parameter for initialization status; pass it
  95         to other loc descriptor functions.
  96         (one_reg_loc_descriptor): Add parameter for initialization status;
  97         check its value and add DW_OP_GNU_uninit to returned loc descr if
  98         appropriate.
  99         (multiple_reg_loc_descriptor): Add parameter for initialization
 100         status;
 101         pass init status argument to other loc descriptor functions; check
 102         value of intialization parameter and add DW_OP_GNU_uninit to returned
 103         loc descr if appropriate.
 104         (based_loc_descr): Add parameter for initialization status; add new
 105         variable for return value; check value of initialization parameter and
 106         add DW_OP_GNU_uninit to returned loc descr if appropriate.
 107         (concatn_mem_loc_descriptor): Add parameter for initialization status;
 108         pass init status argument to other loc descriptor functions; check
 109         value of intialization parameter and add DW_OP_GNU_uninit to returned
 110         loc descr if appropriate.
 111         (mem_loc_descriptor): Likewise.
 112         (concat_loc_descriptor): Likewise.
 113         (concatn_loc_descriptor): Likewise.
 114         (loc_descriptor): Add parameter for initialization status; pass it as
 115         argument to other loc descriptor function calls.
 116         (loc_descriptor_from_tree_1): Add appropriate initialization status
 117         to loc descriptor function calls.
 118         (add_location_or_const_value_attribute): Get initialization status
 119         from VAR_LOCATION note; add initialization status to loc descriptor
 120         function calls.
 121         * dwarf2.h (enum dwarf_location_atom): New op, DW_OP_GNU_uninit.
 122         * print-rtl.c (print_rtx): When printing a VAR_LOCATION note, if
 123         status is uninitialized, add "[uninint]" to output.
 124         * common.opt (fvar-tracking-uninit): New option, similar to
 125         fvar-tracking, to turn on tracking of uninitialized variables; creates
 126         a new global flag, flag_var_tracking_uninit.
 127         * rtl.h (NOTE_VAR_LOCATION_STATUS): New macro for accessing new field.
 128         (enum var_init_status): New type, for var initialization status field.
 129         * var-tracking.c (struct location_chain_def): Two new fields, init,
 130         for initialization status, and set_src for the assignment value expr.
 131         (unshare_variable): New parameter for initialization status;
 132         initialize new init and set_src fields.
 133         (var_reg_set): New parameters for initialization status and value;
 134         pass them to set_variable_part.
 135         (var_mem_set): Likewise.
 136         (get_init_value): New function.
 137         (var_reg_delete_and_set): New initialization status & value
 138         parameters; add call to get_init_value if status is unknown; pass new
 139         parameters to clobber_variable_part and var_reg_set.
 140         (var_mem_delete_and_set): Likewise.
 141         (var_reg_delete): Pass null set_src value to clobber_variable_part.
 142         (var_mem_delete): Likewise.
 143         (variable_union): Pass status to unshare_variable; initialize new init
 144         and set_src fields. If flag_var_tracking_uninit is not set, force
 145         status to initialized.
 146         (add_stores): Store insn, rather than NEXT_INSN(insn), so it can be
 147         used later to get the set_src value.
 148         (find_src_status): New function.
 149         (find_src_set_src): New function.
 150         (compute_bb_dataflow): Pass init status to calls to var_reg_set,
 151         var_mem_set, var_reg_delete_and_set and var_mem_delete_and_set; for
 152         MO_SET, get set_src value and pass it to var_reg_delete_and_set
 153         and var_mem_delete_and_set.
 154         (dump_variable): Print out "[uninit]" if appropriate.
 155         (set_variable_part): Add new initialization and set_src parameters;
 156         pass status to unshare_variable; set node->init and node- >set_src
 157         fields and modify slot in hash table appropriately; save the init and
 158         set_src values if appropriate and assign to the new node.
 159         (clobber_variable_part): New set_src parameter; if two nodes have
 160         same variable and same location but different set_src (assignment)
 161         values, clobber old node.
 162         (delete_variable_part): Pass init status to unshare_variable.
 163         (emit_note_insn_var_location): Add initialized var; assign var's init
 164         status to new 'initialized'; pass new init status field to calls to
 165         gen_rtx_VAR_LOCATION. If flag_var_tracking_uninit is not set, force
 166         status to initialized.
 167         (emit_notes_in_bb): Pass initialization status to calls to
 168         var_reg_set, var_mem_set, var_reg_delete_and_set and
 169         var_mem_delete_and_set; for MO_SET, get set_src value and pass it to
 170         var_reg_delete_and_set and var_mem_delete_and_set; call
 171         emit_notes_for_changes on NEXT_INSN(insn) rather than on insn, to
 172         make up for change in add_stores.
 173         (vt_add_function_parameters): Add status to calls to
 174         set_variable_part.
 175         * config/darwin.c (darwin_override_options): Turn on uninitialized
 176         tracking automatically, if var_tracking is on and the system is
 177         10.5 or higher.
 178
 179 2007-07-13  Sa Liu  <saliu@de.ibm.com>
 180
 181         * config.gcc: Add options for arch and tune on SPU.
 182         * config/spu/predicates.md: Add constant operands 0 and 1.
 183         * config/spu/spu-builtins.def: Add builtins for double precision
 184         floating point comparison: si_dfceq, si_dfcmeq, si_dfcgt, si_dfcmgt,
 185         si_dftsv, spu_cmpeq_13, spu_cmpabseq_1, spu_cmpgt_13, spu_cmpabsgt_1,
 186         spu_testsv.
 187         * config/spu/spu-c.c: Define __SPU_EDP__ when builtins invoked with
 188         a CELLEDP target.
 189         * config/spu/spu-protos.h: Add new function prototypes.
 190         * config/spu/spu.c (spu_override_options): Check options -march and
 191         -mtune.
 192         (spu_comp_icode): Add comparison code for DFmode and vector mode.
 193         (spu_emit_branch_or_set): Use the new code for DFmode and vector
 194         mode comparison.
 195         (spu_const_from_int): New.  Create a vector constant from 4 ints.
 196         (get_vec_cmp_insn): New.  Get insn index of vector compare instruction.
 197         (spu_emit_vector_compare): New.  Emit vector compare.
 198         (spu_emit_vector_cond_expr): New.  Emit vector conditional expression.
 199         * config/spu/spu.h: Add options -march and -mtune.  Define processor
 200         types PROCESSOR_CELL and PROCESSOR_CELLEDP.  Define macro
 201         CANONICALIZE_COMPARISON.
 202         * config/spu/spu.md: Add new insns for double precision compare
 203         and double precision vector compare.  Add vcond and smax/smin patterns
 204         to enable DFmode vector conditional expression.
 205         * config/spu/spu.opt: Add options -march and -mtune.
 206         * config/spu/spu_internals.h: Add builtins for CELLEDP target:
 207         si_dfceq, si_dfcmeq, si_dfcgt, si_dfcmgt, si_dftsv.  Add builtin for
 208         both CELL and CELLEDP targets: spu_testsv.
 209         * config/spu/spu_intrinsics.h: Add flag mnemonics for test special
 210         values.
 211
 212 2007-07-13  Richard Guenther  <rguenther@suse.de>
 213
 214         PR tree-optimization/32721
 215         * tree-ssa-ccp.c (maybe_fold_stmt_indirect): Preserve
 216         TREE_THIS_VOLATILE on the folded reference.
 217         * tree-ssa-operands.c (get_expr_operands): Set has_volatile_ops
 218         if the array reference has TREE_THIS_VOLATILE set.
 219
 220 2007-07-13  H.J. Lu  <hongjiu.lu@intel.com>
 221
 222         PR other/32188
 223         * doc/libgcc.texi: Update DFP intrinsics for DPD and BID.
 224
 225 2007-07-13  Andreas Schwab  <schwab@suse.de>
 226
 227         * gengtype-lex.l: Allow declarations to be indented.
 228
 229 2007-07-12  Geoffrey Keating  <geoffk@apple.com>
 230
 231         * ginclude/tgmath.h: New.
 232         * config.gcc: Use GCC's tgmath.h on non-glibc systems.
 233         * doc/sourcebuild.texi (Headers): Document use_gcc_tgmath.
 234         * configure.ac (STMP_FIXPROTO): Honor use_gcc_tgmath.
 235         * configure: Regenerate.
 236
 237 2007-07-13  Kaz Kojima  <kkojima@gcc.gnu.org>
 238
 239         * config/sh/linux-unwind.h (sh_fallback_frame_state): Use
 240         correct index when setting register save state for xd
 241         registers.
 242
 243 2007-07-13  Kaz Kojima  <kkojima@gcc.gnu.org>
 244
 245         * config/sh/sh.c (mark_use): Remove.
 246
 247 2007-07-12  Paul Brook  <paul@codesourcery.com>
 248
 249         * config/arm/arm.c (thumb1_compute_save_reg_mask): Make sure scratch
 250         reg does not overlap return value.
 251
 252 2007-07-12  Daniel Berlin  <dberlin@dberlin.org>
 253
 254         * tree-ssa-pre.c (get_expression_vuses): Move out side-effect.
 255         (set_expression_vuses): Ditto.
 256         (init_pre): Initialize expression_vuses.
 257
 258 2007-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
 259
 260         * config/i386/sse.md (storentdf, storentsf): New.
 261
 262 2007-07-12  Geoffrey Keating  <geoffk@apple.com>
 263
 264         * builtins.c (get_pointer_alignment): Honor DECL_ALIGN on a
 265         FUNCTION_DECL.
 266         * tree.c (build_decl_stat): Move code from here...
 267         (make_node_stat): ... to here.  Don't uselessly clear DECL_USER_ALIGN.
 268         (expr_align): Honor DECL_ALIGN on a FUNCTION_DECL.  Add comment
 269         about using DECL_ALIGN of LABEL_DECL and CONST_DECL.
 270         * tree.h (DECL_USER_ALIGN): Fix misplaced comment.
 271         * varasm.c (assemble_start_function): Use DECL_ALIGN instead of
 272         FUNCTION_BOUNDARY.
 273
 274 2007-07-12  Dorit Nuzman  <dorit@il.ibm.com>
 275             Devang Patel  <dpatel@apple.com>
 276
 277         PR tree-optimization/25413
 278         * targhooks.c (default_builtin_vector_alignment_reachable): New.
 279         * targhooks.h (default_builtin_vector_alignment_reachable): New.
 280         * tree.h (contains_packed_reference): New.
 281         * expr.c (contains_packed_reference): New.
 282         * tree-vect-analyze.c (vector_alignment_reachable_p): New.
 283         (vect_enhance_data_refs_alignment): Call
 284         vector_alignment_reachable_p.
 285         * target.h (vector_alignment_reachable): New builtin.
 286         * target-def.h (TARGET_VECTOR_ALIGNMENT_REACHABLE): New.
 287         * config/rs6000/rs6000.c (rs6000_vector_alignment_reachable): New.
 288         (TARGET_VECTOR_ALIGNMENT_REACHABLE): Define.
 289
 290 2007-07-12  Dorit Nuzman  <dorit@il.ibm.com>
 291
 292         * target.h (builtin_vectorization_cost): Add new target builtin.
 293         * target-def.h (TARGET_VECTORIZE_BUILTIN_VECTORIZATION_COST): New.
 294         * tree-vectorizer.h (TARG_SCALAR_STMT_COST): New.
 295         (TARG_SCALAR_LOAD_COST, TARG_SCALAR_STORE_COST): New.
 296         * tree-vect-analyze.c (vect_analyze_slp_instance): Initisliaze
 297         uninitialized variables.
 298         * tree-vect-transform.c (cost_for_stmt): New function.
 299         (vect_estimate_min_profitable_iters): Call cost_for_stmt instead of
 300         using cost 1 for all scalar stmts. Be less conservative when
 301         estimating the number of prologue/epulogue iterations. Call
 302         targetm.vectorize.builtin_vectorization_cost. Return
 303         min_profitable_iters-1.
 304         (vect_model_reduction_cost): Use TARG_SCALAR_TO_VEC_COST for
 305         initialization cost instead of TARG_VEC_STMT_COST. Use
 306         TARG_VEC_TO_SCALAR_COST instead of TARG_VEC_STMT_COST for reduction
 307         epilogue code. Fix epilogue cost computation.
 308         * config/spu/spu.c (spu_builtin_vectorization_cost): New.
 309         (TARGET_VECTORIZE_BUILTIN_VECTORIZATION_COST): Implement.
 310         * config/spu/spu.h (TARG_COND_BRANCH_COST, TARG_SCALAR_STMT_COST):
 311         (TARG_SCALAR_LOAD_COST, TARG_SCALAR_STORE_COST, TARG_VEC_STMT_COST):
 312         (TARG_VEC_TO_SCALAR_COST, TARG_SCALAR_TO_VEC, TARG_VEC_LOAD_COST):
 313         (TARG_VEC_UNALIGNED_LOAD_COST, TARG_VEC_STORE_COST): Define.
 314
 315 2007-07-12  Richard Guenther  <rguenther@suse.de>
 316
 317         * gimplify.c (gimplify_conversion): Make sure that the result
 318         from maybe_fold_offset_to_reference is trivially convertible
 319         to the desired type before doing the simplification.
 320         (gimplify_expr): Likewise.
 321         * fold-const.c (fold_binary): Use the correct types for
 322         building the simplified expression.
 323
 324 2007-07-12  Zdenek Dvorak  <dvorakz@suse.cz>
 325
 326         PR rtl-optimization/32729
 327         * cfghooks.c (can_duplicate_block_p): Do not forbid duplicating blocks
 328         that fallthru to exit.
 329
 330 2007-07-12  Kaz Kojima  <kkojima@gcc.gnu.org>
 331
 332         * config/sh/sh.md (symGOTOFF2reg): Add missing parenthesis.
 333         (symDTPOFF2reg): Likewise.
 334
 335 2007-07-11  Daniel Berlin  <dberlin@dberlin.org>
 336
 337         PR tree-optimization/32663
 338
 339         * tree.h (VALUE_HANDLE_VUSES): Remove.
 340         (struct tree_value_handle): Remove vuses.
 341
 342         * tree-vn.c (create_value_handle_for_expr): Don't set
 343         VALUE_HANDLE_VUSES.
 344
 345         * tree-ssa-pre.c (expression_vuses): New.
 346         (alloc_expression_id): Set up expression_vuses.
 347         (get_expression_vuses): New.
 348         (set_expression_vuses): Ditto.
 349         (clear_expression_ids): Modify for expression_vuses.
 350         (phi_translate_1): Ditto.
 351         (phi_translate_set): Ditto.
 352         (value_dies_in_block_x): Ditto
 353         (valid_in_sets): Ditto.
 354         (add_to_sets): Ditto.
 355         (find_existing_value_expr): Ditto.
 356         (create_value_handle_for_expr): Ditto.
 357         (make_values_for_stmt): Ditto.
 358         (vuse_equiv): Remove.
 359
 360 2007-07-11  Alexandre Oliva  <aoliva@redhat.com>
 361
 362         * Makefile.in (mostlyclean): Remove object files.
 363
 364 2007-07-11  Kenneth Zadeck <zadeck@naturalbridge.com>
 365
 366         * toplev.c (no_new_pseudos): Deleted.
 367         * rtl.h (no_new_pseudos): Deleted.
 368         * tree-pass.h (pass_no_new_pseudos): Deleted.
 369         * passes.c (pass_no_new_pseudos): Deleted.
 370         * final.c (rest_of_clean_state): Removed no_new_pseudos.
 371         (rest_of_no_new_pseudos, pass_no_new_pseudos): Deleted.
 372         * struct-equiv.c (rtx_equiv_p): Replaced no_new_pseudos with
 373         reload_completed.
 374         * cfgcleanup.c (try_crossjump_to_edge): Ditto.
 375         * rtlhooks.c (gen_lowpart_general): Ditto.
 376         * optabs.c (prepare_operand): Ditto.
 377         * mode-switching.c (rest_of_handle_mode_switching): Deleted set of
 378         no_new_pseudos.
 379         * modulo-sched.c (rest_of_handle_sms): Ditto.
 380         * see.c (rest_of_handle_see): Ditto.
 381         * ifcvt.c (if_convert): Ditto.
 382         (gate_handle_if_after_combine): Replaced no_new_pseudos with
 383         reload_completed.
 384         * init-regs.c (gate_initialize_regs): Deleted set of
 385         no_new_pseudos.
 386         * lower-subreg.c (decompose_multiword_subregs): Ditto.
 387         * bb-reorder.c (rest_of_handle_partition_blocks): Ditto.
 388         * doc/md.texi: Changed no_new_pseudos to can_create_pseudo_p.
 389
 390 2007-07-11  Uros Bizjak  <ubizjak@gmail.com>
 391
 392         PR target/32661
 393         * config/i386/sse.md (*sse2_storeq_rex64): Handle 64bit mem->reg moves.
 394         (*vec_extractv2di_1_sse2): Disable for TARGET_64BIT.
 395         (*vec_extractv2di_1_rex64): New insn pattern.
 396
 397 2007-07-11  David Daney  <ddaney@avtrex.com>
 398
 399         * config/mips/linux-unwind.h (mips_fallback_frame_state): Rewrite
 400         return address calculation.  Substitute DWARF_ALT_FRAME_RETURN_COLUMN
 401         for SIGNAL_UNWIND_RETURN_COLUMN.
 402         * config/mips/mips.h (SIGNAL_UNWIND_RETURN_COLUMN): Remove.
 403         (DWARF_FRAME_REGNUM): Rewrite.
 404         (DWARF_ALT_FRAME_RETURN_COLUMN) Define.
 405
 406 2007-07-11  Nick Clifton  <nickc@redhat.com>
 407
 408         * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Revert previous
 409         delta and use gen_int_mode in place of GET_INT instead.
 410
 411 2007-07-11  Uros Bizjak  <ubizjak@gmail.com>
 412
 413         * reg-stack.c (struct tree_opt_pass pass_stack_regs): Nullify name
 414         and letter field.
 415
 416 2007-07-11  Douglas Gregor  <doug.gregor@gmail.com>
 417
 418         * params.def (PARAM_VERIFY_CANONICAL_TYPES): Remove.
 419         (PARAM_USE_CANONICAL_TYPES): New; decides whether to use canonical
 420         types or not.
 421         * params.h (VERIFY_CANONICAL_TYPES): Remove.
 422         (USE_CANONICAL_TYPES): New.
 423         * doc/invoke.texi (verify-canonical-types): Remove.
 424         (use-canonical-types): Add.
 425
 426 2007-07-11  Ulrich Weigand  <uweigand@de.ibm.com>
 427
 428         * config/spu/spu.c (spu_optimization_options): Remove setting of
 429         parameter PARAM_MAX_COMPLETELY_PEEL_TIMES.
 430         (spu_override_options): Move it here.
 431
 432 2007-07-11  Richard Sandiford  <richard@codesourcery.com>
 433
 434         * config/mips/mips.h (MIPS_ISA_LEVEL_SPEC): Handle -m4ksc and -m4ksd.
 435         * config/mips/mips.c (mips_cpu_info_table): Mention
 436         MIPS_ISA_LEVEL_SPEC in the comment.
 437
 438 2007-07-11  Eric Botcazou  <ebotcazou@adacore.com>
 439
 440         PR tree-optimization/32713
 441         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle REAL_CST.
 442
 443 2007-07-11  Paolo Carlini  <pcarlini@suse.de>
 444
 445         PR middle-end/30482
 446         * c-opts.c (c_common_post_options): Do not change flag_complex_method
 447         conditional to flag_isoc99.
 448         (c_common_init_options): Do it here, unconditionally.
 449
 450 2007-07-11  Eric Botcazou  <ebotcazou@adacore.com>
 451
 452         PR tree-optimization/32589
 453         * doc/tree-ssa.texi (Rough GIMPLE Grammar): Add missing rule.
 454         * tree-gimple.c (is_gimple_min_invariant): Clarify head comment.
 455         * tree-ssa-propagate.c (valid_gimple_expression_p): New
 456         predicate, extracted from...
 457         (set_rhs): ...here.  Call it for the expression on entry.
 458         * tree-ssa-propagate.h (valid_gimple_expression_p): Declare.
 459         * tree-ssa-sccvn.c: Include tree-ssa-propagate.h.
 460         (simplify_binary_expression): Use valid_gimple_expression_p
 461         to validate the simplification.
 462         * Makefile.in (tree-ssa-sccvn.o): Depends on tree-ssa-propagate.h.
 463
 464 2007-07-11  Danny Smith  <dannysmith@users.sourceforge.net>
 465
 466         * config/i386/cygming.h (PREFERRED_DEBUGGING_TYPE): Define to
 467         DWARF2_DEBUG on 32 bit target too.
 468         (DWARF2_UNWIND_INFO): Reorganize 64-bit vs 32-bit definition.
 469
 470 2007-07-11  Nick Clifton  <nickc@redhat.com>
 471
 472         * config/m32r/m32r.h (INITIALIZE_TRAMPOLINE): Provide alternative
 473         version for 64-bit hosts.
 474
 475 2007-07-10  David Daney  <ddaney@avtrex.com>
 476
 477         * config/mips/mips.h (ISA_HAS_SYNCI): New target capability
 478         predicate.
 479         (INITIALIZE_TRAMPOLINE): Emit clear_cache insn instead of  library
 480         call.
 481         * config/mips/mips.c (mips_expand_synci_loop): New function.
 482         * config/mips/mips.md (UNSPEC_CLEAR_HAZARD): New constant.
 483         (UNSPEC_RDHWR): Same.
 484         (UNSPEC_SYNCI): Same.
 485         (UNSPEC_SYNC): Same.
 486         (clear_cache): New expand.
 487         (sync): New insn.
 488         (synci): Same.
 489         (rdhwr): Same.
 490         (clear_hazard): Same.
 491         * config/mips/mips-protos.h (mips_expand_synci_loop): Declare
 492         function.
 493         * testsuite/gcc.target/mips/clear-cache-1.c: New test.
 494         * testsuite/gcc.target/mips/clear-cache-2.c: New test.
 495
 496 2007-07-10  Ian Lance Taylor  <iant@google.com>
 497
 498         * emit-rtl.c (gen_reg_rtx): Check can_create_pseudo_p rather than
 499         no_new_pseudos.
 500
 501 2007-07-10  David Daney  <ddaney@avtrex.com>
 502
 503         * builtins.def (BUILT_IN_CLEAR_CACHE): New builtin.
 504         * builtins.c (expand_builtin___clear_cache): New function.
 505         (expand_builtin): Call expand_builtin___clear_cache for
 506         BUILT_IN_CLEAR_CACHE case.
 507         * doc/extend.texi (__builtin___clear_cache): Document new builtin.
 508         * doc/md.texi (clear_cache): Document new instruction pattern.
 509         * testsuite/gcc.dg/builtins-64.c: New test.
 510
 511 2007-07-11  Hans-Peter Nilsson  <hp@axis.com>
 512
 513         * config/cris/cris.md ("movsi"): Fix typo in last change.
 514
 515 2007-07-09  Geoffrey Keating  <geoffk@apple.com>
 516
 517         PR 32617
 518         * c-common.c (c_alignof_expr): Look at DECL_ALIGN of
 519         FUNCTION_DECLs.
 520         (handle_aligned_attribute): Allow use on FUNCTION_DECLs.
 521         * varasm.c (assemble_start_function): Honor DECL_ALIGN
 522         for FUNCTION_DECLs.  Don't use align_functions_log if
 523         DECL_USER_ALIGN.
 524         * print-tree.c (print_node): Print DECL_ALIGN and DECL_USER_ALIGN
 525         even for FUNCTION_DECLs.
 526         * c-decl.c (merge_decls): Propagate DECL_ALIGN even for
 527         FUNCTION_DECLs.
 528         * tree.h (DECL_ALIGN): Update for new location of 'align'.
 529         (DECL_FUNCTION_CODE): Update for new location and name of
 530         'function_code'.
 531         (DECL_OFFSET_ALIGN): Update for new location of 'off_align'.
 532         (struct tree_decl_common): Move 'align' and 'off_align' out
 533         of union, ensure they're still on a 32-bit boundary.  Remove
 534         other fields in union 'u1'.
 535         (struct tree_function_decl): Add field 'function_code' replacing
 536         'u1.f' in tree_decl_common.
 537         * tree.c (build_decl_stat): Set initial value of DECL_ALIGN.
 538         * doc/extend.texi (Function Attributes): Add 'aligned' attribute.
 539         (Variable Attributes): Cross-reference 'aligned' attribute
 540         to Function Attributes.
 541         * flags.h (force_align_functions_log): Delete.
 542         * toplev.c (force_align_functions_log): Delete.
 543
 544 2007-07-10  Uros Bizjak  <ubizjak@gmail.com>
 545
 546         PR target/32708
 547         * config/i386/sse.md (vec_concatv2di): Disable for TARGET_64BIT.
 548         (*vec_concatv2di_rex): New insn pattern.
 549
 550 2007-07-10  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
 551
 552         PR target/32538
 553         * config/mips/iris6.h (LIBGCC_SPEC): Add libm.
 554
 555 2007-07-10  Ian Lance Taylor  <iant@google.com>
 556
 557         Replace no_new_pseudos in backends.
 558         * rtl.h (can_create_pseudo_p): Define.
 559         * config/darwin.c (machopic_indirect_data_reference): Use
 560         can_create_pseudo_p () instead of no_new_pseudos.
 561         (machopic_indirect_data_reference): Likewise.
 562         (machopic_legitimize_pic_address): Likewise.
 563         * config/alpha/alpha.c (alpha_legitimize_address): Likewise.
 564         (alpha_emit_set_const_1): Likewise.
 565         (alpha_emit_set_const): Likewise.
 566         (alpha_emit_conditional_move): Likewise.
 567         (alpha_split_conditional_move): Likewise.
 568         * config/alpha/alpha.md (various splitters): Likewise.
 569         (movti): Likewise.
 570         * config/arm/arm.c (legitimize_pic_address): Likewise.
 571         (arm_load_pic_register): Likewise.
 572         * config/arm/arm.md (addsi3, subsi3, andsi3, iorsi3): Likewise.
 573         (movdi, movsi, movhi, movqi, movsf, movdf): Likewise.
 574         * config/bfin/bfin.c (legitimize_pic_address): Likewise.
 575         * config/cris/cris.c (cris_expand_pic_call_address): Likewise.
 576         * config/cris/cris.md (movsi): Likewise.
 577         * config/frv/frv.md (symGOT2reg_hilo): Likewise.
 578         (symGOTOFF2reg_hilo): Likewise.
 579         (symGPREL2reg, symGPREL2reg_hilo): Likewise.
 580         * config/h8300/h8300.md (insv, extzv): Likewise.
 581         * config/i386/i386.c (ix86_expand_move): Likewise.
 582         (ix86_expand_vector_move): Likewise.
 583         (ix86_prepare_fp_compare_args): Likewise.
 584         (ix86_expand_carry_flag_compare): Likewise.
 585         * config/i386/i386.md (tls_dynamic_gnu2_32): Likewise.
 586         (tls_dynamic_gnu2_combine_32): Likewise.
 587         (tls_dynamic_gnu2_64, tls_dynamic_gnu2_combine_64): Likewise.
 588         * config/ia64/ia64.c (ia64_expand_move): Likewise.
 589         (ia64_expand_movxf_movrf): Likewise.
 590         * config/m32c/m32c.c (m32c_prepare_move): Likewise.
 591         (m32c_split_move): Likewise.
 592         (m32c_expand_insv): Likewise.
 593         * config/m68k/m68k.md (movsi): Likewise.
 594         * config/mips/mips.c (mips_force_temporary): Likewise.
 595         (mips_split_symbol): Likewise.
 596         (mips_move_integer): Likewise.
 597         (mips_legitimize_const_move): Likewise.
 598         * config/mn10300/mn10300.md (movsi): Likewise.
 599         * config/pa/pa.c (emit_move_sequence): Likewise.
 600         * config/rs6000/rs6000.c (rs6000_emit_move): Likewise.
 601         (rs6000_got_register): Likewise.
 602         (create_TOC_reference): Likewise.
 603         (rs6000_machopic_legitimize_pic_address): Likewise.
 604         * config/rs6000/rs6000.md (add<mode>3): Likewise.
 605         (various splitters): Likewise.
 606         (iorsi3, xorsi3, iordi3, xordi3): Likewise.
 607         (movsi_got): Likewise.
 608         * config/s390/s390.c (emit_symbolic_move): Likewise.
 609         * config/s390/s390.md (movhi, movqi): Likewise.
 610         (load_multiple, store_multiple): Likewise.
 611         * config/score/score.c (score_force_temporary): Likewise.
 612         * config/sh/sh.c (prepare_move_operands): Likewise.
 613         (prepare_cbranch_operands): Likewise.
 614         (emit_fpu_switch): Likewise.
 615         (fpscr_set_from_mem): Likewise.
 616         * config/sh/sh.md (movdicc, movsicc, movsicc_umin): Likewise.
 617         (adddi3, subsi3): Likewise.
 618         (various splitters): Likewise.
 619         (divsi_inv_fp_combine): Likewise.
 620         (symGOT_load, symGOTOFF2reg, symDTPOFF2reg): Likewise.
 621         (seq, slt, sle, sgt, sge, sgtu, sltu, sleu, sgeu): Likewise.
 622         (sne): Likewise.
 623         * config/sh/predicates.md (xor_operand): Likewise.
 624         * config/sparc/sparc.c (legitimize_tls_address): Likewise.
 625         * config/sparc/sparc.md (movsi_pic_label_ref): Likewise.
 626         (movdi_pic_label_ref): Likewise.
 627         * config/spu/spu.c (spu_split_immediate): Likewise.
 628         * config/alpha/alpha.md (various splitters): Remove test
 629         !no_new_pseudos || reload_completed.
 630         * config/ia64/ia64.c (ia64_output_mi_thunk): Don't set
 631         no_new_pseudos.
 632         * config/m68k/m68k.c (m68k_output_mi_thunk): Likewise.
 633         * config/mips/mips.c (mips_output_mi_thunk): Likewise.
 634         * config/rs6000/rs6000.c (rs6000_output_mi_thunk): Likewise.
 635         * config/score/score.c (th_output_mi_thunk): Likewise.
 636         * config/sh/sh.c (sh_output_mi_thunk): Likewise.
 637         * config/sparc/sparc.c (sparc_output_mi_thunk): Likewise.
 638
 639 2007-07-10  Kaz Kojima  <kkojima@gcc.gnu.org>
 640
 641         PR rtl-optimization/32664
 642         * mode-switching.c (create_pre_exit): Skip barrier insns.
 643
 644 2007-07-10  Zdenek Dvorak  <dvorakz@suse.cz>
 645
 646         * tree-scalar-evolution.c (scev_const_prop): Add arguments to
 647         force_gimple_operand_bsi.
 648         * tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr,
 649         rewrite_use_compare): Ditto.
 650         * tree-ssa-address.c (gimplify_mem_ref_parts, create_mem_ref):
 651         Ditto.
 652         * tree-ssa-ifcombine.c (ifcombine_ifandif): Ditto.
 653         * tree-ssa-loop-prefetch.c (issue_prefetch_ref): Ditto.
 654         * lambda-code.c (replace_uses_equiv_to_x_with_y): Ditto.
 655         * tree-profile.c (prepare_instrumented_value,
 656         tree_gen_interval_profiler, tree_gen_pow2_profiler,
 657         tree_gen_one_value_profiler, tree_gen_ic_profiler,
 658         tree_gen_ic_func_profiler, tree_gen_average_profiler,
 659         tree_gen_ior_profiler): Ditto.
 660         * tree-ssa-reassoc.c (negate_value): Ditto.
 661         * matrix-reorg.c (transform_access_sites, transform_allocation_sites):
 662         Use force_gimple_operand_bsi.
 663         * tree-vect-transform.c (vect_update_ivs_after_vectorizer): Ditto.
 664         * tree-if-conv.c (add_to_dst_predicate_list,
 665         find_phi_replacement_condition): Ditto.
 666         * gimplify.c (force_gimple_operand_bsi): Add before and m arguments.
 667         Call mark_symbols_for_renaming for new statements.
 668         * tree-flow.h (force_gimple_operand_bsi): Declaration changed.
 669
 670 2007-07-10  Zdenek Dvorak  <dvorakz@suse.cz>
 671
 672         * cfghooks.c (remove_edge): New function.
 673         (redirect_edge_and_branch, remove_branch, merge_blocks): Updated
 674         loop exit rescans.
 675         * cfghooks.h (remove_edge): Declare.
 676         * cfg.c (remove_edge): Renamed to remove_edge_raw.
 677         * basic-block.h (remove_edge): Declaration changed to remove_edge_raw.
 678
 679 2007-07-09  Wolfgang Gellerich  <gellerich@de.ibm.com>
 680
 681         * optabs.h: Added declaration for signbit_optab.
 682         * optabs.c: (init_optabs): Added initialization for signbit_optab.
 683         * genoptinit.c (optabs): Added entry for signbit insns.
 684         * builtins.c (expand_builtin_signbit): Added code to use a signbit
 685         insn, if available.
 686         * config/s390/s390.h (S390_TDC_SIGNBIT_SET): New constant.
 687         * config/s390/s390.md (signbit<mode>2): New expander.
 688
 689 2007-07-09  Richard Guenther  <rguenther@suse.de>
 690
 691         PR middle-end/32698
 692         * fold-const.c (fold_plusminus_mult_expr): Move constant
 693         arguments second to allow decomposing.
 694
 695 2007-07-09  Alexandre Oliva  <aoliva@oliva.athome.lsd.ic.unicamp.br>
 696
 697         Revert:
 698         2007-07-06  Alexandre Oliva  <aoliva@redhat.com>
 699         PR debug/23551
 700         * tree-ssa-copyrename.c (copy_rename_partition_coalesce):
 701         Disregard DECL_FROM_INLINE.
 702
 703 2007-07-09  Uros Bizjak  <ubizjak@gmail.com>
 704
 705         PR target/27855
 706         * doc/invoke.texi: Add ftree-reassoc flag.
 707         * common.opt (ftree-reassoc): New flag.
 708         * tree-ssa-reassoc.c (gate_tree_ssa_reassoc): New static function.
 709         (struct tree_opt_pass pass_reassoc): Use gate_tree_ssa_reassoc.
 710
 711 2007-07-09  Uros Bizjak  <ubizjak@gmail.com>
 712
 713         PR tree-optimization/32681
 714         * tree-if-conv.c (find_phi_replacement_condition): Use the condition
 715         saved in second_edge->aux when first_bb is a loop header.
 716
 717 2007-07-09  Jan HUbicka  <jh@suse.cz>
 718
 719         * cse.c (cse_insn): Avoid invalid sharing on trial replacement.
 720
 721 2007-07-09  Richard Guenther  <rguenther@suse.de>
 722
 723         * c-decl.c (start_function): Do not promote return type.
 724
 725 2007-07-08  Daniel Franke  <franke.daniel@gmail.com>
 726
 727         * function.c (do_warn_unused_parameter): Do not warn if
 728         TREE_NO_WARNING is set.
 729
 730 2007-07-08  Andreas Schwab  <schwab@suse.de>
 731
 732         * doc/invoke.texi (DEC Alpha/VMS Options): Fix typo.
 733
 734 2007-07-08  Sandra Loosemore  <sandra@codesourcery.com>
 735
 736         Revert this patch:
 737         2007-07-06  Sandra Loosemore  <sandra@codesourcery.com>
 738
 739         * c-opts.c (c_common_handle_option): Make DOLLARS_IN_IDENTIFIERS
 740         apply to assembly language, too.
 741         * doc/tm.texi (DOLLARS_IN_IDENTIFIERS): Update.
 742
 743 2007-07-07  Daniel Berlin  <dberlin@dberlin.org>
 744
 745         Revert (note the sccvn portions are *not* reverted)
 746         2007-07-06  Daniel Berlin  <dberlin@dberlin.org>
 747
 748         Fix PR tree-optimization/23488
 749
 750         * tree-vn.c (set_value_handle): Use decl_vh_map for decl value
 751         handles.
 752         * tree-flow-inline.h (get_value_handle): Ditto.
 753         * tree-ssa-pre.c (decl_vh_map): New.
 754         (decl_node_pool): New.
 755         (can_value_number_operation): Support DECL_P.
 756         (can_PRE_operation): Ditto.
 757         (create_expression_by_pieces): Ditto.
 758         (find_existing_value_expr): Modify to differnetiate between
 759         addressing and top level.
 760         (create_value_handle_for_expr): Handle DECL's.
 761         (poolify_tree): Ditto.
 762         (make_values_for_phi): Don't insert into PHI_GEN during FRE.
 763         (make_values_for_stmt): Handle DECL's properly.
 764         (init_pre): Reorg to not init useless things during FRE.
 765         (fini_pre): Ditto.
 766         * tree-flow.h: Include pointer-set.h.
 767         (decl_vh_map): Declare.
 768         * Makefile.in (TREE_FLOW_H): Add pointer-set.h
 769
 770 2007-07-07 Eric Weddington  <eweddington@cso.atmel.com>
 771
 772         * config/avr/constraints.md (define_memory_constraint "Q"): Fix
 773         the constraint description.
 774         * doc/md.texi: Update documentation of AVR constraints.
 775
 776 2007-07-07  Kazu Hirata  <kazu@codesourcery.com>
 777
 778         * auto-inc-dec.c, config/arm/arm.c,
 779         config/m32r/constraints.md, config/mips/mips.md,
 780         config/rs6000/rs6000.c, cselib.c, dce.c, df-core.c,
 781         df-problems.c, df-scan.c, df.h, dse.c, gimplify.c,
 782         tree-if-conv.c, tree-ssa-sccvn.c, tree-ssa.c: Fix comment
 783         typos.  Follow spelling conventions.
 784         * doc/invoke.texi, doc/rtl.texi: Fix typos.
 785
 786         * cfgrtl.c (delete_insn_chain_and_edges): Remove.
 787         * rtl.h: Remove the prototype for delete_insn_chain_and_edges.
 788
 789         * tree-ssa-operands.c (realloc_vop, realloc_vdef,
 790         realloc_vuse): Remove.
 791         * tree-ssa-operands.h: Remove the prototype for realloc_vdef
 792         and realloc_vuse.
 793
 794 2007-07-06  Daniel Berlin  <dberlin@dberlin.org>
 795
 796         Fix PR tree-optimization/23488
 797
 798         * tree-ssa-sccvn.c (expr_has_constants): Handle tcc_declaration.
 799         (try_to_simplify): Ditto.
 800         (visit_use): Ditto.
 801         * tree-vn.c (set_value_handle): Use decl_vh_map for decl value
 802         handles.
 803         * tree-flow-inline.h (get_value_handle): Ditto.
 804         * tree-ssa-pre.c (decl_vh_map): New.
 805         (decl_node_pool): New.
 806         (can_value_number_operation): Support DECL_P.
 807         (can_PRE_operation): Ditto.
 808         (create_expression_by_pieces): Ditto.
 809         (find_existing_value_expr): Modify to differnetiate between
 810         addressing and top level.
 811         (create_value_handle_for_expr): Handle DECL's.
 812         (poolify_tree): Ditto.
 813         (make_values_for_phi): Don't insert into PHI_GEN during FRE.
 814         (make_values_for_stmt): Handle DECL's properly.
 815         (init_pre): Reorg to not init useless things during FRE.
 816         (fini_pre): Ditto.
 817         * tree-flow.h: Include pointer-set.h.
 818         (decl_vh_map): Declare.
 819         * Makefile.in (TREE_FLOW_H): Add pointer-set.h
 820
 821 2007-07-06  Sandra Loosemore  <sandra@codesourcery.com>
 822
 823         * c-opts.c (c_common_handle_option): Make DOLLARS_IN_IDENTIFIERS
 824         apply to assembly language, too.
 825         * doc/tm.texi (DOLLARS_IN_IDENTIFIERS): Update.
 826
 827 2007-07-06  Ian Lance Taylor  <iant@google.com>
 828             Zack Weinberg  <zackw@panix.com>
 829
 830         PR middle-end/32441
 831         * builtins.c (std_expand_builtin_va_start): Don't use make_tree.
 832
 833 2007-07-06  Richard Sandiford  <richard@codesourcery.com>
 834
 835         * config/sh/sh.md (*prefetch_i4): Disable for TARGET_VXWORKS_RTP.
 836         (prefetch): Likewise if "pref" would be used.
 837
 838 2007-07-06  Josh Conner  <jconner@apple.com>
 839
 840         PR middle-end/32602
 841         PR middle-end/32603
 842         * calls.c (store_one_arg): Handle arguments which are partially
 843         on the stack when detecting argument overlap.
 844
 845 2007-07-06  Bernd Schmidt  <bernd.schmidt@analog.com>
 846
 847         * reload1.c (choose_reload_regs): Set reload_spill_index for regs
 848         chosen during find_reloads.
 849
 850 2007-07-06  Richard Guenther  <rguenther@suse.de>
 851
 852         * gimplify.c (gimplify_call_expr): Prefer DECL_ARGUMENTS over
 853         TYPE_ARG_TYPES for verification of argument types.  Use
 854         DECL_ARG_TYPE instead of the PARM_DECL type.  Take excess
 855         parameters as variable arguments.
 856
 857 2007-07-06  Andreas Krebbel  <krebbel1@de.ibm.com>
 858
 859         * libgcc2.h (word_type): Type definition removed.
 860         (cmp_return_type, shift_count_type): Type definitions added.
 861         (__lshrdi3, __ashldi3, __ashrdi3): word_type of second parameter
 862         replaced with shift_count_type.
 863         (__cmpdi2, __ucmpdi2): word_type of return type replaced with
 864         cmp_return_type.
 865         * libgcc2.c (__udivmoddi4, __moddi3): Type of local variable c
 866         changed from word_type to Wtype.
 867         (__lshrdi3, __ashldi3, __ashrdi3): word_type of second parameter
 868         replaced with shift_count_type.
 869         (__cmpdi2, __ucmpdi2): word_type of return type replaced with
 870         cmp_return_type.
 871         * c-common.c (handle_mode_attribute): Handling for libgcc_cmp_return
 872         and libgcc_shift_count attribute added.
 873         * target-def.h (TARGET_LIBGCC_CMP_RETURN_MODE,
 874         TARGET_LIBGCC_SHIFT_COUNT_MODE): New target hooks defined.
 875         (TARGET_INITIALIZER): New target hooks added.
 876         * targhooks.c (default_libgcc_cmp_return_mode,
 877         default_libgcc_shift_count_mode): Default implementations for the new
 878         target hooks added.
 879         * targhooks.h (default_libgcc_cmp_return_mode,
 880         default_libgcc_shift_count_mode): Function prototypes added.
 881         * target.h (struct gcc_target): Fields for the new target hooks added.
 882         * optabs.c (expand_binop): Use shift_count_mode when expanding shift
 883         as library call.
 884         (prepare_cmp_insn): Use cmp_return_mode when expanding comparison as
 885         library call.
 886
 887         * doc/tm.texi (TARGET_LIBGCC_CMP_RETURN_MODE,
 888         TARGET_LIBGCC_SHIFT_COUNT_MODE): Documentation added.
 889
 890         * config/s390/s390.c (s390_libgcc_cmp_return_mode,
 891         s390_libgcc_shift_count_mode): Functions added.
 892         (TARGET_LIBGCC_CMP_RETURN_MODE, TARGET_LIBGCC_SHIFT_COUNT_MODE):
 893         Target hooks defined.
 894
 895 2007-07-06  Richard Sandiford  <richard@codesourcery.com>
 896
 897         * config/mips/mips.c (compute_frame_size): Restore the original
 898         gp_sp_offset for !GENERATE_MIPS16E_SAVE_RESTORE and remove the
 899         fp_size term from the GENERATE_MIPS16E_SAVE_RESTORE calculation.
 900         Document why the difference is needed.
 901
 902 2007-07-06  Richard Guenther  <rguenther@suse.de>
 903
 904         * c-common.c (boolean_increment): Use correctly typed
 905         constant.
 906
 907 2007-07-06  Richard Sandiford  <richard@codesourcery.com>
 908
 909         * config/mips/mips.c (mips16e_save_restore_pattern_p): Check that
 910         the topmost argument register is not also included in the save mask.
 911         (mips16e_collect_argument_save_p): Take a pointer to the argument
 912         register, rather than a pointer to the number of arguments.
 913         (mips16e_collect_argument_saves): Only include argument saves
 914         that aren't in the register mask.
 915
 916 2007-07-06  Uros Bizjak  <ubizjak@gmail.com>
 917
 918         PR rtl-optimization/32450
 919         * function.c (thread_prologue_and_epilogue_insns): Emit blockage insn
 920         to ensure that instructions are not moved into the prologue when
 921         profiling is on.  Remove unused prologue_end variable.
 922         (expand_function_end): Emit blockage insn instead of ASM_INPUT rtx
 923         as a scheduling barrier.
 924
 925 2007-07-06  Alexandre Oliva  <aoliva@redhat.com>
 926
 927         PR debug/23551
 928         * tree-ssa-copyrename.c (copy_rename_partition_coalesce):
 929         Disregard DECL_FROM_INLINE.
 930
 931 2007-07-05  Adam Nemet  <anemet@caviumnetworks.com>
 932
 933         * rtlanal.c (num_sign_bit_copies1): Improve cases of ANDing or
 934         IORing with a constant.
 935
 936 2007-07-05  Seongbae Park  <seongbae.park@gmail.com>
 937
 938         PR rtl-optimization/32475
 939         * df-scan.c (df_def_record_1): Add a use of the stack pointer
 940         for every definition of the stack pointer.
 941
 942 2007-07-05  Richard Earnshaw  <rearnsha@arm.com>
 943
 944         * arm.c (vfp3_const_double_index): Copy signed results of
 945         REAL_VALUE_TO_INT into unsigned vars.
 946
 947 2007-07-05  Richard Guenther  <rguenther@suse.de>
 948
 949         PR middle-end/32639
 950         * alias.c (get_alias_set): Tread METHOD_TYPE the same as
 951         FUNCTION_TYPE.
 952         * tree-ssa.c (useless_type_conversion_p): Check canonical
 953         types early.
 954
 955 2007-07-05 Anatoly Sokolov <aesok@post.ru>
 956
 957         * config/avr/avr.md (zero_extendqihi2, zero_extendqisi2,
 958         zero_extendhisi2): Change to define_insn_and_split.
 959         (zero_extendqidi2, zero_extendhidi2, zero_extendsidi2): New.
 960
 961 2007-07-05  Paolo Bonzini  <bonzini@gnu.org>
 962
 963         * function.c (match_asm_constraints_1, rest_of_match_asm_constraints,
 964         pass_match_asm_constraints): New.
 965         * passes.c (init_optimization_passes): Add new pass.
 966         * stmt.c (expand_asm_operands): Set cfun->has_asm_statement.
 967         * function.h (struct function): Add has_asm_statement bit.
 968         (current_function_has_asm_statement): New.
 969         * tree-pass.h (pass_match_asm_constraints): New.
 970
 971 2007-07-05  Richard Sandiford  <rsandifo@nildram.co.uk>
 972
 973         * config/mips/mips.c (mips_file_start): Avoid declaration
 974         after code.
 975
 976 2007-07-05  Sandra Loosemore  <sandra@codesourcery.com>
 977
 978         * optabs.c (expand_binop_directly): Fix signed/unsigned comparison.
 979
 980 2007-07-05  Uros Bizjak  <ubizjak@gmail.com>
 981
 982         * rtl.def (NOTE): Change print format string to print
 983         operand 5 as a note insn name.
 984
 985 2007-07-05  Sandra Loosemore  <sandra@codesourcery.com>
 986             David Ung  <davidu@mips.com>
 987
 988         * config/mips/mips.c (mips_cpu_info): Add 4ksc and 4ksd processors.
 989         * doc/invoke.texi: (MIPS Options): Document them.
 990
 991 2007-07-05  Sandra Loosemore  <sandra@codesourcery.com>
 992             David Ung  <davidu@mips.com>
 993
 994         Add support for SmartMIPS ASE.
 995
 996         * optabs.c (expand_binop_directly): New, broken out from...
 997         (expand_binop): Here.  Make it try rotating in the other
 998         direction even when the second operand isn't constant.
 999         * config/mips/mips.md (*lwxs): New.
1000         * config/mips/mips.opt (msmartmips): New.
1001         * config/mips/mips.c (mips_lwxs_address_p): New.
1002         (mips_rtx_costs): Make it recognize scaled indexed addressing.
1003         * config/mips/mips.h (TARGET_CPU_CPP_BUILTINS): Define
1004         __mips_smartmips when compiling for TARGET_SMARTMIPS.
1005         (ISA_HAS_ROR): Define for TARGET_SMARTMIPS.
1006         (ISA_HAS_LWXS): New.
1007         (ASM_SPEC): Add -msmartmips/-mno-smartmips.
1008         * doc/invoke.texi (MIPS Options): Document -msmartmips/-mno-smartmips.
1009         * testsuite/gcc.target/mips/smartmips-lwxs.c: New test case.
1010         * testsuite/gcc.target/mips/smartmips-ror-1.c: New test case.
1011         * testsuite/gcc.target/mips/smartmips-ror-2.c: New test case.
1012         * testsuite/gcc.target/mips/smartmips-ror-3.c: New test case.
1013         * testsuite/gcc.target/mips/smartmips-ror-4.c: New test case.
1014
1015 2007-07-05  Dorit Nuzman  <dorit@il.ibm.com>
1016
1017         * tree-vectorizer.c (new_loop_vec_info): Initialize
1018         LOOP_VINFO_COST_MODEL_MIN_ITERS.
1019         * tree-vectorizer.h (_loop_vec_info): Added new filed
1020         min_profitable_iters.
1021         (LOOP_VINFO_COST_MODEL_MIN_ITERS): New access macro to above new field.
1022         (TARG_SCALAR_TO_VEC_COST): Define cost of scalar to vector operation.
1023         * tree-vect-analyze.c (vect_analyze_operations): Set
1024         LOOP_VINFO_COST_MODEL_MIN_ITERS.
1025         * tree-vect-transform.c (vect_estimate_min_profitable_iters): Use
1026         VEC_length to determine if there are any LOOP_VINFO_MAY_MISALIGN_STMTS.
1027         Fix calculation of peel_iters_prologue. Move consideration of epilogue
1028         and prologue cost to after they are computed.
1029         (vect_model_induction_cost): Use TARG_SCALAR_TO_VEC_COST instead of
1030         TARG_VEC_STMT_COST.
1031         (vect_model_simple_cost): Takes additional argument dt. Consider cost
1032         of creating vectors from scalars according to dt.
1033         (vect_model_store_cost): Likewise.
1034         (vectorizable_call): Use dt array instead of scalar dt. Call
1035         vect_model_simple_cost with additional argument dt.
1036         (vectorizable_assignment): Likewise.
1037         (vectorizable_operation): Likewise.
1038         (vectorizable_type_demotion): Likewise.
1039         (vectorizable_type_promotion): Likewise.
1040         (vectorizable_store): Use dt array instead of scalar dt. Call
1041         vect_model_store_cost with additional argument dt.
1042         (vect_do_peeling_for_loop_bound): Don't call
1043         vect_estimate_min_profitable_iters. Instead, lookup
1044         LOOP_VINFO_COST_MODEL_MIN_ITERS. Don't always print
1045         "may not be profitable".
1046
1047 2007-07-05  Dorit Nuzman  <dorit@il.ibm.com>
1048
1049         PR testsuite/32014
1050         * config/rs6000/altivec.md (UNSPEC_VUPKHS_V4SF, UNSPEC_VUPKLS_V4SF):
1051         (UNSPEC_VUPKHU_V4SF, UNSPEC_VUPKLU_V4SF): New.
1052         (vec_unpacks_float_hi_v8hi, vec_unpacks_float_lo_v8hi): New patterns.
1053         (vec_unpacku_float_hi_v8hi, vec_unpacku_float_lo_v8hi): New patterns.
1054
1055 2007-07-05  Zdenek Dvorak  <dvorakz@suse.cz>
1056
1057         * config/i386/i386.c (ix86_address_cost): Do not consider more complex
1058         addressing modes cheaper.
1059
1060 2007-07-05  Alexandre Oliva  <aoliva@redhat.com>
1061
1062         * dwarf2out.c (dw_ranges_by_label_ref): New typedef.
1063         (dw_ranges_struct): Rename block_num to num.  Adjust.
1064         (dw_ranges_by_label_struct): New.
1065         (ranges_by_label, ranges_by_label_allocated,
1066         ranges_by_label_in_use): New variables.
1067         (add_ranges_num): Factored most of the code out of...
1068         (add_ranges): ... this one.  Rewrite in terms of the former.
1069         (add_ranges_by_labels): New.
1070         (output_ranges): Output by-label ranges.
1071         (dwarf2out_finish): Output range for multiple-section
1072         compile_unit.  Output standard DW_AT_low_pc in addition to
1073         unexpected DW_AT_entry_pc.
1074
1075 2007-07-04  Daniel Berlin  <dberlin@dberlin.org>
1076
1077         PR tree-optimization/32604
1078         PR tree-optimization/32606
1079
1080         * tree-ssa-pre.c (bb_bitmap_sets): Removed antic_safe_loads.
1081         (compute_antic_safe): Removed.
1082         (ANTIC_SAFE_LOADS): Ditto.
1083         (compute_antic_aux): Don't print ANTIC_SAFE_LOADS.
1084         (execute_pre): Don't call compute_antic_safe.
1085         (vuse_equiv): New function.
1086         (make_values_for_stmt): Use it
1087         * tree-ssa-sccvn.c (set_ssa_val_to): Remove assert, since it is
1088         not always true.
1089
1090 2007-07-04 Anatoly Sokolov <aesok@post.ru>
1091
1092         PR target/31331
1093         * config/avr/avr.c (avr_naked_function_p): Handle receiving a type
1094         rather than a decl.
1095         (avr_attribute_table): Make "naked" attribute apply to function types
1096         rather than to decls.
1097         (avr_handle_fntype_attribute): New function.
1098
1099 2007-07-04  Joseph Myers  <joseph@codesourcery.com>
1100
1101         * target-def.h (TARGET_INITIALIZER): Remove trailing whitespace
1102         after \.
1103
1104 2007-07-04  David Ung  <davidu@mips.com>
1105             Joseph Myers  <joseph@codesourcery.com>
1106
1107         * config/mips/mips.md (type): Add logical, signext and move.
1108         (one_cmpl<mode>2, *and<mode>3, *and<mode>3_mips16, *ior<mode>3,
1109         *ior<mode>3_mips16, two unnamed insns after *ior<mode>3_mips16,
1110         *nor<mode>3, "Combiner patterns to optimize truncate/zero_extend
1111         combinations", *zero_extend<SHORT:mode><GPR:mode>2,
1112         *zero_extendqihi2, *extend<SHORT:mode><GPR:mode>2_mips16e,
1113         *extend<SHORT:mode><GPR:mode>2_se<SHORT:size>, *movdi_64bit,
1114         *movdi_64bit_mips16, *movsi_internal, *movsi_mips16, movcc,
1115         *movhi_internal, *movhi_mips16, *movqi_internal, *movqi_mips16,
1116         *movsf_hardfloat, *movsf_softfloat, *movsf_mips16,
1117         *movdf_hardfloat_64bit, *movdf_hardfloat_32bit,
1118         movv2sf_hardfloat_64bit): Use the new types.
1119         (*movdi_32bit, *movdi_gp32_fp64, *movdi_32bit_mips16,
1120         *movdf_softfloat, *movdf_mips16): Use "multi".
1121         (extendqihi2): Replace with a define_expand.
1122         (*extendqihi2_mips16e, *extendqihi2, *extendqihi2_seb): New.
1123         Based on extend<SHORT:mode><GPR:mode>2 patterns.
1124         * config/mips/74k.md (r74k_int_logical): New reservation and
1125         bypasses.
1126         (r74k_int_arith): Remove "slt".
1127         * config/mips/24k.md, config/mips/4130.md, config/mips/4k.md,
1128         config/mips/5400.md, config/mips/5500.md, config/mips/5k.md,
1129         config/mips/7000.md, config/mips/9000.md, config/mips/generic.md,
1130         config/mips/sb1.md, config/mips/sr71k.md: Add new types to
1131         reservations for "arith".
1132
1133 2007-07-04  Richard Guenther  <rguenther@suse.de>
1134
1135         * tree-ssa.c (useless_type_conversion_p): Add handling for
1136         scalar float and vector types.  Only call the types_compatible_p
1137         langhook for aggregate types as last resort.  Follow the
1138         rules.
1139
1140 2007-07-04  Richard Guenther  <rguenther@suse.de>
1141
1142         * tree-inline.c (estimate_num_insns_1): Treat CONVERT_EXPR
1143         the same as NOP_EXPR.
1144
1145 2007-07-04  Nick Clifton  <nickc@redhat.com>
1146
1147         * target.h (struct gcc_target): Add target_help field.
1148         * target-def.h (TARGET_HELP): New.
1149         (TARGET_INITIALIZER): Use TARGET_HELP.
1150         * opts.c (command_handle_option): Invoke target_help function, if
1151         defined, when the user has specified --target-help on the command
1152         line.
1153         * doc/invoke.texi: Mention that --target-help might print
1154         additional information.
1155         * doc/tm.texi: Document TARGET_HELP hook.
1156
1157         * arm.c (TARGET_HELP): Override default definition.
1158         (arm_target_help): New - display a wrapped list of cores and
1159         architectures supported.
1160
1161 2007-07-04  Rask Ingemann Lambertsen  <rask@sygehus.dk>
1162
1163         * config/gcc/v850/v850.c (expand_prologue): Make sure
1164         GEN_INT() argument is sign extended rather than zero extended.
1165         (expand_epilogue): Likewise.
1166         (output_move_double): Delete.
1167         * config/gcc/v850/v850-protos.h (output_move_double): Delete.
1168         * config/gcc/v850/v850.md (movdi): Delete.
1169         (*movdi_internal): Delete.
1170         (movdf): Delete.
1171         (*movdf_internal): Delete.
1172
1173 2007-07-04  Richard Sandiford  <richard@codesourcery.com>
1174
1175         * config/sh/vxworks.h (SUBTARGET_OVERRIDE_OPTIONS): Reject -mrelax
1176         unless compiling RTP PIC.
1177
1178 2007-07-04  Richard Guenther  <rguenther@suse.de>
1179
1180         PR tree-optimization/32482
1181         * tree-ssa-ifcombine.c (recognize_single_bit_test): Use the
1182         original ssa name if we didn't find a shift expression.
1183         Fix shift constant for bit zero test.
1184
1185 2007-07-04  Richard Sandiford  <richard@codesourcery.com>
1186
1187         * config/sh/lib1funcs.asm (ic_invalidate): Align constant pool.
1188
1189 2007-07-04  Richard Sandiford  <richard@codesourcery.com>
1190
1191         * config.gcc (arm-wrs-vxworks): Don't include svr4.h.
1192         * config/vxworks.h (PTRDIFF_TYPE, SIZE_TYPE, TARGET_POSIX_IO): Define.
1193         * config/arm/vxworks.h (ASM_SPEC): Delete.
1194         (SUBTARGET_EXTRA_ASM_SPEC): Define.
1195
1196 2007-07-04  Sebastian Pop  <sebpop@gmail.com>
1197
1198         * tree-data-ref.h (data_dependence_relation): New flag reversed_p.
1199         (DDR_REVERSED_P): New.
1200         * tree-data-ref.c (initialize_data_dependence_relation,
1201         build_classic_dist_vector): Set DDR_REVERSED_P.
1202
1203 2007-07-04  Sebastian Pop  <sebpop@gmail.com>
1204
1205         PR middle-end/32457
1206         * tree-data-ref.c (analyze_siv_subscript_cst_affine,
1207         compute_overlap_steps_for_affine_1_2, analyze_subscript_affine_affine,
1208         init_omega_for_ddr_1): Use non conservative number of iterations
1209         estimations.
1210         (analyze_subscript_affine_affine): Use HOST_WIDE_INT instead of int.
1211         (analyze_siv_subscript): Remove FIXME and reinitialization of
1212         last_conflicts to chrec_dont_know.
1213         * testsuite/gfortran.dg/vect/pr32457.f90: New.
1214
1215 2007-07-04  Douglas Gregor  <doug.gregor@gmail.com>
1216
1217         * tree.c (maybe_canonicalize_argtypes): Improve description.
1218
1219 2007-07-04  Douglas Gregor  <doug.gregor@gmail.com>
1220
1221         * tree.c (maybe_canonicalize_argtypes): New.
1222         (build_function_type): Set canonical type.
1223         (build_method_type_directly): Ditto.
1224         (reconstruct_complex_type): Rebuild the METHOD_TYPE node
1225         properly.
1226
1227 2007-07-03  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1228
1229         * tree-ssa-loop-ivopts.c (strip_offset_1): Treat POINTER_PLUS_EXPR
1230         like PLUS_EXPR.
1231         (rewrite_use_nonlinear_expr): Likewise.
1232
1233 2007-07-03  Seongbae Park  <seongbae.park@gmail.com>
1234
1235         * rtl.def (UNSPEC, USE, CLOBBER): More comments.
1236
1237 2007-07-04  Ben Elliston  <bje@au.ibm.com>
1238
1239         * dwarf2out.c: Move DWARF2 abbreviation glossary closer to the top
1240         of this file.
1241
1242         * c-objc-common.c (c_types_compatible_p): Fix indentation.
1243
1244         * doc/tm.texi (Run-time Target): Capitalise "CPU".
1245         (Exception Handling): Likewise.
1246
1247 2007-07-03  Jan Hubicka  <jh@suse.cz>
1248
1249         * ifcvt.c (find_cond_trap): Avoid invalid RTL sharing.
1250
1251 2007-07-03  Eric Christopher  <echristo@apple.com>
1252
1253         * doc/cppopts.texi: Add conflicting option note to -dM.
1254         * doc/invoke.texi: Add note about possible conflicts with
1255         -E for -dCHARS and note that -dM will not produce
1256         any results if there is no machine dependent reorg.
1257
1258 2007-07-03  Geoffrey Keating  <geoffk@apple.com>
1259
1260         * tree.h (DECL_ALIGN): Back out previous change.
1261
1262 2007-07-03  Joseph Myers  <joseph@codesourcery.com>
1263
1264         * configure.ac: Test for .dtprelword support on MIPS.
1265         * configure, config.in: Regenerate.
1266         * config/mips/mips.c (mips_output_dwarf_dtprel): New.
1267         (TARGET_ASM_OUTPUT_DWARF_DTPREL): Define.
1268
1269 2007-07-03  Julian Brown  <julian@codesourcery.com>
1270
1271         * config.gcc (with_fpu): Allow --with-fpu=vfp3.
1272         * config/arm/aout.h (REGISTER_NAMES): Add D16-D31.
1273         * config/arm/aof.h (REGISTER_NAMES): Add D16-D31.
1274         * config/arm/arm.c (FL_VFPV3): New flag for VFPv3 processor
1275         capability.
1276         (all_fpus): Add FPUTYPE_VFP3.
1277         (fp_model_for_fpu): Add VFPv3 field.
1278         (arm_rtx_costs_1): Give cost to VFPv3 constants.
1279         (vfp3_const_double_index): New function. Return integer index of
1280         VFPv3 constant suitable for fconst[sd] insns, or -1 if constant
1281         isn't suitable.
1282         (vfp3_const_double_rtx): New function. True if VFPv3 is enabled
1283         and argument represents a valid RTX for a VFPv3 constant.
1284         (vfp_output_fldmd): Split fldmd with > 16 registers in the list into
1285         two instructions.
1286         (vfp_emit_fstmd): Similar, for fstmd.
1287         (arm_print_operand): Implement new code 'G' for VFPv3 floating-point
1288         constants, represented as integer indices.
1289         (arm_hard_regno_mode_ok): Use VFP_REGNO_OK_FOR_SINGLE,
1290         VFP_REGNO_OK_FOR_DOUBLE macros.
1291         (arm_regno_class): Handle VFPv3 d0-d7, low, high register split.
1292         (arm_file_start): Set float-abi attribute for VFPv3, and output
1293         correct ".fpu" assembler directive.
1294         (arm_dbx_register_numbering): Add FIXME.
1295         * config/arm/arm.h (TARGET_VFP3): New macro. Target supports VFPv3.
1296         (fputype): Add FPUTYPE_VFP3.
1297         (FIXED_REGISTERS): Add 32 registers for D16-D31.
1298         (CALL_USED_REGISTERS): Likewise.
1299         (CONDITIONAL_REGISTER_USAGE): Add note about conditional definition
1300         of LAST_VFP_REGNUM. Make D16-D31 caller-saved, if present.
1301         (LAST_VFP_REGNUM): Extend available VFP registers for VFPv3.
1302         (D7_VFP_REGNUM): New.
1303         (LAST_LO_VFP_REGNUM, FIRST_HI_VFP_REGNUM, LAST_HI_VFP_REGNUM)
1304         (VFP_REGNO_OK_FOR_SINGLE, VFP_REGNO_OK_FOR_SINGLE)
1305         (VFP_REGNO_OK_FOR_DOUBLE): Define new macros.
1306         (FIRST_PSEUDO_REGISTER): Shift up to 128 to accommodate VFPv3.
1307         (REG_ALLOC_ORDER): Adjust for VFPv3.
1308         (reg_class): Add VFP_D0_D7_REGS, VFP_LO_REGS, VFP_HI_REGS.
1309         (REG_CLASS_NAMES): Add entries corresponding to VFP_D0_D7_REGS,
1310         VFP_LO_REGS, VFP_HI_REGS.
1311         (REG_CLASS_CONTENTS): Likewise. Extend contents for VFP_REGS.
1312         (IS_VFP_CLASS): Define macro.
1313         (SECONDARY_OUTPUT_RELOAD_CLASS, SECONDARY_INPUT_RELOAD_CLASS): Use
1314         IS_VFP_CLASS.
1315         (REGISTER_MOVE_COST): Likewise.
1316         * config/arm/arm-protos.h (vfp3_const_double_rtx): Add prototype.
1317         * config/arm/vfp.md (VFPCC_REGNUM): Redefine as 127.
1318         (*arm_movsi_vfp, *thumb2_movsi_vfp, *movsfcc_vfp)
1319         (*thumb2_movsfcc_vfp, *abssf2_vfp, *negsf2_vfp, *addsf3_vfp)
1320         (*subsf3_vfp, *divsf_vfp, *mulsf_vfp, *mulsf3negsf_vfp)
1321         (*mulsf3addsf_vfp, *mulsf3subsf_vfp, *mulsf3negsfaddsf_vfp)
1322         (*extendsfdf2_vfp, *truncdfsf2_vfp, *truncsisf2_vfp)
1323         (*truncsidf2_vfp, fixuns_truncsfsi2, fixuns_truncdfsi2)
1324         (*floatsisf2_vfp, *floatsidf2_vfp, floatunssisf2)
1325         (floatunssidf2, *sqrtsf2_vfp, *cmpsf_split_vfp)
1326         (*cmpsf_trap_split_vfp, *cmpsf_vfp, *cmpsf_trap_vfp): Use 't'
1327         where appropriate for single-word registers.
1328         (*movsf_vfp, *thumb2_movsf_vfp, *movdf_vfp, *thumb2_movdf_vfp):
1329         As above. Fix type attributes.
1330         * config/arm/constraints.md (register_contraint "t"): Define.
1331         (register_constraint "w"): Change to D0-D15, or D0-D31 for
1332         VFPv3/NEON.
1333         (register_constraint "x"): Define.
1334         (constraint "Dv"): Define.
1335
1336 2007-07-03  Geoffrey Keating  <geoffk@apple.com>
1337
1338         * tree.h (DECL_ALIGN): Prevent use on a FUNCTION_DECL.
1339
1340 2007-07-03  Tom Tromey  <tromey@redhat.com>
1341
1342         * c-parser.c (objc_pq_context): Removed.
1343         (objc_need_raw_identifier): Likewise.
1344         (c_parser) <objc_pq_context>: New field.
1345         <objc_need_raw_identifier>: Likewise.
1346         (OBJC_NEED_RAW_IDENTIFIER): Removed.
1347         (c_lex_one_token): Update.
1348         (c_parser_objc_protocol_definition): Update.
1349         (c_parser_objc_method_definition): Update.
1350         (c_parser_objc_methodproto): Update.
1351         (c_parser_declspecs): Update.
1352
1353 2007-07-03  David Ung  <davidu@mips.com>
1354
1355         * config/mips/mips.c (mips_issue_rate): Return 4 for 74K processors.
1356
1357 2007-07-03  David Ung  <davidu@mips.com>
1358             Richard Sandiford  <richard@codesourcery.com>
1359
1360         * doc/invoke.texi: Document -march=74kf3_2.
1361         * config/mips/mips.h (PROCESSOR_74KF3_2): New processor_type.
1362         (TUNE_74K): Check for it.
1363         * config/mips/mips.c (mips_cpu_info): Add 74kf3_2.
1364         (mips_rtx_cost_data): Add an entry for PROCESSOR_74KF3_2.
1365         * config/mips/mips.md (cpu): Add 74kf3_2.
1366         * config/mips/74k.md (r74k_int_logical, r74k_int_arith, r74k_int_nop)
1367         (r74k_int_cmove, r74k_int_mult, r74k_int_mul3, r74k_int_mfhilo)
1368         (r74k_int_mthilo, r74k_int_div, r74k_int_call, r74k_int_jump)
1369         (r74k_int_load, r74k_int_store, r74k_unknown, r74k_multi): Add
1370         74kf3_2 to the CPU list.
1371         (r74kf3_2_fadd, r74kf3_2_fmove, r74kf3_2_fload, r74kf3_2_fstore)
1372         (r74kf3_2_fmul_sf, r74kf3_2_fmul_df, r74kf3_2_fdiv_sf)
1373         (r74kf3_2_fdiv_df, r74kf3_2_frsqrt_sf, r74kf3_2_frsqrt_df)
1374         (r74kf3_2_fcmp, r74kf3_2_fcvt, r74kf3_2_fxfer_to_c1)
1375         (r74kf3_2_fxfer_from_c1): New insn reservations.
1376
1377 2007-07-03  Richard Sandiford  <richard@codesourcery.com>
1378             David Ung  <davidu@mips.com>
1379
1380         * doc/invoke.texi: Replace -march=24kf with -march=24kf2_1 and
1381         -march=24kx with -march=24kf1_1.  Likewise 24ke[fx], 34k[fx]
1382         and 74k[fx].  Document aliases for the new options.
1383         * config/mips/mips.h (PROCESSOR_24KF): Rename to...
1384         (PROCESSOR_24KF2_1): ...this.
1385         (PROCESSOR_24KX): Rename to...
1386         (PROCESSOR_24KF1_1): ...this.
1387         (PROCESSOR_74KF): Rename to...
1388         (PROCESSOR_74KF2_1): ...this.
1389         (PROCESSOR_74KX): Rename to...
1390         (PROCESSOR_74KF1_1): ...this.
1391         (TUNE_74K): Update PROCESSOR_* names.
1392         * config/mips/mips.c (mips_cpu_info): Add 24kf2_1 as a synonym
1393         for 24kf.  Add 24kf1_1 and 24kfx as synonyms for 24kx.  Likewise
1394         the 24ke*, 34k* and 74k* processors.  Update PROCESSOR_* names.
1395         (mips_rtx_cost_data): Update processor names in comments.
1396         (mips_issue_rate): Update PROCESSOR_* names.
1397         * config/mips/mips.md (cpu): Rename 24kf to 24kf2_1, 24kx to
1398         24kf1_1, 74kf to 74kf2_1 and 74kx to 74kf1_1.
1399         * config/mips/24k.md: Rename FPU-related r24k_* insn reservations
1400         to r24kf2_1_*.  Rename r24kx_* insn reservations to r24kf1_1_*.
1401         Update cpu attribute names.
1402         (r24k_fpu_iss): Rename this reservation to...
1403         (r24kf2_1_fpu_iss): ...this and update all uses.
1404         (r24kx_fpu_iss): Rename this reservation to...
1405         (r24kf1_1_fpu_iss): ...this and update all uses.
1406         * config/mips/74k.md: Rename FPU-related r74kf_* insn reservations
1407         to r74kf2_1_*.  Rename r74kx_* insn reservations to r74kf1_1_*.
1408         Update cpu attribute names.
1409
1410 2007-07-01  Kaz Kojima  <kkojima@gcc.gnu.org>
1411
1412         * config/m32r/constraints.md: New file.
1413         * config/m32r/m32r.c: Include tm-constrs.h.
1414         (small_data_operand): Use satisfies_constraint_* instead of macro.
1415         (addr24_operand, gen_compare): Likewise.
1416         * config/m32r/m32r.h (REG_CLASS_FROM_LETTER): Remove.
1417         (INT8_P, UPPER16_P, UINT32_P, UINT5_P, INVERTED_SIGNED_8BIT,
1418         CONST_OK_FOR_LETTER_P, CONST_DOUBLE_OK_FOR_LETTER_P,
1419         EXTRA_CONSTRAINT): Likewise.
1420         * config/m32r/m32r.md: Include constraints.md.
1421         (*movsi_insn): Use satisfies_constraint_* instead of macro.
1422         (andsi3, iorsi3, xorsi3, seq_insn+1, sne): Likewise.
1423         * config/m32r/predicates.md (conditional_move_operand): Likewise.
1424         (two_insn_const_operand, int8_operand, uint16_operand,
1425         reg_or_int16_operand, reg_or_uint16_operand,
1426         reg_or_cmp_int16_operand, cmp_int16_operand,
1427         seth_add3_operand): Likewise.
1428
1429 2007-07-03  Eric Christopher  <echristo@gmail.com>
1430
1431         * libgcc2.h: Conditionally declare __bswapsi2 and
1432         __bswapdi2.
1433
1434 2007-07-03  H.J. Lu  <hongjiu.lu@intel.com>
1435
1436         * ddg.c (check_sccs): Define only if ENABLE_CHECKING is
1437         defined.
1438
1439 2007-07-03  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
1440
1441         PR target/28307
1442         * gthr-posix.h [SUPPORTS_WEAK && GTHREAD_USE_WEAK]
1443         (__gthrw_pragma): Provide default definition.
1444         (__gthrw2): Use it.
1445         * gthr-posix.c (__gthrw_pragma): Define.
1446
1447 2007-07-03  Daniel Berlin  <dberlin@dberlin.org>
1448
1449         * tree-ssa-sccvn.c (set_ssa_val_to): Check for operand_equal_p
1450         before declaring inequality.
1451
1452 2007-07-03  Rask Ingemann Lambertsen  <rask@sygehus.dk>
1453
1454         * combine.c (recog_for_combine): Log the success or failure of
1455           matching new insn patterns against the machine description in
1456           detailed dumps.
1457
1458 2007-07-03  Revital Eres  <eres@il.ibm.com>
1459
1460         * ddg.c (print_sccs): New function.
1461         (check_sccs): New function.
1462         (create_ddg_all_sccs): Use it.
1463         * ddg.h (print_sccs): Declare.
1464         * modulo-sched.c (sms_order_nodes): Call print_sccs.
1465
1466 2007-07-03  Uros Bizjak  <ubizjak@gmail.com>
1467
1468         * targhooks.h (default_mode_for_suffix): New function declaration.
1469         * targhooks.c (default_mode_for_suffix): New default target hook.
1470         * target.h (struct c): New structure in the targetm struct.
1471         (mode_for_suffix): New target hook as part of struct c.
1472         target-def.h (TARGET_C_MODE_FOR_SUFFIX): Define as
1473         default_mode_for_suffix.
1474         (TARGET_C): New define.
1475         * c-lex.c: Include "target.h".
1476         (interpret_float): Use targetm.c.mode_for_suffix to determine
1477         the mode for a given non-standard suffix.
1478         Makefile.in (c-lex.o): Depend on $(TARGET_H).
1479
1480         * config/i386/i386.c (ix86_c_mode_for_suffix): New static function.
1481         (TARGET_C_MODE_FOR_SUFFIX): Define to ix86_c_mode_for_suffix.
1482
1483         * doc/extend.texi (Floating Types): New node.  Document __float80 and
1484         __float128 types.  Document 'w', 'W', 'q' and 'Q' suffixes.
1485
1486 2007-07-03  Kaz Kojima  <kkojima@gcc.gnu.org>
1487
1488         PR target/32506
1489         * config/sh/sh.md (udivsi3_i1_media): Use target_reg_operand
1490         predicate instead of target_operand.
1491         (divsi3_i1_media, divsi3_media_2): Likewise.
1492
1493 2007-07-02  Eric Botcazou  <ebotcazou@adacore.com>
1494
1495         * tree.h (alias_sets_might_conflict_p): Rename into
1496         alias_sets_must_conflict_p.
1497         * alias.c (alias_sets_might_conflict_p): Likewise.
1498         (alias_sets_conflict_p): Use it.
1499         (objects_must_conflict_p): Likewise.
1500         * c-common.c (strict_aliasing_warning): Adjust.
1501
1502 2007-07-02  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1503
1504         * rtlhooks.c (gen_lowpart_if_possible): Check for
1505         invalid subreg before calling gen_lowpart_SUBREG.
1506
1507 2007-07-02  Geoffrey Keating  <geoffk@apple.com>
1508
1509         * config/darwin9.h: Add copyright notice.
1510         (LINK_COMMAND_SPEC): Add comment.
1511         (DARWIN_LIBSYSTEM_HAS_UNWIND): Define.
1512         * config/rs6000/darwin.h (MD_UNWIND_SUPPORT): Conditionalise on
1513         DARWIN_LIBSYSTEM_HAS_UNWIND.
1514
1515 2007-07-02  Jakub Jelinek  <jakub@redhat.com>
1516
1517         PR libgomp/32468
1518         * omp-low.c (check_combined_parallel): New function.
1519         (lower_omp_parallel): Call it via walk_stmts, set
1520         OMP_PARALLEL_COMBINED if appropriate.
1521         (determine_parallel_type): If OMP_FOR resp. OMP_SECTIONS
1522         isn't the only statement in WS_ENTRY_BB or OMP_RETURN
1523         the only one in PAR_EXIT_BB and not OMP_PARALLEL_COMBINED,
1524         don't consider it as combined parallel.
1525
1526 2007-07-02  Richard Sandiford  <richard@codesourcery.com>
1527
1528         * configure.ac (gcc_gxx_include_dir): Use $(libsubdir_to_prefix).
1529         (gcc_tooldir): Likewise.
1530         * configure: Regenerate.
1531         * Makefile.in (libsubdir_to_prefix): New variable, based on the
1532         old configure.ac gcc_tooldir setting.
1533         (prefix_to_exec_prefix): New variable.
1534         (DRIVER_DEFINES): Use $(libsubdir_to_prefix)$(prefix_to_exec_prefix)
1535         rather than $(unlibsubdir)/../ to derive TOOLDIR_BASE_PREFIX.
1536
1537 2007-07-02  Daniel Berlin  <dberlin@dberlin.org>
1538
1539         Fix PR tree-optimization/32583
1540         Fix PR tree-optimization/32584
1541         * tree-ssa-pre.c (phi_translate): Always pass seen bitmap.
1542         (phi_translate_set): Use phi_translate directly now.
1543         (make_values_for_stmt): Don't value number RHS if we already know
1544         it is constant.
1545
1546 2007-07-02  Steve Ellcey  <sje@cup.hp.com>
1547             Jim Wilson <wilson@specifix.com>
1548
1549         PR target/31684
1550         * haifa-sched.c (add_to_speculative_block): Change copy_rtx to
1551         copy_insn.
1552
1553 2007-07-02  Sandra Loosemore  <sandra@codesourcery.com>
1554             Richard Sandiford  <richard@codesourcery.com>
1555             Nigel Stephens  <nigel@mips.com>
1556
1557         * config/mips/mips-protos.h (mips16e_save_restore_info): New struct.
1558         (mips16e_output_save_restore): Declare.
1559         (mips16e_save_restore_pattern_p): Likewise.
1560         * config/mips/mips.h (GENERATE_MIPS16E_SAVE_RESTORE): New macro.
1561         * config/mips/mips.c (MIPS_MAX_FIRST_STACK_STEP): Return 0x7f8
1562         for GENERATE_MIPS16E_SAVE_RESTORE.  Return 0x400 for TARGET_MIPS16
1563         && !GENERATE_MIPS16E_SAVE_RESTORE && !TARGET_64BIT.
1564         (BITSET_P): New global macro, extracted from...
1565         (mips_for_each_saved_reg): ...here.
1566         (mips16e_save_restore_info): New struct.
1567         (mips16e_s2_s8_regs, mips16e_a0_a3_regs): New variables.
1568         (mips16e_save_restore_regs): New variable.
1569         (mips_split_plus, mips16e_find_first_register): New functions.
1570         (mips16e_mask_registers): New function.
1571         (compute_frame_size): Expand the commentary before the function.
1572         Enforce the MIPS16e save and restore register range restrictions.
1573         Pad the general register save area at the low end.
1574         (mips16e_save_restore_reg, mips16e_build_save_restore)
1575         (mips16e_save_restore_pattern_p, mips16e_add_register_range)
1576         (mips16e_output_save_restore, mips16e_collect_propagate_value)
1577         (mips16e_collect_argument_save, mips16e_collect_argument_saves):
1578         New functions.
1579         (mips_expand_prologue, mips_expand_epilogue): Handle
1580         GENERATE_MIPS16E_SAVE_RESTORE.
1581         * config/mips/mips.md (*mips16e_save_restore): New pattern.
1582
1583 2007-07-02  Uros Bizjak  <ubizjak@gmail.com>
1584
1585         PR tree-optimization/31966
1586         PR tree-optimization/32533
1587         * tree-if-conv.c (add_to_dst_predicate_list): Use "edge", not
1588         "basic_block" description as its third argument.  Update function
1589         calls to get destination bb from "edge" argument.  Save "cond" into
1590         aux field of the edge.  Update prototype for changed arguments.
1591         (if_convertible_loop_p): Clear aux field of incoming edges if bb
1592         contains phi node.
1593         (find_phi_replacement_condition): Operate on incoming edges, not
1594         on predecessor blocks.  If there is a condition saved in the
1595         incoming edge aux field, AND it with incoming bb predicate.
1596         Return source bb of the first edge.
1597         (clean_predicate_lists): Clean aux field of outgoing node edges.
1598         (tree_if_conversion): Do not initialize cond variable. Move
1599         variable declaration into the loop.
1600         (replace_phi_with_cond_gimple_modify_stmt): Remove unneded
1601         initializations of new_stmt, arg0 and arg1 variables.
1602
1603 2007-07-02  Jakub Jelinek  <jakub@redhat.com>
1604
1605         * tree-nrv.c (dest_safe_for_nrv_p): Grok any handled_component_p,
1606         SSA_NAMEs, RESULT_DECLs and PARM_DECLs.
1607
1608 2007-07-02  Richard Guenther  <rguenther@suse.de>
1609
1610         * tree-ssa.c (useless_type_conversion_p): Document
1611         future intent as defining the middle-end type system.
1612         Re-structure to call langhook last, group by type class,
1613         mark questionable parts.
1614
1615 2007-07-02  Richard Guenther  <rguenther@suse.de>
1616
1617         * tree-flow.h (types_compatible_p): Declare.
1618         * tree-ssa.c (types_compatible_p): New function.
1619         * ipa-type-escape.c (discover_unique_type): Use
1620         types_compatible_p instead of lang_hooks.types_compatible_p.
1621         * tree-ssa-copyrename.c (copy_rename_partition_coalesce): Likewise.
1622         * tree-vn.c (expressions_equal_p): Likewise.
1623         * tree.c (fields_compatible_p): Likewise.
1624         * tree-ssa-dom.c (avail_expr_eq): Likewise.
1625         (cprop_operand): Use useless_type_conversion_p instead of
1626         lang_hooks.types_compatible_p.
1627         * tree-inline.c (setup_one_parameter): Likewise.
1628         (declare_return_variable): Likewise.
1629         * tree-nrv.c (tree_nrv): Likewise.
1630         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
1631         (maybe_fold_offset_to_component_ref): Likewise.
1632         (maybe_fold_offset_to_reference): Likewise.
1633         * tree-ssa-copy.c (may_propagate_copy): Likewise.
1634         (merge_alias_info): Likewise.
1635         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
1636         * tree-ssa-phiopt.c (conditional_replacement): Likewise.
1637         * tree-ssa-reassoc.c (optimize_ops_list): Likewise.
1638         * tree-tailcall.c (find_tail_calls): Likewise.
1639         * tree-vect-generic.c (expand_vector_operations_1): Likewise.
1640         * gimplify.c (canonicalize_addr_expr): Likewise.
1641         (fold_indirect_ref_rhs): Likewise.
1642         (gimplify_addr_expr): Likewise.  Swap parameters to cpt_same_type.
1643         (cpt_same_type): Likewise.
1644         (check_pointer_types_r): Swap parameters to cpt_same_type
1645         where appropriate.
1646         * fold-const.c (fold_convert): Revert fix for PR15988.
1647         * tree-inline.c (setup_one_parameter): Instead fix it here by
1648         using fold_build1 instead of fold_convert and checking for
1649         error_mark_node.  Convert only if the conversion is necessary.
1650
1651 2007-07-02  Joseph Myers  <joseph@codesourcery.com>
1652
1653         * configure.ac: Check for .gnu_attribute on Power.
1654         * configure: Regenerate.
1655         * config/rs6000/rs6000.c (rs6000_file_start): If supported, output
1656         attribute for floating-point ABI.
1657
1658 2007-07-02  Ira Rosen  <irar@il.ibm.com>
1659
1660         PR tree-optimization/32230
1661         PR tree-optimization/32477
1662         * tree-vect-analyze.c (vect_analyze_data_refs): Fail if base
1663         address is a constant.
1664
1665 2007-07-02  Richard Sandiford  <richard@codesourcery.com>
1666
1667         * config.gcc (mipsisa32-*-elf*, mipsisa32el-*-elf*)
1668         (mipsisa32r2-*-elf*, mipsisa32r2el-*-elf*)
1669         (mipsisa64-*-elf*, mipsisa64el-*-elf*): Combine top-level
1670         stanzas.  Use the first part of the triplet to set MIPS_ISA_DEFAULT.
1671         Remove redundant setting of MASK_FLOAT64 and MASK_64BIT for the
1672         64-bit targets.  Add support for *-elfoabi*.
1673         * config/mips/t-isa3264 (MULTILIB_OPTIONS, MULTILIB_DIRNAMES): Use
1674         different settings if $(tm_defines) does not select the EABI.
1675         (MULTILIB_EXCLUSIONS): Define in those circumstances.
1676         * config/mips/mips.h (MIPS_ISA_LEVEL_OPTION_SPEC): New macro.
1677         (MIPS_ARCH_OPTION_SPEC): Likewise.
1678         (MIPS_ISA_LEVEL_SPEC): Likewise.
1679         (OPTION_DEFAULT_SPECS): Use MIPS_ARCH_OPTION_SPEC.
1680         * config/mips/elfoabi.h: New file.
1681
1682 2007-07-02  Richard Guenther  <rguenther@suse.de>
1683
1684         * tree-flow.h (tree_ssa_useless_type_conversion_1): Rename to ...
1685         (useless_type_conversion_p): ... this.
1686         * tree-ssa.c (tree_ssa_useless_type_conversion_1): Rename to ...
1687         (useless_type_conversion_p): ... this.
1688         * builtins.c (fold_builtin_memory_op): Rename
1689         tree_ssa_useless_type_conversion_1 to useless_type_conversion_p.
1690         * tree-cfg.c (verify_expr): Likewise.
1691         * tree-ssa-address.c (tree_ssa_useless_type_conversion_1): Likewise.
1692         * tree-ssa-ccp.c (ccp_fold): Likewise.
1693         * tree-ssa-copy.c (may_propagate_copy): Likewise.
1694         * tree-ssa-dom.c (eliminate_redundant_computations): Likewise.
1695         * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
1696         * tree-ssa-loop-niter.c (refine_bounds_using_guard): Likewise.
1697         * tree-ssa-pre.c (eliminate): Likewise.
1698         * tree-ssa.c (delete_tree_ssa): Likewise.
1699         (tree_ssa_useless_type_conversion): Likewise.
1700         * tree.c (build2_stat): Likewise.
1701
1702 2007-07-01  Daniel Berlin  <dberlin@dberlin.org>
1703
1704         Fix PR tree-optimization/32571
1705         * tree-ssa-sccvn.c (visit_use): Shortcut copies to avoid
1706         simplifying them.
1707
1708 2007-07-01  Daniel Berlin  <dberlin@dberlin.org>
1709
1710         * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Handle constants
1711         and other expected operations explicitly, change default to
1712         gcc_unreachable.
1713
1714 2007-07-01  Daniel Jacobowitz  <dan@codesourcery.com>
1715
1716         * config/arm/arm.c (arm_cannot_copy_insn_p): Do not expect a
1717         PARALLEL.
1718         * config/arm/arm.md (pic_add_dot_plus_four, pic_add_dot_plus_eight)
1719         (tls_load_dot_plus_eight): Move the label number into the unspec.
1720         * config/arm/thumb2.md (pic_load_dot_plus_four): Likewise.
1721
1722 2007-07-01  Andreas Schwab  <schwab@suse.de>
1723
1724         * dwarf2out.c (initial_return_save): Define only if used.
1725
1726 2007-07-01  Kenneth Zadeck <zadeck@naturalbridge.com>
1727
1728         Unreverting Richard's Revert of:
1729
1730         2007-06-27  Richard Sandiford  <richard@codesourcery.com>
1731
1732         * dce.c (deletable_insn_p_1): New function, split out from...
1733         (deletable_insn_p): ...here.  Only treat bare USEs and CLOBBERs
1734         specially, not those inside PARALLELs.  Remove BODY argument
1735         and adjust recursive call accordingly.
1736         (prescan_insns_for_dce): Update call to delete_insn_p.
1737
1738 2007-07-01  Vladimir Yanovsky  <yanov@il.ibm.com>
1739             Revital Eres  <eres@il.ibm.com>
1740
1741         * ddg.c (create_ddg_all_sccs): Fix missed
1742         initialization of scc_nodes.
1743
1744 2007-07-01  Uros Bizjak  <ubizjak@gmail.com>
1745
1746         PR middle-end/32559
1747         * fold-const.c (fold-binary) [PLUS_EXPR]: Convert ~X + X to 1 or
1748         X + ~X to 1 only for INTEGRAL_TYPE_P type.
1749
1750 2007-06-30  Joseph Myers  <joseph@codesourcery.com>
1751
1752         * configure.ac: Check for .gnu_attribute on MIPS.
1753         * configure, config.in: Regenerate.
1754         * config/mips/mips.c (mips_file_start): If supported, output
1755         attribute for floating-point ABI.
1756
1757 2007-06-30  Uros Bizjak  <ubizjak@gmail.com>
1758
1759         PR target/32433
1760         * config/i386/i386.md (ffssi2): Expand as ffs_cmove for TARGET_CMOVE.
1761         (ffs_cmove): New expander to expand using ctz pattern.
1762         (*ffs_cmove): Remove pattern.
1763         (*ffs_no_cmove): Enable only for !TARGET_CMOVE.
1764         (ffsdi2): Expand using ctz pattern.
1765         (*ffs_rex64): Remove pattern.
1766
1767 2007-06-30  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
1768
1769         PR rtl-optimization/32296
1770         * pa.md (return): Delete pattern.
1771         (return_internal): Remove "(const_int 1)" from pattern.
1772         (epilogue): Use return_internal pattern for trivial returns.
1773         * pa-protos.h (hppa_can_use_return_insn_p): Delete declaration.
1774         * pa.c (hppa_can_use_return_insn_p): Delete function.  Include "df.h".
1775
1776 2007-06-30  Daniel Berlin  <dberlin@dberlin.org>
1777
1778         * tree-ssa-pre.c (is_exception_related): New function
1779         (can_value_number_operation): Use it.
1780
1781 2007-06-30  Daniel Berlin  <dberlin@dberlin.org>
1782
1783         Fix PR tree-optimization/32540
1784         Fix PR tree-optimization/31651
1785
1786         * tree-ssa-sccvn.c: New file.
1787
1788         * tree-ssa-sccvn.h: Ditto.
1789
1790         * tree-vn.c: Include tree-ssa-sccvn.h
1791         (val_expr_paid_d): Removed.
1792         (value_table): Ditto.
1793         (vn_compute): Ditto.
1794         (val_expr_pair_hash): Ditto.
1795         (val_expr_pair_expr_eq): Ditto.
1796         (copy_vuses_from_stmt): Ditto.
1797         (vn_delete): Ditto.
1798         (vn_init): Ditto.
1799         (shared_vuses_from_stmt): Ditto.
1800         (print_creation_to_file): Moved up.
1801         (sort_vuses): Ditto.
1802         (sort_vuses_heap): Ditto.
1803         (set_value_handle): Make non-static.
1804         (make_value_handle): Ditto.
1805         (vn_add): Rewritten to use sccvn lookups.
1806         (vn_add_with_vuses): Ditto.
1807         (vn_lookup): Ditto (and second argument removed).
1808         (vn_lookup_with_vuses): Ditto.
1809         (vn_lookup_or_add): Ditto (and second argument removed);
1810         (vn_lookup_or_add_with_vuses): Ditto.
1811         (vn_lookup_with_stmt): New.
1812         (vn_lookup_or_add_with_stmt): Ditto.
1813         (create_value_handle_for_expr): Ditto.
1814
1815         * tree-ssa-pre.c: Include tree-ssa-sccvn.h.
1816         (seen_during_translate): New function.
1817         (phi_trans_lookup): Use iterative_hash_expr, not vn_compute.
1818         (phi_trans_add): Ditto.
1819         (constant_expr_p): FIELD_DECL is always constant.
1820         (phi_translate_1): Renamed from phi_translate, add seen bitmap.
1821         Use constant_expr_p.
1822         Avoid infinite recursion on mutually valued expressions.
1823         Change callers of vn_lookup_or_add.
1824         (phi_translate): New function.
1825         (compute_antic_safe): Allow phi nodes.
1826         (create_component_ref_by_pieces): Update for FIELD_DECL change.
1827         (find_or_generate_expression): Rewrite slightly.
1828         (create_expression_by_pieces): Updated for vn_lookup_or_add
1829         change.
1830         Update VN_INFO for new names.
1831         (insert_into_preds_of_block): Update for new names.
1832         (add_to_exp_gen): New function.
1833         (add_to_sets): Use vn_lookup_or_add_with_stmt.
1834         (find_existing_value_expr): Rewrite to changed vn_lookup.
1835         (create_value_expr_from): Ditto, and use add_to_exp_gen.
1836         (try_look_through_load): Removed.
1837         (try_combine_conversion): Ditto.
1838         (get_sccvn_value): New function.
1839         (make_values_for_phi): Ditto.
1840         (make_values_for_stmt): Ditto.
1841         (compute_avail): Rewritten for vn_lookup_or_add changes and to use
1842         SCCVN.
1843         (init_pre): Update for SCCVN changes.
1844         (fini_pre): Ditto.
1845         (execute_pre): Ditto.
1846
1847         * tree-flow.h (make_value_handle): Declare.
1848         (set_value_handle): Ditto.
1849         (sort_vuses_heap): Ditto.
1850         (vn_lookup_or_add_with_stmt): Ditto.
1851         (vn_lookup_with_stmt): Ditto.
1852         (vn_compute): Remove.
1853         (vn_init): Ditto.
1854         (vn_delete): Ditto.
1855         (vn_lookup): Update arguments.
1856
1857         * Makefile.in (tree-ssa-pre.o): Add tree-ssa-sccvn.h
1858         (tree-vn.o): Ditto.
1859         (tree-ssa-sccvn.o): New.
1860         (OBJS-common): Add tree-ssa-sccvn.o
1861
1862 2007-06-30  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1863
1864         PR c/4076
1865         * c-typeck.c (build_external_ref): Don't mark as used if called
1866         from itself.
1867         * calls.c (rtx_for_function_call): Likewise.
1868
1869 2007-06-30  Richard Sandiford  <richard@codesourcery.com>
1870
1871         Revert:
1872
1873         2007-06-27  Richard Sandiford  <richard@codesourcery.com>
1874
1875         * dce.c (deletable_insn_p_1): New function, split out from...
1876         (deletable_insn_p): ...here.  Only treat bare USEs and CLOBBERs
1877         specially, not those inside PARALLELs.  Remove BODY argument
1878         and adjust recursive call accordingly.
1879         (prescan_insns_for_dce): Update call to delete_insn_p.
1880
1881 2007-06-30  Rask Ingemann Lambertsen <rask@sygehus.dk>
1882
1883         * combine.c (combine_validate_cost): New parameter NEWOTHERPAT.
1884         (try_combine): Move potential calls to undo_all() so they happen
1885         before we commit to using the combined insns.
1886
1887 2006-06-30  Jan Hubicka  <jh@suse.cz>
1888
1889         * loop-unroll.c (unroll_loop_runtime_iterations): Unshare newly emit
1890         code.
1891
1892 2006-06-30  Thomas Neumann  <tneumann@users.sourceforge.net>
1893
1894         * ipa.c (cgraph_postorder): Cast according to the coding conventions.
1895         (cgraph_remove_unreachable_nodes): Likewise.
1896         * ipa-cp.c (ipcp_propagate_stage): Use BOTTOM instead of integer 0.
1897         * ipa-inline.c (update_caller_keys): Cast according to the coding
1898         conventions.
1899         (cgraph_decide_recursive_inlining): Likewise.
1900         (cgraph_decide_inlining_of_small_function): Likewise.
1901         (try_inline): Likewise.
1902         (cgraph_decide_inlining_incrementally): Likewise.
1903         * ipa-pure-const.c (get_function_state): Likewise.
1904         (scan_function): Likewise.
1905         (analyze_function): Likewise.
1906         (static_execute): Likewise.
1907         * gcc/ipa-reference.c (scan_for_static_refs): Likewise.
1908         (merge_callee_local_info): Likewise.
1909         (analyze_function): Use type safe memory macros.
1910         (static_execute): Likewise. Cast according to the coding conventions.
1911         * ipa-type-escape.c (scan_for_regs): Cast according to the coding
1912         conventions.
1913         * ipa-utils.c (searchc): Likewise. Avoid using C++ keywords as variable
1914         names.
1915         (ipa_utils_reduced_inorder): Likewise. Use type safe memory macros.
1916         * ipa-utils.h (struct ipa_dfa_info): Avoid using C++ keywords as
1917         variable names.
1918
1919 2007-06-29  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1920
1921         PR middle-end/30024
1922         * emit-rtl.c (init_emit_once): Intilize const_tiny_rtx[0]
1923         for complex modes (both int and real).
1924
1925 2007-06-29  Jan Hubicka  <jh@suse.cz>
1926
1927         * cse.c: Rever accidentally comitted TODO_verify_rtl_sharing change.
1928
1929 2007-06-29  Jan Hubicka  <jh@suse.cz>
1930
1931         PR middle-end/32372
1932         * cse.c (cse_insn): Avoid invalid sharing in between register note and
1933         the insn pattern.
1934
1935 2007-06-29  Anatoly Sokolov <aesok@post.ru>
1936
1937         PR target/32335
1938         * config/avr/avr.c: Include dataflow header file.
1939         (expand_prologue): Adjust for prologue insn change.
1940         * config/avr/avr.md (call_prologue_saves): Only modify REG_SP once
1941         inside a insn.
1942
1943 2007-06-29  Richard Guenther  <rguenther@suse.de>
1944
1945         PR middle-end/32493
1946         * gimplify.c (gimplify_call_expr): Ignore variable argument parts
1947         during type verification.
1948
1949 2007-06-29  Jan Hubicka  <jh@suse.cz>
1950
1951         * recog.c (validate_change_rtx_1): Unshare TO argument.
1952
1953 2007-06-29  Uros Bizjak  <ubizjak@gmail.com>
1954
1955         PR tree-optimization/24659
1956         * tree-vect-transform.c (vectorizable_call): Handle
1957         (nunits_in == nunits_out / 2) and (nunits_out == nunits_in / 2) cases.
1958
1959         * config/i386/sse.md (vec_pack_sfix_v2df): New expander.
1960         * config/i386/i386.c (enum ix86_builtins)
1961         [IX86_BUILTIN_VEC_PACK_SFIX]: New constant.
1962         (struct bdesc_2arg) [__builtin_ia32_vec_pack_sfix]: New builtin
1963         description.
1964         (ix86_init_mmx_sse_builtins): Define all builtins with 2 arguments as
1965         const using def_builtin_const.
1966         (ix86_expand_binop_builtin): Remove bogus assert() that insn wants
1967         input operands in the same modes as the result.
1968         (ix86_builtin_vectorized_function): Handle BUILT_IN_LRINT.
1969
1970 2007-06-29  Richard Sandiford  <rsandifo@nildram.co.uk>
1971
1972         * df-problems.c (df_set_unused_notes_for_mw): Fix formatting.
1973         (df_set_dead_notes_for_mw): Likewise.
1974
1975 2007-06-29  Eric Botcazou  <ebotcazou@adacore.com>
1976
1977         * c-common.c (pointer_int_sum): Do the negation in sizetype.
1978
1979 2007-06-28  DJ Delorie  <dj@redhat.com>
1980
1981         * config/m32c/m32c.h (OVERRIDE_OPTIONS): Omit unneeded semicolon.
1982
1983 2007-06-28  Geoffrey Keating  <geoffk@apple.com>
1984
1985         * doc/invoke.texi (C++ Dialect Options): Document
1986         fvisibility-ms-compat.
1987         * c.opt (fvisibility-ms-compat): New.
1988
1989 2007-06-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1990
1991         PR tree-opt/32417
1992         * tree-affine.c (aff_combination_add_elt): Handle
1993         pointer addition specially.
1994
1995 2007-06-28  Jakub Jelinek  <jakub@redhat.com>
1996
1997         * config/rs6000/rs6000.c (rs6000_function_ok_for_sibcall): Ensure
1998         decl is non-external for AIX ABI.
1999
2000 2007-06-28  David Edelsohn  <edelsohn@gnu.org>
2001
2002         * config/rs6000/predicates.md (current_file_function_operand):
2003         Ensure the symbol is non-external for AIX ABI.
2004
2005 2007-06-28  Nick Clifton  <nickc@redhat.com>
2006
2007         * common.opt (fipa-matrix-reorg): Add Optimization attribute.
2008         (fdce, fdse, fpredictive-commoning): Likewise.
2009
2010 2007-06-28 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2011
2012         PR other/31400
2013         * gcc.c (process_command): Recognize the new -static-libgfortran
2014         option.
2015
2016 2007-06-27  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2017
2018         PR target/32418
2019         * config/m32c/m32c.c (m32c_eh_return_stackadj_rtx): Dataflow fix:
2020         Use a call clobbered hard reg instead of a pseudo reg.
2021
2022 2007-06-27  Kaz Kojima  <kkojima@gcc.gnu.org>
2023
2024         * config/sh/sh.md (load_gbr): Use correct operand constraint.
2025
2026 2007-06-27  Kaz Kojima  <kkojima@gcc.gnu.org>
2027
2028         PR target/32479
2029         * config/sh/sh.md (udivsi3): Don't wrap the sequence with
2030         REG_LIBCALL and REG_RETVAL notes.
2031         (divsi3, mulsi3): Likewise.
2032         (mulhisi3): Likewise.  Use emit_libcall_block.
2033         (umulhisi3, smulsi3_highpart, umulsi3_highpart_i): Likewise.
2034
2035 2007-06-27  Seongbae Park  <seongbae.park@gmail.com>
2036
2037         PR rtl-optimization/32481
2038         * combine.c (adjust_for_new_dest): Rescan the changed insn.
2039
2040 2007-06-27  Richard Sandiford  <richard@codesourcery.com>
2041
2042         * dce.c (deletable_insn_p_1): New function, split out from...
2043         (deletable_insn_p): ...here.  Only treat bare USEs and CLOBBERs
2044         specially, not those inside PARALLELs.  Remove BODY argument
2045         and adjust recursive call accordingly.
2046         (prescan_insns_for_dce): Update call to delete_insn_p.
2047
2048 2007-06-27  Richard Guenther  <rguenther@suse.de>
2049
2050         PR middle-end/32492
2051         * tree.h (fold_convertible_p): Declare.
2052         * fold-const.c (fold_convertible_p): New function.
2053         * gimplify.c (gimplify_call_expr): Use fold_convertible_p
2054         instead of lang_hooks.types_compatible_p.
2055
2056 2007-06-26  Jan Hubicka  <jh@suse.cz>
2057
2058         * fwprop.c (try_fwprop_subst): Use validate_unshare_change.
2059         * postreload.c (reload_cse_simplify_set): Instead of copying the rtx
2060         early use validate_unshare_change.
2061         (reload_combine): Likewise.
2062         * recog.c (change_t): New field unshare.
2063         (validate_change_1): Rename from validate_change; add argument unshare.
2064         (validate_change): Turn into wrapper of validate_change_1; update
2065         prototype for bools.
2066         (validate_unshare_change): New.
2067         (confirm_change_group): Unshare changes if asked for; avoid unnecesary
2068         calls of df_insn_rescan.
2069         * recog.h (validate_change): Replace ints by bools.
2070         (validate_unshare_change): Declare.
2071
2072 2007-06-26  Kenneth Zadeck <zadeck@naturalbridge.com>
2073
2074         * tree.def (VEC_WIDEN_MULT_LO_EXPR): Corrected string name.
2075
2076 2007-06-26  Steve Ellcey  <sje@cup.hp.com>
2077
2078         * builtins.c (expand_builtin_next_arg): Change Pmode to ptr_mode.
2079
2080 2007-06-25  Jan Hubicka  <jh@suse.cz>
2081
2082         * ipa-inline.c (cgraph_mark_inline): Assert that we never inline
2083         uninlinable call.
2084         (cgraph_decide_inlining_of_small_function, cgraph_decide_inlining,
2085         cgraph_decide_inlining_incrementally): Move uninlinability checks to
2086         places other call site specific checks are performed.
2087
2088 2007-06-25  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2089
2090         PR tree-opt/32421
2091         * tree-vect-transform.c (vectorizable_operation): Convert
2092         POINTER_PLUS_EXPR over to PLUS_EXPR.
2093
2094 2007-06-25  Chao-ying Fu  <fu@mips.com>
2095
2096         * doc/rtl.texi (Machine Modes): Document QQ, HQ, SQ, DQ, TQ,
2097         UQQ, UHQ, USQ, UDQ, UTQ, HA, SA, DA, TA, UHA, USA, UDA, and UTAmodes.
2098         Document MODE_FRACT, MODE_UFRACT, MODE_ACCUM, MODE_UACCUM.
2099         Document GET_MODE_IBIT, and GET_MODE_FBIT.
2100
2101         * machmode.h (VECTOR_MODE_P): Test MODE_VECTOR_FRACT,
2102         MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM.
2103         (SCALAR_FRACT_MODE_P, SCALAR_UFRACT_MODE_P, ALL_SCALAR_FRACT_MODE_P,
2104         SCALAR_ACCUM_MODE_P, SCALAR_UACCUM_MODE_P, ALL_SCALAR_ACCUM_MODE_P,
2105         SIGNED_SCALAR_FIXED_POINT_MODE_P, UNSIGNED_SCALAR_FIXED_POINT_MODE_P,
2106         ALL_SCALAR_FIXED_POINT_MODE_P, FRACT_MODE_P, UFRACT_MODE_P,
2107         ALL_FRACT_MODE_P, ACCUM_MODE_P, UACCUM_MODE_P, ALL_ACCUM_MODE_P,
2108         SIGNED_FIXED_POINT_MODE_P, UNSIGNED_FIXED_POINT_MODE_P,
2109         ALL_FIXED_POINT_MODE_P): New define.
2110         (CLASS_HAS_WIDER_MODES_P): Test MODE_FRACT, MODE_UFRACT, MODE_ACCUM,
2111         MODE_UACCUM.
2112         (GET_MODE_IBIT, GET_MODE_FBIT): New define.
2113
2114         * mode-classes.def (MODE_FRACT, MODE_UFRACT, MODE_ACCUM, MODE_UACCUM,
2115         MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM,
2116         MODE_VECTOR_UACCUM): New mode classes.
2117
2118         * machmode.def: Document FRACT_MODE, UFRACT_MODE, ACCUM_MODE,
2119         UACCUM_MODE, ADJUST_IBIT, and ADJUST_FBIT.
2120         Add QQ, HQ, SQ, DQ, TQ, UQQ, UHQ, USQ, UDQ, UTQ, HA, SA, DA, TA, UHA,
2121         USA, UDA, and UTA.
2122
2123         * genmodes.c (struct mode_data): Add ibit and fbit fields.
2124         (blank_mode): Initialize ibit and fbit.
2125         (adj_ibit, adj_fbit): New to adjust ibit and fbit.
2126         (vector_class): Handle MODE_FRACT, MODE_UFRACT, MODE_ACCUM,
2127         MODE_UACCUM.
2128         (new_adjust): Change required_class to required_class_from and
2129         required_class_to for testing within a range.
2130         (complete_mode): Handle MODE_FRACT, MODE_UFRACT, MODE_ACCUM,
2131         MODE_UACCUM, MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT, MODE_VECTOR_ACCUM,
2132         MODE_VECTOR_UACCUM.
2133         (FRACT_MODE, UFRACT_MODE, ACCUM_MODE, UACCUM_MODE): New define.
2134         (make_fixed_point_mode): New.
2135         (_ADD_ADJUST): Change C to C1 and C2.
2136         (ADJUST_BYTESIZE, ADJUST_ALIGNMENT, ADJUST_FLOAT_FORMAT): Change to
2137         use a range for machine classes.
2138         (ADJUST_IBIT, ADJUST_FBIT): New.
2139         (emit_insn_modes_h): Output defines of CONST_MODE_IBIT and
2140         CONST_MODE_FBIT.
2141         (emit_mode_adjustments): Handle MODE_VECTOR_FRACT, MODE_VECTOR_UFRACT,
2142         MODE_VECTOR_ACCUM, MODE_VECTOR_UACCUM.
2143         Emit adjustment for ibit and fbit.
2144         (emit_mode_ibit, emit_mode_fbit): New.
2145         (emit_insn_modes_c): Add emit_mode_ibit and emit_mode_fbit.
2146
2147 2007-06-25  Nathan Froyd  <froydnj@codesourcery.com>
2148
2149         * config/rs6000/spe.md (*frob_ti_tf_2): Specify an input_operand
2150         as the source of the set.
2151
2152 2007-06-25  Roman Zippel <zippel@linux-m68k.org>
2153
2154         * config/m68k/m68k.h (DATA_REGNO_P, ADDRESS_REGNO_P, INT_REGNO_P,
2155         FP_REGNO_P): Use IN_RANGE.
2156         (REGNO_OK_FOR_DATA_P, REGNO_OK_FOR_FP_P): Remove.
2157         (REGNO_OK_FOR_INDEX_NONSTRICT_P, REGNO_OK_FOR_BASE_NONSTRICT_P): New.
2158         (DATA_REG_P): Use DATA_REGNO_P.
2159         (FP_REG_P): Use FP_REGNO_P.
2160         (ADDRESS_REG_P): Use ADDRESS_REGNO_P.
2161         * config/m68k/m68k.c (m68k_legitimate_base_reg_p): Use
2162         REGNO_OK_FOR_INDEX_NONSTRICT_P, REGNO_OK_FOR_BASE_NONSTRICT_P.
2163
2164 2007-06-24  Jan Hubicka  <jh@suse.cz>
2165
2166         PR middle-end/30563
2167         * cgraphunit.c (cgraph_analyze_function): Fix ordering problem.
2168
2169 2007-06-24  Sebastian Pop  <sebpop@gmail.com>
2170
2171         PR middle-end/32461
2172         * fold-const.c (fold_binary): Strip nops of operand 0
2173         of BIT_NOT_EXPR before calling operand_equal_p.
2174         * testsuite/gcc.dg/tree-ssa/pr32461-1.c: New.
2175         * testsuite/gcc.dg/tree-ssa/pr32461-2.c: New.
2176
2177 2007-06-23  Mark Mitchell  <mark@codesourcery.com>
2178
2179         * doc/extend.texi: Document that dllimport and dllexport imply
2180         default visibility.
2181         * tree.c (handle_dll_attribute): Set DECL_VISIBILITY on the
2182         imported or exported declaration, including type declarations.
2183         * c-common.c (handle_visibility_attribute): Check for conflicts
2184         with dllimport/dllexport.
2185         (c_determine_visibility): Handle dllimport/dllexport as an
2186         explicit visibility atttribute.
2187
2188 2007-06-23  Richard Guenther  <rguenther@suse.de>
2189
2190         PR tree-optimization/16876
2191         PR middle-end/29478
2192         * tree.h (CALL_CANNOT_INLINE_P): New macro to access static_flag
2193         for CALL_EXPRs.
2194         * tree-inline.c (initialize_inlined_parameters): Do not call
2195         lang_hooks.tree_inlining.convert_parm_for_inlining.
2196         * cgraphbuild.c (initialize_inline_failed): Set inline failed
2197         reason for mismatched types.
2198         * gimplify.c (gimplify_call_expr): Verify the call expression
2199         arguments match the called function type signature.  Otherwise
2200         mark the call expression to be not considered for inlining
2201         using CALL_CANNOT_INLINE_P flag.
2202         * ipa-inline.c (cgraph_mark_inline): Honor CALL_CANNOT_INLINE_P on the
2203         edges call expression.
2204         (cgraph_decide_inlining_of_small_function): Likewise.
2205         (cgraph_decide_inlining): Likewise.
2206         * c-objc-common.h (LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING):
2207         Remove define.
2208         * c-tree.h (c_convert_parm_for_inlining): Remove declaration.
2209         * c-typeck.c (c_convert_parm_for_inlining): Remove.
2210         * langhooks-def.h (lhd_tree_inlining_convert_parm_for_inlining):
2211         Remove declaration.
2212         (LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING): Remove define.
2213         * langhooks.c (lhd_tree_inlining_convert_parm_for_inlining):
2214         Remove.
2215         * langhooks.h (struct lang_hooks_for_tree_inlining): Remove
2216         convert_parm_for_inlining member.
2217
2218 2007-06-23  Richard Earnshaw  <rearnsha@arm.com>
2219
2220         PR target/31152
2221         * arm.md (negscc): Match the correct operand for optimized LT0 test.
2222         Remove optimization for GT.
2223
2224 2007-06-23  Kenneth Zadeck <zadeck@naturalbridge.com>
2225
2226         PR middle-end/32437
2227         * dce.c (deletable_insn_p): Add extra parameter and recurse if insn
2228         is a PARALLEL.
2229         (prescan_insns_for_dce): Add extra parameter.
2230
2231 2007-06-23  Jan Hubicka  <jh@suse.cz>
2232
2233         PR middle-end/31541
2234         * gimplify.c (mark_addressable): New function.
2235         (gimplify_modify_expr_rhs, gimplify_addr_expr, gimplify_expr): Use it.
2236
2237 2007-06-22  Uros Bizjak  <ubizjak@gmail.com>
2238
2239         PR middle-end/32374
2240         * expr.c (store_constructor): Do not clobber non-zeroed memory.
2241
2242 2007-06-22  Uros Bizjak  <ubizjak@gmail.com>
2243
2244         PR target/32413
2245         * config/i386/i386.c (ix86_register_move_cost): Rise the cost of
2246         moves between MMX/SSE registers to at least 8 units to prevent
2247         ICE caused by non-tieable SI/HI/QImodes in SSE registers.
2248
2249 2007-06-22  Uros Bizjak  <ubizjak@gmail.com>
2250
2251         * config/i386/i386.c (override_options): Correct x86_sahf
2252         setting condition.
2253
2254 2007-06-21  David Daney  <ddaney@avtrex.com>
2255
2256         PR target/32406
2257         * config/mips/mips.md (define_constants): Rename UNSPEC_EH_RECEIVER
2258         to UNSPEC_NONLOCAL_GOTO_RECEIVER globally.
2259         (exception_receiver): Renamed to ...
2260         (nonlocal_goto_receiver): ... this.
2261
2262 2007-06-22  Roman Zippel <zippel@linux-m68k.org>
2263
2264         * df-scan.c (df_read_modify_subreg_p): Use REGMODE_NATURAL_SIZE.
2265         (df_def_record_1): Set (DF_REF_READ_WRITE | DF_REF_PARTIAL) for
2266         partial register accesses.
2267
2268 2007-06-21  Adam Nemet  <anemet@caviumnetworks.com>
2269
2270         * fold-const.c (debug_fold_checksum): Move it under
2271         ENABLE_FOLD_CHECKING.
2272
2273 2007-06-21  Sebastian Pop  <sebpop@gmail.com>
2274
2275         PR middle-end/20623
2276         * tree.h (debug_fold_checksum): Declared.
2277         * fold-const.c (build_fold_addr_expr_with_type_1): New.
2278         (build_fold_addr_expr_with_type, build_fold_addr_expr): Use
2279         build_fold_addr_expr_with_type_1.
2280         (fold_addr_expr, debug_fold_checksum): New.
2281         (fold_checksum_tree): Don't fold TREE_CHAIN of an SSA_NAME.
2282         (fold_unary, fold_comparison, split_address_to_core_and_offset):
2283         Use fold_addr_expr.
2284
2285 2007-06-21  Sebastian Pop  <sebpop@gmail.com>
2286
2287         PR tree-optimization/19590
2288         * tree-vrp.c (adjust_range_with_scev): Set the range when the result
2289         of scev is a constant.
2290         * gcc/testsuite/gcc.dg/tree-ssa/pr19590.c: New.
2291
2292 2007-06-21  Kenneth Zadeck <zadeck@naturalbridge.com>
2293
2294         * df-problems.c (df_note_bb_compute): Made computation of live
2295         info consistent with df_lr.
2296
2297 2007-06-21  Richard Guenther  <rguenther@suse.de>
2298
2299         PR tree-optimization/32453
2300         * tree-vrp.c (extract_range_from_assert): Build POINTER_PLUS_EXPR
2301         for pointer anti-range.
2302
2303 2007-06-21  H.J. Lu  <hongjiu.lu@intel.com>
2304
2305         * config/i386/i386.c (processor_target_table): Increase maximum
2306         skip from 7 byte to 10 byte for Pentium Pro, Core 2 Duo and
2307         default 64bit.
2308
2309         * config/i386/linux.h (ASM_OUTPUT_MAX_SKIP_ALIGN): Ensure 8
2310         byte alignment if > 8 byte alignment is preferred.
2311         * config/i386/x86-64.h (ASM_OUTPUT_MAX_SKIP_ALIGN): Likewise.
2312
2313 2007-06-21  Jakub Jelinek  <jakub@redhat.com>
2314
2315         PR tree-optimization/31866
2316         * tree-ssa-coalesce.c (create_outofssa_var_map): Do nothing
2317         if ASM_EXPR's input is not a SSA_NAME.
2318
2319         PR middle-end/32362
2320         * omp-low.c (lookup_decl_in_outer_ctx): Don't ICE if t is NULL,
2321         but decl is a global var, instead return decl.
2322         * gimplify.c (gimplify_adjust_omp_clauses_1): Add shared clauses
2323         even for is_global_var decls, if they are private in some outer
2324         context.
2325
2326 2007-06-21  Richard Guenther  <rguenther@suse.de>
2327
2328         PR tree-optimization/32451
2329         * tree-ssa-threadupdate.c (thread_single_edge): Fixup edge flags.
2330
2331 2007-06-21  Christian Bruel  <christian.bruel@st.com>
2332
2333         * config/sh/sh-protos.h (sh_loads_bankedreg_p): Declare.
2334         * config/sh/sh.c (sh_loads_bankedreg_p): New function.
2335         (push_regs): Changed saving order or banked registers.
2336         (sh_expand_epilogue): Likewise.
2337         * config/sh/sh.h (BANKED_REGISTER_P): New macro.
2338         (FIRST_BANKED_REG): Likewise.
2339         (LAST_BANKED_REG): Likewise.
2340         * config/sh/sh.md (banked) New attribute.
2341         (in_delay_slot): Check banked attribute.
2342
2343 2007-06-20  Sebastian Pop  <sebpop@gmail.com>
2344
2345         PR tree-optimization/32075
2346         * tree-data-ref.c (subscript_dependence_tester_1,
2347         analyze_miv_subscript, analyze_overlapping_iterations,
2348         add_distance_for_zero_overlaps, build_classic_dist_vector,
2349         subscript_dependence_tester_1, analyze_overlapping_iterations,
2350         subscript_dependence_tester, access_functions_are_affine_or_constant_p,
2351         compute_affine_dependence, compute_all_dependences): Pass loop_nest
2352         to evolution_function_is_affine_multivariate_p.
2353
2354 2007-06-20  Eric Botcazou  <ebotcazou@libertysurf.fr>
2355
2356         * df-scan.c (df_get_call_refs): Be prepared for MEMs inside CLOBBERs.
2357
2358 2007-06-20  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2359
2360         PR target/32335
2361         * config/m32c/m32c.c (m32c_emit_epilogue): Use new HImode epilogue
2362         for TARGET_A16.
2363         * config/m32c/prologue.md (epilogue_exitd_16): New.
2364         (epilogue_reit_16): New.
2365         (epilogue_exitd): Rename to epilogue_exitd_24.
2366         (epilogue_reit): Rename to epilogue_reit_24.
2367
2368 2007-06-20  Seongbae Park  <seongbae.park@gmail.com>
2369             Maxim Kuvyrkov  <mkuvyrkov@ispras.ru>
2370
2371         * dbgcnt.def (global_alloc_at_func, global_alloc_at_reg):
2372         New counters.
2373         * haifa-sched.c (queue_to_ready): Don't requeue next insn
2374         if dbg_cnt (sched_insn) reaches the limit.
2375         (choose_ready): New parameter INSN_PTR and new return value.
2376         (schedule_block): Handle dbg_cnt (sched_insn). Handle
2377         the new return value from choose_ready.
2378         * global.c (global_aloc): New dbgcnt global_alloc_at_reg.
2379         (rest_of_handle_global_alloc): New global_alloc_at_func.
2380
2381 2007-06-20  Adam Nemet  <anemet@caviumnetworks.com>
2382
2383         PR tree-optimization/25737
2384         * tree.h (struct tree_struct_field_tag): Add new field alias_set.
2385         (SFT_NONADDRESSABLE_P, SFT_ALIAS_SET): New macros.
2386         * tree-flow.h (struct fieldoff): Add new field alias_set.
2387         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Add new
2388         argument addressable_type.  Set alias_set of fieldoff.
2389         * tree-ssa-alias.c (create_sft): Add new argument alias_set.
2390         (create_overlap_variables_for): Pass alias_set from fieldoff to
2391         create_sft.
2392         * alias.c (get_alias_set): Use alias_set from SFT if set.
2393
2394 2007-06-20  Hui-May Chang  <hm.chang@apple.com>
2395
2396         * config/i386/darwin.h (ASM_OUTPUT_COMMON): Print the size
2397         of a variable as an unsigned HOST_WIDE_INT integer.
2398
2399 2007-06-20  Zdenek Dvorak  <dvorakz@suse.cz>
2400
2401         PR rtl-optimization/32405
2402         * loop-iv.c (iv_get_reaching_def): Fail for partial defs.
2403
2404 2007-06-20  Jakub Jelinek  <jakub@redhat.com>
2405
2406         * Makefile.in (omega.o): Depend on $(DIAGNOSTIC_H).
2407
2408         PR middle-end/31959
2409         * builtins.c: Include diagnostic.h.
2410         (expand_builtin_expect): Make gcc_assert more permissive.
2411         * Makefile.in (builtins.o): Depend on $(DIAGNOSTIC_H).
2412
2413         PR inline-asm/32109
2414         * gimplify.c (gimplify_asm_expr): Issue error if type is addressable
2415         and !allows_mem.
2416
2417         PR middle-end/32285
2418         * calls.c (precompute_arguments): Also precompute CALL_EXPR arguments
2419         if ACCUMULATE_OUTGOING_ARGS.
2420
2421 2007-06-19  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2422
2423         * config/m68hc11/m68hc11.c: Include dataflow header file.
2424         (m68hc11_reorg): Port to dataflow.
2425
2426 2007-06-19  Kenneth Zadeck <zadeck@naturalbridge.com>
2427
2428         * df.h (DF_FIRST_OPTIONAL_PROBLEM): Removed.
2429         (struct df_problem.free_blocks_on_set_blocks): New field.
2430         (struct dataflow.optional_p): New field.
2431         (df_bb_regno_last_use_find, df_insn_regno_def_p): Removed.
2432         (df_live_set_all_dirty): New function.
2433         * df-scan.c (df_scan_alloc): Initialize optional_p.
2434         (problem_SCAN): Initialize free_blocks_on_set_blocks.
2435         * df-core.c (df_set_blocks): Removed use of
2436         DF_FIRST_OPTIONAL_PROBLEM.  Now uses
2437         df_problem.free_blocks_on_set_blocks to determine which blocks are
2438         recycled.
2439         (df_remove_problem): Removed use of DF_FIRST_OPTIONAL_PROBLEM.
2440         (df_finish_pass): Removed use of DF_FIRST_OPTIONAL_PROBLEM.  Now
2441         uses dataflow.optional_p to determine if problem should be
2442         deleted.
2443         (rest_of_handle_df_initialize): Only start live problem if
2444         -02 or above.
2445         (df_bb_regno_last_use_find, df_insn_regno_def_p): Removed.
2446         * df-problems.c (df_ru_alloc, df_rd_alloc, df_lr_alloc,
2447         df_live_alloc, df_urec_alloc, df_note_alloc): set optional_p.
2448         (problem_RU, problem_RD, problem_LR, problem_UREC, problem_CHAIN,
2449         problem_NOTE):  Initialize free_blocks_on_set_blocks.
2450         (df_lr_bb_local_compute): Recompute luids if df_live problem is
2451         not active.
2452         (df_live_set_all_dirty, df_note_alloc): New function.
2453         * regrename.c (merge_overlapping_regs): Change DF_LIVE_* to
2454         df_get_live_*.
2455         * sched_ebb.c (compute_jump_reg_dependencies): Ditto.
2456         * postreload.c (reload_combine): Ditto.
2457         * cse.c (cse_extended_basic_block): Ditto.
2458         * regmove.c (mark_flags_life_zones): Ditto.
2459         * rtlfactoring.c (split_blocks_after_seqs, split_pattern_seq,
2460         erase_matching_seqs): Ditto.
2461         * bt-load.c (compute_defs_uses_and_gen): Ditto.
2462         * integrate (allocate_initial_values): Ditto.
2463         * combine.c (reg_dead_at_p): Ditto.
2464         * resource.c (mark_target_live_regs): Ditto.
2465         * sched-rgn.c (check_live_1, update_live_1): Ditto.
2466         * config/sh/sh.c (find_r0_life_regions): Ditto.
2467         * global.c (rest_of_handle_global_alloc): Only add back df_live
2468         for -O > 1.
2469         * local-alloc.c (rest_of_handle_local_alloc): Only remove
2470         df_live for -O > 1.
2471         * ifcvt.c (dead_or_predicable): Change DF_LIVE_* to
2472         df_get_live_*.
2473         (if_convert): Make sure df_live is there at -O == 1.
2474         (pass_if_after_combine): Cleanup flags.
2475         * init-regs.c (initialize_uninitialized_regs): Make sure df_live
2476         is there at -O == 1.
2477
2478 2007-06-19  Seongbae Park  <seongbae.park@gmail.com>
2479
2480         * config/arm/arm.c (arm_get_frame_offsets): Set
2481         offsets->locals_base to avoid negative stack size.
2482         (thumb1_expand_prologue): Assert on negative stack size.
2483
2484 2007-04-19  Sebastian Pop  <sebpop@gmail.com>
2485
2486         PR tree-optimization/32367
2487         * tree-chrec.h (build_polynomial_chrec): Verify that the left hand side
2488         of the chrec has no evolution in that loop.
2489         * testsuite/gcc.dg/tree-ssa/pr32367.c: New.
2490
2491 2007-06-19  Bob Wilson  <bob.wilson@acm.org>
2492
2493         * config/xtensa/xtensa.c: Include "df.h".
2494         (xtensa_builtin_saveregs): Use adjust_address instead of
2495         change_address.
2496         (xtensa_va_start): Invoke make_tree with sizetype for
2497         expand_builtin_saveregs and then convert the result to a pointer.
2498         Use POINTER_PLUS_EXPR.  Use size_int instead of build_int_cst.
2499         (xtensa_gimplify_va_arg_expr): Use size_int instead of build_int_cst.
2500         Subtract argument size from index value as integers and then use
2501         POINTER_PLUS_EXPR to add the result to the array address.
2502
2503 2007-06-19  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2504
2505         PR target/32335
2506         * config/m32c/m32c.c: Include dataflow header file.
2507         (m32c_emit_prologue): Adjust for prologue insn change.
2508         * config/m32c/prologue.md (prologue_enter_16): Only modify SP_REGNO
2509         once inside a PARALLEL. Assume frame size passed in operand 0
2510         includes space to save the fb register.
2511         (prologue_enter_24): Likewise.
2512         (epilogue_exitd): Only modify SP_REGNO once inside a PARALLEL.
2513
2514 2007-06-19  David Daney  <ddaney@avtrex.com
2515
2516         PR target/32313
2517         * config/mips/mips.md (cprestore): Mark $gp as used.
2518
2519 2007-06-19  Rask Ingemann Lambertsen  <rask@sygehus.dk>
2520
2521         PR target/32369
2522         * config/frv/frv.c (frv_ifcvt_modify_tests): Dataflow merge fix.
2523         (frv_ifcvt_modify_insn): Likewise.
2524
2525 2007-06-19  Richard Guenther  <rguenther@suse.de>
2526
2527         * tree-ssa-structalias.c (handle_ptr_arith): Make sure to
2528         only handle positive offsets that fit in a HOST_WIDE_INT.
2529
2530 2007-06-19  Uros Bizjak  <ubizjak@gmail.com>
2531
2532         * config/i386/i386.c (ix86_emit_swsqrtsf): Filter out infinity
2533         result of rsqrt insn for zero input argument to avoid NaN.
2534
2535 2007-06-19  Richard Guenther  <rguenther@suse.de>
2536
2537         PR middle-end/31950
2538         * tree-ssa-alias-warnings.c (ffan_walker): Punt on MTAGs.
2539
2540 2007-06-19  Jakub Jelinek  <jakub@redhat.com>
2541
2542         PR tree-optimization/32353
2543         * tree-ssa-structalias.c (set_uids_in_ptset): Also handle RESULT_DECL.
2544
2545 2007-06-19  Nick Clifton  <nickc@redhat.com>
2546
2547         * config/m32r/linux.h (LIB_SPEC): Always imply -lpthread for -pthread.
2548
2549 2007-06-18  Uros Bizjak  <ubizjak@gmail.com>
2550
2551         PR target/32389
2552         * config/i386/i386.h (enum ix86_stack_slot): Add SLOT_VIRTUAL.
2553         * config/i386/i386.c (assign_386_stack_local): Assert that
2554         SLOT_VIRTUAL is valid only before virtual regs are instantiated.
2555         (ix86_expand_builtin) [IX86_BUILTIN_LDMXCSR, IX86_BUILTIN_STMXCSR]:
2556         Use SLOT_VIRTUAL stack slot instead of SLOT_TEMP.
2557         * config/i386/i386.md (truncdfsf2, truncxf<mode>2): Ditto.
2558
2559 2007-06-18  Steve Ellcey  <sje@cup.hp.com>
2560
2561         * config/ia64/ia64.h (LIBGCC2_TF_CEXT): New.
2562
2563 2007-06-18  Seongbae Park  <seongbae.park@gmail.com>
2564
2565         PR rtl-optimization/32321
2566         * gcse.c (replace_store_insn): Update the note before
2567         calling emit_insn_after.
2568
2569 2007-06-18  Kenneth Zadeck <zadeck@naturalbridge.com>
2570
2571         PR middle-end/32355
2572         * gcse (rest_of_handle_gcse): Add call to df_finish_pass after
2573         cse_main.
2574         * df-problems.c (df_note_bb_compute): Fix dumping info.
2575
2576 2007-06-18  Kazu Hirata  <kazu@codesourcery.com>
2577
2578         * config/m68k/m68k.c (m68k_expand_epilogue): Emit a return
2579         insn with emit_jump_insn.
2580
2581 2007-06-18  Uros Bizjak  <ubizjak@gmail.com>
2582
2583         PR tree-optimization/32383
2584         * targhooks.c (default_builtin_reciprocal): Add new bool argument.
2585         * targhooks.h (default_builtin_reciprocal): Update prototype.
2586         * target.h (struct gcc_target): Update builtin_reciprocal.
2587         * doc/tm.texi (TARGET_BUILTIN_RECIPROCAL): Update description.
2588         * tree-ssa-math-opts (execute_cse_reciprocals): Skip statements
2589         where arg1 is not SSA_NAME.  Pass true to targetm.builtin_reciprocal
2590         when fndecl is in BUILT_IN_MD class.
2591         (execute_convert_to_rsqrt): Ditto.
2592
2593         * config/i386/i386.c (ix86_builtin_reciprocal): Update for new bool
2594         argument.  Convert IX86_BUILTIN_SQRTPS code only when md_fn is true.
2595         Convert BUILT_IN_SQRTF code only  when md_fn is false.
2596
2597 2007-06-18  Kaz Kojima  <kkojima@gcc.gnu.org>
2598
2599         * bt-load.c (move_btr_def): Fix the order of arguments
2600         to validate_replace_rtx.
2601
2602 2007-06-18  Nathan Sidwell  <nathan@codesourcery.com>
2603
2604         * config/m68k/m68k-devices.def: Add 54450..54455.
2605
2606 2007-06-17  Uros Bizjak  <ubizjak@gmail.com>
2607
2608         PR rtl-optimization/32366
2609         * simplify-rtx.c (simplify_unary_operation_1) [FLOAT_TRUNCATE,
2610         FLOAT_EXTEND]: Prevent non-scalar modes from entering
2611         significand_size.
2612
2613 2007-06-17  Kenneth Zadeck <zadeck@naturalbridge.com>
2614
2615         PR middle-end/32349
2616         * modulo-sched (generate_reg_moves): Added rescan parameter and if
2617         this is true, rescan insn being modified.
2618         (sms_schedule): Added rescan parameter.
2619         (rest_of_handle_sms): Moved freeing of dominance info to before
2620         getting out of cfg_layout.
2621
2622 2007-06-17  Nathan Sidwell  <nathan@codesourcery.com>
2623
2624         * config/m68k/m68k.h (ISA_HAS_FF1, ISA_HAS_MVS_MVZ): New.
2625         * config/m68k/m68k.md: Use ISA_HAS_FF1 and ISA_HAS_MVS_MVZ as
2626         appropriate.
2627
2628         * config/m68k/m68k.c (all_isas): Remove FL_CF_FPU and
2629         FL_CF_EMAC from the entry for isac.
2630
2631         * config/m68k/predicates.md (const_call_operand): Adjust comment.
2632         (const_sibcall_operand): New.
2633         (sibcall_operand): Use it.
2634         * config/m68k/m68k.c (FL_FOR_isa_c): Not ISA_B compatible.
2635         (m68k_isas): ISAC does not imply FPU or EMAC.
2636         (override_options): Add ISA_C logic for symbolic jump & call.
2637
2638 2007-06-17  Eric Botcazou  <ebotcazou@libertysurf.fr>
2639
2640         * config/sparc/sparc.c (sparc_vis_init_builtins): Retrieve the
2641         return mode from the builtin itself.
2642         (sparc_fold_builtin): Fix cast of zero constant.
2643
2644 2007-06-16  Uros Bizjak  <ubizjak@gmail.com>
2645
2646         * targhooks.c (default_builtin_reciprocal): New default target hook.
2647         * targhooks.h (default_builtin_reciprocal): Add prototype.
2648         * hooks.c (hook_tree_tree_bool_null): Remove hook.
2649         * hooks.h (hook_tree_tree_bool_null): Remove prototype.
2650         * target-def.h (TARGET_BUILTIN_RECIPROCAL): Define as
2651         default_builtin_reciprocal.
2652
2653 2007-06-16  Uros Bizjak  <ubizjak@gmail.com>
2654
2655         PR middle-end/31723
2656         * hooks.c (hook_tree_tree_bool_null): New hook.
2657         * hooks.h (hook_tree_tree_bool_null): Add prototype.
2658         * tree-pass.h (pass_convert_to_rsqrt): Declare.
2659         * passes.c (init_optimization_passes): Add pass_convert_to_rsqrt.
2660         * tree-ssa-math-opts.c (execute_cse_reciprocals): Scan for a/func(b)
2661         and convert it to reciprocal a*rfunc(b).
2662         (execute_convert_to_rsqrt): New function.
2663         (gate_convert_to_rsqrt): New function.
2664         (pass_convert_to_rsqrt): New pass definition.
2665         * target.h (struct gcc_target): Add builtin_reciprocal.
2666         * target-def.h (TARGET_BUILTIN_RECIPROCAL): New define.
2667         (TARGET_INITIALIZER): Initialize builtin_reciprocal with
2668         TARGET_BUILTIN_RECIPROCAL.
2669         * doc/tm.texi (TARGET_BUILTIN_RECIPROCAL): Document.
2670
2671         * config/i386/i386.h (TARGET_RECIP): New define.
2672         * config/i386/i386.md (divsf3): Expand by calling ix86_emit_swdivsf
2673         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2674         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2675         and not optimizing for size.
2676         (*rcpsf2_sse): New insn pattern.
2677         (*rsqrtsf2_sse): Ditto.
2678         (rsqrtsf2): New expander.  Expand by calling ix86_emit_swsqrtsf
2679         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2680         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2681         and not optimizing for size.
2682         (sqrt<mode>2): Expand SFmode operands by calling ix86_emit_swsqrtsf
2683         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2684         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2685         and not optimizing for size.
2686         * config/i386/sse.md (divv4sf): Expand by calling ix86_emit_swdivsf
2687         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2688         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2689         and not optimizing for size.
2690         (*sse_rsqrtv4sf2): Do not export.
2691         (sqrtv4sf2): Ditto.
2692         (sse_rsqrtv4sf2): New expander.  Expand by calling ix86_emit_swsqrtsf
2693         for TARGET_SSE_MATH and TARGET_RECIP when flag_finite_math_only and
2694         flag_unsafe_math_optimizations are set, flag_trapping_math is unset
2695         and not optimizing for size.
2696         (sqrtv4sf2): Ditto.
2697         * config/i386/i386.opt (mrecip): New option.
2698         * config/i386/i386-protos.h (ix86_emit_swdivsf): Declare.
2699         (ix86_emit_swsqrtsf): Ditto.
2700         * config/i386/i386.c (IX86_BUILTIN_RSQRTF): New constant.
2701         (ix86_init_mmx_sse_builtins): __builtin_ia32_rsqrtf: New
2702         builtin definition.
2703         (ix86_expand_builtin): Expand IX86_BUILTIN_RSQRTF using
2704         ix86_expand_unop1_builtin.
2705         (ix86_emit_swdivsf): New function.
2706         (ix86_emit_swsqrtsf): Ditto.
2707         (ix86_builtin_reciprocal): New function.
2708         (TARGET_BUILTIN_RECIPROCAL): Use it.
2709         (ix86_vectorize_builtin_conversion): Rename from
2710         ix86_builtin_conversion.
2711         (TARGET_VECTORIZE_BUILTIN_CONVERSION): Use renamed function.
2712         * doc/invoke.texi (Machine Dependent Options): Add -mrecip to
2713         "i386 and x86_64 Options" section.
2714         (Intel 386 and AMD x86_64 Options): Document -mrecip.
2715
2716 2007-06-15  Andrew Pinski <andrew_pinski@playstation.sony.com>
2717             Zdenek Dvorak <dvorakz@suse.cz>
2718             Richard Guenther  <rguenther@suse.de>
2719             Kaz Kojima  <kkojima@gcc.gnu.org>
2720
2721         * tree-vrp.c (compare_values_warnv): Convert val2 to
2722         the type of val1.
2723         (extract_range_from_assert): Create
2724         POINTER_PLUS_EXPR for pointer types.
2725         (extract_range_from_binary_expr): Handle
2726         only POINTER_PLUS_EXPR, MIN_EXPR, and MAX_EXPR
2727         for pointer types.
2728         * doc/c-tree.texi (POINTER_PLUS_EXPR): Document.
2729         * tree-ssa-loop-niter.c (split_to_var_and_offset): Handle
2730         POINTER_PLUS_EXPR as PLUS_EXPR.
2731         (number_of_iterations_lt_to_ne):
2732         For pointer types, use sizetype when
2733         creating MINUS_EXPR/PLUS_EXPRs.
2734         (assert_loop_rolls_lt): For pointer types, use sizetype when
2735         creating MINUS_EXPR/PLUS_EXPRs.
2736         (number_of_iterations_le): Likewise.
2737         (expand_simple_operations): POINTER_PLUS_EXPR are simple also.
2738         (derive_constant_upper_bound): Handle POINTER_PLUS_EXPR just
2739         like PLUS_EXPR and MINUS_EXPR.
2740         * tree-pretty-print.c (dump_generic_node): Handle
2741         POINTER_PLUS_EXPR.
2742         (op_prio): Likewise.
2743         (op_symbol_1): Likewise.
2744         * optabs.c (optab_for_tree_code): Likewise.
2745         * tree-ssa-loop-manip.c (create_iv): Handle pointer base
2746         specially.
2747         * tree-tailcall.c (process_assignment): Mention
2748         POINTER_PLUS_EXPR in a TODO comment.
2749         * tree.c (build2_stat): Assert when trying to use PLUS_EXPR or
2750         MINUS_EXPR with a pointer. Also assert for POINTER_PLUS_EXPR
2751         not used with a pointer and an integer type.
2752         * tree-scalar-evolution.c (add_to_evolution_1): Convert the
2753         increment using chrec_convert_rhs instead of chrec_convert.
2754         (follow_ssa_edge_in_rhs): Handle POINTER_PLUS_EXPR like
2755         PLUS_EXPR except for the right hand side's type will be
2756         sizetype.
2757         (interpret_rhs_modify_stmt): Handle POINTER_PLUS_EXPR.
2758         (fold_used_pointer_cast): Kill.
2759         (pointer_offset_p): Kill.
2760         (fold_used_pointer): Kill.
2761         (pointer_used_p): Kill.
2762         (analyze_scalar_evolution_1 <case GIMPLE_MODIFY_STMT>): Don't
2763         call fold_used_pointer.
2764         (instantiate_parameters_1): Convert the increment
2765         using chrec_convert_rhs instead of chrec_convert.
2766         Handle POINTER_PLUS_EXPR as PLUS_EXPR.
2767         * builtins.c (get_pointer_alignment): Handle POINTER_PLUS_EXPR
2768         instead of PLUS_EXPR.
2769         (expand_builtin_strcat): Create a POINTER_PLUS_EXPR instead of
2770         PLUS_EXPR for pointers.
2771         (std_gimplify_va_arg_expr): Likewise.
2772         (fold_builtin_memory_op): Likewise.
2773         (fold_builtin_strstr): Likewise.
2774         (fold_builtin_strchr): Likewise.
2775         (fold_builtin_strrchr): Likewise.
2776         (fold_builtin_strpbrk): Likewise.
2777         (expand_builtin_memory_chk): Likewise.
2778         (fold_builtin_memory_chk): Likewise.
2779         (std_expand_builtin_va_start): Use
2780         sizetype for the call to make_tree and then convert
2781         to the pointer type.
2782         (fold_builtin_memchr): Use POINTER_PLUS_EXPR
2783         instead of PLUS_EXPR for adding to a pointer.
2784         (std_gimplify_va_arg_expr): Use fold_build2 for
2785         the creating of POINTER_PLUS_EXPR.  For the BIT_AND_EXPR, cast
2786         the operands to sizetype first and then cast the BIT_AND_EXPR
2787         back to the pointer type.
2788         * fold-const.c (build_range_check): Handle pointer types
2789         specially.
2790         (extract_array_ref): Look for POINTER_PLUS_EXPR instead
2791         of PLUS_EXPR's. Make sure the offset is converted to
2792         sizetype.
2793         (try_move_mult_to_index): Strip the NOPs from the offset.
2794         Remove code argument and replace all uses with PLUS_EXPR.
2795         (fold_to_nonsharp_ineq_using_bound): Handle pointer types
2796         specially. Don't use a pointer type for MINUS_EXPR.
2797         (fold_unary): Handle for (T1)(X op Y),
2798         only p+ as that is the only as that can be handled for
2799         binary operators now.
2800         (fold_binary <case POINTER_PLUS_EXPR>): Add folding of
2801         POINTER_PLUS_EXPR.
2802         <case PLUS_EXPR>: Add folding of PTR+INT into
2803         PTR p+ INT.
2804         Don't call try_move_mult_to_index.
2805         <case MINUS_EXPR>: Fold (PTR0 p+ A) - (PTR1 p+ B)
2806         into (PTR0 - PTR1) + (A - B). Fold (PTR0 p+ A) - PTR1 into
2807         (PTR0 - PTR1) + A iff (PTR0 - PTR1) simplifies.
2808         Don't call try_move_mult_to_index.
2809         (tree_expr_nonnegative_warnv_p): Handle POINTER_PLUS_EXPR.
2810         (tree_expr_nonzero_p): Likewise.
2811         (fold_indirect_ref_1): Look at POINTER_PLUS_EXPR instead
2812         of PLUS_EXPR for the complex expression folding.
2813         * tree-chrec.c (chrec_fold_plus_poly_poly): If the
2814         first chrec is a pointer type, then the second should
2815         be sizetype and not the first's type.
2816         For POINTER_PLUS_EXPR, use a different right hand side type.
2817         Handle POINTER_PLUS_EXPR like PLUS_EXPR.
2818         (chrec_fold_plus_1): For POINTER_PLUS_EXPR, use a
2819         different right hand side type.
2820         Handle POINTER_PLUS_EXPR like PLUS_EXPR.
2821         (chrec_fold_plus): For pointer types, use POINTER_PLUS_EXPR
2822         instead of PLUS_EXPR.
2823         When either operand is zero, convert the other operand.
2824         (chrec_apply): Use chrec_convert_rhs
2825         on the argument x instead of chrec_convert.
2826         (reset_evolution_in_loop): For pointer types, the new_evol
2827         should be sizetype.
2828         (convert_affine_scev): For POINTER_PLUS_EXPR, use a
2829         different right hand side type.
2830         Handle POINTER_PLUS_EXPR like PLUS_EXPR.
2831         (chrec_convert_rhs): New function.
2832         (chrec_convert_aggressive): For POINTER_PLUS_EXPR, use a
2833         different right hand side type.
2834         Handle POINTER_PLUS_EXPR like PLUS_EXPR.
2835         * tree-chrec.h (chrec_convert_rhs): New prototype.
2836         (build_polynomial_chrec): For pointer types, the right hand
2837         * tree-ssa-ccp.c (maybe_fold_stmt_indirect): Look for
2838         POINTER_PLUS_EXPR instead of PLUS_EXPR's.
2839         Remove subtraction case as it is always addition now.
2840         Make sure the offset is converted to sizetype.
2841         (fold_stmt_r): Don't handle PLUS_EXPR/MINUS_EXPR specially.
2842         Handle POINTER_PLUS_EXPR like PLUS_EXPR was handled before.
2843         * tree-ssa-loop-ivopts.c (determine_base_object): Abort for
2844         PLUS_EXPR in pointer type.
2845         Handle POINTER_PLUS_EXPR.
2846         (tree_to_aff_combination): Likewise.
2847         (force_expr_to_var_cost): Likewise.
2848         (force_expr_to_var_cost): Likewise. Create a POINTER_PLUS_EXPR
2849         instead of PLUS_EXPR for pointers.
2850         * c-format.c (check_format_arg): Handle POINTER_PLUS_EXPR
2851         instead of PLUS_EXPR of pointer types.
2852         * tree-stdarg.c (va_list_counter_bump): Handle POINTER_PLUS_EXPR
2853         as PLUS_EXPR.
2854         (check_va_list_escapes): Likewise.
2855         (check_all_va_list_escapes): Likewise.
2856         * dwarf2out.c (loc_descriptor_from_tree_1):
2857         Handle POINT_PLUS_EXPR as a PLUS_EXPR.
2858         * expr.c (expand_expr_real_1): Handle POINTER_PLUS_EXPR.
2859         (string_constant): Likewise.
2860         * tree-ssa-address.c (tree_mem_ref_addr): When adding
2861         the offset to the base, use POINTER_PLUS_EXPR.
2862         (add_to_parts): Convert the index to sizetype.
2863         (create_mem_ref): Create A POINTER_PLUS_EXPR for the one case.
2864         * matrix-reorg.c (collect_data_for_malloc_call): Stmt
2865         will now only be either INDIRECT_REF and POINTER_PLUS_EXPR.
2866         Offset only holds something for PLUS_EXPR.
2867         (ssa_accessed_in_tree): Handle POINTER_PLUS_EXPR just as
2868         a PLUS_EXPR.
2869         (analyze_transpose): POINTER_PLUS_EXPR will only show up now
2870         and not PLUS_EXPR.
2871         (analyze_accesses_for_modify_stmt): Likewise.
2872         Remove comment about the type being integral type as it is
2873         wrong now.
2874         (can_calculate_expr_before_stmt): Handle POINTER_PLUS_EXPR as
2875         PLUS_EXPR.
2876         (transform_access_sites): POINTER_PLUS_EXPR will only show up now
2877         and not PLUS_EXPR.
2878         Correct the type which the artimentic is done in (is now
2879         sizetype).
2880         Reindent one loop.
2881         * tree-data-ref.c (split_constant_offset): Handle
2882         POINTER_PLUS_EXPR
2883         * tree-affine.c (tree_to_aff_combination): Likewise.
2884         * c-typeck.c (build_unary_op): For pointers create the increment
2885         as a sizetype. Create a POINTER_PLUS_EXPR instead of PLUS_EXPR
2886         for pointers.
2887         * gimplify.c (gimplify_self_mod_expr): Create a
2888         POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
2889         (gimplify_omp_atomic_fetch_op): Handle POINTER_PLUS_EXPR.
2890         * tree.def (POINTER_PLUS_EXPR): New tree code.
2891         * tree-predcom.c (ref_at_iteration): If we have a pointer
2892         type do the multiplication in sizetype.
2893         * tree-mudflap.c (mf_xform_derefs_1): Create a
2894         POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
2895         * tree-ssa-forwprop.c
2896         (forward_propagate_addr_into_variable_array_index):
2897         Don't expect there to be a cast for the index as that
2898         does not exist anymore.
2899         (forward_propagate_addr_expr_1): Check for POINTER_PLUS_EXPR
2900         instead of PLUS_EXPR.
2901         Don't check for the first operand of the POINTER_PLUS_EXPR
2902         was the index as it cannot be.
2903         Call forward_propagate_addr_into_variable_array_index with
2904         the SSA_NAME instead of the statement.
2905         * varasm.c (const_hash_1): Handle POINTER_PLUS_EXPR.
2906         (compare_constant): Likewise.
2907         (copy_constant): Likewise.
2908         (compute_reloc_for_constant): Likewise.
2909         (output_addressed_constants): Likewise.
2910         (initializer_constant_valid_p): Likewise.
2911         * tree-ssa.c (tree_ssa_useless_type_conversion_1):
2912         Convert the MIN/MAX of the inner type to the outer
2913         type before comparing them.
2914         * tree-ssa-loop-prefetch.c (idx_analyze_ref):  Handle
2915         POINTER_PLUS_EXPR instead of PLUS_EXPR.
2916         (issue_prefetch_ref): Create a POINTER_PLUS_EXPR instead
2917         of PLUS_EXPR for pointers.
2918         * tree-inline.c (estimate_num_insns_1): Handle
2919         POINTER_PLUS_EXPR.
2920         * tree-vect-transform.c (vect_create_addr_base_for_vector_ref):
2921         Create a POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
2922         (bump_vector_ptr): Create a POINTER_PLUS_EXPR
2923         instead of PLUS_EXPR for the pointer increment statement.
2924         (vect_update_ivs_after_vectorizer): For pointer types, create
2925         POINTER_PLUS_EXPR instead of PLUS_EXPR and also create
2926         MULT_EXPR in sizetype.
2927         (vect_gen_niters_for_prolog_loop): Add a cast when creating
2928         byte_misalign.
2929         * tree-object-size.c (plus_expr_object_size): Handle
2930         POINTER_PLUS_EXPR instead of PLUS_EXPR.  Removing all the extra
2931         code which is trying to figure out which side is a pointer and
2932         is the index.
2933         (check_for_plus_in_loops_1): Likewise.
2934         (check_for_plus_in_loops): Likewise.
2935         * c-common.c (pointer_int_sum): Create a
2936         POINTER_PLUS_EXPR instead of PLUS_EXPR for pointers.
2937         * tree-ssa-structalias.c (handle_ptr_arith): Handle
2938         only POINTER_PLUS_EXPR.  Removing all the extra
2939         code which is trying to figure out which side is a pointer and
2940         is the index.
2941         * tree-cfg.c (verify_expr): Add extra checking for pointers and
2942         PLUS_EXPR and MINUS_EXPR.
2943         Also add checking to make sure the operands of POINTER_PLUS_EXPR
2944         are correct.
2945         * config/frv/frv.c (frv_expand_builtin_va_start): Use sizetype
2946         with make_tree, instead of a pointer type.
2947         * config/s390/s390.c (s390_va_start): Use POINTER_PLUS_EXPR
2948         for pointers instead of PLUS_EXPR.
2949         (s390_gimplify_va_arg): Likewise.
2950         * config/spu/spu.c (spu_va_start): Create POINTER_PLUS_EXPR
2951         instead of PLUS_EXPR when doing addition on pointer
2952         types.  Use sizetype for the second operand.
2953         (spu_gimplify_va_arg_expr): Likewise.
2954         * config/sparc/sparc.c (sparc_gimplify_va_arg): Use
2955         POINTER_PLUS_EXPR instead of PLUS_EXPR when the operand was
2956         a pointer.  Don't create a BIT_AND_EXPR for pointer types.
2957         * config/i386/i386.c (ix86_va_start): Use POINTER_PLUS_EXPR
2958         for the pointer addition and also use size_int/sizetype
2959         for the offset.
2960         (ix86_gimplify_va_arg): Likewise.
2961         Perform BIT_AND_EXPR on sizetype arguments.
2962         * config/sh/sh.c (sh_va_start): Call make_tree with sizetype
2963         and convert its result to a pointer type.  Use POINTER_PLUS_EXPR
2964         for the pointer additions and also use size_int for the offsets.
2965         (sh_gimplify_va_arg_expr): Use POINTER_PLUS_EXPR for the pointer
2966         additions and also use size_int for the offsets.  Perform
2967         BIT_AND_EXPR on sizetype arguments.
2968         * config/ia64/ia64.c (ia64_gimplify_va_arg): Use
2969         POINTER_PLUS_EXPR for pointers and create the
2970         BIT_AND_EXPR in sizetype.
2971         * config/rs6000/rs6000.c (rs6000_va_start): Use POINTER_PLUS_EXPR
2972         instead of PLUS_EXPR for pointer addition.
2973         (rs6000_va_start): Likewise.
2974         Also use sizetype for the offset.
2975         * config/pa/pa.c (reloc_needed): Handle POINTER_PLUS_EXPR
2976         as PLUS_EXPR/MINUS_EXPR.
2977         (hppa_gimplify_va_arg_expr): Don't create MINUS_EXPR or
2978         PLUS_EXPR for pointers, instead use POINTER_PLUS_EXPR.
2979         Don't use BIT_AND_EXPR on a pointer type, convert the
2980         expression to sizetype first.
2981         * config/mips/mips.c (mips_va_start): Use POINTER_PLUS_EXPR
2982         for pointers.
2983         (mips_gimplify_va_arg_expr): Likewise.
2984         Don't create BIT_AND_EXPR in a pointer type.
2985
2986 2007-06-15  Eric Christopher  <echristo@apple.com>
2987
2988         * config.gcc (i?86-*-darwin*): Add t-crtfm and t-crtpc.
2989         (x86_64-*-darwin*): Ditto.
2990         * config/i386/darwin.h (CRTEND_SPEC): New. Add support
2991         for above.
2992
2993 2007-06-15  Matthew Wilcox <matthew@wil.cx>
2994
2995         * doc/extend.texi: Document behavior of __attribute__((aligned))
2996         on typedefs.
2997
2998 2007-06-15  Mark Mitchell  <mark@codesourcery.com>
2999
3000         * rtlanal.c (note_stores): Improve documentation.
3001
3002 2007-06-15  Bernd Schmidt  <bernd.schmidt@analog.com>
3003
3004         * config/bfin/elf.h (ASM_GENERATE_INTERNAL_LABEL,
3005         LOCAL_LABEL_PREFIX): Delete.
3006         * config/bfin/bfin.c (TARGET_ASM_INTERNAL_LABEL): Delete.
3007         (bfin_internal_label): Delete.
3008
3009 2007-06-15  Uros Bizjak  <ubizjak@gmail.com>
3010
3011         * libgcc2.c (CEXT): When compiling L_multc3 and L_divtc3,
3012         define to "l" if LIBGCC_LONG_DOUBLE_SIZE == 128,
3013         otherwise define to LIBGCC2_TF_CEXT.
3014         * config/i386/linux64.h (LIBGCC2_HAS_TF_MODE): New define.
3015         (LIBGCC_TF_CEXT): Ditto.
3016         (TF_SIZE): Ditto.
3017
3018 2007-06-14  Seongbae Park  <seongbae.park@gmail.com>
3019
3020         PR rtl-optimization/32339
3021         * df-scan.c (df_uses_record): Don't modify flags but just add to
3022         it for df_ref_record.
3023
3024 2007-06-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3025
3026         * tree-mudflap.c: Fix whitespace issues.
3027
3028 2007-06-15  Kazu Hirata  <kazu@codesourcery.com>
3029
3030         * config/m68k/m68k.c (ASM_DOT, ASM_DOTW, ASM_DOTL): Remove.
3031
3032 2007-06-14  Eric Christopher  <echristo@apple.com>
3033
3034         * config/i386/sse.md (movdi_to_sse): Rewrite body.
3035         (movv4sf): Use gcc_unreachable instead of abort.
3036
3037 2007-06-14  Uros Bizjak  <ubizjak@gmail.com>
3038
3039         PR target/32268
3040         * config/i386/sfp-machine.h (CMPtype): New define.
3041         (mach stubs): Use CMPtype instead of int as a return type.
3042
3043 2007-06-14  Uros Bizjak  <ubizjak@gmail.com>
3044
3045         * config/soft-fp/eqdf2.c, config/soft-fp/eqsf2.c,
3046         config/soft-fp/eqtf2.c, config/soft-fp/gedf2.c,
3047         config/soft-fp/gesf2.c, config/soft-fp/getf2.c,
3048         config/soft-fp/ledf2.c, config/soft-fp/lesf2.c,
3049         config/soft-fp/letf2.c, config/soft-fp/unorddf2.c,
3050         config/soft-fp/unordsf2.c, config/soft-fp/unordtf2.c,
3051         config/soft-fp/soft-fp.h: Update from glibc CVS.
3052
3053 2007-06-14  Bernd Schmidt  <bernd.schmidt@analog.com>
3054
3055         * config/bfin/uclinux.h (MFWRAP_SPEC): New.
3056
3057 2007-06-14  Rask Ingemann Lambertsen  <rask@sygehus.dk>
3058
3059         PR target/32341
3060         * config/v850/v850.c: Include dataflow header file.
3061         (substitute_ep_register): Fix typo.
3062
3063 2007-06-14  Paolo Bonzini  <bonzini@gnu.org>
3064
3065         * configure.ac: Fix earlier checkin.
3066         * configure: Regenerated.
3067
3068 2007-06-14  Paolo Bonzini  <bonzini@gnu.org>
3069
3070         * acinclude.m4 (gcc_AC_CHECK_PROG_VER): Remove.
3071         * aclocal.m4: Regenerate.
3072         * configure.ac: Use ACX_PROG_CC_WARNING_OPTS,
3073         ACX_PROG_CC_WARNINGS_ARE_ERRORS,
3074         ACX_PROG_CC_WARNING_ALMOST_PEDANTIC, ACX_CHECK_PROG_VER.
3075         * configure: Regenerate.
3076         * Makefile.in (LOOSE_WARN): Subst loose_warn.
3077
3078         * Makefile.in (quickstrap): Build libgcc too.
3079
3080 2007-06-14  Paolo Bonzini  <bonzini@gnu.org>
3081
3082         * configure.ac: Add --enable-checking=df.  Explicitly mention that
3083         the variables are initialized as for "release".
3084         * df-core.c: Use it.
3085         * configure: Regenerate.
3086         * config.in: Regenerate.
3087
3088 2007-06-14  Bob Wilson  <bob.wilson@acm.org>
3089
3090         * config/xtensa/xtensa.c (xtensa_expand_nonlocal_goto): Use
3091         validate_replace_rtx instead of replace_rtx.
3092         (xtensa_expand_prologue): Call df_insn_rescan after replace_rtx.
3093
3094 2007-06-14  Danny Smith  <dannysmith@users.sourceforge.net>
3095
3096         * config/i386/cygming.h (DWARF_FRAME_REGNUM): Define.
3097         (DWARF2_UNWIND_INFO): Override default if configured with
3098         SJLJ EH disabled.
3099         * config/i386/cygwin.h (STARTFILE_SPEC): Add crtbegin.o.
3100         (ENDFILE_SPEC): Add crtend.o.
3101         * config/i386/mingw32.h (STARTFILE_SEC): Add crtbegin.o.
3102         (ENDFILE_SPEC): Add crtend.o.
3103         (TARGET_USE_JCR_SECTION): Define.
3104         (MD_UNWIND_SUPPORT): Define for 32-bit target.
3105
3106         * config/i386/cygming-crtbegin.c: New file.
3107         * config/i386/cygming-crtend.c: New file.
3108
3109 2007-06-14  Pascal Obry Pascal Obry  <obry@adacore.com>
3110
3111         * config/i386/w32-unwind.h: New file.
3112
3113 2007-06-13  Eric Christopher  <echristo@apple.com>
3114
3115         * config/i386/darwin.h (PREFERRED_STACK_BOUNDARY): Don't let
3116         the user set a value below STACK_BOUNDARY.
3117
3118 2007-06-13  Thiemo Seufer  <ths@networkno.de>
3119
3120         * config/mips/linux.h, config/mips/linux64.h (LIB_SPEC): Always
3121         imply -lpthread for -pthread.
3122
3123 2007-06-13  Kazu Hirata  <kazu@codesourcery.com>
3124
3125         * basic-block.h: Remove the prototype for
3126         free_basic_block_vars.
3127         * cfglayout.h: Remove the prototype for
3128         insn_locators_initialize.
3129         * tree.h: Remove the prototype for emit_line_note.
3130
3131         * tree-ssa-pre.c (mergephitemp): Remove.
3132         (init_pre): Don't use mergephitemp.
3133
3134 2007-06-13  Eric Christopher  <echristo@apple.com>
3135
3136         * config/i386/i386.c (override_options): If we've specified
3137         an arch then don't use TARGET_SUBTARGET_ISA_DEFAULTs.
3138
3139 2007-06-13  Bob Wilson  <bob.wilson@acm.org>
3140
3141         * df-scan.c (df_get_entry_block_def_set): Check if STATIC_CHAIN_REGNUM
3142         is defined.
3143
3144 2007-06-13  Bernd Schmidt  <bernd.schmidt@analog.com>
3145
3146         * config/bfin/bfin.h (EH_RETURN_HANDLER_RTX): Use gen_frame_mem.
3147         * config/bfin/bfin.md (UNSPEC_VOLATILE_STORE_EH_HANDLER): New constant.
3148         (eh_store_handler): New pattern.
3149         (eh_return): Emit it instead of a plain move.
3150
3151 2007-06-13  Uros Bizjak  <ubizjak@gmail.com>
3152
3153         * config/i386/i386.c (ix86_init_mmx_sse_builtins)
3154         [__builtin_infq, __builtin_fabsq]: Define usign def_builtin.
3155         [__builtin_ia32_rsqrtps, __builtin_ia32_rsqrtss]: Define using
3156         def_builtin_const.
3157
3158 2007-06-13  Bernd Schmidt  <bernd.schmidt@analog.com>
3159
3160         * config/bfin/bfin.c (gen_one_bundle): Delete unused local variables.
3161         (find_next_insn_start, find_load): New functions.
3162         (bfin_reorg): Use them to deal with the fact that parallel insns are
3163         no longer represented as a SEQUENCE.
3164
3165 2007-06-13  Eric Botcazou  <ebotcazou@libertysurf.fr>
3166
3167         * config/sparc/sparc.c (sparc_override_options): Initialize
3168         fpu mask correctly.
3169
3170 2007-06-13  Dave Korn  <dave.korn@artimi.com>
3171
3172         * config/i386/i386.c (ix86_eax_live_at_start_p): Use
3173         df_get_live_out.
3174
3175 2007-06-13  Kazu Hirata  <kazu@codesourcery.com>
3176
3177         * auto-inc-dec.c, c-incpath.c, config/c4x/libgcc.S,
3178         config/sh/divcost-analysis, dbgcnt.def, df-core.c,
3179         df-problems.c, df-scan.c, df.h, dominance.c, dse.c, regstat.c,
3180         tree-data-ref.c, tree-ssa-loop-im.c, tree-ssa-loop-prefetch.c,
3181         tree-vect-transform.c: Fix comment typos.  Follow spelling
3182         conventions.
3183
3184 2007-06-12  Seongbae Park  <seongbae.park@gmail.com>
3185
3186        * df-scan.c (df_get_exit-block_use_set): Always add the stack pointer
3187        to the exit block use set.
3188        (df_insn_delete, df_insn_rescan): Fixed spelling of "deferring".
3189        * gcse.c (cpro_jump): Don't emit barrier in cfglayout mode.
3190        * config/sparc/sparc.c (sparc_check_64): Check df != NULL.
3191
3192 2007-06-12  Seongbae Park  <seongbae.park@gmail.com>
3193
3194         * opts.c (common_handle_option): Handle new option -fdbg-cnt-list.
3195         * dbgcnt.c (dbg_cnt_set_limit_by_name): Return value
3196         to indicate an error.
3197         (dbg_cnt_process_single_pair, dbg_cnt_list_all_counters):
3198         New functions.
3199         (dbg_cnt_process_opt): Print an error on a bad argument.
3200         * dbgcnt.h (dbg_cnt_list_all_counters): New function declaration.
3201         * common.opt (-fdbg-cnt-list): New.
3202         * doc/invoke.texi (-fdbg-cnt-list,-fdbg-cnt=): New.
3203
3204 2007-06-12  Eric Botcazou  <ebotcazou@adacore.com>
3205
3206         * tree-ssa-alias.c (finalize_ref_all_pointers): Clear pt_anything
3207         flag on ref-all pointers.
3208
3209 2007-06-12  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3210
3211         PR middle-end/31579
3212         * expr.c (expand_expr_addr_expr_1): Call expand_expr
3213         for the offset with the modifier as EXPAND_INITIALIZER
3214         if the modifier is EXPAND_INITIALIZER.
3215         (expand_expr_real_1 <case INTEGER_CST>): Don't force to
3216         a register if we had an overflow.
3217
3218 2007-06-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3219
3220         * real.c (real_isfinite): New.
3221         (real_sqrt): Use it.
3222         * real.h (real_isfinite): New.
3223         * builtins.c: Use it.
3224
3225 2007-06-12  Ian Lance Taylor  <iant@google.com>
3226             Daniel Berlin  <dberlin@dberlin.org>
3227
3228         PR libstdc++/29286
3229         * tree.def: Add CHANGE_DYNAMIC_TYPE_EXPR.
3230         * tree.h (CHANGE_DYNAMIC_TYPE_NEW_TYPE): Define.
3231         (CHANGE_DYNAMIC_TYPE_LOCATION): Define.
3232         (DECL_NO_TBAA_P): Define.
3233         (struct tree_decl_common): Add no_tbaa_flag field.
3234         * tree-ssa-structalias.c (struct variable_info): Add
3235         no_tbaa_pruning field.
3236         (new_var_info): Initialize no_tbaa_pruning field.
3237         (unify_nodes): Copy no_tbaa_pruning field.
3238         (find_func_aliases): Handle CHANGE_DYNAMIC_TYPE_EXPR.
3239         (dump_solution_for_var): Print no_tbaa_pruning flag.
3240         (set_uids_in_ptset): Add no_tbaa_pruning parameter.  Change all
3241         callers.
3242         (compute_tbaa_pruning): New static function.
3243         (compute_points_to_sets): Remove CHANGE_DYNAMIC_TYPE_EXPR nodes.
3244         Call compute_tbaa_pruning.
3245         * tree-ssa-alias.c (may_alias_p): Test no_tbaa_flag for pointers.
3246         * gimplify.c (gimplify_expr): Handle CHANGE_DYNAMIC_TYPE_EXPR.
3247         * gimple-low.c (lower_stmt): Likewise.
3248         * tree-gimple.c (is_gimple_stmt): Likewise.
3249         * tree-ssa-operands.c (get_expr_operands): Likewise.
3250         * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Likewise.
3251         * tree-inline.c (estimate_num_insns_1): Likewise.
3252         (copy_result_decl_to_var): Likewise.
3253         * expr.c (expand_expr_real_1): Likewise.
3254         * tree-pretty-print.c (dump_generic_node): Likewise.
3255         * tree-inline.c (copy_decl_to_var): Copy DECL_NO_TBAA_P flag.
3256         * omp-low.c (omp_copy_decl_2): Likewise.
3257         * print-tree.c (print_node): Print DECL_NO_TBAA_P flag.
3258         * doc/c-tree.texi (Expression trees): Document
3259         CHANGE_DYNAMIC_TYPE_EXPR.
3260
3261 2007-06-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3262
3263         * fold-const.c (fold_binary): Guard (X-X) -> 0 transformation
3264         with !HONOR_NANS and !HONOR_INFINITIES.
3265         * simplify-rtx.c (simplify_binary_operation_1): Likewise.
3266
3267 2007-06-12  Tristan Gingold  <gingold@adacore.com>
3268
3269         * gcov.c: Comments updated.
3270         (source_info): Add file_time field.
3271         (source_index): New variable.
3272         (mutiple_files): New variable.
3273         (generate_results): New function extracted from process_file.
3274         (process_file): Save and restore chain of functions, generate
3275         results and free structures only if not merging results.
3276         (release_structures): File names are now freed in create_file_names
3277         (create_file_names): Free previous file names.
3278         (find_source): File date is now read here and modifications in
3279         source files is checked here.
3280         (read_graph_file): Only reverse order of functions for the current
3281         object file.
3282         (make_gcov_file_name): Do not generate long names if input_name is
3283         NULL.
3284         (output_lines): If merging results do not display graph, data and
3285         runs informations.
3286         Checking source file modification is done in find_source.
3287
3288         * doc/gcov.texi: Append an s to sourcefile.
3289
3290 2007-06-12  Bernd Schmidt  <bernd.schmidt@analog.com>
3291
3292         * config/bfin/bfin.md (UNSPEC_NOP): New constant.
3293         (forced_nop): New pattern.
3294         * config/bfin/bfin.c: Include "df.h".
3295         (add_to_reg): Use df_regs_ever_live_p instead of regs_ever_live.
3296         (bfin_discover_loop): Use df_get_live_in instead of
3297         global_live_at_start.
3298         (bfin_reorder_loops): Pass 0 to cfg_layout_initialize.  Call
3299         df_analyze when done.
3300         (gen_one_bundle): Don't generate SEQUENCE insns, just put modes on
3301         the insns.  Use QImode for the final insn in a bundle.  Call
3302         df_insn_rescan on generated NOPs; use gen_forced_nop instead of
3303         gen_nop.
3304         (reorder_var_tracking_notes): New function.
3305         (bfin_reorg): Pass no argument to split_all_insns.  Don't call
3306         update_life_info.  Call df_analyze after scheduling and bundle
3307         generation.  Call reorder_var_tracking_notes if generating these
3308         notes.  Call df_finish_pass at the end.
3309
3310 2007-06-12  Dirk Mueller  <dmueller@suse.de>
3311
3312         * optabs.c (debug_optab_libfuncs): fix gcc_assert to
3313         a comparison, not an assignment.
3314
3315 2007-06-12  Olivier Hainque  <hainque@adacore.com>
3316
3317         * tree-nested.c (convert_local_reference): Handle VIEW_CONVERT_EXPR.
3318         Request walking the subtrees only, leaving the current is_lhs/val_only
3319         untouched.
3320         (convert_non_local_reference): Likewise.
3321
3322 2007-06-12  Nathan Sidwell  <nathan@codesourcery.com>
3323
3324         * config/m68k/m68k-devices.def (52221, 52223, 5253): New.
3325
3326 2007-06-12  Richard Guenther  <rguenther@suse.de>
3327
3328         PR tree-optimization/15353
3329         PR tree-optimization/31657
3330         * passes.c (init_optimization_passes): Add pass_tree_ifcombine.
3331         * timevar.def: Add TV_TREE_IFCOMBINE.
3332         * tree-pass.h (pass_tree_ifcombine): Declare.
3333         * tree-ssa-ifcombine.c: New file.
3334         * tree-ssa-phiopt.c (blocks_in_phiopt_order): Export.
3335         * tree-flow.h (blocks_in_phiopt_order): Declare.
3336         * Makefile.in (OBJS-common): Add tree-ssa-ifcombine.o.
3337         (tree-ssa-ifcombine.o): New dependencies.
3338
3339 2007-06-12  Uros Bizjak  <ubizjak@gmail.com>
3340
3341         PR rtl-optimization/32293
3342         * combine.c (simplify_if_then_else): Truncate return from
3343         nonzero_bits() to correct mode.
3344
3345 2007-06-12  Uros Bizjak  <ubizjak@gmail.com>
3346
3347         * fold-const (fold_binary) [RDIV_EXPR]: Also optimize a/cbrt(b/c)
3348         into a*cbrt(c/b) if flag_unsafe_math_optimizations is set.
3349
3350 2007-06-11  Diego Novillo  <dnovillo@google.com>
3351
3352         * Makefile.in (reload1.o-warn): Remove.
3353
3354 2007-06-11  Seongbae Park <seongbae.park@gmail.com>
3355
3356         * combine.c (subst): Use reg_overlap_mentioned_p
3357         instead of comparing register numbers directly.
3358
3359 2007-06-11  Kenneth Zadeck <zadeck@naturalbridge.com>
3360
3361         * reload1.c (mark_home_live_1): Use the mode parameter.
3362
3363 2007-06-11  Kenneth Zadeck <zadeck@naturalbridge.com>
3364
3365         * df-scan.c (df_insn_delete, df_insn_rescan, df_insn_rescan_all,
3366         df_process_deferred_rescans, df_notes_rescan): Fixed spelling of
3367         word "deferred".
3368         * df-core.c: Ditto.
3369
3370 2007-06-11  Daniel Berlin  <dberlin@dberlin.org>
3371
3372         * Merge dataflow-branch into mainline (see ChangeLog.dataflow)
3373
3374 2007-06-11  Uros Bizjak  <ubizjak@gmail.com>
3375
3376         * config/i386/i386.md ("*movtf_internal): Penalize moves to and
3377         from integer registers.
3378         (FP mode splitters): Handle TFmode.
3379
3380 2007-06-11  Eric Botcazou  <ebotcazou@adacore.com>
3381
3382         * tree-ssa-structalias.c (find_what_p_points_to): Return false
3383         for ref-all pointers that point-to anything.
3384
3385 2007-06-11  Joseph Myers  <joseph@codesourcery.com>
3386
3387         * config/arm/arm.c (arm_output_dwarf_dtprel,
3388         TARGET_ASM_OUTPUT_DWARF_DTPREL): New.
3389
3390 2007-06-11  Bernd Schmidt  <bernd.schmidt@analog.com>
3391
3392         * config/bfin/bfin.md (movdi_insn, movsi_insn, movv2hi_insn,
3393         movhi_insn, movqi_insn, movsf_insn, movdf_insn): Don't allow constant
3394         to memory moves.
3395
3396 2007-06-11  Rafael Avila de Espindola  <espindola@google.com>
3397
3398         * gcc/tree.c (signed_or_unsigned_type_for): New.
3399         (unsigned_type_for): Use signed_or_unsigned_type_for.
3400         (signed_type_for): Use signed_or_unsigned_type_for.
3401         * gcc/tree.h (signed_or_unsigned_type_for): New.
3402         (get_signed_or_unsigned_type): Remove.
3403         * gcc/fold-const.c (fold_negate_expr): Use signed_type_for instead of
3404         lang_hooks.types.signed_type
3405         (size_diffop): Likewise.
3406        &nbs