gcc/ChangeLog

   1 2006-01-08  Richard Guenther  <rguenther@suse.de>
   2
   3         * tree-ssa-structalias.c (get_constraint_for): Remove
   4         anyoffset argument.
   5         (get_constraint_for_component_ref): Likewise.
   6         (do_deref): Likewise.
   7         (get_constraint_for): Likewise.
   8         (do_structure_copy): Likewise.
   9         (handle_ptr_arith): Likewise.
  10         (find_func_aliases): Likewise.  Remove unused need_anyoffset
  11         variable.
  12
  13 2006-01-08  J"orn Rennecke  <joern.rennecke@st.com>
  14             Kaz Kojima  <kkojima@gcc.gnu.org>
  15
  16         * config/sh/sh.h (CONST_OK_FOR_K16): Define.
  17         (CONST_OK_FOR_K): Add CONST_OK_FOR_K16 case.
  18         (EXTRA_CONSTRAINT_C16): Remove.
  19         (EXTRA_CONSTRAINT_Css, EXTRA_CONSTRAINT_Csu): Define.
  20         (EXTRA_CONSTRAINT_C): Remove EXTRA_CONSTRAINT_C16 case and add
  21         EXTRA_CONSTRAINT_Css and EXTRA_CONSTRAINT_Csu cases.
  22         * config/sh/sh.c (print_operand): Handle unsigned 16-bit symbolic
  23         constants of SHmedia.  Handle nested constant expressions of
  24         SHmedia correctly.
  25         (andcosts): Fix the costs for SHmedia constants.
  26         (sh_rtx_costs): Take account of outer_code for SHmedia constants.
  27         * config/sh/sh.md (*movsi_media): Use Css constraint instead of C16.
  28         (*movsi_media_nofpu, *movqi_media, *movhi_media): Likewise.
  29         (*movdi_media, *movdi_media_nofpu, movv8qi_i, movv2hi_i): Likewise.
  30         (movv4hi_i, movv2si_i): Likewise.
  31         (movsi_const): Adjust the second operand of ior so to match with
  32         the Csu constraint.
  33         (movdi_const, movdi_const_32bit): Likewise.
  34         (movdi_const_16bit+1): Don't sign-extend LOW.
  35         (movdi_const_16bit+2): Likewise.  Remove the zero_extend and truncate
  36         step.
  37         (*double_shori): Fix the split condition.  Use GEN_INT instead
  38         of get_int_mode calls.  Mask lower 16-bit of the argument of
  39         the last GEN_INT.
  40         (sym2GOTPLT): Remove.
  41         (symGOTPLT2reg): Replace gen_sym2GOTPLT with gen_rtx_CONST and
  42         gen_rtx_UNSPEC.
  43         * config/sh/predicates.md (arith_operand): Use EXTRA_CONSTRAINT_Css
  44         instead of EXTRA_CONSTRAINT_C16.
  45
  46 2005-01-07  Ian Lance Taylor  <ian@airs.com>
  47             David Edelsohn  <edelsohn@gnu.org>
  48
  49         PR rtl-optimization/25662
  50         * optabs.c (simplify_expand_binop): Use simplify_binary_operation
  51         for constant operands instead of simplify_gen_binary.
  52         * simplify-rtx.c (simplify_gen_binary): Swap commutative operands
  53         after trying simplify_binary_operation
  54
  55 2006-01-06  Daniel Berlin  <dberlin@dberlin.org>
  56
  57         * tree.c (iterative_hash_expr): Hash decls based on UID.
  58
  59 2006-01-06  Eric Christopher  <echristo@apple.com>
  60
  61         * doc/tm.texi (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): Document.
  62         (TARGET_UNWIND_EMIT): Fix spelling.
  63         * target.h (gcc_target): Add except_table_label.
  64         * except.c (output_function_exception_table): Use.
  65         * varasm.c (default_emit_except_table_label): New.
  66         * target-def.h (TARGET_ASM_EMIT_EXCEPT_TABLE_LABEL): New default
  67         define.
  68         (asm_out): Add here.
  69         * output.h (default_emit_except_table_label): Prototype.
  70         * config/darwin-protos.h (darwin_emit_except_table_label): Ditto.
  71         * config/darwin.c (darwin_emit_except_table_label): Define.
  72         * config/darwin.h (TARGET_ASM_EMIT_EXCEPT_TABLE): Ditto.
  73
  74 2005-01-06  Zdenek Dvorak <dvorakz@suse.cz>
  75
  76         PR tree-optimization/18527
  77         * tree-ssa-loop-niter.c (number_of_iterations_cond,
  78         number_of_iterations_special, number_of_iterations_exit):
  79         Move base and step of an iv to a single structure.  Add
  80         no_overflow flag, and use it in # of iterations analysis.
  81         * tree-scalar-evolution.c (analyze_scalar_evolution_in_loop): Add
  82         folded_casts argument.
  83         (simple_iv): Pass base and step in a structure.  Set no_overflow
  84         flag.
  85         (scev_const_prop): Add argument to analyze_scalar_evolution_in_loop.
  86         Evaluate expensiveness of computing # of iterations instead of
  87         the final expression.
  88         * tree-scalar-evolution.h (affine_iv): New structure.
  89         (simple_iv): Declaration changed.
  90         * tree-chrec.c (chrec_apply): Handle chrecs containing symbols.
  91         * tree-ssa-loop-ivopts.c (determine_biv_step, find_givs_in_stmt_scev,
  92         find_givs_in_stmt): Changed due to simple_iv change.
  93
  94 2005-01-06  Jeff Law  <law@redhat.com>
  95
  96         PR ada/24994
  97         * tree-cfg.c (bsi_replace): Rename final argument from
  98         PRESERVE_EH_INFO to UPDATE_EH_INFO.  Fix typo in last
  99         change (stmt -> orig_stmt).
 100         * tree-eh.c (verify_eh_throw_stmt_node): New function.
 101         (bsi_remove): Add new argument.  Remove EH information
 102         if requested.
 103         (verify_eh_throw_table_statements): New function.
 104         (bsi_remove): Add new argument REMOVE_EH_INFO.  All callers
 105         updated.
 106         * tree-optimize.c (execute_free_cfg_annotations): Verify
 107         the EH throw statement table after removing annotations.
 108         * except.h (verify_eh_throw_table_statements): Prototype.
 109         * tree-flow.h (bsi_remove): Update prototype.
 110         * tree-vrp.c (remove_range_assertions): Add new argument to
 111         bsi_remove call.
 112         * tree-ssa-loop-im.c (move_computations_stmt): Likewise.
 113         * tree-complex.c (expand_complex_div_wide): Likewise.
 114         * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Likewise
 115         * tree-tailcall.c (eliminate_tailcall): Likewise.
 116         * tree-ssa-dse.c (dse_optimize_stmt): Likewise.
 117         * tree-ssa-loop-ivopts.c (remove_statement): Likewise.
 118         * tree-nrv.c (tree_nrv): Likewise.
 119         * tree-vectorizer.c (slpeel_make_loop_iterate_ntimes): Likewise.
 120         * tree-if-conv.c (tree_if_convert_cond_expr): Likewise.
 121         (combine_blocks): Likewise.
 122         * tree-ssa-phiopt.c (replace_phi_edge_with_variable): Likewise.
 123         * tree-cfgcleanup.c (cleanup_ctrl_expr_graph): Likewise.
 124         (cleanup_control_flow): Likewise.
 125         (remove_forwarder_block): Likewise.
 126         * tree-ssa-pre.c (remove_dead_inserted_code): Likewise.
 127         * tree-sra.c (sra_replace): Likewise.
 128         * tree-ssa-forwprop.c (forward_propagate_into_cond): Likewise.
 129         (forward_propagate_single_use_vars): Likewise.
 130         * tree-ssa-dce.c (remove_dead_stmt): Likewise.
 131         * tree-inline.c (expand_call_inline): Likewise.
 132         * tree-vect-transform.c (vect_transform_loop): Likewise.
 133         * tree-outof-ssa.c (rewrite_trees): Likewise.
 134         * tree-cfg.c (make_goto_expr_edges): Likewise.
 135         (cleanup_dead_labels): Likewise.
 136         (tree_merge_blocks, remove_bb, disband_implicit_edges): Likewise.
 137         (bsi_move_before, bsi_move_after): Likewise.
 138         (bsi_move_to_bb_end, try_redirect_by_replacing_jump): Likewise
 139         (tree_redirect_edge_and_branch, tree_split_block): Likewise.
 140
 141 2006-01-06  Andrew Pinski  <pinskia@physics.uc.edu>
 142
 143         PR tree-opt/25528
 144         * tree-ssa-alias.c (find_used_portions): Handle REALPART_EXPR
 145         and IMAGPART_EXPR.
 146         * tree-flow-inline.h (var_can_have_subvars): Handle complex types
 147         on non gimple variables.  Also add checks at the top for decls and
 148         mtags.
 149         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Handle
 150         complex types.
 151         * tree-ssa-operands.c (parse_ssa_operands): Handle REALPART_EXPR
 152         and IMAGPART_EXPR for creating MUST_DEFs.
 153         (get_expr_operands): Handle SSA_NAME, STRUCT_FIELD_TAG, TYPE_MEMORY_TAG,
 154         and NAME_MEMORY_TAG separately from the DECLs.
 155
 156 2006-01-06  Richard Guenther  <rguenther@suse.de>
 157
 158         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
 159         annotation, if necessary.
 160         * tree-ssa-pre.c (create_expression_by_pieces): Remove
 161         redundant calls to update_stmt.
 162         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
 163         Likewise.
 164
 165 2006-01-05  Richard Henderson  <rth@redhat.com>
 166
 167         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
 168
 169 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
 170
 171         * c-typeck.c: Update copyright date.
 172
 173 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
 174
 175         * c-typeck.c (build_c_cast): Always warn when casting
 176         from a pointer to an integer of different size, even if
 177         the node was constant.
 178
 179 2006-01-05  Richard Guenther  <rguenther@suse.de>
 180
 181         PR tree-optimization/22555
 182         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
 183         if one structure field is an array.
 184         * tree-ssa-operands.c (get_expr_operands): Continue scanning
 185         operands even if we found a subvar, but ignore VOPs in this
 186         case.
 187         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
 188         for renaming.
 189         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
 190
 191 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
 192
 193         PR middle-end/24998
 194         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
 195
 196 2006-01-05  Richard Guenther  <rguenther@suse.de>
 197             Diego Novillo  <dnovillo@redhat.com>
 198
 199         * tree-pass.h (TODO_remove_unused_locals): Define.
 200         * gimple-low.c (expand_var_p, remove_useless_vars,
 201         pass_remove_useless_vars): Remove.  Update all users.
 202         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
 203         (remove_unused_locals): New function.
 204         * tree-flow.h (remove_unused_locals): Declare.
 205         * passes.c (execute_todo): Call remove_unused_locals if
 206         TODO_remove_unused_locals is set.
 207         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
 208         * tree-ssa-dce.c (pass_dce): Likewise.
 209         * tree-outof-ssa.c (pass_del_ssa): Likewise.
 210
 211 2006-01-05  Richard Guenther  <rguenther@suse.de>
 212
 213         * tree-flow.h (struct fieldoff): Decompose field to
 214         type, size and decl.
 215         * tree-ssa-alias.c (create_sft): Take type as parameter.
 216         (create_overlap_variables_for): Store type, size and decl
 217         in the fieldoff structure.
 218         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
 219         of struct fieldoff.
 220         (push_fields_onto_fieldstack): Likewise.
 221         (create_variable_info_for): Likewise.  Use offset for the
 222         SFT name if the decl is not available.
 223
 224 2006-01-04  Paul Brook  <paul@codesourcery.com>
 225
 226         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
 227
 228 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
 229
 230         * lambda-code.c (can_put_in_inner_loop): Relax
 231         restrictions.
 232         (can_put_after_inner_loop): New function.
 233         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
 234         (perfect_nestify): Change to make copies and modify uses.
 235
 236 2006-01-04  Richard Henderson  <rth@redhat.com>
 237
 238         Merge from gomp branch:
 239         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
 240         via integer constant.
 241         (pragma_lex): Remove.
 242         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
 243         rather than parsing it.
 244         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
 245         handle_pragma_extern_prefix): Add %< %> quotes.
 246         (registered_pragmas): New.
 247         (c_register_pragma_1): New.
 248         (c_register_pragma): Use it.
 249         (c_register_pragma_with_expansion): Likewise.
 250         (c_invoke_pragma_handler): New.
 251         (init_pragma): Use cpp_register_deferred_pragma directly for
 252         pch_preprocess.
 253         * c-pragma.h (enum pragma_kind): New.
 254         (pragma_handler): New.
 255         (c_invoke_pragma_handler): Declare.
 256         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
 257         CPP_PRAGMA_EOL.
 258         * c-common.h (c_common_pch_pragma): Update decl.
 259         * Makefile.in (c-parser.o): Update dependencies.
 260         (GTFILES): Add c-pragma.h.
 261         * c-parser.c (struct c_token): Add pragma_kind.
 262         (struct c_parser): Add in_pragma.
 263         (c_lex_one_token): Always initialize keyword and pragma_kind.
 264         Extract data for CPP_PRAGMA.
 265         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
 266         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
 267         Don't allow CPP_PRAGMA_EOL if in_pragma.
 268         (c_parser_consume_pragma): New.
 269         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
 270         (c_parser_skip_to_end_of_parameter): Likewise.
 271         (c_parser_skip_to_end_of_block_or_statement): Likewise.
 272         (c_parser_skip_to_pragma_eol): New.
 273         (c_parser_external_declaration): Handle CPP_PRAGMA.
 274         (c_parser_compound_statement_nostart): Likewise.
 275         (c_parser_statement_after_labels): Likewise.
 276         (c_parser_pragma): New.
 277         (pragma_lex): Likewise.
 278         (c_parser_pragma_pch_preprocess): New.
 279         (c_parser_new): Merge into ...
 280         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
 281
 282 2005-01-04  Jeff Law  <law@redhat.com>
 283
 284         PR ada/24994
 285         * tree-cfg.c (bsi_replace): Remove the original statement
 286         from the EH throw statement table.
 287
 288 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
 289
 290         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
 291         make the prototype extern "C" and add throw ().
 292
 293         PR target/25554
 294         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
 295         and pos non-negative and pos + len <= 32.
 296         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
 297         drop pos + len < HOST_BITS_PER_WIDE_INT test.
 298         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
 299
 300         PR c/25559
 301         * c-common.c (handle_vector_size_attribute): Reject zero vector size
 302         as well as sizes not multiple of component size.
 303
 304         PR debug/25562
 305         * function.c (instantiate_expr): New function.
 306         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
 307         walk its DECL_VALUE_EXPR with instantiate_expr.
 308
 309         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
 310         DW_OP_deref{,_size} if address isn't going to be added.
 311
 312 2006-01-04  Ben Elliston  <bje@au.ibm.com>
 313
 314         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
 315         * config/fp-bit.c: Likewise.
 316
 317 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
 318
 319         * dominance.c: Add comment about why we use DFS numbering
 320         of dominance tree.
 321
 322 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
 323             Richard Henderson  <rth@redhat.com>
 324
 325         Merge from gomp-branch:
 326         * varasm.c (assemble_variable): Handle thread-local COMMON data.
 327         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
 328
 329 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
 330
 331         PR rtl-optimization/25578
 332         * combine.c (combine_simplify_rtx, force_to_mode): Don't
 333         pass a parameter to simplify_shift_const if changing ASHIFTRT
 334         to LSHIFTRT.
 335
 336 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
 337
 338         * gcc/builtins.c (get_builtin_sync_mem): New function.
 339         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
 340         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
 341         Call get_builtin_sync_mem to generate mem rtx.
 342
 343 2006-01-03  Richard Guenther  <rguenther@suse.de>
 344
 345         PR c/25183
 346         * stmt.c (add_case_node): Make sure to clear overflow flags
 347         from ranges.
 348
 349 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
 350
 351         Merge from gomp-branch.
 352         * config/sparc/sync.md: New file.
 353         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
 354         UNSPECV_LDSTUB): New constants.
 355         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
 356         * config/sparc/predicates.md (memory_reg_operand): New predicate.
 357         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
 358         prototype.
 359
 360 2006-01-03  Roger Sayle  <roger@eyesopen.com>
 361
 362         * combine.c (reg_subword_p): New predicate to test whether the
 363         destination of a set refers to a subword/piece of a register.
 364         (try_combine): Generalize the code to merge the setting of a
 365         pseudo to a constant followed by a set of a subword of that
 366         register to a constant.
 367
 368 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
 369
 370         * basic-block.h (control_flow_graph): Change the type of
 371         x_label_to_block_map to VEC(basic_block,gc) *.
 372         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
 373         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
 374
 375         * tree-ssa-propagate.c (cfg_blocks): Change the type to
 376         VEC(basic_block,heap) *.
 377         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
 378         ssa_prop_fini): Adjust the uses of cfg_blocks.
 379
 380 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
 381
 382         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
 383         COMPONENT_REFs.
 384         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
 385         hashing trees instead of a pointer hash.
 386         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
 387         compare for MEM_EXPR.
 388
 389         PR rtl-optimization/25130
 390         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
 391         when comparing MEMs for GCSE
 392
 393 2006-01-03  Ben Elliston  <bje@au.ibm.com>
 394
 395         * targhooks.h (default_decimal_float_supported_p): Declare.
 396         * targhooks.c (default_decimal_float_supported_p): Define.
 397         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
 398         `default_decimal_float_supported_p'.
 399         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
 400
 401 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
 402
 403         * combine.c (apply_distributive_law <SUBREG>): Check
 404         TRULY_NOOP_TRUNCATION.
 405
 406 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
 407
 408         * dwarf2out.c (have_switched_text_section): Delete.
 409         (have_multiple_function_sections): New.
 410         (have_location_lists): Make 'bool'.
 411         (add_AT_loc_list): Use 'true' not '1'.
 412         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
 413         (output_loc_list): Use have_multiple_function_sections.
 414         (output_ranges): Likewise.
 415         (dwarf2out_begin_function): Set have_multiple_function_sections if
 416         necessary.
 417         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
 418         Check function_section rather than DECL_SECTION_NAME.
 419         (dwarf2out_finish): Use have_multiple_function_sections.
 420         Don't clear have_location_lists.
 421
 422 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
 423             Jan Hubicka  <jh@suse.cz>
 424
 425         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
 426         case of conditional jump jumping to the next instruction.
 427         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
 428         cases of conditional jump jumping to the next instruction.
 429
 430 2006-01-02  Jan Hubicka  <jh@suse.cz>
 431
 432         * i386.c (*_cost): Add COSTS_N_INSNS.
 433         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
 434
 435 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
 436
 437         PR target/25259
 438         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
 439
 440 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 441
 442         * config/arm/arm.c (all_fpus): Fix comment typo.
 443         * config/darwin.c: Likewise.
 444         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
 445         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
 446         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
 447
 448 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
 449
 450         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
 451         (rs6000_split_compare_and_swapqhi): New.
 452         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
 453         (sync_compare_and_swapqhi_internal): New.
 454         * config/rs6000/rs6000-protos.h: Declare.