gcc/ChangeLog

   1 2006-01-04  Jakub Jelinek  <jakub@redhat.com>
   2
   3         PR target/25554
   4         * config/i386/i386.md (testqi_ext_3): Ensure len is positive
   5         and pos non-negative and pos + len <= 32.
   6         (testqi_ext_3_rex64): Ensure len is positive and pos non-negative,
   7         drop pos + len < HOST_BITS_PER_WIDE_INT test.
   8         (testqi_ext_3* splitter): Handle pos + len == HOST_BITS_PER_WIDE_INT.
   9
  10         PR c/25559
  11         * c-common.c (handle_vector_size_attribute): Reject zero vector size
  12         as well as sizes not multiple of component size.
  13
  14         PR debug/25562
  15         * function.c (instantiate_expr): New function.
  16         (instantiate_decls_1, instantiate_decls): If DECL_HAS_VALUE_EXPR_P,
  17         walk its DECL_VALUE_EXPR with instantiate_expr.
  18
  19         * dwarf2out.c (loc_descriptor_from_tree_1): Don't add
  20         DW_OP_deref{,_size} if address isn't going to be added.
  21
  22 2006-01-04  Ben Elliston  <bje@au.ibm.com>
  23
  24         * config/fp-bit.h: Use top-of-file comment from libgcc2.c.
  25         * config/fp-bit.c: Likewise.
  26
  27 2006-01-03  Daniel Berlin  <dberlin@dberlin.org>
  28
  29         * dominance.c: Add comment about why we use DFS numbering
  30         of dominance tree.
  31
  32 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
  33             Richard Henderson  <rth@redhat.com>
  34
  35         Merge from gomp-branch:
  36         * varasm.c (assemble_variable): Handle thread-local COMMON data.
  37         * defaults.h (ASM_OUTPUT_TLS_COMMON): Define.
  38
  39 2006-01-03  Paolo Bonzini  <bonzini@gnu.org>
  40
  41         PR rtl-optimization/25578
  42         * combine.c (combine_simplify_rtx, force_to_mode): Don't
  43         pass a parameter to simplify_shift_const if changing ASHIFTRT
  44         to LSHIFTRT.
  45
  46 2006-01-03  Adrian Straetling  <straetling@de.ibm.com>
  47
  48         * gcc/builtins.c (get_builtin_sync_mem): New function.
  49         (expand_builtin_sync_operation, expand_builtin_compare_and_swap,
  50         expand_builtin_lock_test_and_set, expand_builtin_lock_release):
  51         Call get_builtin_sync_mem to generate mem rtx.
  52
  53 2006-01-03  Richard Guenther  <rguenther@suse.de>
  54
  55         PR c/25183
  56         * stmt.c (add_case_node): Make sure to clear overflow flags
  57         from ranges.
  58
  59 2006-01-03  Jakub Jelinek  <jakub@redhat.com>
  60
  61         Merge from gomp-branch.
  62         * config/sparc/sync.md: New file.
  63         * config/sparc/sparc.md (UNSPECV_MEMBAR, UNSPECV_CAS, UNSPECV_SWAP,
  64         UNSPECV_LDSTUB): New constants.
  65         * config/sparc/sparc.c (sparc_expand_compare_and_swap_12): New function.
  66         * config/sparc/predicates.md (memory_reg_operand): New predicate.
  67         * config/sparc/sparc-protos.h (sparc_expand_compare_and_swap_12): New
  68         prototype.
  69
  70 2006-01-03  Roger Sayle  <roger@eyesopen.com>
  71
  72         * combine.c (reg_subword_p): New predicate to test whether the
  73         destination of a set refers to a subword/piece of a register.
  74         (try_combine): Generalize the code to merge the setting of a
  75         pseudo to a constant followed by a set of a subword of that
  76         register to a constant.
  77
  78 2006-01-03  Kazu Hirata  <kazu@codesourcery.com>
  79
  80         * basic-block.h (control_flow_graph): Change the type of
  81         x_label_to_block_map to VEC(basic_block,gc) *.
  82         * tree-cfg.c (init_empty_tree_cfg, label_to_block_fn,
  83         set_bb_for_stmt): Adjust the uses of x_label_to_block_map.
  84
  85         * tree-ssa-propagate.c (cfg_blocks): Change the type to
  86         VEC(basic_block,heap) *.
  87         (cfg_blocks_add, cfg_blocks_get, ssa_prop_init,
  88         ssa_prop_fini): Adjust the uses of cfg_blocks.
  89
  90 2006-01-03  Steven Bosscher  <stevenb.gcc@gmail.com>
  91
  92         * fold-const.c (operand_equal_p): Accept a NULL operand 0 for
  93         COMPONENT_REFs.
  94         * emit-rtl.c (mem_attrs_htab_eq): Use iterative_hash_expr for
  95         hashing trees instead of a pointer hash.
  96         (mem_attrs_htab_eq): Do a deep compare instead of a pointer
  97         compare for MEM_EXPR.
  98
  99         PR rtl-optimization/25130
 100         * cse.c (exp_equiv_p): Compare MEM_ATTRS instead of MEM_ALIAS_SET
 101         when comparing MEMs for GCSE
 102
 103 2006-01-03  Ben Elliston  <bje@au.ibm.com>
 104
 105         * targhooks.h (default_decimal_float_supported_p): Declare.
 106         * targhooks.c (default_decimal_float_supported_p): Define.
 107         * target-def.h (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Redefine to
 108         `default_decimal_float_supported_p'.
 109         * doc/tm.texi (TARGET_DECIMAL_FLOAT_SUPPORTED_P): Update.
 110
 111 2006-01-02  Adam Nemet  <anemet@caviumnetworks.com>
 112
 113         * combine.c (apply_distributive_law <SUBREG>): Check
 114         TRULY_NOOP_TRUNCATION.
 115
 116 2006-01-02  Geoffrey Keating  <geoffk@apple.com>
 117
 118         * dwarf2out.c (have_switched_text_section): Delete.
 119         (have_multiple_function_sections): New.
 120         (have_location_lists): Make 'bool'.
 121         (add_AT_loc_list): Use 'true' not '1'.
 122         (dwarf2out_switch_text_section): Set have_multiple_function_sections.
 123         (output_loc_list): Use have_multiple_function_sections.
 124         (output_ranges): Likewise.
 125         (dwarf2out_begin_function): Set have_multiple_function_sections if
 126         necessary.
 127         (dwarf2out_source_line): Don't fake separate_line_info_table_in_use.
 128         Check function_section rather than DECL_SECTION_NAME.
 129         (dwarf2out_finish): Use have_multiple_function_sections.
 130         Don't clear have_location_lists.
 131
 132 2006-01-02  Eric Botcazou  <ebotcazou@adacore.com>
 133             Jan Hubicka  <jh@suse.cz>
 134
 135         * cfglayout.c (fixup_reorder_chain): Remove kludge for the
 136         case of conditional jump jumping to the next instruction.
 137         * cfgrtl.c (force_nonfallthru_and_redirect): Accept all
 138         cases of conditional jump jumping to the next instruction.
 139
 140 2006-01-02  Jan Hubicka  <jh@suse.cz>
 141
 142         * i386.c (*_cost): Add COSTS_N_INSNS.
 143         (ix86_rtx_costs): Do not use COSTS_N_INSNS.
 144
 145 2006-01-02  Paolo Bonzini  <bonzini@gnu.org>
 146
 147         PR target/25259
 148         * Makefile.in (DECNUMINC): Include libdecnumber's build directory.
 149
 150 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 151
 152         * config/arm/arm.c (all_fpus): Fix comment typo.
 153         * config/darwin.c: Likewise.
 154         * config/frv/frv.h (FRV_STRUCT_VALUE_REGNUM): Likewise.
 155         * config/h8300/h8300.md (extendqisi2_h8300hs): Likewise.
 156         * config/m68hc11/m68hc11.c (m68hc11_reload_operands): Likewise.
 157
 158 2006-01-01  David Edelsohn  <edelsohn@gnu.org>
 159
 160         * config/rs6000/rs6000.c (rs6000_expand_compare_and_swapqhi): New.
 161         (rs6000_split_compare_and_swapqhi): New.
 162         * config/rs6000/sync.md (sync_compare_and_swap{hi,qi}): New.
 163         (sync_compare_and_swapqhi_internal): New.
 164         * config/rs6000/rs6000-protos.h: Declare.
 165