gcc/ChangeLog

   1 2005-01-14  Eric Botcazou  <ebotcazou@libertysurf.fr>
   2
   3         PR middle-end/18820
   4         * varasm.c (initializer_constant_valid_p) <ADDR_EXPR>: Return
   5         zero for nested functions needing a static chain or functions
   6         with a non-constant address.
   7
   8 2005-01-13  Roger Sayle  <roger@eyesopen.com>
   9
  10         * simplify-rtx.c (simplify_binary_operation) <AND>: Optimize
  11         (and (sign_extend X) C) into (zero_extend (and X C)).
  12
  13 2005-01-13  David O'Brien  <obrien@FreeBSD.org>
  14
  15         * config/freebsd-spec.h:  Make KSE pthread lib logic the default.
  16
  17 2005-01-13  Richard Henderson  <rth@redhat.com>
  18
  19         PR target/19009
  20         PR target/19250
  21         PR target/19252
  22         * config/i386/i386.md (cmpdf, cmpsf, bunordered, bordered, buneq,
  23         bunge, bungt, bunle, bunlt, bltgt): Enable for TARGET_SSE_MATH,
  24         not just TARGET_SSE.
  25         (cmpfp_i_387): Rename from cmpfp_i.  Move after sse patterns.
  26         (cmpfp_i_mixed): Rename from cmpfp_i_sse; use for TARGET_MIX_SSE_I387.
  27         (cmpfp_i_sse): Rename from cmpfp_i_sse_only; use for TARGET_SSE_MATH.
  28         (cmpfp_iu_mixed, cmpfp_iu_sse, cmpfp_iu_387): Similarly.
  29         (fp_jcc_1_mixed, fp_jcc_1_sse, fp_jcc_1_387): Similarly.
  30         (fp_jcc_2_mixed, fp_jcc_2_sse, fp_jcc_2_387): Similarly.
  31         (fp_jcc_3_387, fp_jcc_4_387, fp_jcc_5_387, fp_jcc_6_387,
  32         fp_jcc_7_387, fp_jcc_8_387): Rename from fp_jcc_N.
  33         (movdicc_c_rex64): Rename with '*'.
  34         (movsfcc, movdfcc): Add checks for 387 and sse math to condition.
  35         (movsfcc_1_sse_min, movsfcc_1_sse_max, movsfcc_1_sse): New.
  36         (movsfcc_1_387): Rename from movsfcc_1.
  37         (movdfcc_1_sse_min, movdfcc_1_sse_max, movdfcc_1_sse): New.
  38         (movdfcc_1, movdfcc_1_rex64): Add check for 387.
  39         (sminsf3, smaxsf3, smindf3, smaxdf3): New.
  40         (minsf3, minsf, minsf_nonieee, minsf_sse, mindf3, mindf,
  41         mindf_nonieee, mindf_sse, maxsf3, maxsf, maxsf_nonieee, maxsf_sse,
  42         maxdf3, maxdf, maxdf_nonieee, maxdf_sse, sse_movsfcc, sse_movsfcc_eq,
  43         sse_movdfcc, sse_movdfcc_eq, sse_movsfcc_const0_1,
  44         sse_movsfcc_const0_2, sse_movsfcc_const0_3, sse_movsfcc_const0_4,
  45         sse_movdfcc_const0_1, sse_movdfcc_const0_2, sse_movdfcc_const0_3,
  46         sse_movdfcc_const0_4): Remove.
  47         * config/i386/i386.c (ix86_expand_fp_movcc): For TARGET_SSE_MATH,
  48         recognize min/max early.  Update for changed sse cmove patterns.
  49         (ix86_split_sse_movcc): New.
  50         * config/i386/i386-protos.h: Update.
  51
  52 2005-01-13  Steven Bosscher  <stevenb@suse.de>
  53
  54         * tree-ssa-dse.c (fix_phi_uses): Use SSA operand iterators.
  55         (fix_stmt_v_may_defs): Likewise.
  56
  57 2005-01-13  Richard Henderson  <rth@redhat.com>
  58
  59         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Use elt_mode
  60         for converting the mask.
  61
  62 2005-01-13  David Edelsohn  <edelsohn@gnu.org>
  63
  64         * config/rs6000/aix52.h (CPLUSPLUS_CPP_SPEC): Change _XOPEN_SOURCE
  65         definition to 600.
  66
  67 2005-01-13  Richard Henderson  <rth@redhat.com>
  68
  69         * config/i386/i386.c (IX86_BUILTIN_MOVQ, IX86_BUILTIN_LOADD,
  70         IX86_BUILTIN_STORED, IX86_BUILTIN_MOVQ2DQ,
  71         IX86_BUILTIN_MOVDQ2Q): Remove.
  72         (IX86_BUILTIN_VEC_EXT_V4SI): New.
  73         (ix86_init_mmx_sse_builtins, ix86_expand_builtin): Update to match.
  74         (ix86_expand_vector_extract): For V4S[FI], extract element 0 after
  75         shuffling.
  76         * config/i386/sse.md (sse_concatv2sf): Accept zero operand 2.
  77         (sse2_pextrw): Fix immediate constraint.
  78         (sse2_loadq, sse2_loadq_rex64): Remove.
  79         * config/i386/emmintrin.h (_mm_cvtsi128_si32, _mm_cvtsi128_si64x):
  80         Use __builtin_ia32_vec_ext_<size>.
  81         (_mm_cvtsi32_si128, _mm_cvtsi64x_si128): Use _mm_set_epi<size>.
  82
  83 2005-01-13  Aldy Hernandez  <aldyh@redhat.com>
  84
  85         * function.c (assign_parm_setup_block): Look inside original
  86         entry_parm when inspecting PARALLEL.
  87
  88 2005-01-13  Ralf Corsepius  <ralf.corsepius@rtems.org>
  89             Joel Sherrill  <joel@oarcorp.com>
  90
  91         PR target/19399
  92         * gthr-rtems.h (__gthread_recursive_mutex_t): New type.
  93         (__GTHREAD_RECURSIVE_MUTEX_INIT_FUNCTION): Define to
  94         rtems_gxx_recursive_mutex_init.
  95         (__gthread_recursive_mutex_lock): New function.
  96         (__gthread_recursive_mutex_trylock): Likewise.
  97         (__gthread_recursive_mutex_unlock): Likewise.
  98
  99 2005-01-13  Ralf Corsepius <ralf.corsepius@rtems.org>
 100
 101         * config/i386/t-rtems-i386: Multilib on -mtune instead of -mcpu.
 102
 103 2005-01-13  Jan Beulich  <jbeulich@novell.com>
 104
 105         * config/ia64/ia64.md (ashlti3, ashlti3_internal): New.
 106         (ashrti3_internal): Indicate output is early clobber. Generate result
 107         into output rather than first input. Use move for low word of output
 108         if shift count is exactly 64.
 109         (lshrti3_internal): Likewise.
 110
 111 2005-01-13  Hans-Peter Nilsson  <hp@bitrange.com>
 112
 113         PR target/18329
 114         PR target/18330
 115         * reload1.c (delete_output_reload): Don't delete an output reload
 116         if the pseudo lives longer than a single basic block.  Adjust and
 117         improve wording of comment.
 118
 119 2005-01-12  Andrew Pinski  <pinskia@physics.uc.edu>
 120
 121         PR target/19334
 122         * config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
 123         of TYPE_SIZE where we mean the number of bytes.
 124
 125 2005-01-12  Aldy Hernandez  <aldyh@redhat.com>
 126
 127         * function.c (assign_parm_setup_block): Relax condition on
 128         multi-register optimization.
 129
 130 2005-01-12  Nick Clifton  <nickc@redhat.com>
 131
 132         * config/sh/sh.md (udivsi3_sh2a, divsi3_sh2a): Give these patterns
 133         an "in_delay_slot" attribute of "no" to prevent them being used in
 134         delay slots.  This is forbidden because they might generate
 135         exceptions.
 136
 137 2005-01-12  Alan Modra  <amodra@bigpond.net.au>
 138
 139         PR target/19389
 140         * config/rs6000/rs6000.md (movtf_internal): Replace r->o and m->r
 141         with r->Y and Y->r.
 142
 143 2005-01-12  Nick Clifton  <nickc@redhat.com>
 144
 145         * config/iq2000/iq2000.h (ASM_SPEC): Undefine (to stop -Qy being
 146         passed on to GAS) but do not define, as GAS no longer supports or
 147         needs the -m2000 option.
 148
 149 2005-01-11  Roger Sayle  <roger@eyesopen.com>
 150
 151         * builtins.c (fold_builtin_fabs): Convert argument to the appropriate
 152         type as args of unprototyped builtins aren't automatically promoted.
 153         (fold_builtin_abs): Likewise.
 154
 155 2005-01-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 156
 157         * Makefile.in: Set a `build-warn' variable.
 158
 159 2005-01-11  Zdenek Dvorak  <dvorakz@suse.cz>
 160
 161         PR tree-optimization/17949
 162         * tree-ssa-loop-ivopts.c (may_be_unaligned_p): New function.
 163         (find_interesting_uses_address): Use it.
 164
 165 2005-01-11  Aldy Hernandez  <aldyh@redhat.com>
 166
 167         * regrename.c (kill_value): Handle subreg's that won't simplify.
 168
 169 2005-01-11  Richard Henderson  <rth@redhat.com>
 170
 171         PR target/13366
 172         * config/i386/i386.h (enum ix86_builtins): Move ...
 173         * config/i386/i386.c: ... here.
 174         (IX86_BUILTIN_MOVDDUP, IX86_BUILTIN_MMX_ZERO, IX86_BUILTIN_PEXTRW,
 175         IX86_BUILTIN_PINSRW, IX86_BUILTIN_LOADAPS, IX86_BUILTIN_LOADSS,
 176         IX86_BUILTIN_STORESS, IX86_BUILTIN_SSE_ZERO, IX86_BUILTIN_PEXTRW128,
 177         IX86_BUILTIN_PINSRW128, IX86_BUILTIN_LOADAPD, IX86_BUILTIN_LOADSD,
 178         IX86_BUILTIN_STOREAPD, IX86_BUILTIN_STORESD,  IX86_BUILTIN_STOREHPD,
 179         IX86_BUILTIN_STORELPD, IX86_BUILTIN_SETPD1, IX86_BUILTIN_SETPD,
 180         IX86_BUILTIN_CLRPD, IX86_BUILTIN_LOADPD1, IX86_BUILTIN_LOADRPD,
 181         IX86_BUILTIN_STOREPD1, IX86_BUILTIN_STORERPD, IX86_BUILTIN_LOADDQA,
 182         IX86_BUILTIN_STOREDQA, IX86_BUILTIN_CLRTI,
 183         IX86_BUILTIN_LOADDDUP): Remove.
 184         (IX86_BUILTIN_VEC_INIT_V2SI, IX86_BUILTIN_VEC_INIT_V4HI,
 185         IX86_BUILTIN_VEC_INIT_V8QI, IX86_BUILTIN_VEC_EXT_V2DF,
 186         IX86_BUILTIN_VEC_EXT_V2DI, IX86_BUILTIN_VEC_EXT_V4SF,
 187         IX86_BUILTIN_VEC_EXT_V8HI, IX86_BUILTIN_VEC_EXT_V4HI,
 188         IX86_BUILTIN_VEC_SET_V8HI, IX86_BUILTIN_VEC_SET_V4HI): New.
 189         (ix86_init_builtins): Make static.
 190         (ix86_init_mmx_sse_builtins): Update for changed builtins.
 191         (ix86_expand_binop_builtin): Only use ix86_fixup_binary_operands
 192         if all the modes match.  Otherwise, fake it.
 193         (get_element_number, ix86_expand_vec_init_builtin,
 194         ix86_expand_vec_ext_builtin, ix86_expand_vec_set_builtin): New.
 195         (ix86_expand_builtin): Make static.  Update for changed builtins.
 196         (ix86_expand_vector_move_misalign): Use sse2_loadlpd with zero
 197         operand instead of sse2_loadsd.  Cast sse1 fallback to V4SFmode.
 198         (ix86_expand_vector_init_duplicate): New.
 199         (ix86_expand_vector_init_low_nonzero): New.
 200         (ix86_expand_vector_init_one_var, ix86_expand_vector_init_general):
 201         Split out from ix86_expand_vector_init; handle integer modes.
 202         (ix86_expand_vector_init): Use them.
 203         (ix86_expand_vector_set, ix86_expand_vector_extract): New.
 204         * config/i386/i386-protos.h: Update.
 205         * config/i386/predicates.md (reg_or_0_operand): New.
 206         * config/i386/mmx.md (mov<MMXMODEI>_internal): Add 'r' variants.
 207         (movv2sf_internal): Likewise.  And a splitter to match them all.
 208         (vec_dupv2sf, mmx_concatv2sf, vec_setv2sf, vec_extractv2sf,
 209         vec_initv2sf, vec_dupv4hi, vec_dupv2si, mmx_concatv2si, vec_setv2si,
 210         vec_extractv2si, vec_initv2si, vec_setv4hi, vec_extractv4hi,
 211         vec_initv4hi, vec_setv8qi, vec_extractv8qi, vec_initv8qi): New.
 212         (mmx_pinsrw): Fix operand ordering.
 213         * config/i386/sse.md (movv4sf splitter): Use direct pattern,
 214         rather than sse_loadss expander.
 215         (movv2df splitter): Similarly.
 216         (sse_loadss, sse_loadlss): Remove.
 217         (vec_dupv4sf, sse_concatv2sf, sse_concatv4sf, vec_extractv4sf_0): New.
 218         (vec_setv4sf, vec_setv2df): Use ix86_expand_vector_set.
 219         (vec_extractv4sf, vec_extractv2df): Use ix86_expand_vector_extract.
 220         (sse3_movddup): Rename with '*'.
 221         (sse3_movddup splitter): Use gen_rtx_REG instead of gen_lowpart.
 222         (sse2_loadsd): Remove.
 223         (vec_dupv2df_sse3): Rename from sse3_loadddup.
 224         (vec_dupv2df, vec_concatv2df_sse3, vec_concatv2df): New.
 225         (sse2_pinsrw): Fix argument ordering.
 226         (sse2_loadld, sse2_loadq): Add sse1 alternatives.
 227         (sse2_stored): Remove 'r' destination.
 228         (vec_dupv4si, vec_dupv2di, sse2_concatv2si, sse1_concatv2si,
 229         vec_concatv4si_1, vec_concatv2di, vec_setv2di, vec_extractv2di,
 230         vec_initv2di, vec_setv4si, vec_extractv4si, vec_initv4si,
 231         vec_setv8hi, vec_extractv8hi, vec_initv8hi, vec_setv16qi,
 232         vec_extractv16qi, vec_initv16qi): New.
 233
 234         * config/i386/emmintrin.h (__m128i, __m128d): Use typedef, not define.
 235         (_mm_set_sd, _mm_set1_pd, _mm_setzero_pd, _mm_set_epi64x,
 236         _mm_set_epi32, _mm_set_epi16, _mm_set_epi8, _mm_setzero_si128): Use
 237         constructor form.
 238         (_mm_load_pd, _mm_store_pd): Use plain dereference.
 239         (_mm_load_si128, _mm_store_si128): Likewise.
 240         (_mm_load1_pd): Use _mm_set1_pd.
 241         (_mm_load_sd): Use _mm_set_sd.
 242         (_mm_store_sd, _mm_storeh_pd): Use __builtin_ia32_vec_ext_v2df.
 243         (_mm_store1_pd, _mm_storer_pd): Use _mm_store_pd.
 244         (_mm_set_epi64): Use _mm_set_epi64x.
 245         (_mm_set1_epi64x, _mm_set1_epi64, _mm_set1_epi32, _mm_set_epi16,
 246         _mm_set1_epi8, _mm_setr_epi64, _mm_setr_epi32, _mm_setr_epi16,
 247         _mm_setr_epi8): Use _mm_set_foo form.
 248         (_mm_loadl_epi64, _mm_movpi64_epi64, _mm_move_epi64): Use _mm_set_epi64.
 249         (_mm_storel_epi64, _mm_movepi64_pi64): Use __builtin_ia32_vec_ext_v2di.
 250         (_mm_extract_epi16): Use __builtin_ia32_vec_ext_v8hi.
 251         (_mm_insert_epi16): Use __builtin_ia32_vec_set_v8hi.
 252         * config/i386/mmintrin.h (_mm_setzero_si64): Use plain cast.
 253         (_mm_set_pi32): Use __builtin_ia32_vec_init_v2si.
 254         (_mm_set_pi16): Use __builtin_ia32_vec_init_v4hi.
 255         (_mm_set_pi8): Use __builtin_ia32_vec_init_v8qi.
 256         (_mm_set1_pi16, _mm_set1_pi8): Use _mm_set_piN variant.
 257         * config/i386/pmmintrin.h (_mm_loaddup_pd): Use _mm_load1_pd.
 258         (_mm_movedup_pd): Use _mm_shuffle_pd.
 259         * config/i386/xmmintrin.h (_mm_setzero_ps, _mm_set_ss,
 260         _mm_set1_ps, _mm_set_ps, _mm_setr_ps): Use constructor form.
 261         (_mm_cvtpi16_ps, _mm_cvtpu16_ps, _mm_cvtpi8_ps, _mm_cvtpu8_ps,
 262         _mm_cvtps_pi8, _mm_cvtpi32x2_ps): Avoid __builtin_ia32_mmx_zero;
 263         Use _mm_setzero_ps.
 264         (_mm_load_ss, _mm_load1_ps): Use _mm_set* form.
 265         (_mm_load_ps, _mm_loadr_ps): Use raw dereference.
 266         (_mm_store_ss): Use __builtin_ia32_vec_ext_v4sf.
 267         (_mm_store_ps): Use raw dereference.
 268         (_mm_store1_ps): Use _mm_storeu_ps.
 269         (_mm_storer_ps): Use _mm_store_ps.
 270         (_mm_extract_pi16): Use __builtin_ia32_vec_ext_v4hi.
 271         (_mm_insert_pi16): Use __builtin_ia32_vec_set_v4hi.
 272
 273 2005-01-11  Stan Shebs  <shebs@apple.com>
 274
 275         * config/rs6000/rs6000.c (machopic_output_stub): Issue
 276         ldu instead of lwzu if 64-bit -mdynamic-no-pic.
 277
 278 2005-01-11  Andrew Pinski  <pinskia@physics.uc.edu>
 279
 280         PR target/18761
 281         * config/rs6000/rs6000.c (rs6000_special_round_type_align):
 282         Skip all DECLs except for FIELD_DECLs.
 283
 284 2005-01-11  Andreas Krebbel  <krebbel1@de.ibm.com>
 285
 286         * config/s390/s390.c (override_options): Return error if
 287         -mbackchain, -mpacked-stack and -mhard-float are used together.
 288         (s390_va_start): Remove the backchain && packed-stack special case.
 289         (s390_gimplify_va_arg): Likewise.
 290         * doc/invoke.texi: Remove the ABI incompatibility note.
 291
 292 2005-01-11  Andreas Krebbel  <krebbel1@de.ibm.com>
 293
 294         * config/s390/s390.c (struct s390_frame_layout): Remove
 295         save_backchain_p.
 296         (s390_frame_info, s390_emit_prologue): Replace occurrences of
 297         save_backchain_p with TARGET_BACKCHAIN.
 298
 299 2005-01-11  Alan Modra  <amodra@bigpond.net.au>
 300
 301         PR target/18916
 302         * builtins.c (std_gimplify_va_arg_expr): Adjust alignment of *ap.
 303         * expr.h (struct locate_and_pad_arg_data): Add "boundary".
 304         * function.c (locate_and_pad_parm): Set new field.
 305         (assign_parm_find_stack_rtl): Use it instead of FUNCTION_ARG_BOUNDARY.
 306         Tweak where_pad test to include "none".  Always set mem align for
 307         stack_parm.
 308         (assign_parm_adjust_stack_rtl): Discard stack_parm if alignment
 309         not sufficient for type.
 310         (assign_parm_setup_block): If stack_parm is zero on entry, always
 311         make a new stack local.  Block move old stack parm if necessary
 312         to new aligned stack local.
 313         (assign_parm_setup_stack): Use a block move to handle
 314         potentially misaligned entry_parm.
 315         (assign_parms_unsplit_complex): Specify required alignment when
 316         creating stack local.
 317         * calls.c (compute_argument_addresses): Override alignment of stack
 318         arg calculated from its type with the alignment given by
 319         FUNCTION_ARG_BOUNDARY.
 320         (store_one_arg): Likewise.
 321
 322 2005-01-11  Jan Beulich  <jbeulich@novell.com>
 323
 324         * config/ia64/ia64.md (zero_extendsidi2): Replace zxt4 by addp4.
 325         Change respective itanium_class attribute to ialu.
 326         (shladdp4_internal): New.
 327         * config/ia64/predicates.md (shladd_log2_operand): New.
 328
 329 2005-01-11  Richard Henderson  <rth@redhat.com>
 330
 331         * expr.c (store_constructor): Use rtvec_alloc instead of
 332         alloca+gen_rtvec_v, and an incorrect number passed to alloca.
 333
 334 2005-01-11  Kazu Hirata  <kazu@cs.umass.edu>
 335
 336         * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos.
 337
 338 2005-01-11  Alan Modra  <amodra@bigpond.net.au>
 339
 340         * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL.
 341         * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define.
 342         (TARGET_RWRELOC): Define.
 343         (ia64_rwreloc_section_type_flags): Delete.
 344         (ia64_section_type_flags): New function.
 345         * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define.
 346         (TARGET_RWRELOC): Define.
 347
 348 2005-01-10  David Mosberger  <davidm@hpl.hp.com>
 349
 350         PR target/18987
 351         * config/ia64/ia64.c (process_set): For alloc insn, only call
 352         process_epilogue is !frame_pointer_needed.
 353
 354 2005-01-10  Roger Sayle  <roger@eyesopen.com>
 355
 356         PR c++/19355
 357         * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
 358         unary operator and can't be treated as a binary/comparison operator.
 359
 360 2005-01-10  Richard Henderson  <rth@redhat.com>
 361
 362         * config/i386/i386.c (ix86_function_value): Use type_natural_mode.
 363         (ix86_return_in_memory): Likewise.
 364         (function_arg_advance):  Likewise.  Mirror structure in function_arg
 365         for choosing register to advance.
 366
 367 2005-01-10  Kazu Hirata  <kazu@cs.umass.edu>
 368
 369         * tree-vectorizer.c, tree.def: Fix comment typos.
 370
 371 2005-01-10  Mark Dettinger  <dettinge@de.ibm.com>
 372
 373         * config/s390/s390.c (struct processor_costs): 4 new fields:
 374         ddbr, ddr, debr, der.
 375         (s390_rtx_costs): More precise handling of divide instructions.
 376
 377 2005-01-10  David Edelsohn  <edelsohn@gnu.org>
 378
 379         * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define.
 380
 381 2005-01-10  Jan Beulich  <jbeulich@novell.com>
 382
 383         * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section
 384         names resulting from -ffunction-sections/-fdata-sections and linkonce
 385         ones.
 386         * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL
 387         based on the section name. Rearrange the section name comparison logic
 388         slightly so that each section name is compared against at most once.
 389
 390 2005-01-10  Ben Elliston  <bje@au.ibm.com>
 391
 392         * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of
 393         targets for which -fPIC reduces limitations on the GOT size.
 394
 395 2005-01-09  Falk Hueffner  <falk@debian.org>
 396
 397         * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding
 398         X/C1 cmpop C2.
 399
 400 2005-01-09  David Edelsohn  <edelsohn@gnu.org>
 401
 402         PR target/18720
 403         * collect2.c (main): Set aixrtl_flag for -brtl option.
 404         (resolve_lib_name): Search for .so file extension before .a
 405         if aixrtl_flag set.
 406
 407 2005-01-09  Dorit Naishlos  <dorit@il.ibm.com>
 408
 409         * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints.
 410         (vect_analyze_data_refs_alignment): Add dump prints.
 411
 412 2005-01-09  Ira Rosen  <irar@il.ibm.com>
 413
 414         * tree-vectorizer.c (vect_analyze_offset_expr): Use
 415         expr_invariant_in_loop_p.
 416         Initialize outputs first thing in the function.
 417         (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num.
 418         (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num.
 419         (vect_analyze_pointer_ref_access): Check that the initial condition of
 420         the access function is loop invariant.
 421
 422 2005-01-09  Richard Henderson  <rth@redhat.com>
 423
 424         * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes.
 425         (ix86_expand_builtin): Likewise.  Frob MASKMOVQ wrt the input mem
 426         just like MASKMOVDQU.  Return plain zero for MMX_ZERO.
 427         * config/i386/i386.md (MMXMODEI, mov<MMXMODEI>,
 428         mov<MMXMODEI>_internal_rex64, mov<MMXMODEI>_internal, movv2sf,
 429         movv2sf_internal_rex64, movv2sf_internal, MMXMODE,
 430         movmisalign<MMXMODE>, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex,
 431         sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3,
 432         ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3,
 433         mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3,
 434         mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd,
 435         sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3,
 436         mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw,
 437         mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3,
 438         gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3,
 439         ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3,
 440         mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw,
 441         mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd,
 442         mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3,
 443         eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw,
 444         pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3,
 445         pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2,
 446         pswapdv2sf2): Move to mmx.md; rename as necessary with leading
 447         mmx_ prefix.
 448         (mmx_clrdi, pavgusb): Remove.
 449         (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename
 450         with leading sse_ prefix.
 451         * config/i386/sse.md: Receive them.
 452         * config/i386/mmx.md: New file.
 453         (MMXMODE12, MMXMODE24, mmxvecsize): New.
 454         (subrv2sf3): Turn into expander for normal subtraction.
 455         (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3,
 456         mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart,
 457         mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3,
 458         mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark
 459         commutative; use ix86_binary_operator_ok.
 460         (mmx_add<MMXMODEI>3, mmx_ssadd<MMXMODE12>3, mmx_usadd<MMXMODE12>3,
 461         mmx_sub<MMXMODEI>3, mmx_sssub<MMXMODE12>3, mmx_ussub<MMXMODE12>3
 462         mmx_ashr<MMXMODE24>3, mmx_lshr<MMXMODE23>3, mmx_ashl<MMXMODE24>3
 463         mmx_eq<MMXMODEI>3, mmx_gt<MMXMODEI>3, mmx_and<MMXMODEI>3,
 464         mmx_nand<MMXMODEI>3, mmx_ior<MMXMODEI>3, mmx_xor<MMXMODEI>3):
 465         Macroize from existing patterns; use ix86_binary_operator_ok.
 466         (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative.
 467         (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd,
 468         mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise.  Model
 469         with vec_select+vec_concat.
 470         (mmx_pshufw, mmx_pshufw_1): Likewise.
 471         (mmx_uavgv8qi3): Merge pavgusb.  Model correcty.
 472         (mmx_uavgv4hi3): Model correctly.
 473         * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64,
 474         _mm_xor_si64): Remove casts.
 475
 476 2005-01-09  Zdenek Dvorak  <dvorakz@suse.cz>
 477
 478         PR tree-optimization/19224
 479         * tree-scalar-evolution.c (get_instantiated_value,
 480         set_instantiated_value): New functions.
 481         (instantiate_parameters_1): Cache the results.
 482         (instantiate_parameters, resolve_mixers): Initialize and free
 483         the cache.
 484
 485 2005-01-08  David Edelsohn  <edelsohn@gnu.org>
 486
 487         * config/i386/i386.md (addhi_4): Correct reference in comment.
 488         (addqi_4): Same.
 489
 490 2005-01-08  Richard Henderson  <rth@redhat.com>
 491
 492         * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier.
 493         (_mm_cvtsi128_si64x): Likewise.
 494         (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32,
 495         _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use
 496         the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32.
 497         * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF.
 498         * config/i386/i386-protos.h: Update.
 499         * config/i386/i386.c (print_operand): Add 'H'.
 500         (ix86_fixup_binary_operands): Split out from ...
 501         (ix86_expand_binary_operator): ... here.
 502         (ix86_fixup_binary_operands_no_copy): New.
 503         (ix86_expand_fp_absneg_operator): Handle vector mode results.
 504         (bdesc_2arg): Update names for sse{,2,3}_ prefixes.
 505         (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases.
 506         (safe_vector_operand): Use CONST0_RTX.
 507         (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands.
 508         (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and
 509         CODE_FOR_sse2_maskmovdqu.  Special case SSE version of MASKMOVDQU
 510         expansion.  Update names for sse{,2,3}_ prefixes.  Remove *maskncmp*
 511         special cases.
 512         * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New.
 513         (IX86_BUILTIN_CMPNGESS): New.
 514         * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New.
 515         (attr type): Add sselog1.
 516         (attr unit, attr memory): Handle it.
 517         (movti, movti_internal, movti_rex64): Move near other integer moves.
 518         (movtf, movtf_internal): Move near other fp moves.
 519         (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df,
 520         vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal,
 521         movv2df, movv2df_internal, mov<SSEMODEI>, mov<SSEMODEI>_internal,
 522         movmisalign<SSEMODE>, sse_movups_1, sse_movmskps, sse_movntv4sf,
 523         sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps,
 524         sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess,
 525         sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2,
 526         mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2,
 527         rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3,
 528         sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3,
 529         sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3,
 530         sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3,
 531         vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps,
 532         smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi,
 533         cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si,
 534         cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3,
 535         vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3,
 536         vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3,
 537         sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu,
 538         sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi,
 539         cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq,
 540         cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si,
 541         cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps,
 542         cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3,
 543         ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3,
 544         subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3,
 545         smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3,
 546         sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3,
 547         sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw,
 548         sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3,
 549         gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3,
 550         ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3,
 551         ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd,
 552         sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw,
 553         sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd,
 554         sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd,
 555         sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq,
 556         sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd,
 557         sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd,
 558         sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence,
 559         mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3,
 560         addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup,
 561         movsldup, lddqu, loadddup, movddup): Move to sse.md.  Any with
 562         non-optabs meanings renamed with an "sse{,2,3}_" prefix at the
 563         same time.
 564         (SSEPUSH, push<SSEPUSH>): Remove.
 565         (MMXPUSH, push<MMXPUSH>): Remove.
 566         (sse_movaps, sse_movaps_1, sse_movups): Remove.
 567         (sse2_movapd, sse2_movdqa, sse2_movq): Remove.
 568         (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove.
 569         (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove.
 570         (maskncmpv4sf3, vmmaskncmpv4sf3): Remove.
 571         (maskncmpv2df3, vmmaskncmpv2df3): Remove.
 572         (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove.
 573         (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove.
 574         * config/i386/athlon.md (athlon_sselog_load): Handle sselog1.
 575         (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise.
 576         * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr.
 577         (ppro_sse_log_V4SF_load): Similarly.  Handle sselog1.
 578         (ppro_sse_log_V4SF): Handle sselog1.
 579         * config/i386/predicates.md (const_0_to_1_operand): New.
 580         (const_0_to_255_mul_8_operand): New.
 581         (const_1_to_31_operand): Rename from const_int_1_31_operand.
 582         (const_2_to_3_operand, const_4_to_7_operand): New.
 583         * config/i386/sse.md: New file.
 584         (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New.
 585         (sse_movups): Rename from sse_movups_1.
 586         (sse_loadlss): Rename from sse_loadss_1.
 587         (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix
 588         from the name.
 589         (negv4sf2): Use ix86_expand_fp_absneg_operator.
 590         (absv4sf2, negv2df, absv2df): New.
 591         (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy.
 592         (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3,
 593         iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3,
 594         smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3,
 595         umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise.
 596         (sse3_addsubv4sf3): Model correctly.
 597         sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3,
 598         sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise.
 599         (sse_movhlps): Model with vec_select+vec_concat.
 600         (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup,
 601         sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup,
 602         sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw,
 603         sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq,
 604         sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd,
 605         sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw,
 606         sse2_pshufhw_1): Likewise.
 607         (neg<SSEMODEI>2, one_cmpl<SSEMODEI>2): New.
 608         (add<SSEMODEI>3, sse2_ssadd<SSEMODE12>3, sse2_usadd<SSEMODE12>3,
 609         sub<SSEMODEI>3, sse2_sssub<SSEMODE12>3, sse2_ussub<SSEMODE12>3,
 610         ashr<SSEMODE24>3, lshr<SSEMODE248>3, sse2_eq<SSEMODE124>3,
 611         sse2_gt<SSEMODDE124>3, and<SSEMODEI>3, sse_nand<SSEMODEI>3,
 612         ior<SSEMODEI>3, xor<SSEMODEI>3): Macroize from existing patterns.
 613         (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3,
 614         sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3,
 615         mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3,
 616         sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3
 617         sminv8hi3): Mark commutative
 618         operands.  Use ix86_binary_operator_ok.
 619         (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw,
 620         sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd,
 621         sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq,
 622         sse2_punpcklqdq): Allow operand2 in memory.
 623         (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd
 624         sse2_movsd): Add memory alternatives.
 625         (sse_storelps): Turn expander into an insn; split after reload.
 626         (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs.
 627         (sse2_storehpd, sse2_storelpd): Add non-xmm outputs.
 628
 629 2005-01-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
 630
 631         * configure.ac (DWARF-2 debug_line): Use objdump.
 632         * configure: Regenerate.
 633
 634 2005-01-08  Jeff Law  <law@redhat.com>
 635             Diego Novillo  <dnovillo@redhat.com>
 636
 637         PR tree-optimization/18241
 638         * tree-nrv.c (tree_nrv): Ignore volatile return values.
 639         * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize
 640         statements with volatile operands.
 641         * tree-ssa-operands.c (add_stmt_operand): Do add volatile
 642         operands after marking a statement with has_volatile_ops.
 643
 644 2005-01-08  Roger Sayle  <roger@eyesopen.com>
 645
 646         * tree.c (int_fits_type_p): Always honor integer constant
 647         TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist.
 648
 649 2005-01-08  Roger Sayle  <roger@eyesopen.com>
 650
 651         * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that
 652         the latent bug in rtl_delete_block has been resolved.
 653
 654 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
 655
 656         * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values.
 657         (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64.
 658
 659 2005-01-08  Richard Sandiford  <rsandifo@redhat.com>
 660
 661         * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the
 662         library as @multilib_dir@/$(SHLIB_SONAME).
 663
 664 2005-01-07  Eric Botcazou  <ebotcazou@libertysurf.fr>
 665
 666         * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo.
 667         * configure: Regenerate.
 668
 669 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
 670
 671         * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy
 672         TYPE_MODE.
 673
 674 2005-01-07  David Edelsohn  <edelsohn@gnu.org>
 675
 676         PR target/13674
 677         * config/rs6000/rs6000.c (rs6000_legitimize_reload_address):
 678         Convert non-word aligned offset address using ld/std into
 679         indirect address.
 680
 681 2005-01-07  Richard Henderson  <rth@redhat.com>
 682
 683         * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo.
 684
 685 2005-01-07  Richard SAndiford  <rsandifo@redhat.com>
 686
 687         * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check.
 688
 689 2005-01-07  Jakub Jelinek  <jakub@redhat.com>
 690
 691         PR tree-optimization/19283
 692         * fold-const.c (fold_widened_comparison): Return NULL if shorter_type
 693         is not shorter than the original type.
 694
 695         PR rtl-optimization/19012
 696         * config/i386/i386.md (addqi_1_slp): Set memory attribute.
 697
 698         PR rtl-optimization/18861
 699         * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define.
 700         (FULL_STATE): Define.
 701         (mark_tablejump_edge): New function.
 702         (purge_dead_tablejump_edges): New function.
 703         (find_bb_boundaries): Use it.
 704
 705         PR tree-optimization/18828
 706         * builtins.c (expand_builtin_next_arg): Remove argument and all
 707         the argument checking.
 708         (expand_builtin): Adjust caller.
 709         (expand_builtin_va_start): Likewise.  Remove error for too many
 710         arguments.
 711         (fold_builtin_next_arg): Issue error for too many arguments.
 712         After checking arguments, replace them with magic arguments that
 713         prevent further checking of the args.
 714
 715 2005-01-06  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 716
 717         * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec.
 718
 719 2005-01-06  Roger Sayle  <roger@eyesopen.com>
 720
 721         PR target/6077
 722         * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...}
 723         and %{.S:...} (and their negative variants) to test whether the
 724         input file is assembler or pre-processed-assembler independent of
 725         the actual filename extension.
 726
 727 2005-01-06  Roger Sayle  <roger@eyesopen.com>
 728
 729         * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts
 730         of sign or zero extended values.
 731
 732 2005-01-06  Geoffrey Keating  <geoffk@apple.com>
 733
 734         * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
 735         for IBM long double format correctly.
 736
 737 2005-01-06  Daniel Berlin <dberlin@dberlin.org>
 738
 739         Fix PR tree-optimization/18792
 740
 741         * tree-data-ref.c (build_classic_dist_vector): Change first_loop
 742         to first_loop_depth, and use loop depth instead of loop number.
 743         (build_classic_dir_vector): Ditto.
 744         (compute_data_dependences_for_loop): Use depth, not loop number.
 745         * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop
 746         number. Pass in loops, instead of loop numbers.
 747         (gather_interchange_stats): Ditto.
 748         (linear_transform_loops): Ditto.
 749
 750 2005-01-06  Richard Sandiford  <rsandifo@redhat.com>
 751
 752         PR rtl-opt/13299
 753         * loop.c (get_monotonic_increment, biased_biv_fits_mode_p,
 754         biv_fits_mode_p, extension_within_bounds_p): New functions.
 755         (check_ext_dependent_givs): Use them.
 756
 757 2005-01-06  Roger Sayle  <roger@eyesopen.com>
 758
 759         * cfgrtl.c (rtl_delete_block): A basic block may be followed by
 760         more than one barrier, in which case we should delete them all.
 761
 762 2005-01-06  Tobias Schlueter  <tobias.schlueter@physik.uni-muenchen.de>
 763
 764         * gcc.c (process_command): Change year in 'gcc --version' to 2005.
 765
 766 2005-01-05  Daniel Berlin  <dberlin@dberlin.org>
 767
 768         Fix PR middle-end/19286
 769         Fix PR debug/19267
 770         * dwarf2out.c (gen_subprogram_die): If we've already tried to
 771         output this subprogram, simply ignore this attempt to do it again.
 772         (add_abstract_origin_attribute): Don't abort trying to add the abstract
 773         origin attribute if it's not possible.
 774         (gen_block_die): Don't ignore subblocks of "unused" blocks.
 775         (decls_for_scope): Ditto.
 776         * gimple-low.c (mark_blocks_with_used_subblocks): Remove.
 777         (mark_used_blocks): Don't call mark_blocks_with_used_subblocks.
 778
 779 2005-01-05  Richard Henderson  <rth@redhat.com>
 780
 781         PR target/11327
 782         * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New.
 783         (bdesc_2arg): Use it.
 784         (ix86_expand_binop_builtin): Force operands into registers
 785         when optimizing.
 786         (ix86_expand_unop_builtin, ix86_expand_unop1_builtin,
 787         ix86_expand_sse_compare, ix86_expand_sse_comi,
 788         ix86_expand_builtin): Likewise.
 789
 790 2005-01-05  Richard Henderson  <rth@redhat.com>
 791
 792         * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR
 793         and VEC_SELECT.
 794         * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl].
 795         (mulv4hi3): Set itanium_class mmmul.
 796         (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove.
 797         (fpack): Rename from fpack_sfsf.
 798
 799 2005-01-05  Richard Henderson  <rth@redhat.com>
 800
 801         PR rtl-opt/10692
 802         * reload1.c (do_input_reload): Restrict the optimization deleteing
 803         a previous output reload to RELOAD_FOR_INPUT.
 804
 805 2005-01-05  Steven Bosscher  <stevenb@suse.de>
 806
 807         * combine.c (expand_compound_operation)  <ZERO_EXTRACT>: Add
 808         comment that we fall through after case.
 809         (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST.
 810         (distribute_links): Likewise.
 811         * cse.c (cse_insn): Likewise.
 812         * cselib.c (cselib_invalidate_mem): Likewise.
 813         * df.c: Update comments at the top of the file.
 814         (read_modify_subreg_p): Update comments here too.
 815         (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST.
 816         * flow.c (mark_set_1): Likewise.
 817         (mark_used_regs): Likewise.
 818         * gcse.c (mems_conflict_for_gcse_p): Likewise.
 819         (canon_list_insert): Likewise.
 820         (mark_set): Likewise.
 821         (try_replace_reg): Likewise.
 822         (store_killed_in_insn): Likewise.
 823         * loop.c (count_one_set): Likewise.
 824         (basic_induction_var): Likewise.
 825         * postreload-gcse.c (find_mem_conflicts): Likewise.
 826         * postreload.c (reload_combine_note_store): Likewise.
 827         (move2add_note_store): Likewise.
 828         * reload.c (find_equiv_reg): Likewise.
 829         (mark_referenced_resources): Likewise.
 830         * rtlanal.c (set_noop_p): Likewise.
 831         (note_stores): Likewise.
 832         (note_uses): Likewise.
 833         * sched-deps.c (sched_analyze_1): Likewise.
 834         * sched-rgn.c (check_live_1): Likewise.
 835         (update_live_1): Likewise.
 836         * config/i860/i860.c: Likewise.
 837
 838         * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as
 839         an lvalue.
 840         (ZERO_EXTRACT): Mention that this one can be an lvalue.
 841
 842         * doc/rtl.texi: Update documentation for bit-fields and SET.
 843
 844 2005-01-05  Roger Sayle  <roger@eyesopen.com>
 845
 846         * ifcvt.c (find_if_case_1): Revert 2005-01-04 change.
 847
 848 2005-01-05  Jan Hubicka  <jh@suse.cz>
 849             Richard Henderson  <rth@redhat.com>
 850
 851         PR target/18910
 852         * config/i386/i386.c (ix86_expand_move): Handle tls symbols
 853         with an offset.
 854
 855 2005-01-05  Richard Henderson  <rth@redhat.com>
 856
 857         PR target/12902
 858         * config/i386/i386.md (sse_movhps, sse_movlps): Remove.
 859         (sse_shufps): Change operand 3 to const_int_operand.
 860         (sse2_storelps): Fix typo in template.
 861         (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New.
 862         * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them.
 863         (ix86_expand_builtin): Likewise.
 864
 865 2005-01-05  Julian Brown  <julian@codesourcery.com>
 866
 867         * config/arm/arm.c (arm_return_in_memory): Treat complex types
 868         as aggregates for AAPCS ABIs.
 869
 870 2005-01-05  Stan Shebs  <shebs@apple.com>
 871
 872         * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit
 873         Mach-O getters if ppc64.
 874         * config/darwin.c (darwin_asm_output_dwarf_delta): Obey
 875         size argument.
 876         * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use
 877         signed four-byte field for global code case.
 878         (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation.
 879
 880 2005-01-05  Roger Sayle  <roger@eyesopen.com>
 881
 882         PR middle-end/19100
 883         * c-common.c: Include real.h.
 884         (c_common_truthvalue_conversion): Avoid destructively modifying expr.
 885         Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST.
 886         Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST.
 887         * Makefile.in (c-common.o): Update dependencies.
 888
 889 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
 890
 891         * c-parse.in (asm_string): Add trailing semicolon.
 892
 893 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
 894
 895         * c-parse.in (asm_string): New.  Don't allow wide strings in
 896         'asm'.
 897         (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use
 898         asm_string instead of STRING.
 899
 900 2005-01-05  Joseph S. Myers  <joseph@codesourcery.com>
 901
 902         * c-typeck.c (constructor_no_implicit): Remove.
 903         (set_designator, process_init_element): Don't check
 904         constructor_no_implicit.
 905
 906 2005-01-05  J"orn Rennecke <joern.rennecke@st.com>
 907             Kaz Kojima  <kkojima@gcc.gnu.org>
 908
 909         PR target/16482
 910         * lcm.c (create_pre_exit): New.
 911         (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set
 912         ENTRY_EXIT_EXTRA to 3.  Use create_pre_exit.
 913
 914 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
 915
 916         * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and
 917         -msoft-float in target_float_switch.
 918         * arm.c (arm_override_options): Fix processing of target_float_switch.
 919
 920 2004-01-05  Richard Earnshaw  <rearnsha@arm.com>
 921
 922         * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register
 923         preferencing.
 924
 925 2004-01-05  Uros Bizjak  <uros@kss-loka.si>
 926
 927         * doc/invoke.texi (Intel 386 and AMD x86-64 Options):
 928         Replace i387 with 'i386 compiler' in -mfpmath=sse option.
 929
 930 2005-01-04  Roger Sayle  <roger@eyesopen.com>
 931
 932         * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block,
 933         if deleting the then-block allows the test-block to fallthru to the
 934         else-block.
 935
 936 2005-01-04  Andrew Pinski  <pinskia@physics.uc.edu>
 937
 938         PR c/19152
 939         * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared
 940         after the full declaration if the are in two different TUs.
 941
 942 2005-01-04  Richard Henderson  <rth@redhat.com>
 943
 944         PR tree-opt/19158
 945         * tree-sra.c (generate_one_element_init): Just
 946         call gimplify_and_add.
 947         (generate_element_init): Record the
 948         new referenced variables and mark them for renaming
 949         and split out to ...
 950         (generate_element_init_1): This.
 951         (scalarize_init): Don't call push_gimplify_context/
 952         pop_gimplify_context.
 953
 954 2005-01-04  Geoffrey Keating  <geoffk@apple.com>
 955
 956         * toplev.c (get_src_pwd): Handle failure of getpwd().
 957
 958 2005-01-04  Roger Sayle  <roger@eyesopen.com>
 959
 960         * fold-const.c (fold_single_bit_test): Delete unreachable handling
 961         of TRUTH_NOT_EXPR.
 962         (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as
 963         all the cases handled by it are inverted by invert_truthvalue.
 964
 965 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
 966
 967         * config/sparc/sparc.md (save_register_windowdi): Add missing mode.
 968         (save_register_windowsi): Likewise.
 969
 970 2005-01-04  Richard Henderson  <rth@redhat.com>
 971
 972         * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname.
 973
 974 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
 975
 976         PR middle-end/17767
 977         * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt
 978         any simplifications of vector mode comparison operators.
 979         * simplify-rtx.c (simplify_relational_operation): Fix variable name.
 980
 981 2005-01-04  Paolo Bonzini  <bonzini@gnu.org>
 982             Devang Patel  <dpatel@apple.com>
 983
 984         PR tree-optimization/18308
 985         * tree-if-conv.c (add_to_dst_predicate_list): Gimplify
 986         the operands before creating a new expression.
 987         * dojump.c (do_jump): Make drop_through_label available
 988         for all cases.  Add expansion of COND_EXPR.
 989
 990 2005-01-04  Ira Rosen  <irar@il.ibm.com>
 991
 992         * tree-vectorizer.c (vect_analyze_offset_expr): Test for
 993         INTEGER_CST instead of TREE_CONSTANT.
 994         (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST
 995         instead of TREE_CONSTANT.
 996         (vect_analyze_pointer_ref_access): Test for INTEGER_CST
 997         instead of TREE_CONSTANT.
 998
 999 2005-01-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
1000
1001         * tree-eh.c (replace_goto_queue): Return early if the queue is empty.
1002
1003 2005-01-04  Uros Bizjak  <uros@kss-loka.si>
1004
1005         PR target/19240
1006         * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH.
1007         (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH).
1008
1009 2005-01-03  Richard Henderson  <rth@redhat.com>
1010
1011         * fold-const.c (force_fit_type): Cope with types larger than 2 HWI.
1012         (fold_convert_const_int_from_int, fold_convert_const_int_from_real,
1013         fold_convert_const_real_from_real): Split out from ...
1014         (fold_convert_const): ... here.
1015
1016 2005-01-03  Richard Henderson  <rth@redhat.com>
1017
1018         PR target/19235
1019         * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives.
1020         (mov<MMXMODEI>_internal): Likewise.
1021         (movdf_nointeger): Prefer Y while not preferring, but allowing, x.
1022         Add V2SF case; use it for SSE1; don't use TI.
1023         (movdf_integer): Likewise.
1024         (mov<SSEMODEI>_internal, movti_internal): Force V4SF for SSE1.
1025
1026 2005-01-03  Ira Rosen  <irar@il.ibm.com>
1027
1028         * tree-vectorizer.c (vect_strip_conversions): New function.
1029         (vect_analyze_offset_expr): Call vect_strip_conversions. Add
1030         check for binary class.
1031
1032 2005-01-03  Daniel Berlin  <dberlin@dberlin.org>
1033
1034         Fix PR debug/17924
1035         Fix PR debug/19191
1036         * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin
1037         is a decl.
1038         * gimple-low.c (mark_blocks_with_used_vars): New function.
1039         (mark_blocks_with_used_subblocks): Ditto.
1040         (mark_used_blocks): Ditto.
1041         (pass_mark_used_blocks): New pass.
1042         * tree-inline.c: Include debug.h.
1043         (expand_call_inline): Call outlining_inline_function here.
1044         * tree-optimize.c (init_tree_optimization_passes): Add
1045         pass_mark_used_blocks.
1046         * tree-pass.h (pass_mark_used_blocks): New.
1047         * Makefile.in (tree-inline.o): Add debug.h dependency.
1048
1049 2005-01-03  Geoffrey Keating  <geoffk@apple.com>
1050
1051         * config/darwin.c (darwin_handle_weak_import_attribute): Permit
1052         VAR_DECLs to have weak_import attribute.
1053
1054         * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than
1055         'struct ucontext'.
1056
1057 2004-01-03  Steven Bosscher  <stevenb@suse.de>
1058
1059         * passes.c (rest_of_compilation): Don't run regmove if only
1060         flag_expensive_optimizations, require flag_regmove instead.
1061
1062 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
1063
1064         * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not
1065         register "sparc".
1066         * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise.
1067         * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
1068         * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete.
1069         * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise.
1070
1071 2005-01-03  Richard Henderson  <rth@redhat.com>
1072
1073         * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New.
1074         (ia64_const_ok_for_letter_p): New.
1075         (ia64_const_double_ok_for_letter_p): New.
1076         (ia64_extra_constraint): New.
1077         (ia64_expand_vecint_compare): New.
1078         (ia64_expand_vcondu_v2si): New.
1079         (ia64_expand_vecint_cmov): New.
1080         (ia64_expand_vecint_minmax): New.
1081         (ia64_print_operand): Add 'v'.
1082         (ia64_preferred_reload_class): New.
1083         (ia64_vector_mode_supported_p): New.
1084         * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New.
1085         (PREFERRED_RELOAD_CLASS): Move to function.
1086         (CONST_OK_FOR_LETTER_P): Move to function.
1087         (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function.
1088         (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove.
1089         (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove.
1090         (EXTRA_CONSTRAINT): Move to function.
1091         * config/ia64/ia64.md: Include vect.md.
1092         (itanium_class): Add mmalua.
1093         (type): Handle it.
1094         * config/ia64/itanium1.md (1_mmalua): New.  Add it to bypasses.
1095         (1b_mmalua): New.
1096         * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly.
1097         * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any
1098         CONST0_RTX.
1099         (const_int_2bit_operand): New.
1100         (fr_reg_or_0_operand): New.
1101         * config/ia64/ia64-modes.def: Add vector modes.
1102         * config/ia64/ia64-protos.h: Update.
1103         * config/ia64/vect.md: New file.
1104
1105 2005-01-03  Richard Henderson  <rth@redhat.com>
1106
1107         * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT.
1108
1109 2005-01-03  Uros Bizjak  <uros@kss-loka.si>
1110
1111         PR target/19236
1112         * config/i386/i386.c (log1psf2): Change mode of operands[0,1]
1113         to SFmode.
1114         (log1pdf2): Change mode of operands[0,1] to DFmode.
1115
1116 2005-01-03  Eric Botcazou  <ebotcazou@libertysurf.fr>
1117
1118         * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false.
1119         * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true.
1120         * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise.
1121         * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to
1122         SPARC_RELAXED_ORDERING.
1123
1124 2005-01-03  Richard Henderson  <rth@redhat.com>
1125             Uros Bizjak  <uros@kss-loka.si>
1126
1127         PR target/14631
1128         * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW,
1129         IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message.
1130         * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector
1131         handling.
1132         (*mmx_pinsrw, *sse2_pinsrw): New patterns.
1133         * config/i386/i386/predicates.md (const_pow2_1_to_8_operand,
1134         const_pow2_1_to_128_operand): New predicates.
1135
1136 2005-01-02  Greg McGary  <greg@mcgary.org>
1137
1138         * tree-mudflap.c (mf_varname_tree): decl_printable_name handles
1139         anonymous decls.
1140         (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost
1141         object.  [ptr_type]: Remove unused variable.
1142         Remember nearest addressable array-element or record-component
1143         when checking bitfield components.  Tolerate empty BIND_EXPR.
1144
1145 2005-01-01  Richard Henderson  <rth@redhat.com>
1146
1147         * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions
1148         that don't narrow the value.  Fail for other conversions.
1149
1150 2005-01-01  Richard Henderson  <rth@redhat.com>
1151
1152         PR c/19031
1153         * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks.
1154         * c-lang.c (finish_file): Don't do it here.
1155         * objc/objc-act.c (objc_finish_file): Likewise.
1156
1157         * cgraph.c (decl_assembler_name_equal): New.
1158         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New.
1159         (cgraph_varpool_node): Actually link up cgraph_varpool_nodes.
1160         * cgraph.h (struct cgraph_varpool_node): Add next.
1161         (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare.
1162         * varasm.c (assemble_alias): Mark the target as needed.
1163
1164 2005-01-01  Andrew Pinski  <pinskia@physics.uc.edu>
1165
1166         PR middle-end/19221
1167         * function.c (get_arg_pointer_save_area): Use entry_of_function
1168         instead of get_insns.
1169
1170 2005-01-01  Roger Sayle  <roger@eyesopen.com>
1171             Andrew Pinski  <pinskia@physics.uc.edu>
1172             James E. Wilson  <wilson@specifixinc.com>
1173
1174         PR rtl-optimization/12092
1175         * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK
1176         is zero.
1177
1178 2005-01-01  Roger Sayle  <roger@eyesopen.com>
1179             Olivier Hainque  <hainque@act-europe.fr>
1180
1181         * tree.c (int_fits_type_p): A narrower type always fits in a
1182         wider one, except for negative values into unsigned types.
1183
1184 2005-01-01  Roger Sayle  <roger@eyesopen.com>
1185
1186         * tree.c (int_fits_type_p): Compare the result of force_fit_type
1187         with the original constant rather than require TREE_OVERFLOW.
1188
1189 2005-01-01  Steven Bosscher  <stevenb@suse.de>
1190
1191         PR middle-end/17544
1192         * c-decl.c (finish_function): If compiling C99, annotate the
1193         compiler generated return with the current file name and line 0.
1194         * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if
1195         the source line is greater than 0.
1196         (remove_bb): Likewise.
1197
1198 See ChangeLog.12 for earlier changes.