gcc/ChangeLog

   1 2005-01-05  Roger Sayle  <roger@eyesopen.com>
   2
   3         PR middle-end/19100
   4         * c-common.c: Include real.h.
   5         (c_common_truthvalue_conversion): Avoid destructively modifying expr.
   6         Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
   7         Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
   8         * Makefile.in (c-common.o): Update dependencies.
   9
  10 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
  11
  12         * c-parse.in (asm_string): Add trailing semicolon.
  13
  14 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
  15
  16         * c-parse.in (asm_string): New.  Don't allow wide strings in
  17         'asm'.
  18         (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
  19         asm_string instead of STRING.
  20
  21 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
  22
  23         * c-typeck.c (constructor_no_implicit): Remove.
  24         (set_designator, process_init_element): Don't check
  25         constructor_no_implicit.
  26
  27 2005-01-05  J"orn Rennecke <joern.rennecke@st.com>
  28             Kaz Kojima  <kkojima@gcc.gnu.org>
  29
  30         PR target/16482
  31         * lcm.c (create_pre_exit): New.
  32         (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
  33         ENTRY_EXIT_EXTRA to 3.  Use create_pre_exit.
  34
  35 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
  36
  37         * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
  38         -msoft-float in target_float_switch.
  39         * arm.c (arm_override_options): Fix processing of target_float_switch.
  40
  41 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
  42
  43         * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
  44         preferencing.
  45
  46 2004-01-05  Uros Bizjak  <uros@kss-loka.si>
  47
  48         * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
  49         Replace i387 with 'i386 compiler' in -mfpmath=sse option.
  50
  51 2005-01-04  Roger Sayle  <roger@eyesopen.com>
  52
  53         * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
  54         if deleting the then-block allows the test-block to fallthru to the
  55         else-block.
  56
  57 2005-01-04  Andrew Pinski  <pinskia@physics.uc.edu>
  58
  59         PR c/19152
  60         * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
  61         after the full declaration if the are in two different TUs.
  62
  63 2005-01-04  Richard Henderson  <rth@redhat.com>
  64
  65         PR tree-opt/19158
  66         * tree-sra.c (generate_one_element_init): Just
  67         call gimplify_and_add.
  68         (generate_element_init): Record the
  69         new referenced variables and mark them for renaming
  70         and split out to ...
  71         (generate_element_init_1): This.
  72         (scalarize_init): Don't call push_gimplify_context/
  73         pop_gimplify_context.
  74
  75 2005-01-04  Geoffrey Keating  <geoffk@apple.com>
  76
  77         * toplev.c (get_src_pwd): Handle failure of getpwd().
  78
  79 2005-01-04  Roger Sayle  <roger@eyesopen.com>
  80
  81         * fold-const.c (fold_single_bit_test): Delete unreachable handling
  82         of TRUTH_NOT_EXPR.
  83         (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
  84         all the cases handled by it are inverted by invert_truthvalue.
  85
  86 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
  87
  88         * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
  89         (save_register_windowsi): Likewise.
  90
  91 2005-01-04  Richard Henderson  <rth@redhat.com>
  92
  93         * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
  94
  95 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
  96
  97         PR middle-end/17767
  98         * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
  99         any simplifications of vector mode comparison operators.
 100         * simplify-rtx.c (simplify_relational_operation): Fix variable name.
 101
 102 2005-01-04  Paolo Bonzini  <bonzini@gnu.org>
 103             Devang Patel  <dpatel@apple.com>
 104
 105         PR tree-optimization/18308
 106         * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
 107         the operands before creating a new expression.
 108         * dojump.c (do_jump): Make drop_through_label available
 109         for all cases.  Add expansion of COND_EXPR.
 110
 111 2005-01-04  Ira Rosen  <irar@il.ibm.com>
 112
 113         * tree-vectorizer.c (vect_analyze_offset_expr): Test for
 114         INTEGER_CST instead of TREE_CONSTANT.
 115         (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
 116         instead of TREE_CONSTANT.
 117         (vect_analyze_pointer_ref_access): Test for INTEGER_CST
 118         instead of TREE_CONSTANT.
 119
 120 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
 121
 122         * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
 123
 124 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
 125
 126         PR target/19240
 127         * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
 128         (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
 129
 130 2005-01-03  Richard Henderson  <rth@redhat.com>
 131
 132         * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
 133         (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
 134         fold_convert_const_real_from_real): Split out from ...
 135         (fold_convert_const): ... here.
 136
 137 2005-01-03  Richard Henderson  <rth@redhat.com>
 138
 139         PR target/19235
 140         * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
 141         (mov<MMXMODEI>_internal): Likewise.
 142         (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
 143         Add V2SF case; use it for SSE1; don't use TI.
 144         (movdf_integer): Likewise.
 145         (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
 146
 147 2005-01-03  Ira Rosen  <irar@il.ibm.com>
 148
 149         * tree-vectorizer.c (vect_strip_conversions): New function.
 150         (vect_analyze_offset_expr): Call vect_strip_conversions. Add
 151         check for binary class.
 152
 153 2005-01-03  Daniel Berlin  <dberlin@dberlin.org>
 154
 155         Fix PR debug/17924
 156         Fix PR debug/19191
 157         * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
 158         is a decl.
 159         * gimple-low.c (mark_blocks_with_used_vars): New function.
 160         (mark_blocks_with_used_subblocks): Ditto.
 161         (mark_used_blocks): Ditto.
 162         (pass_mark_used_blocks): New pass.
 163         * tree-inline.c: Include debug.h.
 164         (expand_call_inline): Call outlining_inline_function here.
 165         * tree-optimize.c (init_tree_optimization_passes): Add
 166         pass_mark_used_blocks.
 167         * tree-pass.h (pass_mark_used_blocks): New.
 168         * Makefile.in (tree-inline.o): Add debug.h dependency.
 169
 170 2005-01-03  Geoffrey Keating  <geoffk@apple.com>
 171
 172         * config/darwin.c (darwin_handle_weak_import_attribute): Permit
 173         VAR_DECLs to have weak_import attribute.
 174
 175         * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
 176         'struct ucontext'.
 177
 178 2004-01-03  Steven Bosscher  <stevenb@suse.de>
 179
 180         * passes.c (rest_of_compilation): Don't run regmove if only
 181         flag_expensive_optimizations, require flag_regmove instead.
 182
 183 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
 184
 185         * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
 186         register "sparc".
 187         * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
 188         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
 189         * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
 190         * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
 191
 192 2005-01-03  Richard Henderson  <rth@redhat.com>
 193
 194         * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
 195         (ia64_const_ok_for_letter_p): New.
 196         (ia64_const_double_ok_for_letter_p): New.
 197         (ia64_extra_constraint): New.
 198         (ia64_expand_vecint_compare): New.
 199         (ia64_expand_vcondu_v2si): New.
 200         (ia64_expand_vecint_cmov): New.
 201         (ia64_expand_vecint_minmax): New.
 202         (ia64_print_operand): Add 'v'.
 203         (ia64_preferred_reload_class): New.
 204         (ia64_vector_mode_supported_p): New.
 205         * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
 206         (PREFERRED_RELOAD_CLASS): Move to function.
 207         (CONST_OK_FOR_LETTER_P): Move to function.
 208         (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
 209         (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
 210         (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
 211         (EXTRA_CONSTRAINT): Move to function.
 212         * config/ia64/ia64.md: Include vect.md.
 213         (itanium_class): Add mmalua.
 214         (type): Handle it.
 215         * config/ia64/itanium1.md (1_mmalua): New.  Add it to bypasses.
 216         (1b_mmalua): New.
 217         * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
 218         * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
 219         CONST0_RTX.
 220         (const_int_2bit_operand): New.
 221         (fr_reg_or_0_operand): New.
 222         * config/ia64/ia64-modes.def: Add vector modes.
 223         * config/ia64/ia64-protos.h: Update.
 224         * config/ia64/vect.md: New file.
 225
 226 2005-01-03  Richard Henderson  <rth@redhat.com>
 227
 228         * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
 229
 230 2005-01-03  Uros Bizjak  <uros@kss-loka.si>
 231
 232         PR target/19236
 233         * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
 234         to SFmode.
 235         (log1pdf2): Change mode of operands[0,1] to DFmode.
 236
 237 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
 238
 239         * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
 240         * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
 241         * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
 242         * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
 243         SPARC_RELAXED_ORDERING.
 244
 245 2005-01-03  Richard Henderson  <rth@redhat.com>
 246             Uros Bizjak  <uros@kss-loka.si>
 247
 248         PR target/14631
 249         * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
 250         IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
 251         * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
 252         handling.
 253         (*mmx_pinsrw, *sse2_pinsrw): New patterns.
 254         * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
 255         const_pow2_1_to_128_operand): New predicates.
 256
 257 2005-01-02  Greg McGary  <greg@mcgary.org>
 258
 259         * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
 260         anonymous decls.
 261         (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
 262         object.  [ptr_type]: Remove unused variable.
 263         Remember nearest addressable array-element or record-component
 264         when checking bitfield components.  Tolerate empty BIND_EXPR.
 265
 266 2005-01-01  Richard Henderson  <rth@redhat.com>
 267
 268         * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
 269         that don't narrow the value.  Fail for other conversions.
 270
 271 2005-01-01  Richard Henderson  <rth@redhat.com>
 272
 273         PR c/19031
 274         * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
 275         * c-lang.c (finish_file): Don't do it here.
 276         * objc/objc-act.c (objc_finish_file): Likewise.
 277
 278         * cgraph.c (decl_assembler_name_equal): New.
 279         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
 280         (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
 281         * cgraph.h (struct cgraph_varpool_node): Add next.
 282         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
 283         * varasm.c (assemble_alias): Mark the target as needed.
 284
 285 2005-01-01  Andrew Pinski  <pinskia@physics.uc.edu>
 286
 287         PR middle-end/19221
 288         * function.c (get_arg_pointer_save_area): Use entry_of_function
 289         instead of get_insns.
 290
 291 2005-01-01  Roger Sayle  <roger@eyesopen.com>
 292             Andrew Pinski  <pinskia@physics.uc.edu>
 293             James E. Wilson  <wilson@specifixinc.com>
 294
 295         PR rtl-optimization/12092
 296         * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
 297         is zero.
 298
 299 2005-01-01  Roger Sayle  <roger@eyesopen.com>
 300             Olivier Hainque  <hainque@act-europe.fr>
 301
 302         * tree.c (int_fits_type_p): A narrower type always fits in a
 303         wider one, except for negative values into unsigned types.
 304
 305 2005-01-01  Roger Sayle  <roger@eyesopen.com>
 306
 307         * tree.c (int_fits_type_p): Compare the result of force_fit_type
 308         with the original constant rather than require TREE_OVERFLOW.
 309
 310 2005-01-01  Steven Bosscher  <stevenb@suse.de>
 311
 312         PR middle-end/17544
 313         * c-decl.c (finish_function): If compiling C99, annotate the
 314         compiler generated return with the current file name and line 0.
 315         * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
 316         the source line is greater than 0.
 317         (remove_bb): Likewise.
 318
 319 See ChangeLog.12 for earlier changes.