2005-01-11 Richard Henderson * expr.c (store_constructor): Use rtvec_alloc instead of alloca+gen_rtvec_v, and an incorrect number passed to alloca. 2005-01-11 Kazu Hirata * config/alpha/alpha.c, config/i386/mmx.md: Fix comment typos. 2005-01-11 Alan Modra * varasm.c (default_section_type_flags_1): Don't set SECTION_SMALL. * config/ia64/ia64.c (TARGET_SECTION_TYPE_FLAGS): Define. (TARGET_RWRELOC): Define. (ia64_rwreloc_section_type_flags): Delete. (ia64_section_type_flags): New function. * config/ia64/hpux.h (TARGET_SECTION_TYPE_FLAGS): Don't define. (TARGET_RWRELOC): Define. 2005-01-10 David Mosberger PR target/18987 * config/ia64/ia64.c (process_set): For alloc insn, only call process_epilogue is !frame_pointer_needed. 2005-01-10 Roger Sayle PR c++/19355 * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a unary operator and can't be treated as a binary/comparison operator. 2005-01-10 Richard Henderson * config/i386/i386.c (ix86_function_value): Use type_natural_mode. (ix86_return_in_memory): Likewise. (function_arg_advance): Likewise. Mirror structure in function_arg for choosing register to advance. 2005-01-10 Kazu Hirata * tree-vectorizer.c, tree.def: Fix comment typos. 2005-01-10 Mark Dettinger * config/s390/s390.c (struct processor_costs): 4 new fields: ddbr, ddr, debr, der. (s390_rtx_costs): More precise handling of divide instructions. 2005-01-10 David Edelsohn * config/rs6000/t-aix43 (BOOT_LDFLAGS): Define. 2005-01-10 Jan Beulich * config/ia64/ia64.c (ia64_in_small_data_p): Also handle the section names resulting from -ffunction-sections/-fdata-sections and linkonce ones. * varasm.c (default_section_type_flags_1): Also set SECTION_SMALL based on the section name. Rearrange the section name comparison logic slightly so that each section name is compared against at most once. 2005-01-10 Ben Elliston * doc/invoke.texi (Code Gen Options): Add PowerPC to the list of targets for which -fPIC reduces limitations on the GOT size. 2005-01-09 Falk Hueffner * fold-const.c (fold): Also handle EXACT_DIV_EXPR when folding X/C1 cmpop C2. 2005-01-09 David Edelsohn PR target/18720 * collect2.c (main): Set aixrtl_flag for -brtl option. (resolve_lib_name): Search for .so file extension before .a if aixrtl_flag set. 2005-01-09 Dorit Naishlos * tree-vectorizer.c (vect_enhance_data_refs_alignment): Add dump prints. (vect_analyze_data_refs_alignment): Add dump prints. 2005-01-09 Ira Rosen * tree-vectorizer.c (vect_analyze_offset_expr): Use expr_invariant_in_loop_p. Initialize outputs first thing in the function. (vect_update_ivs_after_vectorizer): Call initial_condition_in_loop_num. (vect_is_simple_iv_evolution): Call initial_condition_in_loop_num. (vect_analyze_pointer_ref_access): Check that the initial condition of the access function is loop invariant. 2005-01-09 Richard Henderson * config/i386/i386.c (bdesc_2arg): Update names for mmx_ prefixes. (ix86_expand_builtin): Likewise. Frob MASKMOVQ wrt the input mem just like MASKMOVDQU. Return plain zero for MMX_ZERO. * config/i386/i386.md (MMXMODEI, mov, mov_internal_rex64, mov_internal, movv2sf, movv2sf_internal_rex64, movv2sf_internal, MMXMODE, movmisalign, mmx_pmovmskb, mmx_maskmovq, mmx_maskmovq_rex, sse_movntdi, addv8qi3, addv4hi3, addv2si3, mmx_adddi3, ssaddv8qi3, ssaddv4hi3, usaddv8qi3, usaddv4hi3, subv8qi3, subv4hi3, subv2si3, mmx_subdi3, sssubv8qi3, sssubv4hi3, ussubv8qi3, ussubv4hi3, mulv4hi3, smulv4hi3_highpart, umulv4hi3_highpart, mmx_pmaddwd, sse2_umulsidi3, mmx_iordi3, mmx_xordi3, mmx_anddi3, mmx_nanddi3, mmx_uavgv8qi3, mmx_uavgv4hi3, mmx_psadbw, mmx_pinsrw, mmx_pinsrw, mmx_pextrw, mmx_pshufw, eqv8qi3, eqv4hi3, eqv2si3, gtv8qi3, gtv4hi3, gtv2si3, umaxv8qi3, smaxv4hi3, uminv8qi3, sminv4hi3, ashrv4hi3, ashrv2si3, lshrv4hi3, lshrv2si3, mmx_lshrdi3, ashlv4hi3, ashlv2si3, mmx_ashldi3, mmx_packsswb, mmx_packssdw, mmx_packuswb, mmx_punpckhbw, mmx_punpckhwd, mmx_punpckhdq, mmx_punpcklbw, mmx_punpcklwd, mmx_punpckldq, emms, addv2sf3, subv2sf3, subrv2sf3, gtv2sf3, gev2sf3, eqv2sf3, pfmaxv2sf3, pfminv2sf3, mulv2sf3, femms, pf2id, pf2iw, pfacc, pfnacc, pfpnacc, pi2fw, floatv2si2, pfrcpv2sf2, pfrcpit1v2sf3, pfrcpit2v2sf3, pfrsqrtv2sf2, pfrsqit1v2sf3, pmulhrwv4hi3, pswapdv2si2, pswapdv2sf2): Move to mmx.md; rename as necessary with leading mmx_ prefix. (mmx_clrdi, pavgusb): Remove. (ldmxcsr, stmxcsr, sfence, sfence_insn): Move to sse.md; rename with leading sse_ prefix. * config/i386/sse.md: Receive them. * config/i386/mmx.md: New file. (MMXMODE12, MMXMODE24, mmxvecsize): New. (subrv2sf3): Turn into expander for normal subtraction. (mmx_addv2sf3, mmx_mulv2sf3, mmx_smaxv2sf3, mmx_sminv2sf3, mmx_eqv2sf3, mmx_mulv4hi3, mmx_smulv4hi3_highpart, mmx_umulv4hi3_highpart, mmx_pmaddwd, mmx_pmulhrwv4hi3, sse2_umulsidi3, mmx_umaxv8qi3, mmx_smaxv4hi3, mmx_uminv8qi3, mmx_sminv4hi3): Mark commutative; use ix86_binary_operator_ok. (mmx_add3, mmx_ssadd3, mmx_usadd3, mmx_sub3, mmx_sssub3, mmx_ussub3 mmx_ashr3, mmx_lshr3, mmx_ashl3 mmx_eq3, mmx_gt3, mmx_and3, mmx_nand3, mmx_ior3, mmx_xor3): Macroize from existing patterns; use ix86_binary_operator_ok. (mmx_packsswb, mmx_packssdw, mmx_packuswb): Add memory alternative. (mmx_punpckhbw, mmx_punpcklbw, mmx_punpckhwd, mmx_punpcklwd, mmx_punpckhdq, mmx_punpckhdq, mmx_punpckldq): Likewise. Model with vec_select+vec_concat. (mmx_pshufw, mmx_pshufw_1): Likewise. (mmx_uavgv8qi3): Merge pavgusb. Model correcty. (mmx_uavgv4hi3): Model correctly. * config/i386/mmintrin.h (_mm_and_si64, _mm_andnot_si64, _mm_or_si64, _mm_xor_si64): Remove casts. 2005-01-09 Zdenek Dvorak PR tree-optimization/19224 * tree-scalar-evolution.c (get_instantiated_value, set_instantiated_value): New functions. (instantiate_parameters_1): Cache the results. (instantiate_parameters, resolve_mixers): Initialize and free the cache. 2005-01-08 David Edelsohn * config/i386/i386.md (addhi_4): Correct reference in comment. (addqi_4): Same. 2005-01-08 Richard Henderson * config/i386/emmintrin.h (_mm_cvtsi128_si32): Move earlier. (_mm_cvtsi128_si64x): Likewise. (_mm_srl_epi64, _mm_srl_epi32, _mm_srl_epi16, _mm_sra_epi32, _mm_sra_epi16, _mm_sll_epi64, _mm_sll_epi32, _mm_sll_epi16): Use the _mm_{srl,sll}i_foo counterpart, and _mm_cvtsi128_si32. * config/i386/i386-modes.def: Add V16HI, V32QI, V4DF, V8SF. * config/i386/i386-protos.h: Update. * config/i386/i386.c (print_operand): Add 'H'. (ix86_fixup_binary_operands): Split out from ... (ix86_expand_binary_operator): ... here. (ix86_fixup_binary_operands_no_copy): New. (ix86_expand_fp_absneg_operator): Handle vector mode results. (bdesc_2arg): Update names for sse{,2,3}_ prefixes. (ix86_init_mmx_sse_builtins): Remove *maskncmp* special cases. (safe_vector_operand): Use CONST0_RTX. (ix86_expand_binop_builtin): Use ix86_fixup_binary_operands. (ix86_expand_builtin): Merge CODE_FOR_sse2_maskmovdqu_rex64 and CODE_FOR_sse2_maskmovdqu. Special case SSE version of MASKMOVDQU expansion. Update names for sse{,2,3}_ prefixes. Remove *maskncmp* special cases. * config/i386/i386.h (IX86_BUILTIN_CMPNGTSS): New. (IX86_BUILTIN_CMPNGESS): New. * config/i386/i386.md (UNSPEC_FIX_NOTRUNC): New. (attr type): Add sselog1. (attr unit, attr memory): Handle it. (movti, movti_internal, movti_rex64): Move near other integer moves. (movtf, movtf_internal): Move near other fp moves. (SSEMODE, SSEMODEI, vec_setv2df, vec_extractv2df, vec_initv2df, vec_setv4sf, vec_extractv4sf, vec_initv4sf, movv4sf, movv4sf_internal, movv2df, movv2df_internal, mov, mov_internal, movmisalign, sse_movups_1, sse_movmskps, sse_movntv4sf, sse_movhlps, sse_movlhps, sse_storehps, sse_loadhps, sse_storelps, sse_loadlps, sse_loadss, sse_loadss_1, sse_movss, sse_storess, sse_shufps, addv4sf3, vmaddv4sf3, subv4sf3, vmsubv4sf3, negv4sf2, mulv4sf3, vmmulv4sf3, divv4sf3, vmdivv4sf3, rcpv4sf2, vmrcpv4sf2, rsqrtv4sf2, vmrsqrtv4sf2, sqrtv4sf2, vmsqrtv4sf2, sse_andv4sf3, sse_nandv4sf3, sse_iorv4sf3, sse_xorv4sf3, sse2_andv2df3, sse2_nandv2df3, sse2_iorv2df3, sse2_xorv2df3, sse2_andv2di3, sse2_nandv2di3, sse2_iorv2di3, sse2_xorv2di3, maskcmpv4sf3, vmmaskcmpv4sf3, sse_comi, sse_ucomi, sse_unpckhps, sse_unpcklps, smaxv4sf3, vmsmaxv4sf3, sminv4sf3, vmsminv4sf3, cvtpi2ps, cvtps2pi, cvttps2pi, cvtsi2ss, cvtsi2ssq, cvtss2si, cvtss2siq, cvttss2si, cvttss2siq, addv2df3, vmaddv2df3, subv2df3, vmsubv2df3, mulv2df3, vmmulv2df3, divv2df3, vmdivv2df3, smaxv2df3, vmsmaxv2df3, sminv2df3, vmsminv2df3, sqrtv2df2, vmsqrtv2df2, maskcmpv2df3, vmmaskcmpv2df3, sse2_comi, sse2_ucomi, sse2_movmskpd, sse2_pmovmskb, sse2_maskmovdqu, sse2_maskmovdqu_rex64, sse2_movntv2df, sse2_movntv2di, sse2_movntsi, cvtdq2ps, cvtps2dq, cvttps2dq, cvtdq2pd, cvtpd2dq, cvttpd2dq, cvtpd2pi, cvttpd2pi, cvtpi2pd, cvtsd2si, cvtsd2siq, cvttsd2si, cvttsd2siq, cvtsi2sd, cvtsi2sdq, cvtsd2ss, cvtss2sd, cvtpd2ps, cvtps2pd, addv16qi3, addv8hi3, addv4si3, addv2di3, ssaddv16qi3, ssaddv8hi3, usaddv16qi3, usaddv8hi3, subv16qi3, subv8hi3, subv4si3, subv2di3, sssubv16qi3, sssubv8hi3, ussubv16qi3, ussubv8hi3, mulv8hi3, smulv8hi3_highpart, umulv8hi3_highpart, sse2_umulsidi3, sse2_umulv2siv2di3, sse2_pmaddwd, sse2_uavgv16qi3, sse2_uavgv8hi3, sse2_psadbw, sse2_pinsrw, sse2_pextrw, sse2_pshufd, sse2_pshuflw, sse2_pshufhw, eqv16qi3, eqv8hi3, eqv4si3, gtv16qi3, gtv8hi3, gtv4si3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3, ashrv8hi3, ashrv4si3, lshrv8hi3, lshrv4si3, lshrv2di3, ashlv8hi3, ashlv4si3, ashlv2di3, sse2_ashlti3, sse2_lshrti3, sse2_unpckhpd, sse2_unpcklpd, sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw, sse2_punpckhwd, sse2_punpckhdq, sse2_punpcklbw, sse2_punpcklwd, sse2_punpckldq, sse2_punpcklqdq, sse2_punpckhqdq, sse2_movupd, sse2_movdqu, sse2_movdq2q, sse2_movdq2q_rex64, sse2_movq2dq, sse2_movq2dq_rex64, sse2_loadd, sse2_stored, sse2_storehpd, sse2_loadhpd, sse2_storelpd, sse2_loadlpd, sse2_movsd, sse2_loadsd, sse2_loadsd_1, sse2_storesd, sse2_shufpd, sse2_clflush, sse2_mfence, mfence_insn, sse2_lfence, lfence_insn, mwait, monitor, addsubv4sf3, addsubv2df3, haddv4sf3, haddv2df3, hsubv4sf3, hsubv2df3, movshdup, movsldup, lddqu, loadddup, movddup): Move to sse.md. Any with non-optabs meanings renamed with an "sse{,2,3}_" prefix at the same time. (SSEPUSH, push): Remove. (MMXPUSH, push): Remove. (sse_movaps, sse_movaps_1, sse_movups): Remove. (sse2_movapd, sse2_movdqa, sse2_movq): Remove. (sse2_andti3, sse2_nandti3, sse2_iorti3, sse2_xorti3): Remove. (sse_clrv4sf, sse_clrv2df, sse2_clrti): Remove. (maskncmpv4sf3, vmmaskncmpv4sf3): Remove. (maskncmpv2df3, vmmaskncmpv2df3): Remove. (ashrv8hi3_ti, ashrv4si3_ti, lshrv8hi3_ti, lshrv4si3_ti): Remove. (lshrv2di3_ti, ashlv8hi3_ti, ashlv4si3_ti, ashlv2di3_ti): Remove. * config/i386/athlon.md (athlon_sselog_load): Handle sselog1. (athlon_sselog_load_k8, athlon_sselog, athlon_sselog_k8): Likewise. * config/i386/ppro.md (ppro_sse_div_V4SF_load): Fix memory attr. (ppro_sse_log_V4SF_load): Similarly. Handle sselog1. (ppro_sse_log_V4SF): Handle sselog1. * config/i386/predicates.md (const_0_to_1_operand): New. (const_0_to_255_mul_8_operand): New. (const_1_to_31_operand): Rename from const_int_1_31_operand. (const_2_to_3_operand, const_4_to_7_operand): New. * config/i386/sse.md: New file. (SSEMODE12, SSEMODE24, SSEMODE124, SSEMODE248, ssevecsize): New. (sse_movups): Rename from sse_movups_1. (sse_loadlss): Rename from sse_loadss_1. (andv4sf3, iorv4sf3, xorv4sf3, andv2df3): Remove the sse prefix from the name. (negv4sf2): Use ix86_expand_fp_absneg_operator. (absv4sf2, negv2df, absv2df): New. (addv4sf3): Add expander to call ix86_fixup_binary_operands_no_copy. (subv4sf3, mulv4sf3, divv4sf3, smaxv4sf3, sminv4sf3, andv4sf3, iorv4sf3, xorv4sf3, addv2df3, subv2df3, mulv2df3, divv2df3, smaxv2df3, sminv2df3, andv2df3, iorv2df3, xorv2df3, mulv8hi3, umaxv16qi3, smaxv8hi3, uminv16qi3, sminv8hi3): Likewise. (sse3_addsubv4sf3): Model correctly. sse3_haddv4sf3, sse3_hsubv4sf3, sse3_addsubv2df3, sse3_haddv2df3, sse3_hsubv2df3, sse2_ashlti3, sse2_lshrti3): Likewise. (sse_movhlps): Model with vec_select+vec_concat. (sse_movlhps, sse_unpckhps, sse_unpcklps, sse3_movshdup, sse3_movsldup, sse_shufps, sse_shufps_1, sse2_unpckhpd, sse3_movddup, sse2_unpcklpd, sse2_shufpd, sse2_shufpd_1, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq, sse2_pshufd, sse2_pshufd_1, sse2_pshuflw, sse2_pshuflw_1, sse2_pshufhw, sse2_pshufhw_1): Likewise. (neg2, one_cmpl2): New. (add3, sse2_ssadd3, sse2_usadd3, sub3, sse2_sssub3, sse2_ussub3, ashr3, lshr3, sse2_eq3, sse2_gt3, and3, sse_nand3, ior3, xor3): Macroize from existing patterns. (addv4sf3, sse_vmaddv4sf3, mulv4sf3, sse_vmmulv4sf3, smaxv4sf3, sse_vmsmaxv4sf3, sminv4sf3, sse_vmsminv4sf3, addv2df3, sse2_vmaddv2df3, mulv2df3, sse2_vmmulv2df3, smaxv2df3, sse2_vmsmaxv2df3, sminv2df3, sse2_vmsminv2df3, umaxv16qi3, smaxv8hi3, uminv16qi3 sminv8hi3): Mark commutative operands. Use ix86_binary_operator_ok. (sse_unpckhps, sse_unpcklps, sse2_packsswb, sse2_packssdw, sse2_packuswb, sse2_punpckhbw, sse2_punpcklbw, sse2_punpckhwd, sse2_punpcklwd, sse2_punpckhdq, sse2_punpckldq, sse2_punpckhqdq, sse2_punpcklqdq): Allow operand2 in memory. (sse_movhlps, sse_movlhps, sse2_unpckhpd, sse2_unpcklpd sse2_movsd): Add memory alternatives. (sse_storelps): Turn expander into an insn; split after reload. (sse_storess, sse2_loadhpd, sse2_loadlpd): Add non-xmm inputs. (sse2_storehpd, sse2_storelpd): Add non-xmm outputs. 2005-01-08 Eric Botcazou * configure.ac (DWARF-2 debug_line): Use objdump. * configure: Regenerate. 2005-01-08 Jeff Law Diego Novillo PR tree-optimization/18241 * tree-nrv.c (tree_nrv): Ignore volatile return values. * tree-ssa-dse.c (dse_optimize_stmt): Do not optimize statements with volatile operands. * tree-ssa-operands.c (add_stmt_operand): Do add volatile operands after marking a statement with has_volatile_ops. 2005-01-08 Roger Sayle * tree.c (int_fits_type_p): Always honor integer constant TYPE_MIN_VALUE and TYPE_MAX_VALUE if they exist. 2005-01-08 Roger Sayle * ifcvt.c (find_if_case_1): Reinstate 2005-01-04 change, now that the latent bug in rtl_delete_block has been resolved. 2005-01-08 Richard Sandiford * config/mips/t-iris6 (MULTILIB_DIRNAMES): Use -mabi argument values. (MULTILIB_OSDIRNAMES): Use the standard lib, lib32 and lib64. 2005-01-08 Richard Sandiford * config/mips/t-slibgcc-irix (SHLIB_LINK): Install a copy of the library as @multilib_dir@/$(SHLIB_SONAME). 2005-01-07 Eric Botcazou * configure.ac (HAVE_AS_OFFSETABLE_LO10): Fix typo. * configure: Regenerate. 2005-01-07 Jakub Jelinek * c-common.c (handle_mode_attribute): For ENUMERAL_TYPE, also copy TYPE_MODE. 2005-01-07 David Edelsohn PR target/13674 * config/rs6000/rs6000.c (rs6000_legitimize_reload_address): Convert non-word aligned offset address using ld/std into indirect address. 2005-01-07 Richard Henderson * config/i386/i386.md (sse_loadhps splitter): Fix operand number typo. 2005-01-07 Richard SAndiford * tree.h (IS_EXPR_CODE_CLASS): Use a straight-forward range check. 2005-01-07 Jakub Jelinek PR tree-optimization/19283 * fold-const.c (fold_widened_comparison): Return NULL if shorter_type is not shorter than the original type. PR rtl-optimization/19012 * config/i386/i386.md (addqi_1_slp): Set memory attribute. PR rtl-optimization/18861 * cfgbuild.c (BLOCK_USED_BY_TABLEJUMP): Define. (FULL_STATE): Define. (mark_tablejump_edge): New function. (purge_dead_tablejump_edges): New function. (find_bb_boundaries): Use it. PR tree-optimization/18828 * builtins.c (expand_builtin_next_arg): Remove argument and all the argument checking. (expand_builtin): Adjust caller. (expand_builtin_va_start): Likewise. Remove error for too many arguments. (fold_builtin_next_arg): Issue error for too many arguments. After checking arguments, replace them with magic arguments that prevent further checking of the args. 2005-01-06 John David Anglin * pa64-hpux.h (STARTFILE_SPEC): Fix typo in spec. 2005-01-06 Roger Sayle PR target/6077 * gcc.c (input_suffix_matches): Tweak the semantics of %{.s:...} and %{.S:...} (and their negative variants) to test whether the input file is assembler or pre-processed-assembler independent of the actual filename extension. 2005-01-06 Roger Sayle * simplify-rtx.c (simplify_subreg): Simplify truncations of shifts of sign or zero extended values. 2005-01-06 Geoffrey Keating * c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__ for IBM long double format correctly. 2005-01-06 Daniel Berlin Fix PR tree-optimization/18792 * tree-data-ref.c (build_classic_dist_vector): Change first_loop to first_loop_depth, and use loop depth instead of loop number. (build_classic_dir_vector): Ditto. (compute_data_dependences_for_loop): Use depth, not loop number. * tree-loop-linear.c (try_interchange_loops): Use loop depth, not loop number. Pass in loops, instead of loop numbers. (gather_interchange_stats): Ditto. (linear_transform_loops): Ditto. 2005-01-06 Richard Sandiford PR rtl-opt/13299 * loop.c (get_monotonic_increment, biased_biv_fits_mode_p, biv_fits_mode_p, extension_within_bounds_p): New functions. (check_ext_dependent_givs): Use them. 2005-01-06 Roger Sayle * cfgrtl.c (rtl_delete_block): A basic block may be followed by more than one barrier, in which case we should delete them all. 2005-01-06 Tobias Schlueter * gcc.c (process_command): Change year in 'gcc --version' to 2005. 2005-01-05 Daniel Berlin Fix PR middle-end/19286 Fix PR debug/19267 * dwarf2out.c (gen_subprogram_die): If we've already tried to output this subprogram, simply ignore this attempt to do it again. (add_abstract_origin_attribute): Don't abort trying to add the abstract origin attribute if it's not possible. (gen_block_die): Don't ignore subblocks of "unused" blocks. (decls_for_scope): Ditto. * gimple-low.c (mark_blocks_with_used_subblocks): Remove. (mark_used_blocks): Don't call mark_blocks_with_used_subblocks. 2005-01-05 Richard Henderson PR target/11327 * config/i386/i386.c (BUILTIN_DESC_SWAP_OPERANDS): New. (bdesc_2arg): Use it. (ix86_expand_binop_builtin): Force operands into registers when optimizing. (ix86_expand_unop_builtin, ix86_expand_unop1_builtin, ix86_expand_sse_compare, ix86_expand_sse_comi, ix86_expand_builtin): Likewise. 2005-01-05 Richard Henderson * config/ia64/ia64.c (rtx_needs_barrier): Handle CONST_VECTOR and VEC_SELECT. * config/ia64/vect.md (mulv8qi3): Re-implement with mix_[rl]. (mulv4hi3): Set itanium_class mmmul. (fpack_sfxf, fpack_xfsf, fpack_xfxf): Remove. (fpack): Rename from fpack_sfsf. 2005-01-05 Richard Henderson PR rtl-opt/10692 * reload1.c (do_input_reload): Restrict the optimization deleteing a previous output reload to RELOAD_FOR_INPUT. 2005-01-05 Steven Bosscher * combine.c (expand_compound_operation) : Add comment that we fall through after case. (mark_used_regs_combine): Don't expect a SIGN_EXTRACT in a SET_DEST. (distribute_links): Likewise. * cse.c (cse_insn): Likewise. * cselib.c (cselib_invalidate_mem): Likewise. * df.c: Update comments at the top of the file. (read_modify_subreg_p): Update comments here too. (df_def_record_1): Don't expect a SIGN_EXTRACT in a SET_DEST. * flow.c (mark_set_1): Likewise. (mark_used_regs): Likewise. * gcse.c (mems_conflict_for_gcse_p): Likewise. (canon_list_insert): Likewise. (mark_set): Likewise. (try_replace_reg): Likewise. (store_killed_in_insn): Likewise. * loop.c (count_one_set): Likewise. (basic_induction_var): Likewise. * postreload-gcse.c (find_mem_conflicts): Likewise. * postreload.c (reload_combine_note_store): Likewise. (move2add_note_store): Likewise. * reload.c (find_equiv_reg): Likewise. (mark_referenced_resources): Likewise. * rtlanal.c (set_noop_p): Likewise. (note_stores): Likewise. (note_uses): Likewise. * sched-deps.c (sched_analyze_1): Likewise. * sched-rgn.c (check_live_1): Likewise. (update_live_1): Likewise. * config/i860/i860.c: Likewise. * rtl.dec (SIGN_EXTRACT): Document that this cannot appear as an lvalue. (ZERO_EXTRACT): Mention that this one can be an lvalue. * doc/rtl.texi: Update documentation for bit-fields and SET. 2005-01-05 Roger Sayle * ifcvt.c (find_if_case_1): Revert 2005-01-04 change. 2005-01-05 Jan Hubicka Richard Henderson PR target/18910 * config/i386/i386.c (ix86_expand_move): Handle tls symbols with an offset. 2005-01-05 Richard Henderson PR target/12902 * config/i386/i386.md (sse_movhps, sse_movlps): Remove. (sse_shufps): Change operand 3 to const_int_operand. (sse2_storelps): Fix typo in template. (sse_storehps, sse_loadhps, sse_storelps, sse_loadlps): New. * config/i386/i386.c (ix86_expand_vector_move_misalign): Use them. (ix86_expand_builtin): Likewise. 2005-01-05 Julian Brown * config/arm/arm.c (arm_return_in_memory): Treat complex types as aggregates for AAPCS ABIs. 2005-01-05 Stan Shebs * unwind-dw2-fde-darwin.c (examine_objects): Use 64-bit Mach-O getters if ppc64. * config/darwin.c (darwin_asm_output_dwarf_delta): Obey size argument. * config/darwin.h (ASM_PREFERRED_EH_DATA_FORMAT): Use signed four-byte field for global code case. (STARTFILE_SPEC): Avoid crt2.o for 64-bit compilation. 2005-01-05 Roger Sayle PR middle-end/19100 * c-common.c: Include real.h. (c_common_truthvalue_conversion): Avoid destructively modifying expr. Correctly handle TREE_CONSTANT_OVERFLOW for INTEGER_CST. Correctly handle TREE_CONSTANT_OVERFLOW and NaNs for REAL_CST. * Makefile.in (c-common.o): Update dependencies. 2005-01-05 Joseph S. Myers * c-parse.in (asm_string): Add trailing semicolon. 2005-01-05 Joseph S. Myers * c-parse.in (asm_string): New. Don't allow wide strings in 'asm'. (simple_asm_expr, asm_argument, asm_operand, asm_clobbers): Use asm_string instead of STRING. 2005-01-05 Joseph S. Myers * c-typeck.c (constructor_no_implicit): Remove. (set_designator, process_init_element): Don't check constructor_no_implicit. 2005-01-05 J"orn Rennecke Kaz Kojima PR target/16482 * lcm.c (create_pre_exit): New. (optimize_mode_switching): In MODE_ENTRY / MODE_EXIT case, set ENTRY_EXIT_EXTRA to 3. Use create_pre_exit. 2004-01-05 Richard Earnshaw * arm.h (TARGET_OPTIONS): Correctly record -mhard-float and -msoft-float in target_float_switch. * arm.c (arm_override_options): Fix processing of target_float_switch. 2004-01-05 Richard Earnshaw * arm/vfp.md (arm_movsi_vfp): Hide VFP register classes from register preferencing. 2004-01-05 Uros Bizjak * doc/invoke.texi (Intel 386 and AMD x86-64 Options): Replace i387 with 'i386 compiler' in -mfpmath=sse option. 2005-01-04 Roger Sayle * ifcvt.c (find_if_case_1): Avoid creating an empty forwarder block, if deleting the then-block allows the test-block to fallthru to the else-block. 2005-01-04 Andrew Pinski PR c/19152 * c-decl.c (diagnose_mismatched_decls): Accept "extern inline" declared after the full declaration if the are in two different TUs. 2005-01-04 Richard Henderson PR tree-opt/19158 * tree-sra.c (generate_one_element_init): Just call gimplify_and_add. (generate_element_init): Record the new referenced variables and mark them for renaming and split out to ... (generate_element_init_1): This. (scalarize_init): Don't call push_gimplify_context/ pop_gimplify_context. 2005-01-04 Geoffrey Keating * toplev.c (get_src_pwd): Handle failure of getpwd(). 2005-01-04 Roger Sayle * fold-const.c (fold_single_bit_test): Delete unreachable handling of TRUTH_NOT_EXPR. (fold): Don't call fold_single_bit_test with a TRUTH_NOT_EXPR, as all the cases handled by it are inverted by invert_truthvalue. 2005-01-04 Eric Botcazou * config/sparc/sparc.md (save_register_windowdi): Add missing mode. (save_register_windowsi): Likewise. 2005-01-04 Richard Henderson * tree-mudflap.c (mf_varname_tree): Fix thinko setting declname. 2005-01-04 Uros Bizjak PR middle-end/17767 * cse.c (fold_rtx) [RTX_COMPARE, RTX_COMM_COMPARE]: Don't attempt any simplifications of vector mode comparison operators. * simplify-rtx.c (simplify_relational_operation): Fix variable name. 2005-01-04 Paolo Bonzini Devang Patel PR tree-optimization/18308 * tree-if-conv.c (add_to_dst_predicate_list): Gimplify the operands before creating a new expression. * dojump.c (do_jump): Make drop_through_label available for all cases. Add expansion of COND_EXPR. 2005-01-04 Ira Rosen * tree-vectorizer.c (vect_analyze_offset_expr): Test for INTEGER_CST instead of TREE_CONSTANT. (vect_gen_niters_for_prolog_loop): Test for INTEGER_CST instead of TREE_CONSTANT. (vect_analyze_pointer_ref_access): Test for INTEGER_CST instead of TREE_CONSTANT. 2005-01-04 Eric Botcazou * tree-eh.c (replace_goto_queue): Return early if the queue is empty. 2005-01-04 Uros Bizjak PR target/19240 * config/i386/i386.md (*fop_df_1_i387): Disable for TARGET_SSE_MATH. (*fop_df_1_i387): Disable for (TARGET_SSE2 && TARGET_SSE_MATH). 2005-01-03 Richard Henderson * fold-const.c (force_fit_type): Cope with types larger than 2 HWI. (fold_convert_const_int_from_int, fold_convert_const_int_from_real, fold_convert_const_real_from_real): Split out from ... (fold_convert_const): ... here. 2005-01-03 Richard Henderson PR target/19235 * config/i386/i386.md (movdi_2): Separate SSE1 and SSE2 alternatives. (mov_internal): Likewise. (movdf_nointeger): Prefer Y while not preferring, but allowing, x. Add V2SF case; use it for SSE1; don't use TI. (movdf_integer): Likewise. (mov_internal, movti_internal): Force V4SF for SSE1. 2005-01-03 Ira Rosen * tree-vectorizer.c (vect_strip_conversions): New function. (vect_analyze_offset_expr): Call vect_strip_conversions. Add check for binary class. 2005-01-03 Daniel Berlin Fix PR debug/17924 Fix PR debug/19191 * dwarf2out.c (block_ultimate_origin): Follow decl origin if origin is a decl. * gimple-low.c (mark_blocks_with_used_vars): New function. (mark_blocks_with_used_subblocks): Ditto. (mark_used_blocks): Ditto. (pass_mark_used_blocks): New pass. * tree-inline.c: Include debug.h. (expand_call_inline): Call outlining_inline_function here. * tree-optimize.c (init_tree_optimization_passes): Add pass_mark_used_blocks. * tree-pass.h (pass_mark_used_blocks): New. * Makefile.in (tree-inline.o): Add debug.h dependency. 2005-01-03 Geoffrey Keating * config/darwin.c (darwin_handle_weak_import_attribute): Permit VAR_DECLs to have weak_import attribute. * config/rs6000/darwin-fallback.c: Use 'ucontext_t' rather than 'struct ucontext'. 2004-01-03 Steven Bosscher * passes.c (rest_of_compilation): Don't run regmove if only flag_expensive_optimizations, require flag_regmove instead. 2005-01-03 Eric Botcazou * config/sparc/litecoff.h (TARGET_OS_CPP_BUILTINS): Do not register "sparc". * config/sparc/sysv4-only.h (TARGET_OS_CPP_BUILTINS): Likewise. * config/sparc/rtemself.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise. * config/sparc/sol2-64.h (TARGET_SUB_OS_CPP_BUILTINS): Delete. * config/sparc/sp64-elf.h (TARGET_SUB_OS_CPP_BUILTINS): Likewise. 2005-01-03 Richard Henderson * config/ia64/ia64.c (TARGET_VECTOR_MODE_SUPPORTED_P): New. (ia64_const_ok_for_letter_p): New. (ia64_const_double_ok_for_letter_p): New. (ia64_extra_constraint): New. (ia64_expand_vecint_compare): New. (ia64_expand_vcondu_v2si): New. (ia64_expand_vecint_cmov): New. (ia64_expand_vecint_minmax): New. (ia64_print_operand): Add 'v'. (ia64_preferred_reload_class): New. (ia64_vector_mode_supported_p): New. * config/ia64/ia64.h (UNITS_PER_SIMD_WORD): New. (PREFERRED_RELOAD_CLASS): Move to function. (CONST_OK_FOR_LETTER_P): Move to function. (CONST_DOUBLE_OK_FOR_LETTER_P): Move to function. (CONSTRAINT_OK_FOR_Q, CONSTRAINT_OK_FOR_R): Remove. (CONSTRAINT_OK_FOR_S, CONSTRAINT_OK_FOR_T): Remove. (EXTRA_CONSTRAINT): Move to function. * config/ia64/ia64.md: Include vect.md. (itanium_class): Add mmalua. (type): Handle it. * config/ia64/itanium1.md (1_mmalua): New. Add it to bypasses. (1b_mmalua): New. * config/ia64/itanium2.md (2_mmalua, 2b_mmalua): Similarly. * config/ia64/predicates.md (gr_reg_or_0_operand): Accept any CONST0_RTX. (const_int_2bit_operand): New. (fr_reg_or_0_operand): New. * config/ia64/ia64-modes.def: Add vector modes. * config/ia64/ia64-protos.h: Update. * config/ia64/vect.md: New file. 2005-01-03 Richard Henderson * simplify-rtx.c (simplify_binary_operation): Handle VEC_CONCAT. 2005-01-03 Uros Bizjak PR target/19236 * config/i386/i386.c (log1psf2): Change mode of operands[0,1] to SFmode. (log1pdf2): Change mode of operands[0,1] to DFmode. 2005-01-03 Eric Botcazou * config/sparc/sparc.h (SPARC_RELAXED_ORDERING): Define to false. * config/sparc/linux.h (SPARC_RELAXED_ORDERING): Define to true. * config/sparc/linux64.h (SPARC_RELAXED_ORDERING): Likewise. * config/sparc/sparc.c (TARGET_RELAXED_ORDERING): Define to SPARC_RELAXED_ORDERING. 2005-01-03 Richard Henderson Uros Bizjak PR target/14631 * config/i386/i386.c (ix86_expand_builtin): [IX86_BUILTIN_PINSRW, IX86_BUILTIN_PINSRW128]: Fix wrong selector range in error message. * config/i386/i386.md (mmx_pinsrw, sse2_pinsrw): Fix selector handling. (*mmx_pinsrw, *sse2_pinsrw): New patterns. * config/i386/i386/predicates.md (const_pow2_1_to_8_operand, const_pow2_1_to_128_operand): New predicates. 2005-01-02 Greg McGary * tree-mudflap.c (mf_varname_tree): decl_printable_name handles anonymous decls. (mf_xform_derefs_1) [RESULT_DECL, STRING_CST]: Handle as innermost object. [ptr_type]: Remove unused variable. Remember nearest addressable array-element or record-component when checking bitfield components. Tolerate empty BIND_EXPR. 2005-01-01 Richard Henderson * tree-vectorizer.c (vect_analyze_offset_expr): Strip conversions that don't narrow the value. Fail for other conversions. 2005-01-01 Richard Henderson PR c/19031 * c-decl.c (pop_file_scope): Call maybe_apply_pending_pragma_weaks. * c-lang.c (finish_file): Don't do it here. * objc/objc-act.c (objc_finish_file): Likewise. * cgraph.c (decl_assembler_name_equal): New. (cgraph_node_for_asm, cgraph_varpool_node_for_asm): New. (cgraph_varpool_node): Actually link up cgraph_varpool_nodes. * cgraph.h (struct cgraph_varpool_node): Add next. (cgraph_node_for_asm, cgraph_varpool_node_for_asm): Declare. * varasm.c (assemble_alias): Mark the target as needed. 2005-01-01 Andrew Pinski PR middle-end/19221 * function.c (get_arg_pointer_save_area): Use entry_of_function instead of get_insns. 2005-01-01 Roger Sayle Andrew Pinski James E. Wilson PR rtl-optimization/12092 * loop.c (emit_prefetch_instructions): Do nothing if PREFETCH_BLOCK is zero. 2005-01-01 Roger Sayle Olivier Hainque * tree.c (int_fits_type_p): A narrower type always fits in a wider one, except for negative values into unsigned types. 2005-01-01 Roger Sayle * tree.c (int_fits_type_p): Compare the result of force_fit_type with the original constant rather than require TREE_OVERFLOW. 2005-01-01 Steven Bosscher PR middle-end/17544 * c-decl.c (finish_function): If compiling C99, annotate the compiler generated return with the current file name and line 0. * tree-cfg.c (remove_useless_stmts_warn_notreached): Only warn if the source line is greater than 0. (remove_bb): Likewise. See ChangeLog.12 for earlier changes.