gcc/ChangeLog

   1 2006-01-06  Richard Guenther  <rguenther@suse.de>
   2
   3         * tree-dfa.c (mark_new_vars_to_rename): Create stmt
   4         annotation, if necessary.
   5         * tree-ssa-pre.c (create_expression_by_pieces): Remove
   6         redundant calls to update_stmt.
   7         * tree-ssa-forwprop.c (tidy_after_forward_propagate_addr):
   8         Likewise.
   9
  10 2006-01-05  Richard Henderson  <rth@redhat.com>
  11
  12         * c-parser.c (c_parser_objc_methodprotolist): Handle CPP_PRAGMA.
  13
  14 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
  15
  16         * c-typeck.c: Update copyright date.
  17
  18 2006-01-05  Carlos O'Donell  <carlos@codesourcery.com>
  19
  20         * c-typeck.c (build_c_cast): Always warn when casting
  21         from a pointer to an integer of different size, even if
  22         the node was constant.
  23
  24 2006-01-05  Richard Guenther  <rguenther@suse.de>
  25
  26         PR tree-optimization/22555
  27         * tree-ssa-alias.c (create_overlap_variables_for): Do not give up,
  28         if one structure field is an array.
  29         * tree-ssa-operands.c (get_expr_operands): Continue scanning
  30         operands even if we found a subvar, but ignore VOPs in this
  31         case.
  32         * tree-ssa-loop-ivopts.c (rewrite_use): Mark new vars in stmt
  33         for renaming.
  34         * tree-ssa-loop.c (pass_iv_optimize): Schedule TODO_update_ssa.
  35
  36 2006-01-05  Richard Earnshaw  <rearnsha@arm.com>
  37
  38         PR middle-end/24998
  39         * arm/t-netbsd (LIB2FUNCS_EXTRA): Define.
  40
  41 2006-01-05  Richard Guenther  <rguenther@suse.de>
  42             Diego Novillo  <dnovillo@redhat.com>
  43
  44         * tree-pass.h (TODO_remove_unused_locals): Define.
  45         * gimple-low.c (expand_var_p, remove_useless_vars,
  46         pass_remove_useless_vars): Remove.  Update all users.
  47         * tree-ssa-live.c (mark_all_vars_used_1): Handle SSA names.
  48         (remove_unused_locals): New function.
  49         * tree-flow.h (remove_unused_locals): Declare.
  50         * passes.c (execute_todo): Call remove_unused_locals if
  51         TODO_remove_unused_locals is set.
  52         * tree-into-ssa.c (pass_build_ssa): Add TODO_remove_unused_locals.
  53         * tree-ssa-dce.c (pass_dce): Likewise.
  54         * tree-outof-ssa.c (pass_del_ssa): Likewise.
  55
  56 2006-01-05  Richard Guenther  <rguenther@suse.de>
  57
  58         * tree-flow.h (struct fieldoff): Decompose field to
  59         type, size and decl.
  60         * tree-ssa-alias.c (create_sft): Take type as parameter.
  61         (create_overlap_variables_for): Store type, size and decl
  62         in the fieldoff structure.
  63         * tree-ssa-structalias.c (fieldoff_compare): Adjust users
  64         of struct fieldoff.
  65         (push_fields_onto_fieldstack): Likewise.
  66         (create_variable_info_for): Likewise.  Use offset for the
  67         SFT name if the decl is not available.
  68
  69 2006-01-04  Paul Brook  <paul@codesourcery.com>
  70
  71         * config/m68k/m68k.c (m68k_output_mi_thunk): Use jmp, not jsr.
  72
  73 2006-01-04  Daniel Berlin  <dberlin@dberlin.org>
  74
  75         * lambda-code.c (can_put_in_inner_loop): Relax
  76         restrictions.
  77         (can_put_after_inner_loop): New function.
  78         (can_convert_to_perfect_nest): Use can_put_after_inner_loop as well.
  79         (perfect_nestify): Change to make copies and modify uses.
  80
  81 2006-01-04  Richard Henderson  <rth@redhat.com>
  82
  83         Merge from gomp branch:
  84         * c-lex.c (c_lex_with_flags) <CPP_PRAGMA>: Smuggle pragma id
  85         via integer constant.
  86         (pragma_lex): Remove.
  87         * c-pch.c (c_common_pch_pragma): Accept the name as an argument,
  88         rather than parsing it.
  89         * c-pragma.c (handle_pragma_weak, handle_pragma_redefine_extname,
  90         handle_pragma_extern_prefix): Add %< %> quotes.
  91         (registered_pragmas): New.
  92         (c_register_pragma_1): New.
  93         (c_register_pragma): Use it.
  94         (c_register_pragma_with_expansion): Likewise.
  95         (c_invoke_pragma_handler): New.
  96         (init_pragma): Use cpp_register_deferred_pragma directly for
  97         pch_preprocess.
  98         * c-pragma.h (enum pragma_kind): New.
  99         (pragma_handler): New.
 100         (c_invoke_pragma_handler): Declare.
 101         * c-common.c (c_parse_error): Pretty print CPP_PRAGMA and
 102         CPP_PRAGMA_EOL.
 103         * c-common.h (c_common_pch_pragma): Update decl.
 104         * Makefile.in (c-parser.o): Update dependencies.
 105         (GTFILES): Add c-pragma.h.
 106         * c-parser.c (struct c_token): Add pragma_kind.
 107         (struct c_parser): Add in_pragma.
 108         (c_lex_one_token): Always initialize keyword and pragma_kind.
 109         Extract data for CPP_PRAGMA.
 110         (c_parser_peek_2nd_token): Deny CPP_PRAGMA_EOL.
 111         (c_parser_consume_token): Don't allow CPP_PRAGMA unless errors.
 112         Don't allow CPP_PRAGMA_EOL if in_pragma.
 113         (c_parser_consume_pragma): New.
 114         (c_parser_skip_until_found): Stop on CPP_PRAGMA_EOL.
 115         (c_parser_skip_to_end_of_parameter): Likewise.
 116         (c_parser_skip_to_end_of_block_or_statement): Likewise.
 117         (c_parser_skip_to_pragma_eol): New.
 118         (c_parser_external_declaration): Handle CPP_PRAGMA.
 119         (c_parser_compound_statement_nostart): Likewise.
 120         (c_parser_statement_after_labels): Likewise.
 121         (c_parser_pragma): New.
 122         (pragma_lex): Likewise.
 123         (c_parser_pragma_pch_preprocess): New.
 124         (c_parser_new): Merge into ...
 125         (c_parse_file): ... here.  Call c_parser_pragma_pch_preprocess.
 126
 127 2005-01-04  Jeff Law  <law@redhat.com>
 128
 129         PR ada/24994
 130         * tree-cfg.c (bsi_replace): Remove the original statement
 131         from the EH throw statement table.
 132
 133 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
 134
 135         * config/i386/pmm_malloc.h (posix_memalign): If __cplusplus,
 136         make the prototype extern "C" and add throw ().
 137
 138         PR target/25554
 139         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
 140         and pos non-negative and pos + len <= 32.
 141         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
 142         drop pos + len < HOST_BITS_PER_WIDE_INT test.
 143         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
 144
 145         PR c/25559
 146         * c-common.c (handle_vector_size_attribute): Reject zero vector size
 147         as well as sizes not multiple of component size.
 148
 149         PR debug/25562
 150         * function.c (instantiate_expr): New function.
 151         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
 152         walk its DECL_VALUE_EXPR with instantiate_expr.
 153
 154         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
 155         DW_OP_deref{,_size} if address isn't going to be added.
 156
 157 2006-01-04  Ben Elliston  <bje@au.ibm.com>
 158
 159         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
 160         * config/fp-bit.c: Likewise.
 161
 162 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
 163
 164         * dominance.c: Add comment about why we use DFS numbering
 165         of dominance tree.
 166
 167 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
 168             Richard Henderson  <rth@redhat.com>
 169
 170         Merge from gomp-branch:
 171         * varasm.c (assemble_variable): Handle thread-local COMMON data.
 172         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
 173
 174 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
 175
 176         PR rtl-optimization/25578
 177         * combine.c (combine_simplify_rtx, force_to_mode): Don't
 178         pass a parameter to simplify_shift_const if changing ASHIFTRT
 179         to LSHIFTRT.
 180
 181 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
 182
 183         * gcc/builtins.c (get_builtin_sync_mem): New function.
 184         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
 185         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
 186         Call get_builtin_sync_mem to generate mem rtx.
 187
 188 2006-01-03  Richard Guenther  <rguenther@suse.de>
 189
 190         PR c/25183
 191         * stmt.c (add_case_node): Make sure to clear overflow flags
 192         from ranges.
 193
 194 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
 195
 196         Merge from gomp-branch.
 197         * config/sparc/sync.md: New file.
 198         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
 199         UNSPECV_LDSTUB): New constants.
 200         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
 201         * config/sparc/predicates.md (memory_reg_operand): New predicate.
 202         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
 203         prototype.
 204
 205 2006-01-03  Roger Sayle  <roger@eyesopen.com>
 206
 207         * combine.c (reg_subword_p): New predicate to test whether the
 208         destination of a set refers to a subword/piece of a register.
 209         (try_combine): Generalize the code to merge the setting of a
 210         pseudo to a constant followed by a set of a subword of that
 211         register to a constant.
 212
 213 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
 214
 215         * basic-block.h (control_flow_graph): Change the type of
 216         x_label_to_block_map to VEC(basic_block,gc) *.
 217         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
 218         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
 219
 220         * tree-ssa-propagate.c (cfg_blocks): Change the type to
 221         VEC(basic_block,heap) *.
 222         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
 223         ssa_prop_fini): Adjust the uses of cfg_blocks.
 224
 225 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
 226
 227         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
 228         COMPONENT_REFs.
 229         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
 230         hashing trees instead of a pointer hash.
 231         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
 232         compare for MEM_EXPR.
 233
 234         PR rtl-optimization/25130
 235         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
 236         when comparing MEMs for GCSE
 237
 238 2006-01-03  Ben Elliston  <bje@au.ibm.com>
 239
 240         * targhooks.h (default_decimal_float_supported_p): Declare.
 241         * targhooks.c (default_decimal_float_supported_p): Define.
 242         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
 243         `default_decimal_float_supported_p'.
 244         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
 245
 246 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
 247
 248         * combine.c (apply_distributive_law <SUBREG>): Check
 249         TRULY_NOOP_TRUNCATION.
 250
 251 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
 252
 253         * dwarf2out.c (have_switched_text_section): Delete.
 254         (have_multiple_function_sections): New.
 255         (have_location_lists): Make 'bool'.
 256         (add_AT_loc_list): Use 'true' not '1'.
 257         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
 258         (output_loc_list): Use have_multiple_function_sections.
 259         (output_ranges): Likewise.
 260         (dwarf2out_begin_function): Set have_multiple_function_sections if
 261         necessary.
 262         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
 263         Check function_section rather than DECL_SECTION_NAME.
 264         (dwarf2out_finish): Use have_multiple_function_sections.
 265         Don't clear have_location_lists.
 266
 267 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
 268             Jan Hubicka  <jh@suse.cz>
 269
 270         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
 271         case of conditional jump jumping to the next instruction.
 272         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
 273         cases of conditional jump jumping to the next instruction.
 274
 275 2006-01-02  Jan Hubicka  <jh@suse.cz>
 276
 277         * i386.c (*_cost): Add COSTS_N_INSNS.
 278         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
 279
 280 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
 281
 282         PR target/25259
 283         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
 284
 285 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 286
 287         * config/arm/arm.c (all_fpus): Fix comment typo.
 288         * config/darwin.c: Likewise.
 289         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
 290         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
 291         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
 292
 293 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
 294
 295         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
 296         (rs6000_split_compare_and_swapqhi): New.
 297         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
 298         (sync_compare_and_swapqhi_internal): New.
 299         * config/rs6000/rs6000-protos.h: Declare.
 300